iters=5 new-facts=1 prior-facts=1 | | mean | 285.409 | | σ | 0.010 | | min | 285.396 | | max | 285.420 |
| | mean | 1643.000 | | σ | 0.000 | | min | 1643.000 | | max | 1643.000 |
| | mean | 0.380 | | σ | 0.008 | | min | 0.371 | | max | 0.389 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.366 | | σ | 0.121 | | min | 1285.310 | | max | 1285.583 |
| | mean | 1643.000 | | σ | 0.000 | | min | 1643.000 | | max | 1643.000 |
| | mean | 1.976 | | σ | 0.120 | | min | 1.830 | | max | 2.140 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.741 | | σ | 6.999 | | min | 1804.380 | | max | 1820.244 |
| | mean | 1643.000 | | σ | 0.000 | | min | 1643.000 | | max | 1643.000 |
| | mean | 4.266 | | σ | 0.181 | | min | 4.082 | | max | 4.489 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.201 | | σ | 0.009 | | min | 2070.195 | | max | 2070.216 |
| | mean | 1864.200 | | σ | 198.291 | | min | 1643.000 | | max | 2091.000 |
| | mean | 4.501 | | σ | 0.061 | | min | 4.435 | | max | 4.586 |
|