Instances of family ASP_Program_Inclusion solved by xb-bid-qsts
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
S-edau-43UNSAT2.53
T-edau-20UNSAT3.03
T-edau-23UNSAT3.08
T-edau-18UNSAT3.15
T-edau-8UNSAT3.51
S-edau-30UNSAT4.27
S-edau-7UNSAT4.38
S-edau-8UNSAT4.45
S-adeu-32UNSAT7.33
S-adeu-19UNSAT8.55
T-edau-26UNSAT8.78
T-adeu-6UNSAT8.83
S-adeu-28UNSAT8.84
T-edau-24UNSAT9.11
S-adeu-49UNSAT9.55
T-edau-2UNSAT9.72
T-adeu-9UNSAT10.24
S-edau-1UNSAT10.51
S-adeu-30UNSAT11.23
S-adeu-47UNSAT11.24
S-adeu-41UNSAT11.66
T-adeu-49UNSAT11.71
T-adeu-10UNSAT11.94
S-adeu-15UNSAT12
S-edau-34UNSAT12.1
T-adeu-15UNSAT12.12
S-adeu-6UNSAT12.13
T-adeu-38UNSAT12.64
T-adeu-25UNSAT12.67
S-edau-20UNSAT12.88
T-edau-6UNSAT13.42
T-adeu-7UNSAT13.57
S-edau-17UNSAT13.75
S-edau-23UNSAT13.79
S-adeu-29UNSAT15.07
T-adeu-39UNSAT15.47
T-edau-44UNSAT16.57
T-edau-9UNSAT16.63
S-edau-29UNSAT16.67
T-adeu-42SAT39.36