Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
ASP_Program_Inclusion | 62 | 38 | 4391.49 | |
CounterFactual | 271 | 26 | 20 | 74540.31 |
Model_instances | 248 | 4 | 10 | 127997.22 |
Q_2_2_3 | 150 | 89961.6 | ||
Q_2_3 | 188 | 15 | 72497.01 | |
Q_3_3 | 150 | 89960.16 | ||
Q_3_3_3 | 149 | 89361.79 | ||
RobotsD2 | 36 | 20 | 3 | 9525.59 |
RobotsD3 | 30 | 22 | 7 | 1815.82 |
RobotsD4 | 35 | 15 | 15 | 615.55 |
RobotsD5 | 33 | 13 | 17 | 504.78 |
Strategic_Companies | 183 | 8 | 24 | 82432.73 |