874.vtx 	Input file containing the vertices
874.edge	Input file containing the edges

874.singular	Singular file generated by "check_dist_one.py".
                Includes the rewriten graph
                Can be passed on to computer algebra system Singular
                
results.out	File containing the output of Singular.
                0 means that the edge has exakt length 1.


874python.log   Log file containing output
874python.err   Log file containing time and memory needed for running "check_dist_one.py"
874singular.log	Log file containing output of Singular
874singular.err	Log file containing time and memory needed by Singular

run.sh		Runs python and Singular and measures time and memory
                (needs runlim to be installed: http://fmv.jku.at/runlim/)

Daniela Ritirc
Wed Apr 18 09:04:35 CEST 2018
