QBF Solver Evaluation Portal
qbflib.orgInstances of family RobotsD2 solved by aqua-s2v
QBFEVAL'16 - Random QBFs Track.
| Instance | Result | Time | |
|---|---|---|---|
| robots_1_5_2_46.1 | SAT | 0.23 | |
| robots_1_5_2_65.1 | SAT | 0.23 | |
| robots_1_5_2_93.1 | SAT | 0.23 | |
| robots_1_5_2_93.3 | SAT | 64.23 | |
| robots_1_5_2_93.2 | SAT | 69.8 | |
| robots_1_5_2_93.4 | SAT | 72.46 | |
| robots_1_5_2_46.3 | SAT | 73.94 | |
| robots_1_5_2_65.3 | SAT | 80.32 | |
| robots_1_5_2_46.4 | SAT | 81.31 | |
| robots_1_5_2_93.5 | SAT | 81.37 | |
| robots_1_5_2_65.4 | SAT | 88.29 | |
| robots_1_5_2_46.5 | SAT | 88.39 | |
| robots_1_5_2_65.2 | SAT | 89.6 | |
| robots_1_5_2_46.2 | SAT | 94.17 | |
| robots_1_5_2_93.6 | SAT | 96.47 | |
| robots_1_5_2_65.5 | SAT | 100.18 | |
| robots_1_5_2_46.6 | SAT | 102.29 | |
| robots_1_5_2_46.7 | UNSAT | 114.79 | |
| robots_1_5_2_65.6 | SAT | 120.86 | |
| robots_1_5_2_93.7 | SAT | 139.89 | |
| robots_1_5_2_46.8 | UNSAT | 155.85 | |
| robots_1_5_2_46.10 | UNSAT | 169.02 | |
| robots_1_5_2_46.9 | UNSAT | 177.5 | |
| robots_1_5_2_65.7 | SAT | 240.84 | |
| robots_1_5_2_93.8 | SAT | 410.53 | |
| robots_1_5_2_65.9 | FAIL | 599.71 | |
| robots_1_5_2_65.8 | FAIL | 599.71 | |
| robots_1_5_2_93.9 | FAIL | 599.72 | |
| robots_1_5_2_93.10 | FAIL | 599.81 | |
| robots_1_5_2_65.10 | FAIL | 599.82 |