Summary
=======
1 task was only solved by configuration normal-m+p.
3 tasks were only solved by configuration not-deferred-m+p.
13 tasks were solved by both configurations.

Speedup statistics for tasks solved by both configurations
==========================================================
Minimum:      1.00
Maximum:     30.00
Median:       6.64
Average:     10.19
Std. dev.:    8.67

Detailed results
================
Task         deferred  not deferred       speedup
pfile17        failed          2.15           n/a
pfile14        failed          2.97           n/a
pfile15        failed        198.96           n/a
pfile1           0.01          0.01          1.00
pfile2           0.01          0.02          2.00
pfile9          89.66        205.86          2.30
pfile11         25.36         89.12          3.51
pfile7           0.03          0.17          5.67
pfile8           0.13          0.85          6.54
pfile3           0.50          3.32          6.64
pfile4           0.35          3.47          9.91
pfile18          3.16         32.56         10.30
pfile13          0.02          0.24         12.00
pfile10          0.74         12.97         17.53
pfile21          1.71         42.93         25.11
pfile16          0.02          0.60         30.00
pfile5         133.15        failed           n/a
