rm -f *.trail pan* mpi-spin-init.c
ms -sym=2 -DANYSOURCE -block -chansize=1 -DVERBOSE matmat_main.prom -np=2 -DA_ROWS=8 -DA_COLS=2 -DB_COLS=2 -DNSLAVES=1
MPI-Spin version 1.1 of 27-Nov-2010
mscc -DSAFETY -DCOLLAPSE -DVECTORSZ=4000 -DNOBOUNDCHECK
./pan -n
Matrix A: 
x0  x1
x2  x3
x4  x5
x6  x7
x8  x9
x10 x11
x12 x13
x14 x15

Matrix B: 
x16 x17
x18 x19

---------------------------------------------------------------------

Matrix C: 

x0*x16+x1*x18   x0*x17+x1*x19
x2*x16+x3*x18   x2*x17+x3*x19
x4*x16+x5*x18   x4*x17+x5*x19
x6*x16+x7*x18   x6*x17+x7*x19
x8*x16+x9*x18   x8*x17+x9*x19
x10*x16+x11*x18 x10*x17+x11*x19
x12*x16+x13*x18 x12*x17+x13*x19
x14*x16+x15*x18 x14*x17+x15*x19

Number of sequential executions: 1
Final table length:              70
Max chain length:                1
Maximum path condition length:   0
Number of errors:                0
Equivalence type:                real

 **************************************************
 *   Parallel and sequential models correspond!   *
 **************************************************


(Spin Version 5.2.5 -- 17 April 2010)
	+ Partial Order Reduction
	+ Compression

Full statespace search for:
	never claim         	- (none specified)
	assertion violations	+
	cycle checks       	- (disabled by -DSAFETY)
	invalid end states	+

State-vector 364 byte, depth reached 99, errors: 0
       48 states, stored
        3 states, matched
       51 transitions (= stored+matched)
       90 atomic steps
hash conflicts:         1 (resolved)

    5.221	memory usage (Mbyte)

nr of templates: [ globals chans procs ]
collapse counts: [ 31 22 11 4 ]
MPI-Spin memory usage (bytes): 254437

pan: elapsed time 0 seconds
ms -sym=2 -DANYSOURCE -block -chansize=1 -DVERBOSE matmat_main.prom -np=3 -DA_ROWS=8 -DA_COLS=2 -DB_COLS=2 -DNSLAVES=2
MPI-Spin version 1.1 of 27-Nov-2010
mscc -DSAFETY -DCOLLAPSE -DVECTORSZ=4000 -DNOBOUNDCHECK
./pan -n
Matrix A: 
x0  x1
x2  x3
x4  x5
x6  x7
x8  x9
x10 x11
x12 x13
x14 x15

Matrix B: 
x16 x17
x18 x19

---------------------------------------------------------------------

Matrix C: 

x0*x16+x1*x18   x0*x17+x1*x19
x2*x16+x3*x18   x2*x17+x3*x19
x4*x16+x5*x18   x4*x17+x5*x19
x6*x16+x7*x18   x6*x17+x7*x19
x8*x16+x9*x18   x8*x17+x9*x19
x10*x16+x11*x18 x10*x17+x11*x19
x12*x16+x13*x18 x12*x17+x13*x19
x14*x16+x15*x18 x14*x17+x15*x19

Number of sequential executions: 1
Final table length:              70
Max chain length:                1
Maximum path condition length:   0
Number of errors:                0
Equivalence type:                real

 **************************************************
 *   Parallel and sequential models correspond!   *
 **************************************************


(Spin Version 5.2.5 -- 17 April 2010)
	+ Partial Order Reduction
	+ Compression

Full statespace search for:
	never claim         	- (none specified)
	assertion violations	+
	cycle checks       	- (disabled by -DSAFETY)
	invalid end states	+

State-vector 572 byte, depth reached 109, errors: 0
     1194 states, stored
      623 states, matched
     1817 transitions (= stored+matched)
     4924 atomic steps
