Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
ASP_Program_Inclusion | 62 | 1 | 39 | 653.26 |
CounterFactual | 271 | 27 | 26 | 60159.69 |
Model_instances | 248 | 30 | 10 | 68621.39 |
Q_2_2_3 | 150 | 89956.74 | ||
Q_2_3 | 188 | 23 | 64853.36 | |
Q_3_3 | 150 | 12 | 69419.88 | |
Q_3_3_3 | 149 | 4 | 83102.61 | |
RobotsD2 | 36 | 23 | 4 | 5103.69 |
RobotsD3 | 30 | 23 | 7 | 587.46 |
RobotsD4 | 35 | 16 | 14 | 293.69 |
RobotsD5 | 33 | 14 | 16 | 236.48 |
Strategic_Companies | 183 | 8 | 39 | 67855.58 |