Searched refs:lift_count (Results 1 – 10 of 10) sorted by relevance
| /dports/math/oink/oink-c1259fe/src/ |
| H A D | qpt.cpp | 406 lift_count++; in liftloop()
412 lift_count++; in liftloop()
432 lift_count++; in liftloop()
557 lift_count = 0; in run()
563 long _l = lift_count, _a = lift_attempt; in run()
580 _l = lift_count; in run()
600 …logger << "solved with " << lift_count << " lifts, " << lift_attempt << " lift attempts, max k " <… in run()
610 …logger << "after odd, " << lift_count << " lifts, " << lift_attempt << " lift attempts, " << c << … in run()
623 …logger << "solved with " << lift_count << " lifts, " << lift_attempt << " lift attempts." << std::… in run()
633 …logger << "after even, " << lift_count << " lifts, " << lift_attempt << " lift attempts, " << c <<… in run()
[all …]
|
| H A D | sspm.cpp | 552 lift_count++; in run()
560 lift_count++; in run()
576 lift_count++; in run()
666 int _l = lift_count, _a = lift_attempt; in run()
673 …logger << "after odd with k=" << i << ", " << std::setw(9) << lift_count-_l << " lifts, " << std:… in run()
681 …logger << "after even with k=" << i << ", " << std::setw(9) << lift_count-_l << " lifts, " << std:… in run()
686 …logger << "after even with k=" << i << ", " << std::setw(9) << lift_count-_l << " lifts, " << std:… in run()
694 …logger << "after odd with k=" << i << ", " << std::setw(9) << lift_count-_l << " lifts, " << std:… in run()
707 …logger << "solved with " << lift_count << " lifts, " << lift_attempt << " lift attempts, max l " <… in run()
|
| H A D | tspm.cpp | 268 lift_count++; in lift()
362 lift_count = lift_attempt = 0; in run()
395 if (last_update + 10*nodecount() < lift_count) { in run()
396 last_update = lift_count; in run()
430 …logger << "solved with " << lift_count << " lifts, " << lift_attempt << " lift attempts." << std::… in run()
|
| H A D | spm.cpp | 276 lift_count++; in lift()
386 lift_count = lift_attempt = 0; in run()
419 if (last_update + 10*nodecount() < lift_count) { in run()
420 last_update = lift_count; in run()
641 …logger << "solved with " << lift_count << " lifts, " << lift_attempt << " lift attempts." << std::… in run()
|
| H A D | qpt.hpp | 42 long lift_count; member in pg::QPTSolver
|
| H A D | spm.hpp | 36 int64_t lift_count = 0; member in pg::SPMSolver
|
| H A D | tspm.hpp | 36 int64_t lift_count = 0; member in pg::TSPMSolver
|
| H A D | mspm.hpp | 37 int lift_count = 0; member in pg::MSPMSolver
|
| H A D | sspm.hpp | 117 int lift_count = 0; member in pg::SSPMSolver
|
| H A D | mspm.cpp | 224 lift_count++; in lift()
385 lift_count = lift_attempt = 0; in run()
529 …logger << "solved with " << lift_count << " lifts, " << lift_attempt << " lift attempts." << std::… in run()
|