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

InstanceResultTime
S-edau-43FAIL2.52
T-edau-20FAIL3.07
T-edau-23FAIL3.08
T-edau-18FAIL3.18
T-edau-8FAIL3.39
S-edau-30FAIL4.29
S-edau-7FAIL4.42
S-edau-8FAIL4.49
T-adeu-38FAIL235.34
T-adeu-6FAIL269.04
T-edau-9FAIL277.04
T-adeu-9FAIL292.84
T-edau-6FAIL298.34
S-adeu-32FAIL336.14
T-edau-26FAIL356.65
S-adeu-19FAIL359.85
T-edau-2FAIL362.15
T-adeu-10FAIL372.65
S-edau-1FAIL403.75
T-edau-44FAIL447.94
T-adeu-42FAIL453.35
S-adeu-15FAIL460.34
T-edau-24FAIL475.94
T-adeu-25FAIL481.64
S-adeu-28FAIL497.84
T-adeu-15FAIL575.35
T-adeu-39FAIL575.64
S-edau-23FAIL580.34
S-adeu-49FAIL580.64
T-adeu-49FAIL586.24
S-edau-20FAIL599.12
S-adeu-6FAIL599.13
S-edau-29FAIL599.22
S-adeu-47FAIL599.22
S-edau-34FAIL599.22
S-edau-17FAIL599.22
S-adeu-29FAIL599.22
S-adeu-30FAIL599.22
T-adeu-7FAIL599.22
S-adeu-41FAIL599.23