iters=5 new-facts=1 prior-facts=1 | | mean | 285.411 | | σ | 0.037 | | min | 285.356 | | max | 285.445 |
| | mean | 1643.000 | | σ | 0.000 | | min | 1643.000 | | max | 1643.000 |
| | mean | 0.399 | | σ | 0.009 | | min | 0.391 | | max | 0.411 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.794 | | σ | 0.106 | | min | 1295.668 | | max | 1295.924 |
| | mean | 1643.000 | | σ | 0.000 | | min | 1643.000 | | max | 1643.000 |
| | mean | 1.885 | | σ | 0.070 | | min | 1.816 | | max | 1.978 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.941 | | σ | 6.907 | | min | 1536.623 | | max | 1552.291 |
| | mean | 1643.000 | | σ | 0.000 | | min | 1643.000 | | max | 1643.000 |
| | mean | 2.366 | | σ | 0.300 | | min | 2.067 | | max | 2.678 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.707 | | σ | 0.052 | | min | 1857.654 | | max | 1857.777 |
| | mean | 1776.000 | | σ | 130.050 | | min | 1643.000 | | max | 1907.000 |
| | mean | 3.021 | | σ | 0.212 | | min | 2.832 | | max | 3.365 |
|