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

InstanceResultTime
T-adeu-6UNSAT6.31
T-edau-6UNSAT6.41
T-adeu-38UNSAT6.52
S-adeu-32UNSAT6.62
S-adeu-47UNSAT6.81
T-edau-26UNSAT6.81
T-adeu-25UNSAT7.01
T-edau-18UNSAT7.11
T-edau-2UNSAT7.21
S-adeu-6UNSAT7.31
T-adeu-42UNSAT7.31
T-edau-9UNSAT7.41
T-edau-44UNSAT7.62
T-adeu-7UNSAT7.72
T-edau-24UNSAT7.72
T-adeu-9UNSAT7.82
S-edau-8UNSAT8.01
S-adeu-30UNSAT8.11
T-adeu-10UNSAT8.11
S-adeu-19UNSAT8.11
S-adeu-29UNSAT8.31
S-edau-7UNSAT8.41
S-edau-20UNSAT8.51
S-edau-30UNSAT8.51
S-edau-29UNSAT8.61
S-adeu-49UNSAT8.61
T-edau-8UNSAT8.72
T-adeu-15UNSAT8.82
S-edau-34UNSAT8.82
T-adeu-39UNSAT8.91
T-edau-20UNSAT9.01
S-adeu-15UNSAT9.01
S-adeu-28UNSAT9.01
S-adeu-41UNSAT9.11
T-adeu-49UNSAT9.11
S-edau-1UNSAT9.31
T-edau-23UNSAT9.41
S-edau-43UNSAT9.41
S-edau-17UNSAT9.61
S-edau-23UNSAT9.71