diff --git a/picosat-vara/allsat_blocksol.info b/PicosatVara/allsat_blocksol.info
similarity index 96%
rename from picosat-vara/allsat_blocksol.info
rename to PicosatVara/allsat_blocksol.info
index 5b9d4d3..af02d2d 100644
--- a/picosat-vara/allsat_blocksol.info
+++ b/PicosatVara/allsat_blocksol.info
@@ -13,3 +13,4 @@ tags:
 - synthetic
 - AllSat
 - picosat
+- perf_prec
diff --git a/picosat-vara/allsat_blocksol.patch b/PicosatVara/allsat_blocksol.patch
similarity index 100%
rename from picosat-vara/allsat_blocksol.patch
rename to PicosatVara/allsat_blocksol.patch
diff --git a/picosat-vara/compact_trace_write_to_file.info b/PicosatVara/compact_trace_write_to_file.info
similarity index 97%
rename from picosat-vara/compact_trace_write_to_file.info
rename to PicosatVara/compact_trace_write_to_file.info
index 0c5876d..00cda72 100644
--- a/picosat-vara/compact_trace_write_to_file.info
+++ b/PicosatVara/compact_trace_write_to_file.info
@@ -13,3 +13,4 @@ tags:
 - synthetic
 - compact_trace
 - picosat
+- perf_prec
diff --git a/picosat-vara/compact_trace_write_to_file.patch b/PicosatVara/compact_trace_write_to_file.patch
similarity index 100%
rename from picosat-vara/compact_trace_write_to_file.patch
rename to PicosatVara/compact_trace_write_to_file.patch
diff --git a/picosat-vara/extended_trace_write_to_file.info b/PicosatVara/extended_trace_write_to_file.info
similarity index 97%
rename from picosat-vara/extended_trace_write_to_file.info
rename to PicosatVara/extended_trace_write_to_file.info
index 7087e85..048cf8f 100644
--- a/picosat-vara/extended_trace_write_to_file.info
+++ b/PicosatVara/extended_trace_write_to_file.info
@@ -13,3 +13,4 @@ tags:
 - synthetic
 - extended_trace
 - picosat
+- perf_prec
diff --git a/picosat-vara/extended_trace_write_to_file.patch b/PicosatVara/extended_trace_write_to_file.patch
similarity index 100%
rename from picosat-vara/extended_trace_write_to_file.patch
rename to PicosatVara/extended_trace_write_to_file.patch
diff --git a/picosat-vara/global_default_phase_jwh.info b/PicosatVara/global_default_phase_jwh.info
similarity index 97%
rename from picosat-vara/global_default_phase_jwh.info
rename to PicosatVara/global_default_phase_jwh.info
index b082884..fc2788a 100644
--- a/picosat-vara/global_default_phase_jwh.info
+++ b/PicosatVara/global_default_phase_jwh.info
@@ -13,3 +13,4 @@ tags:
 - synthetic
 - GlobalDefaultPhase
 - picosat
+- perf_prec
diff --git a/picosat-vara/global_default_phase_jwh.patch b/PicosatVara/global_default_phase_jwh.patch
similarity index 100%
rename from picosat-vara/global_default_phase_jwh.patch
rename to PicosatVara/global_default_phase_jwh.patch
diff --git a/picosat-vara/global_default_phase_neg.info b/PicosatVara/global_default_phase_neg.info
similarity index 97%
rename from picosat-vara/global_default_phase_neg.info
rename to PicosatVara/global_default_phase_neg.info
index 2740a73..e3fa028 100644
--- a/picosat-vara/global_default_phase_neg.info
+++ b/PicosatVara/global_default_phase_neg.info
@@ -13,3 +13,4 @@ tags:
 - synthetic
 - GlobalDefaultPhase
 - picosat
+- perf_prec
diff --git a/picosat-vara/global_default_phase_neg.patch b/PicosatVara/global_default_phase_neg.patch
similarity index 100%
rename from picosat-vara/global_default_phase_neg.patch
rename to PicosatVara/global_default_phase_neg.patch
diff --git a/picosat-vara/global_default_phase_pos.info b/PicosatVara/global_default_phase_pos.info
similarity index 97%
rename from picosat-vara/global_default_phase_pos.info
rename to PicosatVara/global_default_phase_pos.info
index 64094a3..5e06a30 100644
--- a/picosat-vara/global_default_phase_pos.info
+++ b/PicosatVara/global_default_phase_pos.info
@@ -13,3 +13,4 @@ tags:
 - synthetic
 - GlobalDefaultPhase
 - picosat
