iters=5 new-facts=1 prior-facts=1 | | mean | 302.720 | | σ | 0.033 | | min | 302.668 | | max | 302.753 |
| | mean | 1466.000 | | σ | 0.000 | | min | 1466.000 | | max | 1466.000 |
| | mean | 0.392 | | σ | 0.003 | | min | 0.389 | | max | 0.396 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1324.845 | | σ | 0.059 | | min | 1324.788 | | max | 1324.943 |
| | mean | 1466.000 | | σ | 0.000 | | min | 1466.000 | | max | 1466.000 |
| | mean | 2.039 | | σ | 0.234 | | min | 1.833 | | max | 2.355 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1563.431 | | σ | 6.825 | | min | 1560.242 | | max | 1575.638 |
| | mean | 1466.000 | | σ | 0.000 | | min | 1466.000 | | max | 1466.000 |
| | mean | 2.484 | | σ | 0.229 | | min | 2.160 | | max | 2.763 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1892.829 | | σ | 0.025 | | min | 1892.795 | | max | 1892.854 |
| | mean | 1719.400 | | σ | 230.305 | | min | 1466.000 | | max | 2051.000 |
| | mean | 2.986 | | σ | 0.183 | | min | 2.878 | | max | 3.306 |
|