Instances of family ASP_Program_Inclusion solved by xb-qsts
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
S-edau-43UNSAT2.49
T-edau-23UNSAT3.03
T-edau-20UNSAT3.04
T-edau-18UNSAT3.11
T-edau-8UNSAT3.43
S-edau-30UNSAT4.23
S-edau-7UNSAT4.37
S-edau-8UNSAT4.43
S-adeu-32UNSAT6.99
S-adeu-19UNSAT8.28
T-edau-26UNSAT8.44
T-adeu-6UNSAT8.52
T-edau-24UNSAT8.58
S-adeu-28UNSAT8.69
S-adeu-49UNSAT9.12
T-edau-2UNSAT9.42
T-adeu-9UNSAT9.9
S-edau-1UNSAT10.06
S-adeu-30UNSAT10.92
S-adeu-41UNSAT10.93
S-adeu-47UNSAT10.98
T-adeu-49UNSAT11.06
S-edau-34UNSAT11.21
S-adeu-15UNSAT11.34
S-adeu-6UNSAT11.49
T-adeu-42UNSAT11.5
T-adeu-10UNSAT11.63
T-adeu-15UNSAT11.71
T-adeu-25UNSAT12.2
S-edau-20UNSAT12.32
T-adeu-38UNSAT12.32
S-edau-23UNSAT12.39
T-edau-6UNSAT12.56
S-edau-17UNSAT12.81
T-adeu-7UNSAT12.91
S-adeu-29UNSAT14.63
T-adeu-39UNSAT14.89
T-edau-44UNSAT15.87
S-edau-29UNSAT16.09
T-edau-9UNSAT16.38