sat4j runner
new benchmarking