iters=5 new-facts=1 prior-facts=1 | | mean | 278.827-278.817=0.010 | | σ | 0.005-0.015=-0.010 | | min | 278.818-278.792=0.026 | | max | 278.832-278.829=0.003 |
| | mean | 2700.000-2695.000=5.000 | | σ | 0.000 | | min | 2700.000-2695.000=5.000 | | max | 2700.000-2695.000=5.000 |
| | mean | 0.410-0.425=-0.014 | | σ | 0.006-0.009=-0.003 | | min | 0.406-0.409=-0.003 | | max | 0.418-0.431=-0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.878-2268.881=-0.003 | | σ | 0.019-0.007=0.011 | | min | 2268.846-2268.871=-0.026 | | max | 2268.892-2268.892=-0.000 |
| | mean | 2700.000-2695.000=5.000 | | σ | 0.000 | | min | 2700.000-2695.000=5.000 | | max | 2700.000-2695.000=5.000 |
| | mean | 2.936-2.966=-0.030 | | σ | 0.097-0.075=0.022 | | min | 2.842-2.911=-0.069 | | max | 3.099-3.096=0.002 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.028-4954.275=-0.247 | | σ | 1.095-1.035=0.060 | | min | 4953.163-4953.573=-0.410 | | max | 4955.881-4956.100=-0.219 |
| | mean | 2700.000-2695.000=5.000 | | σ | 0.000 | | min | 2700.000-2695.000=5.000 | | max | 2700.000-2695.000=5.000 |
| | mean | 8.077-8.308=-0.231 | | σ | 0.273-0.565=-0.292 | | min | 7.671-7.691=-0.019 | | max | 8.382-9.233=-0.851 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.823-5168.821=0.002 | | σ | 0.086-0.090=-0.005 | | min | 5168.724-5168.720=0.004 | | max | 5168.893-5168.900=-0.007 |
| | mean | 3450.600-3399.800=50.800 | | σ | 482.687-461.109=21.578 | | min | 2807.000-2814.000=-7.000 | | max | 4072.000-4016.000=56.000 |
| | mean | 9.177-9.337=-0.161 | | σ | 0.262-0.262=-0.000 | | min | 8.848-8.957=-0.109 | | max | 9.473-9.655=-0.182 |
|