test: actually register new benchmark

tests/bench/speedcenter.exec.velcom.yaml

@@ -80,6 +80,14 @@
     cmd: ./binarytrees.lean.out 21
   build_config:
     cmd: ./compile.sh binarytrees.lean
+- attributes:
+    description: const_fold
+    tags: [fast, suite]
+  run_config:
+    <<: *time
+    cmd: bash -c "ulimit -s unlimited && ./const_fold.lean.out 23"
+  build_config:
+    cmd: ./compile.sh const_fold.lean
 - attributes:
     description: deriv
     tags: [fast, suite]
@@ -89,13 +97,13 @@
   build_config:
     cmd: ./compile.sh deriv.lean
 - attributes:
-    description: const_fold
+    description: liasolver
     tags: [fast, suite]
   run_config:
     <<: *time
-    cmd: bash -c "ulimit -s unlimited && ./const_fold.lean.out 23"
+    cmd: ./liasolver.lean.out ex-50-50-1.leq
   build_config:
-    cmd: ./compile.sh const_fold.lean
+    cmd: ./compile.sh liasolver.lean
 - attributes:
     description: qsort
     tags: [fast, suite]