Summary
=======
0 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:      0.50
Maximum:      1.17
Median:       0.87
Average:      0.87
Std. dev.:    0.14

Detailed results
================
Task         normal    monolithic       speedup
f4-2           0.02          0.01          0.50
f4-4           0.02          0.01          0.50
f5-0           0.02          0.01          0.50
f5-3           0.04          0.02          0.50
f5-1           0.07          0.04          0.57
f6-1           0.05          0.03          0.60
f5-2           0.03          0.02          0.67
f6-2           0.21          0.16          0.76
f7-0           0.57          0.45          0.79
f7-4           0.29          0.23          0.79
f10-0         17.47         14.19          0.81
f7-1           1.24          1.01          0.81
f8-2           1.26          1.04          0.83
f9-0           1.32          1.09          0.83
f6-3           0.23          0.19          0.83
f8-1           0.65          0.54          0.83
f10-3          9.50          7.93          0.83
f12-0        189.87        159.04          0.84
f10-4         11.80          9.90          0.84
f9-1           4.32          3.63          0.84
f11-3         41.07         34.53          0.84
f7-2           0.38          0.32          0.84
f8-0           2.09          1.76          0.84
f8-4           1.44          1.22          0.85
f10-1         14.34         12.21          0.85
f9-2           5.61          4.80          0.86
f9-3           9.05          7.76          0.86
f9-4           4.08          3.51          0.86
f8-3           2.96          2.55          0.86
f11-1         41.54         35.85          0.86
f12-4        165.05        143.20          0.87
f13-1        199.87        173.99          0.87
f12-3        179.41        156.77          0.87
f12-2         89.61         78.52          0.88
f11-2         35.16         30.85          0.88
f13-4         45.95         40.36          0.88
f6-4           0.09          0.08          0.89
f11-4         44.35         39.71          0.90
f11-0          8.65          7.89          0.91
f7-3           0.74          0.72          0.97
f1-0           0.01          0.01          1.00
f1-1           0.01          0.01          1.00
f1-2           0.01          0.01          1.00
f1-3           0.01          0.01          1.00
f1-4           0.01          0.01          1.00
f2-0           0.01          0.01          1.00
f2-1           0.01          0.01          1.00
f2-2           0.01          0.01          1.00
f2-3           0.01          0.01          1.00
f2-4           0.01          0.01          1.00
f3-0           0.01          0.01          1.00
f3-1           0.01          0.01          1.00
f3-2           0.01          0.01          1.00
f3-3           0.01          0.01          1.00
f3-4           0.01          0.01          1.00
f4-0           0.01          0.01          1.00
f4-1           0.01          0.01          1.00
f4-3           0.01          0.01          1.00
f5-4           0.02          0.02          1.00
f6-0           0.06          0.07          1.17
