fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2025
15th edition, Paris, France, June 24, 2025
Execution of r252-tall-174915605600229
Last Updated
June 24, 2025

About the Execution of 2024-gold for TokenRing-PT-030

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15689.230 1800000.00 3171322.00 5048.60 [undef] Time out reached

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2025-input.r252-tall-174915605600229.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5832
Executing tool gold2024
Input is TokenRing-PT-030, examination is Liveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r252-tall-174915605600229
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 244M
-rw-r--r-- 1 mcc users 1.2M May 29 14:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 5.8M May 29 14:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 17M May 29 14:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 59M May 29 14:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 29 14:33 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 516K May 29 14:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 1.8M May 29 14:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.0M May 29 14:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 25M May 29 14:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 375K May 29 14:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.6M May 29 14:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 25M May 29 14:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 86M May 29 14:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 102K May 29 14:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 262K May 29 14:48 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 29 14:33 equiv_col
-rw-r--r-- 1 mcc users 4 May 29 14:33 instance
-rw-r--r-- 1 mcc users 6 May 29 14:33 iscolored
-rw-r--r-- 1 mcc users 14M May 29 14:33 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME Liveness

=== Now, execution of the tool begins

BK_START 1749201019328

Invoking MCC driver with
BK_TOOL=gold2024
BK_EXAMINATION=Liveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=TokenRing-PT-030
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2025-06-06 09:10:20] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, Liveness, -timeout, 180, -rebuildPNML]
[2025-06-06 09:10:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-06 09:10:21] [INFO ] Load time of PNML (sax parser for PT used): 897 ms
[2025-06-06 09:10:21] [INFO ] Transformed 961 places.
[2025-06-06 09:10:21] [INFO ] Transformed 27931 transitions.
[2025-06-06 09:10:21] [INFO ] Found NUPN structural information;
[2025-06-06 09:10:21] [INFO ] Parsed PT model containing 961 places and 27931 transitions and 111724 arcs in 1135 ms.
Built sparse matrix representations for Structural reductions in 39 ms.112584KB memory used
Starting structural reductions in DEADLOCK mode, iteration 0 : 961/961 places, 27931/27931 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Applied a total of 0 rules in 273 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
Finished structural reductions in DEADLOCK mode , in 1 iterations and 290 ms. Remains : 961/961 places, 27931/27931 transitions.
Starting structural reductions in DEADLOCK mode, iteration 0 : 961/961 places, 27931/27931 transitions.
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Computed a total of 0 stabilizing places and 0 stable transitions
Applied a total of 0 rules in 199 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
// Phase 1: matrix 27931 rows 961 cols
[2025-06-06 09:10:23] [INFO ] Computed 31 invariants in 124 ms
[2025-06-06 09:10:24] [INFO ] Implicit Places using invariants in 543 ms returned []
Implicit Place search using SMT only with invariants took 584 ms to find 0 implicit places.
Running 27901 sub problems to find dead transitions.
[2025-06-06 09:10:24] [INFO ] Invariant cache hit.
[2025-06-06 09:10:25] [INFO ] State equation strengthened by 27030 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/961 variables, 961/961 constraints. Problems are: Problem set: 0 solved, 27901 unsolved
SMT process timed out in 171512ms, After SMT, problems are : Problem set: 0 solved, 27901 unsolved
Search for dead transitions found 0 dead transitions in 171889ms
Finished structural reductions in DEADLOCK mode , in 1 iterations and 172804 ms. Remains : 961/961 places, 27931/27931 transitions.
Random walk for 1250000 steps, including 0 resets, run took 24191 ms (no deadlock found). (steps per millisecond=51 )
[2025-06-06 09:13:40] [INFO ] Invariant cache hit.
[2025-06-06 09:13:45] [INFO ] [Real]Absence check using 31 positive place invariants in 173 ms returned unsat
Starting structural reductions in LIVENESS mode, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 94 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
[2025-06-06 09:13:45] [INFO ] Invariant cache hit.
[2025-06-06 09:13:47] [INFO ] Implicit Places using invariants in 2052 ms returned []
Implicit Place search using SMT only with invariants took 2053 ms to find 0 implicit places.
Running 27901 sub problems to find dead transitions.
[2025-06-06 09:13:47] [INFO ] Invariant cache hit.
[2025-06-06 09:13:48] [INFO ] State equation strengthened by 27030 read => feed constraints.
Error getting values : (error "ParserException while parsing response: ((s0 1.0)
(s1 1.0)
(s2 1.0)
(s3 1.0)
(s4 1.0)
(s5 1.0)
(s6 1.0)
(s7 1.0)
(s8 1.0)
(s9 1.0)
(s10 1.0)
(s11 1.0)
(s12 1.0)
(s13 1.0)
(s14 1.0)
(s15 1.0)
(s16 1.0)
(s17 1.0)
(s18 1.0)
(s19 1.0)
(s20 1.0)
(s21 1.0)
(s22 1.0)
(s23 1.0)
(s24 1.0)
(s25 1.0)
(s26 1.0)
(s27 1.0)
(s28 1.0)
(s29 1.0)
(s30 1.0)
(s31 1.0)
(s32 1.0)
(s33 1.0)
(s34 1.0)
(s35 1.0)
(s36 1.0)
(s37 1.0)
(s38 1.0)
(s39 1.0)
(s40 1.0)
(s41 1.0)
(s42 1.0)
(s43 1.0)
(s44 1.0)
(s45 1.0)
(s46 1.0)
(s47 1.0)
(s48 1.0)
(s49 1.0)
(s50 1.0)
(s51 1.0)
(s52 1.0)
(s53 1.0)
(s54 1.0)
(s55 1.0)
(s56 1.0)
(s57 1.0)
(s58 1.0)
(s59 1.0)
(s60 1.0)
(s61 1.0)
(s62 1.0)
(s63 1.0)
(s64 1.0)
(s65 1.0)
(s66 1.0)
(s67 1.0)
(s68 1.0)
(s69 1.0)
(s70 1.0)
(s71 1.0)
(s72 1.0)
(s73 1.0)
(s74 1.0)
(s75 1.0)
(s76 1.0)
(s77 1.0)
(s78 1.0)
(s79 1.0)
(s80 1.0)
(s81 1.0)
(s82 1.0)
(s83 1.0)
(s84 1.0)
(s85 1.0)
(s86 1.0)
(s87 1.0)
(s88 1.0)
(s89 1.0)
(s90 1.0)
(s91 1.0)
(s92 1.0)
(s93 1.0)
(s94 1.0)
(s95 1.0)
(s96 1.0)
(s97 1.0)
(s98 1.0)
(s99 1.0)
(s100 1.0)
(s101 1.0)
(s102 1.0)
(s103 1.0)
(s104 1.0)
(s105 1.0)
(s106 1.0)
(s107 1.0)
(s108 1.0)
(s109 1.0)
(s110 1.0)
(s111 1.0)
(s112 1.0)
(s113 1.0)
(s114 1.0)
(s115 1.0)
(s116 1.0)
(s117 1.0)
(s118 1.0)
(s119 1.0)
(s120 1.0)
(s121 1.0)
(s122 1.0)
(s123 1.0)
(s124 1.0)
(s125 1.0)
(s126 1.0)
(s127 1.0)
(s128 1.0)
(s129 1.0)
(s130 1.0)
(s131 1.0)
(s132 1.0)
(s133 1.0)
(s134 1.0)
(s135 1.0)
(s136 1.0)
(s137 1.0)
(s138 1.0)
(s139 1.0)
(s140 1.0)
(s141 1.0)
(s142 1.0)
(s143 1.0)
(s144 1.0)
(s145 1.0)
(s146 1.0)
(s147 1.0)
(s148 1.0)
(s149 1.0)
(s150 1.0)
(s151 1.0)
(s152 1.0)
(s153 1.0)
(s154 1.0)
(s155 1.0)
(s156 1.0)
(s157 1.0)
(s158 1.0)
(s159 1.0)
(s160 1.0)
(s161 1.0)
(s162 1.0)
(s163 1.0)
(s164 1.0)
(s165 1.0)
(s166 1.0)
(s167 1.0)
(s168 1.0)
(s169 1.0)
(s170 1.0)
(s171 1.0)
(s172 1.0)
(s173 1.0)
(s174 1.0)
(s175 1.0)
(s176 1.0)
(s177 1.0)
(s178 1.0)
(s179 1.0)
(s180 1.0)
(s181 1.0)
(s182 1.0)
(s183 1.0)
(s184 1.0)
(s185 1.0)
(s186 1.0)
(s187 1.0)
(s188 1.0)
(s189 1.0)
(s190 1.0)
(s191 1.0)
(s192 1.0)
(s193 1.0)
(s194 1.0)
(s195 1.0)
(s196 1.0)
(s197 1.0)
(s198 1.0)
(s199 1.0)
(s200 1.0)
(s201 1.0)
(s202 1.0)
(s203 1.0)
(s204 1.0)
(s205 1.0)
(s206 1.0)
(s207 1.0)
(s208 1.0)
(s209 1.0)
(s210 1.0)
(s211 1.0)
(s212 1.0)
(s213 1.0)
(s214 1.0)
(s215 1.0)
(s216 1.0)
(s217 1.0)
(s218 1.0)
(s219 1.0)
(s220 1.0)
(s221 1.0)
(s222 1.0)
(s223 1.0)
(s224 1.0)
(s225 1.0)
(s226 1.0)
(s227 1.0)
(s228 1.0)
(s229 1.0)
(s230 1.0)
(s231 1.0)
(s232 1.0)
(s233 1.0)
(s234 1.0)
(s235 1.0)
(s236 1.0)
(s237 1.0)
(s238 1.0)
(s239 1.0)
(s240 1.0)
(s241 1.0)
(s242 1.0)
(s243 1.0)
(s244 1.0)
(s245 1.0)
(s246 1.0)
(s247 1.0)
(s248 1.0)
(s249 1.0)
(s250 1.0)
(s251 1.0)
(s252 1.0)
(s253 1.0)
(s254 1.0)
(s255 1.0)
(s256 1.0)
(s257 1.0)
(s258 1.0)
(s259 1.0)
(s260 1.0)
(s261 1.0)
(s262 1.0)
(s263 1.0)
(s264 1.0)
(s265 1.0)
(s266 1.0)
(s267 1.0)
(s268 1.0)
(s269 1.0)
(s270 1.0)
(s271 1.0)
(s272 1.0)
(s273 1.0)
(s274 1.0)
(s275 1.0)
(s276 1.0)
(s277 1.0)
(s278 1.0)
(s279 1.0)
(s280 1.0)
(s281 1.0)
(s282 1.0)
(s283 1.0)
(s284 1.0)
(s285 1.0)
(s286 1.0)
(s287 1.0)
(s288 1.0)
(s289 1.0)
(s290 1.0)
(s291 1.0)
(s292 1.0)
(s293 1.0)
(s294 1.0)
(s295 1.0)
(s296 1.0)
(s297 1.0)
(s298 1.0)
(s299 1.0)
(s300 1.0)
(s301 1.0)
(s302 1.0)
(s303 1.0)
(s304 1.0)
(s305 1.0)
(s306 1.0)
(s307 1.0)
(s308 1.0)
(s309 1.0)
(s310 1.0)
(s311 1.0)
(s312 1.0)
(s313 1.0)
(s314 1.0)
(s315 1.0)
(s316 1.0)
(s317 1.0)
(s318 1.0)
(s319 1.0)
(s320 1.0)
(s321 1.0)
(s322 1.0)
(s323 1.0)
(s324 1.0)
(s325 1.0)
(s326 1.0)
(s327 1.0)
(s328 1.0)
(s329 1.0)
(s330 1.0)
(s331 1.0)
(s332 1.0)
(s333 1.0)
(s334 1.0)
(s335 1.0)
(s336 1.0)
(s337 1.0)
(s338 1.0)
(s339 1.0)
(s340 1.0)
(s341 1.0)
(s342 1.0)
(s343 1.0)
(s344 1.0)
(s345 1.0)
(s346 1.0)
(s347 1.0)
(s348 1.0)
(s349 1.0)
(s350 1.0)
(s351 1.0)
(s352 1.0)
(s353 1.0)
(s354 1.0)
(s355 1.0)
(s356 1.0)
(s357 1.0)
(s358 1.0)
(s359 1.0)
(s360 1.0)
(s361 1.0)
(s362 1.0)
(s363 1.0)
(s364 1.0)
(s365 1.0)
(s366 1.0)
(s367 1.0)
(s368 1.0)
(s369 1.0)
(s370 1.0)
(s371 1.0)
(s372 1.0)
(s373 1.0)
(s374 1.0)
(s375 1.0)
(s376 1.0)
(s377 1.0)
(s378 1.0)
(s379 1.0)
(s380 1.0)
(s381 1.0)
(s382 1.0)
(s383 1.0)
(s384 1.0)
(s385 1.0)
(s386 1.0)
(s387 1.0)
(s388 1.0)
(s389 1.0)
(s390 1.0)
(s391 1.0)
(s392 1.0)
(s393 1.0)
(s394 1.0)
(s395 1.0)
(s396 1.0)
(s397 1.0)
(s398 1.0)
(s399 1.0)
(s400 1.0)
(s401 1.0)
(s402 1.0)
(s403 1.0)
(s404 1.0)
(s405 1.0)
(s406 1.0)
(s407 1.0)
(s408 1.0)
(s409 1.0)
(s410 1.0)
(s411 1.0)
(s412 1.0)
(s413 1.0)
(s414 1.0)
(s415 1.0)
(s416 1.0)
(s417 1.0)
(s418 1.0)
(s419 1.0)
(s420 1.0)
(s421 1.0)
(s422 1.0)
(s423 1.0)
(s424 1.0)
(s425 1.0)
(s426 1.0)
(s427 1.0)
(s428 1.0)
(s429 1.0)
(s430 1.0)
(s431 1.0)
(s432 1.0)
(s433 1.0)
(s434 1.0)
(s435 1.0)
(s436 1.0)
(s437 1.0)
(s438 1.0)
(s439 1.0)
(s440 1.0)
(s441 1.0)
(s442 1.0)
(s443 1.0)
(s444 1.0)
(s445 1.0)
(s446 1.0)
(s447 1.0)
(s448 1.0)
(s449 1.0)
(s450 1.0)
(s451 1.0)
(s452 1.0)
(s453 1.0)
(s454 1.0)
(s455 1.0)
(s456 1.0)
(s457 1.0)
(s458 1.0)
(s459 1.0)
(s460 1.0)
(s461 1.0)
(s462 1.0)
(s463 1.0)
(s464 1.0)
(s465 1.0)
(s466 1.0)
(s467 1.0)
(s468 1.0)
(s469 1.0)
(s470 1.0)
(s471 1.0)
(s472 1.0)
(s473 1.0)
(s474 1.0)
(s475 1.0)
(s476 1.0)
(s477 1.0)
(s478 1.0)
(s479 1.0)
(s480 1.0)
(s481 1.0)
(s482 1.0)
(s483 1.0)
(s484 1.0)
(s485 1.0)
(s486 1.0)
(s487 1.0)
(s488 1.0)
(s489 1.0)
(s490 1.0)
(s491 1.0)
(s492 1.0)
(s493 1.0)
(s494 1.0)
(s495 1.0)
(s496 1.0)
(s497 1.0)
(s498 1.0)
(s499 1.0)
(s500 1.0)
(s501 1.0)
(s502 1.0)
(s503 1.0)
(s504 1.0)
(s505 1.0)
(s506 1.0)
(s507 1.0)
(s508 1.0)
(s509 1.0)
(s510 1.0)
(s511 1.0)
(s512 1.0)
(s513 1.0)
(s514 1.0)
(s515 1.0)
(s516 1.0)
(s517 1.0)
(s518 1.0)
(s519 1.0)
(s520 1.0)
(s521 1.0)
(s522 1.0)
(s523 1.0)
(s524 1.0)
(s525 1.0)
(s526 1.0)
(s527 1.0)
(s528 1.0)
(s529 1.0)
(s530 1.0)
(s531 1.0)
(s532 1.0)
(s533 1.0)
(s534 1.0)
(s535 1.0)
(s536 1.0)
(s537 1.0)
(s538 1.0)
(s539 1.0)
(s540 1.0)
(s541 1.0)
(s542 1.0)
(s543 1.0)
(s544 1.0)
(s545 1.0)
(s546 1.0)
(s547 1.0)
(s548 1.0)
(s549 1.0)
(s550 1.0)
(s551 1.0)
(s552 1.0)
(s553 1.0)
(s554 1.0)
(s555 1.0)
(s556 1.0)
(s557 1.0)
(s558 1.0)
(s559 1.0)
(s560 1.0)
(s561 1.0)
(s562 1.0)
(s563 1.0)
(s564 1.0)
(s565 1.0)
(s566 1.0)
(s567 1.0)
(s568 1.0)
(s569 1.0)
(s570 1.0)
(s571 1.0)
(s572 1.0)
(s573 1.0)
(s574 1.0)
(s575 1.0)
(s576 1.0)
(s577 1.0)
(s578 1.0)
(s579 1.0)
(s580 1.0)
(s581 1.0)
(s582 1.0)
(s583 1.0)
(s584 1.0)
(s585 1.0)
(s586 1.0)
(s587 1.0)
(s588 1.0)
(s589 1.0)
(s590 1.0)
(s591 1.0)
(s592 1.0)
(s593 1.0)
(s594 1.0)
(s595 1.0)
(s596 1.0)
(s597 1.0)
(s598 1.0)
(s599 1.0)
(s600 1.0)
(s601 1.0)
(s602 1.0)
(s603 1.0)
(s604 1.0)
(s605 1.0)
(s606 1.0)
(s607 1.0)
(s608 1.0)
(s609 1.0)
(s610 1.0)
(s611 1.0)
(s612 1.0)
(s613 1.0)
(s614 1.0)
(s615 1.0)
(s616 1.0)
(s617 1.0)
(s618 1.0)
(s619 timeout
org.smtlib.IParser$ParserException: Unbalanced parentheses at end of input")
At refinement iteration 0 (INCLUDED_ONLY) 0/961 variables, 961/961 constraints. Problems are: Problem set: 0 solved, 27901 unsolved
SMT process timed out in 166642ms, After SMT, problems are : Problem set: 0 solved, 27901 unsolved
Search for dead transitions found 0 dead transitions in 166965ms
Finished structural reductions in LIVENESS mode , in 1 iterations and 169192 ms. Remains : 961/961 places, 27931/27931 transitions.
Initial state reduction rules removed 30 formulas.
RANDOM walk for 40000 steps (8 resets) in 7319 ms. (5 steps per ms) remains 27466/27901 properties
BEST_FIRST walk for 124 steps (0 resets) in 55 ms. (2 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 66 ms. (1 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 61 ms. (2 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 58 ms. (2 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 65 ms. (1 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 52 ms. (2 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 156 ms. (0 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 17 ms. (6 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 18 ms. (6 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 15 ms. (7 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 17 ms. (6 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 15 ms. (7 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 11 ms. (10 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 15 ms. (7 steps per ms) remains 27466/27466 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 27466/27466 properties
Interrupted probabilistic random walk after 5742 steps, run timeout after 6002 ms. (steps per millisecond=0 ) properties seen :764 out of 27466
Probabilistic random walk after 5742 steps, saw 2596 distinct states, run finished after 6010 ms. (steps per millisecond=0 ) properties seen :764
[2025-06-06 09:16:43] [INFO ] Invariant cache hit.
[2025-06-06 09:16:44] [INFO ] State equation strengthened by 27030 read => feed constraints.
SMT process timed out in 142372ms, After SMT, problems are : Problem set: 0 solved, 26702 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 961 out of 961 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 144 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 146 ms. Remains : 961/961 places, 27931/27931 transitions.
RANDOM walk for 719980 steps (0 resets) in 120005 ms. (5 steps per ms) remains 26660/26702 properties
BEST_FIRST walk for 4004 steps (8 resets) in 345 ms. (11 steps per ms) remains 26636/26660 properties
BEST_FIRST walk for 4004 steps (8 resets) in 319 ms. (12 steps per ms) remains 26618/26636 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 26612/26618 properties
BEST_FIRST walk for 4004 steps (8 resets) in 314 ms. (12 steps per ms) remains 26611/26612 properties
BEST_FIRST walk for 4003 steps (8 resets) in 318 ms. (12 steps per ms) remains 26605/26611 properties
BEST_FIRST walk for 4004 steps (8 resets) in 307 ms. (13 steps per ms) remains 26600/26605 properties
BEST_FIRST walk for 4004 steps (8 resets) in 305 ms. (13 steps per ms) remains 26596/26600 properties
BEST_FIRST walk for 4004 steps (8 resets) in 310 ms. (12 steps per ms) remains 26595/26596 properties
BEST_FIRST walk for 4004 steps (8 resets) in 307 ms. (13 steps per ms) remains 26588/26595 properties
BEST_FIRST walk for 4004 steps (8 resets) in 318 ms. (12 steps per ms) remains 26584/26588 properties
BEST_FIRST walk for 4004 steps (8 resets) in 312 ms. (12 steps per ms) remains 26583/26584 properties
BEST_FIRST walk for 4002 steps (8 resets) in 299 ms. (13 steps per ms) remains 26581/26583 properties
BEST_FIRST walk for 4003 steps (8 resets) in 307 ms. (12 steps per ms) remains 26577/26581 properties
BEST_FIRST walk for 4004 steps (8 resets) in 363 ms. (11 steps per ms) remains 26575/26577 properties
BEST_FIRST walk for 4004 steps (8 resets) in 398 ms. (10 steps per ms) remains 26575/26575 properties
BEST_FIRST walk for 4004 steps (8 resets) in 398 ms. (10 steps per ms) remains 26575/26575 properties
BEST_FIRST walk for 4004 steps (8 resets) in 456 ms. (8 steps per ms) remains 26573/26575 properties
BEST_FIRST walk for 4004 steps (8 resets) in 385 ms. (10 steps per ms) remains 26571/26573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 26566/26571 properties
BEST_FIRST walk for 4004 steps (8 resets) in 362 ms. (11 steps per ms) remains 26566/26566 properties
BEST_FIRST walk for 4004 steps (8 resets) in 306 ms. (13 steps per ms) remains 26566/26566 properties
BEST_FIRST walk for 4004 steps (8 resets) in 310 ms. (12 steps per ms) remains 26566/26566 properties
BEST_FIRST walk for 4003 steps (8 resets) in 307 ms. (12 steps per ms) remains 26566/26566 properties
BEST_FIRST walk for 4004 steps (8 resets) in 319 ms. (12 steps per ms) remains 26565/26566 properties
BEST_FIRST walk for 4003 steps (8 resets) in 307 ms. (12 steps per ms) remains 26565/26565 properties
BEST_FIRST walk for 4003 steps (8 resets) in 299 ms. (13 steps per ms) remains 26562/26565 properties
BEST_FIRST walk for 4004 steps (8 resets) in 311 ms. (12 steps per ms) remains 26560/26562 properties
BEST_FIRST walk for 4004 steps (8 resets) in 310 ms. (12 steps per ms) remains 26559/26560 properties
BEST_FIRST walk for 4004 steps (8 resets) in 311 ms. (12 steps per ms) remains 26558/26559 properties
BEST_FIRST walk for 4004 steps (8 resets) in 307 ms. (13 steps per ms) remains 26557/26558 properties
BEST_FIRST walk for 4004 steps (8 resets) in 321 ms. (12 steps per ms) remains 26556/26557 properties
BEST_FIRST walk for 4004 steps (8 resets) in 310 ms. (12 steps per ms) remains 26556/26556 properties
BEST_FIRST walk for 4004 steps (8 resets) in 304 ms. (13 steps per ms) remains 26556/26556 properties
BEST_FIRST walk for 4003 steps (8 resets) in 301 ms. (13 steps per ms) remains 26556/26556 properties
BEST_FIRST walk for 4004 steps (8 resets) in 313 ms. (12 steps per ms) remains 26554/26556 properties
BEST_FIRST walk for 4004 steps (8 resets) in 325 ms. (12 steps per ms) remains 26554/26554 properties
BEST_FIRST walk for 4004 steps (8 resets) in 329 ms. (12 steps per ms) remains 26553/26554 properties
BEST_FIRST walk for 4004 steps (8 resets) in 313 ms. (12 steps per ms) remains 26552/26553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 304 ms. (13 steps per ms) remains 26552/26552 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26552/26552 properties
BEST_FIRST walk for 4004 steps (8 resets) in 320 ms. (12 steps per ms) remains 26550/26552 properties
BEST_FIRST walk for 4003 steps (8 resets) in 307 ms. (12 steps per ms) remains 26550/26550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 309 ms. (12 steps per ms) remains 26550/26550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26550/26550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26550/26550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26550/26550 properties
BEST_FIRST walk for 4003 steps (8 resets) in 295 ms. (13 steps per ms) remains 26550/26550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26547/26550 properties
BEST_FIRST walk for 4004 steps (8 resets) in 306 ms. (13 steps per ms) remains 26547/26547 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26545/26547 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 26545/26545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 26545/26545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 304 ms. (13 steps per ms) remains 26544/26545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 305 ms. (13 steps per ms) remains 26544/26544 properties
BEST_FIRST walk for 4004 steps (8 resets) in 306 ms. (13 steps per ms) remains 26543/26544 properties
BEST_FIRST walk for 4004 steps (8 resets) in 304 ms. (13 steps per ms) remains 26541/26543 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 26541/26541 properties
BEST_FIRST walk for 4003 steps (8 resets) in 295 ms. (13 steps per ms) remains 26541/26541 properties
BEST_FIRST walk for 4003 steps (8 resets) in 303 ms. (13 steps per ms) remains 26541/26541 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26541/26541 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 26540/26541 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26540/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26539/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26537/26539 properties
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 26536/26537 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26536/26536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26536/26536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26536/26536 properties
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 26536/26536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26536/26536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26536/26536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 26536/26536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26534/26536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26533/26534 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26533/26533 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26533/26533 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26533/26533 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26533/26533 properties
BEST_FIRST walk for 4003 steps (8 resets) in 297 ms. (13 steps per ms) remains 26533/26533 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26533/26533 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26532/26533 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 26532/26532 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26532/26532 properties
BEST_FIRST walk for 4004 steps (8 resets) in 289 ms. (13 steps per ms) remains 26532/26532 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26532/26532 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26532/26532 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26532/26532 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 26532/26532 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26530/26532 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26529/26530 properties
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 26529/26529 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26529/26529 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26528/26529 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26528/26528 properties
BEST_FIRST walk for 4003 steps (8 resets) in 298 ms. (13 steps per ms) remains 26527/26528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 26526/26527 properties
BEST_FIRST walk for 4004 steps (8 resets) in 288 ms. (13 steps per ms) remains 26526/26526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 26526/26526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26525/26526 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26524/26525 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26524/26524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26523/26524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 26523/26523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26522/26523 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26522/26522 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26521/26522 properties
BEST_FIRST walk for 4003 steps (8 resets) in 293 ms. (13 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 288 ms. (13 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4003 steps (8 resets) in 292 ms. (13 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4003 steps (8 resets) in 293 ms. (13 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26521/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26520/26521 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26520/26520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26520/26520 properties
BEST_FIRST walk for 4003 steps (8 resets) in 295 ms. (13 steps per ms) remains 26520/26520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 288 ms. (13 steps per ms) remains 26519/26520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 26519/26519 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26519/26519 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26519/26519 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 26519/26519 properties
BEST_FIRST walk for 4003 steps (8 resets) in 291 ms. (13 steps per ms) remains 26518/26519 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26518/26518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 289 ms. (13 steps per ms) remains 26517/26518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 289 ms. (13 steps per ms) remains 26517/26517 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26517/26517 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26516/26517 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 287 ms. (13 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 295 ms. (13 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 298 ms. (13 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 290 ms. (13 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 296 ms. (13 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 295 ms. (13 steps per ms) remains 26516/26516 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26514/26516 properties
BEST_FIRST walk for 4003 steps (8 resets) in 298 ms. (13 steps per ms) remains 26514/26514 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26513/26514 properties
BEST_FIRST walk for 4002 steps (8 resets) in 291 ms. (13 steps per ms) remains 26513/26513 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26513/26513 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26513/26513 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 26512/26513 properties
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 26512/26512 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26512/26512 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26511/26512 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26511/26511 properties
BEST_FIRST walk for 4003 steps (8 resets) in 298 ms. (13 steps per ms) remains 26511/26511 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26511/26511 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26511/26511 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26511/26511 properties
BEST_FIRST walk for 4004 steps (8 resets) in 288 ms. (13 steps per ms) remains 26511/26511 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26511/26511 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26511/26511 properties
BEST_FIRST walk for 4003 steps (8 resets) in 297 ms. (13 steps per ms) remains 26510/26511 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26510/26510 properties
BEST_FIRST walk for 4003 steps (8 resets) in 290 ms. (13 steps per ms) remains 26510/26510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26510/26510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26510/26510 properties
BEST_FIRST walk for 4003 steps (8 resets) in 296 ms. (13 steps per ms) remains 26510/26510 properties
BEST_FIRST walk for 4002 steps (8 resets) in 294 ms. (13 steps per ms) remains 26510/26510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26510/26510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 26510/26510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26510/26510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26510/26510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 324 ms. (12 steps per ms) remains 26510/26510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26510/26510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26510/26510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26510/26510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26510/26510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26510/26510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26510/26510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26510/26510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 26509/26510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26509/26509 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26509/26509 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26509/26509 properties
BEST_FIRST walk for 4004 steps (8 resets) in 347 ms. (11 steps per ms) remains 26508/26509 properties
BEST_FIRST walk for 4004 steps (8 resets) in 337 ms. (11 steps per ms) remains 26507/26508 properties
BEST_FIRST walk for 4004 steps (8 resets) in 364 ms. (10 steps per ms) remains 26507/26507 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26507/26507 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26507/26507 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26507/26507 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 26507/26507 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26507/26507 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26507/26507 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 26505/26507 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 320 ms. (12 steps per ms) remains 26505/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26504/26505 properties
BEST_FIRST walk for 4004 steps (8 resets) in 289 ms. (13 steps per ms) remains 26504/26504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26504/26504 properties
BEST_FIRST walk for 4003 steps (8 resets) in 296 ms. (13 steps per ms) remains 26504/26504 properties
BEST_FIRST walk for 4003 steps (8 resets) in 302 ms. (13 steps per ms) remains 26504/26504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 26504/26504 properties
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 26504/26504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26504/26504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26504/26504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26504/26504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 26504/26504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 289 ms. (13 steps per ms) remains 26504/26504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26503/26504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26503/26503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 26503/26503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26503/26503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26503/26503 properties
BEST_FIRST walk for 4003 steps (8 resets) in 299 ms. (13 steps per ms) remains 26503/26503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26503/26503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26503/26503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 26502/26503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26501/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 26501/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26501/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26500/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26500/26500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26500/26500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26500/26500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26500/26500 properties
BEST_FIRST walk for 4003 steps (8 resets) in 299 ms. (13 steps per ms) remains 26500/26500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26500/26500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26500/26500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26500/26500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26500/26500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 26500/26500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26500/26500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 289 ms. (13 steps per ms) remains 26500/26500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 306 ms. (13 steps per ms) remains 26500/26500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26500/26500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26500/26500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26500/26500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 26500/26500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26500/26500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26499/26500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26499/26499 properties
BEST_FIRST walk for 4003 steps (8 resets) in 296 ms. (13 steps per ms) remains 26499/26499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 26499/26499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26499/26499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 26498/26499 properties
BEST_FIRST walk for 4003 steps (8 resets) in 295 ms. (13 steps per ms) remains 26498/26498 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26498/26498 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26498/26498 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26498/26498 properties
BEST_FIRST walk for 4003 steps (8 resets) in 297 ms. (13 steps per ms) remains 26498/26498 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26498/26498 properties
BEST_FIRST walk for 4002 steps (8 resets) in 292 ms. (13 steps per ms) remains 26497/26498 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 26497/26497 properties
BEST_FIRST walk for 4003 steps (8 resets) in 292 ms. (13 steps per ms) remains 26497/26497 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26497/26497 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 26497/26497 properties
BEST_FIRST walk for 4003 steps (8 resets) in 299 ms. (13 steps per ms) remains 26497/26497 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 26497/26497 properties
BEST_FIRST walk for 4004 steps (8 resets) in 289 ms. (13 steps per ms) remains 26497/26497 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26497/26497 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26497/26497 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26496/26497 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26496/26496 properties
BEST_FIRST walk for 4003 steps (8 resets) in 289 ms. (13 steps per ms) remains 26496/26496 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26496/26496 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26496/26496 properties
BEST_FIRST walk for 4004 steps (8 resets) in 321 ms. (12 steps per ms) remains 26496/26496 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 26496/26496 properties
BEST_FIRST walk for 4004 steps (8 resets) in 306 ms. (13 steps per ms) remains 26495/26496 properties
BEST_FIRST walk for 4003 steps (8 resets) in 290 ms. (13 steps per ms) remains 26495/26495 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26495/26495 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26495/26495 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26494/26495 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26493/26494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 301 ms. (13 steps per ms) remains 26493/26493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26493/26493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26493/26493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26493/26493 properties
BEST_FIRST walk for 4003 steps (8 resets) in 298 ms. (13 steps per ms) remains 26493/26493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26493/26493 properties
BEST_FIRST walk for 4003 steps (8 resets) in 295 ms. (13 steps per ms) remains 26493/26493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26493/26493 properties
BEST_FIRST walk for 4003 steps (8 resets) in 297 ms. (13 steps per ms) remains 26493/26493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 26493/26493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26493/26493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26493/26493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26493/26493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26493/26493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26493/26493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26492/26493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 26492/26492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26492/26492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26492/26492 properties
BEST_FIRST walk for 4003 steps (8 resets) in 295 ms. (13 steps per ms) remains 26492/26492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26491/26492 properties
BEST_FIRST walk for 4003 steps (8 resets) in 290 ms. (13 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4003 steps (8 resets) in 295 ms. (13 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4003 steps (8 resets) in 297 ms. (13 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26490/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26490/26490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26490/26490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 26490/26490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26490/26490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26490/26490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 26490/26490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 287 ms. (13 steps per ms) remains 26490/26490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26490/26490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 26490/26490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 305 ms. (13 steps per ms) remains 26490/26490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26490/26490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26490/26490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26490/26490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26490/26490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26489/26490 properties
BEST_FIRST walk for 4003 steps (8 resets) in 302 ms. (13 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4003 steps (8 resets) in 292 ms. (13 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 26489/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26488/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26488/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26486/26488 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26486/26486 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26486/26486 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 26486/26486 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26486/26486 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 26486/26486 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 26486/26486 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26486/26486 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 26485/26486 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26484/26485 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26484/26484 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26484/26484 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26483/26484 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 26483/26483 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26483/26483 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26483/26483 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26483/26483 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26482/26483 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26482/26482 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26482/26482 properties
BEST_FIRST walk for 4003 steps (8 resets) in 302 ms. (13 steps per ms) remains 26482/26482 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26482/26482 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26481/26482 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4003 steps (8 resets) in 301 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4003 steps (8 resets) in 293 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4003 steps (8 resets) in 295 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4003 steps (8 resets) in 299 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4003 steps (8 resets) in 295 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4003 steps (8 resets) in 297 ms. (13 steps per ms) remains 26480/26481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26480/26480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26480/26480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 26480/26480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26480/26480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 26480/26480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26480/26480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26479/26480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 26479/26479 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26479/26479 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26479/26479 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26479/26479 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26479/26479 properties
BEST_FIRST walk for 4003 steps (8 resets) in 297 ms. (13 steps per ms) remains 26479/26479 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26479/26479 properties
BEST_FIRST walk for 4003 steps (8 resets) in 297 ms. (13 steps per ms) remains 26479/26479 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26479/26479 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 26479/26479 properties
BEST_FIRST walk for 4004 steps (8 resets) in 289 ms. (13 steps per ms) remains 26479/26479 properties
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 26479/26479 properties
BEST_FIRST walk for 4003 steps (8 resets) in 296 ms. (13 steps per ms) remains 26479/26479 properties
BEST_FIRST walk for 4003 steps (8 resets) in 295 ms. (13 steps per ms) remains 26479/26479 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26478/26479 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 26478/26478 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26478/26478 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 26478/26478 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26478/26478 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 26478/26478 properties
BEST_FIRST walk for 4003 steps (8 resets) in 295 ms. (13 steps per ms) remains 26478/26478 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 26478/26478 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 26478/26478 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26478/26478 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26478/26478 properties
BEST_FIRST walk for 4004 steps (8 resets) in 306 ms. (13 steps per ms) remains 26477/26478 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26477/26477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26477/26477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26477/26477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26477/26477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26477/26477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26477/26477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26477/26477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 286 ms. (13 steps per ms) remains 26477/26477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 26477/26477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 26477/26477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26477/26477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26477/26477 properties
BEST_FIRST walk for 4003 steps (8 resets) in 293 ms. (13 steps per ms) remains 26477/26477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26476/26477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 26476/26476 properties
BEST_FIRST walk for 4003 steps (8 resets) in 295 ms. (13 steps per ms) remains 26476/26476 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 26476/26476 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26476/26476 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26476/26476 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26476/26476 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26476/26476 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 26476/26476 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26476/26476 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26476/26476 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26476/26476 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26475/26476 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26475/26475 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26475/26475 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26475/26475 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26475/26475 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26475/26475 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26475/26475 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26475/26475 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26475/26475 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 26475/26475 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26475/26475 properties
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 26474/26475 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26474/26474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26474/26474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26474/26474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 26474/26474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 26474/26474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26474/26474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26474/26474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26474/26474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 26474/26474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 312 ms. (12 steps per ms) remains 26474/26474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26474/26474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 26474/26474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26474/26474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26474/26474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26474/26474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26474/26474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26474/26474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26474/26474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26473/26474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4003 steps (8 resets) in 302 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4002 steps (8 resets) in 295 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 304 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 305 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4003 steps (8 resets) in 293 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4003 steps (8 resets) in 297 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4003 steps (8 resets) in 302 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 288 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 306 ms. (13 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26472/26473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 291 ms. (13 steps per ms) remains 26472/26472 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26472/26472 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26472/26472 properties
BEST_FIRST walk for 4003 steps (8 resets) in 300 ms. (13 steps per ms) remains 26472/26472 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26472/26472 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26472/26472 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26472/26472 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 26472/26472 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26472/26472 properties
BEST_FIRST walk for 4003 steps (8 resets) in 297 ms. (13 steps per ms) remains 26472/26472 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26472/26472 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 26471/26472 properties
BEST_FIRST walk for 4003 steps (8 resets) in 301 ms. (13 steps per ms) remains 26471/26471 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 26471/26471 properties
BEST_FIRST walk for 4003 steps (8 resets) in 298 ms. (13 steps per ms) remains 26471/26471 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26471/26471 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26471/26471 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26471/26471 properties
BEST_FIRST walk for 4003 steps (8 resets) in 290 ms. (13 steps per ms) remains 26471/26471 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26471/26471 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26471/26471 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26469/26471 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 290 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4003 steps (8 resets) in 295 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4003 steps (8 resets) in 292 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4003 steps (8 resets) in 297 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4003 steps (8 resets) in 298 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4003 steps (8 resets) in 298 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4003 steps (8 resets) in 299 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 304 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4003 steps (8 resets) in 293 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4003 steps (8 resets) in 297 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4003 steps (8 resets) in 299 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4003 steps (8 resets) in 300 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 303 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26468/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 26468/26468 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26468/26468 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26468/26468 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26468/26468 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26468/26468 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26468/26468 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26468/26468 properties
BEST_FIRST walk for 4003 steps (8 resets) in 298 ms. (13 steps per ms) remains 26468/26468 properties
BEST_FIRST walk for 4003 steps (8 resets) in 298 ms. (13 steps per ms) remains 26468/26468 properties
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 26468/26468 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26468/26468 properties
BEST_FIRST walk for 4003 steps (8 resets) in 302 ms. (13 steps per ms) remains 26468/26468 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26467/26468 properties
BEST_FIRST walk for 4003 steps (8 resets) in 298 ms. (13 steps per ms) remains 26467/26467 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26467/26467 properties
BEST_FIRST walk for 4003 steps (8 resets) in 300 ms. (13 steps per ms) remains 26467/26467 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26467/26467 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26467/26467 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26466/26467 properties
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 26466/26466 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26466/26466 properties
BEST_FIRST walk for 4002 steps (8 resets) in 297 ms. (13 steps per ms) remains 26466/26466 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 26466/26466 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26466/26466 properties
BEST_FIRST walk for 4003 steps (8 resets) in 296 ms. (13 steps per ms) remains 26465/26466 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26465/26465 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26465/26465 properties
BEST_FIRST walk for 4003 steps (8 resets) in 300 ms. (13 steps per ms) remains 26465/26465 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26465/26465 properties
BEST_FIRST walk for 4004 steps (8 resets) in 295 ms. (13 steps per ms) remains 26465/26465 properties
BEST_FIRST walk for 4003 steps (8 resets) in 299 ms. (13 steps per ms) remains 26465/26465 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26465/26465 properties
BEST_FIRST walk for 4004 steps (8 resets) in 292 ms. (13 steps per ms) remains 26465/26465 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26464/26465 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26464/26464 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 26464/26464 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26463/26464 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 300 ms. (13 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 294 ms. (13 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4003 steps (8 resets) in 299 ms. (13 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4003 steps (8 resets) in 294 ms. (13 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4003 steps (8 resets) in 293 ms. (13 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 297 ms. (13 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4003 steps (8 resets) in 299 ms. (13 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 302 ms. (13 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 293 ms. (13 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 305 ms. (13 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 296 ms. (13 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 301 ms. (13 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 298 ms. (13 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 308 ms. (12 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 306 ms. (13 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 305 ms. (13 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 308 ms. (12 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 319 ms. (12 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 318 ms. (12 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 324 ms. (12 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 323 ms. (12 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 313 ms. (12 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 316 ms. (12 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 325 ms. (12 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 313 ms. (12 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4003 steps (8 resets) in 323 ms. (12 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 322 ms. (12 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 321 ms. (12 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4003 steps (8 resets) in 313 ms. (12 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 310 ms. (12 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 306 ms. (13 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 310 ms. (12 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4003 steps (8 resets) in 306 ms. (13 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 307 ms. (13 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 305 ms. (13 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 309 ms. (12 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 309 ms. (12 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 335 ms. (11 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 319 ms. (12 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 314 ms. (12 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 309 ms. (12 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 306 ms. (13 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 309 ms. (12 steps per ms) remains 26462/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 313 ms. (12 steps per ms) remains 26462/26462 properties
BEST_FIRST walk for 4003 steps (8 resets) in 307 ms. (12 steps per ms) remains 26462/26462 properties
BEST_FIRST walk for 4004 steps (8 resets) in 309 ms. (12 steps per ms) remains 26462/26462 properties
BEST_FIRST walk for 4004 steps (8 resets) in 310 ms. (12 steps per ms) remains 26462/26462 properties
BEST_FIRST walk for 4003 steps (8 resets) in 310 ms. (12 steps per ms) remains 26462/26462 properties
BEST_FIRST walk for 4004 steps (8 resets) in 313 ms. (12 steps per ms) remains 26462/26462 properties
BEST_FIRST walk for 4004 steps (8 resets) in 299 ms. (13 steps per ms) remains 26461/26462 properties
BEST_FIRST walk for 4004 steps (8 resets) in 306 ms. (13 steps per ms) remains 26461/26461 properties
BEST_FIRST walk for 4004 steps (8 resets) in 313 ms. (12 steps per ms) remains 26461/26461 properties
BEST_FIRST walk for 4004 steps (8 resets) in 318 ms. (12 steps per ms) remains 26461/26461 properties
BEST_FIRST walk for 4004 steps (8 resets) in 314 ms. (12 steps per ms) remains 26461/26461 properties
BEST_FIRST walk for 4004 steps (8 resets) in 315 ms. (12 steps per ms) remains 26461/26461 properties
BEST_FIRST walk for 4004 steps (8 resets) in 308 ms. (12 steps per ms) remains 26461/26461 properties
BEST_FIRST walk for 4004 steps (8 resets) in 311 ms. (12 steps per ms) remains 26461/26461 properties
BEST_FIRST walk for 4003 steps (8 resets) in 312 ms. (12 steps per ms) remains 26461/26461 properties
BEST_FIRST walk for 4003 steps (8 resets) in 312 ms. (12 steps per ms) remains 26461/26461 properties
BEST_FIRST walk for 4004 steps (8 resets) in 317 ms. (12 steps per ms) remains 26461/26461 properties
BEST_FIRST walk for 4004 steps (8 resets) in 313 ms. (12 steps per ms) remains 26461/26461 properties
BEST_FIRST walk for 4003 steps (8 resets) in 311 ms. (12 steps per ms) remains 26461/26461 properties
BEST_FIRST walk for 4004 steps (8 resets) in 315 ms. (12 steps per ms) remains 26461/26461 properties
BEST_FIRST walk for 4004 steps (8 resets) in 313 ms. (12 steps per ms) remains 26461/26461 properties
BEST_FIRST walk for 4004 steps (8 resets) in 309 ms. (12 steps per ms) remains 26461/26461 properties
BEST_FIRST walk for 4004 steps (8 resets) in 315 ms. (12 steps per ms) remains 26460/26461 properties
BEST_FIRST walk for 4004 steps (8 resets) in 310 ms. (12 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 308 ms. (12 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 313 ms. (12 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4003 steps (8 resets) in 313 ms. (12 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 307 ms. (13 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 315 ms. (12 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 313 ms. (12 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4003 steps (8 resets) in 308 ms. (12 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 312 ms. (12 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 314 ms. (12 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 309 ms. (12 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 311 ms. (12 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 314 ms. (12 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 306 ms. (13 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 306 ms. (13 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4003 steps (8 resets) in 307 ms. (12 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 311 ms. (12 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 314 ms. (12 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 321 ms. (12 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 313 ms. (12 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 310 ms. (12 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4003 steps (8 resets) in 321 ms. (12 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4003 steps (8 resets) in 316 ms. (12 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 317 ms. (12 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 320 ms. (12 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4003 steps (8 resets) in 322 ms. (12 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 326 ms. (12 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 325 ms. (12 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 330 ms. (12 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 334 ms. (11 steps per ms) remains 26459/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 328 ms. (12 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 321 ms. (12 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 327 ms. (12 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4003 steps (8 resets) in 327 ms. (12 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 332 ms. (12 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 327 ms. (12 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 324 ms. (12 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 328 ms. (12 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 324 ms. (12 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4003 steps (8 resets) in 323 ms. (12 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 316 ms. (12 steps per ms) remains 26458/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 321 ms. (12 steps per ms) remains 26458/26458 properties
BEST_FIRST walk for 4004 steps (8 resets) in 321 ms. (12 steps per ms) remains 26458/26458 properties
BEST_FIRST walk for 4004 steps (8 resets) in 322 ms. (12 steps per ms) remains 26458/26458 properties
BEST_FIRST walk for 4004 steps (8 resets) in 330 ms. (12 steps per ms) remains 26458/26458 properties
BEST_FIRST walk for 4004 steps (8 resets) in 331 ms. (12 steps per ms) remains 26458/26458 properties
BEST_FIRST walk for 4004 steps (8 resets) in 322 ms. (12 steps per ms) remains 26458/26458 properties
BEST_FIRST walk for 4004 steps (8 resets) in 334 ms. (11 steps per ms) remains 26458/26458 properties
BEST_FIRST walk for 4004 steps (8 resets) in 329 ms. (12 steps per ms) remains 26458/26458 properties
BEST_FIRST walk for 4004 steps (8 resets) in 337 ms. (11 steps per ms) remains 26458/26458 properties
BEST_FIRST walk for 4004 steps (8 resets) in 325 ms. (12 steps per ms) remains 26458/26458 properties
BEST_FIRST walk for 4004 steps (8 resets) in 329 ms. (12 steps per ms) remains 26458/26458 properties
BEST_FIRST walk for 4004 steps (8 resets) in 328 ms. (12 steps per ms) remains 26457/26458 properties
BEST_FIRST walk for 4004 steps (8 resets) in 339 ms. (11 steps per ms) remains 26457/26457 properties
BEST_FIRST walk for 4003 steps (8 resets) in 331 ms. (12 steps per ms) remains 26457/26457 properties
BEST_FIRST walk for 4004 steps (8 resets) in 339 ms. (11 steps per ms) remains 26457/26457 properties
BEST_FIRST walk for 4003 steps (8 resets) in 339 ms. (11 steps per ms) remains 26457/26457 properties
BEST_FIRST walk for 4004 steps (8 resets) in 328 ms. (12 steps per ms) remains 26457/26457 properties
BEST_FIRST walk for 4004 steps (8 resets) in 329 ms. (12 steps per ms) remains 26457/26457 properties
BEST_FIRST walk for 4004 steps (8 resets) in 326 ms. (12 steps per ms) remains 26457/26457 properties
BEST_FIRST walk for 4004 steps (8 resets) in 334 ms. (11 steps per ms) remains 26456/26457 properties
BEST_FIRST walk for 4004 steps (8 resets) in 329 ms. (12 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4002 steps (8 resets) in 334 ms. (11 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 323 ms. (12 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 330 ms. (12 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 333 ms. (11 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 337 ms. (11 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 328 ms. (12 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4003 steps (8 resets) in 341 ms. (11 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 335 ms. (11 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 325 ms. (12 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4003 steps (8 resets) in 336 ms. (11 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4003 steps (8 resets) in 327 ms. (12 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 334 ms. (11 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 338 ms. (11 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 331 ms. (12 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 336 ms. (11 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4003 steps (8 resets) in 333 ms. (11 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4003 steps (8 resets) in 322 ms. (12 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 330 ms. (12 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 324 ms. (12 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 337 ms. (11 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4003 steps (8 resets) in 337 ms. (11 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 322 ms. (12 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 329 ms. (12 steps per ms) remains 26455/26456 properties
BEST_FIRST walk for 4003 steps (8 resets) in 330 ms. (12 steps per ms) remains 26454/26455 properties
BEST_FIRST walk for 4004 steps (8 resets) in 331 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 329 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 322 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 331 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 327 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4003 steps (8 resets) in 329 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4003 steps (8 resets) in 320 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 333 ms. (11 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 328 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 332 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4003 steps (8 resets) in 329 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 321 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 328 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 336 ms. (11 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4003 steps (8 resets) in 321 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 344 ms. (11 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4003 steps (8 resets) in 324 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 341 ms. (11 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 328 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 328 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 330 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4003 steps (8 resets) in 328 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 333 ms. (11 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 332 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 334 ms. (11 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 335 ms. (11 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 329 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 335 ms. (11 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 338 ms. (11 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4003 steps (8 resets) in 326 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 339 ms. (11 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 326 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 342 ms. (11 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 333 ms. (11 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4003 steps (8 resets) in 335 ms. (11 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 337 ms. (11 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 342 ms. (11 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 336 ms. (11 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 335 ms. (11 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 334 ms. (11 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 334 ms. (11 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 339 ms. (11 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 330 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4003 steps (8 resets) in 330 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 326 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 322 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 326 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4003 steps (8 resets) in 329 ms. (12 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4003 steps (8 resets) in 330 ms. (12 steps per ms) remains 26454/26454 properties
Interrupted probabilistic random walk after 545558 steps, run timeout after 291001 ms. (steps per millisecond=1 ) properties seen :94 out of 26454
Probabilistic random walk after 545558 steps, saw 99554 distinct states, run finished after 291002 ms. (steps per millisecond=1 ) properties seen :94
[2025-06-06 09:25:34] [INFO ] Invariant cache hit.
[2025-06-06 09:25:35] [INFO ] State equation strengthened by 27030 read => feed constraints.
At refinement iteration 0 (INCLUDED_ONLY) 0/961 variables, 961/961 constraints. Problems are: Problem set: 0 solved, 26360 unsolved
SMT process timed out in 178382ms, After SMT, problems are : Problem set: 0 solved, 26360 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 961 out of 961 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 103 ms. Remains 961 /961 variables (removed 0) and now considering 27931/27931 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 103 ms. Remains : 961/961 places, 27931/27931 transitions.
RANDOM walk for 719980 steps (0 resets) in 120010 ms. (5 steps per ms) remains 26333/26360 properties
BEST_FIRST walk for 4004 steps (8 resets) in 484 ms. (8 steps per ms) remains 26333/26333 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 26333/26333 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 26332/26333 properties
BEST_FIRST walk for 4004 steps (8 resets) in 477 ms. (8 steps per ms) remains 26332/26332 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 26332/26332 properties
BEST_FIRST walk for 4004 steps (8 resets) in 408 ms. (9 steps per ms) remains 26332/26332 properties
BEST_FIRST walk for 4004 steps (8 resets) in 496 ms. (8 steps per ms) remains 26332/26332 properties
BEST_FIRST walk for 4004 steps (8 resets) in 513 ms. (7 steps per ms) remains 26332/26332 properties
BEST_FIRST walk for 4004 steps (8 resets) in 456 ms. (8 steps per ms) remains 26332/26332 properties
BEST_FIRST walk for 4003 steps (8 resets) in 453 ms. (8 steps per ms) remains 26332/26332 properties
BEST_FIRST walk for 4004 steps (8 resets) in 470 ms. (8 steps per ms) remains 26332/26332 properties
BEST_FIRST walk for 4004 steps (8 resets) in 441 ms. (9 steps per ms) remains 26332/26332 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 26332/26332 properties
BEST_FIRST walk for 4003 steps (8 resets) in 442 ms. (9 steps per ms) remains 26332/26332 properties
BEST_FIRST walk for 4004 steps (8 resets) in 491 ms. (8 steps per ms) remains 26332/26332 properties
BEST_FIRST walk for 4003 steps (8 resets) in 454 ms. (8 steps per ms) remains 26331/26332 properties
BEST_FIRST walk for 4004 steps (8 resets) in 471 ms. (8 steps per ms) remains 26331/26331 properties
BEST_FIRST walk for 4004 steps (8 resets) in 502 ms. (7 steps per ms) remains 26331/26331 properties
BEST_FIRST walk for 4004 steps (8 resets) in 485 ms. (8 steps per ms) remains 26331/26331 properties
BEST_FIRST walk for 4003 steps (8 resets) in 569 ms. (7 steps per ms) remains 26331/26331 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 26331/26331 properties
BEST_FIRST walk for 4003 steps (8 resets) in 480 ms. (8 steps per ms) remains 26331/26331 properties
BEST_FIRST walk for 4004 steps (8 resets) in 505 ms. (7 steps per ms) remains 26330/26331 properties
BEST_FIRST walk for 4003 steps (8 resets) in 487 ms. (8 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 480 ms. (8 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 444 ms. (8 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 477 ms. (8 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 467 ms. (8 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 509 ms. (7 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 496 ms. (8 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 461 ms. (8 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 418 ms. (9 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 404 ms. (9 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4002 steps (8 resets) in 456 ms. (8 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 422 ms. (9 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4003 steps (8 resets) in 452 ms. (8 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4003 steps (8 resets) in 438 ms. (9 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4002 steps (8 resets) in 507 ms. (7 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4001 steps (8 resets) in 399 ms. (10 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 556 ms. (7 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 511 ms. (7 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 420 ms. (9 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 472 ms. (8 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4003 steps (8 resets) in 437 ms. (9 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 550 ms. (7 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 461 ms. (8 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4003 steps (8 resets) in 536 ms. (7 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4003 steps (8 resets) in 541 ms. (7 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 540 ms. (7 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 444 ms. (8 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 542 ms. (7 steps per ms) remains 26330/26330 properties
BEST_FIRST walk for 4004 steps (8 resets) in 470 ms. (8 steps per ms) remains 26329/26330 properties
BEST_FIRST walk for 4003 steps (8 resets) in 527 ms. (7 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 536 ms. (7 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 434 ms. (9 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 557 ms. (7 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4003 steps (8 resets) in 537 ms. (7 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 478 ms. (8 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 432 ms. (9 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 494 ms. (8 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 452 ms. (8 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 510 ms. (7 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 515 ms. (7 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 489 ms. (8 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 478 ms. (8 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4003 steps (8 resets) in 544 ms. (7 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4003 steps (8 resets) in 551 ms. (7 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 445 ms. (8 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 476 ms. (8 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 534 ms. (7 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 559 ms. (7 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 564 ms. (7 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 540 ms. (7 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 499 ms. (8 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 496 ms. (8 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4003 steps (8 resets) in 496 ms. (8 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 548 ms. (7 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 512 ms. (7 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 489 ms. (8 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 498 ms. (8 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 484 ms. (8 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 488 ms. (8 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 477 ms. (8 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4003 steps (8 resets) in 481 ms. (8 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 550 ms. (7 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 499 ms. (8 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4002 steps (8 resets) in 435 ms. (9 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 499 ms. (8 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 26329/26329 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 26329/26329 properties
Interrupted probabilistic random walk after 205491 steps, run timeout after 132002 ms. (steps per millisecond=1 ) properties seen :0 out of 26329
Probabilistic random walk after 205491 steps, saw 42484 distinct states, run finished after 132004 ms. (steps per millisecond=1 ) properties seen :0
[2025-06-06 09:31:30] [INFO ] Invariant cache hit.
[2025-06-06 09:31:30] [INFO ] State equation strengthened by 27030 read => feed constraints.
----------------------------------------------------------------------
GreatSPN-meddly tool, MCC 2023
----------------------------------------------------------------------

Running TokenRing-PT-030

IS_COLORED=
IS_NUPN=1

LOADING model.pnml ...
MODEL CLASS: P/T NET WITH NUPN EXTENSION
PLACES: 961
TRANSITIONS: 27931
CONSTANTS: 0
TEMPLATE VARS: 0
ARCS: 111724
NUPN UNITS: 32
LOADING TIME: 85.618

SAVING AS /home/mcc/execution/model.(net/def) ...
exportGspn useExt=true
SAVING TIME: 0.424
SAVING NAME MAP FILE /home/mcc/execution/model.id2name ...
SAVING NUPN UNITS AS FILE /home/mcc/execution/model.nu ...
TOTAL TIME: 87.152
OK.
----------------------------------------------------------------------
GreatSPN/Meddly.
Copyright (C) 1987-2022, University of Torino, Italy.
website: https://github.com/greatspn/SOURCES

Based on MEDDLY version 0.16.0
Copyright (C) 2009, Iowa State University Research Foundation, Inc.
website: http://meddly.sourceforge.net

Process ID: 647
MODEL NAME: /home/mcc/execution/model
961 places, 27931 transitions.

Creating all event NSFs..
Creating all event NSFs..
Creating all event NSFs..
Creating all event NSFs..
Split: SplitSubtract
Start RS construction.
Split: SplitSubtract
Start RS construction.
Split: SplitSubtract
Start RS construction.
Building monolithic NSF...

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202405141337.jar
+ VERSION=202405141337
+ echo 'Running Version 202405141337'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination Liveness -timeout 180 -rebuildPNML

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="TokenRing-PT-030"
export BK_EXAMINATION="Liveness"
export BK_TOOL="gold2024"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5832"
echo " Executing tool gold2024"
echo " Input is TokenRing-PT-030, examination is Liveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r252-tall-174915605600229"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-PT-030.tgz
mv TokenRing-PT-030 execution
cd execution
if [ "Liveness" = "ReachabilityDeadlock" ] || [ "Liveness" = "UpperBounds" ] || [ "Liveness" = "QuasiLiveness" ] || [ "Liveness" = "StableMarking" ] || [ "Liveness" = "Liveness" ] || [ "Liveness" = "OneSafe" ] || [ "Liveness" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "Liveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "Liveness" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "Liveness.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' Liveness.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "Liveness" = "ReachabilityDeadlock" ] || [ "Liveness" = "QuasiLiveness" ] || [ "Liveness" = "StableMarking" ] || [ "Liveness" = "Liveness" ] || [ "Liveness" = "OneSafe" ] ; then
echo "FORMULA_NAME Liveness"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;