iters=5 new-facts=1 prior-facts=1 | | mean | 297.580 | | σ | 0.011 | | min | 297.561 | | max | 297.591 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 0.387 | | σ | 0.001 | | min | 0.386 | | max | 0.388 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1320.529 | | σ | 0.087 | | min | 1320.377 | | max | 1320.591 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 2.005 | | σ | 0.165 | | min | 1.830 | | max | 2.221 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1740.719 | | σ | 6.890 | | min | 1737.527 | | max | 1753.041 |
| | mean | 1637.000 | | σ | 0.000 | | min | 1637.000 | | max | 1637.000 |
| | mean | 3.111 | | σ | 0.168 | | min | 2.897 | | max | 3.344 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2003.485 | | σ | 0.013 | | min | 2003.468 | | max | 2003.499 |
| | mean | 1878.400 | | σ | 188.588 | | min | 1637.000 | | max | 2080.000 |
| | mean | 3.274 | | σ | 0.060 | | min | 3.227 | | max | 3.372 |
|