Instances of family ITC99 solved by Qute_rrs
Prenex CNF Track

InstanceResultTime
b21_PR_8_20SAT1.72
b20_PR_7_20SAT2.07
b18_PR_4_2SAT9.89
b14_PR_1_50FAIL900
b22_PR_9_90FAIL900
b17_PR_2_50FAIL900
b21_C_3_206FAIL900
b20_C_3_2FAIL900
b22_PR_8_20FAIL900
b22_C_2_12FAIL900