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