iters=5 new-facts=1 prior-facts=1 | | mean | 278.676-278.695=-0.019 | | σ | 0.011-0.015=-0.003 | | min | 278.665-278.679=-0.014 | | max | 278.694-278.712=-0.018 |
| | mean | 2591.000-2670.000=-79.000 | | σ | 0.000 | | min | 2591.000-2670.000=-79.000 | | max | 2591.000-2670.000=-79.000 |
| | mean | 0.420-0.418=0.002 | | σ | 0.006-0.001=0.005 | | min | 0.415-0.417=-0.002 | | max | 0.431-0.419=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.846-2268.847=-0.001 | | σ | 0.004-0.016=-0.012 | | min | 2268.840-2268.827=0.013 | | max | 2268.851-2268.862=-0.011 |
| | mean | 2591.000-2670.000=-79.000 | | σ | 0.000 | | min | 2591.000-2670.000=-79.000 | | max | 2591.000-2670.000=-79.000 |
| | mean | 3.120-3.667=-0.547 | | σ | 0.176-0.221=-0.046 | | min | 2.923-3.430=-0.506 | | max | 3.337-3.897=-0.559 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.300-4955.932=-3.632 | | σ | 0.844-0.924=-0.080 | | min | 4951.859-4955.069=-3.210 | | max | 4953.807-4957.510=-3.703 |
| | mean | 2591.000-2670.000=-79.000 | | σ | 0.000 | | min | 2591.000-2670.000=-79.000 | | max | 2591.000-2670.000=-79.000 |
| | mean | 8.075-7.825=0.250 | | σ | 0.310-0.162=0.148 | | min | 7.764-7.646=0.117 | | max | 8.421-8.001=0.421 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.916-5170.769=-3.853 | | σ | 0.322-0.090=0.232 | | min | 5166.340-5170.665=-4.325 | | max | 5167.085-5170.837=-3.752 |
| | mean | 3435.200-3433.200=2.000 | | σ | 489.734-466.431=23.304 | | min | 2855.000 | | max | 4144.000-4106.000=38.000 |
| | mean | 9.306-9.389=-0.083 | | σ | 0.535-0.166=0.370 | | min | 8.748-9.222=-0.474 | | max | 10.066-9.596=0.470 |
|