Summary
=======
1 task was only solved by configuration normal-goal.
0 tasks were only solved by configuration monolithic-goal.
20 tasks were solved by both configurations.

Speedup statistics for tasks solved by both configurations
==========================================================
Minimum:      0.50
Maximum:    162.71
Median:       2.00
Average:     18.17
Std. dev.:   42.62

Detailed results
================
Task          normal    monolithic       speedup
prob11          0.02          0.01          0.50
prob12         82.07         72.63          0.88
prob01          0.01          0.01          1.00
prob25          0.01          0.01          1.00
prob28          0.01          0.01          1.00
prob29          0.01          0.01          1.00
prob07          0.33          0.55          1.67
prob26          0.28          0.47          1.68
prob03          0.01          0.02          2.00
prob27          0.01          0.02          2.00
prob31          0.02          0.04          2.00
prob32          0.06          0.13          2.17
prob35          0.05          0.11          2.20
prob34          0.02          0.07          3.50
prob15         23.05         84.93          3.68
prob19          1.70          7.46          4.39
prob17          0.06          0.60         10.00
prob02          0.14          5.37         38.36
prob09          0.03          3.65        121.67
prob30          0.48         78.10        162.71
prob20        123.36        failed           n/a
