Instances of family ITC99 solved by iprover_bloqqer_single
Prenex CNF Track

InstanceResultTime
b14_PR_1_50SAT146.28
b20_PR_7_20SAT153.15
b21_PR_8_20SAT157.73
b22_PR_8_20SAT196.76
b17_PR_2_50SAT321.92
b18_PR_4_2SAT384.82
b22_PR_9_90FAIL900
b20_C_3_2FAIL900
b21_C_3_206FAIL900
b22_C_2_12FAIL900