1 2 3 4 5 6 7
(benchmark flet_test :logic QF_UF :extrapreds ((b)) :status unsat :formula (and b (or false false)) )