iters=5 new-facts=1 prior-facts=1 | | mean | 324.734 | | σ | 0.056 | | min | 324.635 | | max | 324.770 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 0.429 | | σ | 0.007 | | min | 0.422 | | max | 0.440 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.292 | | σ | 0.019 | | min | 1985.258 | | max | 1985.305 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 2.667 | | σ | 0.131 | | min | 2.516 | | max | 2.844 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.789 | | σ | 7.452 | | min | 4805.427 | | max | 4822.120 |
| | mean | 2843.000 | | σ | 0.000 | | min | 2843.000 | | max | 2843.000 |
| | mean | 8.923 | | σ | 0.113 | | min | 8.774 | | max | 9.088 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.490 | | σ | 0.018 | | min | 4996.473 | | max | 4996.519 |
| | mean | 3066.000 | | σ | 299.803 | | min | 2843.000 | | max | 3533.000 |
| | mean | 8.587 | | σ | 0.122 | | min | 8.524 | | max | 8.805 |
|