2. Biased Database of PerfectClub

6_fig:PerfectClub_satisfiability_dimension_JV64_LS64_filter represents the experimental results using a filtered database, which is a biased database as explained in 6_subsec:polyhedral_databases, for JANUS 64-bit and $C^3$ Simplex 64-bit.

Figure 16: PerfectClub: Dimension JANUS 64-bit vs $C^3$ Simplex 64-bit in filtered database

We notice that there are cases where JANUS 64-bit is slower, shown by the green zones, but the conclusion for run times of these two algorithms is that JANUS 64-bit is faster than $C^3$ Simplex 64-bit, for both PerfectClub sampled database and filtered database. The results of SPEC95 benchmark are not presented here because they are very similar to PerfectClub.