iters=5 new-facts=1 prior-facts=1 | | mean | 286.822 | | σ | 0.033 | | min | 286.777 | | max | 286.854 |
| | mean | 1649.000 | | σ | 0.000 | | min | 1649.000 | | max | 1649.000 |
| | mean | 0.401 | | σ | 0.013 | | min | 0.388 | | max | 0.422 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.272 | | σ | 0.082 | | min | 1297.161 | | max | 1297.376 |
| | mean | 1649.000 | | σ | 0.000 | | min | 1649.000 | | max | 1649.000 |
| | mean | 2.186 | | σ | 0.098 | | min | 2.075 | | max | 2.333 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.353 | | σ | 6.831 | | min | 1538.161 | | max | 1553.570 |
| | mean | 1649.000 | | σ | 0.000 | | min | 1649.000 | | max | 1649.000 |
| | mean | 2.257 | | σ | 0.144 | | min | 2.115 | | max | 2.435 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.117 | | σ | 0.069 | | min | 1859.030 | | max | 1859.189 |
| | mean | 1799.200 | | σ | 157.133 | | min | 1649.000 | | max | 1962.000 |
| | mean | 3.002 | | σ | 0.149 | | min | 2.852 | | max | 3.211 |
|