Instances of family ASP_Program_Inclusion solved by GRL
QBFEVAL'06

InstanceResultTime
S-adeu-8UNSAT1.93
S-adeu-4UNSAT2.05
T-adeu-8UNSAT2.75
T-adeu-4UNSAT2.93
T-edau-6UNSAT6.69
T-edau-1UNSAT7.2
T-edau-0UNSAT7.43
T-edau-4UNSAT7.7
S-edau-6UNSAT8.09
T-edau-5UNSAT8.12
T-edau-7UNSAT8.23
S-edau-1UNSAT8.28
T-edau-3UNSAT8.37
S-edau-0UNSAT8.58
S-edau-4UNSAT8.86
S-edau-5UNSAT8.99
S-edau-3UNSAT9.02
S-edau-7UNSAT9.15
S-adeu-5UNSAT9.29
T-edau-8UNSAT9.58
T-edau-9UNSAT9.68
T-edau-2UNSAT9.77
S-edau-9UNSAT9.99
S-adeu-7UNSAT10.18
S-edau-8UNSAT10.27
S-edau-2UNSAT10.39
T-adeu-5UNSAT14.62
T-adeu-7UNSAT17.17
T-adeu-1FAIL600.75
T-adeu-0FAIL600.77
S-adeu-0FAIL600.77
T-adeu-6FAIL600.78
S-adeu-9FAIL600.81
T-adeu-9FAIL600.82
T-adeu-3FAIL600.82
S-adeu-3FAIL600.83
S-adeu-6FAIL600.84
S-adeu-1FAIL600.84
S-adeu-2FAIL600.87
T-adeu-2FAIL601.23