Instances of family ITC99 solved by xb-qsts
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
b12_PR_9_2SAT0.52
b21_C_3_206FAIL217.36
b20_C_3_2FAIL599.32
b20_PR_7_20FAIL599.52
b22_PR_8_20FAIL599.53