Statistics Bug Report

[Basel Khouri]

It could be that in method Internal::new_clause, stats.added.total is incremented twice unintentionally (src/clause.cpp at lines 98 and 131).
 
https://github.com/arminbiere/cadical/blob/3d346f7a73080b276ae26fc2d15845747371fa1e/src/clause.cpp#L98C4-L98C19

cadical/src/clause.cpp

Line 131 in 3d346f7

 stats.current.total++; 

Thanks in advance,

[Mathias Fleury]

That statistics is not used anywhere for the behavior of the solver.

Thanks!