From e51b7cbae7cb644a2df2cbc62137f4529aaecef4 Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>
Date: Wed, 21 Nov 2012 19:57:07 +1100
Subject: Some performance stuff for the solver

---
 impl/performance/run-bench.sh | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 impl/performance/run-bench.sh

(limited to 'impl/performance/run-bench.sh')

diff --git a/impl/performance/run-bench.sh b/impl/performance/run-bench.sh
new file mode 100644
index 0000000..8ebdbbc
--- /dev/null
+++ b/impl/performance/run-bench.sh
@@ -0,0 +1,13 @@
+#!/bin/bash
+
+NUM=1
+COUNT=1
+
+while [[ `echo "$NUM < 100000" | bc` == "1" ]]
+do
+  echo -n "($NUM,"
+  python generate-long.py $NUM > system.eqns
+  echo `../build/main system.eqns 2>&1 >/dev/null | grep Time | egrep -o "[0-9]*\.[0-9]+"` ")"
+  NUM=$(($NUM * 2))
+  COUNT=$(($COUNT + 1))
+done
-- 
cgit v1.2.3