iters=5 new-facts=1 prior-facts=1 | | mean | 326.443-326.438=0.005 | | σ | 0.057-0.058=-0.000 | | min | 326.344-326.334=0.010 | | max | 326.490-326.465=0.024 |
| | mean | 2612.000-2593.000=19.000 | | σ | 0.000 | | min | 2612.000-2593.000=19.000 | | max | 2612.000-2593.000=19.000 |
| | mean | 0.431-0.427=0.004 | | σ | 0.012-0.006=0.007 | | min | 0.422-0.421=0.001 | | max | 0.445-0.435=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.614-1988.600=0.014 | | σ | 0.013-0.016=-0.003 | | min | 1988.592-1988.580=0.012 | | max | 1988.625-1988.620=0.005 |
| | mean | 2612.000-2593.000=19.000 | | σ | 0.000 | | min | 2612.000-2593.000=19.000 | | max | 2612.000-2593.000=19.000 |
| | mean | 2.733-2.696=0.038 | | σ | 0.105-0.054=0.051 | | min | 2.643-2.644=-0.001 | | max | 2.911-2.772=0.139 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.331-4813.464=-0.134 | | σ | 7.793-7.738=0.055 | | min | 4809.464-4809.983=-0.519 | | max | 4827.266-4827.306=-0.041 |
| | mean | 2612.000-2593.000=19.000 | | σ | 0.000 | | min | 2612.000-2593.000=19.000 | | max | 2612.000-2593.000=19.000 |
| | mean | 8.670-8.993=-0.323 | | σ | 0.423-0.248=0.175 | | min | 7.940-8.630=-0.690 | | max | 8.984-9.278=-0.295 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.020-5001.027=-0.007 | | σ | 0.028-0.034=-0.006 | | min | 5000.973-5000.984=-0.010 | | max | 5001.044-5001.076=-0.031 |
| | mean | 2949.000-2943.800=5.200 | | σ | 260.604-259.551=1.053 | | min | 2612.000-2593.000=19.000 | | max | 3294.000-3282.000=12.000 |
| | mean | 9.943-10.111=-0.167 | | σ | 0.243-0.522=-0.278 | | min | 9.635-9.580=0.055 | | max | 10.254-10.893=-0.639 |
|