Searched refs:totalTime4Sat (Results 1 – 4 of 4) sorted by relevance
158 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()
287 double totalTime4Sat,totalTime4Unsat; variable
191 , 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_()
393 double totalTime4Sat,totalTime4Unsat; variable