iters=5 new-facts=1 prior-facts=1 | | mean | 270.608-270.610=-0.001 | | σ | 0.004-0.006=-0.002 | | min | 270.604-270.603=0.001 | | max | 270.613-270.617=-0.004 |
| | mean | 2772.000-2855.000=-83.000 | | σ | 0.000 | | min | 2772.000-2855.000=-83.000 | | max | 2772.000-2855.000=-83.000 |
| | mean | 0.378-0.381=-0.003 | | σ | 0.001-0.004=-0.003 | | min | 0.377-0.378=-0.001 | | max | 0.378-0.387=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.040-1931.040=-0.000 | | σ | 0.008-0.002=0.006 | | min | 1931.034-1931.038=-0.004 | | max | 1931.053-1931.043=0.010 |
| | mean | 2772.000-2855.000=-83.000 | | σ | 0.000 | | min | 2772.000-2855.000=-83.000 | | max | 2772.000-2855.000=-83.000 |
| | mean | 2.988-3.080=-0.092 | | σ | 0.157-0.115=0.043 | | min | 2.739-2.963=-0.224 | | max | 3.132-3.238=-0.106 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.795-4751.815=-0.020 | | σ | 0.890-0.841=0.050 | | min | 4751.250-4751.213=0.037 | | max | 4753.376-4753.290=0.086 |
| | mean | 2772.000-2855.000=-83.000 | | σ | 0.000 | | min | 2772.000-2855.000=-83.000 | | max | 2772.000-2855.000=-83.000 |
| | mean | 8.527-8.170=0.358 | | σ | 0.397-0.726=-0.328 | | min | 7.975-7.676=0.299 | | max | 9.052-9.307=-0.255 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.095-4942.238=-0.143 | | σ | 0.194-0.015=0.180 | | min | 4941.869-4942.221=-0.352 | | max | 4942.254-4942.254=0.000 |
| | mean | 3045.600-3046.200=-0.600 | | σ | 234.934-267.681=-32.748 | | min | 2772.000-2855.000=-83.000 | | max | 3373.000-3459.000=-86.000 |
| | mean | 8.557-8.573=-0.016 | | σ | 0.164-0.199=-0.035 | | min | 8.387-8.303=0.084 | | max | 8.806-8.751=0.056 |
|