/export/starexec/sandbox/solver/bin/starexec_run_tct_rc_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- WORST_CASE(?,O(n^1)) mergexnilxmerge++xy++uv++xmergey++uvmerge++xy++uv++umerge++xyvmergenilyy++2nil0u0v0merge212.2113451234511689710++0111++0112++0131++0132++0141++0142++0151++0152++0311++0312++0331++0332++0341++0342++0351++0352++0411++0412++0431++0432++0441++0442++0451++0452++0511++0512++0531++0532++0541++0542++0551++0552++11111++11311++11411++11511++1162++1166++13111++13311++13411++13511++1362++1366++14111++14311++14411++14511++1462++1466++15111++15311++15411++15511++1562++1566++1896++1897++18102++18106merge0112merge0132merge0142merge0152merge0312merge0332merge0342merge0352merge0412merge0432merge0442merge0452merge0512merge0532merge0542merge0552merge1176merge1376merge1476merge1576merge111910nil02nil03u02u04u18v02v05v191232425276mergexnilxmerge++xy++uv++xmergey++uvmerge++xy++uv++umerge++xyvmergenilyyTcT