diff --git a/coalgcompare.ml b/coalgcompare.ml
index 3b239889cb0c6fb50ee58ee5b953832b84c9d228..44e7fdabf7bdd0a14b7ba00b090c4fe57ae6ce2c 100644
--- a/coalgcompare.ml
+++ b/coalgcompare.ml
@@ -275,7 +275,7 @@ let doTestGenericK () : testresults =
 
 let doTestGenericCL () : testresults =
   let agents = [1;2;3;4;5] in
-  let solvs = [(solvCoolCL, "cool"); (solvTatl agents, "tatl")] in
+  let solvs = [(solvTatl agents, "tatl"); (solvCoolCL, "cool")] in
   let timeout = !ptimeout in (* 5 minutes *)
   let formulas = ref [] in
   let counter = ref 0 in
@@ -305,7 +305,7 @@ let printRawData ((rn,results):testresults) : unit =
     print_endline (String.concat "\n" lines)
 
 let doTestCL agents formulas : testresults =
-  let solvs = [(solvCoolCL, "cool"); (solvTatl agents, "tatl")] in
+  let solvs = [(solvTatl agents, "tatl"); (solvCoolCL, "cool")] in
   runTests solvs formulas !ptimeout
 
 let doGenCL aglist sizelist : CoAlgFormula.formula list =