Instance | Solver | Result | Time | |
---|---|---|---|---|
s386_d10_u | caqe-portfolio | UNSAT | 189.65 | |
s386_d11_u | caqe-portfolio | UNSAT | 105.91 | |
s386_d12_u | caqe-portfolio | UNSAT | 105.02 | |
s386_d2_s | caqe-portfolio | SAT | 1.12 | |
s386_d3_s | caqe-portfolio | SAT | 69.32 | |
s386_d4_s | caqe-portfolio | SAT | 4.13 | |
s386_d6_s | caqe-portfolio | SAT | 13.94 | |
s386_d7_s | caqe-portfolio | SAT | 21.46 | |
s386_d8_u | caqe-portfolio | UNSAT | 27.37 | |
s386_d9_u | caqe-portfolio | UNSAT | 70.04 |