iters=5 new-facts=1 prior-facts=1 | | mean | 277.088-278.700=-1.613 | | σ | 0.012-0.009=0.004 | | min | 277.078-278.691=-1.613 | | max | 277.109-278.711=-1.602 |
| | mean | 2750.000-2886.000=-136.000 | | σ | 0.000 | | min | 2750.000-2886.000=-136.000 | | max | 2750.000-2886.000=-136.000 |
| | mean | 0.414-0.420=-0.006 | | σ | 0.002-0.006=-0.004 | | min | 0.413-0.413=-0.000 | | max | 0.417-0.429=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2169.711-2268.871=-99.160 | | σ | 0.019-0.005=0.014 | | min | 2169.695-2268.867=-99.172 | | max | 2169.733-2268.879=-99.146 |
| | mean | 2750.000-2886.000=-136.000 | | σ | 0.000 | | min | 2750.000-2886.000=-136.000 | | max | 2750.000-2886.000=-136.000 |
| | mean | 3.103-2.939=0.164 | | σ | 0.270-0.105=0.165 | | min | 2.766-2.872=-0.105 | | max | 3.490-3.125=0.365 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.400-4952.268=95.131 | | σ | 0.969-0.498=0.471 | | min | 5046.615-4952.018=94.597 | | max | 5049.034-4953.159=95.875 |
| | mean | 2750.000-2886.000=-136.000 | | σ | 0.000 | | min | 2750.000-2886.000=-136.000 | | max | 2750.000-2886.000=-136.000 |
| | mean | 8.839-7.704=1.135 | | σ | 0.654-0.076=0.579 | | min | 8.074-7.634=0.439 | | max | 9.515-7.825=1.690 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.724-5167.005=11.719 | | σ | 0.205-0.156=0.049 | | min | 5178.385-5166.726=11.658 | | max | 5178.887-5167.085=11.802 |
| | mean | 3258.600-3409.800=-151.200 | | σ | 348.864-426.478=-77.614 | | min | 2750.000-2886.000=-136.000 | | max | 3682.000-3981.000=-299.000 |
| | mean | 9.146-9.225=-0.079 | | σ | 0.240-0.241=-0.002 | | min | 8.884-9.010=-0.126 | | max | 9.431-9.608=-0.177 |
|