Instances of family ASP_Program_Inclusion solved by sKizzo-0.9-grn
QBFEVAL'06

InstanceResultTime
T-edau-9UNSAT5.01
T-edau-5UNSAT5.65
T-edau-7UNSAT5.86
T-edau-1UNSAT6.71
T-edau-6UNSAT6.94
T-edau-8UNSAT7.15
T-edau-0UNSAT7.75
T-edau-2UNSAT8.69
T-edau-4UNSAT8.95
T-adeu-5UNSAT9.75
T-adeu-8UNSAT11.44
T-edau-3UNSAT14.2
T-adeu-1UNSAT16.13
T-adeu-4UNSAT16.28
T-adeu-7UNSAT18.13
T-adeu-6UNSAT18.21
T-adeu-0UNSAT25.68
T-adeu-2UNSAT26.18
T-adeu-9UNSAT38.52
T-adeu-3UNSAT50.64
S-adeu-5UNSAT95.61
S-adeu-7UNSAT112.51
S-adeu-8UNSAT170.87
S-adeu-4UNSAT177.71
S-edau-7FAIL515.55
S-edau-9FAIL545.71
S-edau-1FAIL558.12
S-edau-3FAIL597.02
S-edau-2FAIL656.44
S-edau-0FAIL682.91
S-edau-8FAIL690.14
S-edau-4FAIL736.35
S-edau-5FAIL845.89
S-edau-6FAIL878.8
S-adeu-3FAIL1869.14
S-adeu-9FAIL2216.77
S-adeu-1FAIL2653.49
S-adeu-6FAIL2658.21
S-adeu-0FAIL2790.63
S-adeu-2FAIL2792.67