iters=5 new-facts=1 prior-facts=1 | | mean | 286.822 | | σ | 0.041 | | min | 286.765 | | max | 286.865 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 0.396 | | σ | 0.011 | | min | 0.387 | | max | 0.413 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.271 | | σ | 0.096 | | min | 1297.157 | | max | 1297.411 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 2.285 | | σ | 0.081 | | min | 2.154 | | max | 2.359 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1540.117 | | σ | 3.983 | | min | 1538.179 | | max | 1547.237 |
| | mean | 1647.000 | | σ | 0.000 | | min | 1647.000 | | max | 1647.000 |
| | mean | 2.349 | | σ | 0.091 | | min | 2.237 | | max | 2.440 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.123 | | σ | 0.064 | | min | 1859.037 | | max | 1859.201 |
| | mean | 1782.000 | | σ | 114.728 | | min | 1647.000 | | max | 1957.000 |
| | mean | 2.983 | | σ | 0.179 | | min | 2.833 | | max | 3.258 |
|