iters=5 new-facts=1 prior-facts=1 | | mean | 326.587-326.574=0.014 | | σ | 0.024-0.050=-0.026 | | min | 326.547-326.486=0.062 | | max | 326.608-326.612=-0.004 |
| | mean | 2835.000-2831.000=4.000 | | σ | 0.000 | | min | 2835.000-2831.000=4.000 | | max | 2835.000-2831.000=4.000 |
| | mean | 0.427-0.425=0.002 | | σ | 0.006-0.005=0.001 | | min | 0.422-0.422=0.001 | | max | 0.434-0.431=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.740-1988.735=0.005 | | σ | 0.015-0.021=-0.006 | | min | 1988.715-1988.701=0.014 | | max | 1988.752-1988.755=-0.004 |
| | mean | 2835.000-2831.000=4.000 | | σ | 0.000 | | min | 2835.000-2831.000=4.000 | | max | 2835.000-2831.000=4.000 |
| | mean | 2.700-2.645=0.055 | | σ | 0.159-0.100=0.059 | | min | 2.566-2.518=0.048 | | max | 2.965-2.748=0.217 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.474-4813.480=-0.005 | | σ | 7.800-7.497=0.303 | | min | 4809.583-4810.074=-0.491 | | max | 4827.421-4826.891=0.530 |
| | mean | 2835.000-2831.000=4.000 | | σ | 0.000 | | min | 2835.000-2831.000=4.000 | | max | 2835.000-2831.000=4.000 |
| | mean | 8.943-8.722=0.221 | | σ | 0.294-0.384=-0.091 | | min | 8.515-8.320=0.195 | | max | 9.228-9.244=-0.016 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.067-5001.152=-0.086 | | σ | 0.166-0.021=0.145 | | min | 5000.770-5001.122=-0.353 | | max | 5001.153-5001.179=-0.026 |
| | mean | 3001.600-3030.200=-28.600 | | σ | 188.309-203.727=-15.418 | | min | 2835.000-2831.000=4.000 | | max | 3294.000-3313.000=-19.000 |
| | mean | 9.571-10.001=-0.429 | | σ | 0.619-0.302=0.317 | | min | 8.475-9.769=-1.294 | | max | 9.940-10.362=-0.422 |
|