QBF Solver Evaluation Portal
qbflib.orgcaqe_2017_v1 results solving families - 2017
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| CombinationalEquivalence | 179 | 0 | 15 | 75450.35 |
| CounterFactual | 113 | 0 | 1 | 99649.38 |
| Model_instances | 211 | 18 | 0 | 126341.57 |
| PositionalGames_gttt | 117 | 0 | 0 | 105300 |
| PositionalGames_hex | 115 | 9 | 2 | 86280.77 |
| Q_2_2_3 | 150 | 0 | 0 | 135000 |
| Q_2_3 | 176 | 0 | 6 | 132772.35 |
| Q_3_3 | 150 | 0 | 0 | 135000 |
| Q_3_3_3 | 149 | 0 | 0 | 134100 |
| RobotsD2 | 10 | 2 | 0 | 6545.8 |
| Selection-hard | 48 | 4 | 0 | 23850.66 |
| Strategic_Companies | 122 | 0 | 0 | 109800 |
| wgrowing | 85 | 9 | 0 | 53905.6 |