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

InstanceResultTime
S-edau-0UNSAT1.01
T-edau-3UNSAT1.02
S-edau-6UNSAT1.03
S-edau-2UNSAT1.06
S-edau-5UNSAT1.06
S-edau-8UNSAT1.07
T-edau-2UNSAT1.08
S-edau-1UNSAT1.09
S-edau-7UNSAT1.1
S-edau-3UNSAT1.1
S-edau-4UNSAT1.18
T-edau-8UNSAT1.26
S-edau-9UNSAT1.28
T-adeu-3UNSAT1.54
S-adeu-0UNSAT1.67
T-edau-7UNSAT1.74
S-adeu-7UNSAT1.74
S-adeu-8UNSAT1.74
S-adeu-6UNSAT1.78
T-adeu-2UNSAT1.78
S-adeu-1UNSAT1.84
S-adeu-3UNSAT1.89
S-adeu-4UNSAT1.99
S-adeu-9UNSAT2.01
T-edau-5UNSAT2.14
T-edau-4UNSAT2.31
S-adeu-2UNSAT2.35
S-adeu-5UNSAT2.56
T-adeu-4UNSAT2.74
T-adeu-7UNSAT3
T-adeu-8UNSAT3.39
T-adeu-5UNSAT3.63
T-edau-6UNSAT5.95
T-adeu-6UNSAT7.63
T-edau-0UNSAT9.18
T-edau-1UNSAT9.76
T-edau-9UNSAT10.54
T-adeu-9UNSAT11.72
T-adeu-0UNSAT14.03
T-adeu-1UNSAT23.47