
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 →
Cai, Fürer and Immerman Graphs
updated Nov 22, 2012
The cfi 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
Miyazaki graphs
updated Nov 22, 2012
The mz 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
Miyazaki augmented graphs
updated Nov 22, 2012
The mz-aug2 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