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

InstanceResultTime
b20_PR_7_20SAT1.76
b15_PR_4_2SAT3.29
b17_PR_0_90UNSAT3.43
b18_PR_4_2SAT8.75
b20_C_3_2FAIL900
b21_C_3_206FAIL900
b22_C_2_12FAIL900
b22_PR_8_20FAIL900
b14_PR_1_50FAIL900