iters=5 new-facts=1 prior-facts=1 | | mean | 286.819 | | σ | 0.034 | | min | 286.775 | | max | 286.853 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 0.396 | | σ | 0.008 | | min | 0.389 | | max | 0.408 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.284 | | σ | 0.079 | | min | 1297.198 | | max | 1297.403 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 2.260 | | σ | 0.068 | | min | 2.175 | | max | 2.332 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.355 | | σ | 6.864 | | min | 1538.116 | | max | 1553.630 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 2.206 | | σ | 0.081 | | min | 2.127 | | max | 2.341 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.119 | | σ | 0.068 | | min | 1859.037 | | max | 1859.194 |
| | mean | 1792.400 | | σ | 152.113 | | min | 1647.000 | | max | 1950.000 |
| | mean | 2.982 | | σ | 0.181 | | min | 2.776 | | max | 3.231 |
|