iters=5 new-facts=1 prior-facts=1 | | mean | 287.356 | | σ | 0.013 | | min | 287.334 | | max | 287.368 |
| | mean | 1636.000 | | σ | 0.000 | | min | 1636.000 | | max | 1636.000 |
| | mean | 0.371 | | σ | 0.004 | | min | 0.369 | | max | 0.377 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1287.324 | | σ | 0.141 | | min | 1287.257 | | max | 1287.577 |
| | mean | 1636.000 | | σ | 0.000 | | min | 1636.000 | | max | 1636.000 |
| | mean | 1.851 | | σ | 0.031 | | min | 1.816 | | max | 1.901 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1809.615 | | σ | 7.016 | | min | 1806.254 | | max | 1822.152 |
| | mean | 1636.000 | | σ | 0.000 | | min | 1636.000 | | max | 1636.000 |
| | mean | 4.002 | | σ | 0.214 | | min | 3.800 | | max | 4.343 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2072.159 | | σ | 0.009 | | min | 2072.151 | | max | 2072.172 |
| | mean | 1861.200 | | σ | 199.754 | | min | 1636.000 | | max | 2090.000 |
| | mean | 4.918 | | σ | 0.097 | | min | 4.853 | | max | 5.089 |
|