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

Speedup statistics for tasks solved by both configurations
==========================================================
Minimum:      0.20
Maximum:    489.46
Median:       1.29
Average:     39.86
Std. dev.:  129.84

Detailed results
================
Task          with SG    without SG       speedup
pfile14        failed          0.41           n/a
pfile15        failed          9.18           n/a
pfile3           0.50          0.10          0.20
pfile7           0.03          0.01          0.33
pfile21          1.71          1.18          0.69
pfile1           0.01          0.01          1.00
pfile2           0.01          0.01          1.00
pfile5         133.15        158.28          1.19
pfile11         25.36         32.74          1.29
pfile13          0.02          0.03          1.50
pfile18          3.16          5.50          1.74
pfile4           0.35          0.67          1.91
pfile16          0.02          0.05          2.50
pfile10          0.74         11.35         15.34
pfile8           0.13         63.63        489.46
pfile9          89.66        failed           n/a
