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

Speedup statistics for tasks solved by both configurations
==========================================================
Minimum:      1.00
Maximum:   4807.60
Median:      11.00
Average:    489.80
Std. dev.: 1100.75

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-2           0.01          0.01          1.00
s4-3           0.01          0.01          1.00
s4-4           0.01          0.01          1.00
s5-2           0.01          0.01          1.00
s5-0           0.01          0.02          2.00
s5-1           0.01          0.02          2.00
s5-4           0.01          0.02          2.00
s5-3           0.01          0.03          3.00
s6-3           0.01          0.03          3.00
s6-0           0.01          0.06          6.00
s6-1           0.01          0.07          7.00
s6-4           0.01          0.09          9.00
s7-0           0.01          0.10         10.00
s6-2           0.01          0.12         12.00
s7-3           0.01          0.14         14.00
s7-2           0.01          0.16         16.00
s7-4           0.01          0.47         47.00
s7-1           0.01          0.52         52.00
s9-3           0.02          1.52         76.00
s8-4           0.01          0.80         80.00
s8-0           0.01          0.87         87.00
s8-2           0.01          1.15        115.00
s8-3           0.01          1.37        137.00
s9-4           0.01          1.46        146.00
s8-1           0.01          1.47        147.00
s9-0           0.02          3.92        196.00
s9-1           0.02          4.67        233.50
s10-0          0.03         13.15        438.33
s10-2          0.03         15.44        514.67
s10-4          0.02         10.99        549.50
s9-2           0.01          5.60        560.00
s10-3          0.03         19.45        648.33
s10-1          0.01          7.08        708.00
s11-4          0.03         23.80        793.33
s11-3          0.04         38.67        966.75
s11-1          0.03         31.57       1052.33
s12-0          0.06         74.42       1240.33
s11-2          0.04         58.14       1453.50
s11-0          0.04         75.84       1896.00
s12-3          0.05        164.20       3284.00
s12-4          0.06        256.51       4275.17
s12-2          0.05        238.82       4776.40
s12-1          0.05        240.38       4807.60
s30-0          3.10        failed           n/a
s29-4          2.54        failed           n/a
s30-3          2.48        failed           n/a
s30-4          2.37        failed           n/a
s30-1          2.28        failed           n/a
s29-3          2.19        failed           n/a
s29-0          2.14        failed           n/a
s29-1          2.08        failed           n/a
s27-1          1.92        failed           n/a
s28-1          1.85        failed           n/a
s27-0          1.84        failed           n/a
s27-2          1.83        failed           n/a
s29-2          1.81        failed           n/a
s28-2          1.71        failed           n/a
s28-0          1.65        failed           n/a
s26-1          1.48        failed           n/a
s26-2          1.45        failed           n/a
s27-4          1.43        failed           n/a
s30-2          1.43        failed           n/a
s26-3          1.38        failed           n/a
s28-3          1.38        failed           n/a
s27-3          1.33        failed           n/a
s25-3          1.22        failed           n/a
s25-1          1.19        failed           n/a
s28-4          1.19        failed           n/a
s26-0          1.16        failed           n/a
s24-4          1.12        failed           n/a
s25-4          1.09        failed           n/a
s24-2          1.08        failed           n/a
s26-4          1.05        failed           n/a
s25-0          0.99        failed           n/a
s24-1          0.97        failed           n/a
s24-0          0.92        failed           n/a
s24-3          0.84        failed           n/a
s23-4          0.82        failed           n/a
s22-2          0.73        failed           n/a
s23-0          0.73        failed           n/a
s23-1          0.73        failed           n/a
s25-2          0.69        failed           n/a
s23-3          0.68        failed           n/a
s22-0          0.66        failed           n/a
s22-3          0.66        failed           n/a
s22-1          0.64        failed           n/a
s21-4          0.59        failed           n/a
s21-2          0.56        failed           n/a
s22-4          0.53        failed           n/a
s20-1          0.51        failed           n/a
s21-0          0.50        failed           n/a
s21-1          0.48        failed           n/a
s20-3          0.45        failed           n/a
s21-3          0.41        failed           n/a
s20-4          0.39        failed           n/a
s23-2          0.38        failed           n/a
s19-1          0.36        failed           n/a
s19-4          0.36        failed           n/a
s19-3          0.35        failed           n/a
s19-0          0.32        failed           n/a
s18-0          0.31        failed           n/a
s20-2          0.31        failed           n/a
s17-0          0.28        failed           n/a
s17-2          0.28        failed           n/a
s18-2          0.28        failed           n/a
s20-0          0.28        failed           n/a
s18-4          0.26        failed           n/a
s19-2          0.24        failed           n/a
s18-1          0.23        failed           n/a
s17-1          0.21        failed           n/a
s18-3          0.21        failed           n/a
s17-3          0.20        failed           n/a
s16-4          0.19        failed           n/a
s16-0          0.16        failed           n/a
s16-2          0.16        failed           n/a
s15-1          0.15        failed           n/a
s17-4          0.15        failed           n/a
s14-2          0.12        failed           n/a
s16-1          0.12        failed           n/a
s14-4          0.11        failed           n/a
s15-2          0.11        failed           n/a
s15-4          0.11        failed           n/a
s15-0          0.10        failed           n/a
s15-3          0.10        failed           n/a
s14-0          0.09        failed           n/a
s14-1          0.09        failed           n/a
s16-3          0.09        failed           n/a
s13-2          0.07        failed           n/a
s13-3          0.07        failed           n/a
s13-4          0.07        failed           n/a
s14-3          0.07        failed           n/a
s13-0          0.05        failed           n/a
s13-1          0.05        failed           n/a
