iters=5 new-facts=1 prior-facts=1 | | mean | 301.483 | | σ | 0.041 | | min | 301.424 | | max | 301.521 |
| | mean | 1548.000 | | σ | 0.000 | | min | 1548.000 | | max | 1548.000 |
| | mean | 0.397 | | σ | 0.006 | | min | 0.391 | | max | 0.404 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1324.057 | | σ | 0.101 | | min | 1323.931 | | max | 1324.199 |
| | mean | 1548.000 | | σ | 0.000 | | min | 1548.000 | | max | 1548.000 |
| | mean | 1.958 | | σ | 0.162 | | min | 1.732 | | max | 2.153 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1562.100 | | σ | 6.926 | | min | 1558.761 | | max | 1574.483 |
| | mean | 1548.000 | | σ | 0.000 | | min | 1548.000 | | max | 1548.000 |
| | mean | 2.380 | | σ | 0.263 | | min | 2.081 | | max | 2.765 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1891.961 | | σ | 0.082 | | min | 1891.848 | | max | 1892.033 |
| | mean | 1785.200 | | σ | 151.971 | | min | 1548.000 | | max | 1949.000 |
| | mean | 2.963 | | σ | 0.159 | | min | 2.792 | | max | 3.218 |
|