Merge pull request #22 from Yag000/improve-simplifications

Improve simplifications
hferee · Jul 8, 2024 · f4b2919 · f4b2919
2 parents 01a0b6b + 68ef999
commit f4b2919
Show file tree

Hide file tree

Showing 2 changed files with 331 additions and 203 deletions.
diff --git a/bin/benchmark.ml b/bin/benchmark.ml
@@ -27,11 +27,12 @@ let time f x =
   { value = fx; time = Sys.time () -. t }
 
 let print_value_results { name; before; after } =
-  Printf.printf "| %s | %d | %d | %.2f | %.4f |\n" name before.value after.value
+  Printf.printf "| %s | %d | %d | %.2f | %.4f | %.4f |\n" name before.value
+    after.value
     (percentage_reduction
        (float_of_int before.value)
        (float_of_int after.value))
-    before.time
+    before.time after.time
 
 let bench_one fs =
   let f = eval fs in
@@ -55,8 +56,9 @@ let bench_one fs =
 let print_bench_value_info benches =
   Printf.printf
     "| Formula | Interpolant weight | Simplified interpolant weight | \
-     Percentage reduction |Interpolant computation time (s)|\n\
-     |--|--|--|--|--|\n";
+     Percentage reduction | Interpolant computation time (s)| Simplification \
+     computation time (s)|\n\
+     |--|--|--|--|--|--|\n";
   List.iter print_value_results benches;
   print_newline ();