iters=5 new-facts=1 prior-facts=1 | | mean | 303.784-303.767=0.017 | | σ | 0.052-0.084=-0.032 | | min | 303.706-303.631=0.075 | | max | 303.841-303.847=-0.006 |
| | mean | 1636.000-1637.000=-1.000 | | σ | 0.000 | | min | 1636.000-1637.000=-1.000 | | max | 1636.000-1637.000=-1.000 |
| | mean | 0.395-0.398=-0.003 | | σ | 0.007-0.011=-0.004 | | min | 0.392-0.389=0.003 | | max | 0.408-0.412=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.338-1326.326=0.012 | | σ | 0.108-0.103=0.004 | | min | 1326.195-1326.198=-0.003 | | max | 1326.484-1326.447=0.037 |
| | mean | 1636.000-1637.000=-1.000 | | σ | 0.000 | | min | 1636.000-1637.000=-1.000 | | max | 1636.000-1637.000=-1.000 |
| | mean | 2.014-1.957=0.057 | | σ | 0.274-0.135=0.139 | | min | 1.860-1.820=0.040 | | max | 2.500-2.149=0.351 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.403-1564.392=0.010 | | σ | 6.865-6.920=-0.055 | | min | 1561.091-1561.102=-0.011 | | max | 1576.677-1576.766=-0.089 |
| | mean | 1636.000-1637.000=-1.000 | | σ | 0.000 | | min | 1636.000-1637.000=-1.000 | | max | 1636.000-1637.000=-1.000 |
| | mean | 2.347-2.319=0.029 | | σ | 0.202-0.289=-0.087 | | min | 2.134-2.058=0.075 | | max | 2.568-2.637=-0.069 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.276-1894.278=-0.002 | | σ | 0.065-0.062=0.003 | | min | 1894.162-1894.170=-0.009 | | max | 1894.318-1894.316=0.002 |
| | mean | 1786.600-1773.200=13.400 | | σ | 159.481-169.861=-10.379 | | min | 1636.000-1637.000=-1.000 | | max | 1953.000-2042.000=-89.000 |
| | mean | 3.099-2.911=0.189 | | σ | 0.172-0.106=0.065 | | min | 2.882-2.850=0.032 | | max | 3.293-3.098=0.194 |
|