iters=5 new-facts=1 prior-facts=1 | | mean | 271.954-271.951=0.003 | | σ | 0.009-0.004=0.006 | | min | 271.940-271.947=-0.007 | | max | 271.964-271.955=0.009 |
| | mean | 2713.000-2702.000=11.000 | | σ | 0.000 | | min | 2713.000-2702.000=11.000 | | max | 2713.000-2702.000=11.000 |
| | mean | 0.386-0.380=0.006 | | σ | 0.007-0.002=0.006 | | min | 0.381-0.378=0.002 | | max | 0.398-0.382=0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.337-1932.320=0.017 | | σ | 0.017-0.007=0.010 | | min | 1932.317-1932.310=0.007 | | max | 1932.360-1932.328=0.032 |
| | mean | 2713.000-2702.000=11.000 | | σ | 0.000 | | min | 2713.000-2702.000=11.000 | | max | 2713.000-2702.000=11.000 |
| | mean | 2.936-2.968=-0.032 | | σ | 0.216-0.097=0.119 | | min | 2.576-2.822=-0.246 | | max | 3.155-3.045=0.110 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.995-4752.888=0.107 | | σ | 1.018-1.167=-0.149 | | min | 4751.979-4751.445=0.533 | | max | 4754.699-4754.696=0.002 |
| | mean | 2713.000-2702.000=11.000 | | σ | 0.000 | | min | 2713.000-2702.000=11.000 | | max | 2713.000-2702.000=11.000 |
| | mean | 8.513-8.463=0.049 | | σ | 0.630-0.603=0.026 | | min | 7.631-7.666=-0.035 | | max | 9.185-9.073=0.113 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.490-4943.491=-0.001 | | σ | 0.152-0.159=-0.007 | | min | 4943.220-4943.208=0.012 | | max | 4943.573-4943.577=-0.004 |
| | mean | 3030.000-3036.000=-6.000 | | σ | 279.412-262.704=16.708 | | min | 2713.000-2702.000=11.000 | | max | 3413.000-3348.000=65.000 |
| | mean | 8.570-8.576=-0.006 | | σ | 0.109-0.105=0.004 | | min | 8.430-8.458=-0.029 | | max | 8.665-8.703=-0.038 |
|