iters=5 new-facts=1 prior-facts=1 | | mean | 324.762 | | σ | 0.062 | | min | 324.654 | | max | 324.803 |
| | mean | 2782.000 | | σ | 0.000 | | min | 2782.000 | | max | 2782.000 |
| | mean | 0.436 | | σ | 0.010 | | min | 0.430 | | max | 0.455 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.326 | | σ | 0.011 | | min | 1985.306 | | max | 1985.332 |
| | mean | 2782.000 | | σ | 0.000 | | min | 2782.000 | | max | 2782.000 |
| | mean | 2.637 | | σ | 0.083 | | min | 2.577 | | max | 2.764 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.095 | | σ | 7.676 | | min | 4805.642 | | max | 4822.826 |
| | mean | 2782.000 | | σ | 0.000 | | min | 2782.000 | | max | 2782.000 |
| | mean | 8.900 | | σ | 0.162 | | min | 8.626 | | max | 9.012 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.617 | | σ | 0.037 | | min | 4996.557 | | max | 4996.658 |
| | mean | 3047.200 | | σ | 328.860 | | min | 2782.000 | | max | 3546.000 |
| | mean | 8.505 | | σ | 0.101 | | min | 8.427 | | max | 8.681 |
|