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

InstanceResultTime
T-adeu-15UNSAT1.08
T-adeu-49UNSAT1.1
T-edau-23UNSAT1.13
T-adeu-25UNSAT1.2
S-adeu-49UNSAT1.2
S-adeu-15UNSAT1.24
S-edau-23UNSAT1.26
T-adeu-39UNSAT1.37
S-adeu-19UNSAT1.38
T-edau-26UNSAT1.38
S-adeu-32UNSAT1.41
S-edau-34UNSAT1.41
T-adeu-7UNSAT1.44
T-edau-18UNSAT1.44
S-adeu-47UNSAT1.49
T-edau-8UNSAT1.51
S-adeu-30UNSAT1.55
S-edau-30UNSAT1.56
T-edau-9UNSAT1.56
S-edau-17UNSAT1.58
S-edau-7UNSAT1.61
T-edau-44UNSAT1.62
S-adeu-6UNSAT1.62
S-adeu-41UNSAT1.64
S-edau-8UNSAT1.64
S-adeu-29UNSAT1.65
S-edau-29UNSAT1.66
T-edau-20UNSAT1.66
S-edau-43UNSAT1.75
T-adeu-9UNSAT1.79
T-edau-2UNSAT1.81
T-adeu-10UNSAT1.84
S-edau-20UNSAT1.85
S-adeu-28UNSAT1.85
T-edau-6UNSAT1.93
T-edau-24UNSAT1.96
T-adeu-38UNSAT2.16
T-adeu-42UNSAT2.16
S-edau-1UNSAT2.18
T-adeu-6UNSAT2.51