1 files changed, 0 insertions, 35 deletions
diff --git a/sourcecodes/k-best/src/data2net.sh b/sourcecodes/k-best/src/data2net.sh
deleted file mode 100644
index 3bc5d133..00000000
--- a/sourcecodes/k-best/src/data2net.sh
+++ /dev/null
@@ -1,35 +0,0 @@
-#!/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"
-