
time LAV -solver=Z3-BV-ARR-EUF
void.c

time LAV -solver=Z3-BV-ARR-EUF
void.c

time LAV -solver=Z3-BV-ARR-EUF
switch.c

time LAV -solver=Z3-BV-ARR-EUF
strukture.c

time LAV -solver=Z3-BV-ARR-EUF
struct0.c

time LAV -solver=Z3-BV-ARR-EUF
razno.c

time LAV -solver=Z3-BV-ARR-EUF
prvi.c

time LAV -solver=Z3-BV-ARR-EUF
pplus.c

time LAV -solver=Z3-BV-ARR-EUF
pokazivaci.c

time LAV -solver=Z3-BV-ARR-EUF
nizpq.c

time LAV -solver=Z3-BV-ARR-EUF
nizovi.c

time LAV -solver=Z3-BV-ARR-EUF
niz1.c

time LAV -solver=Z3-BV-ARR-EUF
niz0.c

time LAV -solver=Z3-BV-ARR-EUF
mallocs.c

time LAV -solver=Z3-BV-ARR-EUF
malloc3.c

time LAV -solver=Z3-BV-ARR-EUF
malloc2.c

time LAV -solver=Z3-BV-ARR-EUF
malloc.c

time LAV -solver=Z3-BV-ARR-EUF
main.c

time LAV -solver=Z3-BV-ARR-EUF
kratak.c

time LAV -solver=Z3-BV-ARR-EUF
izmenaSemantike.c

time LAV -solver=Z3-BV-ARR-EUF
intchar.c

time LAV -solver=Z3-BV-ARR-EUF
if15.c

time LAV -solver=Z3-BV-ARR-EUF
globaladdress.c

time LAV -solver=Z3-BV-ARR-EUF
global.c

time LAV -solver=Z3-BV-ARR-EUF
funkcijaIpokazivaci.c

time LAV -solver=Z3-BV-ARR-EUF
fuf.c

time LAV -solver=Z3-BV-ARR-EUF
funkcija1.c

time LAV -solver=Z3-BV-ARR-EUF
fip.c

time LAV -solver=Z3-BV-ARR-EUF
fig.c

time LAV -solver=Z3-BV-ARR-EUF
exit.c

time LAV -solver=Z3-BV-ARR-EUF
ex21-izmenjen.c

time LAV -solver=Z3-BV-ARR-EUF
ex6.c

time LAV -solver=Z3-BV-ARR-EUF
define.c

time LAV -solver=Z3-BV-ARR-EUF
proba/adrese.c

time LAV -solver=Z3-BV-ARR-EUF
proba/add.c
