QBF Solver Evaluation Portal
qbflib.orgiprover-QBF-bloqqer results solving families - 2016
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| ASP_Program_Inclusion | 62 | 21527.13 | ||
| CounterFactual | 271 | 15 | 1 | 73694.75 |
| Model_instances | 248 | 66955.59 | ||
| Q_2_2_3 | 150 | 51382.8 | ||
| Q_2_3 | 188 | 63186.55 | ||
| Q_3_3 | 150 | 43128.75 | ||
| Q_3_3_3 | 149 | 36436.68 | ||
| RobotsD2 | 36 | 8 | 15829.72 | |
| RobotsD3 | 30 | 10 | 10631.62 | |
| RobotsD4 | 35 | 13 | 9847.33 | |
| RobotsD5 | 33 | 12 | 8120.57 | |
| Strategic_Companies | 183 | 84103.31 |