SAT 2009 Competition: preprocessors track: comparison of two solvers
Select two solvers that you want to compare
First solver:
IUT_BMB_SIM_1.0
kw_pre_2009-03-21
minisat2-core_070721
minisat2-simp_070721
ReVivAl 0.23_2009-03-18
ReVivAl 0.23 + SatElite_2009-03-18
SatElite + ReVivAl 0.23_2009-03-18
Second solver:
IUT_BMB_SIM_1.0
kw_pre_2009-03-21
minisat2-core_070721
minisat2-simp_070721
ReVivAl 0.23_2009-03-18
ReVivAl 0.23 + SatElite_2009-03-18
SatElite + ReVivAl 0.23_2009-03-18
No chosen solver.