haghshenas/PhISCS

Writing scripts for running and comparing

faridrashidi opened this issue · 3 comments

Guys,
We need to write two scripts:

  1. One for running all solvers
  2. One for comparing all solvers results (log and output)

Are all solvers ready for testing?

I was about to start writing the first draft of a script for running ILP, Z3, and OpenWBO.
Other tools can be added later.

I hope someone else could write the script for comparison etc.


#!/bin/bash

directory="../../data/simulated/19oct"
o="./result"
z3="../../../z3-master/build/z3"

n="100"
m="50"
percentsFN=(0.15 0.25)
percentsFP=(0.0001)
percentsNA=(0.15)
k="0"

for id in {1..30}
do
	for fn in ${percentsFN[@]}
	do
		for fp in ${percentsFP[@]}
		do
			for na in ${percentsNA[@]}
			do	
				fpW=$(echo "$(echo $fn/$fp|bc -l)/1"|bc)
				f=$directory"/noisy/simID_"${id}"-n_"${n}"-m_"${m}"-fn_"${fn}"-fp_"${fp}"-na_"${na}"-k_"${k}".noisyMatrix"
				g=$directory"/ground/simID_"${id}"-n_"${n}"-m_"${m}"-k_"${k}".groundTruthMatrix"
				echo "Noisy: "$f
				echo "Ground: "$g
				python main.py -f $f -n 1 -p $fpW -o $o -g $g -z3path $z3
			done
			
		done
	done
done

I wrote this script before removing ground option.
Is it ok?

Thanks Farid!
I'll extend this.