From cd3b8f56df261982381f65fd469ace159f2a13da Mon Sep 17 00:00:00 2001 From: Brandon Rozek Date: Fri, 4 Oct 2024 13:22:40 -0400 Subject: [PATCH] Added summary at end --- parse_magic.py | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/parse_magic.py b/parse_magic.py index 9eb00fd..6e35923 100644 --- a/parse_magic.py +++ b/parse_magic.py @@ -346,8 +346,14 @@ if __name__ == "__main__": args = vars(parser.parse_args()) parse_matrices(SourceFile(sys.stdin)) print(f"Parsed {len(solutions)} matrices") + num_has_vsp = 0 for i, (model, interpretation) in enumerate(solutions): vsp_result = has_vsp(model, interpretation) print(vsp_result) + if args['verbose'] or vsp_result.has_vsp: print(model) + + if vsp_result.has_vsp: + num_has_vsp += 1 + print(f"Tested {len(solutions)} models, {num_has_vsp} of which satisfy VSP")