iters=5 new-facts=1 prior-facts=1 | | mean | 324.761-324.768=-0.008 | | σ | 0.043-0.047=-0.004 | | min | 324.684-324.686=-0.001 | | max | 324.790-324.800=-0.010 |
| | mean | 2840.000-2828.000=12.000 | | σ | 0.000 | | min | 2840.000-2828.000=12.000 | | max | 2840.000-2828.000=12.000 |
| | mean | 0.417-0.431=-0.014 | | σ | 0.002-0.020=-0.018 | | min | 0.416-0.421=-0.005 | | max | 0.420-0.467=-0.047 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.313-1985.313=0.000 | | σ | 0.015-0.021=-0.006 | | min | 1985.292-1985.286=0.006 | | max | 1985.334-1985.336=-0.002 |
| | mean | 2840.000-2828.000=12.000 | | σ | 0.000 | | min | 2840.000-2828.000=12.000 | | max | 2840.000-2828.000=12.000 |
| | mean | 2.636-2.660=-0.024 | | σ | 0.129-0.170=-0.041 | | min | 2.515-2.453=0.062 | | max | 2.817-2.885=-0.068 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.111-4809.091=0.019 | | σ | 7.773-7.718=0.056 | | min | 4805.604-4805.575=0.028 | | max | 4823.016-4822.897=0.119 |
| | mean | 2840.000-2828.000=12.000 | | σ | 0.000 | | min | 2840.000-2828.000=12.000 | | max | 2840.000-2828.000=12.000 |
| | mean | 9.162-8.917=0.246 | | σ | 0.341-0.181=0.160 | | min | 8.925-8.598=0.327 | | max | 9.755-9.032=0.724 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.552-4996.621=-0.069 | | σ | 0.151-0.027=0.124 | | min | 4996.285-4996.595=-0.310 | | max | 4996.646-4996.654=-0.008 |
| | mean | 3047.600-3067.000=-19.400 | | σ | 270.853-310.052=-39.199 | | min | 2840.000-2828.000=12.000 | | max | 3465.000-3541.000=-76.000 |
| | mean | 8.503-8.560=-0.057 | | σ | 0.114-0.116=-0.003 | | min | 8.444-8.454=-0.010 | | max | 8.705-8.746=-0.040 |
|