/bin/sh: line 1: 6398 Quit (core dumped) z3 -T:12.584999999999999 -smt2 /tmp/SMTP6318-27 > /tmp/SMTS6318-28 /bin/sh: line 1: 6422 Quit (core dumped) z3 -T:6.712 -smt2 /tmp/SMTP6318-63 > /tmp/SMTS6318-64 /bin/sh: line 1: 6404 Quit (core dumped) z3 -T:12.584999999999999 -smt2 /tmp/SMTP6318-46 > /tmp/SMTS6318-47 /bin/sh: line 1: 6407 Quit (core dumped) z3 -T:12.584999999999999 -smt2 /tmp/SMTP6318-39 > /tmp/SMTS6318-40 /bin/sh: line 1: 6440 Killed z3 -T:12.584999999999999 -smt2 /tmp/SMTP6318-49 > /tmp/SMTS6318-50 /bin/sh: line 1: 6448 Killed z3 -T:12.584999999999999 -smt2 /tmp/SMTP6318-35 > /tmp/SMTS6318-36 /bin/sh: line 1: 6470 Killed z3 -T:6.992 -smt2 /tmp/SMTP6318-77 > /tmp/SMTS6318-78 /bin/sh: line 1: 6475 Killed z3 -T:6.992 -smt2 /tmp/SMTP6318-71 > /tmp/SMTS6318-72