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


InstanceSolverResultTime
S-adeu-0QuBE7UNSAT2.38
S-adeu-1QuBE7UNSAT2.4
S-adeu-2QuBE7UNSAT2.42
S-adeu-3depqbf-preUNSAT2.48
S-adeu-4depqbf-preUNSAT0.42
S-adeu-5depqbf-preUNSAT0.43
S-adeu-6depqbf-preUNSAT2.15
S-adeu-7depqbf-preUNSAT0.4
S-adeu-8depqbf-preUNSAT0.46
S-adeu-9QuBE7UNSAT2.62
S-edau-0depqbf-preUNSAT0.64
S-edau-1depqbf-preUNSAT0.71
S-edau-2depqbf-preUNSAT0.66
S-edau-3depqbf-preUNSAT0.68
S-edau-4depqbf-preUNSAT0.75
S-edau-5depqbf-preUNSAT0.62
S-edau-6depqbf-preUNSAT0.64
S-edau-7depqbf-preUNSAT0.64
S-edau-8depqbf-preUNSAT0.64
S-edau-9depqbf-preUNSAT0.66
T-adeu-0QuBE7UNSAT2.14
T-adeu-1QuBE7UNSAT1.99
T-adeu-2depqbf-preUNSAT2.25
T-adeu-3depqbf-preUNSAT1.68
T-adeu-4depqbf-preUNSAT0.4
T-adeu-5depqbf-preUNSAT0.44
T-adeu-6depqbf-preUNSAT2.37
T-adeu-7depqbf-preUNSAT0.76
T-adeu-8depqbf-preUNSAT0.41
T-adeu-9depqbf-preUNSAT1.73
T-edau-0depqbf-preUNSAT0.64
T-edau-1depqbf-preUNSAT0.62
T-edau-2depqbf-preUNSAT0.61
T-edau-3depqbf-preUNSAT0.6
T-edau-4depqbf-preUNSAT0.6
T-edau-5depqbf-preUNSAT0.65
T-edau-6depqbf-preUNSAT0.65
T-edau-7depqbf-preUNSAT0.63
T-edau-8depqbf-preUNSAT0.63
T-edau-9depqbf-preUNSAT0.62