iters=5 new-facts=1 prior-facts=1 | | mean | 285.035 | | σ | 0.038 | | min | 284.986 | | max | 285.079 |
| | mean | 1520.000 | | σ | 0.000 | | min | 1520.000 | | max | 1520.000 |
| | mean | 0.397 | | σ | 0.012 | | min | 0.385 | | max | 0.414 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.412 | | σ | 0.112 | | min | 1295.290 | | max | 1295.548 |
| | mean | 1520.000 | | σ | 0.000 | | min | 1520.000 | | max | 1520.000 |
| | mean | 1.889 | | σ | 0.102 | | min | 1.797 | | max | 2.024 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.527 | | σ | 6.856 | | min | 1536.233 | | max | 1551.786 |
| | mean | 1520.000 | | σ | 0.000 | | min | 1520.000 | | max | 1520.000 |
| | mean | 2.290 | | σ | 0.236 | | min | 2.041 | | max | 2.573 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.314 | | σ | 0.064 | | min | 1857.236 | | max | 1857.396 |
| | mean | 1735.000 | | σ | 207.556 | | min | 1520.000 | | max | 2019.000 |
| | mean | 2.894 | | σ | 0.069 | | min | 2.833 | | max | 2.970 |
|