previous_group previous up next next_group
Previous: 3. Parallel Algorithm Up: 3. Results for Satisfiability Next: 1. Parallel Algorithm:


2. JANUS 64-bit versus $C^3$ Fourier-Motzkin 64-bit

Here we compare JANUS 64-bit and $C^3$ Fourier-Motzkin 64-bit: 6_fig:PerfectClub_satisfiability_dimension_JV64_FM64_100 and 6_fig:PerfectClub_satisfiability_dimension_JV64_FM64_filter represent the experimental results of PerfectClub sampled and filtered databases. We can observe that JANUS 64-bit is faster: $46$ percent with sampled database and $32$ percent with filtered database [*]. For the SPEC95, we have $74$ and $17$ percent, respectively.

Figure 17: PerfectClub: Dimension JANUS 64-bit vs $C^3$ Fourier-Motzkin 64-bit in sampled database
\begin{figure} \centering\epsfig {file=POLYBENCH_evaluations/PerfectClub_JV64_FM... ..._DATABASE_100/dimension_JV64_FM64_crite.eps,height=5.9cm,width=14cm}\end{figure}

Figure 18: PerfectClub: Dimension JANUS 64-bit vs $C^3$ Fourier-Motzkin 64-bit in filtered database
\begin{figure} \centering\epsfig {file=POLYBENCH_evaluations_bias/PerfectClub_JV... ...2003_Database/dimension_JV64_FM64_crite.eps,height=5.9cm,width=14cm}\end{figure}


Subsections
Nguyen Que Duong
2006-09-16