iters=5 new-facts=1 prior-facts=1 | | mean | 277.196 | | σ | 0.007 | | min | 277.188 | | max | 277.203 |
| | mean | 2608.000 | | σ | 0.000 | | min | 2608.000 | | max | 2608.000 |
| | mean | 0.407 | | σ | 0.008 | | min | 0.400 | | max | 0.421 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.432 | | σ | 0.006 | | min | 2174.428 | | max | 2174.443 |
| | mean | 2608.000 | | σ | 0.000 | | min | 2608.000 | | max | 2608.000 |
| | mean | 2.994 | | σ | 0.147 | | min | 2.810 | | max | 3.179 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.639 | | σ | 0.995 | | min | 5052.004 | | max | 5054.403 |
| | mean | 2608.000 | | σ | 0.000 | | min | 2608.000 | | max | 2608.000 |
| | mean | 8.661 | | σ | 0.715 | | min | 8.007 | | max | 9.702 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.289 | | σ | 0.206 | | min | 5188.006 | | max | 5188.532 |
| | mean | 3223.000 | | σ | 384.888 | | min | 2684.000 | | max | 3704.000 |
| | mean | 9.105 | | σ | 0.414 | | min | 8.695 | | max | 9.649 |
|