iters=5 new-facts=1 prior-facts=1 | | mean | 278.844-278.696=0.147 | | σ | 0.005-0.014=-0.010 | | min | 278.837-278.684=0.152 | | max | 278.849-278.719=0.130 |
| | mean | 2643.000-2611.000=32.000 | | σ | 0.000 | | min | 2643.000-2611.000=32.000 | | max | 2643.000-2611.000=32.000 |
| | mean | 0.407-0.426=-0.019 | | σ | 0.002-0.013=-0.010 | | min | 0.404-0.416=-0.012 | | max | 0.410-0.442=-0.032 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.904-2268.873=0.031 | | σ | 0.011-0.005=0.006 | | min | 2268.885-2268.868=0.017 | | max | 2268.912-2268.881=0.031 |
| | mean | 2643.000-2611.000=32.000 | | σ | 0.000 | | min | 2643.000-2611.000=32.000 | | max | 2643.000-2611.000=32.000 |
| | mean | 2.965-2.948=0.017 | | σ | 0.104-0.117=-0.014 | | min | 2.888-2.864=0.024 | | max | 3.145-3.151=-0.005 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.240-4952.363=1.878 | | σ | 0.806-0.992=-0.186 | | min | 4953.738-4951.723=2.015 | | max | 4955.661-4954.125=1.536 |
| | mean | 2643.000-2611.000=32.000 | | σ | 0.000 | | min | 2643.000-2611.000=32.000 | | max | 2643.000-2611.000=32.000 |
| | mean | 8.064-8.342=-0.279 | | σ | 0.235-0.677=-0.442 | | min | 7.821-7.810=0.012 | | max | 8.407-9.527=-1.119 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.675-5167.074=1.601 | | σ | 0.201-0.014=0.186 | | min | 5168.392-5167.066=1.326 | | max | 5168.902-5167.099=1.803 |
| | mean | 3460.800-3422.800=38.000 | | σ | 475.553-454.531=21.021 | | min | 2796.000-2809.000=-13.000 | | max | 4019.000-3992.000=27.000 |
| | mean | 9.273-9.234=0.039 | | σ | 0.216-0.255=-0.039 | | min | 8.963-8.985=-0.021 | | max | 9.564-9.615=-0.051 |
|