iters=5 new-facts=1 prior-facts=1 | | mean | 326.632 | | σ | 0.056 | | min | 326.533 | | max | 326.666 |
| | mean | 2643.000 | | σ | 0.000 | | min | 2643.000 | | max | 2643.000 |
| | mean | 0.429 | | σ | 0.006 | | min | 0.424 | | max | 0.435 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.806 | | σ | 0.009 | | min | 1988.796 | | max | 1988.816 |
| | mean | 2643.000 | | σ | 0.000 | | min | 2643.000 | | max | 2643.000 |
| | mean | 2.722 | | σ | 0.138 | | min | 2.570 | | max | 2.921 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.459 | | σ | 7.561 | | min | 4809.668 | | max | 4826.977 |
| | mean | 2643.000 | | σ | 0.000 | | min | 2643.000 | | max | 2643.000 |
| | mean | 8.522 | | σ | 0.606 | | min | 7.983 | | max | 9.516 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.200 | | σ | 0.032 | | min | 5001.152 | | max | 5001.228 |
| | mean | 2992.000 | | σ | 389.460 | | min | 2643.000 | | max | 3549.000 |
| | mean | 9.522 | | σ | 0.614 | | min | 8.441 | | max | 9.979 |
|