На простых инстансах солверы OptJet и CPLEX v.12.8 (последняя версия, доступная для тестов) имеют соизмеримую производительность во всех классах задач. По мере роста размера и сложности инстансов, OptJet начинает существенно опережать CPLEX в задачах MaxSAT, однако на данный момент уступает в задачах MILP.

Решаются задачи на поиск минимума целевой функции за фиксированный бюджет времени на каждый инстанс. Солвер, нашедший глобальный оптимум или лучшее решение по сравнению с оппонентом, получает 100 баллов. Солвер, нашедший худшее решение по сравнению с оппонентом, получает количество баллов, пропорциональное относительному качеству решения. Солвер, не нашедший решение за выделенное время, получает 0 баллов.

Библиотеки инстансов: MaxSAT Evaluation 2022, MIPLIB 2017
Бюджет времени, сек./инстанс: MaxSAT – 30, MILP – 120
Тестовый стенд: 8 core i7-9700F 32Gb DDR4.