/bin/sh: line 1: 19402 Quit (core dumped) z3 -T:12.270000000000001 -smt2 /tmp/SMTP19216-44 > /tmp/SMTS19216-45 /bin/sh: line 1: 19406 Quit (core dumped) z3 -T:5.76 -smt2 /tmp/SMTP19216-64 > /tmp/SMTS19216-65 /bin/sh: line 1: 19409 Quit (core dumped) z3 -T:12.270000000000001 -smt2 /tmp/SMTP19216-58 > /tmp/SMTS19216-59 /bin/sh: line 1: 19386 Quit (core dumped) z3 -T:12.270000000000001 -smt2 /tmp/SMTP19216-46 > /tmp/SMTS19216-47 /bin/sh: line 1: 19373 Quit (core dumped) z3 -T:5.76 -smt2 /tmp/SMTP19216-70 > /tmp/SMTS19216-71 /bin/sh: line 1: 19389 Quit (core dumped) z3 -T:12.270000000000001 -smt2 /tmp/SMTP19216-56 > /tmp/SMTS19216-57 /bin/sh: line 1: 19370 Quit (core dumped) z3 -T:6.5440000000000005 -smt2 /tmp/SMTP19216-79 > /tmp/SMTS19216-80 /bin/sh: line 1: 19396 Quit (core dumped) z3 -T:12.270000000000001 -smt2 /tmp/SMTP19216-21 > /tmp/SMTS19216-32 /bin/sh: line 1: 19367 Quit (core dumped) z3 -T:12.270000000000001 -smt2 /tmp/SMTP19216-48 > /tmp/SMTS19216-49 /bin/sh: line 1: 19429 Killed z3 -T:5.76 -smt2 /tmp/SMTP19216-89 > /tmp/SMTS19216-90 /bin/sh: line 1: 19436 Killed z3 -T:5.76 -smt2 /tmp/SMTP19216-85 > /tmp/SMTS19216-86