-
- output=`./main.native -b -r "$3" "$doc" "$query" /dev/null 2>&1`
- mtime=`echo "$output" | grep "Execution time" | cut -f 2 -d',' | cut -f1 -d ':'| grep -o '[0-9.]*'`
- ptime=`echo "$output" | grep 'Serialization time' | cut -f 3 -d ' ' | grep -o '[0-9.]*'`
- TIME_MAT=`echo "$mtime" | tail -n +2 | average`
- TIME_PRINT="$ptime"
+ if [ -z "$count" ]
+ then
+ output=`./main.native -b -r "$3" "$doc" "$query" /dev/null 2>&1`
+ mtime=`echo "$output" | grep "Execution time" | cut -f 2 -d',' | cut -f1 -d ':'| grep -o '[0-9.]*'`
+ ptime=`echo "$output" | grep 'Serialization time' | cut -f 3 -d ' ' | grep -o '[0-9.]*'`
+ TIME_MAT=`echo "$mtime" | tail -n +2 | average`
+ TIME_PRINT="$ptime"
+ else
+ TIME_MAT="999999"
+ TIME_PRINT="0"
+ fi