Instances of family ITC99 solved by ghostq-plain
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
b20_PR_7_20SAT61.1
b22_PR_8_20FAIL900
b21_C_3_206FAIL900
b20_C_3_2FAIL900