hash conflicts:         2 (resolved)

    5.221	memory usage (Mbyte)

nr of templates: [ globals chans procs ]
collapse counts: [ 300 155 11 4 ]
MPI-Spin memory usage (bytes): 257173

pan: elapsed time 0 seconds
ms -sym=2 -DANYSOURCE -block -chansize=1 -DVERBOSE matmat_main.prom -np=4 -DA_ROWS=8 -DA_COLS=2 -DB_COLS=2 -DNSLAVES=3
MPI-Spin version 1.1 of 27-Nov-2010
mscc -DSAFETY -DCOLLAPSE -DVECTORSZ=4000 -DNOBOUNDCHECK
./pan -n
Matrix A: 
x0  x1
x2  x3
x4  x5
x6  x7
x8  x9
x10 x11
x12 x13
x14 x15

Matrix B: 
x16 x17
x18 x19

---------------------------------------------------------------------

Matrix C: 

x0*x16+x1*x18   x0*x17+x1*x19
x2*x16+x3*x18   x2*x17+x3*x19
x4*x16+x5*x18   x4*x17+x5*x19
x6*x16+x7*x18   x6*x17+x7*x19
x8*x16+x9*x18   x8*x17+x9*x19
x10*x16+x11*x18 x10*x17+x11*x19
x12*x16+x13*x18 x12*x17+x13*x19
x14*x16+x15*x18 x14*x17+x15*x19

Number of sequential executions: 1
Final table length:              70
Max chain length:                1
Maximum path condition length:   0
Number of errors:                0
Equivalence type:                real

 **************************************************
 *   Parallel and sequential models correspond!   *
 **************************************************


(Spin Version 5.2.5 -- 17 April 2010)
	+ Partial Order Reduction
	+ Compression

Full statespace search for:
	never claim         	- (none specified)
	assertion violations	+
	cycle checks       	- (disabled by -DSAFETY)
	invalid end states	+

State-vector 852 byte, depth reached 119, errors: 0
    19608 states, stored
    18432 states, matched
    38040 transitions (= stored+matched)
   122884 atomic steps
hash conflicts:       209 (resolved)

Stats on memory usage (in Megabytes):
   16.456	equivalent memory usage for states (stored*(State-vector + overhead))
    2.608	actual memory usage for states (compression: 15.85%)
         	state-vector as stored = 111 byte + 28 byte overhead
    4.000	memory used for hash table (-w19)
    0.458	memory used for DFS stack (-m10000)
    6.747	total actual memory usage

nr of templates: [ globals chans procs ]
collapse counts: [ 3471 491 11 4 ]
MPI-Spin memory usage (bytes): 259685

pan: elapsed time 0.24 seconds
pan: rate     81700 states/second
ms -sym=2 -DANYSOURCE -block -chansize=1 -DVERBOSE matmat_main.prom -np=5 -DA_ROWS=8 -DA_COLS=2 -DB_COLS=2 -DNSLAVES=4
MPI-Spin version 1.1 of 27-Nov-2010
mscc -DSAFETY -DCOLLAPSE -DVECTORSZ=4000 -DNOBOUNDCHECK
./pan -n
Matrix A: 
x0  x1
x2  x3
x4  x5
x6  x7
x8  x9
x10 x11
x12 x13
x14 x15

Matrix B: 
x16 x17
x18 x19

---------------------------------------------------------------------

Matrix C: 

x0*x16+x1*x18   x0*x17+x1*x19
x2*x16+x3*x18   x2*x17+x3*x19
x4*x16+x5*x18   x4*x17+x5*x19
x6*x16+x7*x18   x6*x17+x7*x19
x8*x16+x9*x18   x8*x17+x9*x19
x10*x16+x11*x18 x10*x17+x11*x19
x12*x16+x13*x18 x12*x17+x13*x19
x14*x16+x15*x18 x14*x17+x15*x19

