iters=5 new-facts=1 prior-facts=1 | | mean | 294.678 | | σ | 0.019 | | min | 294.652 | | max | 294.705 |
| | mean | 1655.000 | | σ | 0.000 | | min | 1655.000 | | max | 1655.000 |
| | mean | 0.388 | | σ | 0.007 | | min | 0.382 | | max | 0.398 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.943 | | σ | 0.097 | | min | 1316.891 | | max | 1317.117 |
| | mean | 1655.000 | | σ | 0.000 | | min | 1655.000 | | max | 1655.000 |
| | mean | 1.897 | | σ | 0.071 | | min | 1.828 | | max | 1.983 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.287 | | σ | 6.891 | | min | 1551.959 | | max | 1567.608 |
| | mean | 1655.000 | | σ | 0.000 | | min | 1655.000 | | max | 1655.000 |
| | mean | 2.268 | | σ | 0.293 | | min | 2.087 | | max | 2.786 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.781 | | σ | 0.027 | | min | 1884.764 | | max | 1884.827 |
| | mean | 1745.200 | | σ | 136.899 | | min | 1655.000 | | max | 1964.000 |
| | mean | 2.953 | | σ | 0.130 | | min | 2.853 | | max | 3.118 |
|