iters=5 new-facts=1 prior-facts=1 | | mean | 277.088 | | σ | 0.012 | | min | 277.078 | | max | 277.109 |
| | mean | 2750.000 | | σ | 0.000 | | min | 2750.000 | | max | 2750.000 |
| | mean | 0.414 | | σ | 0.002 | | min | 0.413 | | max | 0.417 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2169.711 | | σ | 0.019 | | min | 2169.695 | | max | 2169.733 |
| | mean | 2750.000 | | σ | 0.000 | | min | 2750.000 | | max | 2750.000 |
| | mean | 3.103 | | σ | 0.270 | | min | 2.766 | | max | 3.490 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.400 | | σ | 0.969 | | min | 5046.615 | | max | 5049.034 |
| | mean | 2750.000 | | σ | 0.000 | | min | 2750.000 | | max | 2750.000 |
| | mean | 8.839 | | σ | 0.654 | | min | 8.074 | | max | 9.515 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.724 | | σ | 0.205 | | min | 5178.385 | | max | 5178.887 |
| | mean | 3258.600 | | σ | 348.864 | | min | 2750.000 | | max | 3682.000 |
| | mean | 9.146 | | σ | 0.240 | | min | 8.884 | | max | 9.431 |
|