SAT 2009 Competition: multithread track: comparison of two solvers
Select two solvers that you want to compare
First solver:
gNovelty+-T_2009-03-22 (16 threads)
gNovelty+-T_2009-03-22 (4 threads)
ManySAT 1.1_aimd 0/2009-03-20 (4 threads)
ManySAT 1.1_aimd 1/2009-03-20 (4 threads)
ManySAT 1.1_aimd 2/2009-03-20 (4 threads)
satake_2009-03-22 (16 threads)
satake_2009-03-22 (4 threads)
ttsth-5-0_2009-03-19 (16 threads)
ttsth-5-0_2009-03-19 (4 threads)
Second solver:
gNovelty+-T_2009-03-22 (16 threads)
gNovelty+-T_2009-03-22 (4 threads)
ManySAT 1.1_aimd 0/2009-03-20 (4 threads)
ManySAT 1.1_aimd 1/2009-03-20 (4 threads)
ManySAT 1.1_aimd 2/2009-03-20 (4 threads)
satake_2009-03-22 (16 threads)
satake_2009-03-22 (4 threads)
ttsth-5-0_2009-03-19 (16 threads)
ttsth-5-0_2009-03-19 (4 threads)
No chosen solver.