QBF Solver Evaluation Portal
qbflib.orgUnique instances for rareqs
QBFEVAL'17 - Random QBFs Track
| Instance | Time | Result |
|---|---|---|
| robots_1_5_2_65.10 | 453.58 | SAT |
| robots_1_5_2_65.9 | 135.72 | SAT |
| x210.16 | 866.58 | UNSAT |
| Instance | Time | Result |
|---|---|---|
| robots_1_5_2_65.10 | 453.58 | SAT |
| robots_1_5_2_65.9 | 135.72 | SAT |
| x210.16 | 866.58 | UNSAT |