QBF Solver Evaluation Portal
qbflib.orgUnique instances for QuBE7
QBFEVAL'10 - Random QBFs Track.
| Instance | Time | Result |
|---|---|---|
| x240.9 | 471.2 | UNSAT |
| robots_1_5_2_32.8 | 1169.02 | SAT |
| x240.5 | 392.26 | UNSAT |
| robots_1_5_3_16.8 | 150.37 | UNSAT |
| Instance | Time | Result |
|---|---|---|
| x240.9 | 471.2 | UNSAT |
| robots_1_5_2_32.8 | 1169.02 | SAT |
| x240.5 | 392.26 | UNSAT |
| robots_1_5_3_16.8 | 150.37 | UNSAT |