   
time esbmc    --z3-bv         
ex1.c

time esbmc  --z3-bv --unwind 513          
ex1.c

time esbmc  --z3-bv --unwind 3      --no-unwinding-assertions     
ex1.c

//TO
//time esbmc  --z3-bv        
//ex2.c

//err
time esbmc --z3-bv --unwind 1024        
ex2.c

//err
time esbmc --z3-bv --unwind 3     --no-unwinding-assertions    
ex2.c

time esbmc --z3-bv     
ex3.c

time esbmc  --z3-bv       
ex4.c

time esbmc  --z3-bv    
ex5.c

time esbmc --z3-bv     
ex6.c

//to
//time esbmc  --z3-bv         
//ex7.c

time esbmc --z3-bv --unwind 3       --no-unwinding-assertions  
ex7.c

//to
//time esbmc  --z3-bv         
//ex8.c

time esbmc --z3-bv --unwind 3         --no-unwinding-assertions
ex8.c

//to
//time esbmc  --z3-bv         
//ex9.c

//to
//time esbmc  --unwind 1025 --z3-bv       
//ex9.c

//err
time esbmc  --unwind 3   --z3-bv     --no-unwinding-assertions
ex9.c

//to
//time esbmc  --z3-bv       
//ex10.c

time esbmc  --unwind 17  --z3-bv     
ex10.c

time esbmc  --unwind 3  --z3-bv      --no-unwinding-assertions
ex10.c

//to
//time esbmc  --z3-bv         
//ex11.c

time esbmc  --unwind 3  --z3-bv  --no-unwinding-assertions    
ex11.c

time esbmc --z3-bv     
ex12.c

time esbmc  --z3-bv    
ex13.c

time esbmc  --z3-bv       
ex14.c

time esbmc  --z3-bv        
ex15.c

//TO
//time esbmc  --z3-bv        
//ex16.c

time esbmc  --unwind 4  --z3-bv      
ex16.c

time esbmc  --unwind 2  --z3-bv --no-unwinding-assertions     
ex16.c

time esbmc  --z3-bv      
ex17.c

//TO
//time esbmc  --z3-bv       
//ex18.c

time esbmc  --unwind 101  --z3-bv     
ex18.c

time esbmc  --unwind 10 --z3-bv --no-unwinding-assertions     
ex18.c

//TO
//time esbmc  --z3-bv       
//ex19.c

time esbmc  --unwind 3  --z3-bv --no-unwinding-assertions    
ex19.c

//TO
//time esbmc   --z3-bv      
//ex20.c

time esbmc  --unwind 1025  --z3-bv     
ex20.c

time esbmc  --unwind 3 --z3-bv --no-unwinding-assertions     
ex20.c


time esbmc  --z3-bv        
ex21.c

time esbmc  --z3-bv      
ex22.c

time esbmc   --z3-bv      
ex23.c

time esbmc  --unwind 37  --z3-bv     
ex23.c

//TO
//time esbmc   --z3-bv        
//ex25.c

time esbmc  --z3-bv    --unwind 3 --no-unwinding-assertions      
ex25.c

time esbmc  --z3-bv      
ex26.c	

time esbmc  --z3-bv      
ex27.c

//err
time esbmc  --unwind 100  --z3-bv      --no-unwinding-assertions
ex30.c

//TO
//time esbmc  --z3-bv        
//ex30.c

time esbmc   --z3-bv     
ex31.c

time esbmc  --unwind 8  --z3-bv      --no-unwinding-assertions
ex31.c

time esbmc  --z3-bv      
ex32.c

time esbmc   --z3-bv     
ex34.c

time esbmc   --z3-bv     
ex37.c

//TO
//time esbmc   --z3-bv     
//ex39.c

time esbmc  --unwind 3 --z3-bv       --no-unwinding-assertions
ex39.c

//to
//time esbmc  --z3-bv      
//ex40.c

time esbmc   --z3-bv --unwind 3      --no-unwinding-assertions
ex40.c

//to
//time esbmc  --z3-bv      
//ex41.c

time esbmc   --z3-bv --unwind 3      --no-unwinding-assertions
ex41.c

//fa
time esbmc  --z3-bv      
ex43.c

//to
//time esbmc  --z3-bv      
//ex46.c

time esbmc  --unwind 2  --z3-bv     --no-unwinding-assertions
ex46.c

//to
//time esbmc  --z3-bv      
//ex47.c

time esbmc  --unwind 2  --z3-bv     --no-unwinding-assertions
ex47.c

//to
//time esbmc  --z3-bv      
//ex49.c

time esbmc --z3-bv --unwind 3        --no-unwinding-assertions
ex49.c

time esbmc --z3-bv     
inf1.c

time esbmc  --z3-bv      
inf2.c

time esbmc  --z3-bv    
inf4.c

time esbmc   --z3-bv                                            
inf5.c

time esbmc --z3-bv     
inf6.c

time esbmc --z3-bv     
inf8.c




























