QBF Solver Evaluation Portal
qbflib.orgsqueezebf+struqs results solving families - 2016
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| ASP_Program_Inclusion | 62 | 0 | 0 | 37182.62 |
| CounterFactual | 271 | 6 | 4 | 144610.57 |
| Model_instances | 248 | 0 | 0 | 148735.04 |
| Q_2_2_3 | 150 | 0 | 0 | 89958.6 |
| Q_2_3 | 188 | 0 | 0 | 112747.38 |
| Q_3_3 | 150 | 0 | 0 | 89956.5 |
| Q_3_3_3 | 149 | 0 | 0 | 89357.69 |
| RobotsD2 | 36 | 4 | 0 | 19038.82 |
| RobotsD3 | 30 | 5 | 0 | 16058.9 |
| RobotsD4 | 35 | 6 | 0 | 18611.71 |
| RobotsD5 | 33 | 6 | 0 | 17274.64 |
| Strategic_Companies | 183 | 0 | 10 | 103793.42 |