iters=5 new-facts=1 prior-facts=1 | | mean | 326.507-326.522=-0.016 | | σ | 0.048-0.013=0.035 | | min | 326.421-326.502=-0.081 | | max | 326.534-326.534=0.000 |
| | mean | 2611.000-2613.000=-2.000 | | σ | 0.000 | | min | 2611.000-2613.000=-2.000 | | max | 2611.000-2613.000=-2.000 |
| | mean | 0.425-0.421=0.004 | | σ | 0.005-0.001=0.003 | | min | 0.421-0.419=0.001 | | max | 0.433-0.423=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.674-1988.681=-0.007 | | σ | 0.012-0.013=-0.001 | | min | 1988.654-1988.668=-0.014 | | max | 1988.684-1988.697=-0.013 |
| | mean | 2611.000-2613.000=-2.000 | | σ | 0.000 | | min | 2611.000-2613.000=-2.000 | | max | 2611.000-2613.000=-2.000 |
| | mean | 2.756-2.673=0.083 | | σ | 0.182-0.084=0.098 | | min | 2.626-2.560=0.065 | | max | 3.078-2.773=0.305 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.439-4813.415=0.025 | | σ | 7.820-7.817=0.003 | | min | 4809.600-4809.489=0.111 | | max | 4827.423-4827.391=0.032 |
| | mean | 2611.000-2613.000=-2.000 | | σ | 0.000 | | min | 2611.000-2613.000=-2.000 | | max | 2611.000-2613.000=-2.000 |
| | mean | 8.507-8.875=-0.368 | | σ | 0.690-0.511=0.179 | | min | 7.824-8.409=-0.586 | | max | 9.581-9.623=-0.041 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5000.856-5001.073=-0.217 | | σ | 0.305-0.027=0.279 | | min | 5000.392-5001.043=-0.651 | | max | 5001.073-5001.106=-0.033 |
| | mean | 2949.600-3018.800=-69.200 | | σ | 354.817-291.726=63.090 | | min | 2611.000-2613.000=-2.000 | | max | 3418.000-3394.000=24.000 |
| | mean | 9.529-9.660=-0.131 | | σ | 0.403-0.287=0.117 | | min | 8.821-9.198=-0.377 | | max | 9.779-9.924=-0.146 |
|