[SMT-LIB] Xeon E7 processor anyone?

rdelmas Remi.Delmas at onera.fr
Fri Sep 18 09:16:59 EDT 2015


Hello dear colleagues,

I am looking for someone with an intel Xeon E7 processor with 45megs of 
cache memory and at least 32gigs of RAM, who would be gentle enough to 
host a benchmark of a particularily hard CNF instance with a SAT solver.

The goal is to see how fast the BCP can become with such an enormous 
cache and multiple threads, to decide if it is worth investing in such a 
processor for SAT-heavy tasks.

Regards,

/Rémi


More information about the SMT-LIB mailing list