iters=5 new-facts=1 prior-facts=1 | | mean | 267.614 | | σ | 17.779 | | min | 235.810 | | max | 275.570 |
| | mean | 2769.000 | | σ | 0.000 | | min | 2769.000 | | max | 2769.000 |
| | mean | 0.380 | | σ | 0.031 | | min | 0.326 | | max | 0.399 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.085 | | σ | 0.015 | | min | 2168.067 | | max | 2168.103 |
| | mean | 2769.000 | | σ | 0.000 | | min | 2769.000 | | max | 2769.000 |
| | mean | 2.935 | | σ | 0.097 | | min | 2.810 | | max | 3.053 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.909 | | σ | 0.878 | | min | 5047.334 | | max | 5049.444 |
| | mean | 2769.000 | | σ | 0.000 | | min | 2769.000 | | max | 2769.000 |
| | mean | 8.903 | | σ | 0.507 | | min | 8.196 | | max | 9.405 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.975 | | σ | 0.200 | | min | 5178.651 | | max | 5179.159 |
| | mean | 3302.400 | | σ | 394.037 | | min | 2769.000 | | max | 3674.000 |
| | mean | 9.873 | | σ | 0.212 | | min | 9.534 | | max | 10.106 |
|