iters=5 new-facts=1 prior-facts=1 | | mean | 285.414 | | σ | 0.006 | | min | 285.408 | | max | 285.422 |
| | mean | 1649.000 | | σ | 0.000 | | min | 1649.000 | | max | 1649.000 |
| | mean | 0.390 | | σ | 0.009 | | min | 0.375 | | max | 0.396 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.377 | | σ | 0.134 | | min | 1285.308 | | max | 1285.616 |
| | mean | 1649.000 | | σ | 0.000 | | min | 1649.000 | | max | 1649.000 |
| | mean | 1.938 | | σ | 0.123 | | min | 1.832 | | max | 2.133 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.718 | | σ | 7.054 | | min | 1804.342 | | max | 1820.321 |
| | mean | 1649.000 | | σ | 0.000 | | min | 1649.000 | | max | 1649.000 |
| | mean | 4.239 | | σ | 0.293 | | min | 3.949 | | max | 4.730 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.200 | | σ | 0.012 | | min | 2070.189 | | max | 2070.219 |
| | mean | 1842.200 | | σ | 176.204 | | min | 1649.000 | | max | 2076.000 |
| | mean | 4.536 | | σ | 0.051 | | min | 4.488 | | max | 4.622 |
|