SAT 2009 Competition: minisat hack track: comparison of two solvers
Select two solvers that you want to compare
First solver:
APTUSAT_2009-03-22
BinMiniSat_2009-03-21
MiniSAT 09z_2009-03-22
minisat2_070721/core
MiniSat2hack_2009-03-23
minisat_cumr_p-2009-03-18
minisat_cumr_r-2009-03-18
Second solver:
APTUSAT_2009-03-22
BinMiniSat_2009-03-21
MiniSAT 09z_2009-03-22
minisat2_070721/core
MiniSat2hack_2009-03-23
minisat_cumr_p-2009-03-18
minisat_cumr_r-2009-03-18
No chosen solver.