Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
ASP_Program_Inclusion | 62 | 37182.32 | ||
CounterFactual | 271 | 6 | 4 | 144605.99 |
Model_instances | 248 | 148730.48 | ||
Q_2_2_3 | 150 | 89956.23 | ||
Q_2_3 | 188 | 112745.98 | ||
Q_3_3 | 150 | 89957.13 | ||
Q_3_3_3 | 149 | 89357.39 | ||
RobotsD2 | 36 | 3 | 19221.75 | |
RobotsD3 | 30 | 3 | 16219.53 | |
RobotsD4 | 35 | 4 | 19117.53 | |
RobotsD5 | 33 | 5 | 17809.56 | |
Strategic_Companies | 183 | 10 | 103761.54 |