/bin/sh: line 1:  3384 Quit                    (core dumped) z3 -T:7.328 -smt2 /tmp/SMTP3170-108 > /tmp/SMTS3170-109
/bin/sh: line 1:  3396 Quit                    (core dumped) z3 -T:12.270000000000001 -smt2 /tmp/SMTP3170-52 > /tmp/SMTS3170-53
/bin/sh: line 1:  3365 Quit                    (core dumped) z3 -T:12.270000000000001 -smt2 /tmp/SMTP3170-22 > /tmp/SMTS3170-23
/bin/sh: line 1:  3389 Quit                    (core dumped) z3 -T:12.270000000000001 -smt2 /tmp/SMTP3170-20 > /tmp/SMTS3170-21
/bin/sh: line 1:  3362 Quit                    (core dumped) z3 -T:12.270000000000001 -smt2 /tmp/SMTP3170-48 > /tmp/SMTS3170-49
/bin/sh: line 1:  3323 Quit                    (core dumped) z3 -T:12.270000000000001 -smt2 /tmp/SMTP3170-62 > /tmp/SMTS3170-63
/bin/sh: line 1:  3420 Killed                  z3 -T:12.270000000000001 -smt2 /tmp/SMTP3170-44 > /tmp/SMTS3170-45
/export/starexec/sandbox/solver/bin/starexec_run_tct_rci: line 24:  3170 Killed                  ./tct-trs -t 297 --complexity rci -s competition /export/starexec/sandbox/benchmark/theBenchmark.trs +RTS -N4 -M128873M -K64M -RTS