QBF Solver Evaluation Portal
qbflib.orgrareqs results solving families - 2017
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| CombinationalEquivalence | 179 | 15 | 75922.57 | |
| CounterFactual | 113 | 1 | 99174.21 | |
| Model_instances | 211 | 19 | 3 | 102187.24 |
| PositionalGames_gttt | 117 | 2 | 99901.68 | |
| PositionalGames_hex | 115 | 4 | 97522.7 | |
| Q_2_2_3 | 150 | 135000 | ||
| Q_2_3 | 176 | 6 | 131940.7 | |
| Q_3_3 | 150 | 135000 | ||
| Q_3_3_3 | 149 | 134100 | ||
| RobotsD2 | 10 | 5 | 1550.1 | |
| Selection-hard | 48 | 2 | 33384.6 | |
| Strategic_Companies | 122 | 13 | 85824.44 | |
| wgrowing | 85 | 4 | 65073.44 |