SAT 2007 Competition AIG special track: comparison of two solvers
Select two solvers that you want to compare
First solver:
aig-cmusat_2007-05-15
aigsat-sp_2007-05-15
aigsat-wc_2007-05-15
minicirc_2007-05-17
picoaigersat_2007-05-15
Second solver:
aig-cmusat_2007-05-15
aigsat-sp_2007-05-15
aigsat-wc_2007-05-15
minicirc_2007-05-17
picoaigersat_2007-05-15
No chosen solver.