Summary
=======
8 tasks were only solved by configuration normal-goal.
1 task was only solved by configuration monolithic-goal.
8 tasks were solved by both configurations.

Speedup statistics for tasks solved by both configurations
==========================================================
Minimum:      1.00
Maximum:    505.00
Median:      14.10
Average:     97.42
Std. dev.:  164.34

Detailed results
================
Task                       normal    monolithic       speedup
p31-net4-b14-g3-t20        failed         25.66           n/a
p01-net1-b6-g2-t50           0.01          0.01          1.00
p02-net1-b6-g4-t50           0.01          0.01          1.00
p21-net3-b12-g2-t60          0.63          2.74          4.35
p11-net2-b10-g2-t30         21.47        132.99          6.19
p05-net1-b10-g4-t50          0.01          0.22         22.00
p03-net1-b8-g3-t80           0.01          0.58         58.00
p04-net1-b8-g5-t80           0.06         10.91        181.83
p06-net1-b10-g6-t50          0.01          5.05        505.00
p15-net2-b14-g4-t30        216.26        failed           n/a
p22-net3-b12-g4-t60        143.32        failed           n/a
p13-net2-b12-g3-t70         28.98        failed           n/a
p19-net2-b18-g6-t60          9.46        failed           n/a
p09-net1-b14-g6-t50          1.94        failed           n/a
p10-net1-b14-g8-t50          0.53        failed           n/a
p08-net1-b12-g7-t80          0.32        failed           n/a
p07-net1-b12-g5-t80          0.14        failed           n/a
