iters=5 new-facts=1 prior-facts=1 | | mean | 326.632 | | σ | 0.050 | | min | 326.544 | | max | 326.661 |
| | mean | 2611.000 | | σ | 0.000 | | min | 2611.000 | | max | 2611.000 |
| | mean | 0.428 | | σ | 0.007 | | min | 0.424 | | max | 0.441 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.796 | | σ | 0.022 | | min | 1988.764 | | max | 1988.821 |
| | mean | 2611.000 | | σ | 0.000 | | min | 2611.000 | | max | 2611.000 |
| | mean | 2.623 | | σ | 0.173 | | min | 2.335 | | max | 2.806 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.646 | | σ | 7.724 | | min | 4810.117 | | max | 4827.462 |
| | mean | 2611.000 | | σ | 0.000 | | min | 2611.000 | | max | 2611.000 |
| | mean | 8.866 | | σ | 0.321 | | min | 8.535 | | max | 9.195 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5000.925 | | σ | 0.416 | | min | 5000.469 | | max | 5001.264 |
| | mean | 2989.400 | | σ | 280.134 | | min | 2611.000 | | max | 3309.000 |
| | mean | 9.787 | | σ | 0.243 | | min | 9.581 | | max | 10.169 |
|