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

Speedup statistics for tasks solved by both configurations
==========================================================
Minimum:     12.00
Maximum:   1880.33
Median:     322.28
Average:    546.65
Std. dev.:  615.72

Detailed results
================
Task                    normal    monolithic       speedup
probfreecell-2-3          0.01          0.12         12.00
probfreecell-2-2          0.01          0.15         15.00
probfreecell-2-1          0.01          0.16         16.00
probfreecell-2-4          0.01          0.17         17.00
probfreecell-2-5          0.01          0.19         19.00
probfreecell-3-5          0.09         56.30        625.56
probfreecell-3-2          0.06         49.94        832.33
probfreecell-3-4          0.07         59.75        853.57
probfreecell-3-3          0.04         47.83       1195.75
probfreecell-3-1          0.03         56.41       1880.33
probfreecell-5-2         95.54        failed           n/a
probfreecell-5-3         52.98        failed           n/a
probfreecell-5-5         46.96        failed           n/a
probfreecell-5-1         21.75        failed           n/a
probfreecell-4-2          9.43        failed           n/a
probfreecell-5-4          7.92        failed           n/a
probfreecell-4-5          2.85        failed           n/a
probfreecell-4-3          1.81        failed           n/a
probfreecell-4-1          1.07        failed           n/a
probfreecell-4-4          0.65        failed           n/a
