iters=5 new-facts=1 prior-facts=1 | | mean | 303.781 | | σ | 0.065 | | min | 303.678 | | max | 303.843 |
| | mean | 1611.000 | | σ | 0.000 | | min | 1611.000 | | max | 1611.000 |
| | mean | 0.394 | | σ | 0.009 | | min | 0.389 | | max | 0.409 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.333 | | σ | 0.106 | | min | 1326.199 | | max | 1326.463 |
| | mean | 1611.000 | | σ | 0.000 | | min | 1611.000 | | max | 1611.000 |
| | mean | 1.943 | | σ | 0.107 | | min | 1.823 | | max | 2.040 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.464 | | σ | 6.823 | | min | 1561.268 | | max | 1576.666 |
| | mean | 1611.000 | | σ | 0.000 | | min | 1611.000 | | max | 1611.000 |
| | mean | 2.394 | | σ | 0.333 | | min | 2.081 | | max | 2.864 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.284 | | σ | 0.073 | | min | 1894.155 | | max | 1894.336 |
| | mean | 1796.600 | | σ | 200.651 | | min | 1611.000 | | max | 2071.000 |
| | mean | 3.036 | | σ | 0.125 | | min | 2.882 | | max | 3.223 |
|