Formula: (!a & d) U (b & d & e & !(d U c))
Trace: 0; cycle{1}

Formula: X!(XX(d U c) & XX(b & c & e))
Trace: 1; 1; 1; 0; cycle{!c & d}

Formula: (!a & d) U (b & d & e & !(d U c))
Trace: 0; cycle{1}

Formula: X!(XX(d U c) & XX(b & c & e))
Trace: 1; 1; 1; 0; cycle{!c & d}

Formula: !(d U !(b & d & e) U (a & c))
Trace: 0; cycle{1}

Formula: !b & e U (!a & b & d & Xb)
Trace: 0; b; cycle{1}

Formula: !b & e U (a & b & c)
Trace: 0; cycle{1}

Formula: X!d & X(a & d & e & Xc)
Trace: 1; 0; c; cycle{1}

Formula: !c & (1 U Xe) U (a & c & d)
Trace: 0; cycle{1}

Formula: !(!(!d U (!a & d & e)) U b U d)
Trace: 0; cycle{b & !d}

Formula: XX(!c & (a & c & d & e) U c)
Trace: 1; 1; 0; c; cycle{1}

Formula: !(X!b U (a & b & d & Xc))
Trace: a & b & d; cycle{0}

Formula: e U XX!(!b U !(a & b & d))
Trace: 1; 1; cycle{0}

Formula: !d & (c U Xa) U (b & d & !e)
Trace: 0; cycle{1}

Formula: d & Xb & !X!(a & !b & !c)
Trace: d; 0; cycle{1}

Formula: X!c & X(b & c & d & a U e)
Trace: 1; 0; cycle{1}

Formula: XXd & X(a & c & d & e) U !a
Trace: a; 0; d; cycle{1}

Formula: Xc & !((b U d) U !(a & b & e))
Trace: 0; c; cycle{1}