added DIMACS test cases