iters=5 new-facts=1 prior-facts=1 | | mean | 277.193 | | σ | 0.008 | | min | 277.183 | | max | 277.201 |
| | mean | 2602.000 | | σ | 0.000 | | min | 2602.000 | | max | 2602.000 |
| | mean | 0.395 | | σ | 0.009 | | min | 0.390 | | max | 0.412 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.443 | | σ | 0.028 | | min | 2174.415 | | max | 2174.476 |
| | mean | 2602.000 | | σ | 0.000 | | min | 2602.000 | | max | 2602.000 |
| | mean | 3.002 | | σ | 0.140 | | min | 2.772 | | max | 3.102 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.478 | | σ | 1.048 | | min | 5051.854 | | max | 5054.342 |
| | mean | 2602.000 | | σ | 0.000 | | min | 2602.000 | | max | 2602.000 |
| | mean | 8.810 | | σ | 0.574 | | min | 8.132 | | max | 9.427 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.358 | | σ | 0.121 | | min | 5188.177 | | max | 5188.516 |
| | mean | 3221.600 | | σ | 381.666 | | min | 2685.000 | | max | 3698.000 |
| | mean | 8.964 | | σ | 0.404 | | min | 8.725 | | max | 9.679 |
|