iters=5 new-facts=1 prior-facts=1 | | mean | 285.416-344.929=-59.513 | | σ | 0.012-0.068=-0.056 | | min | 285.398-344.807=-59.409 | | max | 285.430-344.965=-59.535 |
| | mean | 1638.000-2762.000=-1124.000 | | σ | 0.000 | | min | 1638.000-2762.000=-1124.000 | | max | 1638.000-2762.000=-1124.000 |
| | mean | 0.382-0.458=-0.077 | | σ | 0.008-0.011=-0.003 | | min | 0.373-0.444=-0.071 | | max | 0.389-0.470=-0.081 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.359-2007.097=-721.738 | | σ | 0.090-0.010=0.080 | | min | 1285.316-2007.082=-721.766 | | max | 1285.520-2007.105=-721.585 |
| | mean | 1638.000-2762.000=-1124.000 | | σ | 0.000 | | min | 1638.000-2762.000=-1124.000 | | max | 1638.000-2762.000=-1124.000 |
| | mean | 2.061-2.734=-0.673 | | σ | 0.243-0.034=0.209 | | min | 1.860-2.685=-0.825 | | max | 2.400-2.766=-0.366 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.734-4831.981=-3024.247 | | σ | 6.993-7.747=-0.755 | | min | 1804.327-4828.427=-3024.100 | | max | 1820.227-4845.839=-3025.612 |
| | mean | 1638.000-2762.000=-1124.000 | | σ | 0.000 | | min | 1638.000-2762.000=-1124.000 | | max | 1638.000-2762.000=-1124.000 |
| | mean | 4.279-8.459=-4.180 | | σ | 0.336-0.549=-0.213 | | min | 3.783-7.846=-4.062 | | max | 4.680-9.154=-4.474 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.191-5019.496=-2949.304 | | σ | 0.011-0.020=-0.009 | | min | 2070.184-5019.475=-2949.291 | | max | 2070.210-5019.521=-2949.311 |
| | mean | 1860.000-3004.200=-1144.200 | | σ | 196.306-299.670=-103.364 | | min | 1638.000-2762.000=-1124.000 | | max | 2086.000-3448.000=-1362.000 |
| | mean | 4.446-9.387=-4.940 | | σ | 0.120-0.527=-0.407 | | min | 4.252-8.619=-4.367 | | max | 4.565-9.913=-5.348 |
|