iters=5 new-facts=1 prior-facts=1 | | mean | 286.828 | | σ | 0.038 | | min | 286.781 | | max | 286.873 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 0.401 | | σ | 0.009 | | min | 0.391 | | max | 0.412 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.273 | | σ | 0.081 | | min | 1297.197 | | max | 1297.388 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 2.198 | | σ | 0.080 | | min | 2.067 | | max | 2.261 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.337 | | σ | 6.833 | | min | 1538.121 | | max | 1553.558 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 2.221 | | σ | 0.132 | | min | 2.112 | | max | 2.393 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.112 | | σ | 0.067 | | min | 1859.033 | | max | 1859.193 |
| | mean | 1781.000 | | σ | 125.178 | | min | 1647.000 | | max | 1904.000 |
| | mean | 3.097 | | σ | 0.321 | | min | 2.754 | | max | 3.532 |
|