iters=5 new-facts=1 prior-facts=1 | | mean | 278.696 | | σ | 0.014 | | min | 278.684 | | max | 278.719 |
| | mean | 2611.000 | | σ | 0.000 | | min | 2611.000 | | max | 2611.000 |
| | mean | 0.426 | | σ | 0.013 | | min | 0.416 | | max | 0.442 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.873 | | σ | 0.005 | | min | 2268.868 | | max | 2268.881 |
| | mean | 2611.000 | | σ | 0.000 | | min | 2611.000 | | max | 2611.000 |
| | mean | 2.948 | | σ | 0.117 | | min | 2.864 | | max | 3.151 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.363 | | σ | 0.992 | | min | 4951.723 | | max | 4954.125 |
| | mean | 2611.000 | | σ | 0.000 | | min | 2611.000 | | max | 2611.000 |
| | mean | 8.342 | | σ | 0.677 | | min | 7.810 | | max | 9.527 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.074 | | σ | 0.014 | | min | 5167.066 | | max | 5167.099 |
| | mean | 3422.800 | | σ | 454.531 | | min | 2809.000 | | max | 3992.000 |
| | mean | 9.234 | | σ | 0.255 | | min | 8.985 | | max | 9.615 |
|