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

Speedup statistics for tasks solved by both configurations
==========================================================
Minimum:      0.50
Maximum:   3855.00
Median:       1.00
Average:    482.99
Std. dev.: 1196.64

Detailed results
================
Task                      normal    monolithic       speedup
p09-s90-n6-l4-f50           0.02          0.01          0.50
p03-s53-n4-l3-f30          25.18         18.29          0.73
p06-s74-n5-l4-f50           0.22          0.20          0.91
p01-s29-n2-l5-f30           0.01          0.01          1.00
p04-s66-n5-l2-f50           0.01          0.01          1.00
p08-s87-n6-l3-f70           0.01          0.01          1.00
p05-s71-n5-l3-f70           0.13         23.63        181.77
p12-s103-n7-l3-f70          0.04         12.20        305.00
p02-s46-n3-l5-f50           0.01         38.55       3855.00
p13-s106-n7-l4-f50          0.20        failed           n/a
p16-s119-n8-l3-f70          0.15        failed           n/a
