Instances of family ASP_Program_Inclusion solved by Qbfl
QBFEVAL'06

InstanceResultTime
T-edau-0UNSAT1.95
T-edau-6UNSAT2.17
T-edau-4UNSAT2.41
T-edau-1UNSAT2.78
T-edau-5UNSAT2.8
T-edau-2UNSAT3.33
T-edau-9UNSAT3.43
T-edau-3UNSAT4.14
T-edau-7UNSAT4.68
S-edau-0UNSAT9.64
S-edau-4UNSAT9.65
S-edau-6UNSAT9.75
S-edau-1UNSAT9.95
S-edau-2UNSAT10.76
S-edau-5UNSAT11.1
S-edau-9UNSAT11.53
S-edau-3UNSAT13.37
S-edau-7UNSAT13.85
S-adeu-6UNSAT36.31
S-adeu-0UNSAT37.29
T-edau-8UNSAT38.81
T-adeu-8UNSAT39.06
S-adeu-4UNSAT41.45
S-adeu-1UNSAT52.95
S-adeu-5UNSAT53.08
S-edau-8UNSAT64.46
S-adeu-2UNSAT66.46
S-adeu-9UNSAT77.16
T-adeu-7UNSAT89.8
S-adeu-3UNSAT92.32
S-adeu-7UNSAT97.27
T-adeu-4UNSAT102.63
T-adeu-5UNSAT298.68
T-adeu-9FAIL599.73
T-adeu-0FAIL599.96
T-adeu-1FAIL599.97
S-adeu-8UNSAT991.61
T-adeu-3UNSAT2424.62
T-adeu-6UNSAT3007.55
T-adeu-2UNSAT3263.73