diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_050.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_050.cnf
deleted file mode 100644
index 1b5ca71..0000000
--- a/cnf/sat/cnfgen_randkcnf_3_50_100_050.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:2a27305a9693d8e7b02a559a85f92bac99a2da05bfb6fd9e9d02f2d42d38be79
-size 1444
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_051.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_051.cnf
deleted file mode 100644
index 952e823..0000000
--- a/cnf/sat/cnfgen_randkcnf_3_50_100_051.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:42b9b70f6c624f96aeb4dc9c4f6dffe1bb34a6cb4e4e62776397f5fe1964922e
-size 1440
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_052.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_052.cnf
deleted file mode 100644
index 2c9355f..0000000
--- a/cnf/sat/cnfgen_randkcnf_3_50_100_052.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:37ec14d9c05ef98f5b7731d959590450f4b487fdb27c51f0d982595279cfe548
-size 1425
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_053.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_053.cnf
deleted file mode 100644
index 5e0eebd..0000000
--- a/cnf/sat/cnfgen_randkcnf_3_50_100_053.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:430fe54871058802ac850d437650c69e3b4e3be762bbb9fba68b16f92b221a90
-size 1438
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_054.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_054.cnf
deleted file mode 100644
index 5057c1f..0000000
--- a/cnf/sat/cnfgen_randkcnf_3_50_100_054.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:14b44fc813b3fc44ae9b314ee5330b163bb9665548d8ffcd5916f8d2b83f92e2
-size 1446
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_055.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_055.cnf
deleted file mode 100644
index 5bd0d42..0000000
--- a/cnf/sat/cnfgen_randkcnf_3_50_100_055.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:33a6feefbf9bbbe72bd8ac4f42d0da9df8a526a4e559663cca1a406b4709a02d
-size 1453
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_056.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_056.cnf
deleted file mode 100644
index 0ae0f64..0000000
--- a/cnf/sat/cnfgen_randkcnf_3_50_100_056.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:ca49d29eafd6c642dd1a5f164d0839537bfe28469638857b641945869acba8f8
-size 1452
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_057.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_057.cnf
deleted file mode 100644
index 64a25a3..0000000
--- a/cnf/sat/cnfgen_randkcnf_3_50_100_057.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:9fbd57c84295b87a6315a35cf96180f2491a493fc86f7f8a500a3568ae4e4ccc
-size 1438
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_058.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_058.cnf
deleted file mode 100644
index 3c13399..0000000
--- a/cnf/sat/cnfgen_randkcnf_3_50_100_058.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:77518913e9f2d9b93afe2fbdcd1c4546e8fd090ba94abb78e82cc84dc3d843d6
-size 1456
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_059.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_059.cnf
deleted file mode 100644
index 5408b86..0000000
--- a/cnf/sat/cnfgen_randkcnf_3_50_100_059.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:cf6dabd37c65ae667d1ef15a6cc9547282fd615832c631bd5c523450a0c407b0
-size 1457
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_060.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_060.cnf
deleted file mode 100644
index 226d940..0000000
--- a/cnf/sat/cnfgen_randkcnf_3_50_100_060.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:2d852d1b55cee96750df288ef019cd3a58ba4e305c0f3e32275105a537bfe2b2
-size 1461
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_061.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_061.cnf
deleted file mode 100644
index ab3e10c..0000000
--- a/cnf/sat/cnfgen_randkcnf_3_50_100_061.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:5e3f8801e6a388242b22c257c910351f37dcd9fc03f84e7a4da131075af12753
-size 1453
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_062.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_062.cnf
deleted file mode 100644
index af5cc61..0000000
--- a/cnf/sat/cnfgen_randkcnf_3_50_100_062.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:574f416ff5efed7705ea8a4d19e64378b03c889c94799169382e20870608cb51
-size 1456
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_063.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_063.cnf
deleted file mode 100644
index 2634538..0000000
--- a/cnf/sat/cnfgen_randkcnf_3_50_100_063.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:cb859982a92514a4ff8e72df8ce87387e9fe0f44288f18840b0380c8315f26ea
-size 1444
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_064.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_064.cnf
deleted file mode 100644
index 1d1c7a1..0000000
--- a/cnf/sat/cnfgen_randkcnf_3_50_100_064.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:e4fa91ae145d2adf5960793098470e02f78a508c6695e9cb42436c8c01fd1fce
-size 1451
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_065.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_065.cnf
deleted file mode 100644
index 16711e6..0000000
--- a/cnf/sat/cnfgen_randkcnf_3_50_100_065.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:61e63aa14637fd4f3dd952207594946fb5435d6cc9a01b27c2274ee60b272216
-size 1431
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_066.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_066.cnf
deleted file mode 100644
index 52ada23..0000000
--- a/cnf/sat/cnfgen_randkcnf_3_50_100_066.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:5ff8582ff4f780308929ff5feb4e5fe8ff8d99c1cf406910bb5db7c12b35c109
-size 1449
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_067.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_067.cnf
deleted file mode 100644
index c03f834..0000000
--- a/cnf/sat/cnfgen_randkcnf_3_50_100_067.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:b1ed25ab56556b46b92944cb80ac635655aed2acc34c71ceb0af45b0bae453ef
-size 1442
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_068.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_068.cnf
deleted file mode 100644
index 06c1439..0000000
--- a/cnf/sat/cnfgen_randkcnf_3_50_100_068.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:8165b2d8111903238905169fbe4ac5ec01da58ee724499c3152e21e425eb7d39
-size 1456
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_069.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_069.cnf
deleted file mode 100644
index 2488aa2..0000000
--- a/cnf/sat/cnfgen_randkcnf_3_50_100_069.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:2de09b2162ede83f10c9ce1dba905a8582a3be484b2fab255eea598c9d0d4dd8
-size 1446
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_050.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_050.cnf
deleted file mode 100644
index 9f38bcf..0000000
--- a/cnf/unsat/cnfgen_randkcnf_3_75_400_050.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:8850947b898eabdf19d221b046f8ba937f46fb4a2948365f9cee21a2757544d9
-size 5134
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_051.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_051.cnf
deleted file mode 100644
index c06d2eb..0000000
--- a/cnf/unsat/cnfgen_randkcnf_3_75_400_051.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:543adecda67f296dbd16329852992d7752cc95ff39a27db6d887b8c75bf776ff
-size 5130
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_052.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_052.cnf
deleted file mode 100644
index 73b0cb5..0000000
--- a/cnf/unsat/cnfgen_randkcnf_3_75_400_052.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:616286a9f2e4b4d6a96512c3b430acad906f6acdc41cf3534c643a079ad5a483
-size 5123
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_053.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_053.cnf
deleted file mode 100644
index f7f57b1..0000000
--- a/cnf/unsat/cnfgen_randkcnf_3_75_400_053.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:233a25f34e0c3028ecb1eb16313294e4d5903b19c533488a47969f7f817ef033
-size 5116
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_054.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_054.cnf
deleted file mode 100644
index c793684..0000000
--- a/cnf/unsat/cnfgen_randkcnf_3_75_400_054.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:2225beff98ff28a92e81d939fd04f782cbef40de6c61d687372f9b714eecfae3
-size 5108
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_055.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_055.cnf
deleted file mode 100644
index 2c3124e..0000000
--- a/cnf/unsat/cnfgen_randkcnf_3_75_400_055.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:c113190d5f36c18e8326cd4aaf560e2ca9535918f50326a09bfb891f12b42227
-size 5116
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_056.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_056.cnf
deleted file mode 100644
index 4cca58e..0000000
--- a/cnf/unsat/cnfgen_randkcnf_3_75_400_056.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:9c2f7c8204776e218bc7a09fa9f4f924f66347605954ef2261e6d5e0817580a1
-size 5102
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_057.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_057.cnf
deleted file mode 100644
index 4ac6449..0000000
--- a/cnf/unsat/cnfgen_randkcnf_3_75_400_057.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:9f13cfd49853ece1b03ffe4f5766cd34e39dc6d5b24624e9567ef663291df842
-size 5121
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_058.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_058.cnf
deleted file mode 100644
index 7e7360c..0000000
--- a/cnf/unsat/cnfgen_randkcnf_3_75_400_058.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:ddcfb3aaabd490541a3ce53addd411acb09dae1876b10cc96697319efa8bd99b
-size 5108
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_059.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_059.cnf
deleted file mode 100644
index e2bee3f..0000000
--- a/cnf/unsat/cnfgen_randkcnf_3_75_400_059.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:a7d412ab7bb8baf8461cbde4299fd5d23629d81d9b500f1d157e711a1da5273d
-size 5091
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_060.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_060.cnf
deleted file mode 100644
index 99ffb57..0000000
--- a/cnf/unsat/cnfgen_randkcnf_3_75_400_060.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:95b0b10c140ad76351e6a3c1d7764ff912fc05b1086db0ce2d647f5843140171
-size 5130
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_061.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_061.cnf
deleted file mode 100644
index eb81886..0000000
--- a/cnf/unsat/cnfgen_randkcnf_3_75_400_061.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:3a6ace3e94f38e74f314c41c8895a000ab248381b0c65448a111f44683660ea0
-size 5130
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_062.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_062.cnf
deleted file mode 100644
index 7fbdc00..0000000
--- a/cnf/unsat/cnfgen_randkcnf_3_75_400_062.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:0881d28ca066635487b40c14b8aaa0c9ef268280299b31050e0e55f106084153
-size 5091
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_063.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_063.cnf
deleted file mode 100644
index 5ca8e00..0000000
--- a/cnf/unsat/cnfgen_randkcnf_3_75_400_063.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:0ddee66fb9fedfbab9107ed386885d49ac1b568fd4fd605277b992ffb0dfa59e
-size 5130
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_064.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_064.cnf
deleted file mode 100644
index a5b716c..0000000
--- a/cnf/unsat/cnfgen_randkcnf_3_75_400_064.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:90c65ae4e7f22cc4c963f5d79f51d8a350e56189257d2abee3ac07d86c992d36
-size 5092
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_065.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_065.cnf
deleted file mode 100644
index 76f8a68..0000000
--- a/cnf/unsat/cnfgen_randkcnf_3_75_400_065.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:6d0489f718bb98c483462db6b401d13b911daf4e8ac8acf614a4a9134db2b3b5
-size 5119
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_066.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_066.cnf
deleted file mode 100644
index d4937b6..0000000
--- a/cnf/unsat/cnfgen_randkcnf_3_75_400_066.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:5a911f89b7b6d760a409c8c2dbdbcdd2e6f11d02e1183309d7b42d5c47575d1a
-size 5123
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_067.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_067.cnf
deleted file mode 100644
index 9eedc09..0000000
--- a/cnf/unsat/cnfgen_randkcnf_3_75_400_067.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:af54eb56b767f5bfa5452a9c08ca316c70bb00fa8b95a17576530b860ccab676
-size 5121
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_068.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_068.cnf
deleted file mode 100644
index f0e006b..0000000
--- a/cnf/unsat/cnfgen_randkcnf_3_75_400_068.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:7ca22f7b39cea3517567beadd423242ff66a30098f3423b17e852908fc5cd410
-size 5134
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_069.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_069.cnf
deleted file mode 100644
index 752e085..0000000
--- a/cnf/unsat/cnfgen_randkcnf_3_75_400_069.cnf
+++ /dev/null
@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:43caee883886ba684223a52b7244de958183ee74c94ab372ac6b77fa6e212746
-size 5111