# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1710521823 -3600
# Node ID c73a36081b1c5a6448c80a1bbffc91a399bd2522
# Parent  db9a45e05b5bc3dd469a5313d828b6590be672bb
change benchmark session to FOLP-ex (faster and less mean squared error than ZF-Constructible);

diff -r db9a45e05b5b -r c73a36081b1c src/Pure/Build/build_benchmark.scala
--- a/src/Pure/Build/build_benchmark.scala	Thu Mar 14 18:08:42 2024 +0100
+++ b/src/Pure/Build/build_benchmark.scala	Fri Mar 15 17:57:03 2024 +0100
@@ -10,9 +10,8 @@
 object Build_Benchmark {
   /* benchmark */
 
-  // ZF-Constructible as representative benchmark session with
-  // short build time and requirements
-  val benchmark_session = "ZF-Constructible"
+  // representative benchmark session with short build time and requirements
+  val benchmark_session = "FOLP-ex"
 
   def benchmark_command(
     host: Build_Cluster.Host,