iters=5 new-facts=1 prior-facts=1 | | mean | 277.668-277.883=-0.215 | | σ | 0.008-0.009=-0.001 | | min | 277.657-277.869=-0.212 | | max | 277.677-277.892=-0.215 |
| | mean | 2876.000-2887.000=-11.000 | | σ | 0.000 | | min | 2876.000-2887.000=-11.000 | | max | 2876.000-2887.000=-11.000 |
| | mean | 0.409-0.401=0.007 | | σ | 0.006-0.007=-0.001 | | min | 0.402-0.392=0.010 | | max | 0.417-0.409=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2176.661-2176.822=-0.161 | | σ | 0.008-0.021=-0.013 | | min | 2176.651-2176.802=-0.151 | | max | 2176.671-2176.846=-0.175 |
| | mean | 2876.000-2887.000=-11.000 | | σ | 0.000 | | min | 2876.000-2887.000=-11.000 | | max | 2876.000-2887.000=-11.000 |
| | mean | 2.965-3.298=-0.333 | | σ | 0.107-0.142=-0.035 | | min | 2.776-3.082=-0.306 | | max | 3.035-3.465=-0.430 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5046.203-5054.501=-8.298 | | σ | 1.018-1.082=-0.065 | | min | 5045.308-5053.429=-8.121 | | max | 5047.943-5056.328=-8.385 |
| | mean | 2876.000-2887.000=-11.000 | | σ | 0.000 | | min | 2876.000-2887.000=-11.000 | | max | 2876.000-2887.000=-11.000 |
| | mean | 8.731-9.013=-0.282 | | σ | 0.762-0.481=0.281 | | min | 8.062-8.363=-0.302 | | max | 9.586-9.609=-0.023 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5183.679-5192.129=-8.450 | | σ | 0.094-0.085=0.009 | | min | 5183.575-5192.060=-8.485 | | max | 5183.790-5192.230=-8.439 |
| | mean | 3313.000-3286.800=26.200 | | σ | 360.987-394.546=-33.559 | | min | 2876.000-2887.000=-11.000 | | max | 3667.000-3830.000=-163.000 |
| | mean | 8.992-8.932=0.060 | | σ | 0.389-0.495=-0.105 | | min | 8.678-8.640=0.038 | | max | 9.663-9.801=-0.138 |
|