| Abbreviation | Meaning |
|---|---|
| f=... | Value of the objective function |
| TO | Time Out |
| MO | Mem. Out (out of memory) |
| Color | Meaning |
|---|---|
| the solver cannot handle this instance | |
| the solver gave no answer | |
| the solver could give an answer (SAT) | |
| the solver gave a definitive answer (OPTIMUM FOUND or UNSAT) | |
| the solver performed better than the other ones on that instance | |
| the solver was ended by a signal | |
| the solver gave a wrong or incomplete answer |
| Abbreviation | Meaning |
|---|---|
| f=... | Value of the objective function |
| TO | Time Out |
| MO | Mem. Out (out of memory) |
| Color | Meaning |
|---|---|
| the solver cannot handle this instance | |
| the solver gave no answer | |
| the solver could give an answer (SAT) | |
| the solver gave a definitive answer (OPTIMUM FOUND or UNSAT) | |
| the solver performed better than the other ones on that instance | |
| the solver was ended by a signal | |
| the solver gave a wrong or incomplete answer |
| Abbreviation | Meaning |
|---|---|
| f=... | Value of the objective function |
| TO | Time Out |
| MO | Mem. Out (out of memory) |
| Color | Meaning |
|---|---|
| the solver cannot handle this instance | |
| the solver gave no answer | |
| the solver could give an answer (SAT) | |
| the solver gave a definitive answer (OPTIMUM FOUND or UNSAT) | |
| the solver performed better than the other ones on that instance | |
| the solver was ended by a signal | |
| the solver gave a wrong or incomplete answer |
| Abbreviation | Meaning |
|---|---|
| f=... | Value of the objective function |
| TO | Time Out |
| MO | Mem. Out (out of memory) |
| Color | Meaning |
|---|---|
| the solver cannot handle this instance | |
| the solver gave no answer | |
| the solver could give an answer (SAT) | |
| the solver gave a definitive answer (OPTIMUM FOUND or UNSAT) | |
| the solver performed better than the other ones on that instance | |
| the solver was ended by a signal | |
| the solver gave a wrong or incomplete answer |
| Abbreviation | Meaning |
|---|---|
| f=... | Value of the objective function |
| TO | Time Out |
| MO | Mem. Out (out of memory) |
| Color | Meaning |
|---|---|
| the solver cannot handle this instance | |
| the solver gave no answer | |
| the solver could give an answer (SAT) | |
| the solver gave a definitive answer (OPTIMUM FOUND or UNSAT) | |
| the solver performed better than the other ones on that instance | |
| the solver was ended by a signal | |
| the solver gave a wrong or incomplete answer |