Instances of family ASP_Program_Inclusion solved by semprop
QBFEVAL'06

InstanceResultTime
T-edau-1UNSAT0.16
T-edau-8UNSAT0.17
T-edau-3UNSAT0.2
T-edau-9UNSAT0.2
T-edau-4UNSAT0.27
T-edau-5UNSAT0.29
T-adeu-1UNSAT0.33
T-edau-2UNSAT0.35
T-adeu-5UNSAT0.46
T-edau-7UNSAT0.46
T-adeu-8UNSAT0.48
T-adeu-3UNSAT0.5
T-adeu-7UNSAT0.55
T-adeu-4UNSAT0.56
T-edau-6UNSAT0.82
T-adeu-9UNSAT1.19
T-edau-0UNSAT1.73
T-adeu-2UNSAT1.97
T-adeu-6UNSAT2.11
S-edau-8UNSAT3.19
S-edau-5UNSAT3.19
S-edau-1UNSAT3.21
S-edau-9UNSAT3.23
S-edau-3UNSAT3.28
S-adeu-8UNSAT3.28
S-adeu-9UNSAT3.29
S-adeu-3UNSAT3.29
S-adeu-1UNSAT3.32
S-edau-4UNSAT3.45
S-adeu-5UNSAT3.47
S-adeu-7UNSAT3.82
S-adeu-4UNSAT3.85
S-edau-2UNSAT3.85
S-edau-7UNSAT3.96
T-adeu-0UNSAT4.72
S-edau-6UNSAT4.79
S-adeu-6UNSAT6.58
S-edau-0UNSAT8.15
S-adeu-2UNSAT8.23
S-adeu-0UNSAT16.16