iters=5 new-facts=1 prior-facts=1 | | mean | 275.564-275.565=-0.001 | | σ | 0.007-0.006=0.002 | | min | 275.557-275.559=-0.001 | | max | 275.576-275.573=0.004 |
| | mean | 2704.000-2843.000=-139.000 | | σ | 0.000 | | min | 2704.000-2843.000=-139.000 | | max | 2704.000-2843.000=-139.000 |
| | mean | 0.393-0.387=0.007 | | σ | 0.010-0.002=0.008 | | min | 0.385-0.384=0.001 | | max | 0.404-0.389=0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.091-2168.090=0.000 | | σ | 0.008-0.022=-0.014 | | min | 2168.077-2168.059=0.018 | | max | 2168.098-2168.117=-0.019 |
| | mean | 2704.000-2843.000=-139.000 | | σ | 0.000 | | min | 2704.000-2843.000=-139.000 | | max | 2704.000-2843.000=-139.000 |
| | mean | 3.024-2.844=0.180 | | σ | 0.196-0.129=0.066 | | min | 2.779-2.673=0.107 | | max | 3.225-2.995=0.230 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.785-5047.949=-0.164 | | σ | 1.014-0.923=0.091 | | min | 5046.920-5047.372=-0.452 | | max | 5049.540-5049.590=-0.051 |
| | mean | 2704.000-2843.000=-139.000 | | σ | 0.000 | | min | 2704.000-2843.000=-139.000 | | max | 2704.000-2843.000=-139.000 |
| | mean | 8.766-8.872=-0.106 | | σ | 0.300-0.641=-0.341 | | min | 8.351-8.091=0.260 | | max | 9.152-9.533=-0.382 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.041-5179.048=-0.007 | | σ | 0.077-0.095=-0.018 | | min | 5178.968-5178.958=0.010 | | max | 5179.129-5179.154=-0.025 |
| | mean | 3220.600-3283.000=-62.400 | | σ | 379.642-392.859=-13.218 | | min | 2704.000-2843.000=-139.000 | | max | 3700.000-3848.000=-148.000 |
| | mean | 9.884-9.712=0.172 | | σ | 0.389-0.588=-0.199 | | min | 9.433-8.795=0.637 | | max | 10.466-10.177=0.289 |
|