iters=5 new-facts=1 prior-facts=1 | | mean | 278.677-278.671=0.006 | | σ | 0.011-0.014=-0.003 | | min | 278.666-278.658=0.009 | | max | 278.695-278.695=0.000 |
| | mean | 2648.000-2855.000=-207.000 | | σ | 0.000 | | min | 2648.000-2855.000=-207.000 | | max | 2648.000-2855.000=-207.000 |
| | mean | 0.421-0.418=0.003 | | σ | 0.009-0.001=0.008 | | min | 0.416-0.418=-0.001 | | max | 0.438-0.419=0.019 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.833-2268.849=-0.015 | | σ | 0.015-0.006=0.009 | | min | 2268.817-2268.843=-0.027 | | max | 2268.846-2268.858=-0.012 |
| | mean | 2648.000-2855.000=-207.000 | | σ | 0.000 | | min | 2648.000-2855.000=-207.000 | | max | 2648.000-2855.000=-207.000 |
| | mean | 3.152-3.013=0.138 | | σ | 0.164-0.136=0.028 | | min | 2.938-2.921=0.017 | | max | 3.336-3.240=0.096 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.000-4952.241=-0.241 | | σ | 1.091-0.843=0.248 | | min | 4950.831-4951.483=-0.652 | | max | 4953.753-4953.692=0.061 |
| | mean | 2648.000-2855.000=-207.000 | | σ | 0.000 | | min | 2648.000-2855.000=-207.000 | | max | 2648.000-2855.000=-207.000 |
| | mean | 7.916-7.754=0.162 | | σ | 0.032-0.126=-0.094 | | min | 7.883-7.629=0.254 | | max | 7.956-7.895=0.061 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.047-5167.053=-0.007 | | σ | 0.012-0.011=0.001 | | min | 5167.038-5167.043=-0.005 | | max | 5167.067-5167.066=0.001 |
| | mean | 3355.600-3406.200=-50.600 | | σ | 424.705-420.833=3.872 | | min | 2937.000-2855.000=82.000 | | max | 3786.000-3961.000=-175.000 |
| | mean | 9.348-9.413=-0.065 | | σ | 0.275-0.408=-0.133 | | min | 9.102-9.034=0.069 | | max | 9.715-10.020=-0.304 |
|