5 doc=`basename "$2" .xml`.srx
11 output=`./main.native -v -c -b "$doc" "$query" 2>&1`
12 echo "$output" >> sxsi_debug.log
13 NUM_RESULT=`echo "$output" | grep "Number of nodes " | grep -o '[0-9]*'`
14 time=`echo "$output" | grep "Execution time" | cut -f 2 -d',' | grep -o '[0-9.]*'`
15 TIME_COUNT=`echo "$time" | sort -g | head -1`
17 output=`./main.native -b "$doc" "$query" /dev/null 2>&1`
18 mtime=`echo "$output" | grep "Execution time" | cut -f 2 -d',' | grep -o '[0-9.]*'`
19 ptime=`echo "$output" | grep "Serializing" | grep -o '[0-9.]*'`
20 TIME_MAT=`echo "$mtime" | sort -g | head -1`