QBF Solver Evaluation Portal
qbflib.orgUnique instances for GRL
QBFEVAL'05
| Instance | Time | Result |
|---|---|---|
| connect_6x5_3_R | 648.96 | SAT |
| connect_8x7_7_R | 779.92 | UNSAT |
| connect_6x5_4_R | 440.89 | UNSAT |
| connect_7x6_5_R | 332.01 | UNSAT |
| connect_7x6_6_R | 87.88 | UNSAT |
| Instance | Time | Result |
|---|---|---|
| connect_6x5_3_R | 648.96 | SAT |
| connect_8x7_7_R | 779.92 | UNSAT |
| connect_6x5_4_R | 440.89 | UNSAT |
| connect_7x6_5_R | 332.01 | UNSAT |
| connect_7x6_6_R | 87.88 | UNSAT |