iters=5 new-facts=1 prior-facts=1 | | mean | 278.280 | | σ | 0.006 | | min | 278.274 | | max | 278.288 |
| | mean | 2797.000 | | σ | 0.000 | | min | 2797.000 | | max | 2797.000 |
| | mean | 0.409 | | σ | 0.007 | | min | 0.403 | | max | 0.419 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2175.528 | | σ | 0.011 | | min | 2175.514 | | max | 2175.538 |
| | mean | 2797.000 | | σ | 0.000 | | min | 2797.000 | | max | 2797.000 |
| | mean | 2.916 | | σ | 0.129 | | min | 2.796 | | max | 3.107 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5134.486 | | σ | 1.016 | | min | 5133.724 | | max | 5136.275 |
| | mean | 2797.000 | | σ | 0.000 | | min | 2797.000 | | max | 2797.000 |
| | mean | 9.289 | | σ | 0.271 | | min | 8.965 | | max | 9.587 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5238.301 | | σ | 0.198 | | min | 5237.971 | | max | 5238.463 |
| | mean | 3280.000 | | σ | 454.073 | | min | 2797.000 | | max | 3899.000 |
| | mean | 9.035 | | σ | 0.427 | | min | 8.744 | | max | 9.785 |
|