iters=5 new-facts=1 prior-facts=1 | | mean | 301.483 | | σ | 0.043 | | min | 301.417 | | max | 301.531 |
| | mean | 1512.000 | | σ | 0.000 | | min | 1512.000 | | max | 1512.000 |
| | mean | 0.396 | | σ | 0.006 | | min | 0.391 | | max | 0.407 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1324.042 | | σ | 0.096 | | min | 1323.925 | | max | 1324.182 |
| | mean | 1512.000 | | σ | 0.000 | | min | 1512.000 | | max | 1512.000 |
| | mean | 1.862 | | σ | 0.064 | | min | 1.813 | | max | 1.967 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1562.076 | | σ | 6.935 | | min | 1558.751 | | max | 1574.477 |
| | mean | 1512.000 | | σ | 0.000 | | min | 1512.000 | | max | 1512.000 |
| | mean | 2.328 | | σ | 0.261 | | min | 2.123 | | max | 2.782 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1891.987 | | σ | 0.083 | | min | 1891.846 | | max | 1892.068 |
| | mean | 1710.200 | | σ | 211.228 | | min | 1512.000 | | max | 2022.000 |
| | mean | 2.904 | | σ | 0.047 | | min | 2.862 | | max | 2.983 |
|