iters=5 new-facts=1 prior-facts=1 | | mean | 324.011 | | σ | 0.058 | | min | 323.908 | | max | 324.047 |
| | mean | 2833.000 | | σ | 0.000 | | min | 2833.000 | | max | 2833.000 |
| | mean | 0.428 | | σ | 0.001 | | min | 0.427 | | max | 0.429 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.592 | | σ | 0.010 | | min | 1984.575 | | max | 1984.599 |
| | mean | 2833.000 | | σ | 0.000 | | min | 2833.000 | | max | 2833.000 |
| | mean | 2.624 | | σ | 0.047 | | min | 2.577 | | max | 2.680 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.265 | | σ | 7.771 | | min | 4804.708 | | max | 4822.165 |
| | mean | 2833.000 | | σ | 0.000 | | min | 2833.000 | | max | 2833.000 |
| | mean | 9.034 | | σ | 0.321 | | min | 8.636 | | max | 9.417 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.797 | | σ | 0.019 | | min | 4995.774 | | max | 4995.827 |
| | mean | 3043.000 | | σ | 264.937 | | min | 2833.000 | | max | 3446.000 |
| | mean | 8.622 | | σ | 0.086 | | min | 8.507 | | max | 8.735 |
|