Experiments for baseline

120s-baseline.sh

@@ -0,0 +1,18 @@
+#!/bin/bash
+set -x
+
+LOGFILE="baseline-120s.log"
+JARFILE=$(ls -1t target/scala-2.13/uuverifiers/*.jar | head -1)
+
+echo "" > "$LOGFILE"
+
+for instance in 120s-experiments.d/*
+do
+    timeout --signal 9 --preserve-status 300s \
+    java -Xmx20G -jar $JARFILE \
+    solve-satisfy --backend baseline \
+                  --timeout 120000 $instance $instance
+done | tee -a "$LOGFILE"
+
+
+echo "Done with all experiments!" >> "$LOGFILE"

120s-experiments.sh

@@ -2,7 +2,7 @@
 set -x
 RESTART_AFTER=10
 export CATRA_TIMEOUT=120000
-export CATRA_CONFIGS="baseline,lazy"
+export CATRA_CONFIGS="nuxmv,lazy"
 export CATRA_THREADS=1
 LOGFILE="${CATRA_CONFIGS}-catra-${RESTART_AFTER}.${CATRA_TIMEOUT}.log"
 JARFILE=$(ls -1t benchmark/target/scala-2.13/*.jar | head -1)

Makefile

@@ -5,11 +5,15 @@ EXPERIMENT_DIR = parikh-plus
 .PHONY: all
 all: experiments
 
-catra-experiments.zip: build.sbt
+.PHONY: catra-experiments.zip
+catra-experiments.zip:
+	sbt assembly
 	sbt benchmark/assembly
 	zip catra-experiments.zip \
 		-r 120s-experiments.* \
 		$(shell ls -1t benchmark/target/scala-2.13/*.jar | head -1)
+		$(shell ls -1t target/scala-2.13/uuverifers/*.jar | head -1)
+		120s-baseline.sh
 
 catra-${current_version}.zip:
 	sbt assembly