ls
./build/kissat.exe ../../data/3fb297f59ad2dc32fd3f79d61951d8cb-Carry_Bits_Fast_4.cnf.cnf 
cd
./build/kissat.exe ../../data/3fb297f59ad2dc32fd3f79d61951d8cb-Carry_Bits_Fast_4.cnf.cnf 
,ale
make
,ale
./build/kissat.exe ../../data/3fb297f59ad2dc32fd3f79d61951d8cb-Carry_Bits_Fast_4.cnf.cnf 
make
./build/kissat.exe ../../data/3fb297f59ad2dc32fd3f79d61951d8cb-Carry_Bits_Fast_4.cnf.cnf 
make
./build/kissat.exe ../../data/3fb297f59ad2dc32fd3f79d61951d8cb-Carry_Bits_Fast_4.cnf.cnf 
cd d:
cd programs
cd propmab_gen
cd sources
make
./build/kissat.exe ../../data/3fb297f59ad2dc32fd3f79d61951d8cb-Carry_Bits_Fast_4.cnf.cnf 
make
./build/kissat.exe ../../data/3fb297f59ad2dc32fd3f79d61951d8cb-Carry_Bits_Fast_4.cnf.cnf 
make
./build/kissat.exe ../../data/3fb297f59ad2dc32fd3f79d61951d8cb-Carry_Bits_Fast_4.cnf.cnf 
make
./build/kissat.exe ../../data/3fb297f59ad2dc32fd3f79d61951d8cb-Carry_Bits_Fast_4.cnf.cnf 
make
./build/kissat.exe ../../data/3fb297f59ad2dc32fd3f79d61951d8cb-Carry_Bits_Fast_4.cnf.cnf 
make
./build/kissat.exe ../../data/3fb297f59ad2dc32fd3f79d61951d8cb-Carry_Bits_Fast_4.cnf.cnf 
make
./build/kissat.exe ../../data/3fb297f59ad2dc32fd3f79d61951d8cb-Carry_Bits_Fast_4.cnf.cnf 
make
./build/kissat.exe ../../data/3fb297f59ad2dc32fd3f79d61951d8cb-Carry_Bits_Fast_4.cnf.cnf 
make
./build/kissat.exe ../../data/3fb297f59ad2dc32fd3f79d61951d8cb-Carry_Bits_Fast_4.cnf.cnf 
make
./build/kissat.exe ../../data/3fb297f59ad2dc32fd3f79d61951d8cb-Carry_Bits_Fast_4.cnf.cnf 
dir
make
./build/kissat.exe ../../data/3fb297f59ad2dc32fd3f79d61951d8cb-Carry_Bits_Fast_4.cnf.cnf 
make
./build/kissat.exe ../../data/3fb297f59ad2dc32fd3f79d61951d8cb-Carry_Bits_Fast_4.cnf.cnf 
make
make
./build/kissat.exe ../../data/3fb297f59ad2dc32fd3f79d61951d8cb-Carry_Bits_Fast_4.cnf.cnf 
make
./build/kissat.exe ../../data/3fb297f59ad2dc32fd3f79d61951d8cb-Carry_Bits_Fast_4.cnf.cnf 
make test
make
make test
./configure --unsat
make
make
make
make
make
make
make
make
make test
make
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
make
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
gdb build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
y
gdb build/kissat.exe < ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
make
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
make
make
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
make
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
make
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
make
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
make
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
make
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
make
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
make
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
make
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
make
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
make
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
make
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
make
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
make
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
make
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
make
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
make
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
make
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
make
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
make
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
make
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
make
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
male
make
dir
./build/kissat.exe ../../data/5ac44f542fd2cd4492067deb7791629a-Carry_Bits_Fast_18.cnf.cnf 
