/bin/sh: line 1: 2538 Quit (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP2317-70 > /tmp/SMTS2317-71 /bin/sh: line 1: 2551 Quit (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP2317-107 > /tmp/SMTS2317-109 /bin/sh: line 1: 2469 Quit (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP2317-51 > /tmp/SMTS2317-52 /bin/sh: line 1: 2460 Quit (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP2317-47 > /tmp/SMTS2317-48 /bin/sh: line 1: 2466 Quit (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP2317-45 > /tmp/SMTS2317-46 /bin/sh: line 1: 2474 Quit (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP2317-36 > /tmp/SMTS2317-37 /bin/sh: line 1: 2591 Killed z3 -T:7.6 -smt2 /tmp/SMTP2317-124 > /tmp/SMTS2317-125 /bin/sh: line 1: 2611 Killed z3 -T:7.6 -smt2 /tmp/SMTP2317-134 > /tmp/SMTS2317-135 /export/starexec/sandbox/solver/bin/starexec_run_tct_rci: line 24: 2317 Killed ./tct-trs -t 297 --complexity rci -s competition /export/starexec/sandbox/benchmark/theBenchmark.trs +RTS -N4 -M128873M -K64M -RTS