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

InstanceResultTime
S-adeu-15UNSAT1.23
T-edau-26UNSAT1.76
T-adeu-10UNSAT2.24
T-edau-6UNSAT2.4
S-edau-29UNSAT2.47
T-adeu-6UNSAT2.52
T-adeu-38UNSAT2.53
S-adeu-6UNSAT2.53
S-adeu-19UNSAT2.6
S-edau-20UNSAT2.63
T-adeu-25UNSAT2.63
T-edau-9UNSAT2.63
S-adeu-30UNSAT2.64
S-adeu-32UNSAT2.64
S-adeu-29UNSAT2.71
S-adeu-47UNSAT2.76
T-adeu-42UNSAT2.78
T-adeu-39UNSAT2.9
S-adeu-28UNSAT2.95
S-adeu-41UNSAT2.98
S-edau-7UNSAT3.04
T-adeu-9UNSAT3.06
T-edau-44UNSAT3.11
S-edau-1UNSAT3.23
T-edau-2UNSAT3.28
S-edau-8UNSAT3.33
T-edau-24UNSAT3.35
S-adeu-49UNSAT3.36
T-edau-8UNSAT3.46
T-adeu-15UNSAT3.51
S-edau-17UNSAT3.56
S-edau-30UNSAT3.63
T-adeu-7UNSAT3.71
T-edau-23UNSAT3.86
T-edau-18UNSAT3.89
T-adeu-49UNSAT3.96
S-edau-34UNSAT4.29
T-edau-20UNSAT4.42
S-edau-23UNSAT4.84
S-edau-43UNSAT6.08