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

InstanceResultTime
S-edau-23UNSAT5.33
S-edau-17UNSAT5.44
S-edau-7UNSAT5.53
S-edau-29UNSAT5.58
S-adeu-32UNSAT5.61
T-edau-20UNSAT5.63
S-edau-20UNSAT5.64
S-adeu-47UNSAT5.98
S-adeu-28UNSAT6.04
S-adeu-29UNSAT6.06
S-adeu-15UNSAT6.19
T-edau-18UNSAT6.41
S-edau-30UNSAT6.45
S-adeu-30UNSAT6.55
T-adeu-15UNSAT6.62
T-adeu-25UNSAT6.74
S-adeu-49UNSAT7.07
S-edau-34UNSAT7.19
T-edau-23UNSAT8.33
T-adeu-49UNSAT8.62
S-edau-8UNSAT8.75
S-adeu-41UNSAT8.96
T-adeu-7UNSAT9.39
S-edau-43UNSAT9.63
T-adeu-39UNSAT12.61
T-adeu-6UNSAT12.74
T-edau-44UNSAT12.86
T-edau-8UNSAT12.95
T-edau-6UNSAT13.47
T-adeu-10UNSAT13.86
T-edau-2UNSAT14.75
T-adeu-9UNSAT15.63
T-edau-9UNSAT16.76
T-edau-26UNSAT18.46
T-edau-24UNSAT18.67
T-adeu-42UNSAT20.93
T-adeu-38UNSAT21.78
S-adeu-6UNSAT467.8
S-edau-1FAIL599.71
S-adeu-19FAIL599.81