/bin/sh: line 1: 405 Quit (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP65507-70 > /tmp/SMTS65507-71 /bin/sh: line 1: 396 Quit (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP65507-35 > /tmp/SMTS65507-36 /bin/sh: line 1: 411 Quit (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP65507-24 > /tmp/SMTS65507-25 /bin/sh: line 1: 439 Quit (core dumped) z3 -T:7.6 -smt2 /tmp/SMTP65507-63 > /tmp/SMTS65507-64 /bin/sh: line 1: 412 Quit (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP65507-65 > /tmp/SMTS65507-66 /bin/sh: line 1: 428 Quit (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP65507-67 > /tmp/SMTS65507-68 /bin/sh: line 1: 442 Quit (core dumped) z3 -T:2.8499999999999996 -smt2 /tmp/SMTP65507-32 > /tmp/SMTS65507-33 /bin/sh: line 1: 421 Quit (core dumped) z3 -T:14.25 -smt2 /tmp/SMTP65507-37 > /tmp/SMTS65507-38 /bin/sh: line 1: 559 Killed z3 -T:14.25 -smt2 /tmp/SMTP65507-114 > /tmp/SMTS65507-115