iters=5 new-facts=1 prior-facts=1 | | mean | 297.311-285.438=11.873 | | σ | 0.012-0.009=0.003 | | min | 297.294-285.425=11.869 | | max | 297.326-285.448=11.879 |
| | mean | 1620.000-1633.000=-13.000 | | σ | 0.000 | | min | 1620.000-1633.000=-13.000 | | max | 1620.000-1633.000=-13.000 |
| | mean | 0.390-0.376=0.014 | | σ | 0.006-0.006=0.000 | | min | 0.383-0.373=0.010 | | max | 0.398-0.387=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1298.694-1285.489=13.205 | | σ | 0.036-0.081=-0.046 | | min | 1298.633-1285.353=13.279 | | max | 1298.725-1285.548=13.177 |
| | mean | 1620.000-1633.000=-13.000 | | σ | 0.000 | | min | 1620.000-1633.000=-13.000 | | max | 1620.000-1633.000=-13.000 |
| | mean | 1.960-1.920=0.040 | | σ | 0.155-0.159=-0.004 | | min | 1.820-1.803=0.016 | | max | 2.162-2.192=-0.030 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1718.876-1705.833=13.043 | | σ | 6.893-6.829=0.064 | | min | 1715.678-1702.652=13.026 | | max | 1731.204-1718.046=13.158 |
| | mean | 1620.000-1633.000=-13.000 | | σ | 0.000 | | min | 1620.000-1633.000=-13.000 | | max | 1620.000-1633.000=-13.000 |
| | mean | 2.841-3.026=-0.185 | | σ | 0.296-0.169=0.127 | | min | 2.511-2.827=-0.316 | | max | 3.321-3.230=0.091 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.589-1968.444=13.146 | | σ | 0.030-0.022=0.008 | | min | 1981.537-1968.427=13.111 | | max | 1981.609-1968.475=13.134 |
| | mean | 1810.600-1904.400=-93.800 | | σ | 208.070-225.186=-17.116 | | min | 1620.000-1633.000=-13.000 | | max | 2113.000-2183.000=-70.000 |
| | mean | 3.349-3.250=0.099 | | σ | 0.396-0.102=0.294 | | min | 3.100-3.166=-0.067 | | max | 4.052-3.367=0.685 |
|