iters=5 new-facts=1 prior-facts=1 | | mean | 303.783-303.790=-0.007 | | σ | 0.061-0.059=0.002 | | min | 303.683-303.694=-0.012 | | max | 303.837-303.848=-0.011 |
| | mean | 1512.000-1631.000=-119.000 | | σ | 0.000 | | min | 1512.000-1631.000=-119.000 | | max | 1512.000-1631.000=-119.000 |
| | mean | 0.395-0.398=-0.003 | | σ | 0.009-0.007=0.002 | | min | 0.389-0.392=-0.003 | | max | 0.410-0.408=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.329-1326.319=0.010 | | σ | 0.102-0.117=-0.015 | | min | 1326.196-1326.193=0.004 | | max | 1326.451-1326.478=-0.026 |
| | mean | 1512.000-1631.000=-119.000 | | σ | 0.000 | | min | 1512.000-1631.000=-119.000 | | max | 1512.000-1631.000=-119.000 |
| | mean | 1.922-1.967=-0.046 | | σ | 0.099-0.125=-0.026 | | min | 1.840-1.835=0.005 | | max | 2.077-2.144=-0.066 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.447-1564.395=0.052 | | σ | 6.913-6.933=-0.020 | | min | 1561.133-1561.041=0.092 | | max | 1576.809-1576.791=0.019 |
| | mean | 1512.000-1631.000=-119.000 | | σ | 0.000 | | min | 1512.000-1631.000=-119.000 | | max | 1512.000-1631.000=-119.000 |
| | mean | 2.498-2.381=0.117 | | σ | 0.356-0.306=0.050 | | min | 2.053-2.034=0.019 | | max | 2.915-2.784=0.131 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.278-1894.288=-0.010 | | σ | 0.065-0.071=-0.006 | | min | 1894.166-1894.162=0.003 | | max | 1894.327-1894.328=-0.001 |
| | mean | 1736.000-1778.400=-42.400 | | σ | 216.930-119.937=96.993 | | min | 1512.000-1631.000=-119.000 | | max | 2042.000-1962.000=80.000 |
| | mean | 2.927-2.988=-0.061 | | σ | 0.108-0.138=-0.030 | | min | 2.855-2.870=-0.016 | | max | 3.118-3.209=-0.090 |
|