iters=5 new-facts=1 prior-facts=1 | | mean | 324.014 | | σ | 0.055 | | min | 323.918 | | max | 324.049 |
| | mean | 2856.000 | | σ | 0.000 | | min | 2856.000 | | max | 2856.000 |
| | mean | 0.433 | | σ | 0.007 | | min | 0.426 | | max | 0.443 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.585 | | σ | 0.018 | | min | 1984.557 | | max | 1984.604 |
| | mean | 2856.000 | | σ | 0.000 | | min | 2856.000 | | max | 2856.000 |
| | mean | 2.579 | | σ | 0.100 | | min | 2.439 | | max | 2.709 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.130 | | σ | 7.900 | | min | 4804.097 | | max | 4822.251 |
| | mean | 2856.000 | | σ | 0.000 | | min | 2856.000 | | max | 2856.000 |
| | mean | 8.899 | | σ | 0.492 | | min | 8.240 | | max | 9.488 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.804 | | σ | 0.021 | | min | 4995.778 | | max | 4995.825 |
| | mean | 3026.800 | | σ | 180.757 | | min | 2856.000 | | max | 3290.000 |
| | mean | 8.668 | | σ | 0.214 | | min | 8.409 | | max | 8.929 |
|