iters=5 new-facts=1 prior-facts=1 | | mean | 278.820-278.821=-0.001 | | σ | 0.008-0.009=-0.001 | | min | 278.807-278.808=-0.001 | | max | 278.827-278.828=-0.001 |
| | mean | 2740.000-2726.000=14.000 | | σ | 0.000 | | min | 2740.000-2726.000=14.000 | | max | 2740.000-2726.000=14.000 |
| | mean | 0.412-0.407=0.005 | | σ | 0.005-0.004=0.001 | | min | 0.408-0.405=0.004 | | max | 0.421-0.414=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.877-2268.882=-0.005 | | σ | 0.016-0.011=0.006 | | min | 2268.848-2268.868=-0.020 | | max | 2268.889-2268.892=-0.003 |
| | mean | 2740.000-2726.000=14.000 | | σ | 0.000 | | min | 2740.000-2726.000=14.000 | | max | 2740.000-2726.000=14.000 |
| | mean | 3.012-2.899=0.113 | | σ | 0.204-0.123=0.081 | | min | 2.904-2.775=0.129 | | max | 3.376-3.106=0.270 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.228-4954.230=-0.002 | | σ | 0.817-0.796=0.021 | | min | 4953.717-4953.730=-0.013 | | max | 4955.675-4955.636=0.039 |
| | mean | 2740.000-2726.000=14.000 | | σ | 0.000 | | min | 2740.000-2726.000=14.000 | | max | 2740.000-2726.000=14.000 |
| | mean | 8.038-8.011=0.027 | | σ | 0.246-0.233=0.012 | | min | 7.752-7.769=-0.016 | | max | 8.417-8.285=0.132 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.731-5168.659=0.072 | | σ | 0.204-0.275=-0.071 | | min | 5168.387-5168.179=0.208 | | max | 5168.887-5168.885=0.003 |
| | mean | 3362.400-3391.000=-28.600 | | σ | 464.339-492.335=-27.996 | | min | 2743.000-2801.000=-58.000 | | max | 3975.000-4067.000=-92.000 |
| | mean | 9.454-9.407=0.048 | | σ | 0.488-0.238=0.251 | | min | 9.054-9.115=-0.060 | | max | 10.131-9.717=0.414 |
|