From fcca3afaccab2d598900a309fbcb5f0d44283664 Mon Sep 17 00:00:00 2001
From: Daniel Tsvetkov <danieltcv@gmail.com>
Date: Fri, 21 Feb 2020 15:52:34 +0100
Subject: [PATCH] generate 100 4-predicate-8and sats

---
 3sat.py | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/3sat.py b/3sat.py
index 8f49a14..c979092 100644
--- a/3sat.py
+++ b/3sat.py
@@ -92,10 +92,14 @@ def classical_3sat(func):
 
 
 def main():
-    gen_3sat = SAT(predicates=4)
-    gen_3sat.generate(ands=1)
-    gen_3sat.show()
-    pprint(classical_3sat(gen_3sat))
+    rv = []
+    for _ in range(100):
+        gen_3sat = SAT(predicates=4)
+        gen_3sat.generate(ands=8)
+        # gen_3sat.show()
+        sols = classical_3sat(gen_3sat)
+        rv.append(len(sols))
+    print(sorted(rv))
 
 
 if __name__ == "__main__":