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