Searched refs:nflip_after (Results 1 – 1 of 1) sorted by relevance
141 int nflip_before = 0, nflip_after = 0; in SolveSatProblem() local161 if (area < 0) ++nflip_after; in SolveSatProblem()163 lprintf("nflip: %3d\n", nflip_after); in SolveSatProblem()