QBF Solver Evaluation Portal
qbflib.orgqbfrelay-limited-depqbf results solving families - 2017
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| CombinationalEquivalence | 179 | 3 | 140850.42 | |
| CounterFactual | 113 | 3 | 95464.58 | |
| Model_instances | 211 | 2 | 4 | 171268.79 |
| PositionalGames_gttt | 117 | 39 | 51261.54 | |
| PositionalGames_hex | 115 | 6 | 1 | 88564.42 |
| Q_2_2_3 | 150 | 133351.53 | ||
| Q_2_3 | 176 | 12 | 103967.23 | |
| Q_3_3 | 150 | 133409.31 | ||
| Q_3_3_3 | 149 | 132456.11 | ||
| RobotsD2 | 10 | 1 | 8772.2 | |
| Selection-hard | 48 | 2 | 33552.26 | |
| Strategic_Companies | 122 | 8 | 98762.4 | |
| wgrowing | 85 | 1 | 72014.76 |