iters=5 new-facts=1 prior-facts=1 | | mean | 285.414 | | σ | 0.010 | | min | 285.397 | | max | 285.422 |
| | mean | 1636.000 | | σ | 0.000 | | min | 1636.000 | | max | 1636.000 |
| | mean | 0.384 | | σ | 0.009 | | min | 0.376 | | max | 0.396 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.378 | | σ | 0.140 | | min | 1285.307 | | max | 1285.627 |
| | mean | 1636.000 | | σ | 0.000 | | min | 1636.000 | | max | 1636.000 |
| | mean | 1.948 | | σ | 0.123 | | min | 1.831 | | max | 2.146 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.715 | | σ | 7.025 | | min | 1804.312 | | max | 1820.265 |
| | mean | 1636.000 | | σ | 0.000 | | min | 1636.000 | | max | 1636.000 |
| | mean | 4.168 | | σ | 0.247 | | min | 3.816 | | max | 4.420 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.198 | | σ | 0.006 | | min | 2070.194 | | max | 2070.208 |
| | mean | 1835.800 | | σ | 174.150 | | min | 1636.000 | | max | 2071.000 |
| | mean | 4.521 | | σ | 0.034 | | min | 4.482 | | max | 4.559 |
|