iters=5 new-facts=1 prior-facts=1 | | mean | 285.413 | | σ | 0.037 | | min | 285.368 | | max | 285.453 |
| | mean | 1642.000 | | σ | 0.000 | | min | 1642.000 | | max | 1642.000 |
| | mean | 0.387 | | σ | 0.007 | | min | 0.380 | | max | 0.396 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.794 | | σ | 0.114 | | min | 1295.663 | | max | 1295.936 |
| | mean | 1642.000 | | σ | 0.000 | | min | 1642.000 | | max | 1642.000 |
| | mean | 1.988 | | σ | 0.276 | | min | 1.797 | | max | 2.467 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.974 | | σ | 6.833 | | min | 1536.707 | | max | 1552.192 |
| | mean | 1642.000 | | σ | 0.000 | | min | 1642.000 | | max | 1642.000 |
| | mean | 2.403 | | σ | 0.238 | | min | 2.052 | | max | 2.635 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.706 | | σ | 0.056 | | min | 1857.654 | | max | 1857.784 |
| | mean | 1774.200 | | σ | 130.550 | | min | 1642.000 | | max | 1906.000 |
| | mean | 3.056 | | σ | 0.272 | | min | 2.842 | | max | 3.525 |
|