iters=5 new-facts=1 prior-facts=1 | | mean | 294.669 | | σ | 0.020 | | min | 294.636 | | max | 294.688 |
| | mean | 1657.000 | | σ | 0.000 | | min | 1657.000 | | max | 1657.000 |
| | mean | 0.391 | | σ | 0.008 | | min | 0.381 | | max | 0.402 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.939 | | σ | 0.096 | | min | 1316.875 | | max | 1317.105 |
| | mean | 1657.000 | | σ | 0.000 | | min | 1657.000 | | max | 1657.000 |
| | mean | 2.033 | | σ | 0.103 | | min | 1.901 | | max | 2.162 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.305 | | σ | 6.855 | | min | 1552.000 | | max | 1567.561 |
| | mean | 1657.000 | | σ | 0.000 | | min | 1657.000 | | max | 1657.000 |
| | mean | 2.351 | | σ | 0.206 | | min | 2.111 | | max | 2.682 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.783 | | σ | 0.031 | | min | 1884.759 | | max | 1884.836 |
| | mean | 1797.000 | | σ | 149.077 | | min | 1657.000 | | max | 1953.000 |
| | mean | 3.191 | | σ | 0.349 | | min | 2.912 | | max | 3.793 |
|