In this section we summarize the results of our experimental studies and draw some conclusions regarding the applicability of the encodings, based on our theoretical and experimental analysis.