/bin/sh: line 1: 63989 Quit                    (core dumped) z3 -T:7.216 -smt2 /tmp/SMTP63724-114 > /tmp/SMTS63724-115
/bin/sh: line 1: 63818 Quit                    (core dumped) z3 -T:13.530000000000001 -smt2 /tmp/SMTP63724-35 > /tmp/SMTS63724-37
/bin/sh: line 1: 63861 Quit                    (core dumped) z3 -T:13.530000000000001 -smt2 /tmp/SMTP63724-38 > /tmp/SMTS63724-39
/bin/sh: line 1: 63867 Quit                    (core dumped) z3 -T:13.530000000000001 -smt2 /tmp/SMTP63724-56 > /tmp/SMTS63724-57
/bin/sh: line 1: 64030 Killed                  z3 -T:7.216 -smt2 /tmp/SMTP63724-139 > /tmp/SMTS63724-140