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

InstanceResultTime
T-edau-26UNSAT1.64
S-edau-29UNSAT2.08
T-adeu-10UNSAT2.27
S-edau-20UNSAT2.33
T-edau-6UNSAT2.33
T-adeu-38UNSAT2.36
T-adeu-6UNSAT2.4
S-adeu-15UNSAT2.41
T-edau-9UNSAT2.43
T-adeu-42UNSAT2.48
S-edau-7UNSAT2.69
S-adeu-19UNSAT2.8
T-edau-44UNSAT2.81
S-edau-8UNSAT2.83
S-adeu-6UNSAT2.88
T-adeu-9UNSAT2.91
T-edau-8UNSAT3.01
S-edau-1UNSAT3.05
T-edau-2UNSAT3.09
S-edau-17UNSAT3.11
T-edau-24UNSAT3.11
T-edau-23UNSAT3.16
S-edau-30UNSAT3.19
S-adeu-28UNSAT3.3
S-edau-34UNSAT3.34
T-adeu-25UNSAT3.53
S-adeu-30UNSAT3.79
T-edau-18UNSAT3.87
S-adeu-41UNSAT3.92
S-adeu-29UNSAT4.14
T-adeu-15UNSAT4.17
S-edau-23UNSAT4.21
S-adeu-47UNSAT4.41
S-adeu-32UNSAT4.51
T-edau-20UNSAT4.54
S-adeu-49UNSAT4.57
T-adeu-49UNSAT4.59
T-adeu-7UNSAT4.87
S-edau-43UNSAT5.43
T-adeu-39UNSAT6.44