iters=5 new-facts=1 prior-facts=1 | | mean | 275.757-275.758=-0.002 | | σ | 0.012-0.008=0.004 | | min | 275.744-275.749=-0.005 | | max | 275.769-275.767=0.002 |
| | mean | 2647.000-2689.000=-42.000 | | σ | 0.000 | | min | 2647.000-2689.000=-42.000 | | max | 2647.000-2689.000=-42.000 |
| | mean | 0.403-0.407=-0.004 | | σ | 0.011-0.013=-0.002 | | min | 0.394-0.397=-0.003 | | max | 0.417-0.423=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.265-2168.289=-0.025 | | σ | 0.026-0.003=0.022 | | min | 2168.227-2168.286=-0.059 | | max | 2168.286-2168.294=-0.008 |
| | mean | 2647.000-2689.000=-42.000 | | σ | 0.000 | | min | 2647.000-2689.000=-42.000 | | max | 2647.000-2689.000=-42.000 |
| | mean | 3.077-3.037=0.040 | | σ | 0.211-0.252=-0.040 | | min | 2.764-2.720=0.044 | | max | 3.305-3.404=-0.099 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.751-5047.973=-0.222 | | σ | 0.956-0.646=0.310 | | min | 5046.555-5047.625=-1.070 | | max | 5049.220-5049.127=0.093 |
| | mean | 2647.000-2689.000=-42.000 | | σ | 0.000 | | min | 2647.000-2689.000=-42.000 | | max | 2647.000-2689.000=-42.000 |
| | mean | 9.058-8.770=0.287 | | σ | 0.520-0.400=0.120 | | min | 8.180-8.117=0.064 | | max | 9.531-9.065=0.465 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.231-5179.174=0.056 | | σ | 0.084-0.200=-0.116 | | min | 5179.153-5178.851=0.302 | | max | 5179.325-5179.367=-0.042 |
| | mean | 3260.400-3230.000=30.400 | | σ | 355.166-388.469=-33.303 | | min | 2745.000-2689.000=56.000 | | max | 3675.000-3720.000=-45.000 |
| | mean | 9.809-9.989=-0.180 | | σ | 0.349-0.532=-0.183 | | min | 9.341-9.329=0.011 | | max | 10.192-10.728=-0.536 |
|