iters=5 new-facts=1 prior-facts=1 | | mean | 285.247 | | σ | 0.043 | | min | 285.190 | | max | 285.296 |
| | mean | 1567.000 | | σ | 0.000 | | min | 1567.000 | | max | 1567.000 |
| | mean | 0.399 | | σ | 0.010 | | min | 0.390 | | max | 0.410 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.195 | | σ | 0.109 | | min | 1295.077 | | max | 1295.328 |
| | mean | 1567.000 | | σ | 0.000 | | min | 1567.000 | | max | 1567.000 |
| | mean | 1.926 | | σ | 0.116 | | min | 1.820 | | max | 2.060 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.445 | | σ | 6.839 | | min | 1536.140 | | max | 1551.674 |
| | mean | 1567.000 | | σ | 0.000 | | min | 1567.000 | | max | 1567.000 |
| | mean | 2.457 | | σ | 0.278 | | min | 1.997 | | max | 2.644 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.113 | | σ | 0.060 | | min | 1857.044 | | max | 1857.189 |
| | mean | 1776.800 | | σ | 211.207 | | min | 1567.000 | | max | 2065.000 |
| | mean | 2.886 | | σ | 0.083 | | min | 2.770 | | max | 2.991 |
|