iters=5 new-facts=1 prior-facts=1 | | mean | 281.491 | | σ | 0.040 | | min | 281.444 | | max | 281.532 |
| | mean | 1631.000 | | σ | 0.000 | | min | 1631.000 | | max | 1631.000 |
| | mean | 0.389 | | σ | 0.007 | | min | 0.380 | | max | 0.397 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1291.482 | | σ | 0.102 | | min | 1291.366 | | max | 1291.603 |
| | mean | 1631.000 | | σ | 0.000 | | min | 1631.000 | | max | 1631.000 |
| | mean | 1.883 | | σ | 0.105 | | min | 1.794 | | max | 2.038 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1534.320 | | σ | 4.009 | | min | 1532.297 | | max | 1541.483 |
| | mean | 1631.000 | | σ | 0.000 | | min | 1631.000 | | max | 1631.000 |
| | mean | 2.277 | | σ | 0.193 | | min | 2.073 | | max | 2.469 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1853.347 | | σ | 0.055 | | min | 1853.301 | | max | 1853.427 |
| | mean | 1785.800 | | σ | 180.209 | | min | 1631.000 | | max | 2043.000 |
| | mean | 2.829 | | σ | 0.072 | | min | 2.704 | | max | 2.882 |
|