iters=5 new-facts=1 prior-facts=1 | | mean | 299.187 | | σ | 0.036 | | min | 299.151 | | max | 299.230 |
| | mean | 1458.000 | | σ | 0.000 | | min | 1458.000 | | max | 1458.000 |
| | mean | 0.388 | | σ | 0.007 | | min | 0.384 | | max | 0.401 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1309.618 | | σ | 0.102 | | min | 1309.490 | | max | 1309.737 |
| | mean | 1458.000 | | σ | 0.000 | | min | 1458.000 | | max | 1458.000 |
| | mean | 1.901 | | σ | 0.093 | | min | 1.795 | | max | 2.000 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1553.714 | | σ | 6.849 | | min | 1550.417 | | max | 1565.962 |
| | mean | 1458.000 | | σ | 0.000 | | min | 1458.000 | | max | 1458.000 |
| | mean | 2.325 | | σ | 0.264 | | min | 2.020 | | max | 2.546 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1871.497 | | σ | 0.049 | | min | 1871.428 | | max | 1871.543 |
| | mean | 1727.400 | | σ | 200.166 | | min | 1458.000 | | max | 1915.000 |
| | mean | 2.844 | | σ | 0.139 | | min | 2.615 | | max | 2.985 |
|