iters=5 new-facts=1 prior-facts=1 | | mean | 285.663 | | σ | 0.017 | | min | 285.646 | | max | 285.690 |
| | mean | 1591.000 | | σ | 0.000 | | min | 1591.000 | | max | 1591.000 |
| | mean | 0.377 | | σ | 0.003 | | min | 0.375 | | max | 0.381 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.644 | | σ | 0.137 | | min | 1285.576 | | max | 1285.889 |
| | mean | 1591.000 | | σ | 0.000 | | min | 1591.000 | | max | 1591.000 |
| | mean | 1.950 | | σ | 0.148 | | min | 1.838 | | max | 2.189 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.992 | | σ | 7.001 | | min | 1804.651 | | max | 1820.501 |
| | mean | 1591.000 | | σ | 0.000 | | min | 1591.000 | | max | 1591.000 |
| | mean | 4.235 | | σ | 0.200 | | min | 3.971 | | max | 4.533 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.466 | | σ | 0.011 | | min | 2070.452 | | max | 2070.482 |
| | mean | 1827.400 | | σ | 183.360 | | min | 1603.000 | | max | 2070.000 |
| | mean | 4.526 | | σ | 0.050 | | min | 4.457 | | max | 4.574 |
|