/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