/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)) ax1x1aabx1bbaax1bx1ccax1a1b1c112.2aabx1bbaax1112315234a011a015a021a025a031a035a115a125a135b011b012b015b021b022b025b031b032b035c011c013c015c021c023c025c031c033c035c141c142c145c1541521253135ax1x1bx1ccax1TcT