iters=5 new-facts=1 prior-facts=1 | | mean | 273.610-273.607=0.003 | | σ | 0.007-0.007=-0.000 | | min | 273.602-273.600=0.002 | | max | 273.616-273.616=-0.000 |
| | mean | 2859.000-2852.000=7.000 | | σ | 0.000 | | min | 2859.000-2852.000=7.000 | | max | 2859.000-2852.000=7.000 |
| | mean | 0.386-0.390=-0.004 | | σ | 0.006-0.009=-0.002 | | min | 0.382-0.382=-0.000 | | max | 0.397-0.400=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.997-1934.009=-0.011 | | σ | 0.011-0.012=-0.001 | | min | 1933.978-1933.999=-0.021 | | max | 1934.006-1934.029=-0.023 |
| | mean | 2859.000-2852.000=7.000 | | σ | 0.000 | | min | 2859.000-2852.000=7.000 | | max | 2859.000-2852.000=7.000 |
| | mean | 3.019-3.114=-0.096 | | σ | 0.156-0.327=-0.171 | | min | 2.782-2.753=0.029 | | max | 3.181-3.617=-0.436 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.753-4754.760=-0.007 | | σ | 0.845-0.841=0.004 | | min | 4754.308-4754.294=0.014 | | max | 4756.262-4756.257=0.005 |
| | mean | 2859.000-2852.000=7.000 | | σ | 0.000 | | min | 2859.000-2852.000=7.000 | | max | 2859.000-2852.000=7.000 |
| | mean | 8.495-8.509=-0.014 | | σ | 0.355-0.533=-0.178 | | min | 7.913-7.628=0.285 | | max | 8.836-8.994=-0.158 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.226-4945.223=0.003 | | σ | 0.014-0.021=-0.007 | | min | 4945.207-4945.203=0.004 | | max | 4945.240-4945.247=-0.007 |
| | mean | 3070.400-3054.000=16.400 | | σ | 224.295-203.701=20.594 | | min | 2859.000-2852.000=7.000 | | max | 3398.000-3330.000=68.000 |
| | mean | 8.744-8.600=0.144 | | σ | 0.263-0.177=0.086 | | min | 8.490-8.397=0.093 | | max | 9.175-8.807=0.368 |
|