DIMACS benchmarks, testing