iters=5 new-facts=1 prior-facts=1 | | mean | 324.563-324.587=-0.024 | | σ | 0.034-0.039=-0.005 | | min | 324.504-324.520=-0.017 | | max | 324.585-324.621=-0.035 |
| | mean | 2754.000-2828.000=-74.000 | | σ | 0.000 | | min | 2754.000-2828.000=-74.000 | | max | 2754.000-2828.000=-74.000 |
| | mean | 0.424-0.424=0.001 | | σ | 0.005-0.001=0.004 | | min | 0.421-0.422=-0.002 | | max | 0.433-0.425=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.142-1985.138=0.004 | | σ | 0.016-0.006=0.009 | | min | 1985.117-1985.128=-0.011 | | max | 1985.155-1985.144=0.012 |
| | mean | 2754.000-2828.000=-74.000 | | σ | 0.000 | | min | 2754.000-2828.000=-74.000 | | max | 2754.000-2828.000=-74.000 |
| | mean | 2.606-2.558=0.048 | | σ | 0.095-0.074=0.021 | | min | 2.515-2.493=0.022 | | max | 2.721-2.681=0.040 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.791-4808.770=0.021 | | σ | 7.760-7.656=0.104 | | min | 4805.263-4805.293=-0.030 | | max | 4822.672-4822.464=0.208 |
| | mean | 2754.000-2828.000=-74.000 | | σ | 0.000 | | min | 2754.000-2828.000=-74.000 | | max | 2754.000-2828.000=-74.000 |
| | mean | 9.236-8.718=0.517 | | σ | 0.459-0.379=0.080 | | min | 8.912-8.078=0.833 | | max | 9.969-9.087=0.883 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.346-4996.344=0.002 | | σ | 0.014-0.021=-0.007 | | min | 4996.329-4996.319=0.011 | | max | 4996.365-4996.368=-0.003 |
| | mean | 3017.600-3071.800=-54.200 | | σ | 234.060-235.388=-1.328 | | min | 2754.000-2828.000=-74.000 | | max | 3309.000-3419.000=-110.000 |
| | mean | 8.639-8.744=-0.105 | | σ | 0.174-0.164=0.011 | | min | 8.438-8.510=-0.073 | | max | 8.881-8.958=-0.076 |
|