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

InstanceResultTime
tlc05-uniform-depth-40UNSAT10.5
tlc05-uniform-depth-45UNSAT11.65
tlc05-uniform-depth-50UNSAT13.33
tlc05-uniform-depth-55UNSAT14.2
tlc05-uniform-depth-60UNSAT16.19
tlc05-uniform-depth-65UNSAT17.87
tlc05-uniform-depth-70UNSAT19.26
tlc05-uniform-depth-75UNSAT20.68
tlc05-uniform-depth-80UNSAT22.55
tlc05-uniform-depth-85UNSAT24.3