Instances of family ASP_Program_Inclusion solved by WalkQSAT
QBFEVAL'06

InstanceResultTime
T-adeu-5UNSAT0.51
S-adeu-5UNSAT0.57
T-adeu-8UNSAT0.96
T-adeu-4UNSAT1.54
S-adeu-4UNSAT1.67
T-edau-0UNSAT4.48
T-adeu-7UNSAT5.16
S-adeu-8UNSAT6.22
T-edau-3UNSAT10.01
T-edau-6UNSAT15.99
S-adeu-7UNSAT16.46
T-edau-1UNSAT19.41
T-edau-8UNSAT28.8
T-edau-2UNSAT39.34
T-edau-4UNSAT45.97
S-edau-3UNSAT80.88
T-edau-5UNSAT83.47
T-edau-7UNSAT134.06
S-edau-9UNSAT180.63
S-edau-8UNSAT220.23
S-edau-5UNSAT232.1
S-edau-4UNSAT303.33
S-adeu-1UNSAT435.7
S-adeu-0UNSAT441.08
S-adeu-9UNSAT460.57
S-adeu-2UNSAT464.85
T-adeu-6UNSAT465.25
T-adeu-0UNSAT466.56
S-adeu-6UNSAT475.61
S-adeu-3UNSAT490.55
T-adeu-9UNSAT528.77
T-adeu-2UNSAT535.04
T-adeu-1UNSAT538.88
T-adeu-3UNSAT539.96
S-edau-0FAIL600.98
S-edau-2FAIL600.99
S-edau-7FAIL601
S-edau-1FAIL601
T-edau-9FAIL601
S-edau-6FAIL601