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

InstanceResultTime
T-adeu-5UNSAT1.66
T-edau-5UNSAT1.72
T-edau-6UNSAT1.75
T-edau-1UNSAT1.82
S-edau-5UNSAT1.88
S-adeu-5UNSAT1.9
S-edau-6UNSAT1.93
S-edau-1UNSAT1.98
T-edau-0UNSAT1.98
T-edau-9UNSAT1.99
T-edau-4UNSAT2
T-adeu-4UNSAT2.01
S-adeu-4UNSAT2.06
T-edau-7UNSAT2.08
T-edau-3UNSAT2.12
T-adeu-8UNSAT2.15
T-edau-8UNSAT2.17
S-adeu-7UNSAT2.22
S-edau-4UNSAT2.23
S-edau-9UNSAT2.29
S-edau-0UNSAT2.3
S-adeu-8UNSAT2.3
S-edau-7UNSAT2.3
T-edau-2UNSAT2.32
T-adeu-7UNSAT2.33
S-edau-3UNSAT2.37
S-edau-8UNSAT2.4
S-edau-2UNSAT2.58
T-adeu-6UNSAT2.65
S-adeu-1UNSAT2.66
T-adeu-1UNSAT2.81
S-adeu-9UNSAT2.9
T-adeu-0UNSAT2.93
T-adeu-9UNSAT2.99
S-adeu-0UNSAT3.07
S-adeu-6UNSAT3.11
S-adeu-2UNSAT3.13
S-adeu-3UNSAT3.15
T-adeu-2UNSAT3.21
T-adeu-3UNSAT3.39