iters=5 new-facts=1 prior-facts=1 | | mean | 189.767 | | σ | 0.073 | | min | 189.686 | | max | 189.867 |
| | mean | 2841.000 | | σ | 0.000 | | min | 2841.000 | | max | 2841.000 |
| | mean | 0.280 | | σ | 0.001 | | min | 0.279 | | max | 0.281 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.483 | | σ | 0.096 | | min | 1988.357 | | max | 1988.605 |
| | mean | 2841.000 | | σ | 0.000 | | min | 2841.000 | | max | 2841.000 |
| | mean | 2.504 | | σ | 0.130 | | min | 2.402 | | max | 2.722 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5367.499 | | σ | 523.233 | | min | 4879.429 | | max | 6088.294 |
| | mean | 2841.000 | | σ | 0.000 | | min | 2841.000 | | max | 2841.000 |
| | mean | 9.923 | | σ | 2.176 | | min | 7.511 | | max | 12.673 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5689.495 | | σ | 631.478 | | min | 4890.974 | | max | 6488.249 |
| | mean | 2860.000 | | σ | 42.485 | | min | 2841.000 | | max | 2936.000 |
| | mean | 10.586 | | σ | 1.562 | | min | 8.713 | | max | 11.900 |
|