Sota solver results for family Debug
QBFEVAL'16 - Solver Portfolio Track.


InstanceSolverResultTime
c1_Debug_s3_f1_e1_v1aqme-10SAT70.27
c1_Debug_s5_f1_e1_v2aqme-10SAT24.3
c2_Debug_s3_f1_e1_v2aqme-10SAT31.19
c2_Debug_s3_f2_e1_v3aqme-10SAT108.03
c4_Debug_s3_f1_e1_v2aqme-10SAT91.7
c4_Debug_s3_f1_e2_v2aqme-10SAT90.59
c4_Debug_s3_f1_e2_v3aqme-10SAT116.15
c4_Debug_s5_f2_e2_v1aqme-10SAT52.72