iters=5 new-facts=1 prior-facts=1 | | mean | 301.480 | | σ | 0.045 | | min | 301.415 | | max | 301.533 |
| | mean | 1511.000 | | σ | 0.000 | | min | 1511.000 | | max | 1511.000 |
| | mean | 0.396 | | σ | 0.004 | | min | 0.393 | | max | 0.401 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1324.076 | | σ | 0.118 | | min | 1323.954 | | max | 1324.254 |
| | mean | 1511.000 | | σ | 0.000 | | min | 1511.000 | | max | 1511.000 |
| | mean | 2.039 | | σ | 0.200 | | min | 1.826 | | max | 2.279 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1562.167 | | σ | 6.884 | | min | 1558.962 | | max | 1574.481 |
| | mean | 1511.000 | | σ | 0.000 | | min | 1511.000 | | max | 1511.000 |
| | mean | 2.402 | | σ | 0.254 | | min | 2.158 | | max | 2.776 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1891.977 | | σ | 0.070 | | min | 1891.852 | | max | 1892.019 |
| | mean | 1742.800 | | σ | 216.198 | | min | 1511.000 | | max | 2032.000 |
| | mean | 2.879 | | σ | 0.105 | | min | 2.721 | | max | 2.997 |
|