Summary
=======
10 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:    236.50
Median:       6.00
Average:     62.38
Std. dev.:  100.59

Detailed results
================
Task           normal    monolithic       speedup
pfile1           0.01          0.01          1.00
pfile2           0.01          0.02          2.00
pfile3           0.01          0.10         10.00
pfile4           0.02          4.73        236.50
pfile12         95.82        failed           n/a
pfile13         73.90        failed           n/a
pfile10         54.55        failed           n/a
pfile14         50.06        failed           n/a
pfile8          34.54        failed           n/a
pfile11          3.06        failed           n/a
pfile9           0.94        failed           n/a
pfile5           0.13        failed           n/a
pfile7           0.12        failed           n/a
pfile6           0.03        failed           n/a
