for FUNC in GML K
do
    for DEPTH in 16 32 64 128
    do
        COOL=()
        FACT=()
        for RUN in $(seq 1 100)
        do
            FILE=$(printf "%s%i_%i" $FUNC $DEPTH $RUN)
            cool-gen_exec -functor $FUNC -depth $DEPTH -output $FILE
            COOL+=("timeout 1m sh -c \"cat $FILE.cool | cool-coalg sat $FUNC > $FILE-cool.out\"")
            FACT+=("timeout 1m sh -c \"cat $FILE.fact | factWrapper.sh > $FILE-fact.out\"")
        done

        hyperfine -i -w 1 -m 3 --export-csv "$FUNC-$DEPTH-cool.csv" "${COOL[@]}"

        factSetup.sh
        hyperfine -i -w 1 -m 3 --export-csv "$FUNC-$DEPTH-fact.csv" "${FACT[@]}"
    done
done