iters=5 new-facts=1 prior-facts=1 | | mean | 272.779-272.793=-0.014 | | σ | 0.013-0.006=0.006 | | min | 272.766-272.785=-0.020 | | max | 272.794-272.801=-0.008 |
| | mean | 2770.000-2510.000=260.000 | | σ | 0.000 | | min | 2770.000-2510.000=260.000 | | max | 2770.000-2510.000=260.000 |
| | mean | 0.384-0.382=0.002 | | σ | 0.010-0.008=0.003 | | min | 0.378-0.376=0.002 | | max | 0.403-0.395=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.227-1933.210=0.017 | | σ | 0.014-0.011=0.002 | | min | 1933.206-1933.195=0.011 | | max | 1933.241-1933.223=0.018 |
| | mean | 2770.000-2510.000=260.000 | | σ | 0.000 | | min | 2770.000-2510.000=260.000 | | max | 2770.000-2510.000=260.000 |
| | mean | 3.130-3.087=0.043 | | σ | 0.146-0.179=-0.033 | | min | 3.026-2.810=0.215 | | max | 3.376-3.245=0.130 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.939-4757.026=-0.087 | | σ | 7.667-7.521=0.146 | | min | 4753.435-4753.581=-0.146 | | max | 4770.654-4770.479=0.175 |
| | mean | 2770.000-2510.000=260.000 | | σ | 0.000 | | min | 2770.000-2510.000=260.000 | | max | 2770.000-2510.000=260.000 |
| | mean | 8.897-8.112=0.785 | | σ | 0.425-0.320=0.105 | | min | 8.487-7.783=0.703 | | max | 9.587-8.615=0.972 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.449-4944.389=0.060 | | σ | 0.018-0.163=-0.145 | | min | 4944.429-4944.098=0.332 | | max | 4944.472-4944.477=-0.005 |
| | mean | 3037.400-2941.400=96.000 | | σ | 326.239-392.145=-65.906 | | min | 2770.000-2510.000=260.000 | | max | 3526.000-3476.000=50.000 |
| | mean | 8.420-8.529=-0.109 | | σ | 0.066-0.243=-0.177 | | min | 8.350-8.338=0.012 | | max | 8.517-8.888=-0.371 |
|