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

InstanceResultTime
T-edau-20UNSAT0.97
T-edau-18UNSAT0.98
S-edau-8UNSAT1.02
S-adeu-32UNSAT1.04
T-edau-8UNSAT1.07
T-edau-23UNSAT1.08
S-adeu-30UNSAT1.18
S-edau-20UNSAT1.24
S-edau-17UNSAT1.24
S-edau-30UNSAT1.29
S-adeu-49UNSAT1.36
S-edau-34UNSAT1.36
T-adeu-25UNSAT1.37
S-adeu-28UNSAT1.44
S-edau-7UNSAT1.66
S-edau-29UNSAT1.79
S-edau-23UNSAT1.88
S-edau-43UNSAT2.53
T-edau-6UNSAT6.75
T-edau-2UNSAT7.45
T-adeu-6UNSAT8.35
S-adeu-6UNSAT8.87
T-edau-26UNSAT9.66
T-edau-44UNSAT10.07
T-adeu-38UNSAT10.39
T-adeu-42UNSAT10.52
T-edau-24UNSAT11.11
S-adeu-29UNSAT11.42
T-adeu-15UNSAT12.09
S-edau-1UNSAT12.11
T-adeu-10UNSAT12.43
T-adeu-7UNSAT14.16
S-adeu-41UNSAT15.55
S-adeu-15UNSAT15.68
S-adeu-47UNSAT15.93
S-adeu-19UNSAT17.18
T-adeu-49UNSAT17.55
T-adeu-39UNSAT23.12
T-edau-9UNSAT36.64
T-adeu-9UNSAT40.33