iters=5 new-facts=1 prior-facts=1 | | mean | 280.215 | | σ | 0.010 | | min | 280.203 | | max | 280.225 |
| | mean | 1473.000 | | σ | 0.000 | | min | 1473.000 | | max | 1473.000 |
| | mean | 0.370 | | σ | 0.004 | | min | 0.368 | | max | 0.377 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1280.283 | | σ | 0.124 | | min | 1280.214 | | max | 1280.502 |
| | mean | 1473.000 | | σ | 0.000 | | min | 1473.000 | | max | 1473.000 |
| | mean | 1.841 | | σ | 0.040 | | min | 1.799 | | max | 1.902 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1802.580 | | σ | 7.057 | | min | 1799.178 | | max | 1815.188 |
| | mean | 1473.000 | | σ | 0.000 | | min | 1473.000 | | max | 1473.000 |
| | mean | 4.305 | | σ | 0.203 | | min | 4.006 | | max | 4.481 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2065.010 | | σ | 0.011 | | min | 2065.002 | | max | 2065.028 |
| | mean | 1802.000 | | σ | 195.974 | | min | 1561.000 | | max | 1993.000 |
| | mean | 4.412 | | σ | 0.087 | | min | 4.329 | | max | 4.532 |
|