/bin/sh: line 1: 31258 Quit (core dumped) z3 -T:7.048 -smt2 /tmp/SMTP31119-84 > /tmp/SMTS31119-85 /bin/sh: line 1: 31529 Quit (core dumped) z3 -T:7.104 -smt2 /tmp/SMTP31119-71 > /tmp/SMTS31119-72 /bin/sh: line 1: 31493 Quit (core dumped) z3 -T:13.215 -smt2 /tmp/SMTP31119-46 > /tmp/SMTS31119-47 /bin/sh: line 1: 31348 Quit (core dumped) z3 -T:13.215 -smt2 /tmp/SMTP31119-33 > /tmp/SMTS31119-34 /bin/sh: line 1: 31436 Quit (core dumped) z3 -T:13.215 -smt2 /tmp/SMTP31119-62 > /tmp/SMTS31119-64 /bin/sh: line 1: 31275 Quit (core dumped) z3 -T:4.405 -smt2 /tmp/SMTP31119-11 > /tmp/SMTS31119-12 /bin/sh: line 1: 31600 Killed z3 -T:13.215 -smt2 /tmp/SMTP31119-68 > /tmp/SMTS31119-69 /bin/sh: line 1: 31615 Killed z3 -T:7.104 -smt2 /tmp/SMTP31119-76 > /tmp/SMTS31119-77