build
scripts/cnfuzz
scripts/minisat
scripts/gmon.out
