iters=5 new-facts=1 prior-facts=1 | | mean | 277.711 | | σ | 0.010 | | min | 277.697 | | max | 277.723 |
| | mean | 2654.000 | | σ | 0.000 | | min | 2654.000 | | max | 2654.000 |
| | mean | 0.409 | | σ | 0.002 | | min | 0.408 | | max | 0.411 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.876 | | σ | 0.024 | | min | 2267.847 | | max | 2267.902 |
| | mean | 2654.000 | | σ | 0.000 | | min | 2654.000 | | max | 2654.000 |
| | mean | 3.159 | | σ | 0.152 | | min | 2.943 | | max | 3.318 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.064 | | σ | 0.820 | | min | 4954.563 | | max | 4956.522 |
| | mean | 2654.000 | | σ | 0.000 | | min | 2654.000 | | max | 2654.000 |
| | mean | 7.906 | | σ | 0.256 | | min | 7.651 | | max | 8.230 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.713 | | σ | 0.154 | | min | 5169.475 | | max | 5169.870 |
| | mean | 3351.600 | | σ | 425.034 | | min | 2929.000 | | max | 3779.000 |
| | mean | 9.317 | | σ | 0.306 | | min | 8.930 | | max | 9.685 |
|