iters=5 new-facts=1 prior-facts=1 | | mean | 284.699 | | σ | 0.040 | | min | 284.644 | | max | 284.743 |
| | mean | 1513.000 | | σ | 0.000 | | min | 1513.000 | | max | 1513.000 |
| | mean | 0.399 | | σ | 0.008 | | min | 0.389 | | max | 0.407 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.075 | | σ | 0.103 | | min | 1294.958 | | max | 1295.208 |
| | mean | 1513.000 | | σ | 0.000 | | min | 1513.000 | | max | 1513.000 |
| | mean | 1.920 | | σ | 0.100 | | min | 1.796 | | max | 2.036 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.191 | | σ | 6.863 | | min | 1535.903 | | max | 1551.462 |
| | mean | 1513.000 | | σ | 0.000 | | min | 1513.000 | | max | 1513.000 |
| | mean | 2.283 | | σ | 0.273 | | min | 2.032 | | max | 2.612 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1856.986 | | σ | 0.054 | | min | 1856.935 | | max | 1857.063 |
| | mean | 1747.200 | | σ | 167.853 | | min | 1513.000 | | max | 1902.000 |
| | mean | 3.052 | | σ | 0.240 | | min | 2.847 | | max | 3.462 |
|