updated objvals of dimacs test