iters=5 new-facts=1 prior-facts=1 | | mean | 278.674-277.712=0.962 | | σ | 0.013-0.010=0.003 | | min | 278.657-277.697=0.960 | | max | 278.689-277.722=0.967 |
| | mean | 2611.000-2653.000=-42.000 | | σ | 0.000 | | min | 2611.000-2653.000=-42.000 | | max | 2611.000-2653.000=-42.000 |
| | mean | 0.419-0.409=0.010 | | σ | 0.001-0.001=-0.000 | | min | 0.418-0.408=0.010 | | max | 0.420-0.410=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.847-2267.876=0.971 | | σ | 0.005-0.021=-0.016 | | min | 2268.844-2267.841=1.003 | | max | 2268.856-2267.897=0.959 |
| | mean | 2611.000-2653.000=-42.000 | | σ | 0.000 | | min | 2611.000-2653.000=-42.000 | | max | 2611.000-2653.000=-42.000 |
| | mean | 3.091-3.238=-0.148 | | σ | 0.286-0.285=0.000 | | min | 2.917-2.915=0.002 | | max | 3.591-3.692=-0.101 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.004-4955.081=-3.077 | | σ | 0.960-0.798=0.163 | | min | 4951.317-4954.651=-3.334 | | max | 4953.673-4956.504=-2.831 |
| | mean | 2611.000-2653.000=-42.000 | | σ | 0.000 | | min | 2611.000-2653.000=-42.000 | | max | 2611.000-2653.000=-42.000 |
| | mean | 7.972-7.785=0.187 | | σ | 0.183-0.181=0.001 | | min | 7.757-7.589=0.168 | | max | 8.204-8.027=0.177 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.955-5169.717=-2.762 | | σ | 0.076-0.152=-0.076 | | min | 5166.888-5169.484=-2.596 | | max | 5167.041-5169.866=-2.826 |
| | mean | 3461.000-3329.200=131.800 | | σ | 452.625-428.120=24.505 | | min | 2890.000-2912.000=-22.000 | | max | 4130.000-3767.000=363.000 |
| | mean | 9.142-9.237=-0.095 | | σ | 0.262-0.350=-0.088 | | min | 8.759-8.911=-0.152 | | max | 9.467-9.777=-0.310 |
|