iters=5 new-facts=1 prior-facts=1 | | mean | 262.594 | | σ | 0.010 | | min | 262.583 | | max | 262.602 |
| | mean | 1633.000 | | σ | 0.000 | | min | 1633.000 | | max | 1633.000 |
| | mean | 0.353 | | σ | 0.008 | | min | 0.346 | | max | 0.366 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1262.651 | | σ | 0.079 | | min | 1262.613 | | max | 1262.791 |
| | mean | 1633.000 | | σ | 0.000 | | min | 1633.000 | | max | 1633.000 |
| | mean | 1.993 | | σ | 0.229 | | min | 1.778 | | max | 2.381 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 2058.207 | | σ | 7.011 | | min | 2054.873 | | max | 2070.737 |
| | mean | 1633.000 | | σ | 0.000 | | min | 1633.000 | | max | 1633.000 |
| | mean | 4.734 | | σ | 0.301 | | min | 4.236 | | max | 5.034 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2047.396 | | σ | 0.002 | | min | 2047.394 | | max | 2047.400 |
| | mean | 1764.600 | | σ | 142.831 | | min | 1633.000 | | max | 1957.000 |
| | mean | 4.385 | | σ | 0.056 | | min | 4.342 | | max | 4.475 |
|