iters=5 new-facts=1 prior-facts=1 | | mean | 285.409 | | σ | 0.034 | | min | 285.362 | | max | 285.448 |
| | mean | 1649.000 | | σ | 0.000 | | min | 1649.000 | | max | 1649.000 |
| | mean | 0.394 | | σ | 0.011 | | min | 0.386 | | max | 0.411 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.807 | | σ | 0.122 | | min | 1295.678 | | max | 1295.972 |
| | mean | 1649.000 | | σ | 0.000 | | min | 1649.000 | | max | 1649.000 |
| | mean | 1.897 | | σ | 0.089 | | min | 1.803 | | max | 1.998 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.917 | | σ | 6.868 | | min | 1536.663 | | max | 1552.201 |
| | mean | 1649.000 | | σ | 0.000 | | min | 1649.000 | | max | 1649.000 |
| | mean | 2.199 | | σ | 0.152 | | min | 2.066 | | max | 2.414 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.711 | | σ | 0.048 | | min | 1857.663 | | max | 1857.777 |
| | mean | 1768.400 | | σ | 121.679 | | min | 1649.000 | | max | 1895.000 |
| | mean | 3.114 | | σ | 0.340 | | min | 2.832 | | max | 3.705 |
|