iters=5 new-facts=1 prior-facts=1 | | mean | 326.503 | | σ | 0.050 | | min | 326.414 | | max | 326.530 |
| | mean | 2613.000 | | σ | 0.000 | | min | 2613.000 | | max | 2613.000 |
| | mean | 0.424 | | σ | 0.002 | | min | 0.422 | | max | 0.426 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.670 | | σ | 0.015 | | min | 1988.651 | | max | 1988.688 |
| | mean | 2613.000 | | σ | 0.000 | | min | 2613.000 | | max | 2613.000 |
| | mean | 2.715 | | σ | 0.153 | | min | 2.522 | | max | 2.947 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.325 | | σ | 7.860 | | min | 4809.409 | | max | 4827.374 |
| | mean | 2613.000 | | σ | 0.000 | | min | 2613.000 | | max | 2613.000 |
| | mean | 8.414 | | σ | 0.565 | | min | 7.811 | | max | 9.293 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5000.933 | | σ | 0.305 | | min | 5000.389 | | max | 5001.098 |
| | mean | 2944.600 | | σ | 347.052 | | min | 2613.000 | | max | 3413.000 |
| | mean | 9.650 | | σ | 0.274 | | min | 9.330 | | max | 9.968 |
|