iters=5 new-facts=1 prior-facts=1 | | mean | 324.766 | | σ | 0.048 | | min | 324.681 | | max | 324.793 |
| | mean | 2690.000 | | σ | 0.000 | | min | 2690.000 | | max | 2690.000 |
| | mean | 0.427 | | σ | 0.010 | | min | 0.420 | | max | 0.445 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.317 | | σ | 0.020 | | min | 1985.284 | | max | 1985.332 |
| | mean | 2690.000 | | σ | 0.000 | | min | 2690.000 | | max | 2690.000 |
| | mean | 2.617 | | σ | 0.079 | | min | 2.558 | | max | 2.733 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.975 | | σ | 7.796 | | min | 4805.048 | | max | 4822.914 |
| | mean | 2690.000 | | σ | 0.000 | | min | 2690.000 | | max | 2690.000 |
| | mean | 9.029 | | σ | 0.132 | | min | 8.889 | | max | 9.234 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.494 | | σ | 0.178 | | min | 4996.285 | | max | 4996.640 |
| | mean | 3058.800 | | σ | 293.251 | | min | 2690.000 | | max | 3333.000 |
| | mean | 8.914 | | σ | 0.415 | | min | 8.568 | | max | 9.554 |
|