Searched refs:uf20 (Results 1 – 3 of 3) sorted by relevance
151 * [uf20-01.cnf](uf20-01.cnf) : an example, with 20 variables and 91 clauses, from [SATLIB benchmark…
51 static unsigned char uf20 (EditLine * e, int k) { return pwrapper(e,k,20); } in uf20() function88 { uf20, NULL },
21 (declare-fun uf20 () (Array (_ BitVec 1) (_ BitVec 2)))434 (select uf20 v7))