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

Speedup statistics for tasks solved by both configurations
==========================================================
Minimum:      0.36
Maximum:    583.73
Median:       1.14
Average:     44.83
Std. dev.:  133.46

Detailed results
================
Task                  normal    monolithic       speedup
probBLOCKS-6-0          0.14          0.05          0.36
probBLOCKS-4-0          0.01          0.01          1.00
probBLOCKS-4-1          0.01          0.01          1.00
probBLOCKS-4-2          0.01          0.01          1.00
probBLOCKS-5-0          0.01          0.01          1.00
probBLOCKS-5-1          0.01          0.01          1.00
probBLOCKS-5-2          0.01          0.01          1.00
probBLOCKS-8-0         15.88         16.33          1.03
probBLOCKS-7-2          0.89          1.01          1.13
probBLOCKS-8-1         11.64         13.30          1.14
probBLOCKS-6-2          0.07          0.08          1.14
probBLOCKS-9-0        175.81        272.19          1.55
probBLOCKS-7-1          0.27          1.06          3.93
probBLOCKS-6-1          0.01          0.05          5.00
probBLOCKS-9-2          6.68        191.11         28.61
probBLOCKS-8-2          0.14         10.96         78.29
probBLOCKS-7-0          0.01          0.95         95.00
probBLOCKS-9-1          0.45        262.68        583.73
