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

Speedup statistics for tasks solved by both configurations
==========================================================
Minimum:      0.84
Maximum:      0.84
Median:       0.84
Average:      0.84
Std. dev.:    0.00

Detailed results
================
Task          normal    monolithic       speedup
prob01         45.07         37.71          0.84
