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

Speedup statistics for tasks solved by both configurations
==========================================================
Minimum:      1.00
Maximum:   10466.50
Median:       9.00
Average:   1384.50
Std. dev.: 2935.63

Detailed results
================
Task         normal    monolithic       speedup
s1-0           0.01          0.01          1.00
s1-1           0.01          0.01          1.00
s1-2           0.01          0.01          1.00
s1-3           0.01          0.01          1.00
s1-4           0.01          0.01          1.00
s2-0           0.01          0.01          1.00
s2-1           0.01          0.01          1.00
s2-2           0.01          0.01          1.00
s2-3           0.01          0.01          1.00
s2-4           0.01          0.01          1.00
s3-0           0.01          0.01          1.00
s3-1           0.01          0.01          1.00
s3-2           0.01          0.01          1.00
s3-3           0.01          0.01          1.00
s3-4           0.01          0.01          1.00
s4-0           0.01          0.01          1.00
s4-1           0.01          0.01          1.00
s4-3           0.01          0.01          1.00
s4-2           0.01          0.02          2.00
s4-4           0.01          0.02          2.00
s5-0           0.01          0.06          6.00
s5-2           0.01          0.06          6.00
s5-3           0.01          0.09          9.00
s5-4           0.01          0.09          9.00
s5-1           0.01          0.11         11.00
s6-2           0.01          0.58         58.00
s6-0           0.01          0.60         60.00
s6-1           0.01          0.62         62.00
s6-3           0.01          0.71         71.00
s6-4           0.01          0.74         74.00
s7-3           0.01          4.06        406.00
s7-1           0.01          4.11        411.00
s7-0           0.01          4.14        414.00
s7-2           0.01          4.27        427.00
s7-4           0.01          4.95        495.00
s8-2           0.02         24.77       1238.50
s8-4           0.01         28.53       2853.00
s8-0           0.01         28.87       2887.00
s8-1           0.01         29.99       2999.00
s8-3           0.01         32.21       3221.00
s9-4           0.02        172.25       8612.50
s9-1           0.02        177.77       8888.50
s9-2           0.02        181.29       9064.50
s9-0           0.02        190.62       9531.00
s9-3           0.02        209.33      10466.50
s30-1          3.79        failed           n/a
s30-3          3.76        failed           n/a
s30-0          3.74        failed           n/a
s30-4          3.72        failed           n/a
s30-2          3.70        failed           n/a
s29-4          3.18        failed           n/a
s29-1          3.15        failed           n/a
s29-2          3.15        failed           n/a
s29-3          3.15        failed           n/a
s29-0          3.14        failed           n/a
s28-1          2.68        failed           n/a
s28-3          2.68        failed           n/a
s28-0          2.66        failed           n/a
s28-2          2.66        failed           n/a
s28-4          2.66        failed           n/a
s27-4          2.30        failed           n/a
s27-2          2.29        failed           n/a
s27-0          2.28        failed           n/a
s27-1          2.25        failed           n/a
s27-3          2.24        failed           n/a
s26-3          1.91        failed           n/a
s26-0          1.90        failed           n/a
s26-4          1.90        failed           n/a
s26-1          1.89        failed           n/a
s26-2          1.89        failed           n/a
s25-0          1.66        failed           n/a
s25-3          1.66        failed           n/a
s25-4          1.66        failed           n/a
s25-1          1.57        failed           n/a
s25-2          1.55        failed           n/a
s24-0          1.27        failed           n/a
s24-1          1.27        failed           n/a
s24-2          1.27        failed           n/a
s24-4          1.27        failed           n/a
s24-3          1.26        failed           n/a
s23-3          1.08        failed           n/a
s23-0          1.07        failed           n/a
s23-1          1.07        failed           n/a
s23-2          1.06        failed           n/a
s23-4          1.06        failed           n/a
s22-0          0.88        failed           n/a
s22-2          0.88        failed           n/a
s22-1          0.87        failed           n/a
s22-3          0.87        failed           n/a
s22-4          0.87        failed           n/a
s21-0          0.71        failed           n/a
s21-1          0.71        failed           n/a
s21-2          0.70        failed           n/a
s21-3          0.70        failed           n/a
s21-4          0.70        failed           n/a
s20-1          0.58        failed           n/a
s20-0          0.57        failed           n/a
s20-3          0.57        failed           n/a
s20-4          0.57        failed           n/a
s20-2          0.56        failed           n/a
s19-1          0.48        failed           n/a
s19-0          0.47        failed           n/a
s19-3          0.46        failed           n/a
s19-4          0.46        failed           n/a
s19-2          0.45        failed           n/a
s18-0          0.37        failed           n/a
s18-2          0.37        failed           n/a
s18-1          0.36        failed           n/a
s18-4          0.36        failed           n/a
s18-3          0.35        failed           n/a
s17-3          0.29        failed           n/a
s17-0          0.28        failed           n/a
s17-2          0.28        failed           n/a
s17-4          0.28        failed           n/a
s17-1          0.27        failed           n/a
s16-1          0.23        failed           n/a
s16-0          0.22        failed           n/a
s16-2          0.22        failed           n/a
s16-4          0.22        failed           n/a
s16-3          0.21        failed           n/a
s15-2          0.17        failed           n/a
s15-0          0.16        failed           n/a
s15-3          0.16        failed           n/a
s15-4          0.16        failed           n/a
s15-1          0.15        failed           n/a
s14-0          0.13        failed           n/a
s14-2          0.13        failed           n/a
s14-4          0.13        failed           n/a
s14-1          0.12        failed           n/a
s14-3          0.12        failed           n/a
s13-0          0.09        failed           n/a
s13-2          0.09        failed           n/a
s13-4          0.09        failed           n/a
s13-1          0.08        failed           n/a
s13-3          0.08        failed           n/a
s12-3          0.07        failed           n/a
s12-0          0.06        failed           n/a
s12-2          0.06        failed           n/a
s12-4          0.06        failed           n/a
s11-0          0.05        failed           n/a
s11-1          0.05        failed           n/a
s11-2          0.05        failed           n/a
s11-3          0.05        failed           n/a
s11-4          0.05        failed           n/a
s12-1          0.05        failed           n/a
s10-0          0.04        failed           n/a
s10-3          0.04        failed           n/a
s10-1          0.03        failed           n/a
s10-2          0.03        failed           n/a
s10-4          0.03        failed           n/a
