NAME: c_ex01.c
CITE: \cite{LLNL:MPI:URL}
SCALE: {\text{NP=4}}
civl verify -enablePrintf=false -input_mpi_nprocs=4 -collectHeaps=false c_ex01.c
CIVL v1.7+ of 2016-03-31 -- http://vsl.cis.udel.edu/civl

=== Command ===
civl verify -enablePrintf=false -input_mpi_nprocs=4 -collectHeaps=false c_ex01.c 

=== Stats ===
   time (s)            : 2.82
   memory (bytes)      : 649592832
   max process count   : 5
   states              : 657
   states saved        : 164
   state matches       : 0
   transitions         : 654
   trace steps         : 163
   valid calls         : 1190
   provers             : cvc4, z3, cvc3
   prover calls        : 0

=== Result ===
The standard properties hold for all executions.
NAME: c_ex04.c
CITE: \cite{LLNL:MPI:URL}
SCALE: {\text{NP=4}}
civl verify -enablePrintf=false -input_mpi_nprocs=4 -collectHeaps=false c_ex04.c
CIVL v1.7+ of 2016-03-31 -- http://vsl.cis.udel.edu/civl

=== Command ===
civl verify -enablePrintf=false -input_mpi_nprocs=4 -collectHeaps=false c_ex04.c 

=== Stats ===
   time (s)            : 2.98
   memory (bytes)      : 649592832
   max process count   : 5
   states              : 1019
   states saved        : 330
   state matches       : 0
   transitions         : 1014
   trace steps         : 329
   valid calls         : 2504
   provers             : cvc4, z3, cvc3
   prover calls        : 2

=== Result ===
The standard properties hold for all executions.
NAME: c_ex05.c
CITE: \cite{LLNL:MPI:URL}
SCALE: {\text{NP=4}}
civl verify -enablePrintf=false -input_mpi_nprocs=4 -collectHeaps=false c_ex05.c
CIVL v1.7+ of 2016-03-31 -- http://vsl.cis.udel.edu/civl

=== Command ===
civl verify -enablePrintf=false -input_mpi_nprocs=4 -collectHeaps=false c_ex05.c 

=== Stats ===
   time (s)            : 2.94
   memory (bytes)      : 649592832
   max process count   : 5
   states              : 1748
   states saved        : 722
   state matches       : 0
   transitions         : 1740
   trace steps         : 721
   valid calls         : 7251
   provers             : cvc4, z3, cvc3
   prover calls        : 2

=== Result ===
The standard properties hold for all executions.
NAME: c_ex06.c
CITE: \cite{LLNL:MPI:URL}
SCALE: {\text{NP=4}}
civl verify -enablePrintf=false -input_mpi_nprocs=4 -collectHeaps=false c_ex06.c
CIVL v1.7+ of 2016-03-31 -- http://vsl.cis.udel.edu/civl

=== Command ===
civl verify -enablePrintf=false -input_mpi_nprocs=4 -collectHeaps=false c_ex06.c 

=== Stats ===
   time (s)            : 2.79
   memory (bytes)      : 649592832
   max process count   : 5
   states              : 1530
   states saved        : 621
   state matches       : 0
   transitions         : 1525
   trace steps         : 620
   valid calls         : 6184
   provers             : cvc4, z3, cvc3
   prover calls        : 2

=== Result ===
The standard properties hold for all executions.
NAME: c_ex07.c
CITE: \cite{LLNL:MPI:URL}
SCALE: {\text{NP=4}}
civl verify -enablePrintf=false -input_mpi_nprocs=4 -collectHeaps=false c_ex07.c
CIVL v1.7+ of 2016-03-31 -- http://vsl.cis.udel.edu/civl

=== Command ===
civl verify -enablePrintf=false -input_mpi_nprocs=4 -collectHeaps=false c_ex07.c 

=== Stats ===
   time (s)            : 3.62
   memory (bytes)      : 649592832
   max process count   : 5
   states              : 2449
   states saved        : 1029
   state matches       : 0
   transitions         : 2435
   trace steps         : 1028
   valid calls         : 13739
   provers             : cvc4, z3, cvc3
   prover calls        : 1

=== Result ===
The standard properties hold for all executions.
NAME: c_ex08.c
CITE: \cite{LLNL:MPI:URL}
SCALE: {\text{NP=4}}
civl verify -enablePrintf=false -input_mpi_nprocs=4 -collectHeaps=false c_ex08.c
CIVL v1.7+ of 2016-03-31 -- http://vsl.cis.udel.edu/civl

=== Command ===
civl verify -enablePrintf=false -input_mpi_nprocs=4 -collectHeaps=false c_ex08.c 

=== Stats ===
   time (s)            : 3.11
   memory (bytes)      : 649592832
   max process count   : 5
   states              : 1751
   states saved        : 714
   state matches       : 0
   transitions         : 1743
   trace steps         : 713
   valid calls         : 7283
   provers             : cvc4, z3, cvc3
   prover calls        : 2

=== Result ===
The standard properties hold for all executions.
NAME: c_ex13.c
CITE: \cite{LLNL:MPI:URL}
SCALE: {\text{NP=4}}
civl verify -enablePrintf=false -input_mpi_nprocs=4 -collectHeaps=false c_ex13.c
CIVL v1.7+ of 2016-03-31 -- http://vsl.cis.udel.edu/civl

=== Command ===
civl verify -enablePrintf=false -input_mpi_nprocs=4 -collectHeaps=false c_ex13.c 

=== Stats ===
   time (s)            : 3.5
   memory (bytes)      : 649592832
   max process count   : 5
   states              : 1819
   states saved        : 746
   state matches       : 0
   transitions         : 1811
   trace steps         : 745
   valid calls         : 8504
   provers             : cvc4, z3, cvc3
   prover calls        : 2

=== Result ===
The standard properties hold for all executions.
cd ISPTests && make > OUT
cd CIVLTests && make > OUT
