iters=5 new-facts=1 prior-facts=1 | | mean | 326.442 | | σ | 0.058 | | min | 326.339 | | max | 326.477 |
| | mean | 2829.000 | | σ | 0.000 | | min | 2829.000 | | max | 2829.000 |
| | mean | 0.428 | | σ | 0.009 | | min | 0.420 | | max | 0.439 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.606 | | σ | 0.013 | | min | 1988.589 | | max | 1988.619 |
| | mean | 2829.000 | | σ | 0.000 | | min | 2829.000 | | max | 2829.000 |
| | mean | 2.686 | | σ | 0.062 | | min | 2.620 | | max | 2.786 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.507 | | σ | 7.701 | | min | 4809.907 | | max | 4827.280 |
| | mean | 2829.000 | | σ | 0.000 | | min | 2829.000 | | max | 2829.000 |
| | mean | 8.570 | | σ | 0.633 | | min | 7.675 | | max | 9.140 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5000.942 | | σ | 0.178 | | min | 5000.626 | | max | 5001.056 |
| | mean | 3032.600 | | σ | 205.894 | | min | 2829.000 | | max | 3313.000 |
| | mean | 9.670 | | σ | 0.469 | | min | 8.976 | | max | 10.267 |
|