SAT 2011 Competition: 32 cores track: comparison of two solvers
Select two solvers that you want to compare
First solver:
claspmt_2.0-R4095-patched (fixed)
CryptoMiniSat_Strange-Night-2-mt (fixed)
Plingeling_587f (fixed)
ppfolio_par
Second solver:
claspmt_2.0-R4095-patched (fixed)
CryptoMiniSat_Strange-Night-2-mt (fixed)
Plingeling_587f (fixed)
ppfolio_par
No chosen solver.