+- perf_prec
diff --git a/picosat-vara/global_default_phase_pos.patch b/PicosatVara/global_default_phase_pos.patch
similarity index 100%
rename from picosat-vara/global_default_phase_pos.patch
rename to PicosatVara/global_default_phase_pos.patch
diff --git a/picosat-vara/global_default_phase_rnd.info b/PicosatVara/global_default_phase_rnd.info
similarity index 97%
rename from picosat-vara/global_default_phase_rnd.info
rename to PicosatVara/global_default_phase_rnd.info
index 6f468f3..a1d57e7 100644
--- a/picosat-vara/global_default_phase_rnd.info
+++ b/PicosatVara/global_default_phase_rnd.info
@@ -13,3 +13,4 @@ tags:
 - synthetic
 - GlobalDefaultPhase
 - picosat
+- perf_prec
diff --git a/picosat-vara/global_default_phase_rnd.patch b/PicosatVara/global_default_phase_rnd.patch
similarity index 100%
rename from picosat-vara/global_default_phase_rnd.patch
rename to PicosatVara/global_default_phase_rnd.patch
diff --git a/picosat-vara/incremental_rup_trace_write_rup_header.info b/PicosatVara/incremental_rup_trace_write_rup_header.info
similarity index 97%
rename from picosat-vara/incremental_rup_trace_write_rup_header.info
rename to PicosatVara/incremental_rup_trace_write_rup_header.info
index f975e3a..e486e25 100644
--- a/picosat-vara/incremental_rup_trace_write_rup_header.info
+++ b/PicosatVara/incremental_rup_trace_write_rup_header.info
@@ -13,3 +13,4 @@ tags:
 - synthetic
 - incremental_rup_trace
 - picosat
+- perf_prec
diff --git a/picosat-vara/incremental_rup_trace_write_rup_header.patch b/PicosatVara/incremental_rup_trace_write_rup_header.patch
similarity index 100%
rename from picosat-vara/incremental_rup_trace_write_rup_header.patch
rename to PicosatVara/incremental_rup_trace_write_rup_header.patch
diff --git a/picosat-vara/partial_printa.info b/PicosatVara/partial_printa.info
similarity index 96%
rename from picosat-vara/partial_printa.info
rename to PicosatVara/partial_printa.info
index 5dfe3a1..f9cd798 100644
--- a/picosat-vara/partial_printa.info
+++ b/PicosatVara/partial_printa.info
@@ -13,3 +13,4 @@ tags:
 - synthetic
 - Partial
 - picosat
+- perf_prec
diff --git a/picosat-vara/partial_printa.patch b/PicosatVara/partial_printa.patch
similarity index 100%
rename from picosat-vara/partial_printa.patch
rename to PicosatVara/partial_printa.patch
diff --git a/picosat-vara/plain_faillits.info b/PicosatVara/plain_faillits.info
similarity index 96%
rename from picosat-vara/plain_faillits.info
rename to PicosatVara/plain_faillits.info
index afdabf7..8c9f2c2 100644
--- a/picosat-vara/plain_faillits.info
+++ b/PicosatVara/plain_faillits.info
@@ -13,3 +13,4 @@ tags:
 - synthetic
 - Plain
 - picosat
+- perf_prec
diff --git a/picosat-vara/plain_faillits.patch b/PicosatVara/plain_faillits.patch
similarity index 100%
rename from picosat-vara/plain_faillits.patch
rename to PicosatVara/plain_faillits.patch
diff --git a/picosat-vara/rup_trace_write_to_file.info b/PicosatVara/rup_trace_write_to_file.info
similarity index 97%
rename from picosat-vara/rup_trace_write_to_file.info
rename to PicosatVara/rup_trace_write_to_file.info
index cdce694..f3819cc 100644
--- a/picosat-vara/rup_trace_write_to_file.info
+++ b/PicosatVara/rup_trace_write_to_file.info
@@ -13,3 +13,4 @@ tags:
 - synthetic
 - rup_trace
 - picosat
+- perf_prec
diff --git a/picosat-vara/rup_trace_write_to_file.patch b/PicosatVara/rup_trace_write_to_file.patch
similarity index 100%
rename from picosat-vara/rup_trace_write_to_file.patch
rename to PicosatVara/rup_trace_write_to_file.patch