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

InstanceResultTime
T-adeu-3UNSAT2.57
T-adeu-2UNSAT2.69
T-adeu-5UNSAT2.72
T-adeu-9UNSAT2.77
T-edau-5UNSAT2.78
T-edau-3UNSAT2.79
T-adeu-4UNSAT2.81
T-adeu-1UNSAT2.83
T-adeu-0UNSAT2.84
T-edau-9UNSAT2.9
T-adeu-6UNSAT2.92
T-adeu-8UNSAT2.95
T-edau-2UNSAT2.96
T-edau-0UNSAT2.96
T-edau-4UNSAT2.98
T-edau-1UNSAT3.12
T-edau-6UNSAT3.14
T-adeu-7UNSAT3.16
T-edau-8UNSAT3.27
T-edau-7UNSAT3.28
S-edau-7UNSAT11.36
S-edau-3UNSAT11.49
S-edau-2UNSAT11.52
S-edau-9UNSAT11.57
S-edau-4UNSAT11.73
S-edau-8UNSAT11.91
S-edau-1UNSAT11.93
S-edau-5UNSAT11.99
S-edau-6UNSAT12
S-edau-0UNSAT12.22
S-adeu-7UNSAT19.13
S-adeu-9UNSAT20.37
S-adeu-2UNSAT20.44
S-adeu-3UNSAT20.67
S-adeu-5UNSAT20.89
S-adeu-6UNSAT20.91
S-adeu-4UNSAT21.89
S-adeu-8UNSAT22.33
S-adeu-1UNSAT22.79
S-adeu-0UNSAT23.23