Searched refs:sumClLBD (Results 1 – 8 of 8) sorted by relevance
835 sqlite3_bind_int64 (stmt_var_data_fintime, bindAt++, solver->sumClLBD); in var_data_fintime()880 sqlite3_bind_int64 (stmt_var_data_picktime, bindAt++, solver->sumClLBD); in var_data_picktime()
673 varData[v].sumClLBD_at_picktime = sumClLBD; in sql_dump_vardata_picktime()
143 uint64_t sumClLBD = 0; variable
1473 sumClLBD += glue; in update_history_stats()3625 uint64_t sumClLBD_during = sumClLBD - varData[var].sumClLBD_at_picktime; in cancelUntil()