rp-APAI-SATsolver SAT Solver for Advanced Programming in Artificial Intelligence. usage: ./race.py ./random-cnfs2/benchmarks2or- walksat_solver.py