Instances of family ASP_Program_Inclusion solved by 2clsQ
QBFEVAL'06

InstanceResultTime
S-edau-3UNSAT84.13
S-edau-7UNSAT88.69
S-edau-0UNSAT93.41
T-edau-5UNSAT94.79
T-edau-9UNSAT95.4
T-edau-0UNSAT96.09
T-edau-2UNSAT96.13
T-edau-3UNSAT96.88
T-edau-8UNSAT97.01
T-edau-1UNSAT97.07
T-edau-4UNSAT103.08
T-adeu-8UNSAT104.05
S-edau-8UNSAT104.34
T-adeu-4UNSAT105.73
S-edau-9UNSAT106.38
T-edau-7UNSAT106.76
S-edau-1UNSAT124.53
S-edau-6UNSAT127.6
S-edau-4UNSAT136.13
T-edau-6UNSAT143.26
S-edau-5UNSAT147.43
S-adeu-8UNSAT159.83
S-edau-2UNSAT162.99
S-adeu-4UNSAT175.88
T-adeu-5UNSAT186.56
T-adeu-7UNSAT242.36
S-adeu-5UNSAT270.07
S-adeu-7UNSAT473.94
T-adeu-3FAIL6000.42
S-adeu-0FAIL6000.42
S-adeu-9FAIL6000.42
S-adeu-1FAIL6000.42
T-adeu-6FAIL6000.42
S-adeu-2FAIL6000.42
S-adeu-3FAIL6000.42
T-adeu-0FAIL6000.42
T-adeu-1FAIL6000.42
T-adeu-9FAIL6000.42
S-adeu-6FAIL6000.42
T-adeu-2FAIL6000.42