iters=5 new-facts=1 prior-facts=1 | | mean | 286.838 | | σ | 0.043 | | min | 286.781 | | max | 286.883 |
| | mean | 1618.000 | | σ | 0.000 | | min | 1618.000 | | max | 1618.000 |
| | mean | 0.398 | | σ | 0.009 | | min | 0.387 | | max | 0.407 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.244 | | σ | 0.083 | | min | 1297.140 | | max | 1297.342 |
| | mean | 1618.000 | | σ | 0.000 | | min | 1618.000 | | max | 1618.000 |
| | mean | 2.068 | | σ | 0.066 | | min | 1.987 | | max | 2.136 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.340 | | σ | 6.857 | | min | 1538.085 | | max | 1553.602 |
| | mean | 1618.000 | | σ | 0.000 | | min | 1618.000 | | max | 1618.000 |
| | mean | 2.263 | | σ | 0.162 | | min | 2.109 | | max | 2.455 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.129 | | σ | 0.081 | | min | 1859.006 | | max | 1859.207 |
| | mean | 1760.000 | | σ | 129.944 | | min | 1618.000 | | max | 1894.000 |
| | mean | 3.176 | | σ | 0.366 | | min | 2.838 | | max | 3.755 |
|