Searched refs:numtry (Results 1 – 8 of 8) sorted by relevance
44 int numtry = 5; in efa_cntr_wait() local53 for (tryid = 0; tryid < numtry; ++tryid) { in efa_cntr_wait()
95 while (!found_solution && numtry < solver->conf.walksat_max_runs) {96 numtry++;115 if ((numtry > 3 && lowbad > 1000)116 || (numtry > 3 && lowbad > 300 && diff < 20 )117 || (numtry > 10 && lowbad > 50)657 cout << "c [walksat] num tries: " << numtry << endl;659 cout << "c [walksat] final success rate = " << stats_line_percent(1, numtry) << endl;
149 uint32_t numtry = 0; /* total attempts at solutions */ variable
95 while (!found_solution && numtry < solver->conf.walksat_max_runs) { in main()96 numtry++; in main()115 if ((numtry > 3 && lowbad > 1000) in main()116 || (numtry > 3 && lowbad > 300 && diff < 20 ) in main()117 || (numtry > 10 && lowbad > 50) in main()657 cout << "c [walksat] num tries: " << numtry << endl; in print_statistics_final()659 cout << "c [walksat] final success rate = " << stats_line_percent(1, numtry) << endl; in print_statistics_final()
713 int numtry; in mktemp() local730 for (numtry=0; numtry<MAX_TRIES; numtry++) in mktemp()
219 int numtry = 10; in camputc() local221 while ((1 != (wstat = write(cam, &ch, 1))) && numtry--) in camputc()223 if (!numtry) in camputc()
520 int numtry, rv; in emulate_mkxtemp() local522 for (numtry=0; numtry<MKXTEMP_MAX_TRIALS; numtry++) { in emulate_mkxtemp()529 if (numtry == MKXTEMP_MAX_TRIALS) { in emulate_mkxtemp()