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 →
automorphism group computation
Hadamard Matrix Graphs
bliss
nauty
conauto
saucy
Traces
updated Nov 22, 2012
Automorphism group
Canonical label
The had family from bliss benchmarks distribution. Graphs are grouped by number of vertices.
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
go to
Brendan McKay's nauty page →