iters=5 new-facts=1 prior-facts=1 | | mean | 295.146 | | σ | 0.011 | | min | 295.134 | | max | 295.164 |
| | mean | 3744.000 | | σ | 0.000 | | min | 3744.000 | | max | 3744.000 |
| | mean | 0.416 | | σ | 0.011 | | min | 0.404 | | max | 0.430 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2981.963 | | σ | 0.010 | | min | 2981.954 | | max | 2981.977 |
| | mean | 3744.000 | | σ | 0.000 | | min | 3744.000 | | max | 3744.000 |
| | mean | 3.870 | | σ | 0.122 | | min | 3.742 | | max | 4.027 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5802.644 | | σ | 0.799 | | min | 5802.174 | | max | 5804.068 |
| | mean | 3744.000 | | σ | 0.000 | | min | 3744.000 | | max | 3744.000 |
| | mean | 9.571 | | σ | 0.496 | | min | 8.913 | | max | 10.291 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 6011.217 | | σ | 0.172 | | min | 6010.919 | | max | 6011.349 |
| | mean | 3744.000 | | σ | 0.000 | | min | 3744.000 | | max | 3744.000 |
| | mean | 9.675 | | σ | 0.608 | | min | 8.996 | | max | 10.608 |
|