Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
CombinationalEquivalence | 179 | 5 | 72371.15 | |
CounterFactual | 113 | 15738.62 | ||
Model_instances | 211 | 6036.59 | ||
PositionalGames_gttt | 117 | 4 | 2833.23 | |
PositionalGames_hex | 115 | 2 | 55856.88 | |
Q_2_2_3 | 150 | 15504.48 | ||
Q_2_3 | 176 | 1 | 609.44 | |
Q_3_3 | 150 | 563.58 | ||
Q_3_3_3 | 149 | 5591.69 | ||
RobotsD2 | 10 | 8968.78 | ||
Selection-hard | 48 | 1 | 1490.17 | |
Strategic_Companies | 122 | 92686.86 | ||
wgrowing | 85 | 1 | 1932.93 |