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

InstanceResultTime
T-edau-20UNSAT0.96
T-edau-18UNSAT0.98
S-edau-8UNSAT1
S-adeu-32UNSAT1.05
T-edau-8UNSAT1.06
T-edau-23UNSAT1.08
S-adeu-30UNSAT1.18
S-edau-20UNSAT1.24
S-edau-17UNSAT1.25
S-edau-30UNSAT1.3
S-edau-34UNSAT1.35
T-adeu-25UNSAT1.37
S-adeu-49UNSAT1.37
S-adeu-28UNSAT1.44
S-edau-7UNSAT1.66
S-edau-29UNSAT1.79
S-edau-23UNSAT1.88
S-edau-43UNSAT2.51
T-edau-6UNSAT3.39
T-edau-2UNSAT3.71
S-edau-1UNSAT4.15
T-adeu-6UNSAT4.55
T-edau-24UNSAT4.68
T-adeu-15UNSAT4.91
S-adeu-6UNSAT4.92
T-edau-26UNSAT5.07
S-adeu-29UNSAT5.28
T-edau-44UNSAT5.52
T-adeu-42UNSAT5.6
S-adeu-15UNSAT5.82
T-adeu-38UNSAT5.89
T-adeu-10UNSAT6.9
S-adeu-41UNSAT6.94
T-adeu-7UNSAT7.14
S-adeu-47UNSAT8.17
T-adeu-49UNSAT11.56
S-adeu-19UNSAT12.32
T-adeu-39UNSAT16.13
T-edau-9UNSAT18.57
T-adeu-9UNSAT21.4