iters=5 new-facts=1 prior-facts=1 | | mean | 285.677 | | σ | 0.016 | | min | 285.653 | | max | 285.690 |
| | mean | 1624.000 | | σ | 0.000 | | min | 1624.000 | | max | 1624.000 |
| | mean | 0.371 | | σ | 0.001 | | min | 0.370 | | max | 0.371 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.642 | | σ | 0.135 | | min | 1285.575 | | max | 1285.883 |
| | mean | 1624.000 | | σ | 0.000 | | min | 1624.000 | | max | 1624.000 |
| | mean | 1.878 | | σ | 0.069 | | min | 1.805 | | max | 1.987 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.962 | | σ | 7.004 | | min | 1804.624 | | max | 1820.476 |
| | mean | 1624.000 | | σ | 0.000 | | min | 1624.000 | | max | 1624.000 |
| | mean | 4.159 | | σ | 0.162 | | min | 3.977 | | max | 4.400 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.461 | | σ | 0.010 | | min | 2070.452 | | max | 2070.478 |
| | mean | 1854.200 | | σ | 211.995 | | min | 1624.000 | | max | 2093.000 |
| | mean | 4.473 | | σ | 0.090 | | min | 4.401 | | max | 4.629 |
|