Instances of family genpatch solved by ijtihad_v1
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
unit9_2_bSAT0.45
unit6_3_bUNSAT332.29
unit11_3_bFAIL900
unit12_2_bFAIL900
unit8_2_bFAIL900