iters=5 new-facts=1 prior-facts=1 | | mean | 285.027 | | σ | 0.038 | | min | 284.975 | | max | 285.064 |
| | mean | 1516.000 | | σ | 0.000 | | min | 1516.000 | | max | 1516.000 |
| | mean | 0.394 | | σ | 0.005 | | min | 0.387 | | max | 0.398 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.464 | | σ | 0.033 | | min | 1295.422 | | max | 1295.511 |
| | mean | 1516.000 | | σ | 0.000 | | min | 1516.000 | | max | 1516.000 |
| | mean | 2.146 | | σ | 0.250 | | min | 1.996 | | max | 2.578 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.535 | | σ | 6.823 | | min | 1536.310 | | max | 1551.737 |
| | mean | 1516.000 | | σ | 0.000 | | min | 1516.000 | | max | 1516.000 |
| | mean | 2.263 | | σ | 0.141 | | min | 2.102 | | max | 2.409 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.324 | | σ | 0.064 | | min | 1857.246 | | max | 1857.396 |
| | mean | 1742.800 | | σ | 205.550 | | min | 1516.000 | | max | 2026.000 |
| | mean | 3.130 | | σ | 0.268 | | min | 2.876 | | max | 3.538 |
|