iters=5 new-facts=1 prior-facts=1 | | mean | 285.678 | | σ | 0.010 | | min | 285.666 | | max | 285.689 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 0.376 | | σ | 0.002 | | min | 0.374 | | max | 0.378 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.621 | | σ | 0.096 | | min | 1285.573 | | max | 1285.792 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 1.921 | | σ | 0.134 | | min | 1.812 | | max | 2.149 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.989 | | σ | 7.012 | | min | 1804.608 | | max | 1820.517 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 4.266 | | σ | 0.247 | | min | 3.954 | | max | 4.580 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.466 | | σ | 0.011 | | min | 2070.457 | | max | 2070.486 |
| | mean | 1838.200 | | σ | 174.996 | | min | 1637.000 | | max | 2074.000 |
| | mean | 4.511 | | σ | 0.042 | | min | 4.476 | | max | 4.570 |
|