Sota solver results for family ASP_Program_Inclusion
QBFEVAL'16 - Random QBFs Track.


InstanceSolverResultTime
S-adeu-15rareqsUNSAT1.04
S-adeu-19depqbf-v1UNSAT1.31
S-adeu-28hiqqer1ldsqUNSAT1.41
S-adeu-29depqbf-v1UNSAT1.41
S-adeu-30hiqqer1ldsqUNSAT1.17
S-adeu-32hiqqer3UNSAT1.04
S-adeu-41depqbf-v1UNSAT1.31
S-adeu-47aqua-s2vUNSAT1.49
S-adeu-49aqua-f3vUNSAT1.2
S-adeu-6depqbf-v1UNSAT1.31
S-edau-1qstsUNSAT0.76
S-edau-17qstsUNSAT0.7
S-edau-20qstsUNSAT0.83
S-edau-23qstsUNSAT0.72
S-edau-29qstsUNSAT0.66
S-edau-30qstsUNSAT0.69
S-edau-34qstsUNSAT0.67
S-edau-43qstsUNSAT0.69
S-edau-7qstsUNSAT0.68
S-edau-8qstsUNSAT0.82
T-adeu-10depqbf-v1UNSAT0.51
T-adeu-15depqbf-v1UNSAT0.31
T-adeu-25depqbf-v1UNSAT0.21
T-adeu-38depqbf-v1UNSAT0.21
T-adeu-39aqua-f3vUNSAT1.29
T-adeu-42depqbf-v1UNSAT0.31
T-adeu-49depqbf-v1UNSAT0.31
T-adeu-6depqbf-v1UNSAT0.21
T-adeu-7depqbf-v1UNSAT0.61
T-adeu-9depqbf-v1UNSAT0.21
T-edau-18depqbf-v1UNSAT0.21
T-edau-2depqbf-v1UNSAT0.21
T-edau-20depqbf-v1UNSAT0.31
T-edau-23depqbf-v1UNSAT0.21
T-edau-24depqbf-v1UNSAT0.41
T-edau-26depqbf-v1UNSAT0.21
T-edau-44depqbf-v1UNSAT0.21
T-edau-6depqbf-v1UNSAT0.21
T-edau-8depqbf-v1UNSAT0.31
T-edau-9depqbf-v1UNSAT0.21