/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