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

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