iters=5 new-facts=1 prior-facts=1 | | mean | 272.792 | | σ | 0.003 | | min | 272.789 | | max | 272.797 |
| | mean | 2432.000 | | σ | 0.000 | | min | 2432.000 | | max | 2432.000 |
| | mean | 0.379 | | σ | 0.007 | | min | 0.376 | | max | 0.391 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.227 | | σ | 0.021 | | min | 1933.200 | | max | 1933.249 |
| | mean | 2432.000 | | σ | 0.000 | | min | 2432.000 | | max | 2432.000 |
| | mean | 2.937 | | σ | 0.308 | | min | 2.392 | | max | 3.134 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.821 | | σ | 7.720 | | min | 4752.909 | | max | 4770.623 |
| | mean | 2432.000 | | σ | 0.000 | | min | 2432.000 | | max | 2432.000 |
| | mean | 8.667 | | σ | 0.486 | | min | 7.942 | | max | 9.058 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.449 | | σ | 0.021 | | min | 4944.429 | | max | 4944.476 |
| | mean | 2962.000 | | σ | 277.383 | | min | 2589.000 | | max | 3321.000 |
| | mean | 8.538 | | σ | 0.149 | | min | 8.424 | | max | 8.796 |
|