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

InstanceResultTime
S-edau-5UNSAT0.86
T-edau-2UNSAT0.9
S-edau-6UNSAT0.94
S-edau-2UNSAT1.06
S-edau-7UNSAT1.12
S-edau-9UNSAT2.11
S-edau-1UNSAT2.22
S-edau-3UNSAT2.31
T-adeu-4UNSAT2.76
S-edau-4UNSAT2.89
S-edau-8UNSAT3.01
T-adeu-8UNSAT3.1
S-adeu-4UNSAT3.96
S-edau-0UNSAT4.11
T-edau-8UNSAT4.21
S-adeu-8UNSAT4.85
T-edau-0UNSAT5.23
T-adeu-5UNSAT5.9
T-edau-4UNSAT8.45
T-edau-6UNSAT8.72
T-edau-7UNSAT10.79
T-edau-1UNSAT11.76
S-adeu-5UNSAT12.6
T-edau-9UNSAT14.4
T-edau-3UNSAT14.71
T-edau-5UNSAT20.66
S-adeu-7UNSAT25.5
T-adeu-7UNSAT47.04
T-adeu-6UNSAT60.76
T-adeu-9UNSAT65.86
T-adeu-1UNSAT66.4
T-adeu-2UNSAT71.34
S-adeu-9UNSAT114.7
T-adeu-0UNSAT121.08
S-adeu-3UNSAT157.96
S-adeu-1UNSAT176.14
S-adeu-6UNSAT200.41
T-adeu-3UNSAT202.37
S-adeu-2UNSAT211.7
S-adeu-0UNSAT719.75