Number of sequential executions: 1
Final table length:              70
Max chain length:                1
Maximum path condition length:   0
Number of errors:                0
Equivalence type:                real

 **************************************************
 *   Parallel and sequential models correspond!   *
 **************************************************


(Spin Version 5.2.5 -- 17 April 2010)
	+ Partial Order Reduction
	+ Compression

Full statespace search for:
	never claim         	- (none specified)
	assertion violations	+
	cycle checks       	- (disabled by -DSAFETY)
	invalid end states	+

State-vector 1196 byte, depth reached 129, errors: 0
   153920 states, stored
   206955 states, matched
   360875 transitions (= stored+matched)
  1261290 atomic steps
hash conflicts:     21674 (resolved)

Stats on memory usage (in Megabytes):
  179.670	equivalent memory usage for states (stored*(State-vector + overhead))
   12.884	actual memory usage for states (compression: 7.17%)
         	state-vector as stored = 60 byte + 28 byte overhead
    4.000	memory used for hash table (-w19)
    0.458	memory used for DFS stack (-m10000)
   17.046	total actual memory usage

nr of templates: [ globals chans procs ]
collapse counts: [ 21340 1051 11 4 ]
MPI-Spin memory usage (bytes): 261973

pan: elapsed time 2.96 seconds
pan: rate     52000 states/second
ms -sym=2 -DANYSOURCE -block -chansize=1 -DVERBOSE matmat_main.prom -np=6 -DA_ROWS=8 -DA_COLS=2 -DB_COLS=2 -DNSLAVES=5
MPI-Spin version 1.1 of 27-Nov-2010
mscc -DSAFETY -DCOLLAPSE -DVECTORSZ=4000 -DNOBOUNDCHECK
./pan -n
Matrix A: 
x0  x1
x2  x3
x4  x5
x6  x7
x8  x9
x10 x11
x12 x13
x14 x15

Matrix B: 
x16 x17
x18 x19

---------------------------------------------------------------------

Matrix C: 

x0*x16+x1*x18   x0*x17+x1*x19
x2*x16+x3*x18   x2*x17+x3*x19
x4*x16+x5*x18   x4*x17+x5*x19
x6*x16+x7*x18   x6*x17+x7*x19
x8*x16+x9*x18   x8*x17+x9*x19
x10*x16+x11*x18 x10*x17+x11*x19
x12*x16+x13*x18 x12*x17+x13*x19
x14*x16+x15*x18 x14*x17+x15*x19

Number of sequential executions: 1
Final table length:              70
Max chain length:                1
Maximum path condition length:   0
Number of errors:                0
Equivalence type:                real

 **************************************************
 *   Parallel and sequential models correspond!   *
 **************************************************


(Spin Version 5.2.5 -- 17 April 2010)
	+ Partial Order Reduction
	+ Compression

Full statespace search for:
	never claim         	- (none specified)
	assertion violations	+
	cycle checks       	- (disabled by -DSAFETY)
	invalid end states	+

State-vector 1612 byte, depth reached 139, errors: 0
   599305 states, stored
  1038892 states, matched
  1638197 transitions (= stored+matched)
  5993295 atomic steps
hash conflicts:    441969 (resolved)

Stats on memory usage (in Megabytes):
  937.329	equivalent memory usage for states (stored*(State-vector + overhead))
   55.587	actual memory usage for states (compression: 5.93%)
         	state-vector as stored = 69 byte + 28 byte overhead
    4.000	memory used for hash table (-w19)
    0.458	memory used for DFS stack (-m10000)
   59.771	total actual memory usage

nr of templates: [ globals chans procs ]
collapse counts: [ 81331 1611 11 4 ]
MPI-Spin memory usage (bytes): 264037

pan: elapsed time 17.2 seconds
pan: rate 34924.534 states/second
ms -sym=2 -DANYSOURCE -block -chansize=1 -DVERBOSE matmat_main.prom -np=7 -DA_ROWS=8 -DA_COLS=2 -DB_COLS=2 -DNSLAVES=6
MPI-Spin version 1.1 of 27-Nov-2010
mscc -DSAFETY -DCOLLAPSE -DVECTORSZ=4000 -DNOBOUNDCHECK
./pan -n
Matrix A: 
x0  x1
x2  x3
x4  x5
x6  x7
x8  x9
x10 x11
x12 x13
x14 x15

