cadical<sat>

  /home/froleyks/Dropbox/JKU/abc/src/sat/deletionCal:
  total used in directory 1,4M available 623.4 GiB
  drwxr-xr-x  8 froleyks froleyks 4,0K 29. Sep 19:49   .
  drwxr-xr-x 19 froleyks froleyks 4,0K 28. Sep 10:17   ..
  -rw-r--r--  1 froleyks froleyks  36K 28. Sep 12:09   bug-04267502056202832499.trace
  drwxr-xr-x  2 froleyks froleyks 4,0K 30. Sep 15:35   build
  -rw-r--r--  1 froleyks froleyks 3,0K 26. Sep 11:51   BUILD.md
  drwxr-xr-x  6 froleyks froleyks 4,0K 28. Sep 10:02   .ccls-cache
  -rw-r--r--  1 froleyks froleyks 1,2M 26. Sep 11:51   compile_commands.json
  -rwxr-xr-x  1 froleyks froleyks  12K 26. Sep 11:51   configure
  -rw-r--r--  1 froleyks froleyks  235 26. Sep 11:51   CONTRIBUTING
  drwxr-xr-x  8 froleyks froleyks 4,0K 30. Sep 10:42   .git
  -rw-r--r--  1 froleyks froleyks   15 26. Sep 11:51   .gitignore
  -rw-r--r--  1 froleyks froleyks 3,3K 26. Sep 11:51   glue.h
  -rw-r--r--  1 froleyks froleyks 1,2K 26. Sep 11:51   LICENSE
  -rw-r--r--  1 froleyks froleyks  710 29. Sep 19:49   makefile
  -rw-r--r--  1 froleyks froleyks 2,7K 26. Sep 11:51   makefile.in
  -rw-r--r--  1 froleyks froleyks 2,3K 26. Sep 11:51   module.make
  -rw-r--r--  1 froleyks froleyks 1,6K 26. Sep 11:51   README.md
  drwxr-xr-x  2 froleyks froleyks 4,0K 26. Sep 11:51   scripts
  drwxr-xr-x  2 froleyks froleyks  12K 30. Sep 10:22   src
  drwxr-xr-x  8 froleyks froleyks 4,0K 26. Sep 11:51   test
  -rw-r--r--  1 froleyks froleyks  123 26. Sep 11:51   .travis.yml
  -rw-r--r--  1 froleyks froleyks    6 26. Sep 11:51   VERSION