3. Results for Satisfiability Test

From 6_subsec:JV64_LS64_results to 6_subsec:satisfiability_integer_rational, we compare JANUS 64-bit, denoted JV64 for short, with the three implementations found in $C^3$: Simplex 64-bit, denoted LS64, Fourier-Motzkin 64-bit, denoted FM64, and the satisfiability test using the double description method 64-bit, denoted FDD64 .

Then in 6_subsec:satisfiability_64_32, we compare two different versions of each implementation: JANUS 64-bit versus JANUS 32-bit, denoted JV32; $C^3$ Simplex 64-bit versus $C^3$ Simplex 32-bit, denoted LS32; $C^3$ Fourier-Motzkin 64-bit versus $C^3$ Fourier-Motzkin 32-bit, denoted FM32; and finally $C^3$ satisfiability test using the double description method 64-bit, denoted FDD64, versus $C^3$ satisfiability test using the double description method 32-bit, denoted FDD32. The polyhedral databases used here are the satisfiability test databases (see 6_subsec:polyhedral_databases).