[mcracetrack] Explicit McRaceTrack Model Checker Version 4.2
[mcracetrack] Copyright (C) 2015 Armin Biere JKU Linz
[mcracetrack] gcc -Wall -O3 -DNDEBUG -DNLOG -DCOUNTPATHS
[mcracetrack] maximum acceleration 10 increment 1
[mcracetrack] using euclidean norm to limit acceleration
[mcracetrack] moves which can not be handled will force abort
[mcracetrack] garbage collection disabled
[mcracetrack] will not sort generations
[mcracetrack] measuring process time
[mcracetrack] using default parcours of c't 2015 issue 23
[mcracetrack] found and sorted 4 horizontal segments
[mcracetrack] found and sorted 3 vertical segments
[mcracetrack] maximum number of states 4294967296
[mcracetrack] velocity range [0..127] 7 bits
[mcracetrack] coordinate range [0..511] 9 bits
[mcracetrack] sizeof (long) = 8 bytes
[mcracetrack] sizeof (State) = 8 bytes
[mcracetrack] visited table needs 512.0 MB
[mcracetrack] maximum states stack of 32.0 GB
[mcracetrack] prepared acceleration table with 317 pairs 72%
[mcracetrack] 0.00: search initialized
[mcracetrack] 0.18: expand forward 0 of 1 states in 0.181 sec
[mcracetrack] 0.40: expand forward 1 of 316 states in 0.220 sec
[mcracetrack] 1.88: expand forward 2 of 92696 states in 1.480 sec
[mcracetrack] 13.62: expand forward 3 of 774370 states in 11.737 sec
[mcracetrack] 52.67: expand forward 4 of 2927418 states in 39.047 sec
[mcracetrack] 136.29: expand forward 5 of 6616183 states in 83.619 sec
[mcracetrack] 284.46: expand forward 6 of 12875980 states in 148.170 sec
[mcracetrack] 522.40: expand forward 7 of 17019036 states in 237.947 sec
[mcracetrack] 577.68: enlarged forward stack to hold 134217728 states 1 GB
[mcracetrack] 770.36: expand forward 8 of 20874496 states in 247.954 sec
[mcracetrack] 1102.53: expand forward 9 of 27829325 states in 332.176 sec
[mcracetrack] 1161.63: enlarged forward stack to hold 268435456 states 2 GB
[mcracetrack] 1567.22: expand forward 10 of 38844140 states in 464.683 sec
[mcracetrack] 2173.06: expand forward 11 of 52565166 states in 605.840 sec
[mcracetrack] 2385.67: enlarged forward stack to hold 402653184 states 3 GB
[mcracetrack] 2893.64: expand forward 12 of 62795172 states in 720.584 sec
[mcracetrack] 3757.31: enlarged forward stack to hold 536870912 states 4 GB
[mcracetrack] 3770.95: expand forward 13 of 72927657 states in 877.313 sec
[mcracetrack] 4861.91: expand forward 14 of 87568572 states in 1090.956 sec
[mcracetrack] 5115.91: enlarged forward stack to hold 671088640 states 5 GB
[mcracetrack] 6134.86: expand forward 15 of 104240024 states in 1272.948 sec
[mcracetrack] 6551.11: forward target found  320 220 0 0
[mcracetrack] 6657.44: enlarged forward stack to hold 805306368 states 6 GB
[mcracetrack] 7421.29: expand forward 16 of 111104679 states in 1286.427 sec
[mcracetrack] counted 10373716818857 shortest paths reaching target
s REACHED
1: 120 180 0 0 --[2,-9]-> 122 171 2 -9 (2,-9)
2: 122 171 2 -9 --[11,-5]-> 133 166 11 -5 (9,4)
3: 133 166 11 -5 --[18,2]-> 151 168 18 2 (7,7)
4: 151 168 18 2 --[24,10]-> 175 178 24 10 (6,8)
5: 175 178 24 10 --[24,20]-> 199 198 24 20 (0,10)
6: 199 198 24 20 --[17,27]-> 216 225 17 27 (-7,7)
7: 216 225 17 27 --[11,35]-> 227 260 11 35 (-6,8)
8: 227 260 11 35 --[11,26]-> 238 286 11 26 (0,-9)
9: 238 286 11 26 --[14,17]-> 252 303 14 17 (3,-9)
10: 252 303 14 17 --[18,8]-> 270 311 18 8 (4,-9)
11: 270 311 18 8 --[18,-2]-> 288 309 18 -2 (0,-10)
12: 288 309 18 -2 --[15,-11]-> 303 298 15 -11 (-3,-9)
13: 303 298 15 -11 --[11,-20]-> 314 278 11 -20 (-4,-9)
14: 314 278 11 -20 --[6,-28]-> 320 250 6 -28 (-5,-8)
15: 320 250 6 -28 --[0,-20]-> 320 230 0 -20 (-6,8)
16: 320 230 0 -20 --[0,-10]-> 320 220 0 -10 (0,10)
17: 320 220 0 -10 --[0,0]-> 320 220 0 0 (0,10)
[mcracetrack] worked on 18 generations
[mcracetrack] found 725023893 states 17% at 0.098 millions/sec
[mcracetrack] moves range from [-59,-56] to [58,58]
[mcracetrack] checked 2549125108 moves, valid 28%, invalid 72%
[mcracetrack] intersection checks 32% with on average 0.40 segments
[mcracetrack] invalid 1447348565 moves out-of-box 79%
[mcracetrack] invalid 99275986 moves intersecting segment 5%
[mcracetrack] invalid 277476665 moves hitting border 15%
[mcracetrack] fixed static memory of 1.0 MB 0%
[mcracetrack] maximum allocated heap memory of 71.0 GB 100%
[mcracetrack] total maximum allocated memory of 71.0 GB
[mcracetrack] expansion time 7421.28 sec 100%
[mcracetrack] finished after 7421.29 seconds