Instances of family ASP_Program_Inclusion solved by rareqs
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
S-adeu-15UNSAT1.04
T-edau-26UNSAT1.58
S-edau-29UNSAT1.86
T-adeu-10UNSAT2.06
S-edau-20UNSAT2.09
T-edau-6UNSAT2.21
T-adeu-38UNSAT2.25
S-adeu-6UNSAT2.25
T-edau-9UNSAT2.34
T-adeu-6UNSAT2.34
T-adeu-42UNSAT2.39
S-edau-7UNSAT2.4
S-adeu-30UNSAT2.41
S-adeu-19UNSAT2.44
S-adeu-32UNSAT2.44
T-adeu-25UNSAT2.45
S-adeu-29UNSAT2.48
T-edau-8UNSAT2.6
S-adeu-47UNSAT2.65
S-edau-8UNSAT2.68
T-edau-44UNSAT2.7
S-adeu-28UNSAT2.74
S-adeu-41UNSAT2.75
T-adeu-9UNSAT2.81
S-edau-30UNSAT2.88
T-edau-23UNSAT2.88
T-edau-2UNSAT2.89
S-edau-1UNSAT2.89
T-edau-24UNSAT2.94
S-edau-17UNSAT2.99
T-edau-18UNSAT3
S-edau-34UNSAT3.16
T-adeu-15UNSAT3.19
T-edau-20UNSAT3.23
S-adeu-49UNSAT3.28
T-adeu-7UNSAT3.47
T-adeu-39UNSAT3.51
T-adeu-49UNSAT3.83
S-edau-23UNSAT3.98
S-edau-43UNSAT4.69