iters=5 new-facts=1 prior-facts=1 | | mean | 294.412 | | σ | 0.012 | | min | 294.396 | | max | 294.428 |
| | mean | 1668.000 | | σ | 0.000 | | min | 1668.000 | | max | 1668.000 |
| | mean | 0.392 | | σ | 0.010 | | min | 0.382 | | max | 0.405 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.724 | | σ | 0.091 | | min | 1316.565 | | max | 1316.782 |
| | mean | 1668.000 | | σ | 0.000 | | min | 1668.000 | | max | 1668.000 |
| | mean | 1.915 | | σ | 0.062 | | min | 1.832 | | max | 1.984 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1736.939 | | σ | 6.904 | | min | 1733.678 | | max | 1749.283 |
| | mean | 1668.000 | | σ | 0.000 | | min | 1668.000 | | max | 1668.000 |
| | mean | 3.132 | | σ | 0.379 | | min | 2.576 | | max | 3.500 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1999.577 | | σ | 0.061 | | min | 1999.492 | | max | 1999.658 |
| | mean | 1780.600 | | σ | 130.195 | | min | 1668.000 | | max | 1968.000 |
| | mean | 3.178 | | σ | 0.081 | | min | 3.095 | | max | 3.314 |
|