QBF Solver Evaluation Portal
qbflib.orgqbfrelay results solving families - 2017
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| CombinationalEquivalence | 179 | 0 | 5 | 72371.15 |
| CounterFactual | 113 | 0 | 0 | 15738.62 |
| Model_instances | 211 | 0 | 0 | 6036.59 |
| PositionalGames_gttt | 117 | 4 | 0 | 2833.23 |
| PositionalGames_hex | 115 | 2 | 0 | 55856.88 |
| Q_2_2_3 | 150 | 0 | 0 | 15504.48 |
| Q_2_3 | 176 | 0 | 1 | 609.44 |
| Q_3_3 | 150 | 0 | 0 | 563.58 |
| Q_3_3_3 | 149 | 0 | 0 | 5591.69 |
| RobotsD2 | 10 | 0 | 0 | 8968.78 |
| Selection-hard | 48 | 1 | 0 | 1490.17 |
| Strategic_Companies | 122 | 0 | 0 | 92686.86 |
| wgrowing | 85 | 1 | 0 | 1932.93 |