iters=5 new-facts=1 prior-facts=1 | | mean | 278.695-277.736=0.959 | | σ | 0.014-0.013=0.001 | | min | 278.677-277.720=0.957 | | max | 278.709-277.751=0.959 |
| | mean | 2611.000-2871.000=-260.000 | | σ | 0.000 | | min | 2611.000-2871.000=-260.000 | | max | 2611.000-2871.000=-260.000 |
| | mean | 0.420-0.412=0.008 | | σ | 0.001-0.006=-0.004 | | min | 0.418-0.408=0.010 | | max | 0.421-0.422=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.840-2267.895=0.945 | | σ | 0.017-0.008=0.009 | | min | 2268.822-2267.887=0.934 | | max | 2268.864-2267.907=0.957 |
| | mean | 2611.000-2871.000=-260.000 | | σ | 0.000 | | min | 2611.000-2871.000=-260.000 | | max | 2611.000-2871.000=-260.000 |
| | mean | 3.303-2.917=0.385 | | σ | 0.136-0.178=-0.042 | | min | 3.144-2.724=0.420 | | max | 3.491-3.210=0.281 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.921-4955.288=0.633 | | σ | 1.046-1.100=-0.054 | | min | 4955.025-4954.063=0.962 | | max | 4957.720-4957.032=0.688 |
| | mean | 2611.000-2871.000=-260.000 | | σ | 0.000 | | min | 2611.000-2871.000=-260.000 | | max | 2611.000-2871.000=-260.000 |
| | mean | 8.126-7.819=0.307 | | σ | 0.322-0.229=0.093 | | min | 7.745-7.618=0.126 | | max | 8.620-8.176=0.444 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5170.773-5169.794=0.979 | | σ | 0.084-0.092=-0.008 | | min | 5170.678-5169.694=0.984 | | max | 5170.850-5169.869=0.980 |
| | mean | 3454.200-3394.200=60.000 | | σ | 474.506-422.460=52.046 | | min | 2839.000-2871.000=-32.000 | | max | 4118.000-3963.000=155.000 |
| | mean | 9.320-9.462=-0.142 | | σ | 0.153-0.499=-0.346 | | min | 9.107-9.042=0.065 | | max | 9.459-10.318=-0.858 |
|