iters=5 new-facts=1 prior-facts=1 | | mean | 287.385 | | σ | 0.036 | | min | 287.343 | | max | 287.422 |
| | mean | 1650.000 | | σ | 0.000 | | min | 1650.000 | | max | 1650.000 |
| | mean | 0.393 | | σ | 0.007 | | min | 0.387 | | max | 0.404 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.769 | | σ | 0.104 | | min | 1297.650 | | max | 1297.897 |
| | mean | 1650.000 | | σ | 0.000 | | min | 1650.000 | | max | 1650.000 |
| | mean | 1.889 | | σ | 0.068 | | min | 1.830 | | max | 1.997 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.911 | | σ | 6.876 | | min | 1538.641 | | max | 1554.208 |
| | mean | 1650.000 | | σ | 0.000 | | min | 1650.000 | | max | 1650.000 |
| | mean | 2.163 | | σ | 0.129 | | min | 2.054 | | max | 2.374 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.683 | | σ | 0.052 | | min | 1859.633 | | max | 1859.759 |
| | mean | 1772.600 | | σ | 123.733 | | min | 1650.000 | | max | 1902.000 |
| | mean | 3.091 | | σ | 0.313 | | min | 2.862 | | max | 3.639 |
|