iters=5 new-facts=1 prior-facts=1 | | mean | 279.514-279.511=0.004 | | σ | 0.005-0.007=-0.002 | | min | 279.508-279.505=0.004 | | max | 279.521-279.521=-0.000 |
| | mean | 2836.000-2755.000=81.000 | | σ | 0.000 | | min | 2836.000-2755.000=81.000 | | max | 2836.000-2755.000=81.000 |
| | mean | 0.407-0.412=-0.005 | | σ | 0.002-0.007=-0.005 | | min | 0.405-0.408=-0.002 | | max | 0.410-0.424=-0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.425-2178.440=-0.015 | | σ | 0.025-0.016=0.008 | | min | 2178.383-2178.422=-0.040 | | max | 2178.442-2178.460=-0.018 |
| | mean | 2836.000-2755.000=81.000 | | σ | 0.000 | | min | 2836.000-2755.000=81.000 | | max | 2836.000-2755.000=81.000 |
| | mean | 3.333-3.415=-0.082 | | σ | 0.283-0.123=0.160 | | min | 2.867-3.249=-0.381 | | max | 3.553-3.542=0.010 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.277-5056.365=-0.088 | | σ | 0.748-0.995=-0.247 | | min | 5055.803-5055.779=0.024 | | max | 5057.603-5058.133=-0.531 |
| | mean | 2836.000-2755.000=81.000 | | σ | 0.000 | | min | 2836.000-2755.000=81.000 | | max | 2836.000-2755.000=81.000 |
| | mean | 8.809-9.129=-0.321 | | σ | 0.674-0.425=0.250 | | min | 8.322-8.404=-0.082 | | max | 9.932-9.530=0.402 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.686-5193.745=-0.058 | | σ | 0.127-0.081=0.047 | | min | 5193.498-5193.681=-0.183 | | max | 5193.856-5193.859=-0.003 |
| | mean | 3307.200-3294.800=12.400 | | σ | 365.011-480.357=-115.346 | | min | 2836.000-2755.000=81.000 | | max | 3664.000-3947.000=-283.000 |
| | mean | 9.032-8.861=0.171 | | σ | 0.409-0.116=0.293 | | min | 8.690-8.687=0.002 | | max | 9.738-8.972=0.766 |
|