Instances of family ASP_Program_Inclusion solved by qube4.0
QBFEVAL'06

InstanceResultTime
S-edau-0UNSAT0.86
S-edau-5UNSAT0.87
S-edau-2UNSAT0.88
T-edau-3UNSAT0.9
S-edau-3UNSAT0.9
S-edau-6UNSAT0.91
S-edau-8UNSAT0.91
S-edau-1UNSAT0.92
T-edau-2UNSAT0.94
S-edau-7UNSAT0.97
S-edau-4UNSAT1.02
S-edau-9UNSAT1.09
T-edau-8UNSAT1.13
T-adeu-3UNSAT1.38
S-adeu-0UNSAT1.51
S-adeu-8UNSAT1.55
S-adeu-6UNSAT1.58
S-adeu-7UNSAT1.58
T-edau-7UNSAT1.6
T-adeu-2UNSAT1.62
S-adeu-1UNSAT1.65
S-adeu-3UNSAT1.76
S-adeu-4UNSAT1.77
S-adeu-9UNSAT1.81
T-edau-5UNSAT1.98
T-edau-4UNSAT2.14
S-adeu-2UNSAT2.21
S-adeu-5UNSAT2.37
T-adeu-4UNSAT2.55
T-adeu-7UNSAT2.82
T-adeu-8UNSAT3.27
T-adeu-5UNSAT3.47
T-edau-6UNSAT5.75
T-adeu-6UNSAT7.51
T-edau-0UNSAT8.94
T-edau-1UNSAT9.56
T-edau-9UNSAT10.3
T-adeu-9UNSAT11.52
T-adeu-0UNSAT13.8
T-adeu-1UNSAT23.27