
<html>

  <head>


    <meta http-equiv="content-type" content="text/html; charset=UTF-8">

  </head>

  <body>

    <p>Today marks 20 years of AFP -- to celebrate, here are a few

      timings with the new parallel build (Isabelle/08b83f91a1b2 and

      AFP/b61f72e5cba6):</p>

    <div style="background-color:#131314;color:#ebebeb">

      <pre style="font-family:'JetBrains Mono',monospace;font-size:9.8pt;"><span style="color:#c57633;">build </span>-a

<span style="color:#c57633;">0:08:47 </span>elapsed time, 3:02:23 cpu time, factor 20.75


<span style="color:#c57633;">build </span>-A: -X slow -a

<span style="color:#c57633;">0:43:11 </span>elapsed time, 72:49:01 cpu time, factor 101.17


<span style="color:#c57633;">build </span>-A: -a

<span style="color:#c57633;">2:07:56 </span>elapsed time, 87:35:19 cpu time, factor 41.08

</pre>

    </div>

    <p>Cheers!<br>

    </p>

    <p><br>

    </p>

    <p>Fabian<br>

    </p>

  </body>

</html>