From c4f926438dcb8abe805e910399940f79ff643c4b Mon Sep 17 00:00:00 2001 From: ziejd2 Date: Thu, 14 Sep 2017 15:39:41 -0500 Subject: Add files via upload --- sourcecodes/k-best/src/data2net.sh | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) create mode 100644 sourcecodes/k-best/src/data2net.sh (limited to 'sourcecodes/k-best/src/data2net.sh') diff --git a/sourcecodes/k-best/src/data2net.sh b/sourcecodes/k-best/src/data2net.sh new file mode 100644 index 00000000..3bc5d133 --- /dev/null +++ b/sourcecodes/k-best/src/data2net.sh @@ -0,0 +1,35 @@ +#!/bin/bash + +binpath=`dirname $0` + +if [ $# -ne 4 ]; then + echo Usage: data2net.sh vdfile datafile score resultdir 1>&2 + exit 1 +fi + +vdfile=$1; shift +datafile=$1; shift +score=$1; shift +rdir=$1; shift + +mkdir -p $rdir +nof_vars=`cat $vdfile | wc -l` + +START=$(date +%s) +$binpath/get_local_scores $vdfile $datafile $score 1 0 ${rdir}/res +$binpath/split_local_scores $nof_vars ${rdir} +$binpath/reverse_local_scores $nof_vars ${rdir} +END=$(date +%s) +DIFF=$(( $END - $START )) +echo "Local score took $DIFF seconds" + +START=$(date +%s) +$binpath/get_best_parents $nof_vars ${rdir} +$binpath/get_best_sinks $nof_vars ${rdir} ${rdir}/sinks +$binpath/get_best_order $nof_vars ${rdir}/sinks ${rdir}/ord +$binpath/get_best_net $nof_vars ${rdir} ${rdir}/ord ${rdir}/net +$binpath/score_net ${rdir}/net ${rdir} +END=$(date +%s) +DIFF=$(( $END - $START )) +echo "Best network took $DIFF seconds" + -- cgit 1.4.1