/bin/sh: line 1: 24199 Quit                    (core dumped) z3 -T:6.824 -smt2 /tmp/SMTP24037-86 > /tmp/SMTS24037-87
/bin/sh: line 1: 24180 Quit                    (core dumped) z3 -T:7.384 -smt2 /tmp/SMTP24037-58 > /tmp/SMTS24037-59
/bin/sh: line 1: 24384 Quit                    (core dumped) z3 -T:6.936 -smt2 /tmp/SMTP24037-98 > /tmp/SMTS24037-99
/bin/sh: line 1: 24412 Quit                    (core dumped) z3 -T:6.824 -smt2 /tmp/SMTP24037-63 > /tmp/SMTS24037-64
/bin/sh: line 1: 24416 Quit                    (core dumped) z3 -T:6.824 -smt2 /tmp/SMTP24037-53 > /tmp/SMTS24037-54
/bin/sh: line 1: 24399 Quit                    (core dumped) z3 -T:13.74 -smt2 /tmp/SMTP24037-18 > /tmp/SMTS24037-19
/bin/sh: line 1: 24402 Quit                    (core dumped) z3 -T:13.74 -smt2 /tmp/SMTP24037-69 > /tmp/SMTS24037-70
/bin/sh: line 1: 24333 Quit                    (core dumped) z3 -T:13.74 -smt2 /tmp/SMTP24037-16 > /tmp/SMTS24037-17
/bin/sh: line 1: 24386 Quit                    (core dumped) z3 -T:13.74 -smt2 /tmp/SMTP24037-76 > /tmp/SMTS24037-77
/bin/sh: line 1: 24129 Quit                    (core dumped) z3 -T:7.328 -smt2 /tmp/SMTP24037-88 > /tmp/SMTS24037-89
/bin/sh: line 1: 24437 Killed                  z3 -T:13.74 -smt2 /tmp/SMTP24037-90 > /tmp/SMTS24037-91
/bin/sh: line 1: 24457 Killed                  z3 -T:6.936 -smt2 /tmp/SMTP24037-116 > /tmp/SMTS24037-117