QBF Solver Evaluation Portal
qbflib.orgInstances of family s641 solved by caqe-portfolio
QBFEVAL'16 - Solver Portfolio Track.
| Instance | Result | Time | |
|---|---|---|---|
| s641_d3_s | SAT | 4.63 | |
| s641_d4_s | SAT | 15.85 | |
| s641_d2_s | SAT | 16.05 | |
| s641_d5_s | SAT | 28.97 | |
| s641_d6_s | SAT | 51.81 | |
| s641_d7_u | UNSAT | 89.5 | |
| s641_d8_u | UNSAT | 147.67 | |
| s641_d10_u | UNSAT | 221.14 | |
| s641_d11_u | FAIL | 299.8 |