iters=5 new-facts=1 prior-facts=1 | | mean | 324.762 | | σ | 0.053 | | min | 324.669 | | max | 324.795 |
| | mean | 2449.000 | | σ | 0.000 | | min | 2449.000 | | max | 2449.000 |
| | mean | 0.426 | | σ | 0.001 | | min | 0.425 | | max | 0.428 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.317 | | σ | 0.015 | | min | 1985.295 | | max | 1985.337 |
| | mean | 2449.000 | | σ | 0.000 | | min | 2449.000 | | max | 2449.000 |
| | mean | 2.601 | | σ | 0.103 | | min | 2.490 | | max | 2.719 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.973 | | σ | 7.733 | | min | 4804.998 | | max | 4822.795 |
| | mean | 2449.000 | | σ | 0.000 | | min | 2449.000 | | max | 2449.000 |
| | mean | 8.804 | | σ | 0.186 | | min | 8.603 | | max | 9.005 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.561 | | σ | 0.150 | | min | 4996.296 | | max | 4996.649 |
| | mean | 2964.800 | | σ | 282.034 | | min | 2579.000 | | max | 3297.000 |
| | mean | 8.628 | | σ | 0.185 | | min | 8.450 | | max | 8.941 |
|