iters=5 new-facts=1 prior-facts=1 | | mean | 272.015-272.016=-0.001 | | σ | 0.007-0.005=0.002 | | min | 272.008-272.010=-0.002 | | max | 272.026-272.023=0.003 |
| | mean | 2876.000-2847.000=29.000 | | σ | 0.000 | | min | 2876.000-2847.000=29.000 | | max | 2876.000-2847.000=29.000 |
| | mean | 0.392-0.388=0.004 | | σ | 0.011-0.011=-0.000 | | min | 0.380-0.377=0.003 | | max | 0.404-0.404=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.433-1792.204=140.229 | | σ | 0.009-313.584=-313.575 | | min | 1932.422-1231.247=701.175 | | max | 1932.447-1932.476=-0.029 |
| | mean | 2876.000-2847.000=29.000 | | σ | 0.000 | | min | 2876.000-2847.000=29.000 | | max | 2876.000-2847.000=29.000 |
| | mean | 3.036-2.714=0.322 | | σ | 0.048-0.585=-0.536 | | min | 2.963-1.705=1.258 | | max | 3.088-3.125=-0.038 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.773-4752.919=-0.146 | | σ | 0.771-0.361=0.410 | | min | 4752.261-4752.644=-0.383 | | max | 4754.095-4753.541=0.554 |
| | mean | 2876.000-2847.000=29.000 | | σ | 0.000 | | min | 2876.000-2847.000=29.000 | | max | 2876.000-2847.000=29.000 |
| | mean | 8.048-8.670=-0.622 | | σ | 0.443-0.362=0.081 | | min | 7.543-8.240=-0.697 | | max | 8.531-9.154=-0.622 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.614-4943.559=0.055 | | σ | 0.020-0.172=-0.152 | | min | 4943.591-4943.254=0.337 | | max | 4943.633-4943.660=-0.027 |
| | mean | 3090.000-2975.400=114.600 | | σ | 295.875-168.643=127.232 | | min | 2876.000-2847.000=29.000 | | max | 3554.000-3259.000=295.000 |
| | mean | 8.480-8.558=-0.078 | | σ | 0.110-0.135=-0.025 | | min | 8.383-8.393=-0.010 | | max | 8.659-8.695=-0.036 |
|