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

InstanceResultTime
tlc05-uniform-depth-40UNSAT0.97
tlc05-uniform-depth-45UNSAT1.32
tlc05-uniform-depth-50UNSAT1.36
tlc05-uniform-depth-55UNSAT1.8
tlc05-uniform-depth-60UNSAT2.13
tlc05-uniform-depth-65UNSAT2.63
tlc05-uniform-depth-70UNSAT2.8
tlc05-uniform-depth-75UNSAT2.99
tlc05-uniform-depth-85UNSAT3.49
tlc05-uniform-depth-80UNSAT14.11