/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