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

Speedup statistics for tasks solved by both configurations
==========================================================
Minimum:      1.00
Maximum:   5855.00
Median:      53.50
Average:    662.33
Std. dev.: 1596.00

Detailed results
================
Task                     normal    monolithic       speedup
probschedule-2-0           0.01          0.01          1.00
probschedule-2-1           0.01          0.01          1.00
probschedule-2-2           0.01          0.01          1.00
probschedule-3-1           0.01          0.01          1.00
probschedule-3-2           0.01          0.08          8.00
probschedule-3-0           0.01          0.10         10.00
probschedule-4-1           0.01          0.97         97.00
probschedule-4-2           0.01          0.98         98.00
probschedule-4-0           0.01          1.95        195.00
probschedule-5-0           0.01          6.41        641.00
probschedule-6-2           0.01         10.40       1040.00
probschedule-5-1           0.01         58.55       5855.00
probschedule-40-0          0.60        failed           n/a
probschedule-31-0          0.20        failed           n/a
probschedule-27-0          0.15        failed           n/a
probschedule-26-0          0.12        failed           n/a
probschedule-25-2          0.08        failed           n/a
probschedule-18-0          0.07        failed           n/a
probschedule-20-2          0.06        failed           n/a
probschedule-15-0          0.04        failed           n/a
probschedule-11-0          0.03        failed           n/a
probschedule-15-2          0.03        failed           n/a
probschedule-17-1          0.03        failed           n/a
probschedule-14-2          0.02        failed           n/a
probschedule-17-0          0.02        failed           n/a
probschedule-10-1          0.01        failed           n/a
probschedule-11-1          0.01        failed           n/a
probschedule-12-0          0.01        failed           n/a
probschedule-12-2          0.01        failed           n/a
probschedule-13-2          0.01        failed           n/a
probschedule-6-0           0.01        failed           n/a
probschedule-6-1           0.01        failed           n/a
probschedule-7-0           0.01        failed           n/a
probschedule-7-1           0.01        failed           n/a
probschedule-8-0           0.01        failed           n/a
probschedule-9-0           0.01        failed           n/a
probschedule-9-1           0.01        failed           n/a
