i have a code I got it from SATzilla: Portfolio-based algorithm selection for SAT. The code is written in c language I chose the 2012 version .We should give the code CNF data I got it from sat competition site and the code gives me results but I can not understand the result I will attach the result .Can anyone help me