Instances of family trafficlight-controller solved by ghostq-plain
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
tlc03-uniform-depth-9UNSAT1.03
tlc03-nonuniform-depth-17UNSAT1.93
tlc03-uniform-depth-21UNSAT2.64
tlc02-uniform-depth-114FAIL4.37
tlc03-uniform-depth-52UNSAT7.01
tlc01-uniform-depth-73UNSAT7.45
tlc04-nonuniform-depth-56UNSAT8.1
tlc02-uniform-depth-241FAIL8.26
tlc04-nonuniform-depth-98UNSAT12.07
tlc04-uniform-depth-36FAIL599.91