iters=5 new-facts=1 prior-facts=1 | | mean | 282.223 | | σ | 0.007 | | min | 282.211 | | max | 282.231 |
| | mean | 1649.000 | | σ | 0.000 | | min | 1649.000 | | max | 1649.000 |
| | mean | 0.372 | | σ | 0.002 | | min | 0.370 | | max | 0.374 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1281.530 | | σ | 0.123 | | min | 1281.473 | | max | 1281.750 |
| | mean | 1649.000 | | σ | 0.000 | | min | 1649.000 | | max | 1649.000 |
| | mean | 1.839 | | σ | 0.030 | | min | 1.805 | | max | 1.881 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1803.951 | | σ | 6.983 | | min | 1800.619 | | max | 1816.429 |
| | mean | 1649.000 | | σ | 0.000 | | min | 1649.000 | | max | 1649.000 |
| | mean | 4.265 | | σ | 0.179 | | min | 4.018 | | max | 4.455 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2066.356 | | σ | 0.002 | | min | 2066.354 | | max | 2066.360 |
| | mean | 1865.000 | | σ | 192.820 | | min | 1649.000 | | max | 2082.000 |
| | mean | 4.497 | | σ | 0.079 | | min | 4.414 | | max | 4.595 |
|