Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
ASP_Program_Inclusion | 62 | 40 | 79.33 | |
CounterFactual | 271 | 26 | 21 | 74735.94 |
Model_instances | 248 | 4 | 9 | 127070.17 |
Q_2_2_3 | 150 | 89000.1 | ||
Q_2_3 | 188 | 16 | 69237.83 | |
Q_3_3 | 150 | 89033.49 | ||
Q_3_3_3 | 149 | 88395.09 | ||
RobotsD2 | 36 | 18 | 4 | 8934.43 |
RobotsD3 | 30 | 20 | 3 | 5500 |
RobotsD4 | 35 | 15 | 15 | 1002.57 |
RobotsD5 | 33 | 13 | 17 | 356.01 |
Strategic_Companies | 183 | 8 | 28 | 78712.21 |