iters=5 new-facts=1 prior-facts=1 | | mean | 324.707 | | σ | 0.058 | | min | 324.604 | | max | 324.741 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 0.433 | | σ | 0.011 | | min | 0.423 | | max | 0.448 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.270 | | σ | 0.013 | | min | 1985.250 | | max | 1985.282 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 2.685 | | σ | 0.169 | | min | 2.468 | | max | 2.890 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.937 | | σ | 7.784 | | min | 4804.924 | | max | 4822.850 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 8.910 | | σ | 0.414 | | min | 8.212 | | max | 9.308 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.485 | | σ | 0.148 | | min | 4996.229 | | max | 4996.584 |
| | mean | 3071.600 | | σ | 309.249 | | min | 2836.000 | | max | 3550.000 |
| | mean | 8.659 | | σ | 0.211 | | min | 8.431 | | max | 8.896 |
|