Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
ASP_Program_Inclusion | 62 | 40 | 103.38 | |
CounterFactual | 271 | 27 | 21 | 69384.25 |
Model_instances | 248 | 21 | 15 | 64075.56 |
Q_2_2_3 | 150 | 89972.22 | ||
Q_2_3 | 188 | 20 | 54905.37 | |
Q_3_3 | 150 | 1 | 88184.91 | |
Q_3_3_3 | 149 | 89376.92 | ||
RobotsD2 | 36 | 21 | 4 | 8710.56 |
RobotsD3 | 30 | 22 | 6 | 3779.38 |
RobotsD4 | 35 | 15 | 15 | 2964.34 |
RobotsD5 | 33 | 13 | 17 | 2216.02 |
Strategic_Companies | 183 | 8 | 40 | 61332.83 |