tct-trs: Prelude.head: empty list tct-trs: Prelude.head: empty list tct-trs: Prelude.head: empty list tct-trs: Prelude.head: empty list /bin/sh: line 1: 19496 Quit (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP19445-8 > /tmp/SMTS19445-9 /bin/sh: line 1: 19529 Quit (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP19445-42 > /tmp/SMTS19445-43 /bin/sh: line 1: 19526 Quit (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP19445-38 > /tmp/SMTS19445-41 tct-trs: Prelude.head: empty list /bin/sh: line 1: 19540 Quit (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP19445-44 > /tmp/SMTS19445-45 tct-trs: Prelude.head: empty list tct-trs: Prelude.head: empty list tct-trs: Prelude.head: empty list /bin/sh: line 1: 19502 Quit (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP19445-12 > /tmp/SMTS19445-15 /bin/sh: line 1: 19549 Quit (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP19445-39 > /tmp/SMTS19445-40 /bin/sh: line 1: 19546 Quit (core dumped) z3 -T:13.845 -smt2 /tmp/SMTP19445-33 > /tmp/SMTS19445-35 /bin/sh: line 1: 19653 Killed z3 -T:7.496 -smt2 /tmp/SMTP19445-83 > /tmp/SMTS19445-84 /bin/sh: line 1: 19671 Killed z3 -T:6.936 -smt2 /tmp/SMTP19445-86 > /tmp/SMTS19445-87