iters=5 new-facts=1 prior-facts=1 | | mean | 286.828 | | σ | 0.035 | | min | 286.788 | | max | 286.871 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 0.399 | | σ | 0.009 | | min | 0.390 | | max | 0.411 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.257 | | σ | 0.116 | | min | 1297.095 | | max | 1297.397 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 2.193 | | σ | 0.078 | | min | 2.060 | | max | 2.267 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.430 | | σ | 6.799 | | min | 1538.274 | | max | 1553.590 |
| | mean | 1645.000 | | σ | 0.000 | | min | 1645.000 | | max | 1645.000 |
| | mean | 2.450 | | σ | 0.205 | | min | 2.197 | | max | 2.749 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.114 | | σ | 0.066 | | min | 1859.024 | | max | 1859.192 |
| | mean | 1774.800 | | σ | 120.265 | | min | 1645.000 | | max | 1892.000 |
| | mean | 3.014 | | σ | 0.160 | | min | 2.844 | | max | 3.275 |
|