Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
ASP_Program_Inclusion | 62 | 31 | 9792.51 | |
CounterFactual | 271 | 23 | 13 | 88811.2 |
Model_instances | 248 | 10 | 9 | 119976.72 |
Q_2_2_3 | 150 | 89958.12 | ||
Q_2_3 | 188 | 10 | 85494.28 | |
Q_3_3 | 150 | 89961.93 | ||
Q_3_3_3 | 149 | 89359.59 | ||
RobotsD2 | 36 | 23 | 4 | 5917.34 |
RobotsD3 | 30 | 23 | 6 | 1452.89 |
RobotsD4 | 35 | 15 | 15 | 265.92 |
RobotsD5 | 33 | 13 | 17 | 239.4 |
Strategic_Companies | 183 | 109749.46 |