QBF Solver Evaluation Portal
qbflib.orgSota solver results for family RobotsD4
QBFEVAL'04
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| robots_1_5_4_21.2 | yQuaffle | SAT | 0.17 |  |
| robots_1_5_4_73.2 | yQuaffle | SAT | 0.16 | |
| robots_1_5_4_78.1 | QBFL-JW | SAT | 0.02 | |
| robots_1_5_4_87.8 | QUBE-BJ | UNSAT | 3 | |