Summary
=======
14 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:      3.00
Median:       1.00
Average:      1.50
Std. dev.:    0.87

Detailed results
================
Task           normal    monolithic       speedup
pfile1           0.01          0.01          1.00
pfile2           0.01          0.01          1.00
pfile4           0.01          0.01          1.00
pfile3           0.01          0.03          3.00
pfile18         97.40        failed           n/a
pfile17          2.52        failed           n/a
pfile16          2.48        failed           n/a
pfile13          0.57        failed           n/a
pfile14          0.40        failed           n/a
pfile9           0.21        failed           n/a
pfile10          0.18        failed           n/a
pfile11          0.17        failed           n/a
pfile15          0.11        failed           n/a
pfile8           0.04        failed           n/a
pfile12          0.02        failed           n/a
pfile7           0.02        failed           n/a
pfile5           0.01        failed           n/a
pfile6           0.01        failed           n/a
