Re-up memory

Author: ReubenJ

experiments/Synth/scripts/synth_biodivine.jl

@@ -2,10 +2,10 @@
 #
 #SBATCH --job-name="Synth"
 #SBATCH --partition=compute
-#SBATCH --time=00:30:00
-#SBATCH --ntasks 16
+#SBATCH --time=02:00:00
+#SBATCH --ntasks 256
 #SBATCH --cpus-per-task=1
-#SBATCH --mem-per-cpu=2G
+#SBATCH --mem-per-cpu=8G
 #SBATCH --account=research-eemcs-st
 
 using Distributed