iters=5 new-facts=1 prior-facts=1 | | mean | 294.654 | | σ | 0.020 | | min | 294.623 | | max | 294.678 |
| | mean | 1436.000 | | σ | 0.000 | | min | 1436.000 | | max | 1436.000 |
| | mean | 0.387 | | σ | 0.005 | | min | 0.383 | | max | 0.395 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.940 | | σ | 0.105 | | min | 1316.885 | | max | 1317.128 |
| | mean | 1436.000 | | σ | 0.000 | | min | 1436.000 | | max | 1436.000 |
| | mean | 1.954 | | σ | 0.083 | | min | 1.856 | | max | 2.072 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.283 | | σ | 6.879 | | min | 1551.958 | | max | 1567.583 |
| | mean | 1436.000 | | σ | 0.000 | | min | 1436.000 | | max | 1436.000 |
| | mean | 2.256 | | σ | 0.276 | | min | 2.041 | | max | 2.739 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.768 | | σ | 0.027 | | min | 1884.742 | | max | 1884.813 |
| | mean | 1726.200 | | σ | 240.983 | | min | 1436.000 | | max | 2051.000 |
| | mean | 2.954 | | σ | 0.088 | | min | 2.899 | | max | 3.110 |
|