iters=5 new-facts=1 prior-facts=1 | | mean | 300.701 | | σ | 0.026 | | min | 300.667 | | max | 300.738 |
| | mean | 1518.000 | | σ | 0.000 | | min | 1518.000 | | max | 1518.000 |
| | mean | 0.397 | | σ | 0.008 | | min | 0.389 | | max | 0.406 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.865 | | σ | 0.102 | | min | 1322.809 | | max | 1323.047 |
| | mean | 1518.000 | | σ | 0.000 | | min | 1518.000 | | max | 1518.000 |
| | mean | 1.949 | | σ | 0.131 | | min | 1.833 | | max | 2.173 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.317 | | σ | 6.910 | | min | 1557.993 | | max | 1573.671 |
| | mean | 1518.000 | | σ | 0.000 | | min | 1518.000 | | max | 1518.000 |
| | mean | 2.338 | | σ | 0.321 | | min | 2.084 | | max | 2.892 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.800 | | σ | 0.018 | | min | 1890.787 | | max | 1890.829 |
| | mean | 1750.600 | | σ | 142.207 | | min | 1539.000 | | max | 1933.000 |
| | mean | 2.998 | | σ | 0.122 | | min | 2.887 | | max | 3.164 |
|