model_print("******** Result has changed ******** Found a bug!!\n");
ASSERT(0);
}
- if (sat == IS_INDETER && metric != -1) {//The case when we have a timeout
+ if (sat == IS_INDETER && metric >= 0) {//The case when we have a timeout
metric = -1;
}
return metric;
for (uint l = 0; l < problems.getSize(); l++) {
Problem *problem = problems.get(l);
long long time1 = tuner1->getTime(problem);
- if(time1 == -1 || time1 == -2){
+ if(time1 < 0){
time1=LLONG_MAX;
}
long long time2 = tuner2->getTime(problem);
- if(time2 == -1 || time2 == -2){
+ if(time2 < 0){
time2 = LLONG_MAX;
}
mintimes[l] = pow(min(time1,time2), (double)1 / problems.getSize());