Home
last modified time | relevance | path

Searched refs:totalTime4Sat (Results 1 – 4 of 4) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/glucose/
H A DGlucose.cpp158 totalTime4Sat=0;totalTime4Unsat=0; in Solver()
1200 printf("c SAT Calls : %d in %g seconds\n", nbSatCalls, totalTime4Sat); in printIncrementalStats()
1279 totalTime4Sat +=(finalTime-curTime); in solve_()
1464 totalTime4Sat = 0.; in reset()
H A DSolver.h287 double totalTime4Sat,totalTime4Unsat; variable
/dports/math/glucose/glucose-syrup-4.1/core/
H A DSolver.cc191 , totalTime4Sat(0.) in Solver()
276 , totalTime4Sat(s.totalTime4Sat) in Solver()
1709 printf("\nc SAT Calls : %d in %g seconds\n", nbSatCalls, totalTime4Sat); in printIncrementalStats()
1828 totalTime4Sat += (finalTime - curTime); in solve_()
H A DSolver.h393 double totalTime4Sat,totalTime4Unsat; variable