diff --git a/README.md b/README.md index 8d33f2b..af79e04 100644 --- a/README.md +++ b/README.md @@ -65,14 +65,14 @@ To generate all SOCs with three nodes, and save them in the file `3.soc`, run: ``` $ ./SOCgen -n 3 > 3.soc Generating SOCs with 3 nodes -100.00% 64/64 (found=6 at rate 64.00 graphs/s in 0 seconds) -Found 6 SOCs at rate 64.00 graphs/s in 0 seconds +100.00% 64/64 (6 SOCs found, 0 seconds, 64.00 graphs/s, 6.00 SOCs/s, 0.00h estimated time left) +Found 6 SOCs in 0 seconds ``` The admissibility of these graphs can then be checked by running: ``` $ ./SOCadmissible 3.soc Verifying the admissibility of 6 graphs in the file `3.soc' (line 1 to line 6) -100.00% 6/6 (verification rate 6.00 graphs/s in 0 seconds; current line 6) +100.00% 6/6 (6.00 graphs/s in 0 seconds; current line 6) These graphs are admissible ```