result "isabelle mmt_import -o threads=12 -d '$AFP' -A content/MathHub -C AFP=AFP -C _=Distribution -a -X doc -X no_doc -X slow -X large -x HOL-ODE-Numerics" (lxcisa0 10:47:31 elapsed time)
    5814 theories
 1518862 individuals:
        4406 locale
        4331 locale_dependency
        1150 class
       10180 type
      204506 const
     1271502 fact
33494582 relations:
          88 dcterms:contributor
        5813 ulo:check-time
      872277 ulo:definition
     1303911 ulo:derived
       41296 ulo:experimental
        5813 ulo:external-size
        4414 ulo:instance-of
     1551791 ulo:name
      209114 ulo:object
      204433 ulo:para
      204433 ulo:paratype
        1312 ulo:primitive
       24272 ulo:section
     1551743 ulo:source-ref
     1603443 ulo:specified-in
     1603443 ulo:specifies
     1297783 ulo:statement
       10290 ulo:theory
       10555 ulo:type
    22988358 ulo:uses
10:47:31 elapsed time
*** FAILED theory HOL-Word-SMT_Examples.Boogie
*** Error (line 74 of "/mnt/home/wenzelm/isabelle/repos/src/HOL/SMT_Examples/Boogie.thy"):
*** SMT: Solver "z3": Timed out (setting the configuration option "smt_timeout" might help)