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

InstanceResultTime
T-adeu-49UNSAT1.09
T-adeu-15UNSAT1.1
T-edau-23UNSAT1.14
T-adeu-25UNSAT1.23
S-adeu-15UNSAT1.23
S-adeu-49UNSAT1.23
S-edau-23UNSAT1.25
T-adeu-39UNSAT1.29
S-adeu-19UNSAT1.35
T-adeu-38UNSAT1.37
S-edau-34UNSAT1.4
T-adeu-7UNSAT1.44
T-edau-18UNSAT1.44
T-edau-44UNSAT1.45
S-adeu-32UNSAT1.45
T-edau-8UNSAT1.49
T-edau-9UNSAT1.49
S-adeu-47UNSAT1.5
T-edau-26UNSAT1.53
S-adeu-30UNSAT1.53
T-adeu-9UNSAT1.54
S-edau-30UNSAT1.55
S-edau-17UNSAT1.57
T-adeu-10UNSAT1.57
T-edau-2UNSAT1.59
S-edau-7UNSAT1.6
T-edau-20UNSAT1.62
S-adeu-6UNSAT1.63
T-adeu-42UNSAT1.63
S-edau-8UNSAT1.63
S-adeu-41UNSAT1.63
S-edau-29UNSAT1.65
S-adeu-29UNSAT1.66
S-edau-43UNSAT1.75
T-edau-6UNSAT1.76
T-edau-24UNSAT1.8
S-edau-20UNSAT1.82
S-adeu-28UNSAT1.87
S-edau-1UNSAT1.88
T-adeu-6UNSAT1.94