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

Speedup statistics for tasks solved by both configurations
==========================================================
Minimum:      1.00
Maximum:   1186.00
Median:      25.00
Average:    309.25
Std. dev.:  506.57

Detailed results
================
Task              normal    monolithic       speedup
p01-phil2           0.01          0.01          1.00
p02-phil3           0.01          0.01          1.00
p03-phil4           0.01          0.49         49.00
p04-phil5           0.01         11.86       1186.00
p22-phil23        105.91        failed           n/a
p27-phil28         82.41        failed           n/a
p21-phil22         78.86        failed           n/a
p26-phil27         60.28        failed           n/a
p25-phil26         45.28        failed           n/a
p20-phil21         43.50        failed           n/a
p24-phil25         33.76        failed           n/a
p19-phil20         31.11        failed           n/a
p23-phil24         24.57        failed           n/a
p18-phil19         16.94        failed           n/a
p17-phil18         11.61        failed           n/a
p16-phil17          6.44        failed           n/a
p15-phil16          4.21        failed           n/a
p14-phil15          2.16        failed           n/a
p13-phil14          1.33        failed           n/a
p12-phil13          0.67        failed           n/a
p11-phil12          0.40        failed           n/a
p10-phil11          0.18        failed           n/a
p09-phil10          0.12        failed           n/a
p08-phil9           0.06        failed           n/a
p06-phil7           0.02        failed           n/a
p07-phil8           0.02        failed           n/a
p05-phil6           0.01        failed           n/a
