Summary
=======
1 task was only solved by configuration normal-m+p.
0 tasks were only solved by configuration without-sg-m+p.
29 tasks were solved by both configurations.

Speedup statistics for tasks solved by both configurations
==========================================================
Minimum:      0.50
Maximum:      2.00
Median:       1.00
Average:      1.05
Std. dev.:    0.26

Detailed results
================
Task         with SG    without SG       speedup
prob30          0.02          0.01          0.50
prob14          0.77          0.42          0.55
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
prob07          0.01          0.01          1.00
prob08          0.01          0.01          1.00
prob09          0.01          0.01          1.00
prob11          0.01          0.01          1.00
prob12          0.01          0.01          1.00
prob16          0.01          0.01          1.00
prob18          0.01          0.01          1.00
prob19          0.02          0.02          1.00
prob21          0.01          0.01          1.00
prob22          0.01          0.01          1.00
prob23          0.01          0.01          1.00
prob24          0.01          0.01          1.00
prob25          0.01          0.01          1.00
prob26          0.01          0.01          1.00
prob27          0.01          0.01          1.00
prob28          0.01          0.01          1.00
prob29          0.01          0.01          1.00
prob13         39.93         49.54          1.24
prob10         17.08         21.40          1.25
prob15          0.07          0.10          1.43
prob20          0.76          1.20          1.58
prob17          0.02          0.04          2.00
prob06          7.83        failed           n/a
