iters=5 new-facts=1 prior-facts=1 | | mean | 394.177 | | σ | 0.087 | | min | 394.026 | | max | 394.249 |
| | mean | 1626.000 | | σ | 0.000 | | min | 1626.000 | | max | 1626.000 |
| | mean | 0.486 | | σ | 0.008 | | min | 0.479 | | max | 0.500 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1395.762 | | σ | 0.035 | | min | 1395.733 | | max | 1395.813 |
| | mean | 1626.000 | | σ | 0.000 | | min | 1626.000 | | max | 1626.000 |
| | mean | 2.141 | | σ | 0.158 | | min | 1.910 | | max | 2.276 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1917.942 | | σ | 7.131 | | min | 1914.623 | | max | 1930.692 |
| | mean | 1626.000 | | σ | 0.000 | | min | 1626.000 | | max | 1626.000 |
| | mean | 4.501 | | σ | 0.222 | | min | 4.301 | | max | 4.780 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2180.564 | | σ | 0.017 | | min | 2180.551 | | max | 2180.593 |
| | mean | 1825.400 | | σ | 184.115 | | min | 1626.000 | | max | 2085.000 |
| | mean | 4.640 | | σ | 0.045 | | min | 4.590 | | max | 4.710 |
|