Interpretation of Z3 Statistics
I obtained several statistics from runs of Z3. I need to understand what these mean. I am rather rusty and non up to date for the recent developments of sat and SMT solving, for this reason I tried to find explanations myself and I might be dead wrong. So my questions are mainly: 1) What do the measures' names mean? 2) If wrong, can you give me pointers to understand better to what they refer to? Other observations are made below and conceptually belong to the two questions above. Thanks in advance! My interpretation follows. DPLL . All the metrics below refer to the jargon of the DPLL