iters=5 new-facts=1 prior-facts=1 | | mean | 324.763 | | σ | 0.054 | | min | 324.667 | | max | 324.794 |
| | mean | 2726.000 | | σ | 0.000 | | min | 2726.000 | | max | 2726.000 |
| | mean | 0.428 | | σ | 0.009 | | min | 0.423 | | max | 0.443 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.313 | | σ | 0.018 | | min | 1985.292 | | max | 1985.332 |
| | mean | 2726.000 | | σ | 0.000 | | min | 2726.000 | | max | 2726.000 |
| | mean | 2.673 | | σ | 0.096 | | min | 2.554 | | max | 2.750 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.938 | | σ | 7.824 | | min | 4805.000 | | max | 4822.917 |
| | mean | 2726.000 | | σ | 0.000 | | min | 2726.000 | | max | 2726.000 |
| | mean | 8.751 | | σ | 0.790 | | min | 7.774 | | max | 9.361 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.628 | | σ | 0.024 | | min | 4996.601 | | max | 4996.656 |
| | mean | 3020.800 | | σ | 346.327 | | min | 2726.000 | | max | 3533.000 |
| | mean | 8.528 | | σ | 0.094 | | min | 8.422 | | max | 8.668 |
|