\begin{figure}[!t]
\scriptsize
\begin{center}
\begin{tabular}{|c|@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}|@{\hspace{0.5mm}}c@{\hspace{0.5mm}}|@{\hspace{0.5mm}}c@{\hspace{0.5mm}}|}\hline
row&
\emph{\begin{sideways}apex\end{sideways}}&
\emph{\begin{sideways}plex\end{sideways}}&
\emph{\begin{sideways}ltex\end{sideways}}&
\begin{sideways}pmat\end{sideways}&
\begin{sideways}rely\end{sideways}&
\begin{sideways}data\end{sideways}&
\begin{sideways}cplx\end{sideways}&
\begin{sideways}time\end{sideways}&
\begin{sideways}stor\end{sideways}&
\begin{sideways}pvol\end{sideways}&
\begin{sideways}acap\end{sideways}&
\begin{sideways}pcap\end{sideways}&
\begin{sideways}tool\end{sideways}&
\begin{sideways}sced\end{sideways}&
effort&
overlap\\\hline
%    -   -   -   -  -+   -   +   +  -+  -+  -+  -+  -+   -
57 & - & - & - & - & + & - & + & + & + & + & - & - & - & - & 38 & 14\\
56 & - & - & - & - & + & - & + & + & + & + & - & - & - & - & 12 & 14\\ 
55 & - & - & - & - & + & - & + & + & + & + & - & - & - & - & 480 & 14\\ 
53 & - & - & - & - & + & - & + & + & + & - & + & - & + & - & 648 & 14\\ 
26 & - & - & - & - & - & - & + & + & - & - & - & - & - & - & 114 & 14\\
35 & + & - & - & - & + & - & + & + & + & - & - & - & - & - & 370 & 13\\
25 & - & - & - & - & - & - & + & - & - & - & - & - & - & - & 42  & 13\\ 
23 & - & - & - & - & - & - & + & - & - & - & - & - & - & - & 60  & 13\\ 
22 & - & - & - & - & + & - & + & - & - & - & - & - & - & - & 42  & 13\\ 
09 & + & - & - & - & - & - & + & - & - & + & + & + & - & - & 215 & 12\\
40 & + & - & + & - & + & - & + & + & - & - & + & + & - & - & 636 & 12\\
17 & + & - & - & - & + & - & + & - & - & - & - & + & - & - & 210 & 12\\ 
16 & + & - & - & - & + & - & - & + & - & - & - & + & - & - & 90  & 12\\ 
47 & - & + & + & + & + & - & + & + & + & - & + & - & - & - & 703 & 11\\ 
33 & + & - & + & - & - & + & + & + & - & - & + & + & - & - & 98.8 & 11\\
36 & - & - & - & + & - & + & + & - & - & - & + & + & - & - & 278 & 11\\ 
34 & + & - & + & - & - & + & + & + & - & - & + & + & - & - & 155 & 11\\ 
44 & + & + & + & - & - & - & + & - & + & - & + & + & - & - & 300 & 10\\ 
43 & + & + & + & - & - & - & + & - & + & - & + & + & - & - & 300 & 10\\ 
41 & + & + & + & - & + & - & + & - & + & - & + & + & - & - & 576 & 10\\\hline
\end{tabular}
\end{center}
\caption{A $K_1=20$ neighborhood of $context_1$ (NASA93ii train set).}\label{fig:testing}
\end{figure}


