Instances of family ITC99 solved by qfun0.1
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
b20_PR_7_20SAT7.09
b21_C_3_206SAT8.64
b22_PR_8_20SAT28.58
b20_C_3_2SAT205.56