iters=5 new-facts=1 prior-facts=1 | | mean | 326.540-326.575=-0.035 | | σ | 0.051-0.043=0.009 | | min | 326.448-326.503=-0.055 | | max | 326.570-326.616=-0.046 |
| | mean | 2739.000-2630.000=109.000 | | σ | 0.000 | | min | 2739.000-2630.000=109.000 | | max | 2739.000-2630.000=109.000 |
| | mean | 0.430-0.424=0.005 | | σ | 0.007-0.007=0.000 | | min | 0.421-0.420=0.001 | | max | 0.437-0.436=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.734-1988.727=0.007 | | σ | 0.007-0.018=-0.010 | | min | 1988.726-1988.707=0.020 | | max | 1988.745-1988.749=-0.005 |
| | mean | 2739.000-2630.000=109.000 | | σ | 0.000 | | min | 2739.000-2630.000=109.000 | | max | 2739.000-2630.000=109.000 |
| | mean | 2.768-2.803=-0.035 | | σ | 0.146-0.283=-0.138 | | min | 2.564-2.632=-0.068 | | max | 2.932-3.305=-0.373 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.358-4813.458=-0.100 | | σ | 7.847-7.778=0.069 | | min | 4809.515-4809.613=-0.098 | | max | 4827.386-4827.367=0.019 |
| | mean | 2739.000-2630.000=109.000 | | σ | 0.000 | | min | 2739.000-2630.000=109.000 | | max | 2739.000-2630.000=109.000 |
| | mean | 8.475-8.985=-0.510 | | σ | 0.606-0.192=0.414 | | min | 7.727-8.674=-0.948 | | max | 9.206-9.173=0.033 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.063-5001.146=-0.083 | | σ | 0.165-0.034=0.130 | | min | 5000.771-5001.112=-0.341 | | max | 5001.160-5001.200=-0.040 |
| | mean | 2983.000-2989.800=-6.800 | | σ | 295.019-275.427=19.592 | | min | 2739.000-2630.000=109.000 | | max | 3423.000-3317.000=106.000 |
| | mean | 9.592-9.752=-0.160 | | σ | 0.562-0.388=0.174 | | min | 8.598-9.113=-0.515 | | max | 9.938-10.125=-0.187 |
|