/bin/sh: line 1: 10674 Quit (core dumped) z3 -T:7.328 -smt2 /tmp/SMTP10456-106 > /tmp/SMTS10456-107 /bin/sh: line 1: 10742 Quit (core dumped) z3 -T:7.048 -smt2 /tmp/SMTP10456-133 > /tmp/SMTS10456-134 /bin/sh: line 1: 10721 Quit (core dumped) z3 -T:7.048 -smt2 /tmp/SMTP10456-84 > /tmp/SMTS10456-85 /bin/sh: line 1: 10735 Quit (core dumped) z3 -T:7.048 -smt2 /tmp/SMTP10456-120 > /tmp/SMTS10456-121 /bin/sh: line 1: 10719 Quit (core dumped) z3 -T:7.328 -smt2 /tmp/SMTP10456-124 > /tmp/SMTS10456-125 /bin/sh: line 1: 10685 Quit (core dumped) z3 -T:13.530000000000001 -smt2 /tmp/SMTP10456-64 > /tmp/SMTS10456-67 /bin/sh: line 1: 10688 Quit (core dumped) z3 -T:13.530000000000001 -smt2 /tmp/SMTP10456-51 > /tmp/SMTS10456-52 /bin/sh: line 1: 10682 Quit (core dumped) z3 -T:13.530000000000001 -smt2 /tmp/SMTP10456-15 > /tmp/SMTS10456-16