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

InstanceResultTime
T-edau-7UNSAT3.45
T-edau-9UNSAT3.46
T-adeu-6UNSAT3.6
T-edau-6UNSAT3.69
T-edau-5UNSAT3.77
T-adeu-5UNSAT3.78
T-edau-8UNSAT4.25
T-adeu-1UNSAT4.3
T-edau-1UNSAT4.39
T-adeu-2UNSAT4.67
T-edau-2UNSAT4.7
T-edau-4UNSAT4.75
T-adeu-4UNSAT5.4
T-adeu-8UNSAT5.7
T-edau-0UNSAT6.38
T-adeu-7UNSAT7.19
T-adeu-9UNSAT7.45
T-edau-3UNSAT7.51
T-adeu-0UNSAT7.6
T-adeu-3UNSAT8.39
S-edau-8UNSAT35.76
S-edau-9UNSAT37.65
S-edau-7UNSAT43.16
S-edau-5UNSAT96.38
S-adeu-4UNSAT204.96
S-adeu-5UNSAT220.91
S-adeu-8UNSAT331.65
S-edau-1FAIL496.6
S-edau-3FAIL523.39
S-edau-2FAIL566.42
S-edau-4FAIL599.36
S-edau-0FAIL629.96
S-edau-6FAIL790.62
S-adeu-7UNSAT1252.89
S-adeu-1FAIL1564.13
S-adeu-3FAIL1565.38
S-adeu-9FAIL1707.94
S-adeu-6FAIL1724.41
S-adeu-2FAIL1935.87
S-adeu-0FAIL2092.68