Instances of family trafficlight-controller solved by depqbf_pre_QxQBH
Prenex CNF Track

InstanceResultTime
tlc05-uniform-depth-40UNSAT1.73
tlc05-uniform-depth-45UNSAT2.19
tlc05-uniform-depth-50UNSAT2.66
tlc05-uniform-depth-55UNSAT3.21
tlc05-uniform-depth-60UNSAT3.79
tlc05-uniform-depth-65UNSAT4.28
tlc05-uniform-depth-70UNSAT4.52
tlc05-uniform-depth-75UNSAT6.5
tlc05-uniform-depth-80UNSAT7.15
tlc05-uniform-depth-85UNSAT7.66