logo separator

Build mkgmap/splitter #199

Commit: 621 by gerd
Branch: solve-parallel
Time: 1 Jul 2021, 3:19 p.m.
Passed
Total time: 1 min 30 sec

stop slower solver as suggested by Felix Hartmann: "I feel of all tiles are 85 percent of max then stop. If 5 percent of tiles are less the 75 percent max then maybe stop after 30 seconds."

  • #199.1
    java=jdk8, python=default
    Passed
    52 sec
  • #199.2
    java=openjdk8, python=default
    Passed
    37 sec

Latest commits

  • splitter-r654 - add note that splitter doesn't handle holes in *.poly files.
    05 apr 2024
  • mkgmap-r4919 Avoid possible integer overflow in blocksize calculation when gmapsupp contains large number of tiles.
    04 apr 2024
  • mkgmap-r4918 add surface=chipseal to group of surfaces which means paved.
    06 mar 2024
  • mkgmap-r4917 fix typos in documentation: $LONG_DATE$ -> $LONGDATE$, $SHORT_DATE$ -> $SHORTDATE$.
    18 feb 2024
  • mkgmap-r4916 sortResource_v3.patch (with updated date in comment) by Ticker Berkin.
    13 oct 2023
See more...