@@ -1869,37 +1869,37 @@ namespace Gecode { namespace FlatZinc {
18691869 }
18701870 if (!se.stopped ()) {
18711871 if (sol) {
1872- out << " ==========" << endl;
1872+ out << " ==========" << std:: endl;
18731873 } else {
1874- out << " =====UNSATISFIABLE=====" << endl;
1874+ out << " =====UNSATISFIABLE=====" << std:: endl;
18751875 }
18761876 } else if (!sol) {
1877- out << " =====UNKNOWN=====" << endl;
1877+ out << " =====UNKNOWN=====" << std:: endl;
18781878 }
18791879 delete sol;
18801880 stopped:
18811881 if (opt.interrupt ())
18821882 Driver::CombinedStop::installCtrlHandler (false );
18831883 if (opt.mode () == SM_STAT) {
18841884 Gecode::Search::Statistics stat = se.statistics ();
1885- out << endl
1885+ out << std:: endl
18861886 << " %% runtime: " ;
18871887 Driver::stop (t_total,out);
1888- out << endl
1888+ out << std:: endl
18891889 << " %% solvetime: " ;
18901890 Driver::stop (t_solve,out);
1891- out << endl
1891+ out << std:: endl
18921892 << " %% solutions: "
1893- << std::abs (noOfSolutions - findSol) << endl
1893+ << std::abs (noOfSolutions - findSol) << std:: endl
18941894 << " %% variables: "
1895- << (intVarCount + boolVarCount + setVarCount) << endl
1896- << " %% propagators: " << n_p << endl
1897- << " %% propagations: " << sstat.propagate +stat.propagate << endl
1898- << " %% nodes: " << stat.node << endl
1899- << " %% failures: " << stat.fail << endl
1900- << " %% restarts: " << stat.restart << endl
1901- << " %% peak depth: " << stat.depth << endl
1902- << endl;
1895+ << (intVarCount + boolVarCount + setVarCount) << std:: endl
1896+ << " %% propagators: " << n_p << std:: endl
1897+ << " %% propagations: " << sstat.propagate +stat.propagate << std:: endl
1898+ << " %% nodes: " << stat.node << std:: endl
1899+ << " %% failures: " << stat.fail << std:: endl
1900+ << " %% restarts: " << stat.restart << std:: endl
1901+ << " %% peak depth: " << stat.depth << std:: endl
1902+ << std:: endl;
19031903 }
19041904 delete o.stop ;
19051905 delete o.tracer ;
0 commit comments