Performance test of CaTS version 2.0 using reverse search

The performance of CaTS has been tested on the following types of matrices:

An
123...n-1n
HAn
123...n-1n
111...11

on the following machines:

NameCpuTypeClock frequency
bishorn (.daimi.au.dk)Intel(R) Pentium(R) 4 CPU 2.40GHz 2386.596 MHz
kyle (.daimi.au.dk)AMD Athlon(tm) Processor1333.029 MHz

The vertices of the state polytope were enumerated using reverse search and SoPlex.
This was the result:

Matrix Number of rows Number of columns Dimension of the state polytope Number of vertices in the state polytope Number of edges in the state polytope kyle bishorn
A2 1 2 1 2 1 0.00 s 0.00 s
A3 1 3 2 6 6 0.00 s 0.00 s
A4 1 4 3 20 31 0.00 s 0.00 s
A5 1 5 4 114 249 0.03 s 0.02 s
A6 1 6 5 488 1394 0.30 s 0.27 s
A7 1 7 6 4073 14800 5.14 s 4.65 s
A8 1 8 7 25334 111558 54.59 s 48.90 s
A9 1 9 8 206444 1080981 749.09 s 667.56 s
A10 1 10 9 1499772 9105736 8582.00 s 7513.00 s
HA4 2 4 2 8 8 0.00 s 0.00 s
HA5 2 5 3 42 65 0.00 s 0.00 s
HA6 2 6 4 356 778 0.15 s 0.14 s
HA7 2 7 5 3079 8830 3.21 s 2.89 s
HA8 2 8 6 40284 147086 93.76 s 81.87 s
HA9 2 9 7 583370 2615799 2752.00 s 2370.00 s