iters=5 new-facts=1 prior-facts=1 | | mean | 275.566-279.516=-3.950 | | σ | 0.007-0.009=-0.002 | | min | 275.557-279.506=-3.949 | | max | 275.573-279.527=-3.954 |
| | mean | 2476.000-2750.000=-274.000 | | σ | 0.000 | | min | 2476.000-2750.000=-274.000 | | max | 2476.000-2750.000=-274.000 |
| | mean | 0.392-0.411=-0.019 | | σ | 0.009-0.010=-0.002 | | min | 0.385-0.403=-0.018 | | max | 0.404-0.428=-0.024 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.101-2178.458=-10.357 | | σ | 0.006-0.020=-0.014 | | min | 2168.094-2178.439=-10.345 | | max | 2168.109-2178.487=-10.378 |
| | mean | 2476.000-2750.000=-274.000 | | σ | 0.000 | | min | 2476.000-2750.000=-274.000 | | max | 2476.000-2750.000=-274.000 |
| | mean | 3.014-3.352=-0.338 | | σ | 0.176-0.352=-0.176 | | min | 2.777-3.084=-0.307 | | max | 3.169-3.968=-0.799 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.675-5056.248=-8.573 | | σ | 0.366-1.088=-0.722 | | min | 5047.384-5055.241=-7.857 | | max | 5048.308-5058.100=-9.792 |
| | mean | 2476.000-2750.000=-274.000 | | σ | 0.000 | | min | 2476.000-2750.000=-274.000 | | max | 2476.000-2750.000=-274.000 |
| | mean | 8.856-8.693=0.162 | | σ | 0.513-0.593=-0.080 | | min | 8.098-7.984=0.113 | | max | 9.439-9.459=-0.020 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.047-5193.748=-14.701 | | σ | 0.080-0.091=-0.010 | | min | 5178.966-5193.660=-14.694 | | max | 5179.134-5193.850=-14.717 |
| | mean | 3214.000-3252.000=-38.000 | | σ | 390.184-498.351=-108.167 | | min | 2677.000-2750.000=-73.000 | | max | 3701.000-3952.000=-251.000 |
| | mean | 9.932-8.730=1.202 | | σ | 0.118-0.111=0.007 | | min | 9.793-8.660=1.133 | | max | 10.092-8.926=1.166 |
|