iters=5 new-facts=1 prior-facts=1 | | mean | 422.731 | | σ | 0.076 | | min | 422.596 | | max | 422.773 |
| | mean | 2597.000 | | σ | 0.000 | | min | 2597.000 | | max | 2597.000 |
| | mean | 0.572 | | σ | 0.004 | | min | 0.569 | | max | 0.579 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2122.009 | | σ | 0.016 | | min | 2121.991 | | max | 2122.031 |
| | mean | 2597.000 | | σ | 0.000 | | min | 2597.000 | | max | 2597.000 |
| | mean | 2.943 | | σ | 0.144 | | min | 2.752 | | max | 3.098 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5109.835 | | σ | 7.489 | | min | 5106.443 | | max | 5123.231 |
| | mean | 2597.000 | | σ | 0.000 | | min | 2597.000 | | max | 2597.000 |
| | mean | 9.507 | | σ | 0.271 | | min | 9.078 | | max | 9.771 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5295.002 | | σ | 0.304 | | min | 5294.462 | | max | 5295.183 |
| | mean | 3044.400 | | σ | 356.867 | | min | 2597.000 | | max | 3518.000 |
| | mean | 9.249 | | σ | 0.282 | | min | 9.017 | | max | 9.571 |
|