iters=5 new-facts=1 prior-facts=1 | | mean | 278.673-278.673=0.000 | | σ | 0.012-0.013=-0.001 | | min | 278.656-278.657=-0.000 | | max | 278.687-278.690=-0.003 |
| | mean | 2605.000-2592.000=13.000 | | σ | 0.000 | | min | 2605.000-2592.000=13.000 | | max | 2605.000-2592.000=13.000 |
| | mean | 0.417-0.418=-0.001 | | σ | 0.002-0.001=0.001 | | min | 0.414-0.417=-0.003 | | max | 0.420-0.420=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.843-2268.847=-0.004 | | σ | 0.012-0.012=-0.000 | | min | 2268.825-2268.837=-0.012 | | max | 2268.854-2268.867=-0.013 |
| | mean | 2605.000-2592.000=13.000 | | σ | 0.000 | | min | 2605.000-2592.000=13.000 | | max | 2605.000-2592.000=13.000 |
| | mean | 3.107-3.127=-0.020 | | σ | 0.329-0.324=0.005 | | min | 2.889-2.844=0.045 | | max | 3.659-3.634=0.025 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.124-4952.227=-0.102 | | σ | 0.917-0.826=0.091 | | min | 4951.200-4951.742=-0.541 | | max | 4953.664-4953.696=-0.032 |
| | mean | 2605.000-2592.000=13.000 | | σ | 0.000 | | min | 2605.000-2592.000=13.000 | | max | 2605.000-2592.000=13.000 |
| | mean | 7.975-7.996=-0.022 | | σ | 0.200-0.323=-0.123 | | min | 7.728-7.696=0.032 | | max | 8.202-8.383=-0.181 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.956-5166.956=-0.001 | | σ | 0.077-0.081=-0.004 | | min | 5166.893-5166.886=0.007 | | max | 5167.041-5167.054=-0.013 |
| | mean | 3388.400-3451.000=-62.600 | | σ | 453.676-469.426=-15.749 | | min | 2803.000-2866.000=-63.000 | | max | 4031.000-4120.000=-89.000 |
| | mean | 9.317-9.234=0.083 | | σ | 0.267-0.211=0.056 | | min | 9.025-9.030=-0.005 | | max | 9.639-9.579=0.059 |
|