Instance | Solver | Result | Time | |
---|---|---|---|---|
c1_Debug_s3_f1_e1_v1 | aqme-10 | SAT | 70.27 | |
c1_Debug_s5_f1_e1_v2 | aqme-10 | SAT | 24.3 | |
c2_Debug_s3_f1_e1_v2 | aqme-10 | SAT | 31.19 | |
c2_Debug_s3_f2_e1_v3 | aqme-10 | SAT | 108.03 | |
c4_Debug_s3_f1_e1_v2 | aqme-10 | SAT | 91.7 | |
c4_Debug_s3_f1_e2_v2 | aqme-10 | SAT | 90.59 | |
c4_Debug_s3_f1_e2_v3 | aqme-10 | SAT | 116.15 | |
c4_Debug_s5_f2_e2_v1 | aqme-10 | SAT | 52.72 |