iters=5 new-facts=1 prior-facts=1 | | mean | 284.705 | | σ | 0.024 | | min | 284.681 | | max | 284.733 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 0.395 | | σ | 0.010 | | min | 0.387 | | max | 0.407 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.076 | | σ | 0.105 | | min | 1294.961 | | max | 1295.203 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 1.936 | | σ | 0.102 | | min | 1.820 | | max | 2.036 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.191 | | σ | 6.846 | | min | 1535.930 | | max | 1551.433 |
| | mean | 1639.000 | | σ | 0.000 | | min | 1639.000 | | max | 1639.000 |
| | mean | 2.238 | | σ | 0.174 | | min | 2.048 | | max | 2.440 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1856.989 | | σ | 0.054 | | min | 1856.936 | | max | 1857.066 |
| | mean | 1773.000 | | σ | 130.689 | | min | 1639.000 | | max | 1906.000 |
| | mean | 3.088 | | σ | 0.276 | | min | 2.876 | | max | 3.566 |
|