iters=5 new-facts=1 prior-facts=1 | | mean | 285.436 | | σ | 0.012 | | min | 285.423 | | max | 285.451 |
| | mean | 1534.000 | | σ | 0.000 | | min | 1534.000 | | max | 1534.000 |
| | mean | 0.379 | | σ | 0.005 | | min | 0.375 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.465 | | σ | 0.073 | | min | 1285.357 | | max | 1285.537 |
| | mean | 1534.000 | | σ | 0.000 | | min | 1534.000 | | max | 1534.000 |
| | mean | 1.883 | | σ | 0.181 | | min | 1.687 | | max | 2.170 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1705.829 | | σ | 6.849 | | min | 1702.644 | | max | 1718.078 |
| | mean | 1534.000 | | σ | 0.000 | | min | 1534.000 | | max | 1534.000 |
| | mean | 2.913 | | σ | 0.258 | | min | 2.560 | | max | 3.177 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1968.451 | | σ | 0.015 | | min | 1968.436 | | max | 1968.471 |
| | mean | 1855.200 | | σ | 233.318 | | min | 1567.000 | | max | 2139.000 |
| | mean | 3.264 | | σ | 0.112 | | min | 3.148 | | max | 3.429 |
|