Instances of family ASP_Program_Inclusion solved by sSolve
QBFEVAL'06

InstanceResultTime
T-adeu-2UNSAT0.65
T-adeu-5UNSAT0.68
T-adeu-3UNSAT0.7
T-adeu-9UNSAT0.76
T-edau-5UNSAT0.77
T-edau-3UNSAT0.81
T-edau-9UNSAT0.84
T-adeu-0UNSAT0.88
T-adeu-1UNSAT0.88
T-adeu-4UNSAT0.9
T-edau-0UNSAT0.95
T-edau-2UNSAT0.96
T-adeu-8UNSAT1
T-adeu-6UNSAT1
T-edau-1UNSAT1.05
T-edau-4UNSAT1.06
T-edau-6UNSAT1.07
T-adeu-7UNSAT1.12
T-edau-8UNSAT1.31
T-edau-7UNSAT1.33
S-edau-7UNSAT4.33
S-edau-2UNSAT4.4
S-edau-9UNSAT4.51
S-edau-3UNSAT4.57
S-edau-4UNSAT4.7
S-edau-5UNSAT4.77
S-edau-8UNSAT4.79
S-edau-1UNSAT4.83
S-edau-6UNSAT4.96
S-edau-0UNSAT5.01
S-adeu-7UNSAT12.04
S-adeu-2UNSAT13.43
S-adeu-3UNSAT13.44
S-adeu-9UNSAT13.53
S-adeu-5UNSAT13.65
S-adeu-6UNSAT13.89
S-adeu-4UNSAT15.15
S-adeu-8UNSAT15.62
S-adeu-1UNSAT15.83
S-adeu-0UNSAT16.55