Added satlib benchmarks and improved parser to accept those