iters=5 new-facts=1 prior-facts=1 | | mean | 285.032 | | σ | 0.034 | | min | 284.988 | | max | 285.068 |
| | mean | 1516.000 | | σ | 0.000 | | min | 1516.000 | | max | 1516.000 |
| | mean | 0.402 | | σ | 0.014 | | min | 0.386 | | max | 0.424 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.376 | | σ | 0.092 | | min | 1295.296 | | max | 1295.524 |
| | mean | 1516.000 | | σ | 0.000 | | min | 1516.000 | | max | 1516.000 |
| | mean | 1.941 | | σ | 0.214 | | min | 1.788 | | max | 2.284 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.580 | | σ | 6.789 | | min | 1536.421 | | max | 1551.723 |
| | mean | 1516.000 | | σ | 0.000 | | min | 1516.000 | | max | 1516.000 |
| | mean | 2.295 | | σ | 0.248 | | min | 2.110 | | max | 2.711 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.328 | | σ | 0.051 | | min | 1857.280 | | max | 1857.397 |
| | mean | 1734.400 | | σ | 212.133 | | min | 1516.000 | | max | 2026.000 |
| | mean | 2.834 | | σ | 0.102 | | min | 2.711 | | max | 2.941 |
|