QBF Solver Evaluation Portal
qbflib.orgInstances of family RobotsD4 solved by QuBE7-m
QBFEVAL'10 - Random QBFs Track.
| Instance | Result | Time | |
|---|---|---|---|
| robots_1_5_4_73.2 | SAT | 5.45 | |
| robots_1_5_4_75.2 | SAT | 5.59 | |
| robots_1_5_4_100.2 | SAT | 11.31 | |
| robots_1_5_4_44.2 | SAT | 37.74 | |
| robots_1_5_4_81.2 | SAT | 49.64 | |
| robots_1_5_4_31.4 | SAT | 54.5 | |
| robots_1_5_4_52.2 | SAT | 57.86 | |
| robots_1_5_4_32.2 | SAT | 62.5 | |
| robots_1_5_4_71.2 | SAT | 64.13 | |
| robots_1_5_4_22.2 | SAT | 66.17 | |
| robots_1_5_4_59.2 | SAT | 71.12 | |
| robots_1_5_4_17.8 | UNSAT | 132.28 | |
| robots_1_5_4_100.4 | SAT | 133.17 | |
| robots_1_5_4_87.4 | SAT | 148.14 | |
| robots_1_5_4_2.4 | SAT | 174.75 | |
| robots_1_5_4_30.4 | SAT | 186.17 | |
| robots_1_5_4_51.4 | SAT | 206.64 | |
| robots_1_5_4_50.4 | SAT | 210.03 | |
| robots_1_5_4_99.8 | UNSAT | 243.43 | |
| robots_1_5_4_46.4 | SAT | 248.67 | |
| robots_1_5_4_98.4 | SAT | 260.34 | |
| robots_1_5_4_91.4 | SAT | 263.56 | |
| robots_1_5_4_1.8 | UNSAT | 272.11 | |
| robots_1_5_4_96.8 | UNSAT | 335.37 | |
| robots_1_5_4_24.8 | UNSAT | 365.22 | |
| robots_1_5_4_46.8 | UNSAT | 389.08 | |
| robots_1_5_4_91.8 | UNSAT | 393.17 | |
| robots_1_5_4_56.8 | UNSAT | 596.8 | |
| robots_1_5_4_75.8 | UNSAT | 725.08 | |
| robots_1_5_4_100.8 | UNSAT | 901.76 |