Commit 9ab0156f authored by Daniel Le Berre's avatar Daniel Le Berre

updated live script, with restarts and phase

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1227 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent b888b427
#!/bin/bash
echo set multiplot>$1.gnuplot
echo set size 0.5, 0.5>>$1.gnuplot
echo set origin 0.0, 0.5>>$1.gnuplot
echo set title '"'Decision level at which the conflict occurs'"'>>$1.gnuplot
echo plot '"'$1-conflict-level.dat'"'>>$1.gnuplot
echo set size 0.5, 0.5>>$1.gnuplot
echo set origin 0.0, 0.0>>$1.gnuplot
echo set title '"'Index of the decision variables'"'>>$1.gnuplot
echo plot '"'$1-decision-indexes.dat'"'>>$1.gnuplot
echo set size 0.5, 0.5>>$1.gnuplot
echo set origin 0.5, 0.5>>$1.gnuplot
echo set title '"'Depth of the search when the conflict occurs'"'>>$1.gnuplot
echo plot '"'$1-conflict-depth.dat'"'>>$1.gnuplot
echo set size 0.5, 0.5>>$1.gnuplot
echo set origin 0.5, 0.0>>$1.gnuplot
echo set title '"'Size of the clause learned \(after minimization if any\)'"'>>$1.gnuplot
if [ $# == 2 ] ; then
#echo "2 arguments : $1 et $2"
pathToFichier="$2/$1"
else
pathToFichier="$1"
fi
nbLignes=10000
echo $pathToFichier
echo set terminal x11>$pathToFichier.gnuplot
echo set multiplot>>$pathToFichier.gnuplot
echo set size 0.5, 0.5>>$pathToFichier.gnuplot
echo set origin 0.0, 0.5>>$pathToFichier.gnuplot
echo set title '"'Decision level at which the conflict occurs'"'>>$pathToFichier.gnuplot
echo plot '"'$pathToFichier-conflict-level-restart.dat'"' with impulses ls 3,'"'$pathToFichier-conflict-level.dat'"' ls 1 >>$pathToFichier.gnuplot
echo set size 0.5, 0.5>>$pathToFichier.gnuplot
echo set origin 0.0, 0.0>>$pathToFichier.gnuplot
echo set title '"'Index of the decision variables'"'>>$pathToFichier.gnuplot
echo plot '"'$pathToFichier-decision-indexes-restart.dat'"' with impulses ls 3, '"'$pathToFichier-decision-indexes-pos.dat'"' ls 2, '"'$pathToFichier-decision-indexes-neg.dat'"' ls 1 >>$pathToFichier.gnuplot
echo set size 0.5, 0.5>>$pathToFichier.gnuplot
echo set origin 0.5, 0.5>>$pathToFichier.gnuplot
echo set title '"'Depth of the search when the conflict occurs'"'>>$pathToFichier.gnuplot
echo plot '"'$pathToFichier-conflict-depth.dat'"' >>$pathToFichier.gnuplot
echo set size 0.5, 0.5>>$pathToFichier.gnuplot
echo set origin 0.5, 0.0>>$pathToFichier.gnuplot
echo set title '"'Size of the clause learned \(after minimization if any\)'"'>>$pathToFichier.gnuplot
#echo set logscale y>>$1.gnuplot
echo plot '"'$1-learned-clauses-size.dat'"'>>$1.gnuplot
echo set nologscale y>>$1.gnuplot
echo unset multiplot>>$1.gnuplot
echo "pause 2">>$1.gnuplot
echo reread>>$1.gnuplot
gnuplot $1.gnuplot
echo plot '"'$pathToFichier-learned-clauses-size.dat'"' >>$pathToFichier.gnuplot
echo set nologscale y>>$pathToFichier.gnuplot
echo unset multiplot>>$pathToFichier.gnuplot
echo "pause 2">>$pathToFichier.gnuplot
echo reread>>$pathToFichier.gnuplot
gnuplot $pathToFichier.gnuplot
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment