iters=5 new-facts=1 prior-facts=1 | | mean | 324.586 | | σ | 0.051 | | min | 324.497 | | max | 324.623 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 0.425 | | σ | 0.002 | | min | 0.422 | | max | 0.427 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.134 | | σ | 0.017 | | min | 1985.106 | | max | 1985.153 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 2.596 | | σ | 0.060 | | min | 2.543 | | max | 2.667 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.743 | | σ | 7.670 | | min | 4805.291 | | max | 4822.464 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 8.971 | | σ | 0.161 | | min | 8.831 | | max | 9.189 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.276 | | σ | 0.150 | | min | 4996.010 | | max | 4996.371 |
| | mean | 3051.200 | | σ | 230.641 | | min | 2836.000 | | max | 3392.000 |
| | mean | 8.673 | | σ | 0.204 | | min | 8.477 | | max | 8.973 |
|