QBF Solver Evaluation Portal
qbflib.orgInstances of family RobotsD2 solved by caqe-minisat
QBFEVAL'16 - Random QBFs Track.
| Instance | Result | Time | |
|---|---|---|---|
| robots_1_5_2_93.1 | SAT | 0.05 | |
| robots_1_5_2_46.1 | SAT | 0.05 | |
| robots_1_5_2_65.1 | SAT | 0.05 | |
| robots_1_5_2_46.2 | SAT | 1.88 | |
| robots_1_5_2_93.2 | SAT | 2.27 | |
| robots_1_5_2_93.3 | SAT | 3.51 | |
| robots_1_5_2_65.2 | SAT | 3.71 | |
| robots_1_5_2_65.3 | SAT | 4.49 | |
| robots_1_5_2_46.3 | SAT | 4.87 | |
| robots_1_5_2_93.4 | SAT | 5.05 | |
| robots_1_5_2_65.4 | SAT | 6.18 | |
| robots_1_5_2_46.4 | SAT | 6.42 | |
| robots_1_5_2_93.5 | SAT | 8.07 | |
| robots_1_5_2_46.5 | SAT | 9.62 | |
| robots_1_5_2_65.5 | SAT | 12.05 | |
| robots_1_5_2_93.6 | SAT | 12.35 | |
| robots_1_5_2_46.6 | SAT | 17.48 | |
| robots_1_5_2_46.8 | UNSAT | 18.64 | |
| robots_1_5_2_46.7 | UNSAT | 24.56 | |
| robots_1_5_2_65.6 | SAT | 27.84 | |
| robots_1_5_2_93.7 | SAT | 52.55 | |
| robots_1_5_2_46.9 | UNSAT | 52.68 | |
| robots_1_5_2_46.10 | UNSAT | 55.92 | |
| robots_1_5_2_65.7 | SAT | 97.59 | |
| robots_1_5_2_93.8 | SAT | 143.89 | |
| robots_1_5_2_93.9 | SAT | 361.58 | |
| robots_1_5_2_65.8 | SAT | 512.17 | |
| robots_1_5_2_65.10 | FAIL | 599.62 | |
| robots_1_5_2_65.9 | FAIL | 599.69 | |
| robots_1_5_2_93.10 | FAIL | 599.7 |