iters=5 new-facts=1 prior-facts=1 | | mean | 275.567 | | σ | 0.004 | | min | 275.562 | | max | 275.572 |
| | mean | 2679.000 | | σ | 0.000 | | min | 2679.000 | | max | 2679.000 |
| | mean | 0.394 | | σ | 0.009 | | min | 0.386 | | max | 0.403 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.093 | | σ | 0.019 | | min | 2168.074 | | max | 2168.118 |
| | mean | 2679.000 | | σ | 0.000 | | min | 2679.000 | | max | 2679.000 |
| | mean | 2.995 | | σ | 0.198 | | min | 2.673 | | max | 3.202 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.911 | | σ | 0.911 | | min | 5047.347 | | max | 5049.529 |
| | mean | 2679.000 | | σ | 0.000 | | min | 2679.000 | | max | 2679.000 |
| | mean | 8.746 | | σ | 0.496 | | min | 8.132 | | max | 9.233 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.064 | | σ | 0.083 | | min | 5178.986 | | max | 5179.156 |
| | mean | 3284.400 | | σ | 407.878 | | min | 2684.000 | | max | 3642.000 |
| | mean | 10.179 | | σ | 0.115 | | min | 10.024 | | max | 10.298 |
|