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
/bin/sh: line 1: 27538 Quit                    (core dumped) z3 -T:6.936 -smt2 /tmp/SMTP27376-110 > /tmp/SMTS27376-111
/bin/sh: line 1: 27516 Quit                    (core dumped) z3 -T:7.4399999999999995 -smt2 /tmp/SMTP27376-92 > /tmp/SMTS27376-93
/bin/sh: line 1: 27500 Quit                    (core dumped) z3 -T:12.584999999999999 -smt2 /tmp/SMTP27376-30 > /tmp/SMTS27376-31
/bin/sh: line 1: 27542 Quit                    (core dumped) z3 -T:6.936 -smt2 /tmp/SMTP27376-106 > /tmp/SMTS27376-107
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: 27556 Killed                  z3 -T:12.584999999999999 -smt2 /tmp/SMTP27376-38 > /tmp/SMTS27376-39