Instances of family trafficlight-controller solved by quabs-minisat
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
tlc03-uniform-depth-21UNSAT0.04
tlc01-uniform-depth-73UNSAT0.08
tlc03-uniform-depth-52UNSAT0.13
tlc03-nonuniform-depth-17UNSAT0.36
tlc04-nonuniform-depth-56UNSAT44.13