fix benchmark option
trail contains literals
more regression tests
no more sorting of learnt clause