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

InstanceResultTime
T-edau-5UNSAT1.72
T-edau-6UNSAT1.82
T-edau-1UNSAT1.88
T-adeu-5UNSAT1.91
S-edau-5UNSAT1.93
S-edau-6UNSAT2.01
S-edau-1UNSAT2.06
S-adeu-5UNSAT2.06
T-edau-0UNSAT2.06
T-edau-9UNSAT2.07
T-edau-4UNSAT2.07
T-edau-7UNSAT2.1
S-adeu-4UNSAT2.12
T-adeu-4UNSAT2.12
T-adeu-7UNSAT2.15
T-edau-3UNSAT2.18
T-edau-8UNSAT2.22
T-adeu-8UNSAT2.23
S-adeu-7UNSAT2.25
S-edau-4UNSAT2.28
S-edau-7UNSAT2.32
S-edau-9UNSAT2.32
S-adeu-8UNSAT2.33
T-edau-2UNSAT2.38
S-edau-0UNSAT2.38
S-edau-3UNSAT2.43
S-edau-8UNSAT2.46
S-edau-2UNSAT2.66
S-adeu-1UNSAT2.82
T-adeu-6UNSAT3.27
T-adeu-1UNSAT3.3
T-adeu-9UNSAT3.3
S-adeu-3UNSAT3.32
S-adeu-9UNSAT3.42
S-adeu-0UNSAT3.45
S-adeu-6UNSAT3.46
T-adeu-0UNSAT3.54
S-adeu-2UNSAT3.66
T-adeu-3UNSAT3.92
T-adeu-2UNSAT4.02