Update README.md

kc885 · web-flow · commit 3f82cc524dbc · 2018-03-27T20:46:05.000-04:00
diff --git a/README.md b/README.md
@@ -1 +1,11 @@
 # SAT-Solver-with-CDCL
+
+## Performance
+     ~110 seconds for the 1000 sample benchmarks
+
+## Methodology
+     1. CDCL
+     2. Sorting the input by frequency(NOTE: It may be slow for the uniform distributed case)
+
+## To Run
+     ./run_benchmark.sh
