iters=5 new-facts=1 prior-facts=1 | | mean | 297.289 | | σ | 0.014 | | min | 297.267 | | max | 297.303 |
| | mean | 1628.000 | | σ | 0.000 | | min | 1628.000 | | max | 1628.000 |
| | mean | 0.390 | | σ | 0.006 | | min | 0.383 | | max | 0.399 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1298.540 | | σ | 0.125 | | min | 1298.478 | | max | 1298.764 |
| | mean | 1628.000 | | σ | 0.000 | | min | 1628.000 | | max | 1628.000 |
| | mean | 2.000 | | σ | 0.094 | | min | 1.889 | | max | 2.150 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1820.781 | | σ | 6.988 | | min | 1817.413 | | max | 1833.266 |
| | mean | 1628.000 | | σ | 0.000 | | min | 1628.000 | | max | 1628.000 |
| | mean | 4.193 | | σ | 0.179 | | min | 4.010 | | max | 4.457 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2083.376 | | σ | 0.009 | | min | 2083.368 | | max | 2083.391 |
| | mean | 1857.000 | | σ | 200.950 | | min | 1628.000 | | max | 2086.000 |
| | mean | 4.503 | | σ | 0.097 | | min | 4.413 | | max | 4.648 |
|