iters=5 new-facts=1 prior-facts=1 | | mean | 300.704 | | σ | 0.018 | | min | 300.682 | | max | 300.730 |
| | mean | 1627.000 | | σ | 0.000 | | min | 1627.000 | | max | 1627.000 |
| | mean | 0.397 | | σ | 0.006 | | min | 0.388 | | max | 0.402 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.860 | | σ | 0.101 | | min | 1322.809 | | max | 1323.040 |
| | mean | 1627.000 | | σ | 0.000 | | min | 1627.000 | | max | 1627.000 |
| | mean | 1.889 | | σ | 0.081 | | min | 1.802 | | max | 1.990 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.293 | | σ | 6.891 | | min | 1557.977 | | max | 1573.613 |
| | mean | 1627.000 | | σ | 0.000 | | min | 1627.000 | | max | 1627.000 |
| | mean | 2.253 | | σ | 0.258 | | min | 2.071 | | max | 2.688 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.792 | | σ | 0.012 | | min | 1890.778 | | max | 1890.807 |
| | mean | 1766.800 | | σ | 170.333 | | min | 1627.000 | | max | 2029.000 |
| | mean | 2.873 | | σ | 0.095 | | min | 2.729 | | max | 2.994 |
|