Instances of family ASP_Program_Inclusion solved by SQBF
QBFEVAL'06

InstanceResultTime
T-adeu-9FAIL4132.15
S-edau-8FAIL6000.42
T-adeu-6FAIL6000.42
T-edau-4FAIL6000.42
S-adeu-2FAIL6000.42
S-edau-0FAIL6000.42
S-edau-9FAIL6000.42
T-adeu-7FAIL6000.42
T-edau-5FAIL6000.42
S-adeu-3FAIL6000.42
S-edau-1FAIL6000.42
S-edau-2FAIL6000.42
T-adeu-0FAIL6000.42
T-adeu-8FAIL6000.42
T-edau-6FAIL6000.42
S-adeu-4FAIL6000.42
S-edau-3FAIL6000.42
T-adeu-1FAIL6000.42
T-edau-7FAIL6000.42
S-adeu-5FAIL6000.42
S-edau-4FAIL6000.42
T-adeu-2FAIL6000.42
T-edau-0FAIL6000.42
T-edau-8FAIL6000.42
S-adeu-6FAIL6000.42
S-edau-5FAIL6000.42
T-adeu-3FAIL6000.42
T-edau-1FAIL6000.42
T-edau-9FAIL6000.42
S-adeu-7FAIL6000.42
S-edau-6FAIL6000.42
T-adeu-4FAIL6000.42
T-edau-2FAIL6000.42
S-adeu-0FAIL6000.42
S-adeu-8FAIL6000.42
S-edau-7FAIL6000.42
T-adeu-5FAIL6000.42
T-edau-3FAIL6000.42
S-adeu-1FAIL6000.42
S-adeu-9FAIL6000.42