Instances of family ASP_Program_Inclusion solved by depqbf-v1
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
T-adeu-9UNSAT0.21
T-edau-6UNSAT0.21
T-adeu-25UNSAT0.21
T-edau-18UNSAT0.21
T-adeu-38UNSAT0.21
T-edau-9UNSAT0.21
T-edau-23UNSAT0.21
T-edau-26UNSAT0.21
T-adeu-6UNSAT0.21
T-edau-2UNSAT0.21
T-edau-44UNSAT0.21
T-adeu-15UNSAT0.31
T-edau-8UNSAT0.31
T-edau-20UNSAT0.31
T-adeu-42UNSAT0.31
T-adeu-49UNSAT0.31
T-edau-24UNSAT0.41
T-adeu-10UNSAT0.51
T-adeu-7UNSAT0.61
S-edau-23UNSAT1.31
S-adeu-41UNSAT1.31
S-adeu-15UNSAT1.31
S-adeu-19UNSAT1.31
S-adeu-6UNSAT1.31
S-adeu-49UNSAT1.32
S-adeu-32UNSAT1.41
S-edau-29UNSAT1.41
S-edau-34UNSAT1.41
S-edau-43UNSAT1.41
S-edau-17UNSAT1.41
S-adeu-29UNSAT1.41
S-edau-1UNSAT1.41
S-edau-8UNSAT1.41
S-adeu-47UNSAT1.51
S-edau-7UNSAT1.51
S-adeu-30UNSAT1.51
S-edau-20UNSAT1.51
S-edau-30UNSAT1.61
S-adeu-28UNSAT1.71
T-adeu-39UNSAT30.21