/bin/sh: line 1: 45709 Quit                    (core dumped) z3 -T:6.936 -smt2 /tmp/SMTP45263-129 > /tmp/SMTS45263-130
/bin/sh: line 1: 45712 Quit                    (core dumped) z3 -T:6.208 -smt2 /tmp/SMTP45263-110 > /tmp/SMTS45263-111
/bin/sh: line 1: 45474 Quit                    (core dumped) z3 -T:7.16 -smt2 /tmp/SMTP45263-104 > /tmp/SMTS45263-105
/bin/sh: line 1: 45716 Quit                    (core dumped) z3 -T:6.656 -smt2 /tmp/SMTP45263-92 > /tmp/SMTS45263-93
/export/starexec/sandbox/solver/bin/starexec_run_tct_rci: line 24: 45263 Killed                  ./tct-trs -t 297 --complexity rci -s competition /export/starexec/sandbox/benchmark/theBenchmark.trs +RTS -N4 -M128873M -K64M -RTS