Summary
=======
0 tasks were only solved by configuration normal-m+p.
0 tasks were only solved by configuration without-sg-m+p.
20 tasks were solved by both configurations.

Speedup statistics for tasks solved by both configurations
==========================================================
Minimum:      0.67
Maximum:      2.00
Median:       1.00
Average:      1.12
Std. dev.:    0.38

Detailed results
================
Task         with SG    without SG       speedup
prob19          0.03          0.02          0.67
prob20          0.03          0.02          0.67
prob01          0.01          0.01          1.00
prob02          0.01          0.01          1.00
prob03          0.01          0.01          1.00
prob04          0.01          0.01          1.00
prob05          0.01          0.01          1.00
prob06          0.01          0.01          1.00
prob07          0.01          0.01          1.00
prob08          0.01          0.01          1.00
prob09          0.01          0.01          1.00
prob10          0.01          0.01          1.00
prob11          0.01          0.01          1.00
prob12          0.01          0.01          1.00
prob13          0.01          0.01          1.00
prob16          0.02          0.02          1.00
prob18          0.02          0.02          1.00
prob14          0.01          0.02          2.00
prob15          0.01          0.02          2.00
prob17          0.01          0.02          2.00
