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