#!/bin/sh
#
#SBATCH --job-name="sc-baseline"
#SBATCH --partition=compute
#SBATCH --time=0:30:00
#SBATCH --ntasks=1
#SBATCH --cpus-per-task=1
#SBATCH --mem-per-cpu=1G
#SBATCH --account=research-eemcs-st

srun --unbuffered /home/ksidorov/proofmin/experiments/generate-benchmark/collect-refs.sh

/scratch/ksidorov/proofmin-data-v2/compile_benchmark.sh "/scratch/ksidorov/proofmin-data-v2/sc02to25-gbd-hashes-filenames.3.txt"
