Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
ASP_Program_Inclusion | 62 | 40 | 338.96 | |
CounterFactual | 271 | 27 | 23 | 66393.46 |
Model_instances | 248 | 4 | 10 | 130340.85 |
Q_2_2_3 | 150 | 89968.23 | ||
Q_2_3 | 188 | 1 | 111191.97 | |
Q_3_3 | 150 | 89963.7 | ||
Q_3_3_3 | 149 | 89364.29 | ||
RobotsD2 | 36 | 21 | 4 | 6805.03 |
RobotsD3 | 30 | 23 | 7 | 745.04 |
RobotsD4 | 35 | 15 | 15 | 75.27 |
RobotsD5 | 33 | 13 | 17 | 63 |
Strategic_Companies | 181 | 8 | 39 | 67885.7 |