iters=5 new-facts=1 prior-facts=1 | | mean | 272.792 | | σ | 0.008 | | min | 272.781 | | max | 272.802 |
| | mean | 2493.000 | | σ | 0.000 | | min | 2493.000 | | max | 2493.000 |
| | mean | 0.383 | | σ | 0.007 | | min | 0.376 | | max | 0.394 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1792.964 | | σ | 313.645 | | min | 1231.900 | | max | 1933.250 |
| | mean | 2493.000 | | σ | 0.000 | | min | 2493.000 | | max | 2493.000 |
| | mean | 2.918 | | σ | 0.602 | | min | 1.862 | | max | 3.339 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4757.045 | | σ | 7.521 | | min | 4753.598 | | max | 4770.500 |
| | mean | 2493.000 | | σ | 0.000 | | min | 2493.000 | | max | 2493.000 |
| | mean | 8.030 | | σ | 0.322 | | min | 7.724 | | max | 8.570 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.459 | | σ | 0.019 | | min | 4944.434 | | max | 4944.483 |
| | mean | 2955.800 | | σ | 371.078 | | min | 2493.000 | | max | 3438.000 |
| | mean | 8.643 | | σ | 0.082 | | min | 8.527 | | max | 8.737 |
|