Family | Overall | Time | Reference solver | |||
---|---|---|---|---|---|---|
N | # | S | U | |||
ASP_Program_Inclusion | 40 | 40 | 0 | 40 | 47.99 | depqbf-pre |
CounterFactual | 80 | 80 | 44 | 36 | 329.14 | depqbf-pre |
q2k3k3 | 270 | 161 | 112 | 49 | 12394.9 | aqme-10 |
RobotsD2 | 30 | 29 | 25 | 4 | 1476.96 | aqme-10 |
RobotsD3 | 30 | 30 | 21 | 9 | 5422.24 | QuBE7 |
RobotsD4 | 30 | 30 | 20 | 10 | 234.47 | aqme-10 |
RobotsD5 | 30 | 30 | 21 | 9 | 328.06 | aqme-10 |
Strategic_Companies | 40 | 32 | 3 | 29 | 1080.8 | QuBE7 |