update quickbench

RAIRLab · Apr 28, 2023 · a661abb · a661abb
1 parent c40a0cd
commit a661abb
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/benchmarks/quickbench.py b/benchmarks/quickbench.py
@@ -8,12 +8,12 @@
 
 #Proof to quickbench
 proof = "../proofs/hyperslate/benchmarks/Branch100-150.slt"
-ranks = [1, 2, 3, 4, 5, 6, 7, 8] #Num Ranks to test
+ranks = [1, 2, 3, 4, 5, 6] #Num Ranks to test
 #ParallelVerifier Args to test with
 MPIArgs = [
-    ("Original", "Serial"),
-    ("NoOpt", "Serial"),
-    ("LoadBalance", "Serial")
+#    ("Original", "Serial"),
+#    ("NoOpt", "Serial"),
+#    ("LoadBalance", "Serial")
 ]
 
 OMPArgs = [

diff --git a/benchmarks/res.png b/benchmarks/res.png