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

InstanceResultTime
tlc05-uniform-depth-40UNSAT11.29
tlc05-uniform-depth-45UNSAT13.8
tlc05-uniform-depth-50UNSAT16.6
tlc05-uniform-depth-55UNSAT20.2
tlc05-uniform-depth-60UNSAT23.1
tlc05-uniform-depth-65UNSAT26.88
tlc05-uniform-depth-70UNSAT31.14
tlc05-uniform-depth-75UNSAT35.76
tlc05-uniform-depth-80UNSAT41.1
tlc05-uniform-depth-85UNSAT45.04