diff options
| author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-11-21 19:57:07 +1100 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-11-21 19:57:07 +1100 |
| commit | e51b7cbae7cb644a2df2cbc62137f4529aaecef4 (patch) | |
| tree | 05bc222e42875920225bc28873a07c5f966e01a5 /impl/performance/run-bench.sh | |
| parent | 6be89e25c3d27df5eb79c077ba73f52e2048d3a1 (diff) | |
Some performance stuff for the solver
Diffstat (limited to 'impl/performance/run-bench.sh')
| -rw-r--r-- | impl/performance/run-bench.sh | 13 |
1 files changed, 13 insertions, 0 deletions
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 |