iters=5 new-facts=1 prior-facts=1 | | mean | 285.410 | | σ | 0.041 | | min | 285.360 | | max | 285.452 |
| | mean | 1660.000 | | σ | 0.000 | | min | 1660.000 | | max | 1660.000 |
| | mean | 0.388 | | σ | 0.007 | | min | 0.383 | | max | 0.396 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.799 | | σ | 0.118 | | min | 1295.667 | | max | 1295.937 |
| | mean | 1660.000 | | σ | 0.000 | | min | 1660.000 | | max | 1660.000 |
| | mean | 1.954 | | σ | 0.086 | | min | 1.850 | | max | 2.079 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1538.664 | | σ | 3.978 | | min | 1536.639 | | max | 1545.769 |
| | mean | 1660.000 | | σ | 0.000 | | min | 1660.000 | | max | 1660.000 |
| | mean | 2.314 | | σ | 0.211 | | min | 2.039 | | max | 2.623 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.695 | | σ | 0.051 | | min | 1857.645 | | max | 1857.774 |
| | mean | 1774.400 | | σ | 123.832 | | min | 1660.000 | | max | 1905.000 |
| | mean | 2.978 | | σ | 0.093 | | min | 2.905 | | max | 3.141 |
|