iters=5 new-facts=1 prior-facts=1 | | mean | 285.393 | | σ | 0.011 | | min | 285.375 | | max | 285.404 |
| | mean | 1634.000 | | σ | 0.000 | | min | 1634.000 | | max | 1634.000 |
| | mean | 0.369 | | σ | 0.010 | | min | 0.354 | | max | 0.383 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.354 | | σ | 0.135 | | min | 1285.289 | | max | 1285.594 |
| | mean | 1634.000 | | σ | 0.000 | | min | 1634.000 | | max | 1634.000 |
| | mean | 1.872 | | σ | 0.067 | | min | 1.822 | | max | 1.984 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.664 | | σ | 7.000 | | min | 1804.314 | | max | 1820.171 |
| | mean | 1634.000 | | σ | 0.000 | | min | 1634.000 | | max | 1634.000 |
| | mean | 4.128 | | σ | 0.165 | | min | 3.935 | | max | 4.377 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.175 | | σ | 0.010 | | min | 2070.167 | | max | 2070.191 |
| | mean | 1844.800 | | σ | 192.020 | | min | 1634.000 | | max | 2089.000 |
| | mean | 4.461 | | σ | 0.044 | | min | 4.415 | | max | 4.520 |
|