QBF Solver Evaluation Portal
qbflib.orgAIGSolve results solving families - 2017
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| CombinationalEquivalence | 179 | 5 | 7 | 87797.77 |
| CounterFactual | 113 | 101700 | ||
| Model_instances | 211 | 180709.48 | ||
| PositionalGames_gttt | 117 | 4 | 85288.84 | |
| PositionalGames_hex | 115 | 2 | 99907.71 | |
| Q_2_2_3 | 150 | 135000 | ||
| Q_2_3 | 176 | 148414.8 | ||
| Q_3_3 | 150 | 121633.05 | ||
| Q_3_3_3 | 149 | 1 | 132941.82 | |
| RobotsD2 | 10 | 8899.98 | ||
| Selection-hard | 48 | 42339.24 | ||
| Strategic_Companies | 122 | 109800 | ||
| wgrowing | 85 | 73682.02 |