QBF Solver Evaluation Portal
qbflib.orgInstances of family RobotsD5 solved by openQbf
QBFEVAL'06
| Instance | Result | Time | |
|---|---|---|---|
| robots_1_5_5_66.4 | SAT | 123.39 | |
| robots_1_5_5_26.4 | SAT | 124.17 | |
| robots_1_5_5_87.4 | SAT | 198.35 | |
| robots_1_5_5_30.4 | SAT | 308.5 | |
| robots_1_5_5_45.4 | SAT | 313.99 | |
| robots_1_5_5_12.4 | SAT | 314.54 | |
| robots_1_5_5_34.4 | SAT | 318.65 | |
| robots_1_5_5_100.4 | SAT | 320.1 | |
| robots_1_5_5_93.4 | SAT | 320.73 | |
| robots_1_5_5_8.4 | SAT | 321.9 |