iters=5 new-facts=1 prior-facts=1 | | mean | 285.413 | | σ | 0.010 | | min | 285.395 | | max | 285.420 |
| | mean | 1649.000 | | σ | 0.000 | | min | 1649.000 | | max | 1649.000 |
| | mean | 0.379 | | σ | 0.011 | | min | 0.374 | | max | 0.399 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.363 | | σ | 0.110 | | min | 1285.309 | | max | 1285.560 |
| | mean | 1649.000 | | σ | 0.000 | | min | 1649.000 | | max | 1649.000 |
| | mean | 1.919 | | σ | 0.083 | | min | 1.842 | | max | 2.056 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.724 | | σ | 7.000 | | min | 1804.342 | | max | 1820.231 |
| | mean | 1649.000 | | σ | 0.000 | | min | 1649.000 | | max | 1649.000 |
| | mean | 4.253 | | σ | 0.211 | | min | 3.978 | | max | 4.439 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.198 | | σ | 0.012 | | min | 2070.183 | | max | 2070.214 |
| | mean | 1831.600 | | σ | 164.394 | | min | 1649.000 | | max | 2063.000 |
| | mean | 4.532 | | σ | 0.089 | | min | 4.459 | | max | 4.684 |
|