iters=5 new-facts=1 prior-facts=1 | | mean | 287.359 | | σ | 0.014 | | min | 287.339 | | max | 287.373 |
| | mean | 1600.000 | | σ | 0.000 | | min | 1600.000 | | max | 1600.000 |
| | mean | 0.373 | | σ | 0.004 | | min | 0.370 | | max | 0.379 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1287.321 | | σ | 0.136 | | min | 1287.256 | | max | 1287.564 |
| | mean | 1600.000 | | σ | 0.000 | | min | 1600.000 | | max | 1600.000 |
| | mean | 1.854 | | σ | 0.035 | | min | 1.808 | | max | 1.886 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1809.698 | | σ | 6.988 | | min | 1806.327 | | max | 1822.180 |
| | mean | 1600.000 | | σ | 0.000 | | min | 1600.000 | | max | 1600.000 |
| | mean | 4.293 | | σ | 0.203 | | min | 4.102 | | max | 4.582 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2072.161 | | σ | 0.008 | | min | 2072.154 | | max | 2072.174 |
| | mean | 1863.800 | | σ | 212.296 | | min | 1600.000 | | max | 2097.000 |
| | mean | 4.894 | | σ | 0.172 | | min | 4.644 | | max | 5.120 |
|