/bin/sh: line 1: 10203 Quit                    (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP10032-24 > /tmp/SMTS10032-25
/bin/sh: line 1: 10206 Quit                    (core dumped) z3 -T:6.992 -smt2 /tmp/SMTP10032-87 > /tmp/SMTS10032-88
/bin/sh: line 1: 10304 Killed                  z3 -T:14.055000000000001 -smt2 /tmp/SMTP10032-22 > /tmp/SMTS10032-23
/bin/sh: line 1: 10345 Killed                  z3 -T:14.055000000000001 -smt2 /tmp/SMTP10032-81 > /tmp/SMTS10032-82
/bin/sh: line 1: 10354 Killed                  z3 -T:14.055000000000001 -smt2 /tmp/SMTP10032-19 > /tmp/SMTS10032-21
/bin/sh: line 1: 10362 Killed                  z3 -T:14.055000000000001 -smt2 /tmp/SMTP10032-67 > /tmp/SMTS10032-68
/bin/sh: line 1: 10370 Killed                  z3 -T:7.496 -smt2 /tmp/SMTP10032-118 > /tmp/SMTS10032-119
/bin/sh: line 1: 10374 Killed                  z3 -T:6.992 -smt2 /tmp/SMTP10032-115 > /tmp/SMTS10032-116