Instances of family ITC99 solved by caqe-portfolio
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
b12_PR_9_2SAT0.52
b20_PR_7_90UNSAT9.33
b22_PR_8_20FAIL299.8
b20_C_3_2FAIL299.8
b21_C_3_206FAIL299.82
b20_PR_7_20FAIL299.83
b22_C_2_12FAIL299.84