iters=5 new-facts=1 prior-facts=1 | | mean | 423.112 | | σ | 0.076 | | min | 422.979 | | max | 423.154 |
| | mean | 2615.000 | | σ | 0.000 | | min | 2615.000 | | max | 2615.000 |
| | mean | 0.585 | | σ | 0.013 | | min | 0.573 | | max | 0.606 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2122.368 | | σ | 0.054 | | min | 2122.273 | | max | 2122.403 |
| | mean | 2615.000 | | σ | 0.000 | | min | 2615.000 | | max | 2615.000 |
| | mean | 2.980 | | σ | 0.161 | | min | 2.710 | | max | 3.135 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5110.253 | | σ | 7.827 | | min | 5106.318 | | max | 5124.247 |
| | mean | 2615.000 | | σ | 0.000 | | min | 2615.000 | | max | 2615.000 |
| | mean | 9.687 | | σ | 0.152 | | min | 9.456 | | max | 9.823 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5295.534 | | σ | 0.023 | | min | 5295.497 | | max | 5295.555 |
| | mean | 3090.000 | | σ | 403.081 | | min | 2615.000 | | max | 3621.000 |
| | mean | 9.323 | | σ | 0.147 | | min | 9.144 | | max | 9.495 |
|