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

Speedup statistics for tasks solved by both configurations
==========================================================
Minimum:      1.00
Maximum:      1.95
Median:       1.31
Average:      1.34
Std. dev.:    0.23

Detailed results
================
Task         deferred  not deferred       speedup
pfile1           0.01          0.01          1.00
pfile2           0.01          0.01          1.00
pfile12          0.39          0.42          1.08
pfile5           0.10          0.11          1.10
pfile13          3.35          3.90          1.16
pfile9           0.32          0.38          1.19
pfile7           0.32          0.39          1.22
pfile4           0.08          0.10          1.25
pfile14         27.80         35.88          1.29
pfile6           0.24          0.31          1.29
pfile3           0.03          0.04          1.33
pfile11          3.67          4.90          1.34
pfile8           0.68          0.93          1.37
pfile10          7.20         10.07          1.40
pfile15        103.93        150.74          1.45
pfile16         63.60         94.98          1.49
pfile17         22.07         33.09          1.50
pfile19         26.89         42.80          1.59
pfile18         13.66         23.74          1.74
pfile20         37.82         73.72          1.95
