QBF Solver Evaluation Portal
qbflib.orgInstances of family s386 solved by caqe-portfolio
QBFEVAL'16 - Solver Portfolio Track.
| Instance | Result | Time | |
|---|---|---|---|
| s386_d2_s | SAT | 1.12 | |
| s386_d4_s | SAT | 4.13 | |
| s386_d6_s | SAT | 13.94 | |
| s386_d7_s | SAT | 21.46 | |
| s386_d8_u | UNSAT | 27.37 | |
| s386_d3_s | SAT | 69.32 | |
| s386_d9_u | UNSAT | 70.04 | |
| s386_d12_u | UNSAT | 105.02 | |
| s386_d11_u | UNSAT | 105.91 | |
| s386_d10_u | UNSAT | 189.65 |