Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
CombinationalEquivalence | 179 | 41.3 | ||
CounterFactual | 113 | 1344.2 | ||
Model_instances | 211 | 189900 | ||
PositionalGames_gttt | 117 | 330.72 | ||
PositionalGames_hex | 115 | 362.42 | ||
Q_2_2_3 | 150 | 26124.36 | ||
Q_2_3 | 176 | 158400 | ||
Q_3_3 | 150 | 135000 | ||
Q_3_3_3 | 149 | 44456.89 | ||
RobotsD2 | 10 | 9000 | ||
Selection-hard | 48 | 43200 | ||
Strategic_Companies | 122 | 109800 | ||
wgrowing | 85 | 76500 |