iters=5 new-facts=1 prior-facts=1 | | mean | 288.976 | | σ | 0.040 | | min | 288.923 | | max | 289.019 |
| | mean | 1521.000 | | σ | 0.000 | | min | 1521.000 | | max | 1521.000 |
| | mean | 0.393 | | σ | 0.009 | | min | 0.383 | | max | 0.404 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1299.285 | | σ | 0.123 | | min | 1299.192 | | max | 1299.492 |
| | mean | 1521.000 | | σ | 0.000 | | min | 1521.000 | | max | 1521.000 |
| | mean | 1.904 | | σ | 0.179 | | min | 1.797 | | max | 2.216 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1543.528 | | σ | 6.867 | | min | 1540.267 | | max | 1555.808 |
| | mean | 1521.000 | | σ | 0.000 | | min | 1521.000 | | max | 1521.000 |
| | mean | 2.295 | | σ | 0.174 | | min | 2.107 | | max | 2.548 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1861.282 | | σ | 0.051 | | min | 1861.222 | | max | 1861.337 |
| | mean | 1732.800 | | σ | 219.210 | | min | 1521.000 | | max | 2045.000 |
| | mean | 2.894 | | σ | 0.052 | | min | 2.842 | | max | 2.959 |
|