blob: 8ae6643915cedb7d68b880bbaeb9d7a41ae351c4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#!/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)
$binpath/get_kbest_parents $nof_vars ${rdir} $k
$binpath/get_kbest_nets $nof_vars ${rdir} $k
END=$(date +%s)
DIFF=$(( $END - $START ))
echo "Top k took $DIFF seconds"
|
