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: 31385 Quit (core dumped) z3 -T:7.328 -smt2 /tmp/SMTP31137-126 > /tmp/SMTS31137-127 /bin/sh: line 1: 31381 Quit (core dumped) z3 -T:13.74 -smt2 /tmp/SMTP31137-24 > /tmp/SMTS31137-25 /bin/sh: line 1: 31299 Quit (core dumped) z3 -T:2.748 -smt2 /tmp/SMTP31137-32 > /tmp/SMTS31137-33 /bin/sh: line 1: 31336 Quit (core dumped) z3 -T:4.58 -smt2 /tmp/SMTP31137-48 > /tmp/SMTS31137-49 tct-trs: Prelude.head: empty list tct-trs: Prelude.head: empty list tct-trs: Prelude.head: empty list tct-trs: Prelude.head: empty list tct-trs: Prelude.head: empty list tct-trs: Prelude.head: empty list tct-trs: Prelude.head: empty list tct-trs: Prelude.head: empty list