Removed inverted messy benchmarks files.

SemGuS-git · Mar 1, 2024 · 3693fc8 · 3693fc8
1 parent 3961b39
commit 3693fc8
Show file tree

Hide file tree

Showing 308 changed files with 0 additions and 13,215 deletions.
diff --git a/...v/correct_input_outputs/BVtest_ADD_01.sem → benchmarks/messy/basic_bv/BVtest_ADD_01.sem b/...v/correct_input_outputs/BVtest_ADD_01.sem → benchmarks/messy/basic_bv/BVtest_ADD_01.sem
diff --git a/...v/correct_input_outputs/BVtest_AND_01.sem → benchmarks/messy/basic_bv/BVtest_AND_01.sem b/...v/correct_input_outputs/BVtest_AND_01.sem → benchmarks/messy/basic_bv/BVtest_AND_01.sem
diff --git a/...v/correct_input_outputs/BVtest_AND_02.sem → benchmarks/messy/basic_bv/BVtest_AND_02.sem b/...v/correct_input_outputs/BVtest_AND_02.sem → benchmarks/messy/basic_bv/BVtest_AND_02.sem
diff --git a/...v/correct_input_outputs/BVtest_AND_03.sem → benchmarks/messy/basic_bv/BVtest_AND_03.sem b/...v/correct_input_outputs/BVtest_AND_03.sem → benchmarks/messy/basic_bv/BVtest_AND_03.sem
diff --git a/...v/correct_input_outputs/BVtest_MAX_01.sem → benchmarks/messy/basic_bv/BVtest_MAX_01.sem b/...v/correct_input_outputs/BVtest_MAX_01.sem → benchmarks/messy/basic_bv/BVtest_MAX_01.sem
diff --git a/.../correct_input_outputs/BVtest_NAND_01.sem → benchmarks/messy/basic_bv/BVtest_NAND_01.sem b/.../correct_input_outputs/BVtest_NAND_01.sem → benchmarks/messy/basic_bv/BVtest_NAND_01.sem
diff --git a/.../correct_input_outputs/BVtest_PLUS_01.sem → benchmarks/messy/basic_bv/BVtest_PLUS_01.sem b/.../correct_input_outputs/BVtest_PLUS_01.sem → benchmarks/messy/basic_bv/BVtest_PLUS_01.sem
diff --git a/...rect_input_outputs/BVtest_Swap_XOR_01.sem → ...rks/messy/basic_bv/BVtest_Swap_XOR_01.sem b/...rect_input_outputs/BVtest_Swap_XOR_01.sem → ...rks/messy/basic_bv/BVtest_Swap_XOR_01.sem
diff --git a/...rect_input_outputs/BVtest_Swap_XOR_02.sem → ...rks/messy/basic_bv/BVtest_Swap_XOR_02.sem b/...rect_input_outputs/BVtest_Swap_XOR_02.sem → ...rks/messy/basic_bv/BVtest_Swap_XOR_02.sem
diff --git a/...rect_input_outputs/BVtest_Swap_XOR_03.sem → ...rks/messy/basic_bv/BVtest_Swap_XOR_03.sem b/...rect_input_outputs/BVtest_Swap_XOR_03.sem → ...rks/messy/basic_bv/BVtest_Swap_XOR_03.sem
diff --git a/...outputs/BVtest_While_01_XOR_by_AND_OR.sem → ...asic_bv/BVtest_While_01_XOR_by_AND_OR.sem b/...outputs/BVtest_While_01_XOR_by_AND_OR.sem → ...asic_bv/BVtest_While_01_XOR_by_AND_OR.sem
diff --git a/...uts/BVtest_While_02_XOR_by_AND_OR_ADD.sem → ..._bv/BVtest_While_02_XOR_by_AND_OR_ADD.sem b/...uts/BVtest_While_02_XOR_by_AND_OR_ADD.sem → ..._bv/BVtest_While_02_XOR_by_AND_OR_ADD.sem
diff --git a/...v/correct_input_outputs/BVtest_XOR_01.sem → benchmarks/messy/basic_bv/BVtest_XOR_01.sem b/...v/correct_input_outputs/BVtest_XOR_01.sem → benchmarks/messy/basic_bv/BVtest_XOR_01.sem
diff --git a/...v/correct_input_outputs/BVtest_XOR_02.sem → benchmarks/messy/basic_bv/BVtest_XOR_02.sem b/...v/correct_input_outputs/BVtest_XOR_02.sem → benchmarks/messy/basic_bv/BVtest_XOR_02.sem
diff --git a/...v/correct_input_outputs/BVtest_XOR_03.sem → benchmarks/messy/basic_bv/BVtest_XOR_03.sem b/...v/correct_input_outputs/BVtest_XOR_03.sem → benchmarks/messy/basic_bv/BVtest_XOR_03.sem
diff --git a/benchmarks/messy/basic_bv/inverted_input_outputs/BVtest_ADD_01.sem b/benchmarks/messy/basic_bv/inverted_input_outputs/BVtest_ADD_01.sem
diff --git a/benchmarks/messy/basic_bv/inverted_input_outputs/BVtest_AND_01.sem b/benchmarks/messy/basic_bv/inverted_input_outputs/BVtest_AND_01.sem
diff --git a/benchmarks/messy/basic_bv/inverted_input_outputs/BVtest_AND_02.sem b/benchmarks/messy/basic_bv/inverted_input_outputs/BVtest_AND_02.sem
diff --git a/benchmarks/messy/basic_bv/inverted_input_outputs/BVtest_AND_03.sem b/benchmarks/messy/basic_bv/inverted_input_outputs/BVtest_AND_03.sem
diff --git a/benchmarks/messy/basic_bv/inverted_input_outputs/BVtest_MAX_01.sem b/benchmarks/messy/basic_bv/inverted_input_outputs/BVtest_MAX_01.sem
diff --git a/benchmarks/messy/basic_bv/inverted_input_outputs/BVtest_NAND_01.sem b/benchmarks/messy/basic_bv/inverted_input_outputs/BVtest_NAND_01.sem
diff --git a/benchmarks/messy/basic_bv/inverted_input_outputs/BVtest_PLUS_01.sem b/benchmarks/messy/basic_bv/inverted_input_outputs/BVtest_PLUS_01.sem
diff --git a/benchmarks/messy/basic_bv/inverted_input_outputs/BVtest_Swap_XOR_01.sem b/benchmarks/messy/basic_bv/inverted_input_outputs/BVtest_Swap_XOR_01.sem
diff --git a/benchmarks/messy/basic_bv/inverted_input_outputs/BVtest_Swap_XOR_02.sem b/benchmarks/messy/basic_bv/inverted_input_outputs/BVtest_Swap_XOR_02.sem
diff --git a/benchmarks/messy/basic_bv/inverted_input_outputs/BVtest_Swap_XOR_03.sem b/benchmarks/messy/basic_bv/inverted_input_outputs/BVtest_Swap_XOR_03.sem