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

InstanceResultTime
T-adeu-15UNSAT1.09
T-adeu-49UNSAT1.1
T-edau-23UNSAT1.14
S-adeu-49UNSAT1.2
T-adeu-25UNSAT1.21
S-adeu-15UNSAT1.25
S-edau-23UNSAT1.27
T-adeu-39UNSAT1.29
T-edau-26UNSAT1.4
S-adeu-32UNSAT1.42
S-edau-34UNSAT1.43
T-adeu-7UNSAT1.44
T-edau-18UNSAT1.45
S-adeu-47UNSAT1.5
T-edau-8UNSAT1.51
S-adeu-19UNSAT1.53
S-edau-30UNSAT1.56
S-adeu-30UNSAT1.57
T-edau-9UNSAT1.58
S-edau-17UNSAT1.6
S-adeu-6UNSAT1.64
S-edau-7UNSAT1.64
S-edau-8UNSAT1.65
S-edau-29UNSAT1.65
T-edau-20UNSAT1.66
S-adeu-29UNSAT1.67
S-adeu-41UNSAT1.71
S-edau-43UNSAT1.75
T-adeu-9UNSAT1.76
S-edau-20UNSAT1.86
S-adeu-28UNSAT1.87
T-adeu-10UNSAT1.92
T-edau-2UNSAT1.97
S-edau-1UNSAT2.06
T-edau-6UNSAT2.09
T-edau-44UNSAT2.14
T-edau-24UNSAT2.16
T-adeu-38UNSAT2.21
T-adeu-42UNSAT2.22
T-adeu-6UNSAT2.58