QBF Solver Evaluation Portal
qbflib.orgSota solver results for family RobotsD2
QBFEVAL'04
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| robots_1_5_2_3.5 | QUBE-BJ | SAT | 1.11 |  |
| robots_1_5_2_38.1 | semprop | SAT | 0.04 | |
| robots_1_5_2_64.1 | semprop | SAT | 0.03 | |
| robots_1_5_2_72.7 | QUBE-BJ | SAT | 1.22 | |
| robots_1_5_2_93.1 | semprop | SAT | 0.04 | |