/export/starexec/sandbox2/solver/bin/starexec_run_tct_dci_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- WORST_CASE(?,O(n^1)) ax1x1aax1babccbx1cbx1ax1a1b1c112.2aax1babccbx11123132a011a013a021a023a031a033a111a113a121a123a131a133b011b012b013b021b022b023b031b032b033c011c013c021c023c031c03313212331ax1x1cbx1ax1TcT