iters=5 new-facts=1 prior-facts=1 | | mean | 270.138-270.142=-0.004 | | σ | 0.008-0.007=0.001 | | min | 270.128-270.131=-0.003 | | max | 270.148-270.151=-0.003 |
| | mean | 2814.000-2772.000=42.000 | | σ | 0.000 | | min | 2814.000-2772.000=42.000 | | max | 2814.000-2772.000=42.000 |
| | mean | 0.376-0.378=-0.002 | | σ | 0.003-0.002=0.001 | | min | 0.370-0.374=-0.004 | | max | 0.378-0.380=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.602-1930.600=0.002 | | σ | 0.017-0.020=-0.003 | | min | 1930.577-1930.573=0.004 | | max | 1930.620-1930.624=-0.004 |
| | mean | 2814.000-2772.000=42.000 | | σ | 0.000 | | min | 2814.000-2772.000=42.000 | | max | 2814.000-2772.000=42.000 |
| | mean | 2.534-2.561=-0.027 | | σ | 0.158-0.152=0.006 | | min | 2.379-2.461=-0.082 | | max | 2.783-2.829=-0.046 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.078-4751.316=-0.238 | | σ | 1.159-0.926=0.233 | | min | 4749.743-4750.804=-1.061 | | max | 4752.938-4752.962=-0.024 |
| | mean | 2814.000-2772.000=42.000 | | σ | 0.000 | | min | 2814.000-2772.000=42.000 | | max | 2814.000-2772.000=42.000 |
| | mean | 8.524-8.517=0.007 | | σ | 0.541-0.556=-0.015 | | min | 7.658-7.579=0.080 | | max | 9.018-8.979=0.038 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.774-4941.705=0.069 | | σ | 0.015-0.166=-0.151 | | min | 4941.757-4941.410=0.347 | | max | 4941.791-4941.797=-0.006 |
| | mean | 3002.800-3008.200=-5.400 | | σ | 205.025-219.449=-14.424 | | min | 2814.000-2772.000=42.000 | | max | 3310.000-3305.000=5.000 |
| | mean | 8.418-8.448=-0.030 | | σ | 0.107-0.138=-0.031 | | min | 8.314-8.329=-0.015 | | max | 8.568-8.677=-0.109 |
|