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

InstanceResultTime
T-edau-6UNSAT0.33
T-edau-20UNSAT0.35
T-edau-44UNSAT0.36
T-edau-9UNSAT0.37
T-edau-2UNSAT0.42
T-edau-18UNSAT0.42
T-edau-8UNSAT0.42
T-edau-26UNSAT0.42
T-edau-24UNSAT0.43
T-edau-23UNSAT0.44
S-edau-29UNSAT0.66
S-edau-34UNSAT0.67
S-edau-7UNSAT0.68
S-edau-30UNSAT0.69
S-edau-43UNSAT0.69
S-edau-17UNSAT0.7
S-edau-23UNSAT0.72
S-edau-1UNSAT0.76
S-edau-8UNSAT0.82
S-edau-20UNSAT0.83
S-adeu-47UNSAT1.96
S-adeu-19UNSAT2.06
S-adeu-28UNSAT2.08
S-adeu-29UNSAT2.1
T-adeu-15UNSAT2.13
S-adeu-49UNSAT2.14
S-adeu-15UNSAT2.22
S-adeu-32UNSAT2.27
S-adeu-6UNSAT2.28
S-adeu-30UNSAT2.3
S-adeu-41UNSAT2.32
T-adeu-25UNSAT2.92
T-adeu-49UNSAT7.13
T-adeu-7UNSAT9.05
T-adeu-39UNSAT20.98
T-adeu-42UNSAT38
T-adeu-38UNSAT51.62
T-adeu-6UNSAT81.57
T-adeu-10UNSAT96.84
T-adeu-9UNSAT185.87