Matrix B: 
x16 x17
x18 x19

---------------------------------------------------------------------

Matrix C: 

x0*x16+x1*x18   x0*x17+x1*x19
x2*x16+x3*x18   x2*x17+x3*x19
x4*x16+x5*x18   x4*x17+x5*x19
x6*x16+x7*x18   x6*x17+x7*x19
x8*x16+x9*x18   x8*x17+x9*x19
x10*x16+x11*x18 x10*x17+x11*x19
x12*x16+x13*x18 x12*x17+x13*x19
x14*x16+x15*x18 x14*x17+x15*x19

Depth=     149 States=    1e+06 Transitions= 3.01e+06 Memory=   110.506	t=   38.3 R=   3e+04
Number of sequential executions: 1
Final table length:              70
Max chain length:                1
Maximum path condition length:   0
Number of errors:                0
Equivalence type:                real

 **************************************************
 *   Parallel and sequential models correspond!   *
 **************************************************


(Spin Version 5.2.5 -- 17 April 2010)
	+ Partial Order Reduction
	+ Compression

Full statespace search for:
	never claim         	- (none specified)
	assertion violations	+
	cycle checks       	- (disabled by -DSAFETY)
	invalid end states	+

State-vector 2092 byte, depth reached 149, errors: 0
  1359602 states, stored
  2859839 states, matched
  4219441 transitions (= stored+matched)
 15977020 atomic steps
hash conflicts:   2949104 (resolved)

Stats on memory usage (in Megabytes):
 2748.829	equivalent memory usage for states (stored*(State-vector + overhead))
  152.860	actual memory usage for states (compression: 5.56%)
         	state-vector as stored = 90 byte + 28 byte overhead
    4.000	memory used for hash table (-w19)
    0.458	memory used for DFS stack (-m10000)
  157.046	total actual memory usage

nr of templates: [ globals chans procs ]
collapse counts: [ 210488 1947 11 4 ]
MPI-Spin memory usage (bytes): 265877

pan: elapsed time 54.4 seconds
pan: rate 24978.909 states/second
ms -sym=2 -DANYSOURCE -block -chansize=1 -DVERBOSE matmat_main.prom -np=8 -DA_ROWS=8 -DA_COLS=2 -DB_COLS=2 -DNSLAVES=7
MPI-Spin version 1.1 of 27-Nov-2010
mscc -DSAFETY -DCOLLAPSE -DVECTORSZ=4000 -DNOBOUNDCHECK
./pan -n
Matrix A: 
x0  x1
x2  x3
x4  x5
x6  x7
x8  x9
x10 x11
x12 x13
x14 x15

Matrix B: 
x16 x17
x18 x19

---------------------------------------------------------------------

Matrix C: 

x0*x16+x1*x18   x0*x17+x1*x19
x2*x16+x3*x18   x2*x17+x3*x19
x4*x16+x5*x18   x4*x17+x5*x19
x6*x16+x7*x18   x6*x17+x7*x19
x8*x16+x9*x18   x8*x17+x9*x19
x10*x16+x11*x18 x10*x17+x11*x19
x12*x16+x13*x18 x12*x17+x13*x19
x14*x16+x15*x18 x14*x17+x15*x19

Depth=     159 States=    1e+06 Transitions= 3.27e+06 Memory=   134.539	t=   50.2 R=   2e+04
Depth=     159 States=    2e+06 Transitions= 6.88e+06 Memory=   289.416	t=    108 R=   2e+04
pan: resizing hashtable to -w21..  done
Number of sequential executions: 1
Final table length:              70
Max chain length:                1
Maximum path condition length:   0
Number of errors:                0
Equivalence type:                real

 **************************************************
 *   Parallel and sequential models correspond!   *
 **************************************************


