Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
CombinationalEquivalence | 179 | 15 | 75279.96 | |
CounterFactual | 113 | 101700 | ||
Model_instances | 211 | 19 | 125794.53 | |
PositionalGames_gttt | 117 | 4 | 94502.52 | |
PositionalGames_hex | 115 | 8 | 1 | 87620.28 |
Q_2_2_3 | 150 | 135000 | ||
Q_2_3 | 176 | 7 | 127264.8 | |
Q_3_3 | 150 | 135000 | ||
Q_3_3_3 | 149 | 134100 | ||
RobotsD2 | 10 | 2 | 7217.76 | |
Selection-hard | 48 | 5 | 17622.36 | |
Strategic_Companies | 122 | 109800 | ||
wgrowing | 85 | 6 | 59856.24 |