Instances of family ASP_Program_Inclusion solved by struqs-10
QBFEVAL'10 - Random QBFs Track.

InstanceResultTime
S-edau-1FAIL1200.07
T-adeu-7FAIL1200.07
T-adeu-9FAIL1200.07
S-adeu-6FAIL1200.07
S-edau-4FAIL1200.07
S-adeu-0FAIL1200.07
T-edau-2FAIL1200.07
S-edau-8FAIL1200.07
T-adeu-6FAIL1200.07
S-adeu-3FAIL1200.08
S-edau-9FAIL1200.08
T-edau-5FAIL1200.08
S-adeu-4FAIL1200.08
T-adeu-8FAIL1200.08
S-adeu-5FAIL1200.08
S-edau-3FAIL1200.08
T-adeu-1FAIL1200.08
T-edau-7FAIL1200.08
T-adeu-2FAIL1200.08
T-edau-0FAIL1200.08
S-edau-5FAIL1200.08
T-adeu-3FAIL1200.08
T-edau-9FAIL1200.08
S-adeu-8FAIL1200.08
S-edau-6FAIL1200.08
T-adeu-4FAIL1200.08
S-adeu-1FAIL1200.08
S-adeu-9FAIL1200.08
T-adeu-5FAIL1200.08
T-edau-3FAIL1200.08
S-adeu-2FAIL1200.08
S-edau-0FAIL1200.08
T-edau-4FAIL1200.08
S-edau-2FAIL1200.09
T-adeu-0FAIL1200.09
T-edau-6FAIL1200.09
T-edau-8FAIL1200.09
S-adeu-7FAIL1200.09
T-edau-1FAIL1200.09
S-edau-7FAIL1200.09