iters=5 new-facts=1 prior-facts=1 | | mean | 297.585 | | σ | 0.006 | | min | 297.578 | | max | 297.594 |
| | mean | 1527.000 | | σ | 0.000 | | min | 1527.000 | | max | 1527.000 |
| | mean | 0.387 | | σ | 0.001 | | min | 0.386 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1320.573 | | σ | 0.022 | | min | 1320.544 | | max | 1320.592 |
| | mean | 1527.000 | | σ | 0.000 | | min | 1527.000 | | max | 1527.000 |
| | mean | 1.898 | | σ | 0.098 | | min | 1.802 | | max | 2.051 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1740.698 | | σ | 6.921 | | min | 1737.491 | | max | 1753.076 |
| | mean | 1527.000 | | σ | 0.000 | | min | 1527.000 | | max | 1527.000 |
| | mean | 3.238 | | σ | 0.312 | | min | 2.981 | | max | 3.581 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2003.477 | | σ | 0.013 | | min | 2003.462 | | max | 2003.496 |
| | mean | 1851.200 | | σ | 229.724 | | min | 1536.000 | | max | 2116.000 |
| | mean | 3.385 | | σ | 0.132 | | min | 3.235 | | max | 3.519 |
|