(Q)CompSAT and (Q)PicoSAT at the SAT’06 Race