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

Speedup statistics for tasks solved by both configurations
==========================================================
Minimum:      1.00
Maximum:    116.53
Median:       2.00
Average:     24.71
Std. dev.:   45.92

Detailed results
================
Task         with SG    without SG       speedup
prob01          0.01          0.01          1.00
prob04          0.14          0.24          1.71
prob02          0.03          0.06          2.00
prob05          1.53          3.49          2.28
prob03          0.43         50.11        116.53
