Instances of family ASP_Program_Inclusion solved by squeezebf+struqs
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
S-adeu-41FAIL599.71
S-edau-29FAIL599.71
T-adeu-25FAIL599.71
T-edau-18FAIL599.71
T-edau-8FAIL599.71
S-adeu-47FAIL599.71
T-adeu-38FAIL599.71
T-edau-20FAIL599.71
T-edau-9FAIL599.71
S-adeu-15FAIL599.71
S-adeu-49FAIL599.71
S-edau-34FAIL599.71
T-adeu-39FAIL599.71
T-edau-23FAIL599.71
S-adeu-19FAIL599.71
S-adeu-6FAIL599.71
S-edau-43FAIL599.71
T-adeu-42FAIL599.71
T-edau-24FAIL599.71
S-adeu-28FAIL599.71
S-edau-17FAIL599.71
T-adeu-49FAIL599.71
T-edau-26FAIL599.71
S-adeu-29FAIL599.71
S-edau-1FAIL599.71
S-edau-8FAIL599.71
T-adeu-6FAIL599.71
T-edau-2FAIL599.71
S-adeu-30FAIL599.71
T-adeu-10FAIL599.71
T-adeu-7FAIL599.71
S-adeu-32FAIL599.71
S-edau-23FAIL599.71
T-adeu-15FAIL599.71
T-adeu-9FAIL599.71
T-edau-6FAIL599.71
S-edau-30FAIL599.81
S-edau-7FAIL599.81
S-edau-20FAIL599.81
T-edau-44FAIL599.81