iters=5 new-facts=1 prior-facts=1 | | mean | 326.540-326.439=0.100 | | σ | 0.051-0.060=-0.008 | | min | 326.448-326.333=0.115 | | max | 326.570-326.476=0.095 |
| | mean | 2739.000-2598.000=141.000 | | σ | 0.000 | | min | 2739.000-2598.000=141.000 | | max | 2739.000-2598.000=141.000 |
| | mean | 0.430-0.425=0.005 | | σ | 0.007-0.003=0.004 | | min | 0.421-0.422=-0.001 | | max | 0.437-0.431=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.734-1988.606=0.128 | | σ | 0.007-0.012=-0.005 | | min | 1988.726-1988.591=0.135 | | max | 1988.745-1988.621=0.123 |
| | mean | 2739.000-2598.000=141.000 | | σ | 0.000 | | min | 2739.000-2598.000=141.000 | | max | 2739.000-2598.000=141.000 |
| | mean | 2.768-2.771=-0.003 | | σ | 0.146-0.170=-0.024 | | min | 2.564-2.624=-0.060 | | max | 2.932-3.018=-0.087 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.358-4813.386=-0.027 | | σ | 7.847-7.757=0.091 | | min | 4809.515-4809.643=-0.128 | | max | 4827.386-4827.257=0.129 |
| | mean | 2739.000-2598.000=141.000 | | σ | 0.000 | | min | 2739.000-2598.000=141.000 | | max | 2739.000-2598.000=141.000 |
| | mean | 8.475-8.320=0.155 | | σ | 0.606-0.556=0.050 | | min | 7.727-7.762=-0.035 | | max | 9.206-8.985=0.221 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.063-5001.007=0.056 | | σ | 0.165-0.021=0.144 | | min | 5000.771-5000.983=-0.212 | | max | 5001.160-5001.033=0.126 |
| | mean | 2983.000-2975.000=8.000 | | σ | 295.019-410.627=-115.607 | | min | 2739.000-2598.000=141.000 | | max | 3423.000-3551.000=-128.000 |
| | mean | 9.592-9.531=0.062 | | σ | 0.562-0.225=0.337 | | min | 8.598-9.239=-0.641 | | max | 9.938-9.775=0.163 |
|