iters=5 new-facts=1 prior-facts=1 | | mean | 285.357 | | σ | 0.037 | | min | 285.311 | | max | 285.397 |
| | mean | 1584.000 | | σ | 0.000 | | min | 1584.000 | | max | 1584.000 |
| | mean | 0.395 | | σ | 0.008 | | min | 0.383 | | max | 0.404 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.715 | | σ | 0.114 | | min | 1295.620 | | max | 1295.906 |
| | mean | 1584.000 | | σ | 0.000 | | min | 1584.000 | | max | 1584.000 |
| | mean | 1.990 | | σ | 0.181 | | min | 1.805 | | max | 2.184 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.949 | | σ | 6.834 | | min | 1536.765 | | max | 1552.173 |
| | mean | 1584.000 | | σ | 0.000 | | min | 1584.000 | | max | 1584.000 |
| | mean | 2.363 | | σ | 0.256 | | min | 2.114 | | max | 2.744 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.656 | | σ | 0.057 | | min | 1857.598 | | max | 1857.735 |
| | mean | 1761.000 | | σ | 140.282 | | min | 1584.000 | | max | 1896.000 |
| | mean | 3.034 | | σ | 0.261 | | min | 2.788 | | max | 3.461 |
|