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 |