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

InstanceResultTime
T-adeu-5UNSAT1.94
T-adeu-1UNSAT1.99
S-adeu-4UNSAT2.02
S-edau-4UNSAT2.07
T-adeu-0UNSAT2.14
T-edau-7UNSAT2.15
S-edau-5UNSAT2.2
T-adeu-9UNSAT2.2
T-adeu-4UNSAT2.21
T-adeu-7UNSAT2.23
S-edau-7UNSAT2.24
S-adeu-5UNSAT2.24
T-adeu-2UNSAT2.3
T-adeu-3UNSAT2.31
S-edau-8UNSAT2.35
T-adeu-8UNSAT2.36
S-adeu-8UNSAT2.37
S-adeu-0UNSAT2.38
S-adeu-1UNSAT2.4
S-adeu-2UNSAT2.42
S-adeu-9UNSAT2.62
S-adeu-3UNSAT2.67
S-adeu-7UNSAT2.7
S-adeu-6UNSAT2.75
T-edau-5UNSAT3.05
T-edau-8UNSAT3.39
S-edau-2UNSAT3.5
S-edau-3UNSAT3.54
S-edau-1UNSAT3.92
S-edau-0UNSAT3.96
T-edau-4UNSAT4.05
S-edau-9UNSAT4.06
T-edau-0UNSAT4.34
T-edau-6UNSAT4.76
S-edau-6UNSAT4.76
T-edau-3UNSAT4.84
T-edau-1UNSAT5.26
T-edau-9UNSAT5.48
T-adeu-6UNSAT5.53
T-edau-2UNSAT5.86