iters=5 new-facts=1 prior-facts=1 | | mean | 324.581 | | σ | 0.058 | | min | 324.480 | | max | 324.618 |
| | mean | 2838.000 | | σ | 0.000 | | min | 2838.000 | | max | 2838.000 |
| | mean | 0.429 | | σ | 0.009 | | min | 0.422 | | max | 0.444 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.140 | | σ | 0.007 | | min | 1985.132 | | max | 1985.149 |
| | mean | 2838.000 | | σ | 0.000 | | min | 2838.000 | | max | 2838.000 |
| | mean | 2.600 | | σ | 0.047 | | min | 2.561 | | max | 2.659 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.762 | | σ | 7.727 | | min | 4805.217 | | max | 4822.585 |
| | mean | 2838.000 | | σ | 0.000 | | min | 2838.000 | | max | 2838.000 |
| | mean | 8.944 | | σ | 0.353 | | min | 8.485 | | max | 9.399 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.345 | | σ | 0.018 | | min | 4996.324 | | max | 4996.370 |
| | mean | 3058.400 | | σ | 210.215 | | min | 2838.000 | | max | 3368.000 |
| | mean | 8.815 | | σ | 0.236 | | min | 8.556 | | max | 9.055 |
|