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: 51917 Quit (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP51728-8 > /tmp/SMTS51728-9 /bin/sh: line 1: 51969 Quit (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP51728-42 > /tmp/SMTS51728-43 /bin/sh: line 1: 51954 Quit (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP51728-23 > /tmp/SMTS51728-24 /bin/sh: line 1: 51947 Quit (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP51728-17 > /tmp/SMTS51728-18 /bin/sh: line 1: 51963 Quit (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP51728-52 > /tmp/SMTS51728-53 /bin/sh: line 1: 51966 Quit (core dumped) z3 -T:14.055000000000001 -smt2 /tmp/SMTP51728-38 > /tmp/SMTS51728-39 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: 51981 Killed z3 -T:14.055000000000001 -smt2 /tmp/SMTP51728-74 > /tmp/SMTS51728-75 /bin/sh: line 1: 51997 Killed z3 -T:14.055000000000001 -smt2 /tmp/SMTP51728-48 > /tmp/SMTS51728-49 /bin/sh: line 1: 52041 Killed z3 -T:7.16 -smt2 /tmp/SMTP51728-84 > /tmp/SMTS51728-85 /bin/sh: line 1: 52057 Killed z3 -T:7.4399999999999995 -smt2 /tmp/SMTP51728-110 > /tmp/SMTS51728-111