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

Speedup statistics for tasks solved by both configurations
==========================================================
Minimum:      1.00
Maximum:     12.90
Median:       4.50
Average:      5.10
Std. dev.:    4.09

Detailed results
================
Task         deferred  not deferred       speedup
pfile1           0.01          0.01          1.00
pfile12          0.01          0.01          1.00
pfile2           0.01          0.01          1.00
pfile3           0.01          0.01          1.00
pfile4           0.01          0.01          1.00
pfile5           0.01          0.01          1.00
pfile7           0.01          0.01          1.00
pfile6           0.01          0.02          2.00
pfile8           0.01          0.02          2.00
pfile14          0.01          0.04          4.00
pfile11          0.01          0.05          5.00
pfile9           0.01          0.05          5.00
pfile15          0.01          0.06          6.00
pfile16          0.01          0.08          8.00
pfile10          0.01          0.09          9.00
pfile13          0.01          0.09          9.00
pfile19          0.06          0.58          9.67
pfile18          0.03          0.31         10.33
pfile17          0.02          0.24         12.00
pfile20          0.10          1.29         12.90
