iters=5 new-facts=1 prior-facts=1 | | mean | 285.389 | | σ | 0.012 | | min | 285.370 | | max | 285.399 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 0.377 | | σ | 0.009 | | min | 0.370 | | max | 0.387 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.353 | | σ | 0.136 | | min | 1285.288 | | max | 1285.597 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 1.942 | | σ | 0.152 | | min | 1.823 | | max | 2.170 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.707 | | σ | 7.037 | | min | 1804.329 | | max | 1820.280 |
| | mean | 1632.000 | | σ | 0.000 | | min | 1632.000 | | max | 1632.000 |
| | mean | 4.288 | | σ | 0.275 | | min | 4.047 | | max | 4.719 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.181 | | σ | 0.009 | | min | 2070.173 | | max | 2070.196 |
| | mean | 1834.600 | | σ | 174.630 | | min | 1632.000 | | max | 2069.000 |
| | mean | 4.573 | | σ | 0.075 | | min | 4.494 | | max | 4.697 |
|