Instances of family trafficlight-controller solved by predyndep
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
tlc05-uniform-depth-40UNSAT11.22
tlc05-uniform-depth-45UNSAT13.15
tlc05-uniform-depth-50UNSAT15.8
tlc05-uniform-depth-55UNSAT18.24
tlc05-uniform-depth-60UNSAT21.25
tlc05-uniform-depth-65UNSAT23.71
tlc05-uniform-depth-70UNSAT27.13
tlc05-uniform-depth-75UNSAT30.17
tlc05-uniform-depth-80UNSAT36.72
tlc05-uniform-depth-85UNSAT40.63