
Automorphism group
Brendan McKay
Department of Computer Science
Australian National University
Canberra ACT 0200, Australia
bdm at cs dot anu dot edu dot au
Personal page →
Adolfo Piperno
Dipartimento di Informatica
Sapienza Università di Roma
Via Salaria 113, 00198 Rome, Italy
(λxy.pipernoxdiyuniroma1yit) @ . Wikipedia: The Lambda-Calculus →
(λxy.M)PQ = M[P/x][Q/y] "substitute P for x and Q for y in M"
Personal page →
Miscellaneous vertex-transitive graphs
updated Nov 22, 2012
All experiments have been run on a MacBookPro (retina), Intel Core i7, 2.66 GHz, 16GB ram, under gcc4.7.
bliss 0.72
nauty 25rc1
conauto 2.0.1
saucy 3.0
Traces 2.0
Vertex-transitive graphs 12-100 vertices
updated Nov 22, 2012
All experiments have been run on a MacBookPro (retina), Intel Core i7, 2.66 GHz, 16GB ram, under gcc4.7.
bliss 0.72
nauty 25rc1
conauto 2.0.1
saucy 3.0
Traces 2.0
Vertex-transitive graphs 101-1,000 vertices
updated Nov 22, 2012
All experiments have been run on a MacBookPro (retina), Intel Core i7, 2.66 GHz, 16GB ram, under gcc4.7.
bliss 0.72
nauty 25rc1
conauto 2.0.1
saucy 3.0
Traces 2.0
Vertex-transitive graphs 1,001-100,000 vertices
updated Nov 22, 2012
All experiments have been run on a MacBookPro (retina), Intel Core i7, 2.66 GHz, 16GB ram, under gcc4.7.
bliss 0.72
nauty 25rc1
conauto 2.0.1
saucy 3.0
Traces 2.0