iters=5 new-facts=1 prior-facts=1 | | mean | 285.026 | | σ | 0.038 | | min | 284.971 | | max | 285.064 |
| | mean | 1501.000 | | σ | 0.000 | | min | 1501.000 | | max | 1501.000 |
| | mean | 0.395 | | σ | 0.006 | | min | 0.390 | | max | 0.405 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.428 | | σ | 0.076 | | min | 1295.357 | | max | 1295.514 |
| | mean | 1501.000 | | σ | 0.000 | | min | 1501.000 | | max | 1501.000 |
| | mean | 2.077 | | σ | 0.084 | | min | 2.002 | | max | 2.198 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.563 | | σ | 6.812 | | min | 1536.361 | | max | 1551.746 |
| | mean | 1501.000 | | σ | 0.000 | | min | 1501.000 | | max | 1501.000 |
| | mean | 2.324 | | σ | 0.234 | | min | 2.138 | | max | 2.711 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.318 | | σ | 0.070 | | min | 1857.210 | | max | 1857.389 |
| | mean | 1731.000 | | σ | 215.731 | | min | 1501.000 | | max | 2024.000 |
| | mean | 2.878 | | σ | 0.158 | | min | 2.648 | | max | 3.060 |
|