iters=5 new-facts=1 prior-facts=1 | | mean | 285.392 | | σ | 0.013 | | min | 285.371 | | max | 285.405 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 0.381 | | σ | 0.007 | | min | 0.376 | | max | 0.389 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.349 | | σ | 0.117 | | min | 1285.294 | | max | 1285.559 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 1.880 | | σ | 0.085 | | min | 1.804 | | max | 2.023 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.689 | | σ | 7.011 | | min | 1804.330 | | max | 1820.215 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 4.195 | | σ | 0.212 | | min | 3.844 | | max | 4.379 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.178 | | σ | 0.010 | | min | 2070.166 | | max | 2070.194 |
| | mean | 1851.000 | | σ | 176.187 | | min | 1637.000 | | max | 2095.000 |
| | mean | 4.503 | | σ | 0.044 | | min | 4.453 | | max | 4.552 |
|