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
p01-pfile1           0.01          0.01          1.00
p02-pfile2           0.01          0.02          2.00
p03-pfile3           0.01          0.10         10.00
p04-pfile4           0.02          4.73        236.50
p12-pfile12         95.82        failed           n/a
p13-pfile13         73.90        failed           n/a
p10-pfile10         54.55        failed           n/a
p14-pfile14         50.06        failed           n/a
p08-pfile8          34.54        failed           n/a
p11-pfile11          3.06        failed           n/a
p09-pfile9           0.94        failed           n/a
p05-pfile5           0.13        failed           n/a
p07-pfile7           0.12        failed           n/a
p06-pfile6           0.03        failed           n/a
