time klee       
ex1.c

time klee      
ex2.c

time klee     
ex3.c

time klee      
ex4.c

time klee  
ex5.c

time klee  
ex6.c

time klee        
ex7.c

time klee      
ex8.c

time klee     
ex9.c

time klee     
ex10.c

//TO
//time klee     
//ex11.c

time klee     
ex12.c

//TO
//time klee  
//ex13.c

time klee      
ex14.c

time klee     
ex15.c

//TO
//time klee  
//ex16.c

time klee      
ex17.c

time klee     
ex18.c

//TO
//time klee     
//ex19.c

//moglo bi da se razmota i 1024 puta, radi 7-8 minuta
time klee     
ex20.c

//ne adresira se uticaj nepoznate funkcije
time klee     
ex21.c

time klee     
ex22.c

//TO
//time klee     
//ex23.c

//TO
//time klee      
//ex25.c


//ne adresira se uticaj nepoznate funkcije
time klee     
ex26.c

time klee     
ex27.c

time klee     
ex30.c

time klee     
ex31.c

time klee     
ex32.c

time klee   
ex34.c

time klee   
ex37.c

//nondet ne moze da se simulira
//time klee     
//ex39.c

time klee     
ex40.c

//ovo mora rucno da bi se prekinulo kada nadje prvu gresku
//time klee     
//ex41.c

time klee     
ex43.c

//TO + greske razne
//time klee     
//ex46.c

time klee     
ex47.c

//TO
//time klee     
//ex49.c

time klee  
inf1.c

time klee                        
inf2.c

time klee  
inf4.c

time klee                                           
inf5.c

time klee  
inf6.c

time klee  
inf8.c






