QBF Solver Evaluation Portal
qbflib.orgcaqe-picosat results solving families - 2016
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| ASP_Program_Inclusion | 62 | 39 | 554.49 | |
| CounterFactual | 271 | 27 | 29 | 58851.22 |
| Model_instances | 248 | 20 | 13 | 82729.35 |
| Q_2_2_3 | 150 | 89963.01 | ||
| Q_2_3 | 188 | 10 | 84916.87 | |
| Q_3_3 | 150 | 89971.29 | ||
| Q_3_3_3 | 149 | 89377.66 | ||
| RobotsD2 | 36 | 22 | 4 | 6767.65 |
| RobotsD3 | 30 | 23 | 7 | 1046.71 |
| RobotsD4 | 35 | 15 | 15 | 338.39 |
| RobotsD5 | 33 | 13 | 17 | 258.03 |
| Strategic_Companies | 183 | 8 | 36 | 69183.51 |