Instances of family ASP_Program_Inclusion solved by depqbf-pre
QBFEVAL'10 - Random QBFs Track.

InstanceResultTime
S-adeu-7UNSAT0.4
T-adeu-4UNSAT0.4
T-adeu-8UNSAT0.41
S-adeu-4UNSAT0.42
S-adeu-5UNSAT0.43
T-adeu-5UNSAT0.44
S-adeu-8UNSAT0.46
T-edau-4UNSAT0.6
T-edau-3UNSAT0.6
T-edau-2UNSAT0.61
S-edau-5UNSAT0.62
T-edau-9UNSAT0.62
T-edau-1UNSAT0.62
T-edau-8UNSAT0.63
T-edau-7UNSAT0.63
S-edau-6UNSAT0.64
S-edau-0UNSAT0.64
S-edau-8UNSAT0.64
T-edau-0UNSAT0.64
S-edau-7UNSAT0.64
T-edau-5UNSAT0.65
T-edau-6UNSAT0.65
S-edau-9UNSAT0.66
S-edau-2UNSAT0.66
S-edau-3UNSAT0.68
S-edau-1UNSAT0.71
S-edau-4UNSAT0.75
T-adeu-7UNSAT0.76
T-adeu-3UNSAT1.68
T-adeu-9UNSAT1.73
S-adeu-6UNSAT2.15
T-adeu-1UNSAT2.2
T-adeu-2UNSAT2.25
T-adeu-6UNSAT2.37
S-adeu-3UNSAT2.48
S-adeu-1UNSAT2.68
S-adeu-9UNSAT2.84
S-adeu-0UNSAT3.03
S-adeu-2UNSAT3.12
T-adeu-0UNSAT4.86