iters=5 new-facts=1 prior-facts=1 | | mean | 294.682-294.682=-0.000 | | σ | 0.016-0.014=0.002 | | min | 294.660-294.667=-0.007 | | max | 294.704-294.704=-0.001 |
| | mean | 1625.000-1644.000=-19.000 | | σ | 0.000 | | min | 1625.000-1644.000=-19.000 | | max | 1625.000-1644.000=-19.000 |
| | mean | 0.390-0.380=0.010 | | σ | 0.009-0.006=0.003 | | min | 0.381-0.374=0.007 | | max | 0.403-0.388=0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.953-1316.937=0.016 | | σ | 0.104-0.088=0.016 | | min | 1316.895-1316.884=0.011 | | max | 1317.137-1317.094=0.043 |
| | mean | 1625.000-1644.000=-19.000 | | σ | 0.000 | | min | 1625.000-1644.000=-19.000 | | max | 1625.000-1644.000=-19.000 |
| | mean | 1.974-1.919=0.055 | | σ | 0.146-0.066=0.079 | | min | 1.873-1.837=0.035 | | max | 2.228-1.976=0.252 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.308-1555.304=0.004 | | σ | 6.864-6.847=0.017 | | min | 1552.005-1552.015=-0.010 | | max | 1567.580-1567.547=0.033 |
| | mean | 1625.000-1644.000=-19.000 | | σ | 0.000 | | min | 1625.000-1644.000=-19.000 | | max | 1625.000-1644.000=-19.000 |
| | mean | 2.342-2.341=0.001 | | σ | 0.204-0.260=-0.056 | | min | 2.151-2.078=0.073 | | max | 2.687-2.631=0.057 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.789-1884.782=0.007 | | σ | 0.033-0.040=-0.007 | | min | 1884.766-1884.742=0.024 | | max | 1884.847-1884.848=-0.001 |
| | mean | 1795.200-1781.200=14.000 | | σ | 151.164-187.901=-36.736 | | min | 1625.000-1644.000=-19.000 | | max | 1946.000-2079.000=-133.000 |
| | mean | 3.193-2.971=0.222 | | σ | 0.385-0.098=0.287 | | min | 2.905-2.880=0.025 | | max | 3.863-3.096=0.767 |
|