From 515a720d0021f0e9dae8b0d3194b90bc1fa7600a Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 22 Jul 2021 09:57:53 -0400 Subject: [PATCH] detail --- src/main/main.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/main.ml b/src/main/main.ml index 8bcc75c5..c2d6e68b 100644 --- a/src/main/main.ml +++ b/src/main/main.ml @@ -152,7 +152,7 @@ let main_cnf () : _ result = S.Dimacs.parse_file solver !file >>= fun () -> let r = S.solve solver in if !p_stat then ( - Fmt.printf "; n-conflicts: %d n-decisions: %d n-propagations: %d@. \ + Fmt.printf "; n-conflicts: %d n-decisions: %d n-propagations: %d@.\ ; n-restarts: %d n-atoms: %d@." (S.SAT.n_conflicts solver) (S.SAT.n_decisions solver) (S.SAT.n_propagations solver) (S.SAT.n_restarts solver) !n_atoms;