Update

togatoga · Jan 23, 2021 · bc388f3 · bc388f3
1 parent 33a8690
commit bc388f3
Show file tree

Hide file tree

Showing 40 changed files with 0 additions and 120 deletions.
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_050.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_050.cnf
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_051.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_051.cnf
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_052.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_052.cnf
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_053.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_053.cnf
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_054.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_054.cnf
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_055.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_055.cnf
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_056.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_056.cnf
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_057.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_057.cnf
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_058.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_058.cnf
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_059.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_059.cnf
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_060.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_060.cnf
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_061.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_061.cnf
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_062.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_062.cnf
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_063.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_063.cnf
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_064.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_064.cnf
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_065.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_065.cnf
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_066.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_066.cnf
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_067.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_067.cnf
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_068.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_068.cnf
diff --git a/cnf/sat/cnfgen_randkcnf_3_50_100_069.cnf b/cnf/sat/cnfgen_randkcnf_3_50_100_069.cnf
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_050.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_050.cnf
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_051.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_051.cnf
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_052.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_052.cnf
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_053.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_053.cnf
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_054.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_054.cnf
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_055.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_055.cnf
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_056.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_056.cnf
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_057.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_057.cnf
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_058.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_058.cnf
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_059.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_059.cnf
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_060.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_060.cnf
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_061.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_061.cnf
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_062.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_062.cnf
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_063.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_063.cnf
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_064.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_064.cnf
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_065.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_065.cnf
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_066.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_066.cnf
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_067.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_067.cnf
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_068.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_068.cnf
diff --git a/cnf/unsat/cnfgen_randkcnf_3_75_400_069.cnf b/cnf/unsat/cnfgen_randkcnf_3_75_400_069.cnf