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

InstanceResultTime
tlc05-uniform-depth-60FAIL900.01
tlc05-uniform-depth-75FAIL900.01
tlc05-uniform-depth-40FAIL900.02
tlc05-uniform-depth-55FAIL900.03
tlc05-uniform-depth-65FAIL900.04
tlc05-uniform-depth-50FAIL900.04
tlc05-uniform-depth-85FAIL900.05
tlc05-uniform-depth-80FAIL900.06
tlc05-uniform-depth-45FAIL900.07
tlc05-uniform-depth-70FAIL900.09