iters=5 new-facts=1 prior-facts=1 | | mean | 286.823 | | σ | 0.036 | | min | 286.777 | | max | 286.861 |
| | mean | 1660.000 | | σ | 0.000 | | min | 1660.000 | | max | 1660.000 |
| | mean | 0.395 | | σ | 0.007 | | min | 0.389 | | max | 0.403 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.256 | | σ | 0.111 | | min | 1297.100 | | max | 1297.396 |
| | mean | 1660.000 | | σ | 0.000 | | min | 1660.000 | | max | 1660.000 |
| | mean | 2.287 | | σ | 0.230 | | min | 2.093 | | max | 2.660 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.348 | | σ | 6.840 | | min | 1538.090 | | max | 1553.580 |
| | mean | 1660.000 | | σ | 0.000 | | min | 1660.000 | | max | 1660.000 |
| | mean | 2.280 | | σ | 0.180 | | min | 2.124 | | max | 2.527 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.112 | | σ | 0.065 | | min | 1859.020 | | max | 1859.186 |
| | mean | 1770.400 | | σ | 120.544 | | min | 1660.000 | | max | 1952.000 |
| | mean | 2.965 | | σ | 0.103 | | min | 2.861 | | max | 3.087 |
|