[SMT-LIB] Xeon E7 processor anyone?

[rdelmas]

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