- int result = copy->solve();
- long long elapsedTime = copy->getElapsedTime();
- long long encodeTime = copy->getEncodeTime();
- long long solveTime = copy->getSolveTime();
- long long metric = elapsedTime;
- model_print("Elapsed Time: %llu\n", elapsedTime);
- model_print("Encode Time: %llu\n", encodeTime);
- model_print("Solve Time: %llu\n", solveTime);
+ copy->setSatSolverTimeout(TIMEOUTSEC);
+ model_print("**********************\n");
+ int sat = copy->solve();
+ if (result == UNSETVALUE && sat != IS_INDETER)
+ result = sat;
+ else if (result != sat && sat != IS_INDETER) {
+ model_print("&&&&&&&&&&&&&&&&&& Result has changed &&&&&&&&&&&&&\n");
+ copy->printConstraints();
+ }
+ long long metric = copy->getElapsedTime();