iters=5 new-facts=1 prior-facts=1 | | mean | 294.679 | | σ | 0.016 | | min | 294.660 | | max | 294.702 |
| | mean | 1655.000 | | σ | 0.000 | | min | 1655.000 | | max | 1655.000 |
| | mean | 0.383 | | σ | 0.003 | | min | 0.380 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.940 | | σ | 0.096 | | min | 1316.884 | | max | 1317.111 |
| | mean | 1655.000 | | σ | 0.000 | | min | 1655.000 | | max | 1655.000 |
| | mean | 1.941 | | σ | 0.116 | | min | 1.833 | | max | 2.135 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.281 | | σ | 6.855 | | min | 1551.965 | | max | 1567.538 |
| | mean | 1655.000 | | σ | 0.000 | | min | 1655.000 | | max | 1655.000 |
| | mean | 2.270 | | σ | 0.186 | | min | 2.057 | | max | 2.525 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.773 | | σ | 0.038 | | min | 1884.738 | | max | 1884.838 |
| | mean | 1816.600 | | σ | 189.318 | | min | 1655.000 | | max | 2086.000 |
| | mean | 3.046 | | σ | 0.080 | | min | 2.948 | | max | 3.141 |
|