Instances of family ASP_Program_Inclusion solved by qube3.0
QBFEVAL'06

InstanceResultTime
S-edau-2UNSAT0.85
S-edau-7UNSAT0.88
S-edau-4UNSAT0.93
S-edau-8UNSAT0.96
S-edau-6UNSAT0.97
S-edau-5UNSAT0.99
S-edau-1UNSAT1.03
S-edau-3UNSAT1.03
S-edau-0UNSAT1.15
S-adeu-6UNSAT1.31
S-edau-9UNSAT1.33
S-adeu-7UNSAT1.38
S-adeu-5UNSAT1.43
S-adeu-4UNSAT1.56
S-adeu-8UNSAT1.61
S-adeu-3UNSAT1.78
S-adeu-0UNSAT1.9
S-adeu-2UNSAT2.18
S-adeu-9UNSAT2.27
S-adeu-1UNSAT2.59
T-edau-4UNSAT2.96
T-edau-0UNSAT3.22
T-edau-9UNSAT3.34
T-adeu-4UNSAT3.35
T-edau-1UNSAT3.37
T-edau-3UNSAT3.44
T-edau-2UNSAT3.75
T-edau-6UNSAT3.93
T-edau-8UNSAT4.3
T-edau-5UNSAT4.38
T-adeu-0UNSAT4.55
T-adeu-9UNSAT4.84
T-edau-7UNSAT5.09
T-adeu-1UNSAT5.18
T-adeu-2UNSAT5.2
T-adeu-6UNSAT5.55
T-adeu-8UNSAT5.64
T-adeu-5UNSAT5.64
T-adeu-3UNSAT5.98
T-adeu-7UNSAT7.72