Merge pull request #7 from jsego/aij23

AIJ23
jsego · Sep 5, 2023 · 84d777b · 84d777b
2 parents b6454b5 + f32653e
commit 84d777b
Show file tree

Hide file tree

Showing 210 changed files with 1,349 additions and 4,880 deletions.
diff --git a/.gitignore b/.gitignore
@@ -7,3 +7,5 @@ tmp/
 tests/build/
 */.idea/
 experiments/
+benchmarks-public/
+domains/aij23/validation/
diff --git a/domains/aij23/original_apf_instances/corridor/1.txt b/domains/aij23/original_apf_instances/corridor/1.txt
diff --git a/domains/aij23/original_apf_instances/corridor/10.txt b/domains/aij23/original_apf_instances/corridor/10.txt
diff --git a/domains/aij23/original_apf_instances/corridor/3.txt b/domains/aij23/original_apf_instances/corridor/3.txt
diff --git a/domains/aij23/original_apf_instances/corridor/5.txt b/domains/aij23/original_apf_instances/corridor/5.txt
diff --git a/domains/aij23/original_apf_instances/corridor/7.txt b/domains/aij23/original_apf_instances/corridor/7.txt
diff --git a/domains/aij23/original_apf_instances/corridor/8.txt b/domains/aij23/original_apf_instances/corridor/8.txt
diff --git a/domains/aij23/original_apf_instances/corridor/9.txt b/domains/aij23/original_apf_instances/corridor/9.txt
diff --git a/domains/aij23/original_apf_instances/corridor/corridor.py b/domains/aij23/original_apf_instances/corridor/corridor.py
diff --git a/domains/aij23/original_apf_instances/corridor/domain.txt b/domains/aij23/original_apf_instances/corridor/domain.txt