Summary
=======
11 tasks were only solved by configuration normal-goal.
0 tasks were only solved by configuration monolithic-goal.
8 tasks were solved by both configurations.

Speedup statistics for tasks solved by both configurations
==========================================================
Minimum:      1.00
Maximum:   5505.00
Median:     984.67
Average:   1745.52
Std. dev.: 1993.12

Detailed results
================
Task           normal    monolithic       speedup
pfile1           0.01          0.01          1.00
pfile3           0.01          0.04          4.00
pfile2           0.05          1.14         22.80
pfile5           0.06          3.98         66.33
pfile4           0.02         38.06       1903.00
pfile11          0.01         24.11       2411.00
pfile6           0.01         40.51       4051.00
pfile7           0.01         55.05       5505.00
pfile17        104.43        failed           n/a
pfile18          6.18        failed           n/a
pfile19          6.02        failed           n/a
pfile20          1.52        failed           n/a
pfile12          0.24        failed           n/a
pfile15          0.09        failed           n/a
pfile10          0.05        failed           n/a
pfile14          0.04        failed           n/a
pfile9           0.04        failed           n/a
pfile13          0.01        failed           n/a
pfile8           0.01        failed           n/a
