Instances of family ASP_Program_Inclusion solved by ssolve-ut
QBFEVAL'06

InstanceResultTime
T-adeu-9UNSAT0.61
T-adeu-3UNSAT0.67
T-adeu-5UNSAT0.71
T-adeu-2UNSAT0.72
T-edau-5UNSAT0.77
T-adeu-4UNSAT0.79
T-edau-3UNSAT0.8
T-adeu-1UNSAT0.82
T-edau-9UNSAT0.82
T-adeu-6UNSAT0.88
T-adeu-0UNSAT0.91
T-edau-2UNSAT0.92
T-adeu-8UNSAT0.95
T-edau-4UNSAT1.02
T-edau-0UNSAT1.03
T-adeu-7UNSAT1.06
T-edau-1UNSAT1.12
T-edau-6UNSAT1.17
T-edau-7UNSAT1.28
T-edau-8UNSAT1.29
S-edau-7UNSAT3.24
S-edau-2UNSAT3.25
S-edau-9UNSAT3.33
S-edau-3UNSAT3.48
S-edau-8UNSAT3.53
S-edau-4UNSAT3.61
S-edau-5UNSAT3.75
S-edau-1UNSAT3.78
S-edau-6UNSAT3.85
S-edau-0UNSAT4.08
S-adeu-7UNSAT11.58
S-adeu-2UNSAT12.22
S-adeu-9UNSAT12.36
S-adeu-3UNSAT12.8
S-adeu-5UNSAT12.93
S-adeu-6UNSAT13.29
S-adeu-4UNSAT13.53
S-adeu-8UNSAT14.24
S-adeu-0UNSAT14.99
S-adeu-1UNSAT15.11