Updated cc learning
Packing clingcon benchmarks
Removed unnecessary files