
time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed  
void.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
switch.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
strukture.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
struct0.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
razno.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
prvi.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
pplus.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
pokazivaci.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
nizpq.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
nizovi.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
niz1.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
niz0.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
mallocs.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
malloc3.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
malloc2.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
malloc.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
main.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
kratak.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
izmenaSemantike.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
intchar.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
if15.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
globaladdress.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
global.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
funkcijaIpokazivaci.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
fuf.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
funkcija1.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
fip.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
fig.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
exit.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
ex21-izmenjen.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
ex6.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
define.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
proba/adrese.c

time LAV -solver=Boolector-BV-ARR-ACK -find-first-flawed
proba/add.c
