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

InstanceResultTime
S-edau-7UNSAT3.73
S-edau-6UNSAT3.87
S-edau-8UNSAT3.9
S-edau-1UNSAT4
S-edau-9UNSAT4.03
S-edau-0UNSAT4.12
S-edau-4UNSAT4.12
S-adeu-8UNSAT4.19
S-edau-3UNSAT4.31
S-adeu-4UNSAT4.34
S-edau-2UNSAT4.39
S-adeu-7UNSAT4.43
S-edau-5UNSAT4.48
S-adeu-6UNSAT4.5
S-adeu-3UNSAT4.72
S-adeu-2UNSAT4.82
S-adeu-5UNSAT4.83
S-adeu-0UNSAT4.83
S-adeu-1UNSAT5.24
T-edau-4UNSAT5.24
S-adeu-9UNSAT5.35
T-adeu-4UNSAT5.64
T-edau-0UNSAT5.77
T-edau-9UNSAT5.93
T-edau-3UNSAT5.96
T-edau-2UNSAT6.24
T-edau-1UNSAT6.26
T-edau-5UNSAT6.48
T-adeu-9UNSAT6.48
T-edau-6UNSAT6.52
T-adeu-0UNSAT6.83
T-edau-8UNSAT7.06
T-edau-7UNSAT7.1
T-adeu-1UNSAT7.24
T-adeu-2UNSAT7.26
T-adeu-5UNSAT7.7
T-adeu-8UNSAT7.78
T-adeu-6UNSAT8.15
T-adeu-3UNSAT8.17
T-adeu-7UNSAT9.5