iters=5 new-facts=1 prior-facts=1 | | mean | 326.587-326.571=0.016 | | σ | 0.024-0.060=-0.036 | | min | 326.547-326.465=0.082 | | max | 326.608-326.614=-0.006 |
| | mean | 2835.000-2857.000=-22.000 | | σ | 0.000 | | min | 2835.000-2857.000=-22.000 | | max | 2835.000-2857.000=-22.000 |
| | mean | 0.427-0.425=0.002 | | σ | 0.006-0.005=0.000 | | min | 0.422-0.420=0.002 | | max | 0.434-0.431=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.740-1988.741=-0.001 | | σ | 0.015-0.009=0.006 | | min | 1988.715-1988.725=-0.011 | | max | 1988.752-1988.747=0.005 |
| | mean | 2835.000-2857.000=-22.000 | | σ | 0.000 | | min | 2835.000-2857.000=-22.000 | | max | 2835.000-2857.000=-22.000 |
| | mean | 2.700-2.737=-0.036 | | σ | 0.159-0.246=-0.088 | | min | 2.566-2.380=0.186 | | max | 2.965-3.027=-0.061 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.474-4813.595=-0.120 | | σ | 7.800-7.738=0.062 | | min | 4809.583-4810.072=-0.489 | | max | 4827.421-4827.436=-0.015 |
| | mean | 2835.000-2857.000=-22.000 | | σ | 0.000 | | min | 2835.000-2857.000=-22.000 | | max | 2835.000-2857.000=-22.000 |
| | mean | 8.943-8.579=0.365 | | σ | 0.294-0.636=-0.343 | | min | 8.515-7.802=0.712 | | max | 9.228-9.287=-0.059 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.067-5001.134=-0.067 | | σ | 0.166-0.026=0.140 | | min | 5000.770-5001.101=-0.331 | | max | 5001.153-5001.163=-0.010 |
| | mean | 3001.600-3080.000=-78.400 | | σ | 188.309-303.697=-115.388 | | min | 2835.000-2857.000=-22.000 | | max | 3294.000-3554.000=-260.000 |
| | mean | 9.571-9.765=-0.194 | | σ | 0.619-0.096=0.523 | | min | 8.475-9.709=-1.234 | | max | 9.940-9.936=0.004 |
|