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

InstanceResultTime
S-edau-43UNSAT2.51
T-edau-23UNSAT3.13
T-edau-18UNSAT3.16
T-edau-20UNSAT3.17
T-edau-8UNSAT3.48
T-adeu-6UNSAT3.68
S-edau-30UNSAT4.32
T-adeu-38UNSAT4.33
T-edau-26UNSAT4.35
S-edau-7UNSAT4.41
S-edau-8UNSAT4.52
T-edau-6UNSAT5.44
T-edau-44UNSAT5.47
T-edau-24UNSAT5.6
T-edau-2UNSAT5.75
S-adeu-19UNSAT5.76
T-adeu-10UNSAT5.78
S-adeu-32UNSAT5.79
T-adeu-9UNSAT5.82
T-edau-9UNSAT5.86
S-edau-1UNSAT6.18
S-adeu-30UNSAT7.98
S-adeu-28UNSAT8.14
S-adeu-29UNSAT8.83
S-adeu-47UNSAT8.93
S-adeu-49UNSAT9.8
T-adeu-42UNSAT11
T-adeu-25UNSAT11.48
S-adeu-41UNSAT12.72
T-adeu-49UNSAT13.55
S-adeu-6UNSAT15.24
S-edau-20UNSAT15.73
S-edau-17UNSAT17.34
T-adeu-7UNSAT17.65
T-adeu-39UNSAT18.1
T-adeu-15UNSAT18.79
S-edau-29UNSAT22.94
S-edau-23FAIL26.74
S-edau-34UNSAT27.44
S-adeu-15UNSAT27.52