QBF Solver Evaluation Portal
qbflib.orgCUED1919_NL results solving families - 2017
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| CombinationalEquivalence | 179 | 269.01 | ||
| CounterFactual | 113 | 8947.72 | ||
| Model_instances | 211 | 189900 | ||
| PositionalGames_gttt | 117 | 1866.07 | ||
| PositionalGames_hex | 115 | 402.33 | ||
| Q_2_2_3 | 150 | 59275.26 | ||
| Q_2_3 | 176 | 158400 | ||
| Q_3_3 | 150 | 135000 | ||
| Q_3_3_3 | 149 | 54581.39 | ||
| RobotsD2 | 10 | 5715.94 | ||
| Selection-hard | 48 | 43200 | ||
| Strategic_Companies | 122 | 72228.38 | ||
| wgrowing | 85 | 76500 |