Summary
=======
2 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:      5.00
Maximum:    285.25
Median:     148.17
Average:    146.65
Std. dev.:   99.11

Detailed results
================
Task          normal    monolithic       speedup
pfile1          0.01          0.05          5.00
pfile4          0.43         62.78        146.00
pfile2          0.03          4.51        150.33
pfile3          0.12         34.23        285.25
pfile7         40.27        failed           n/a
pfile5         20.57        failed           n/a
