iters=5 new-facts=1 prior-facts=1 | | mean | 277.178 | | σ | 0.018 | | min | 277.160 | | max | 277.201 |
| | mean | 2464.000 | | σ | 0.000 | | min | 2464.000 | | max | 2464.000 |
| | mean | 0.394 | | σ | 0.003 | | min | 0.391 | | max | 0.397 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.447 | | σ | 0.017 | | min | 2174.425 | | max | 2174.471 |
| | mean | 2464.000 | | σ | 0.000 | | min | 2464.000 | | max | 2464.000 |
| | mean | 3.033 | | σ | 0.126 | | min | 2.835 | | max | 3.184 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.580 | | σ | 1.015 | | min | 5052.007 | | max | 5054.387 |
| | mean | 2464.000 | | σ | 0.000 | | min | 2464.000 | | max | 2464.000 |
| | mean | 8.975 | | σ | 0.492 | | min | 8.244 | | max | 9.602 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.429 | | σ | 0.082 | | min | 5188.366 | | max | 5188.525 |
| | mean | 3282.200 | | σ | 424.125 | | min | 2683.000 | | max | 3672.000 |
| | mean | 9.000 | | σ | 0.385 | | min | 8.781 | | max | 9.686 |
|