iters=5 new-facts=1 prior-facts=1 | | mean | 275.754 | | σ | 0.010 | | min | 275.743 | | max | 275.765 |
| | mean | 2513.000 | | σ | 0.000 | | min | 2513.000 | | max | 2513.000 |
| | mean | 0.392 | | σ | 0.006 | | min | 0.387 | | max | 0.400 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.271 | | σ | 0.011 | | min | 2168.258 | | max | 2168.285 |
| | mean | 2513.000 | | σ | 0.000 | | min | 2513.000 | | max | 2513.000 |
| | mean | 2.858 | | σ | 0.097 | | min | 2.773 | | max | 2.971 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.110 | | σ | 0.958 | | min | 5047.533 | | max | 5049.814 |
| | mean | 2513.000 | | σ | 0.000 | | min | 2513.000 | | max | 2513.000 |
| | mean | 8.847 | | σ | 0.561 | | min | 8.007 | | max | 9.468 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.237 | | σ | 0.091 | | min | 5179.158 | | max | 5179.345 |
| | mean | 3268.400 | | σ | 508.844 | | min | 2647.000 | | max | 3955.000 |
| | mean | 10.027 | | σ | 0.110 | | min | 9.932 | | max | 10.178 |
|