iters=5 new-facts=1 prior-facts=1 | | mean | 285.409 | | σ | 0.035 | | min | 285.364 | | max | 285.446 |
| | mean | 1617.000 | | σ | 0.000 | | min | 1617.000 | | max | 1617.000 |
| | mean | 0.393 | | σ | 0.010 | | min | 0.382 | | max | 0.404 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.802 | | σ | 0.113 | | min | 1295.678 | | max | 1295.960 |
| | mean | 1617.000 | | σ | 0.000 | | min | 1617.000 | | max | 1617.000 |
| | mean | 1.957 | | σ | 0.129 | | min | 1.832 | | max | 2.171 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.996 | | σ | 6.853 | | min | 1536.638 | | max | 1552.249 |
| | mean | 1617.000 | | σ | 0.000 | | min | 1617.000 | | max | 1617.000 |
| | mean | 2.496 | | σ | 0.317 | | min | 2.048 | | max | 2.749 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.706 | | σ | 0.052 | | min | 1857.648 | | max | 1857.775 |
| | mean | 1770.200 | | σ | 141.148 | | min | 1617.000 | | max | 1914.000 |
| | mean | 3.100 | | σ | 0.315 | | min | 2.864 | | max | 3.645 |
|