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

InstanceResultTime
T-edau-20UNSAT0.95
T-edau-18UNSAT0.98
S-edau-8UNSAT0.99
S-adeu-32UNSAT1.04
T-edau-8UNSAT1.06
T-edau-23UNSAT1.07
S-adeu-30UNSAT1.17
S-edau-17UNSAT1.23
S-edau-20UNSAT1.25
S-edau-30UNSAT1.26
S-edau-34UNSAT1.33
S-adeu-49UNSAT1.35
T-adeu-25UNSAT1.36
S-adeu-28UNSAT1.41
S-edau-7UNSAT1.66
S-edau-29UNSAT1.77
S-edau-23UNSAT1.88
S-edau-43UNSAT2.5
T-edau-6UNSAT3.42
T-edau-2UNSAT3.7
S-edau-1UNSAT4.15
T-adeu-6UNSAT4.51
T-edau-24UNSAT4.65
T-adeu-15UNSAT4.89
S-adeu-6UNSAT5.06
T-edau-26UNSAT5.07
S-adeu-29UNSAT5.28
T-adeu-42UNSAT5.4
T-edau-44UNSAT5.48
S-adeu-15UNSAT5.8
T-adeu-38UNSAT5.9
T-adeu-10UNSAT6.82
S-adeu-41UNSAT6.85
T-adeu-7UNSAT7.11
S-adeu-47UNSAT8.14
T-adeu-49UNSAT11.55
S-adeu-19UNSAT11.91
T-adeu-39UNSAT16.11
T-edau-9UNSAT18.53
T-adeu-9UNSAT21.33