iters=5 new-facts=1 prior-facts=1 | | mean | 287.355 | | σ | 0.008 | | min | 287.342 | | max | 287.362 |
| | mean | 1648.000 | | σ | 0.000 | | min | 1648.000 | | max | 1648.000 |
| | mean | 0.370 | | σ | 0.004 | | min | 0.368 | | max | 0.378 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1287.311 | | σ | 0.105 | | min | 1287.258 | | max | 1287.498 |
| | mean | 1648.000 | | σ | 0.000 | | min | 1648.000 | | max | 1648.000 |
| | mean | 1.884 | | σ | 0.080 | | min | 1.772 | | max | 1.980 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1809.705 | | σ | 6.966 | | min | 1806.351 | | max | 1822.150 |
| | mean | 1648.000 | | σ | 0.000 | | min | 1648.000 | | max | 1648.000 |
| | mean | 4.337 | | σ | 0.180 | | min | 4.128 | | max | 4.558 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2072.159 | | σ | 0.008 | | min | 2072.149 | | max | 2072.170 |
| | mean | 1849.800 | | σ | 172.523 | | min | 1648.000 | | max | 2092.000 |
| | mean | 4.925 | | σ | 0.040 | | min | 4.885 | | max | 4.991 |
|