iters=5 new-facts=1 prior-facts=1 | | mean | 262.302 | | σ | 0.008 | | min | 262.288 | | max | 262.308 |
| | mean | 1586.000 | | σ | 0.000 | | min | 1586.000 | | max | 1586.000 |
| | mean | 0.352 | | σ | 0.009 | | min | 0.347 | | max | 0.369 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1262.379 | | σ | 0.131 | | min | 1262.309 | | max | 1262.613 |
| | mean | 1586.000 | | σ | 0.000 | | min | 1586.000 | | max | 1586.000 |
| | mean | 1.853 | | σ | 0.073 | | min | 1.777 | | max | 1.966 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1784.641 | | σ | 7.004 | | min | 1781.281 | | max | 1797.153 |
| | mean | 1586.000 | | σ | 0.000 | | min | 1586.000 | | max | 1586.000 |
| | mean | 4.211 | | σ | 0.164 | | min | 4.058 | | max | 4.418 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2047.096 | | σ | 0.014 | | min | 2047.086 | | max | 2047.119 |
| | mean | 1829.800 | | σ | 200.494 | | min | 1586.000 | | max | 2077.000 |
| | mean | 4.525 | | σ | 0.191 | | min | 4.393 | | max | 4.860 |
|