(Spin Version 5.2.5 -- 17 April 2010)
	+ Partial Order Reduction
	+ Compression

Full statespace search for:
	never claim         	- (none specified)
	assertion violations	+
	cycle checks       	- (disabled by -DSAFETY)
	invalid end states	+

State-vector 2644 byte, depth reached 159, errors: 0
  2055948 states, stored
  5061928 states, matched
  7117876 transitions (= stored+matched)
 27764194 atomic steps
hash conflicts:   7763719 (resolved)

Stats on memory usage (in Megabytes):
 5239.003	equivalent memory usage for states (stored*(State-vector + overhead))
  299.900	actual memory usage for states (compression: 5.72%)
         	state-vector as stored = 125 byte + 28 byte overhead
   16.000	memory used for hash table (-w21)
    0.458	memory used for DFS stack (-m10000)
  315.715	total actual memory usage

nr of templates: [ globals chans procs ]
collapse counts: [ 384601 2059 11 4 ]
MPI-Spin memory usage (bytes): 267493

pan: elapsed time 112 seconds
pan: rate 18364.877 states/second
ms -sym=2 -DANYSOURCE -block -chansize=1 -DVERBOSE matmat_main.prom -np=9 -DA_ROWS=8 -DA_COLS=2 -DB_COLS=2 -DNSLAVES=8
MPI-Spin version 1.1 of 27-Nov-2010
mscc -DSAFETY -DCOLLAPSE -DVECTORSZ=4000 -DNOBOUNDCHECK
./pan -n
Matrix A: 
x0  x1
x2  x3
x4  x5
x6  x7
x8  x9
x10 x11
x12 x13
x14 x15

Matrix B: 
x16 x17
x18 x19

---------------------------------------------------------------------

Matrix C: 

x0*x16+x1*x18   x0*x17+x1*x19
x2*x16+x3*x18   x2*x17+x3*x19
x4*x16+x5*x18   x4*x17+x5*x19
x6*x16+x7*x18   x6*x17+x7*x19
x8*x16+x9*x18   x8*x17+x9*x19
x10*x16+x11*x18 x10*x17+x11*x19
x12*x16+x13*x18 x12*x17+x13*x19
x14*x16+x15*x18 x14*x17+x15*x19

Depth=     169 States=    1e+06 Transitions= 3.57e+06 Memory=   186.037	t=   65.7 R=   2e+04
Depth=     169 States=    2e+06 Transitions= 7.44e+06 Memory=   395.083	t=    139 R=   1e+04
pan: resizing hashtable to -w21..  done
Number of sequential executions: 1
Final table length:              70
Max chain length:                1
Maximum path condition length:   0
Number of errors:                0
Equivalence type:                real

 **************************************************
 *   Parallel and sequential models correspond!   *
 **************************************************


(Spin Version 5.2.5 -- 17 April 2010)
	+ Partial Order Reduction
	+ Compression

Full statespace search for:
	never claim         	- (none specified)
	assertion violations	+
	cycle checks       	- (disabled by -DSAFETY)
	invalid end states	+

State-vector 3268 byte, depth reached 169, errors: 0
  2277022 states, stored
  6438343 states, matched
  8715365 transitions (= stored+matched)
 34935418 atomic steps
hash conflicts:   9483367 (resolved)

Stats on memory usage (in Megabytes):
 7157.387	equivalent memory usage for states (stored*(State-vector + overhead))
  457.263	actual memory usage for states (compression: 6.39%)
         	state-vector as stored = 183 byte + 28 byte overhead
   16.000	memory used for hash table (-w21)
    0.458	memory used for DFS stack (-m10000)
  473.262	total actual memory usage

nr of templates: [ globals chans procs ]
collapse counts: [ 537740 2075 11 4 ]
MPI-Spin memory usage (bytes): 268885

pan: elapsed time 164 seconds
pan: rate 13902.931 states/second
