Instances of family Debug solved by aqme-10
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
c1_Debug_s5_f1_e1_v2SAT24.3
c2_Debug_s3_f1_e1_v2SAT31.19
c4_Debug_s5_f2_e2_v1SAT52.72
c1_Debug_s3_f1_e1_v1SAT70.27
c4_Debug_s3_f1_e2_v2SAT90.59
c4_Debug_s3_f1_e1_v2SAT91.7
c2_Debug_s3_f2_e1_v3SAT108.03
c4_Debug_s3_f1_e2_v3SAT116.15
c4_Debug_s3_f2_e2_v2FAIL600
c3_Debug_s3_f2_e2_v2FAIL600