iters=5 new-facts=1 prior-facts=1 | | mean | 423.106-423.112=-0.006 | | σ | 0.076-0.076=0.001 | | min | 422.970-422.979=-0.008 | | max | 423.146-423.154=-0.009 |
| | mean | 2589.000-2615.000=-26.000 | | σ | 0.000 | | min | 2589.000-2615.000=-26.000 | | max | 2589.000-2615.000=-26.000 |
| | mean | 0.573-0.585=-0.011 | | σ | 0.002-0.013=-0.011 | | min | 0.571-0.573=-0.002 | | max | 0.577-0.606=-0.029 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2122.366-2122.368=-0.002 | | σ | 0.043-0.054=-0.011 | | min | 2122.291-2122.273=0.019 | | max | 2122.402-2122.403=-0.000 |
| | mean | 2589.000-2615.000=-26.000 | | σ | 0.000 | | min | 2589.000-2615.000=-26.000 | | max | 2589.000-2615.000=-26.000 |
| | mean | 2.974-2.980=-0.006 | | σ | 0.214-0.161=0.053 | | min | 2.687-2.710=-0.022 | | max | 3.206-3.135=0.071 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5110.326-5110.253=0.073 | | σ | 7.774-7.827=-0.054 | | min | 5106.774-5106.318=0.456 | | max | 5124.232-5124.247=-0.016 |
| | mean | 2589.000-2615.000=-26.000 | | σ | 0.000 | | min | 2589.000-2615.000=-26.000 | | max | 2589.000-2615.000=-26.000 |
| | mean | 9.485-9.687=-0.202 | | σ | 0.208-0.152=0.056 | | min | 9.178-9.456=-0.278 | | max | 9.742-9.823=-0.081 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5295.537-5295.534=0.004 | | σ | 0.015-0.023=-0.007 | | min | 5295.518-5295.497=0.020 | | max | 5295.554-5295.555=-0.001 |
| | mean | 3068.800-3090.000=-21.200 | | σ | 395.863-403.081=-7.218 | | min | 2589.000-2615.000=-26.000 | | max | 3582.000-3621.000=-39.000 |
| | mean | 9.166-9.323=-0.157 | | σ | 0.168-0.147=0.021 | | min | 9.041-9.144=-0.103 | | max | 9.462-9.495=-0.033 |
|