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

InstanceResultTime
T-edau-7UNSAT3.38
T-edau-9UNSAT3.46
T-edau-6UNSAT3.52
T-adeu-6UNSAT3.59
T-adeu-5UNSAT3.59
T-edau-5UNSAT3.73
T-edau-8UNSAT4.11
T-adeu-1UNSAT4.21
T-edau-1UNSAT4.44
T-adeu-2UNSAT4.5
T-edau-2UNSAT4.56
T-edau-4UNSAT4.6
T-adeu-4UNSAT5.2
T-adeu-8UNSAT5.55
T-edau-0UNSAT6.4
T-adeu-7UNSAT6.92
T-adeu-0UNSAT7.36
T-adeu-9UNSAT7.38
T-edau-3UNSAT7.46
T-adeu-3UNSAT7.92
S-edau-8UNSAT35.22
S-edau-9UNSAT36.5
S-edau-7UNSAT42.38
S-edau-5UNSAT95.95
S-adeu-4UNSAT200.37
S-adeu-5UNSAT218.6
S-adeu-8UNSAT302.25
S-edau-1FAIL599.44
S-edau-3FAIL639.85
S-edau-2FAIL686.33
S-edau-4FAIL751.48
S-edau-0FAIL767.28
S-edau-6FAIL931.25
S-adeu-7UNSAT1193.76
S-adeu-6FAIL1914.54
S-adeu-3FAIL2231.27
S-adeu-9FAIL2365.73
S-adeu-1FAIL2409.47
S-adeu-0FAIL2801.5
S-adeu-2FAIL3236.82