QBF Solver Evaluation Portal
qbflib.orgInstances of family RobotsD5 solved by sSolve
QBFEVAL'05
| Instance | Result | Time | |
|---|---|---|---|
| robots_1_5_5_24.2 | SAT | 0.21 | |
| robots_1_5_5_75.2 | SAT | 0.29 | |
| robots_1_5_5_61.2 | SAT | 0.31 | |
| robots_1_5_5_15.2 | SAT | 0.32 | |
| robots_1_5_5_38.2 | SAT | 0.32 | |
| robots_1_5_5_62.2 | SAT | 0.33 | |
| robots_1_5_5_56.2 | SAT | 0.33 | |
| robots_1_5_5_97.2 | SAT | 0.4 | |
| robots_1_5_5_31.2 | SAT | 0.41 | |
| robots_1_5_5_100.2 | SAT | 0.42 | |
| robots_1_5_5_26.4 | SAT | 3.3 | |
| robots_1_5_5_66.4 | SAT | 3.3 | |
| robots_1_5_5_87.4 | SAT | 28.49 | |
| robots_1_5_5_30.4 | SAT | 42.61 | |
| robots_1_5_5_45.4 | SAT | 43.48 | |
| robots_1_5_5_34.4 | SAT | 47.88 | |
| robots_1_5_5_93.4 | SAT | 53.71 | |
| robots_1_5_5_100.4 | SAT | 53.97 | |
| robots_1_5_5_12.4 | SAT | 54.45 | |
| robots_1_5_5_8.4 | SAT | 54.47 | |
| robots_1_5_5_66.8 | SAT | 251.56 | |
| robots_1_5_5_33.8 | UNSAT | 463.06 | |
| robots_1_5_5_100.8 | FAIL | 900.99 | |
| robots_1_5_5_14.8 | FAIL | 900.99 | |
| robots_1_5_5_10.8 | FAIL | 900.99 | |
| robots_1_5_5_12.8 | FAIL | 901 | |
| robots_1_5_5_99.8 | FAIL | 901.01 | |
| robots_1_5_5_50.8 | FAIL | 901.01 | |
| robots_1_5_5_5.8 | FAIL | 901.01 | |
| robots_1_5_5_95.8 | FAIL | 901.01 |