iters=5 new-facts=1 prior-facts=1 | | mean | 281.497 | | σ | 0.036 | | min | 281.454 | | max | 281.542 |
| | mean | 1631.000 | | σ | 0.000 | | min | 1631.000 | | max | 1631.000 |
| | mean | 0.394 | | σ | 0.006 | | min | 0.386 | | max | 0.400 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1291.472 | | σ | 0.096 | | min | 1291.360 | | max | 1291.569 |
| | mean | 1631.000 | | σ | 0.000 | | min | 1631.000 | | max | 1631.000 |
| | mean | 1.866 | | σ | 0.066 | | min | 1.784 | | max | 1.927 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1534.332 | | σ | 4.030 | | min | 1532.295 | | max | 1541.532 |
| | mean | 1631.000 | | σ | 0.000 | | min | 1631.000 | | max | 1631.000 |
| | mean | 2.286 | | σ | 0.223 | | min | 2.024 | | max | 2.490 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1853.358 | | σ | 0.054 | | min | 1853.298 | | max | 1853.433 |
| | mean | 1771.600 | | σ | 129.197 | | min | 1631.000 | | max | 1905.000 |
| | mean | 3.116 | | σ | 0.359 | | min | 2.868 | | max | 3.742 |
|