iters=5 new-facts=1 prior-facts=1 | | mean | 285.388 | | σ | 0.007 | | min | 285.378 | | max | 285.395 |
| | mean | 1642.000 | | σ | 0.000 | | min | 1642.000 | | max | 1642.000 |
| | mean | 0.384 | | σ | 0.011 | | min | 0.376 | | max | 0.399 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.355 | | σ | 0.137 | | min | 1285.288 | | max | 1285.600 |
| | mean | 1642.000 | | σ | 0.000 | | min | 1642.000 | | max | 1642.000 |
| | mean | 1.857 | | σ | 0.036 | | min | 1.810 | | max | 1.894 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.665 | | σ | 7.036 | | min | 1804.294 | | max | 1820.237 |
| | mean | 1642.000 | | σ | 0.000 | | min | 1642.000 | | max | 1642.000 |
| | mean | 4.100 | | σ | 0.223 | | min | 3.911 | | max | 4.481 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.178 | | σ | 0.009 | | min | 2070.170 | | max | 2070.193 |
| | mean | 1843.400 | | σ | 189.351 | | min | 1642.000 | | max | 2085.000 |
| | mean | 4.530 | | σ | 0.057 | | min | 4.465 | | max | 4.612 |
|