Deactivate old generate part

coalgcompare.ml

@@ -113,6 +113,7 @@ let solvers =
 let expQ (tbox, sf) = C.exportQuery tbox sf
 
 
+(*
 let rateF = int_of_string Sys.argv.(1)
 let rateP = int_of_string Sys.argv.(2)
 let nr = int_of_string Sys.argv.(3)
@@ -129,6 +130,7 @@ let genQ = genQuery litFkt pFkt tbcardFkt tbfsizeFkt
 
 let _ = G.toGnuPlot ~dots:10 ~timeout:10 ~fail:true expQ genQ solvers nr start stop ((+) step)
 
+*)
 
 (*
 let files = [ ("benchmarks/DL98/DL98_alc_branch_sat.txt", "branch\\_n");