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

Speedup statistics for tasks solved by both configurations
==========================================================
Minimum:      2.00
Maximum:     10.10
Median:       5.29
Average:      5.82
Std. dev.:    2.63

Detailed results
================
Task        deferred  not deferred       speedup
prob01          0.01          0.02          2.00
prob03          0.43          2.17          5.05
prob04          0.14          0.74          5.29
prob02          0.03          0.20          6.67
prob05          1.53         15.46         10.10
