iters=5 new-facts=1 prior-facts=1 | | mean | 326.578 | | σ | 0.032 | | min | 326.522 | | max | 326.598 |
| | mean | 2639.000 | | σ | 0.000 | | min | 2639.000 | | max | 2639.000 |
| | mean | 0.423 | | σ | 0.001 | | min | 0.421 | | max | 0.424 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.734 | | σ | 0.006 | | min | 1988.727 | | max | 1988.743 |
| | mean | 2639.000 | | σ | 0.000 | | min | 2639.000 | | max | 2639.000 |
| | mean | 2.756 | | σ | 0.101 | | min | 2.611 | | max | 2.856 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.614 | | σ | 7.738 | | min | 4810.043 | | max | 4827.456 |
| | mean | 2639.000 | | σ | 0.000 | | min | 2639.000 | | max | 2639.000 |
| | mean | 8.527 | | σ | 0.537 | | min | 7.971 | | max | 9.361 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.137 | | σ | 0.023 | | min | 5001.114 | | max | 5001.164 |
| | mean | 2964.200 | | σ | 337.886 | | min | 2639.000 | | max | 3448.000 |
| | mean | 9.713 | | σ | 0.128 | | min | 9.498 | | max | 9.804 |
|