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

InstanceResultTime
tlc05-uniform-depth-40UNSAT11.44
tlc05-uniform-depth-45UNSAT13.9
tlc05-uniform-depth-50UNSAT16.6
tlc05-uniform-depth-55UNSAT20.31
tlc05-uniform-depth-60UNSAT23.33
tlc05-uniform-depth-65UNSAT27.29
tlc05-uniform-depth-70UNSAT31.57
tlc05-uniform-depth-75UNSAT36.11
tlc05-uniform-depth-80UNSAT41.19
tlc05-uniform-depth-85UNSAT46.29