Update README.md

Kapilhk · Sep 7, 2020 · ef09523 · ef09523
1 parent 01d81dd
commit ef09523
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -11,7 +11,7 @@ Features:
 
 ### Test & Benchmark Results:
 <pre>
-In Comparison with Edusat:
+Comparison with Edusat:
 ---------------------------------------------------------------------------------------------------
 |        Files :        bmc-2.cnf   | bmc-7.cnf | unsat3.cnf | par8.cnf | aim-50 | aim100 | zebra |
 | ------------------- | ----------- | --------- | ---------- | -------- | ------ | ------ | ----- |