/bin/sh: line 1: 63466 Quit                    (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP63304-74 > /tmp/SMTS63304-75
/bin/sh: line 1: 63519 Quit                    (core dumped) z3 -T:7.384 -smt2 /tmp/SMTP63304-113 > /tmp/SMTS63304-114
/bin/sh: line 1: 63514 Quit                    (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP63304-104 > /tmp/SMTS63304-105
/bin/sh: line 1: 63547 Quit                    (core dumped) z3 -T:13.95 -smt2 /tmp/SMTP63304-23 > /tmp/SMTS63304-25
/bin/sh: line 1: 63539 Quit                    (core dumped) z3 -T:13.95 -smt2 /tmp/SMTP63304-88 > /tmp/SMTS63304-89
/bin/sh: line 1: 63558 Quit                    (core dumped) z3 -T:7.4399999999999995 -smt2 /tmp/SMTP63304-119 > /tmp/SMTS63304-120
/bin/sh: line 1: 63551 Quit                    (core dumped) z3 -T:13.95 -smt2 /tmp/SMTP63304-76 > /tmp/SMTS63304-77
/bin/sh: line 1: 63527 Quit                    (core dumped) z3 -T:13.95 -smt2 /tmp/SMTP63304-78 > /tmp/SMTS63304-79
/bin/sh: line 1: 63535 Quit                    (core dumped) z3 -T:13.95 -smt2 /tmp/SMTP63304-27 > /tmp/SMTS63304-29
/bin/sh: line 1: 63523 Quit                    (core dumped) z3 -T:13.95 -smt2 /tmp/SMTP63304-64 > /tmp/SMTS63304-65
/bin/sh: line 1: 63586 Killed                  z3 -T:7.384 -smt2 /tmp/SMTP63304-125 > /tmp/SMTS63304-126
/export/starexec/sandbox/solver/bin/starexec_run_tct_rci: line 24: 63304 Killed                  ./tct-trs -t 297 --complexity rci -s competition /export/starexec/sandbox/benchmark/theBenchmark.trs +RTS -N4 -M128873M -K64M -RTS