iters=5 new-facts=1 prior-facts=1 | | mean | 303.792 | | σ | 0.044 | | min | 303.728 | | max | 303.845 |
| | mean | 1520.000 | | σ | 0.000 | | min | 1520.000 | | max | 1520.000 |
| | mean | 0.391 | | σ | 0.001 | | min | 0.389 | | max | 0.393 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.327 | | σ | 0.113 | | min | 1326.183 | | max | 1326.464 |
| | mean | 1520.000 | | σ | 0.000 | | min | 1520.000 | | max | 1520.000 |
| | mean | 1.935 | | σ | 0.108 | | min | 1.823 | | max | 2.040 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.413 | | σ | 6.863 | | min | 1561.133 | | max | 1576.685 |
| | mean | 1520.000 | | σ | 0.000 | | min | 1520.000 | | max | 1520.000 |
| | mean | 2.318 | | σ | 0.192 | | min | 2.032 | | max | 2.474 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.283 | | σ | 0.071 | | min | 1894.160 | | max | 1894.338 |
| | mean | 1773.600 | | σ | 221.330 | | min | 1520.000 | | max | 2062.000 |
| | mean | 3.048 | | σ | 0.137 | | min | 2.862 | | max | 3.199 |
|