iters=5 new-facts=1 prior-facts=1 | | mean | 286.822 | | σ | 0.039 | | min | 286.775 | | max | 286.863 |
| | mean | 1583.000 | | σ | 0.000 | | min | 1583.000 | | max | 1583.000 |
| | mean | 0.393 | | σ | 0.006 | | min | 0.389 | | max | 0.403 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.179 | | σ | 0.069 | | min | 1297.096 | | max | 1297.275 |
| | mean | 1583.000 | | σ | 0.000 | | min | 1583.000 | | max | 1583.000 |
| | mean | 1.904 | | σ | 0.085 | | min | 1.815 | | max | 2.013 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.333 | | σ | 6.816 | | min | 1538.108 | | max | 1553.522 |
| | mean | 1583.000 | | σ | 0.000 | | min | 1583.000 | | max | 1583.000 |
| | mean | 2.193 | | σ | 0.080 | | min | 2.120 | | max | 2.318 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.123 | | σ | 0.058 | | min | 1859.060 | | max | 1859.189 |
| | mean | 1772.600 | | σ | 174.965 | | min | 1583.000 | | max | 1949.000 |
| | mean | 2.924 | | σ | 0.100 | | min | 2.833 | | max | 3.067 |
|