I have code i got it from SATzilla: Portfolio-based algorithm selection for SAT .I used the 2012 version
The code is written in C language .must give the code CNF data i got it from sat competition.
The code gave me a result but i don't understand it .I will attach the result Help me plz