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

Speedup statistics for tasks solved by both configurations
==========================================================
Minimum:      1.00
Maximum:     81.07
Median:      14.17
Average:     27.60
Std. dev.:   32.43

Detailed results
================
Task           normal    monolithic       speedup
pfile1           0.01          0.01          1.00
pfile3          52.64        122.84          2.33
pfile2           0.01          0.26         26.00
pfile7           2.33        188.90         81.07
pfile19        234.35        failed           n/a
pfile16        188.87        failed           n/a
pfile8          97.86        failed           n/a
pfile21          3.93        failed           n/a
pfile4           1.46        failed           n/a
pfile10          1.18        failed           n/a
pfile13          0.02        failed           n/a
