   
time cbmc    --bounds-check --div-by-zero-check  --pointer-check     
ex1.c

time cbmc  --unwind 513  --bounds-check --div-by-zero-check  --pointer-check     
ex1.c

time cbmc  --unwind 3  --bounds-check --div-by-zero-check  --pointer-check --no-unwinding-assertions     
ex1.c

//TO
//time cbmc   --bounds-check --div-by-zero-check  --pointer-check    
//ex2.c

//err
time cbmc  --unwind 1024 --bounds-check --div-by-zero-check  --pointer-check    
ex2.c

//err
time cbmc  --unwind 3 --bounds-check --div-by-zero-check  --pointer-check --no-unwinding-assertions    
ex2.c

time cbmc   --bounds-check --div-by-zero-check  --pointer-check
ex3.c

time cbmc   --bounds-check --div-by-zero-check  --pointer-check   
ex4.c

time cbmc   --bounds-check --div-by-zero-check  --pointer-check
ex5.c

time cbmc   --bounds-check --div-by-zero-check  --pointer-check
ex6.c

//to
//time cbmc     --bounds-check --div-by-zero-check  --pointer-check   
//ex7.c

time cbmc  --unwind 3   --bounds-check --div-by-zero-check  --pointer-check --no-unwinding-assertions  
ex7.c

//to
//time cbmc     --bounds-check --div-by-zero-check  --pointer-check   
//ex8.c

time cbmc  --unwind 3    --bounds-check --div-by-zero-check  --pointer-check  --no-unwinding-assertions
ex8.c

//to
//time cbmc     --bounds-check --div-by-zero-check  --pointer-check   
//ex9.c

//err
time cbmc  --unwind 1025    --bounds-check --div-by-zero-check  --pointer-check 
ex9.c

//err
time cbmc  --unwind 3    --bounds-check --div-by-zero-check  --pointer-check --no-unwinding-assertions
ex9.c

//to
//time cbmc      --bounds-check --div-by-zero-check  --pointer-check
//ex10.c

time cbmc  --unwind 17    --bounds-check --div-by-zero-check  --pointer-check
ex10.c

time cbmc  --unwind 3    --bounds-check --div-by-zero-check  --pointer-check --no-unwinding-assertions
ex10.c

//to
//time cbmc     --bounds-check --div-by-zero-check  --pointer-check   
//ex11.c

time cbmc  --unwind 3    --no-unwinding-assertions --bounds-check --div-by-zero-check  --pointer-check
ex11.c

time cbmc  --bounds-check --div-by-zero-check  --pointer-check 
ex12.c

time cbmc   --bounds-check --div-by-zero-check  --pointer-check
ex13.c

time cbmc     --bounds-check --div-by-zero-check  --pointer-check 
ex14.c

time cbmc     --bounds-check --div-by-zero-check  --pointer-check  
ex15.c

//TO
//time cbmc       --bounds-check --div-by-zero-check  --pointer-check
//ex16.c

//time cbmc  --unwind 4     --bounds-check --div-by-zero-check  --pointer-check
//ex16.c

time cbmc  --unwind 2   --no-unwinding-assertions  --bounds-check --div-by-zero-check  --pointer-check
ex16.c

time cbmc     --bounds-check --div-by-zero-check  --pointer-check
ex17.c

//TO
//time cbmc      --bounds-check --div-by-zero-check  --pointer-check
//ex18.c

time cbmc  --unwind 101    --bounds-check --div-by-zero-check  --pointer-check
ex18.c

time cbmc  --unwind 10  --no-unwinding-assertions  --bounds-check --div-by-zero-check  --pointer-check
ex18.c

//TO
//time cbmc      --bounds-check --div-by-zero-check  --pointer-check
//ex19.c

time cbmc  --unwind 3   --no-unwinding-assertions --bounds-check --div-by-zero-check  --pointer-check
ex19.c

//TO
//time cbmc      --bounds-check --div-by-zero-check  --pointer-check
//ex20.c

time cbmc  --unwind 1025    --bounds-check --div-by-zero-check  --pointer-check
ex20.c

time cbmc  --unwind 3  --no-unwinding-assertions  --bounds-check --div-by-zero-check  --pointer-check
ex20.c


time cbmc      --bounds-check --pointer-check --div-by-zero-check  
ex21.c

time cbmc     --bounds-check --div-by-zero-check  --pointer-check
ex22.c

time cbmc      --bounds-check --div-by-zero-check  --pointer-check
ex23.c

time cbmc  --unwind 37    --bounds-check --div-by-zero-check  --pointer-check
ex23.c

//TO
//time cbmc      --bounds-check --div-by-zero-check  --pointer-check  
//ex25.c

time cbmc      --unwind 3 --no-unwinding-assertions --bounds-check --div-by-zero-check  --pointer-check  
ex25.c

time cbmc     --bounds-check --div-by-zero-check  --pointer-check
ex26.c	

time cbmc     --bounds-check --div-by-zero-check  --pointer-check
ex27.c

//err
time cbmc  --unwind 100    --bounds-check --div-by-zero-check  --pointer-check --no-unwinding-assertions
ex30.c

//TO
//time cbmc      --bounds-check --div-by-zero-check  --pointer-check 
//ex30.c

//TO
//time cbmc     --bounds-check --div-by-zero-check  --pointer-check
//ex31.c

time cbmc  --unwind 8    --bounds-check --div-by-zero-check  --pointer-check --no-unwinding-assertions
ex31.c

time cbmc     --bounds-check --div-by-zero-check  --pointer-check
ex32.c

time cbmc     --bounds-check --div-by-zero-check  --pointer-check
ex34.c

time cbmc     --bounds-check --div-by-zero-check  --pointer-check
ex37.c

//TO
//time cbmc     --bounds-check --div-by-zero-check  --pointer-check
//ex39.c

time cbmc  --unwind 3    --bounds-check --div-by-zero-check  --pointer-check --no-unwinding-assertions
ex39.c

//to
//time cbmc     --bounds-check --div-by-zero-check  --pointer-check
//ex40.c

time cbmc   --unwind 3  --bounds-check --div-by-zero-check  --pointer-check --no-unwinding-assertions
ex40.c

//to
//time cbmc     --bounds-check --div-by-zero-check  --pointer-check
//ex41.c

time cbmc   --unwind 3  --bounds-check --div-by-zero-check  --pointer-check --no-unwinding-assertions
ex41.c

//fa
time cbmc     --bounds-check --div-by-zero-check  --pointer-check
ex43.c

//to
//time cbmc     --bounds-check --div-by-zero-check  --pointer-check
//ex46.c

time cbmc  --unwind 2   --bounds-check --div-by-zero-check  --pointer-check --no-unwinding-assertions
ex46.c

//to
//time cbmc    --bounds-check --div-by-zero-check  --pointer-check 
//ex49.c

time cbmc  --unwind 3    --bounds-check --div-by-zero-check  --pointer-check --no-unwinding-assertions
ex49.c

time cbmc   --bounds-check --div-by-zero-check  --pointer-check
inf1.c

time cbmc     --bounds-check --div-by-zero-check  --pointer-check
inf2.c

time cbmc   --bounds-check --div-by-zero-check  --pointer-check
inf4.c

time cbmc     --bounds-check --div-by-zero-check  --pointer-check                                       
inf5.c

time cbmc   --bounds-check --div-by-zero-check  --pointer-check
inf6.c

time cbmc   --bounds-check --div-by-zero-check  --pointer-check
inf8.c






