iters=5 new-facts=1 prior-facts=1 | | mean | 285.412 | | σ | 0.012 | | min | 285.392 | | max | 285.423 |
| | mean | 1651.000 | | σ | 0.000 | | min | 1651.000 | | max | 1651.000 |
| | mean | 0.374 | | σ | 0.009 | | min | 0.369 | | max | 0.389 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.375 | | σ | 0.133 | | min | 1285.314 | | max | 1285.614 |
| | mean | 1651.000 | | σ | 0.000 | | min | 1651.000 | | max | 1651.000 |
| | mean | 1.891 | | σ | 0.069 | | min | 1.817 | | max | 1.992 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.675 | | σ | 7.014 | | min | 1804.304 | | max | 1820.207 |
| | mean | 1651.000 | | σ | 0.000 | | min | 1651.000 | | max | 1651.000 |
| | mean | 4.072 | | σ | 0.225 | | min | 3.790 | | max | 4.395 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.199 | | σ | 0.014 | | min | 2070.184 | | max | 2070.220 |
| | mean | 1849.400 | | σ | 170.048 | | min | 1651.000 | | max | 2089.000 |
| | mean | 4.476 | | σ | 0.106 | | min | 4.418 | | max | 4.665 |
|