QBF Solver Evaluation Portal
qbflib.orgInstances of family RobotsD5 solved by nenofex-qbfeval10
QBFEVAL'10 - Random QBFs Track.
| Instance | Result | Time | |
|---|---|---|---|
| robots_1_5_5_15.2 | SAT | 45.83 | |
| robots_1_5_5_38.2 | SAT | 46.22 | |
| robots_1_5_5_75.2 | SAT | 46.84 | |
| robots_1_5_5_100.2 | SAT | 47.04 | |
| robots_1_5_5_62.2 | SAT | 47.42 | |
| robots_1_5_5_61.2 | SAT | 48.01 | |
| robots_1_5_5_56.2 | SAT | 49.38 | |
| robots_1_5_5_24.2 | SAT | 49.98 | |
| robots_1_5_5_97.2 | SAT | 50.08 | |
| robots_1_5_5_31.2 | SAT | 52.22 | |
| robots_1_5_5_12.4 | SAT | 454.62 | |
| robots_1_5_5_30.4 | SAT | 459.27 | |
| robots_1_5_5_93.4 | SAT | 520.12 | |
| robots_1_5_5_45.4 | SAT | 526.35 | |
| robots_1_5_5_26.4 | SAT | 531 | |
| robots_1_5_5_66.4 | SAT | 538.19 | |
| robots_1_5_5_34.4 | SAT | 545.34 | |
| robots_1_5_5_87.4 | SAT | 551.03 | |
| robots_1_5_5_8.4 | SAT | 569.1 | |
| robots_1_5_5_100.4 | SAT | 574.83 | |
| robots_1_5_5_10.8 | FAIL | 1200.16 | |
| robots_1_5_5_50.8 | FAIL | 1200.16 | |
| robots_1_5_5_5.8 | FAIL | 1200.16 | |
| robots_1_5_5_66.8 | FAIL | 1200.16 | |
| robots_1_5_5_99.8 | FAIL | 1200.16 | |
| robots_1_5_5_100.8 | FAIL | 1200.16 | |
| robots_1_5_5_14.8 | FAIL | 1200.16 | |
| robots_1_5_5_33.8 | FAIL | 1200.16 | |
| robots_1_5_5_12.8 | FAIL | 1200.16 | |
| robots_1_5_5_95.8 | FAIL | 1200.17 |