iters=5 new-facts=1 prior-facts=1 | | mean | 300.701 | | σ | 0.030 | | min | 300.651 | | max | 300.731 |
| | mean | 1509.000 | | σ | 0.000 | | min | 1509.000 | | max | 1509.000 |
| | mean | 0.404 | | σ | 0.011 | | min | 0.391 | | max | 0.420 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.867 | | σ | 0.108 | | min | 1322.814 | | max | 1323.060 |
| | mean | 1509.000 | | σ | 0.000 | | min | 1509.000 | | max | 1509.000 |
| | mean | 1.861 | | σ | 0.045 | | min | 1.809 | | max | 1.919 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.298 | | σ | 6.888 | | min | 1557.950 | | max | 1573.613 |
| | mean | 1509.000 | | σ | 0.000 | | min | 1509.000 | | max | 1509.000 |
| | mean | 2.320 | | σ | 0.274 | | min | 2.076 | | max | 2.649 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.804 | | σ | 0.025 | | min | 1890.774 | | max | 1890.829 |
| | mean | 1721.600 | | σ | 209.327 | | min | 1509.000 | | max | 2008.000 |
| | mean | 3.196 | | σ | 0.429 | | min | 2.872 | | max | 3.752 |
|