iters=5 new-facts=1 prior-facts=1 | | mean | 326.565 | | σ | 0.059 | | min | 326.460 | | max | 326.598 |
| | mean | 2677.000 | | σ | 0.000 | | min | 2677.000 | | max | 2677.000 |
| | mean | 0.425 | | σ | 0.005 | | min | 0.422 | | max | 0.434 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.730 | | σ | 0.016 | | min | 1988.711 | | max | 1988.754 |
| | mean | 2677.000 | | σ | 0.000 | | min | 2677.000 | | max | 2677.000 |
| | mean | 2.754 | | σ | 0.130 | | min | 2.609 | | max | 2.944 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.568 | | σ | 7.712 | | min | 4810.040 | | max | 4827.363 |
| | mean | 2677.000 | | σ | 0.000 | | min | 2677.000 | | max | 2677.000 |
| | mean | 8.450 | | σ | 0.457 | | min | 7.803 | | max | 9.049 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.005 | | σ | 0.321 | | min | 5000.434 | | max | 5001.191 |
| | mean | 2959.000 | | σ | 315.851 | | min | 2677.000 | | max | 3412.000 |
| | mean | 9.934 | | σ | 0.281 | | min | 9.748 | | max | 10.413 |
|