Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
CombinationalEquivalence | 179 | 1 | 153972.48 | |
CounterFactual | 113 | 1 | 99016.38 | |
Model_instances | 211 | 18 | 1 | 134546.79 |
PositionalGames_gttt | 117 | 4 | 94523.19 | |
PositionalGames_hex | 115 | 10 | 3 | 82466.61 |
Q_2_2_3 | 150 | 135000 | ||
Q_2_3 | 176 | 158400 | ||
Q_3_3 | 150 | 135000 | ||
Q_3_3_3 | 149 | 134100 | ||
RobotsD2 | 10 | 2 | 6364.28 | |
Selection-hard | 48 | 1 | 37845.66 | |
Strategic_Companies | 122 | 3 | 106716.04 | |
wgrowing | 85 | 4 | 63252.2 |