QBF Solver Evaluation Portal
qbflib.orgInstances of family RobotsD5 solved by QuBE7-m
QBFEVAL'10 - Random QBFs Track.
| Instance | Result | Time | |
|---|---|---|---|
| robots_1_5_5_75.2 | SAT | 5.52 | |
| robots_1_5_5_38.2 | SAT | 15.13 | |
| robots_1_5_5_15.2 | SAT | 15.22 | |
| robots_1_5_5_56.2 | SAT | 15.31 | |
| robots_1_5_5_24.2 | SAT | 25.26 | |
| robots_1_5_5_61.2 | SAT | 29.65 | |
| robots_1_5_5_31.2 | SAT | 48.41 | |
| robots_1_5_5_87.4 | SAT | 50.14 | |
| robots_1_5_5_97.2 | SAT | 63.7 | |
| robots_1_5_5_66.4 | SAT | 65.95 | |
| robots_1_5_5_62.2 | SAT | 67.77 | |
| robots_1_5_5_26.4 | SAT | 85.91 | |
| robots_1_5_5_12.4 | SAT | 94.02 | |
| robots_1_5_5_10.8 | UNSAT | 110.99 | |
| robots_1_5_5_99.8 | UNSAT | 125.98 | |
| robots_1_5_5_100.8 | UNSAT | 132.35 | |
| robots_1_5_5_66.8 | SAT | 200.99 | |
| robots_1_5_5_100.4 | SAT | 209.02 | |
| robots_1_5_5_8.4 | SAT | 210.03 | |
| robots_1_5_5_100.2 | SAT | 210.26 | |
| robots_1_5_5_45.4 | SAT | 222.09 | |
| robots_1_5_5_30.4 | SAT | 268.98 | |
| robots_1_5_5_5.8 | UNSAT | 276.3 | |
| robots_1_5_5_34.4 | SAT | 284.53 | |
| robots_1_5_5_95.8 | UNSAT | 311.4 | |
| robots_1_5_5_14.8 | UNSAT | 395.12 | |
| robots_1_5_5_50.8 | UNSAT | 427.86 | |
| robots_1_5_5_93.4 | SAT | 470 | |
| robots_1_5_5_12.8 | UNSAT | 540.86 | |
| robots_1_5_5_33.8 | UNSAT | 901.32 |