iters=5 new-facts=1 prior-facts=1 | | mean | 297.321 | | σ | 0.010 | | min | 297.312 | | max | 297.339 |
| | mean | 1594.000 | | σ | 0.000 | | min | 1594.000 | | max | 1594.000 |
| | mean | 0.391 | | σ | 0.005 | | min | 0.387 | | max | 0.399 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1299.007 | | σ | 0.091 | | min | 1298.846 | | max | 1299.064 |
| | mean | 1594.000 | | σ | 0.000 | | min | 1594.000 | | max | 1594.000 |
| | mean | 2.053 | | σ | 0.268 | | min | 1.839 | | max | 2.485 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1719.187 | | σ | 6.898 | | min | 1716.000 | | max | 1731.525 |
| | mean | 1594.000 | | σ | 0.000 | | min | 1594.000 | | max | 1594.000 |
| | mean | 2.983 | | σ | 0.307 | | min | 2.688 | | max | 3.424 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.924 | | σ | 0.045 | | min | 1981.856 | | max | 1981.980 |
| | mean | 1813.400 | | σ | 217.860 | | min | 1594.000 | | max | 2132.000 |
| | mean | 3.297 | | σ | 0.430 | | min | 3.003 | | max | 4.053 |
|