iters=5 new-facts=1 prior-facts=1 | | mean | 278.698-278.695=0.003 | | σ | 0.013-0.013=-0.001 | | min | 278.683-278.679=0.004 | | max | 278.715-278.711=0.004 |
| | mean | 2616.000-2663.000=-47.000 | | σ | 0.000 | | min | 2616.000-2663.000=-47.000 | | max | 2616.000-2663.000=-47.000 |
| | mean | 0.417-0.419=-0.002 | | σ | 0.002-0.001=0.001 | | min | 0.415-0.418=-0.004 | | max | 0.419-0.420=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.854-2268.834=0.020 | | σ | 0.024-0.009=0.015 | | min | 2268.825-2268.825=-0.000 | | max | 2268.874-2268.845=0.029 |
| | mean | 2616.000-2663.000=-47.000 | | σ | 0.000 | | min | 2616.000-2663.000=-47.000 | | max | 2616.000-2663.000=-47.000 |
| | mean | 3.140-3.582=-0.441 | | σ | 0.148-0.173=-0.025 | | min | 2.912-3.408=-0.497 | | max | 3.272-3.816=-0.545 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.120-4956.057=-3.937 | | σ | 0.713-0.815=-0.102 | | min | 4951.416-4955.630=-4.215 | | max | 4953.317-4957.511=-4.194 |
| | mean | 2616.000-2663.000=-47.000 | | σ | 0.000 | | min | 2616.000-2663.000=-47.000 | | max | 2616.000-2663.000=-47.000 |
| | mean | 7.892-7.831=0.061 | | σ | 0.381-0.171=0.210 | | min | 7.555-7.663=-0.108 | | max | 8.547-8.026=0.521 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.067-5170.698=-3.630 | | σ | 0.015-0.222=-0.207 | | min | 5167.055-5170.323=-3.268 | | max | 5167.093-5170.851=-3.758 |
| | mean | 3366.600-3421.800=-55.200 | | σ | 452.598-458.214=-5.616 | | min | 2925.000-2826.000=99.000 | | max | 3829.000-4064.000=-235.000 |
| | mean | 9.106-9.303=-0.197 | | σ | 0.422-0.359=0.063 | | min | 8.547-8.952=-0.405 | | max | 9.705-9.684=0.022 |
|