iters=5 new-facts=1 prior-facts=1 | | mean | 300.343 | | σ | 0.025 | | min | 300.313 | | max | 300.376 |
| | mean | 1461.000 | | σ | 0.000 | | min | 1461.000 | | max | 1461.000 |
| | mean | 0.394 | | σ | 0.008 | | min | 0.388 | | max | 0.403 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.509 | | σ | 0.105 | | min | 1322.455 | | max | 1322.697 |
| | mean | 1461.000 | | σ | 0.000 | | min | 1461.000 | | max | 1461.000 |
| | mean | 1.899 | | σ | 0.036 | | min | 1.852 | | max | 1.936 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1560.964 | | σ | 6.872 | | min | 1557.665 | | max | 1573.251 |
| | mean | 1461.000 | | σ | 0.000 | | min | 1461.000 | | max | 1461.000 |
| | mean | 2.341 | | σ | 0.198 | | min | 2.154 | | max | 2.678 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.438 | | σ | 0.034 | | min | 1890.420 | | max | 1890.499 |
| | mean | 1739.200 | | σ | 220.788 | | min | 1461.000 | | max | 2013.000 |
| | mean | 2.928 | | σ | 0.032 | | min | 2.896 | | max | 2.973 |
|