/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