Instances of family ITC99 solved by GhostQ-PG_plain
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
b20_PR_7_20SAT4.01
b14_PR_1_50SAT7.7
b15_PR_4_2SAT14.64
b17_PR_0_90UNSAT37.52
b22_PR_8_20SAT73.58
b18_PR_4_2SAT489.69
b20_C_3_2FAIL900
b21_C_3_206FAIL900
b22_C_2_12FAIL900