iters=5 new-facts=1 prior-facts=1 | | mean | 300.694 | | σ | 0.033 | | min | 300.644 | | max | 300.731 |
| | mean | 1515.000 | | σ | 0.000 | | min | 1515.000 | | max | 1515.000 |
| | mean | 0.396 | | σ | 0.007 | | min | 0.386 | | max | 0.403 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.862 | | σ | 0.100 | | min | 1322.815 | | max | 1323.042 |
| | mean | 1515.000 | | σ | 0.000 | | min | 1515.000 | | max | 1515.000 |
| | mean | 1.886 | | σ | 0.064 | | min | 1.828 | | max | 1.976 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.305 | | σ | 6.916 | | min | 1557.985 | | max | 1573.670 |
| | mean | 1515.000 | | σ | 0.000 | | min | 1515.000 | | max | 1515.000 |
| | mean | 2.299 | | σ | 0.324 | | min | 2.052 | | max | 2.825 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.791 | | σ | 0.016 | | min | 1890.774 | | max | 1890.815 |
| | mean | 1734.000 | | σ | 214.177 | | min | 1515.000 | | max | 2037.000 |
| | mean | 2.839 | | σ | 0.062 | | min | 2.731 | | max | 2.887 |
|