Velev
Tinisat TiniSatElite BerkMin MiniSat 1.14 MiniSat 2.0
IBM
Tinisat TiniSatElite BerkMin MiniSat 1.14 MiniSat 2.0
SAT-Race Q1
Tinisat TiniSatElite BerkMin MiniSat 1.14 MiniSat 2.0
SAT-Race Q2
Tinisat TiniSatElite BerkMin MiniSat 1.14 MiniSat 2.0
SAT-Race Final
Tinisat TiniSatElite BerkMin MiniSat 1.14 MiniSat 2.0
Note: Experiments were run on a cluster of 16 AMD X2 Dual Core Processors running at 2GHz with 4GB of RAM under SuSE Enterprise Linux 9.3 Professional, except those with BerkMin and MiniSat1.14 on Velev, which were run on a cluster of 16 AMD Athlon 64 processors running at 2GHz with 2GB of RAM under SuSE Linux 9.3 Professional (prior to a hardware upgrade).