iters=5 new-facts=1 prior-facts=1 | | mean | 285.408 | | σ | 0.037 | | min | 285.361 | | max | 285.448 |
| | mean | 1649.000 | | σ | 0.000 | | min | 1649.000 | | max | 1649.000 |
| | mean | 0.387 | | σ | 0.008 | | min | 0.381 | | max | 0.401 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.795 | | σ | 0.104 | | min | 1295.681 | | max | 1295.916 |
| | mean | 1649.000 | | σ | 0.000 | | min | 1649.000 | | max | 1649.000 |
| | mean | 1.898 | | σ | 0.096 | | min | 1.810 | | max | 2.037 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.916 | | σ | 6.857 | | min | 1536.655 | | max | 1552.179 |
| | mean | 1649.000 | | σ | 0.000 | | min | 1649.000 | | max | 1649.000 |
| | mean | 2.223 | | σ | 0.213 | | min | 2.058 | | max | 2.534 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.703 | | σ | 0.058 | | min | 1857.644 | | max | 1857.778 |
| | mean | 1790.200 | | σ | 166.702 | | min | 1649.000 | | max | 2034.000 |
| | mean | 3.126 | | σ | 0.371 | | min | 2.846 | | max | 3.759 |
|