iters=5 new-facts=1 prior-facts=1 | | mean | 324.588 | | σ | 0.032 | | min | 324.532 | | max | 324.605 |
| | mean | 2726.000 | | σ | 0.000 | | min | 2726.000 | | max | 2726.000 |
| | mean | 0.426 | | σ | 0.009 | | min | 0.420 | | max | 0.441 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.151 | | σ | 0.008 | | min | 1985.140 | | max | 1985.161 |
| | mean | 2726.000 | | σ | 0.000 | | min | 2726.000 | | max | 2726.000 |
| | mean | 2.556 | | σ | 0.036 | | min | 2.529 | | max | 2.617 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.649 | | σ | 7.682 | | min | 4804.820 | | max | 4822.384 |
| | mean | 2726.000 | | σ | 0.000 | | min | 2726.000 | | max | 2726.000 |
| | mean | 8.463 | | σ | 0.435 | | min | 8.039 | | max | 9.024 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.346 | | σ | 0.021 | | min | 4996.324 | | max | 4996.375 |
| | mean | 3019.400 | | σ | 218.833 | | min | 2726.000 | | max | 3306.000 |
| | mean | 8.685 | | σ | 0.146 | | min | 8.543 | | max | 8.886 |
|