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

Speedup statistics for tasks solved by both configurations
==========================================================
Minimum:    294.50
Maximum:    475.00
Median:     384.75
Average:    384.75
Std. dev.:   90.25

Detailed results
================
Task          normal    monolithic       speedup
prob32          0.02          5.89        294.50
prob31          0.01          4.75        475.00
prob34         51.71        failed           n/a
prob11         15.14        failed           n/a
prob02         14.67        failed           n/a
prob35          7.98        failed           n/a
prob01          0.25        failed           n/a
prob05          0.11        failed           n/a
prob33          0.08        failed           n/a
