QBF Solver Evaluation Portal
qbflib.orgaqua-s3o results solving families - 2016
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| ASP_Program_Inclusion | 62 | 0 | 40 | 96.67 |
| CounterFactual | 271 | 27 | 22 | 68314.6 |
| Model_instances | 248 | 21 | 15 | 65035.81 |
| Q_2_2_3 | 150 | 0 | 0 | 89971.38 |
| Q_2_3 | 188 | 0 | 13 | 75844.48 |
| Q_3_3 | 150 | 0 | 0 | 89978.1 |
| Q_3_3_3 | 149 | 0 | 0 | 89377.73 |
| RobotsD2 | 36 | 21 | 4 | 8565.24 |
| RobotsD3 | 30 | 22 | 7 | 2779.02 |
| RobotsD4 | 35 | 15 | 15 | 2486.72 |
| RobotsD5 | 33 | 13 | 17 | 2153.27 |
| Strategic_Companies | 183 | 8 | 40 | 61341.3 |