/bin/sh: line 1: 60309 Quit                    (core dumped) z3 -T:7.496 -smt2 /tmp/SMTP60169-75 > /tmp/SMTS60169-76
/bin/sh: line 1: 60340 Quit                    (core dumped) z3 -T:13.32 -smt2 /tmp/SMTP60169-8 > /tmp/SMTS60169-9
/bin/sh: line 1: 60343 Quit                    (core dumped) z3 -T:13.32 -smt2 /tmp/SMTP60169-48 > /tmp/SMTS60169-49
/bin/sh: line 1: 60334 Quit                    (core dumped) z3 -T:13.32 -smt2 /tmp/SMTP60169-42 > /tmp/SMTS60169-43
/bin/sh: line 1: 60326 Quit                    (core dumped) z3 -T:7.216 -smt2 /tmp/SMTP60169-83 > /tmp/SMTS60169-84
/bin/sh: line 1: 60261 Quit                    (core dumped) z3 -T:7.104 -smt2 /tmp/SMTP60169-65 > /tmp/SMTS60169-66