iters=5 new-facts=1 prior-facts=1 | | mean | 270.143 | | σ | 0.011 | | min | 270.125 | | max | 270.152 |
| | mean | 2471.000 | | σ | 0.000 | | min | 2471.000 | | max | 2471.000 |
| | mean | 0.377 | | σ | 0.005 | | min | 0.370 | | max | 0.384 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.606 | | σ | 0.015 | | min | 1930.580 | | max | 1930.617 |
| | mean | 2471.000 | | σ | 0.000 | | min | 2471.000 | | max | 2471.000 |
| | mean | 2.635 | | σ | 0.138 | | min | 2.457 | | max | 2.795 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.175 | | σ | 0.663 | | min | 4750.815 | | max | 4752.352 |
| | mean | 2471.000 | | σ | 0.000 | | min | 2471.000 | | max | 2471.000 |
| | mean | 8.469 | | σ | 0.691 | | min | 7.624 | | max | 9.072 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.773 | | σ | 0.018 | | min | 4941.748 | | max | 4941.792 |
| | mean | 3009.800 | | σ | 420.206 | | min | 2471.000 | | max | 3545.000 |
| | mean | 8.770 | | σ | 0.327 | | min | 8.553 | | max | 9.340 |
|