iters=5 new-facts=1 prior-facts=1 | | mean | 275.758 | | σ | 0.011 | | min | 275.744 | | max | 275.772 |
| | mean | 2619.000 | | σ | 0.000 | | min | 2619.000 | | max | 2619.000 |
| | mean | 0.404 | | σ | 0.012 | | min | 0.395 | | max | 0.419 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.271 | | σ | 0.019 | | min | 2168.248 | | max | 2168.290 |
| | mean | 2619.000 | | σ | 0.000 | | min | 2619.000 | | max | 2619.000 |
| | mean | 2.924 | | σ | 0.121 | | min | 2.780 | | max | 3.087 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.123 | | σ | 0.909 | | min | 5047.544 | | max | 5049.740 |
| | mean | 2619.000 | | σ | 0.000 | | min | 2619.000 | | max | 2619.000 |
| | mean | 8.733 | | σ | 0.564 | | min | 8.052 | | max | 9.345 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.172 | | σ | 0.210 | | min | 5178.816 | | max | 5179.341 |
| | mean | 3265.800 | | σ | 375.143 | | min | 2734.000 | | max | 3717.000 |
| | mean | 9.998 | | σ | 0.206 | | min | 9.663 | | max | 10.176 |
|