iters=5 new-facts=1 prior-facts=1 | | mean | 284.702 | | σ | 0.028 | | min | 284.673 | | max | 284.737 |
| | mean | 1641.000 | | σ | 0.000 | | min | 1641.000 | | max | 1641.000 |
| | mean | 0.395 | | σ | 0.009 | | min | 0.385 | | max | 0.407 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.079 | | σ | 0.103 | | min | 1294.962 | | max | 1295.202 |
| | mean | 1641.000 | | σ | 0.000 | | min | 1641.000 | | max | 1641.000 |
| | mean | 1.900 | | σ | 0.086 | | min | 1.801 | | max | 1.978 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.223 | | σ | 6.875 | | min | 1535.964 | | max | 1551.520 |
| | mean | 1641.000 | | σ | 0.000 | | min | 1641.000 | | max | 1641.000 |
| | mean | 2.152 | | σ | 0.139 | | min | 2.050 | | max | 2.395 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1856.982 | | σ | 0.061 | | min | 1856.916 | | max | 1857.062 |
| | mean | 1766.800 | | σ | 123.777 | | min | 1641.000 | | max | 1896.000 |
| | mean | 3.026 | | σ | 0.263 | | min | 2.795 | | max | 3.456 |
|