Instances of family genpatch solved by GhostQ-PG_plain
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
unit9_2_bSAT0.91
unit12_2_bSAT44.03
unit8_2_bSAT46.08
unit11_3_bUNSAT234.08
unit6_3_bFAIL900.01