diff --git a/fig/all.pdf b/fig/initial/all.pdf
similarity index 100%
rename from fig/all.pdf
rename to fig/initial/all.pdf
diff --git a/fig/failure_correlation/D_FVBKV_Z3_summary.md b/fig/initial/failure_correlation/D_FVBKV_Z3_summary.md
similarity index 100%
rename from fig/failure_correlation/D_FVBKV_Z3_summary.md
rename to fig/initial/failure_correlation/D_FVBKV_Z3_summary.md
diff --git a/fig/failure_correlation/D_KOMODO_summary.md b/fig/initial/failure_correlation/D_KOMODO_summary.md
similarity index 100%
rename from fig/failure_correlation/D_KOMODO_summary.md
rename to fig/initial/failure_correlation/D_KOMODO_summary.md
diff --git a/fig/failure_correlation/FS_DICE_summary.md b/fig/initial/failure_correlation/FS_DICE_summary.md
similarity index 100%
rename from fig/failure_correlation/FS_DICE_summary.md
rename to fig/initial/failure_correlation/FS_DICE_summary.md
diff --git a/fig/failure_correlation/FS_VWASM_summary.md b/fig/initial/failure_correlation/FS_VWASM_summary.md
similarity index 100%
rename from fig/failure_correlation/FS_VWASM_summary.md
rename to fig/initial/failure_correlation/FS_VWASM_summary.md
diff --git a/fig/failure_correlation/S_KOMODO_summary.md b/fig/initial/failure_correlation/S_KOMODO_summary.md
similarity index 100%
rename from fig/failure_correlation/S_KOMODO_summary.md
rename to fig/initial/failure_correlation/S_KOMODO_summary.md
diff --git a/fig/result_overall/D_FVBKV_Z3.png b/fig/initial/result_overall/D_FVBKV_Z3.png
similarity index 100%
rename from fig/result_overall/D_FVBKV_Z3.png
rename to fig/initial/result_overall/D_FVBKV_Z3.png
diff --git a/fig/result_overall/D_KOMODO.png b/fig/initial/result_overall/D_KOMODO.png
similarity index 100%
rename from fig/result_overall/D_KOMODO.png
rename to fig/initial/result_overall/D_KOMODO.png
diff --git a/fig/result_overall/D_LVBKV.png b/fig/initial/result_overall/D_LVBKV.png
similarity index 100%
rename from fig/result_overall/D_LVBKV.png
rename to fig/initial/result_overall/D_LVBKV.png
diff --git a/fig/result_overall/FS_DICE.png b/fig/initial/result_overall/FS_DICE.png
similarity index 100%
rename from fig/result_overall/FS_DICE.png
rename to fig/initial/result_overall/FS_DICE.png
diff --git a/fig/result_overall/FS_VWASM.png b/fig/initial/result_overall/FS_VWASM.png
similarity index 100%
rename from fig/result_overall/FS_VWASM.png
rename to fig/initial/result_overall/FS_VWASM.png
diff --git a/fig/result_overall/S_KOMODO.png b/fig/initial/result_overall/S_KOMODO.png
similarity index 100%
rename from fig/result_overall/S_KOMODO.png
rename to fig/initial/result_overall/S_KOMODO.png
diff --git a/fig/sizes.pdf b/fig/initial/sizes.pdf
similarity index 100%
rename from fig/sizes.pdf
rename to fig/initial/sizes.pdf
diff --git a/fig/time_mixed/D_FVBKV_Z3.png b/fig/initial/time_mixed/D_FVBKV_Z3.png
similarity index 100%
rename from fig/time_mixed/D_FVBKV_Z3.png
rename to fig/initial/time_mixed/D_FVBKV_Z3.png
diff --git a/fig/time_mixed/D_KOMODO.png b/fig/initial/time_mixed/D_KOMODO.png
similarity index 100%
rename from fig/time_mixed/D_KOMODO.png
rename to fig/initial/time_mixed/D_KOMODO.png
diff --git a/fig/time_mixed/D_LVBKV.png b/fig/initial/time_mixed/D_LVBKV.png
similarity index 100%
rename from fig/time_mixed/D_LVBKV.png
rename to fig/initial/time_mixed/D_LVBKV.png
diff --git a/fig/time_mixed/FS_DICE.png b/fig/initial/time_mixed/FS_DICE.png
similarity index 100%
rename from fig/time_mixed/FS_DICE.png
rename to fig/initial/time_mixed/FS_DICE.png
diff --git a/fig/time_mixed/FS_VWASM.png b/fig/initial/time_mixed/FS_VWASM.png
similarity index 100%
rename from fig/time_mixed/FS_VWASM.png
rename to fig/initial/time_mixed/FS_VWASM.png
diff --git a/fig/time_mixed/S_KOMODO.png b/fig/initial/time_mixed/S_KOMODO.png
similarity index 100%
rename from fig/time_mixed/S_KOMODO.png
rename to fig/initial/time_mixed/S_KOMODO.png
diff --git a/fig/time_overall/D_FVBKV_Z3.png b/fig/initial/time_overall/D_FVBKV_Z3.png
similarity index 100%
rename from fig/time_overall/D_FVBKV_Z3.png
rename to fig/initial/time_overall/D_FVBKV_Z3.png
diff --git a/fig/time_overall/D_KOMODO.png b/fig/initial/time_overall/D_KOMODO.png
similarity index 100%
rename from fig/time_overall/D_KOMODO.png
rename to fig/initial/time_overall/D_KOMODO.png
diff --git a/fig/time_overall/D_LVBKV.png b/fig/initial/time_overall/D_LVBKV.png
similarity index 100%
rename from fig/time_overall/D_LVBKV.png
rename to fig/initial/time_overall/D_LVBKV.png
diff --git a/fig/time_overall/FS_DICE.png b/fig/initial/time_overall/FS_DICE.png
similarity index 100%
rename from fig/time_overall/FS_DICE.png
rename to fig/initial/time_overall/FS_DICE.png
diff --git a/fig/time_overall/FS_VWASM.png b/fig/initial/time_overall/FS_VWASM.png
similarity index 100%
rename from fig/time_overall/FS_VWASM.png
rename to fig/initial/time_overall/FS_VWASM.png
diff --git a/fig/time_overall/S_KOMODO.png b/fig/initial/time_overall/S_KOMODO.png
similarity index 100%
rename from fig/time_overall/S_KOMODO.png
rename to fig/initial/time_overall/S_KOMODO.png
diff --git a/fig/time_success/D_FVBKV_Z3.png b/fig/initial/time_success/D_FVBKV_Z3.png
similarity index 100%
rename from fig/time_success/D_FVBKV_Z3.png
rename to fig/initial/time_success/D_FVBKV_Z3.png
diff --git a/fig/time_success/D_KOMODO.png b/fig/initial/time_success/D_KOMODO.png
similarity index 100%
rename from fig/time_success/D_KOMODO.png
rename to fig/initial/time_success/D_KOMODO.png
diff --git a/fig/time_success/D_LVBKV.png b/fig/initial/time_success/D_LVBKV.png
similarity index 100%
rename from fig/time_success/D_LVBKV.png
rename to fig/initial/time_success/D_LVBKV.png
diff --git a/fig/time_success/FS_DICE.png b/fig/initial/time_success/FS_DICE.png
similarity index 100%
rename from fig/time_success/FS_DICE.png
rename to fig/initial/time_success/FS_DICE.png
diff --git a/fig/time_success/FS_VWASM.png b/fig/initial/time_success/FS_VWASM.png
similarity index 100%
rename from fig/time_success/FS_VWASM.png
rename to fig/initial/time_success/FS_VWASM.png
diff --git a/fig/time_success/S_KOMODO.png b/fig/initial/time_success/S_KOMODO.png
similarity index 100%
rename from fig/time_success/S_KOMODO.png
rename to fig/initial/time_success/S_KOMODO.png
diff --git a/fig/timeout_boundary.txt b/fig/timeout_boundary.txt
deleted file mode 100644
index c441888d..00000000
--- a/fig/timeout_boundary.txt
+++ /dev/null
@@ -1,135 +0,0 @@
-s_komodo
-z3_4_4_2
-shuffle []
-rename [21.52, 25.74, 8.72, 2.1, 10.56, 25.19, 23.94, 11.38, 5.65, 23.07, 15.13]
-sseed []
-
-z3_4_5_0
-shuffle [30.1, 30.1, 29.23]
-rename [22.04, 24.45, 7.79, 8.7, 21.27, 9.08, 24.2, 30.08, 23.94, 9.27, 3.58, 24.68]
-sseed [29.55]
-
-z3_4_6_0
-shuffle [30.09, 30.08, 30.1, 30.08, 30.11, 30.08, 30.07, 30.11]
-rename [30.07, 7.53, 16.96, 7.71, 2.56, 7.47]
-sseed [30.08, 30.11, 30.09, 30.08, 30.1, 30.08]
-
-z3_4_8_5
-shuffle [30.08]
-rename [2.69, 22.88, 6.65, 23.94, 1.57, 24.78]
-sseed [30.09]
-
-z3_4_11_2
-shuffle [29.64]
-rename [23.07, 5.62, 15.23, 18.35, 17.26, 22.62, 21.47, 15.13]
-sseed [29.76]
-
-cvc5_1_0_3
-shuffle []
-rename []
-sseed []
-
-d_komodo
-z3_4_4_2
-shuffle [13.0, 22.35, 28.92, 3.21, 8.08, 24.32, 13.82, 16.75, 1.24, 24.07, 4.15, 0.52, 24.67, 26.62, 20.87, 25.32, 18.89, 11.72, 10.22, 0.57, 22.55, 28.05, 28.61, 26.9, 16.25, 19.76, 27.62, 29.43, 19.15, 28.2, 2.75, 13.89]
-rename [14.43, 28.5, 2.56, 24.75, 4.2, 30.08, 9.53, 27.67, 26.33, 23.15, 29.33, 19.88, 1.35, 21.64, 25.02, 27.89, 24.69, 15.88, 27.56, 28.74, 30.09, 24.52, 17.97]
-sseed [29.2, 29.71, 29.91, 29.4, 29.46]
-
-z3_4_5_0
-shuffle [21.95, 28.91, 3.36, 1.86, 7.01, 24.25, 4.28, 13.59, 16.34, 1.62, 28.49, 29.7, 27.38, 22.66, 25.28, 29.48, 19.85, 13.22, 0.61, 22.71, 21.93, 18.92, 27.96, 28.12, 20.72, 26.59, 19.97, 28.34, 24.48, 2.52, 25.24, 17.17]
-rename [28.92, 6.59, 24.66, 3.04, 30.1, 5.4, 28.68, 27.1, 24.08, 19.69, 0.7, 25.21, 27.88, 27.84, 17.27, 16.48, 27.86, 29.48, 29.8, 2.99, 24.35]
-sseed [29.35, 29.57, 30.08, 29.42]
-
-z3_4_6_0
-shuffle [0.94, 27.67, 9.72, 1.45, 4.94, 28.23, 22.44, 19.88, 16.71, 27.63, 30.1, 27.18, 0.54, 30.11, 24.94, 18.66, 25.91, 17.15, 28.18, 10.99, 20.87, 28.25, 0.61, 22.33, 24.52, 14.73, 26.73, 21.87, 26.07, 27.22, 23.06, 24.79, 26.34, 28.49, 30.1, 16.89, 27.17]
-rename [11.68, 0.75, 27.93, 1.94, 30.11, 28.34, 28.15, 25.16, 29.17, 24.9, 28.67, 27.19, 29.14, 26.97, 17.37, 27.75, 28.88, 26.21, 28.7]
-sseed [29.69, 30.26, 29.68, 29.41, 29.06, 30.1, 29.71]
-
-z3_4_8_5
-shuffle [3.28, 19.51, 1.53, 10.2, 17.49, 15.57, 5.31, 14.55, 22.34, 2.31, 1.53, 5.47, 13.92, 25.84, 22.87, 14.19, 2.64, 3.91, 17.38, 24.62, 18.73, 2.46, 30.09, 1.73, 5.04, 30.08, 15.1, 26.48, 9.82, 1.23, 2.27, 4.46, 26.77, 7.04, 19.93, 4.95, 12.28, 2.98, 30.1, 3.93, 29.54, 26.12, 4.14, 27.72, 26.19, 3.93, 16.87, 6.58, 21.83, 26.85, 3.76, 22.03, 2.82, 0.84, 17.87, 5.32, 18.77, 9.45, 17.24, 18.03, 15.82, 8.3, 26.31, 26.98, 10.65, 5.72, 6.7, 8.79, 18.69, 19.0, 24.77, 11.88, 26.86, 2.09, 3.64, 24.92, 25.01, 7.65, 6.27, 11.59, 15.45, 4.99, 2.52, 4.08]
-rename [12.15, 19.59, 1.42, 14.42, 2.77, 21.95, 10.39, 23.44, 12.75, 3.59, 17.84, 28.62, 6.95, 30.1, 5.5, 1.6, 26.74, 3.85, 30.08, 18.37, 27.36, 12.54, 1.99, 26.43, 28.92, 2.85, 30.08, 28.39, 12.77, 14.77, 24.86, 18.73, 27.26, 3.83, 21.04, 12.85, 7.5, 24.16, 28.19, 2.76, 28.27, 16.34, 20.17, 26.49, 2.8, 23.65, 15.35, 3.47, 2.28, 3.53]
-sseed [30.09, 30.1, 30.11, 30.08, 29.06, 30.09, 30.09]
-
-z3_4_11_2
-shuffle [1.04, 25.62, 25.81, 27.01, 25.61, 14.29, 28.49, 11.57, 0.43, 0.97, 25.29, 5.68, 3.22, 23.65, 20.12, 25.0, 3.06, 3.38, 4.94, 21.91, 27.52, 7.43, 7.6, 16.97, 24.85, 3.74, 4.9, 14.6, 8.17, 20.97, 3.73, 20.05, 28.12, 26.08, 9.43, 1.67, 27.52, 22.1, 3.02, 24.81, 26.05, 3.81, 16.47, 22.24, 27.39, 9.04, 2.89, 15.37, 24.94, 16.63, 21.82, 9.75, 24.04, 16.0, 27.5, 17.23, 20.82, 20.66, 27.67, 28.01, 4.42, 21.36, 26.96, 6.79, 26.43]
-rename [1.0, 26.89, 27.27, 27.43, 24.52, 26.46, 15.68, 19.5, 28.16, 1.05, 24.61, 22.05, 23.99, 2.72, 1.81, 5.05, 15.92, 22.66, 6.04, 26.75, 5.34, 19.96, 28.24, 18.18, 28.05, 28.23, 11.13, 1.14, 17.74, 26.0, 2.87, 25.23, 26.72, 20.96, 25.33, 27.2, 11.85, 16.6, 27.54, 15.35, 28.84, 20.85, 21.36, 23.33, 23.7, 27.04]
-sseed [28.7, 29.32, 28.2, 27.41]
-
-cvc5_1_0_3
-shuffle [5.54, 11.81, 4.09, 14.62, 6.9, 6.63, 8.73, 3.86, 6.44, 5.45, 25.85, 2.95, 6.09, 12.07, 10.27, 9.34, 3.57, 12.94, 8.74, 6.6, 12.95]
-rename []
-sseed []
-
-d_frames_vbkv
-z3_4_4_2
-shuffle [11.95, 15.96]
-rename [22.02, 14.79]
-sseed []
-
-z3_4_5_0
-shuffle []
-rename []
-sseed []
-
-z3_4_6_0
-shuffle [14.15, 3.68, 21.82, 12.51, 22.5, 20.01, 11.23, 4.46, 3.56]
-rename [1.42]
-sseed [10.17]
-
-z3_4_11_2
-shuffle []
-rename []
-sseed []
-
-fs_vwasm
-z3_4_4_2
-shuffle [28.64, 30.07]
-rename [29.74, 1.61, 1.8, 3.91, 15.5]
-sseed []
-
-z3_4_5_0
-shuffle []
-rename [28.51, 2.77, 1.19, 3.1]
-sseed []
-
-z3_4_6_0
-shuffle []
-rename []
-sseed []
-
-z3_4_8_5
-shuffle []
-rename []
-sseed []
-
-z3_4_11_2
-shuffle [22.05]
-rename [9.8]
-sseed []
-
-fs_dice
-z3_4_4_2
-shuffle [27.06, 27.47, 26.74, 27.0, 27.02, 27.29, 24.82, 29.29, 29.43, 22.39, 22.0]
-rename [28.14, 26.32, 24.89, 27.74, 26.67, 29.09, 26.64, 27.09, 27.0, 27.54, 27.01, 28.72, 22.05, 25.52]
-sseed [24.58, 26.81, 28.97, 29.49, 29.19, 26.4]
-
-z3_4_5_0
-shuffle [27.64, 28.54, 28.33, 29.48, 26.95, 28.54, 26.98, 27.07, 29.19, 24.18, 25.85, 29.28, 22.76, 23.98]
-rename [28.56, 26.92, 19.21, 28.06, 27.12, 28.19, 25.47, 27.67, 29.45, 21.93]
-sseed [28.1, 27.81, 23.76, 29.75, 25.72, 26.29, 27.81, 27.83, 28.33, 26.32]
-
-z3_4_6_0
-shuffle [26.27, 21.16, 28.73, 27.87, 21.11, 27.08, 27.49, 27.62, 25.71, 22.66, 29.19]
-rename [24.11, 27.8, 28.87, 28.04, 29.31, 28.03]
-sseed [25.62, 27.95, 26.02, 29.34, 28.08, 22.29, 29.25]
-
-z3_4_8_5
-shuffle [28.35, 15.66, 27.21, 7.44, 12.76, 23.99, 27.5, 24.83, 27.75]
-rename [28.79, 27.79, 29.28, 27.18, 28.19, 29.41]
-sseed [28.72, 28.03, 28.23, 27.13, 25.43, 25.79, 27.11, 25.01, 28.25]
-
-z3_4_11_2
-shuffle [16.06, 24.35, 28.13, 27.41, 24.93, 26.4, 24.64, 28.11, 27.66, 28.07, 23.35, 2.64]
-rename [17.06, 27.34, 25.98, 24.86, 5.03, 27.54, 27.14, 24.94, 29.04, 28.19, 25.77]
-sseed [26.66, 28.12, 28.81]
-