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