iters=5 new-facts=1 prior-facts=1 | | mean | 324.771 | | σ | 0.037 | | min | 324.705 | | max | 324.790 |
| | mean | 2428.000 | | σ | 0.000 | | min | 2428.000 | | max | 2428.000 |
| | mean | 0.419 | | σ | 0.003 | | min | 0.415 | | max | 0.421 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.324 | | σ | 0.013 | | min | 1985.309 | | max | 1985.336 |
| | mean | 2428.000 | | σ | 0.000 | | min | 2428.000 | | max | 2428.000 |
| | mean | 2.630 | | σ | 0.141 | | min | 2.531 | | max | 2.875 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.879 | | σ | 7.787 | | min | 4804.637 | | max | 4822.786 |
| | mean | 2428.000 | | σ | 0.000 | | min | 2428.000 | | max | 2428.000 |
| | mean | 9.028 | | σ | 0.244 | | min | 8.594 | | max | 9.173 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.627 | | σ | 0.016 | | min | 4996.606 | | max | 4996.643 |
| | mean | 2953.400 | | σ | 439.441 | | min | 2434.000 | | max | 3545.000 |
| | mean | 8.576 | | σ | 0.214 | | min | 8.369 | | max | 8.866 |
|