diff --git a/results/plots/all/all_red_solverlog_sorted.png b/results/plots/all/all_red_solverlog_sorted.png
new file mode 100644
index 0000000..fbf0943
Binary files /dev/null and b/results/plots/all/all_red_solverlog_sorted.png differ
diff --git a/results/plots/all/all_solver_sorted.png b/results/plots/all/all_solver_sorted.png
deleted file mode 100644
index 809cf4b..0000000
Binary files a/results/plots/all/all_solver_sorted.png and /dev/null differ
diff --git a/results/plots/all/all_solverlog_sorted.png b/results/plots/all/all_solverlog_sorted.png
new file mode 100644
index 0000000..48f8890
Binary files /dev/null and b/results/plots/all/all_solverlog_sorted.png differ
diff --git a/results/plots/all/all_vs_solverlog_sorted.png b/results/plots/all/all_vs_solverlog_sorted.png
new file mode 100644
index 0000000..082aa12
Binary files /dev/null and b/results/plots/all/all_vs_solverlog_sorted.png differ
diff --git a/results/plots/all/closed_nb.png b/results/plots/all/closed_nb.png
index 793e988..5eb3e25 100644
Binary files a/results/plots/all/closed_nb.png and b/results/plots/all/closed_nb.png differ
diff --git a/results/plots/all/closed_red_solverlog_sorted.png b/results/plots/all/closed_red_solverlog_sorted.png
new file mode 100644
index 0000000..0200d0e
Binary files /dev/null and b/results/plots/all/closed_red_solverlog_sorted.png differ
diff --git a/results/plots/all/closed_solver.png b/results/plots/all/closed_solver.png
index 142ee19..c03a3a4 100644
Binary files a/results/plots/all/closed_solver.png and b/results/plots/all/closed_solver.png differ
diff --git a/results/plots/all/closed_solver_sorted.png b/results/plots/all/closed_solver_sorted.png
index e2d0e58..e93f15c 100644
Binary files a/results/plots/all/closed_solver_sorted.png and b/results/plots/all/closed_solver_sorted.png differ
diff --git a/results/plots/all/closed_total.png b/results/plots/all/closed_total.png
index ebc0f2e..0ee5aa2 100644
Binary files a/results/plots/all/closed_total.png and b/results/plots/all/closed_total.png differ
diff --git a/results/plots/all/closed_vs_solver_sorted.png b/results/plots/all/closed_vs_solver_sorted.png
new file mode 100644
index 0000000..e608a69
Binary files /dev/null and b/results/plots/all/closed_vs_solver_sorted.png differ
diff --git a/results/plots/all/closed_vs_solverlog_sorted.png b/results/plots/all/closed_vs_solverlog_sorted.png
new file mode 100644
index 0000000..560b12d
Binary files /dev/null and b/results/plots/all/closed_vs_solverlog_sorted.png differ
diff --git a/results/plots/all/disc_nb.png b/results/plots/all/disc_nb.png
index 08122de..af67068 100644
Binary files a/results/plots/all/disc_nb.png and b/results/plots/all/disc_nb.png differ
diff --git a/results/plots/all/disc_red_solver_sorted.png b/results/plots/all/disc_red_solver_sorted.png
new file mode 100644
index 0000000..e0c211f
Binary files /dev/null and b/results/plots/all/disc_red_solver_sorted.png differ
diff --git a/results/plots/all/disc_red_solverlog_sorted.png b/results/plots/all/disc_red_solverlog_sorted.png
new file mode 100644
index 0000000..4b9d97b
Binary files /dev/null and b/results/plots/all/disc_red_solverlog_sorted.png differ
diff --git a/results/plots/all/disc_solver.png b/results/plots/all/disc_solver.png
index a9c4b82..3f63348 100644
Binary files a/results/plots/all/disc_solver.png and b/results/plots/all/disc_solver.png differ
diff --git a/results/plots/all/disc_solver_sorted.png b/results/plots/all/disc_solver_sorted.png
index bca8816..b8ac296 100644
Binary files a/results/plots/all/disc_solver_sorted.png and b/results/plots/all/disc_solver_sorted.png differ
diff --git a/results/plots/all/disc_total.png b/results/plots/all/disc_total.png
index 7bd8ffe..374843a 100644
Binary files a/results/plots/all/disc_total.png and b/results/plots/all/disc_total.png differ
diff --git a/results/plots/all/disc_vs_solver_sorted.png b/results/plots/all/disc_vs_solver_sorted.png
new file mode 100644
index 0000000..73a7394
Binary files /dev/null and b/results/plots/all/disc_vs_solver_sorted.png differ
diff --git a/results/plots/all/disc_vs_solverlog_sorted.png b/results/plots/all/disc_vs_solverlog_sorted.png
new file mode 100644
index 0000000..0cc385a
Binary files /dev/null and b/results/plots/all/disc_vs_solverlog_sorted.png differ
diff --git a/results/plots/all/gen_nb.png b/results/plots/all/gen_nb.png
index a053325..a7b2427 100644
Binary files a/results/plots/all/gen_nb.png and b/results/plots/all/gen_nb.png differ
diff --git a/results/plots/all/gen_red_solverlog_sorted.png b/results/plots/all/gen_red_solverlog_sorted.png
new file mode 100644
index 0000000..b9cfb55
Binary files /dev/null and b/results/plots/all/gen_red_solverlog_sorted.png differ
diff --git a/results/plots/all/gen_solver.png b/results/plots/all/gen_solver.png
index d3b321e..bb958df 100644
Binary files a/results/plots/all/gen_solver.png and b/results/plots/all/gen_solver.png differ
diff --git a/results/plots/all/gen_solver_sorted.png b/results/plots/all/gen_solver_sorted.png
index 71330f1..5bc2019 100644
Binary files a/results/plots/all/gen_solver_sorted.png and b/results/plots/all/gen_solver_sorted.png differ
diff --git a/results/plots/all/gen_total.png b/results/plots/all/gen_total.png
index 412aec5..523a5e3 100644
Binary files a/results/plots/all/gen_total.png and b/results/plots/all/gen_total.png differ
diff --git a/results/plots/all/gen_vs_solver_sorted.png b/results/plots/all/gen_vs_solver_sorted.png
new file mode 100644
index 0000000..408fefe
Binary files /dev/null and b/results/plots/all/gen_vs_solver_sorted.png differ
diff --git a/results/plots/all/gen_vs_solverlog_sorted.png b/results/plots/all/gen_vs_solverlog_sorted.png
new file mode 100644
index 0000000..31f652a
Binary files /dev/null and b/results/plots/all/gen_vs_solverlog_sorted.png differ
diff --git a/results/plots/all/mini_nb.png b/results/plots/all/mini_nb.png
index 8637c88..0de6057 100644
Binary files a/results/plots/all/mini_nb.png and b/results/plots/all/mini_nb.png differ
diff --git a/results/plots/all/mini_solver.png b/results/plots/all/mini_solver.png
index 01c1ef5..5e778f9 100644
Binary files a/results/plots/all/mini_solver.png and b/results/plots/all/mini_solver.png differ
diff --git a/results/plots/all/mini_solver_sorted.png b/results/plots/all/mini_solver_sorted.png
index 1df22a8..61e2f02 100644
Binary files a/results/plots/all/mini_solver_sorted.png and b/results/plots/all/mini_solver_sorted.png differ
diff --git a/results/plots/all/mini_total.png b/results/plots/all/mini_total.png
index 83fb484..d35eca2 100644
Binary files a/results/plots/all/mini_total.png and b/results/plots/all/mini_total.png differ
diff --git a/results/plots/all/rel_nb.png b/results/plots/all/rel_nb.png
index 674d43f..a2ddb5d 100644
Binary files a/results/plots/all/rel_nb.png and b/results/plots/all/rel_nb.png differ
diff --git a/results/plots/all/rel_red_solverlog_sorted.png b/results/plots/all/rel_red_solverlog_sorted.png
new file mode 100644
index 0000000..5aa6604
Binary files /dev/null and b/results/plots/all/rel_red_solverlog_sorted.png differ
diff --git a/results/plots/all/rel_solver.png b/results/plots/all/rel_solver.png
index 11433ab..860351b 100644
Binary files a/results/plots/all/rel_solver.png and b/results/plots/all/rel_solver.png differ
diff --git a/results/plots/all/rel_solver_sorted.png b/results/plots/all/rel_solver_sorted.png
index 53a59be..d239b13 100644
Binary files a/results/plots/all/rel_solver_sorted.png and b/results/plots/all/rel_solver_sorted.png differ
diff --git a/results/plots/all/rel_total.png b/results/plots/all/rel_total.png
index 0cb174c..45206d2 100644
Binary files a/results/plots/all/rel_total.png and b/results/plots/all/rel_total.png differ
diff --git a/results/plots/all/rel_vs_solver_sorted.png b/results/plots/all/rel_vs_solver_sorted.png
new file mode 100644
index 0000000..30bad57
Binary files /dev/null and b/results/plots/all/rel_vs_solver_sorted.png differ
diff --git a/results/plots/all/rel_vs_solverlog_sorted.png b/results/plots/all/rel_vs_solverlog_sorted.png
new file mode 100644
index 0000000..dd77f15
Binary files /dev/null and b/results/plots/all/rel_vs_solverlog_sorted.png differ