iters=5 new-facts=1 prior-facts=1 | | mean | 285.405 | | σ | 0.033 | | min | 285.367 | | max | 285.445 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 0.389 | | σ | 0.006 | | min | 0.382 | | max | 0.394 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.781 | | σ | 0.113 | | min | 1295.674 | | max | 1295.971 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 2.002 | | σ | 0.187 | | min | 1.804 | | max | 2.207 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1540.014 | | σ | 6.805 | | min | 1536.850 | | max | 1552.184 |
| | mean | 1638.000 | | σ | 0.000 | | min | 1638.000 | | max | 1638.000 |
| | mean | 2.387 | | σ | 0.182 | | min | 2.138 | | max | 2.593 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.702 | | σ | 0.051 | | min | 1857.654 | | max | 1857.772 |
| | mean | 1780.000 | | σ | 139.755 | | min | 1638.000 | | max | 1924.000 |
| | mean | 3.020 | | σ | 0.198 | | min | 2.873 | | max | 3.362 |
|