Added full set of benchmarks for direct encoding. Fixed encoding with #int predicate