Instances of family genpatch solved by GhostQ___cegar_pcnf_2019
Prenex CNF Track

InstanceResultTime
unit9_2_bSAT0.96
unit11_3_bUNSAT2.98
unit8_2_bSAT37.17
unit12_2_bSAT42.91
unit6_3_bUNSAT538.61