Bound History

Instance ORTEC-n242-k12 (Set DIMACS)

Plot

Value Status Reported By Timestamp Solution
$123{,}750$ BKS
From literature until 2025.
2025/12/31 00:00:00