iters=5 new-facts=1 prior-facts=1 | | mean | 286.818 | | σ | 0.039 | | min | 286.772 | | max | 286.863 |
| | mean | 1646.000 | | σ | 0.000 | | min | 1646.000 | | max | 1646.000 |
| | mean | 0.394 | | σ | 0.007 | | min | 0.385 | | max | 0.401 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.290 | | σ | 0.075 | | min | 1297.202 | | max | 1297.398 |
| | mean | 1646.000 | | σ | 0.000 | | min | 1646.000 | | max | 1646.000 |
| | mean | 2.258 | | σ | 0.069 | | min | 2.179 | | max | 2.356 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.340 | | σ | 6.815 | | min | 1538.120 | | max | 1553.527 |
| | mean | 1646.000 | | σ | 0.000 | | min | 1646.000 | | max | 1646.000 |
| | mean | 2.207 | | σ | 0.081 | | min | 2.133 | | max | 2.325 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.129 | | σ | 0.061 | | min | 1859.041 | | max | 1859.196 |
| | mean | 1784.200 | | σ | 167.819 | | min | 1646.000 | | max | 2032.000 |
| | mean | 2.903 | | σ | 0.033 | | min | 2.874 | | max | 2.941 |
|