QBF Solver Evaluation Portal
qbflib.orgInstances of family RobotsD5 solved by QuBE7-c
QBFEVAL'10 - Random QBFs Track.
| Instance | Result | Time | |
|---|---|---|---|
| robots_1_5_5_75.2 | SAT | 5.62 | |
| robots_1_5_5_56.2 | SAT | 14.99 | |
| robots_1_5_5_38.2 | SAT | 15.17 | |
| robots_1_5_5_15.2 | SAT | 15.24 | |
| robots_1_5_5_24.2 | SAT | 24.91 | |
| robots_1_5_5_61.2 | SAT | 29.35 | |
| robots_1_5_5_31.2 | SAT | 49.38 | |
| robots_1_5_5_87.4 | SAT | 50.12 | |
| robots_1_5_5_97.2 | SAT | 63.45 | |
| robots_1_5_5_66.4 | SAT | 66.04 | |
| robots_1_5_5_62.2 | SAT | 68.51 | |
| robots_1_5_5_26.4 | SAT | 86.41 | |
| robots_1_5_5_10.8 | UNSAT | 91.69 | |
| robots_1_5_5_12.4 | SAT | 94.53 | |
| robots_1_5_5_99.8 | UNSAT | 113.3 | |
| robots_1_5_5_100.8 | UNSAT | 132.6 | |
| robots_1_5_5_66.8 | SAT | 203.4 | |
| robots_1_5_5_100.2 | SAT | 206.19 | |
| robots_1_5_5_8.4 | SAT | 207.08 | |
| robots_1_5_5_100.4 | SAT | 208.38 | |
| robots_1_5_5_45.4 | SAT | 217.24 | |
| robots_1_5_5_5.8 | UNSAT | 254.85 | |
| robots_1_5_5_30.4 | SAT | 266.44 | |
| robots_1_5_5_34.4 | SAT | 291.87 | |
| robots_1_5_5_95.8 | UNSAT | 312.08 | |
| robots_1_5_5_50.8 | UNSAT | 421.19 | |
| robots_1_5_5_14.8 | UNSAT | 421.59 | |
| robots_1_5_5_93.4 | SAT | 476.55 | |
| robots_1_5_5_12.8 | UNSAT | 523.88 | |
| robots_1_5_5_33.8 | UNSAT | 903.67 |