iters=5 new-facts=1 prior-facts=1 | | mean | 324.019 | | σ | 0.044 | | min | 323.941 | | max | 324.043 |
| | mean | 2770.000 | | σ | 0.000 | | min | 2770.000 | | max | 2770.000 |
| | mean | 0.430 | | σ | 0.002 | | min | 0.428 | | max | 0.432 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.588 | | σ | 0.021 | | min | 1984.551 | | max | 1984.605 |
| | mean | 2770.000 | | σ | 0.000 | | min | 2770.000 | | max | 2770.000 |
| | mean | 2.701 | | σ | 0.178 | | min | 2.572 | | max | 3.000 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.162 | | σ | 7.807 | | min | 4804.111 | | max | 4822.115 |
| | mean | 2770.000 | | σ | 0.000 | | min | 2770.000 | | max | 2770.000 |
| | mean | 8.489 | | σ | 0.427 | | min | 7.816 | | max | 9.009 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.807 | | σ | 0.028 | | min | 4995.775 | | max | 4995.846 |
| | mean | 3006.400 | | σ | 276.959 | | min | 2770.000 | | max | 3409.000 |
| | mean | 8.550 | | σ | 0.175 | | min | 8.370 | | max | 8.819 |
|