Searched defs:satoko_stats (Results 1 – 2 of 2) sorted by relevance
73 struct satoko_stats { struct74 unsigned n_starts;75 unsigned n_reduce_db;77 long n_decisions;78 long n_propagations;79 long n_propagations_all;80 long n_inspects;81 long n_conflicts;82 long n_conflicts_all;84 long n_original_lits;[all …]
433 satoko_stats_t * satoko_stats(satoko_t *s) in satoko_stats() function