From 4cde71cce2f834fbc7d71f236a9d1c56b8215d31 Mon Sep 17 00:00:00 2001
From: Guillaume Bury <guillaume.bury@gmail.com>
Date: Wed, 5 Nov 2014 13:17:55 +0100
Subject: [PATCH] Added skeleton for bench makefile

---
 bench/Makefile   | 27 +++++++++++++++++++++++++++
 bench/run_prover |  7 +++++++
 2 files changed, 34 insertions(+)
 create mode 100644 bench/Makefile
 create mode 100755 bench/run_prover

diff --git a/bench/Makefile b/bench/Makefile
new file mode 100644
index 00000000..3d8b23c8
--- /dev/null
+++ b/bench/Makefile
@@ -0,0 +1,27 @@
+SOLVER =../sat_solve.native
+OPTIONS =-t 30s -s 1G
+CMD = $(SOLVER) $(OPTIONS)
+
+LOGDIR := logs
+LOG := $(shell  date +'$(LOGDIR)/sat_%Y-%m-%d-%H%M')
+CNF := $(shell  find ./ -name "*.cnf" -type f)
+DONE := $(CNF:.cnf=.done)
+
+all: $(LOG) $(DONE)
+	@find ./ -name "*.done" -type f -delete
+	@echo "All done."
+
+$(LOG):
+	@mkdir -p $(LOGDIR)
+	@touch $(LOG)
+	@echo "Log file : $(LOG)"
+	@echo "Date : `date +'%H:%M %d-%m-%Y'`" | tee -a $(LOG)
+	@echo "Command : '$(CMD)'" | tee -a $(LOG)
+	@echo "Commit : `git rev-parse HEAD`" | tee -a $(LOG)
+
+%.done : %.cnf $(LOG)
+	@./run_prover "$(CMD)" "$*" "$(LOG)"
+	@touch $*.done
+
+clean:
+	@find ./ -name "*.done" -type f -delete
diff --git a/bench/run_prover b/bench/run_prover
new file mode 100755
index 00000000..aa8712bf
--- /dev/null
+++ b/bench/run_prover
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+CMD="$0"
+FILE="$1"
+LOG="$2"
+
+sleep 1