Instances of family ITC99 solved by nanoqbf_bloqqer
Prenex CNF Track

InstanceResultTime
b20_PR_7_20SAT14.4
b22_PR_9_90UNSAT21.14
b21_PR_8_20FAIL900
b18_PR_4_2FAIL900
b17_PR_2_50FAIL900
b14_PR_1_50FAIL900
b20_C_3_2FAIL900
b21_C_3_206FAIL900
b22_C_2_12FAIL900
b22_PR_8_20FAIL900