%
%$q_0 \wedge test$  24,48,48,60,60,72,72,90,162,170, 300,400,409,430,444,703,720,756,2400,4560 
%
%235
%
%$q_1 \wedge test$ 24,48,48,60,72,90,162,400,444,720
%
%81
%%
\begin{figure}[!t]
\scriptsize
\begin{center}
\begin{tabular}{|c|@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}|@{\hspace{0.5mm}}c@{\hspace{0.5mm}}|@{\hspace{0.5mm}}c@{\hspace{0.5mm}}|}\hline
row&
\emph{\begin{sideways}apex\end{sideways}}&
\emph{\begin{sideways}plex\end{sideways}}&
\emph{\begin{sideways}ltex\end{sideways}}&
\begin{sideways}pmat\end{sideways}&
\begin{sideways}rely\end{sideways}&
\begin{sideways}data\end{sideways}&
\begin{sideways}cplx\end{sideways}&
\begin{sideways}time\end{sideways}&
\begin{sideways}stor\end{sideways}&
\begin{sideways}pvol\end{sideways}&
\begin{sideways}acap\end{sideways}&
\begin{sideways}pcap\end{sideways}&
\begin{sideways}tool\end{sideways}&
\begin{sideways}sced\end{sideways}&
effort&
overlap\\\hline
57 & - & - & - & - & + & - & + & + & + & + & - & - & - & - & 38 & 14\\
56 & - & - & - & - & + & - & + & + & + & + & - & - & - & - & 12 & 14\\ 
55 & - & - & - & - & + & - & + & + & + & + & - & - & - & - & 480 & 14\\ 
53 & - & - & - & - & + & - & + & + & + & - & + & - & + & - & 648 & 14\\ 
26 & - & - & - & - & - & - & + & + & - & - & - & - & - & - & 114 & 14\\
35 & + & - & - & - & + & - & + & + & + & - & - & - & - & - & 370 & 13\\
25 & - & - & - & - & - & - & + & - & - & - & - & - & - & - & 42  & 13\\ 
23 & - & - & - & - & - & - & + & - & - & - & - & - & - & - & 60  & 13\\ 
22 & - & - & - & - & + & - & + & - & - & - & - & - & - & - & 42  & 13\\ 
09 & + & - & - & - & - & - & + & - & - & + & + & + & - & - & 215 & 12\\
40 & + & - & + & - & + & - & + & + & - & - & + & + & - & - & 636 & 12\\
17 & + & - & - & - & + & - & + & - & - & - & - & + & - & - & 210 & 12\\ 
16 & + & - & - & - & + & - & - & + & - & - & - & + & - & - & 90  & 12\\ 
47 & - & + & + & + & + & - & + & + & + & - & + & - & - & - & 703 & 11\\\hline
\end{tabular}
\end{center}
\caption{All rows of \fig{testing} satisfying $R_1 : data-$.
}\label{fig:testing-constrained}
\end{figure}
\begin{figure}[!t]
\begin{center}
{\scriptsize
\begin{tabular}{|c|@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}@{\hspace{0.5mm}}c@{\hspace{0.5mm}}|@{\hspace{0.5mm}}c@{\hspace{0.5mm}}|@{\hspace{0.5mm}}c@{\hspace{0.5mm}}|}\hline
row&
\emph{\begin{sideways}apex\end{sideways}}&
\emph{\begin{sideways}plex\end{sideways}}&
\emph{\begin{sideways}ltex\end{sideways}}&
\begin{sideways}pmat\end{sideways}&
\begin{sideways}rely\end{sideways}&
\begin{sideways}data\end{sideways}&
\begin{sideways}cplx\end{sideways}&
\begin{sideways}time\end{sideways}&
\begin{sideways}stor\end{sideways}&
\begin{sideways}pvol\end{sideways}&
\begin{sideways}acap\end{sideways}&
\begin{sideways}pcap\end{sideways}&
\begin{sideways}tool\end{sideways}&
\begin{sideways}sced\end{sideways}&
effort&
overlap\\\hline
11 & + & - & + & - & - & - & + & - & - & - & + & + & - & - & 24 & 10\\
15 & + & - & + & - & - & - & + & - & - & - & + & + & - & - & 48 & 10\\
19 & + & - & + & - & - & - & + & - & - & - & + & + & - & - & 48 & 10\\
18 & + & - & + & - & - & - & + & - & - & - & + & + & - & - & 60 & 10\\
10 & + & - & + & - & - & - & + & - & - & - & + & + & - & - & 72 & 10\\
24 & + & - & - & - & + & - & - & + & - & - & - & + & - & - & 90 & 11\\
63 & + & - & + & - & - & - & - & - & - & - & + & + & - & - & 162 & 9\\
45 & + & - & + & - & + & + & - & - & - & - & - & + & - & - & 400 & 8\\
67 & + & - & + & - & + & - & + & + & - & - & + & + & - & - & 444 & 11\\
60 & - & + & + & - & - & - & + & - & - & - & + & + & - & - & 720 & 10\\
44 & + & + & + & - & - & - & + & - & + & - & + & + & - & - & 300 & 10\\ 
43 & + & + & + & - & - & - & + & - & + & - & + & + & - & - & 300 & 10\\ 
41 & + & + & + & - & + & - & + & - & + & - & + & + & - & - & 576 & 10\\\hline
\end{tabular}}
\end{center}
\caption{The testing set with all cases not containing $data-$ removed. 
}\label{fig:testing-applied}
\end{figure}


