running DIMACS tests