Instances of family trafficlight-controller solved by Caqe-hqspre
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
tlc05-uniform-depth-40UNSAT0.9
tlc05-uniform-depth-45UNSAT1.21
tlc05-uniform-depth-50UNSAT1.7
tlc05-uniform-depth-55UNSAT2.06
tlc05-uniform-depth-60UNSAT2.46
tlc05-uniform-depth-65UNSAT2.74
tlc05-uniform-depth-70UNSAT3
tlc05-uniform-depth-75UNSAT3.17
tlc05-uniform-depth-85UNSAT6
tlc05-uniform-depth-80UNSAT7.57