23 echo -n -e "${START}${2}${END}"
27 echo '5k 1 st 0 sf' "$2" "$1" '<t ' "$2" "$1" '!<f p' | dc
41 for TESTDOC in "xmark_10.xml" #"medline.xml" "xmark_01.04.xml"
47 MLOG="$TESTDOC"_monet.log
48 SLOG="$TESTDOC"_sxsi.log
49 QLOG="$TESTDOC"_qizx.log
50 rm -f "$MLOG" "$SLOG" "$QLOG"
51 cat "$TESTDOC".queries | grep -v '^#' | while read line
53 query=`echo "$line" | cut -f 1 -d "%"`
54 query_qizx=`echo "$line" | cut -f 2 -d "%"`
56 echo "$query" | sed -e 's|/descendant::|//|g' | sed -e 's|child::||g'
63 } < <(`pwd`/sxsi.sh "$query" "$TESTDOC" "$repeat_sxsi")
66 echo -n Running MonetBD/XQuery
68 if [ "$query" = '/descendant::people[ descendant::person[not(child::address)] and descendant::person[not(child::watches)]]/child::person[child::watches]' ]
70 #Quick work around since MonetBD fails on q11
71 monet_count_time=1000000
72 monet_mat_time=1000000
73 monet_print_time=1000000
74 monet_count="$sxsi_count"
81 } < <(`pwd`/monet.sh "$query" "$TESTDOC" "$repeat_monet")
86 # echo -n Running Qizx/XQuery
88 # read qizx_count_time
90 # read qizx_print_time
92 # } < <(`pwd`/qizx.sh "$query_qizx" "$TESTDOC")
96 if [ "$monet_count" = "" ]
98 monet_count="$sxsi_count"
100 if [ "$sxsi_count" = "" ]
102 sxsi_count="$monet_count"
104 for v in sxsi_count_time sxsi_mat_time sxsi_print_time \
105 monet_count_time monet_mat_time monet_print_time \
106 qizx_count_time qizx_mat_time qizx_print_time
110 { read "$v"; } < <( echo 7200000 )
116 echo "$I,$sxsi_count,$sxsi_count_time,$sxsi_mat_time,$sxsi_print_time" >> "$SLOG"
117 echo "$I,$monet_count,$monet_count_time,$monet_mat_time,$monet_print_time" >>"$MLOG"
118 echo "$I,$qizx_count,$qizx_count_time,$qizx_mat_time,$qizx_print_time" >>"$QLOG"
119 echo -n "Correctness: "
120 if [ "$monet_count" = "$sxsi_count" ]
122 cecho green "count ok ($monet_count) "
124 cecho red "count error (monetdb: $monet_count, sxsi: $sxsi_count) "
128 CTIME="SXSI: $sxsi_count_time
129 MONET: $monet_count_time
130 QIZX: $qizx_count_time"
131 SORTED_CTIME=`echo "$CTIME" | sort --key=2 -g`
132 STR_CTIME=`echo "$SORTED_CTIME" | xargs echo -n`
133 first=`echo "$STR_CTIME" | cut -f1 -d':'`
134 if [ "$first" = "SXSI" ]
136 cecho green "$STR_CTIME"
138 cecho yellow "$STR_CTIME"