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/data2netk.sh | 55 +++++++++++++++++++++++++++++++++++++ 1 file changed, 55 insertions(+) create mode 100644 sourcecodes/k-best/src/data2netk.sh (limited to 'sourcecodes/k-best/src/data2netk.sh') diff --git a/sourcecodes/k-best/src/data2netk.sh b/sourcecodes/k-best/src/data2netk.sh new file mode 100644 index 00000000..e20f12c9 --- /dev/null +++ b/sourcecodes/k-best/src/data2netk.sh @@ -0,0 +1,55 @@ +#!/bin/bash + +binpath=`dirname $0` + +if [ $# -ne 5 ]; then + echo Usage: data2net.sh vdfile datafile score resultdir k 1>&2 + exit 1 +fi + +vdfile=$1; shift +datafile=$1; shift +score=$1; shift +rdir=$1; shift +k=$1;shift + +mkdir -p $rdir +nof_vars=`cat $vdfile | wc -l` + +START=$(date +%s%N) +$binpath/get_local_scores $vdfile $datafile $score 1 0 ${rdir}/res +#HR +echo "get_local_scores is done." +$binpath/split_local_scores $nof_vars ${rdir} +#HR +echo "split_local_scores is done." +$binpath/reverse_local_scores $nof_vars ${rdir} +#HR +echo "reverse_local_scores is done." +END=$(date +%s%N) +#DIFF=$(( $END - $START )) +DIFF1=$(( $END - $START )) +echo "Local score took $DIFF1 seconds" + +#the above is the same as original bene + +START=$(date +%s%N) +$binpath/get_kbest_parents $nof_vars ${rdir} $k +#HR +END=$(date +%s%N) +#DIFF=$(( $END - $START )) +DIFF2=$(( $END - $START )) +echo "get_kbest_parents is done." +echo "get_kbest_parents took $DIFF2 seconds" + +START=$(date +%s%N) +$binpath/get_kbest_nets $nof_vars ${rdir} $k +#HR +END=$(date +%s%N) +#DIFF=$(( $END - $START )) +DIFF3=$(( $END - $START )) +echo "get_kbest_nets is done." +echo "get_kbest_nets took $DIFF3 seconds" + +DIFF=`expr $DIFF1 + $DIFF2 + $DIFF3` +echo "total process took $DIFF seconds" -- cgit 1.4.1