iters=5 new-facts=1 prior-facts=1 | | mean | 285.394 | | σ | 0.014 | | min | 285.372 | | max | 285.410 |
| | mean | 1652.000 | | σ | 0.000 | | min | 1652.000 | | max | 1652.000 |
| | mean | 0.394 | | σ | 0.007 | | min | 0.382 | | max | 0.399 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.355 | | σ | 0.130 | | min | 1285.285 | | max | 1285.587 |
| | mean | 1652.000 | | σ | 0.000 | | min | 1652.000 | | max | 1652.000 |
| | mean | 1.956 | | σ | 0.132 | | min | 1.845 | | max | 2.175 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.721 | | σ | 7.030 | | min | 1804.383 | | max | 1820.283 |
| | mean | 1652.000 | | σ | 0.000 | | min | 1652.000 | | max | 1652.000 |
| | mean | 4.257 | | σ | 0.113 | | min | 4.135 | | max | 4.438 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.178 | | σ | 0.009 | | min | 2070.165 | | max | 2070.190 |
| | mean | 1845.000 | | σ | 177.121 | | min | 1652.000 | | max | 2080.000 |
| | mean | 4.526 | | σ | 0.059 | | min | 4.446 | | max | 4.586 |
|