Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
ASP_Program_Inclusion | 62 | 40 | 1094.16 | |
CounterFactual | 271 | 14 | 14 | 112273.71 |
Model_instances | 248 | 2 | 147586.53 | |
Q_2_2_3 | 150 | 89957.79 | ||
Q_2_3 | 188 | 10 | 2 | 93696.79 |
Q_3_3 | 150 | 89959.65 | ||
Q_3_3_3 | 149 | 89358.01 | ||
RobotsD2 | 36 | 23 | 4 | 5623.94 |
RobotsD3 | 30 | 23 | 7 | 801.28 |
RobotsD4 | 35 | 15 | 15 | 441.74 |
RobotsD5 | 33 | 13 | 17 | 55.65 |
Strategic_Companies | 183 | 8 | 32 | 73218.34 |