iters=5 new-facts=1 prior-facts=1 | | mean | 286.822 | | σ | 0.039 | | min | 286.776 | | max | 286.868 |
| | mean | 1615.000 | | σ | 0.000 | | min | 1615.000 | | max | 1615.000 |
| | mean | 0.397 | | σ | 0.007 | | min | 0.390 | | max | 0.405 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.260 | | σ | 0.079 | | min | 1297.162 | | max | 1297.360 |
| | mean | 1615.000 | | σ | 0.000 | | min | 1615.000 | | max | 1615.000 |
| | mean | 2.103 | | σ | 0.093 | | min | 2.006 | | max | 2.237 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.335 | | σ | 6.835 | | min | 1538.037 | | max | 1553.556 |
| | mean | 1615.000 | | σ | 0.000 | | min | 1615.000 | | max | 1615.000 |
| | mean | 2.289 | | σ | 0.247 | | min | 2.077 | | max | 2.673 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.110 | | σ | 0.084 | | min | 1858.979 | | max | 1859.189 |
| | mean | 1769.800 | | σ | 179.228 | | min | 1615.000 | | max | 2022.000 |
| | mean | 2.926 | | σ | 0.103 | | min | 2.814 | | max | 3.086 |
|