amin/SOC-Observation-Code
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Updated README.md

Browse Source
This commit is contained in:
Ämin Baumeler 2023-05-08 18:53:16 +00:00
parent 76a540dce9
commit b8719c752d
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
README.md
View File

@ -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 $ ./SOCgen -n 3 > 3.soc
Generating SOCs with 3 nodes Generating SOCs with 3 nodes
100.00% 64/64 (found=6 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 at rate 64.00 graphs/s in 0 seconds Found 6 SOCs in 0 seconds
``` ```
The admissibility of these graphs can then be checked by running: The admissibility of these graphs can then be checked by running:
``` ```
$ ./SOCadmissible 3.soc $ ./SOCadmissible 3.soc
Verifying the admissibility of 6 graphs in the file `3.soc' (line 1 to line 6) 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 These graphs are admissible
``` ```