iters=5 new-facts=1 prior-facts=1 | | mean | 271.369 | | σ | 18.207 | | min | 238.799 | | max | 279.520 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 0.394 | | σ | 0.029 | | min | 0.343 | | max | 0.407 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.437 | | σ | 0.010 | | min | 2178.426 | | max | 2178.451 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 3.365 | | σ | 0.148 | | min | 3.169 | | max | 3.538 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.255 | | σ | 1.099 | | min | 5055.302 | | max | 5058.150 |
| | mean | 2828.000 | | σ | 0.000 | | min | 2828.000 | | max | 2828.000 |
| | mean | 8.752 | | σ | 0.637 | | min | 8.091 | | max | 9.735 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4994.406 | | σ | 445.732 | | min | 4197.056 | | max | 5193.862 |
| | mean | 3207.000 | | σ | 275.548 | | min | 2828.000 | | max | 3563.000 |
| | mean | 8.500 | | σ | 0.539 | | min | 7.551 | | max | 8.899 |
|