iters=5 new-facts=1 prior-facts=1 | | mean | 324.706-324.683=0.023 | | σ | 0.022-0.041=-0.019 | | min | 324.669-324.611=0.057 | | max | 324.723-324.708=0.015 |
| | mean | 2798.000-2840.000=-42.000 | | σ | 0.000 | | min | 2798.000-2840.000=-42.000 | | max | 2798.000-2840.000=-42.000 |
| | mean | 0.427-0.430=-0.003 | | σ | 0.008-0.007=0.001 | | min | 0.422-0.423=-0.002 | | max | 0.442-0.440=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.249-1985.261=-0.012 | | σ | 0.015-0.015=0.000 | | min | 1985.225-1985.244=-0.019 | | max | 1985.260-1985.273=-0.013 |
| | mean | 2798.000-2840.000=-42.000 | | σ | 0.000 | | min | 2798.000-2840.000=-42.000 | | max | 2798.000-2840.000=-42.000 |
| | mean | 2.625-2.659=-0.034 | | σ | 0.090-0.146=-0.056 | | min | 2.554-2.520=0.034 | | max | 2.754-2.855=-0.101 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.855-4808.898=-0.044 | | σ | 7.716-7.688=0.028 | | min | 4805.382-4805.396=-0.013 | | max | 4822.658-4822.651=0.007 |
| | mean | 2798.000-2840.000=-42.000 | | σ | 0.000 | | min | 2798.000-2840.000=-42.000 | | max | 2798.000-2840.000=-42.000 |
| | mean | 9.044-9.109=-0.064 | | σ | 0.186-0.292=-0.105 | | min | 8.843-8.673=0.170 | | max | 9.291-9.362=-0.071 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.450-4996.469=-0.018 | | σ | 0.017-0.009=0.008 | | min | 4996.429-4996.458=-0.029 | | max | 4996.467-4996.480=-0.013 |
| | mean | 3042.200-3041.800=0.400 | | σ | 309.942-203.884=106.058 | | min | 2798.000-2840.000=-42.000 | | max | 3512.000-3319.000=193.000 |
| | mean | 8.575-8.806=-0.231 | | σ | 0.114-0.247=-0.133 | | min | 8.485-8.501=-0.016 | | max | 8.763-9.144=-0.381 |
|