Gitiles
Code Review Sign In
asterix-gerrit.ics.uci.edu / asterixdb / 8b7bd7d2a6ce4b9d8696db0ffced7da4e8684492 / . / asterix-app / src / test / resources / runtimets / results / quantifiers
tree: 2cf01e12965154ea1718070770762ab2133fcb21 [path history] [tgz]
  1. everysat_01.adm
  2. everysat_02.adm
  3. everysat_04.adm
  4. somesat_01.adm
  5. somesat_02.adm
  6. somesat_06.adm