picosat_added_original_clauses
                        The number of original clauses
picosat_decisions       The number of decisions during a search
picosat_propagations    The number of propagations during a search
picosat_sat             Solve SAT problems with the 'PicoSAT' solver
picosat_seconds         Time spent in 'picosat_sat'
picosat_solution_status
                        Get the solution status
picosat_variables       The number of variables in a model
picosat_visits          The number of visits during a search
