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 |
| 15695.980 | 1800000.00 | 3067414.00 | 5491.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-174915605600227.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 QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r252-tall-174915605600227
=====================================================================
--------------------
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 QuasiLiveness
=== Now, execution of the tool begins
BK_START 1749200799369
Invoking MCC driver with
BK_TOOL=gold2024
BK_EXAMINATION=QuasiLiveness
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:06:40] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -timeout, 180, -rebuildPNML]
[2025-06-06 09:06:40] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-06 09:06:41] [INFO ] Load time of PNML (sax parser for PT used): 867 ms
[2025-06-06 09:06:41] [INFO ] Transformed 961 places.
[2025-06-06 09:06:41] [INFO ] Transformed 27931 transitions.
[2025-06-06 09:06:41] [INFO ] Found NUPN structural information;
[2025-06-06 09:06:41] [INFO ] Parsed PT model containing 961 places and 27931 transitions and 111724 arcs in 1129 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 961/961 places, 27931/27931 transitions.
Applied a total of 0 rules in 228 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:06:42] [INFO ] Computed 31 invariants in 141 ms
[2025-06-06 09:06:44] [INFO ] Implicit Places using invariants in 2430 ms returned []
Implicit Place search using SMT only with invariants took 2460 ms to find 0 implicit places.
Running 27901 sub problems to find dead transitions.
[2025-06-06 09:06:45] [INFO ] Invariant cache hit.
[2025-06-06 09:06:45] [INFO ] State equation strengthened by 27030 read => feed constraints.
Error getting values : (error "ParserException while parsing response: (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 170042ms, After SMT, problems are : Problem set: 0 solved, 27901 unsolved
Search for dead transitions found 0 dead transitions in 170360ms
Finished structural reductions in LIVENESS mode , in 1 iterations and 173164 ms. Remains : 961/961 places, 27931/27931 transitions.
Initial state reduction rules removed 30 formulas.
RANDOM walk for 40000 steps (8 resets) in 6670 ms. (5 steps per ms) remains 26916/27901 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 39 ms. (3 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 29 ms. (4 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 19 ms. (6 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 21 ms. (5 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 18 ms. (6 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 19 ms. (6 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 20 ms. (5 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 18 ms. (6 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 15 ms. (7 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 17 ms. (6 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 24 ms. (4 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 15 ms. (7 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 18 ms. (6 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 18 ms. (6 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 22 ms. (5 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 17 ms. (6 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 15 ms. (7 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 23 ms. (5 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 17 ms. (6 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 17 ms. (6 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 17 ms. (6 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 14 ms. (8 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 17 ms. (6 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 18 ms. (6 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 15 ms. (7 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 16 ms. (7 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 17 ms. (6 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 13 ms. (8 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 17 ms. (6 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 26916/26916 properties
BEST_FIRST walk for 124 steps (0 resets) in 12 ms. (9 steps per ms) remains 26916/26916 properties
Interrupted probabilistic random walk after 3338 steps, run timeout after 6002 ms. (steps per millisecond=0 ) properties seen :283 out of 26916
Probabilistic random walk after 3338 steps, saw 1931 distinct states, run finished after 6011 ms. (steps per millisecond=0 ) properties seen :283
[2025-06-06 09:09:44] [INFO ] Invariant cache hit.
[2025-06-06 09:09:44] [INFO ] State equation strengthened by 27030 read => feed constraints.
SMT process timed out in 141445ms, After SMT, problems are : Problem set: 0 solved, 26633 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 176 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 182 ms. Remains : 961/961 places, 27931/27931 transitions.
RANDOM walk for 719992 steps (0 resets) in 120007 ms. (5 steps per ms) remains 26608/26633 properties
BEST_FIRST walk for 4004 steps (8 resets) in 363 ms. (11 steps per ms) remains 26592/26608 properties
BEST_FIRST walk for 4004 steps (8 resets) in 359 ms. (11 steps per ms) remains 26581/26592 properties
BEST_FIRST walk for 4004 steps (8 resets) in 337 ms. (11 steps per ms) remains 26577/26581 properties
BEST_FIRST walk for 4004 steps (8 resets) in 326 ms. (12 steps per ms) remains 26572/26577 properties
BEST_FIRST walk for 4004 steps (8 resets) in 319 ms. (12 steps per ms) remains 26568/26572 properties
BEST_FIRST walk for 4003 steps (8 resets) in 322 ms. (12 steps per ms) remains 26564/26568 properties
BEST_FIRST walk for 4004 steps (8 resets) in 331 ms. (12 steps per ms) remains 26559/26564 properties
BEST_FIRST walk for 4004 steps (8 resets) in 329 ms. (12 steps per ms) remains 26556/26559 properties
BEST_FIRST walk for 4004 steps (8 resets) in 318 ms. (12 steps per ms) remains 26555/26556 properties
BEST_FIRST walk for 4004 steps (8 resets) in 324 ms. (12 steps per ms) remains 26553/26555 properties
BEST_FIRST walk for 4004 steps (8 resets) in 324 ms. (12 steps per ms) remains 26552/26553 properties
BEST_FIRST walk for 4004 steps (8 resets) in 322 ms. (12 steps per ms) remains 26548/26552 properties
BEST_FIRST walk for 4004 steps (8 resets) in 377 ms. (10 steps per ms) remains 26545/26548 properties
BEST_FIRST walk for 4004 steps (8 resets) in 404 ms. (9 steps per ms) remains 26542/26545 properties
BEST_FIRST walk for 4003 steps (8 resets) in 382 ms. (10 steps per ms) remains 26541/26542 properties
BEST_FIRST walk for 4004 steps (8 resets) in 524 ms. (7 steps per ms) remains 26540/26541 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 26538/26540 properties
BEST_FIRST walk for 4004 steps (8 resets) in 432 ms. (9 steps per ms) remains 26536/26538 properties
BEST_FIRST walk for 4004 steps (8 resets) in 426 ms. (9 steps per ms) remains 26536/26536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 26535/26536 properties
BEST_FIRST walk for 4004 steps (8 resets) in 420 ms. (9 steps per ms) remains 26533/26535 properties
BEST_FIRST walk for 4004 steps (8 resets) in 424 ms. (9 steps per ms) remains 26533/26533 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 26533/26533 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 26533/26533 properties
BEST_FIRST walk for 4003 steps (8 resets) in 408 ms. (9 steps per ms) remains 26529/26533 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 26528/26529 properties
BEST_FIRST walk for 4003 steps (8 resets) in 418 ms. (9 steps per ms) remains 26527/26528 properties
BEST_FIRST walk for 4004 steps (8 resets) in 420 ms. (9 steps per ms) remains 26527/26527 properties
BEST_FIRST walk for 4004 steps (8 resets) in 422 ms. (9 steps per ms) remains 26527/26527 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 26522/26527 properties
BEST_FIRST walk for 4004 steps (8 resets) in 455 ms. (8 steps per ms) remains 26518/26522 properties
BEST_FIRST walk for 4003 steps (8 resets) in 436 ms. (9 steps per ms) remains 26518/26518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 403 ms. (9 steps per ms) remains 26518/26518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 403 ms. (9 steps per ms) remains 26515/26518 properties
BEST_FIRST walk for 4004 steps (8 resets) in 465 ms. (8 steps per ms) remains 26514/26515 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 26513/26514 properties
BEST_FIRST walk for 4004 steps (8 resets) in 475 ms. (8 steps per ms) remains 26513/26513 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 26511/26513 properties
BEST_FIRST walk for 4004 steps (8 resets) in 576 ms. (6 steps per ms) remains 26510/26511 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 26510/26510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 444 ms. (8 steps per ms) remains 26509/26510 properties
BEST_FIRST walk for 4004 steps (8 resets) in 422 ms. (9 steps per ms) remains 26508/26509 properties
BEST_FIRST walk for 4004 steps (8 resets) in 461 ms. (8 steps per ms) remains 26508/26508 properties
BEST_FIRST walk for 4004 steps (8 resets) in 429 ms. (9 steps per ms) remains 26507/26508 properties
BEST_FIRST walk for 4004 steps (8 resets) in 447 ms. (8 steps per ms) remains 26506/26507 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 26506/26506 properties
BEST_FIRST walk for 4004 steps (8 resets) in 484 ms. (8 steps per ms) remains 26506/26506 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 26506/26506 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 26504/26506 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 26504/26504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 438 ms. (9 steps per ms) remains 26504/26504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 26504/26504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 26504/26504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 420 ms. (9 steps per ms) remains 26504/26504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 26504/26504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 26504/26504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 452 ms. (8 steps per ms) remains 26504/26504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 26504/26504 properties
BEST_FIRST walk for 4003 steps (8 resets) in 495 ms. (8 steps per ms) remains 26504/26504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 461 ms. (8 steps per ms) remains 26504/26504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 403 ms. (9 steps per ms) remains 26504/26504 properties
BEST_FIRST walk for 4003 steps (8 resets) in 411 ms. (9 steps per ms) remains 26504/26504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 469 ms. (8 steps per ms) remains 26503/26504 properties
BEST_FIRST walk for 4004 steps (8 resets) in 440 ms. (9 steps per ms) remains 26503/26503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 26503/26503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 26502/26503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 439 ms. (9 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 430 ms. (9 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 26502/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 26501/26502 properties
BEST_FIRST walk for 4004 steps (8 resets) in 403 ms. (9 steps per ms) remains 26501/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 408 ms. (9 steps per ms) remains 26501/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 26501/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 26501/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 26500/26501 properties
BEST_FIRST walk for 4004 steps (8 resets) in 396 ms. (10 steps per ms) remains 26500/26500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 437 ms. (9 steps per ms) remains 26499/26500 properties
BEST_FIRST walk for 4004 steps (8 resets) in 402 ms. (9 steps per ms) remains 26498/26499 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 26498/26498 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 26497/26498 properties
BEST_FIRST walk for 4003 steps (8 resets) in 392 ms. (10 steps per ms) remains 26497/26497 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 26496/26497 properties
BEST_FIRST walk for 4003 steps (8 resets) in 411 ms. (9 steps per ms) remains 26495/26496 properties
BEST_FIRST walk for 4004 steps (8 resets) in 435 ms. (9 steps per ms) remains 26495/26495 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 26494/26495 properties
BEST_FIRST walk for 4003 steps (8 resets) in 437 ms. (9 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 417 ms. (9 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 411 ms. (9 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4003 steps (8 resets) in 410 ms. (9 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 419 ms. (9 steps per ms) remains 26494/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 26493/26494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 396 ms. (10 steps per ms) remains 26493/26493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 26493/26493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 441 ms. (9 steps per ms) remains 26493/26493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 440 ms. (9 steps per ms) remains 26492/26493 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 26492/26492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 26492/26492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 26492/26492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 393 ms. (10 steps per ms) remains 26492/26492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 448 ms. (8 steps per ms) remains 26492/26492 properties
BEST_FIRST walk for 4004 steps (8 resets) in 441 ms. (9 steps per ms) remains 26491/26492 properties
BEST_FIRST walk for 4003 steps (8 resets) in 427 ms. (9 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 403 ms. (9 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 432 ms. (9 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 26491/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 447 ms. (8 steps per ms) remains 26490/26491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 26490/26490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 456 ms. (8 steps per ms) remains 26490/26490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 26490/26490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 442 ms. (9 steps per ms) remains 26490/26490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 408 ms. (9 steps per ms) remains 26490/26490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 392 ms. (10 steps per ms) remains 26489/26490 properties
BEST_FIRST walk for 4004 steps (8 resets) in 450 ms. (8 steps per ms) remains 26488/26489 properties
BEST_FIRST walk for 4004 steps (8 resets) in 450 ms. (8 steps per ms) remains 26487/26488 properties
BEST_FIRST walk for 4003 steps (8 resets) in 421 ms. (9 steps per ms) remains 26486/26487 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 26485/26486 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 26485/26485 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 26484/26485 properties
BEST_FIRST walk for 4004 steps (8 resets) in 429 ms. (9 steps per ms) remains 26484/26484 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 26484/26484 properties
BEST_FIRST walk for 4003 steps (8 resets) in 394 ms. (10 steps per ms) remains 26484/26484 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 26484/26484 properties
BEST_FIRST walk for 4004 steps (8 resets) in 418 ms. (9 steps per ms) remains 26483/26484 properties
BEST_FIRST walk for 4004 steps (8 resets) in 430 ms. (9 steps per ms) remains 26481/26483 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 394 ms. (10 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 476 ms. (8 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 26481/26481 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 26478/26481 properties
BEST_FIRST walk for 4003 steps (8 resets) in 388 ms. (10 steps per ms) remains 26478/26478 properties
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 26478/26478 properties
BEST_FIRST walk for 4004 steps (8 resets) in 396 ms. (10 steps per ms) remains 26478/26478 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 26477/26478 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 26477/26477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 419 ms. (9 steps per ms) remains 26477/26477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 440 ms. (9 steps per ms) remains 26477/26477 properties
BEST_FIRST walk for 4003 steps (8 resets) in 410 ms. (9 steps per ms) remains 26477/26477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 426 ms. (9 steps per ms) remains 26476/26477 properties
BEST_FIRST walk for 4004 steps (8 resets) in 434 ms. (9 steps per ms) remains 26476/26476 properties
BEST_FIRST walk for 4004 steps (8 resets) in 435 ms. (9 steps per ms) remains 26476/26476 properties
BEST_FIRST walk for 4003 steps (8 resets) in 420 ms. (9 steps per ms) remains 26476/26476 properties
BEST_FIRST walk for 4004 steps (8 resets) in 461 ms. (8 steps per ms) remains 26475/26476 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 26475/26475 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 26475/26475 properties
BEST_FIRST walk for 4004 steps (8 resets) in 442 ms. (9 steps per ms) remains 26475/26475 properties
BEST_FIRST walk for 4004 steps (8 resets) in 426 ms. (9 steps per ms) remains 26475/26475 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 26474/26475 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 26474/26474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 467 ms. (8 steps per ms) remains 26474/26474 properties
BEST_FIRST walk for 4003 steps (8 resets) in 417 ms. (9 steps per ms) remains 26473/26474 properties
BEST_FIRST walk for 4003 steps (8 resets) in 424 ms. (9 steps per ms) remains 26473/26473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 26472/26473 properties
BEST_FIRST walk for 4004 steps (8 resets) in 444 ms. (8 steps per ms) remains 26472/26472 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 26471/26472 properties
BEST_FIRST walk for 4003 steps (8 resets) in 411 ms. (9 steps per ms) remains 26471/26471 properties
BEST_FIRST walk for 4004 steps (8 resets) in 437 ms. (9 steps per ms) remains 26470/26471 properties
BEST_FIRST walk for 4003 steps (8 resets) in 486 ms. (8 steps per ms) remains 26470/26470 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 26470/26470 properties
BEST_FIRST walk for 4004 steps (8 resets) in 442 ms. (9 steps per ms) remains 26469/26470 properties
BEST_FIRST walk for 4004 steps (8 resets) in 447 ms. (8 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 449 ms. (8 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 439 ms. (9 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4003 steps (8 resets) in 464 ms. (8 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 26469/26469 properties
BEST_FIRST walk for 4004 steps (8 resets) in 434 ms. (9 steps per ms) remains 26468/26469 properties
BEST_FIRST walk for 4003 steps (8 resets) in 419 ms. (9 steps per ms) remains 26468/26468 properties
BEST_FIRST walk for 4004 steps (8 resets) in 436 ms. (9 steps per ms) remains 26468/26468 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 26468/26468 properties
BEST_FIRST walk for 4003 steps (8 resets) in 425 ms. (9 steps per ms) remains 26468/26468 properties
BEST_FIRST walk for 4003 steps (8 resets) in 435 ms. (9 steps per ms) remains 26468/26468 properties
BEST_FIRST walk for 4003 steps (8 resets) in 394 ms. (10 steps per ms) remains 26468/26468 properties
BEST_FIRST walk for 4004 steps (8 resets) in 397 ms. (10 steps per ms) remains 26467/26468 properties
BEST_FIRST walk for 4003 steps (8 resets) in 433 ms. (9 steps per ms) remains 26467/26467 properties
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 26467/26467 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 26467/26467 properties
BEST_FIRST walk for 4004 steps (8 resets) in 429 ms. (9 steps per ms) remains 26467/26467 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 26467/26467 properties
BEST_FIRST walk for 4004 steps (8 resets) in 455 ms. (8 steps per ms) remains 26467/26467 properties
BEST_FIRST walk for 4003 steps (8 resets) in 436 ms. (9 steps per ms) remains 26467/26467 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 26467/26467 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 26467/26467 properties
BEST_FIRST walk for 4003 steps (8 resets) in 475 ms. (8 steps per ms) remains 26467/26467 properties
BEST_FIRST walk for 4003 steps (8 resets) in 433 ms. (9 steps per ms) remains 26466/26467 properties
BEST_FIRST walk for 4004 steps (8 resets) in 431 ms. (9 steps per ms) remains 26466/26466 properties
BEST_FIRST walk for 4004 steps (8 resets) in 420 ms. (9 steps per ms) remains 26466/26466 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 26466/26466 properties
BEST_FIRST walk for 4004 steps (8 resets) in 454 ms. (8 steps per ms) remains 26466/26466 properties
BEST_FIRST walk for 4004 steps (8 resets) in 448 ms. (8 steps per ms) remains 26466/26466 properties
BEST_FIRST walk for 4002 steps (8 resets) in 405 ms. (9 steps per ms) remains 26465/26466 properties
BEST_FIRST walk for 4003 steps (8 resets) in 465 ms. (8 steps per ms) remains 26465/26465 properties
BEST_FIRST walk for 4004 steps (8 resets) in 448 ms. (8 steps per ms) remains 26465/26465 properties
BEST_FIRST walk for 4002 steps (8 resets) in 456 ms. (8 steps per ms) remains 26465/26465 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 26465/26465 properties
BEST_FIRST walk for 4004 steps (8 resets) in 445 ms. (8 steps per ms) remains 26465/26465 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 26465/26465 properties
BEST_FIRST walk for 4004 steps (8 resets) in 465 ms. (8 steps per ms) remains 26465/26465 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 26464/26465 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 26464/26464 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 26464/26464 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 26463/26464 properties
BEST_FIRST walk for 4004 steps (8 resets) in 450 ms. (8 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4003 steps (8 resets) in 422 ms. (9 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 430 ms. (9 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 441 ms. (9 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 452 ms. (8 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 436 ms. (9 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 435 ms. (9 steps per ms) remains 26463/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 26461/26463 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 26461/26461 properties
BEST_FIRST walk for 4004 steps (8 resets) in 448 ms. (8 steps per ms) remains 26460/26461 properties
BEST_FIRST walk for 4004 steps (8 resets) in 430 ms. (9 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 518 ms. (7 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 438 ms. (9 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 435 ms. (9 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 380 ms. (10 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4003 steps (8 resets) in 409 ms. (9 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 431 ms. (9 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 449 ms. (8 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 479 ms. (8 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 451 ms. (8 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4003 steps (8 resets) in 431 ms. (9 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 379 ms. (10 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 432 ms. (9 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 429 ms. (9 steps per ms) remains 26460/26460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 454 ms. (8 steps per ms) remains 26459/26460 properties
BEST_FIRST walk for 4003 steps (8 resets) in 399 ms. (10 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4003 steps (8 resets) in 393 ms. (10 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 442 ms. (9 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 425 ms. (9 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 419 ms. (9 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 420 ms. (9 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 481 ms. (8 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 481 ms. (8 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 426 ms. (9 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 429 ms. (9 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 429 ms. (9 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 484 ms. (8 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4003 steps (8 resets) in 461 ms. (8 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 425 ms. (9 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 425 ms. (9 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 400 ms. (9 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 402 ms. (9 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 420 ms. (9 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 432 ms. (9 steps per ms) remains 26459/26459 properties
BEST_FIRST walk for 4003 steps (8 resets) in 474 ms. (8 steps per ms) remains 26458/26459 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 26458/26458 properties
BEST_FIRST walk for 4004 steps (8 resets) in 448 ms. (8 steps per ms) remains 26458/26458 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 26457/26458 properties
BEST_FIRST walk for 4003 steps (8 resets) in 404 ms. (9 steps per ms) remains 26456/26457 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 426 ms. (9 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 389 ms. (10 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 442 ms. (9 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4003 steps (8 resets) in 415 ms. (9 steps per ms) remains 26456/26456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 467 ms. (8 steps per ms) remains 26455/26456 properties
BEST_FIRST walk for 4004 steps (8 resets) in 461 ms. (8 steps per ms) remains 26455/26455 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 26455/26455 properties
BEST_FIRST walk for 4004 steps (8 resets) in 462 ms. (8 steps per ms) remains 26455/26455 properties
BEST_FIRST walk for 4004 steps (8 resets) in 414 ms. (9 steps per ms) remains 26455/26455 properties
BEST_FIRST walk for 4004 steps (8 resets) in 445 ms. (8 steps per ms) remains 26455/26455 properties
BEST_FIRST walk for 4004 steps (8 resets) in 426 ms. (9 steps per ms) remains 26454/26455 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 389 ms. (10 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4003 steps (8 resets) in 400 ms. (9 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4003 steps (8 resets) in 432 ms. (9 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 395 ms. (10 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 388 ms. (10 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 421 ms. (9 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 394 ms. (10 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 410 ms. (9 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 414 ms. (9 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 419 ms. (9 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4003 steps (8 resets) in 387 ms. (10 steps per ms) remains 26454/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 433 ms. (9 steps per ms) remains 26453/26454 properties
BEST_FIRST walk for 4004 steps (8 resets) in 407 ms. (9 steps per ms) remains 26453/26453 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 26453/26453 properties
BEST_FIRST walk for 4004 steps (8 resets) in 391 ms. (10 steps per ms) remains 26452/26453 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 26451/26452 properties
BEST_FIRST walk for 4004 steps (8 resets) in 440 ms. (9 steps per ms) remains 26451/26451 properties
BEST_FIRST walk for 4004 steps (8 resets) in 471 ms. (8 steps per ms) remains 26450/26451 properties
BEST_FIRST walk for 4004 steps (8 resets) in 440 ms. (9 steps per ms) remains 26450/26450 properties
BEST_FIRST walk for 4004 steps (8 resets) in 420 ms. (9 steps per ms) remains 26448/26450 properties
BEST_FIRST walk for 4002 steps (8 resets) in 418 ms. (9 steps per ms) remains 26448/26448 properties
BEST_FIRST walk for 4004 steps (8 resets) in 400 ms. (9 steps per ms) remains 26448/26448 properties
BEST_FIRST walk for 4004 steps (8 resets) in 424 ms. (9 steps per ms) remains 26448/26448 properties
BEST_FIRST walk for 4004 steps (8 resets) in 426 ms. (9 steps per ms) remains 26447/26448 properties
BEST_FIRST walk for 4004 steps (8 resets) in 419 ms. (9 steps per ms) remains 26447/26447 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 26447/26447 properties
BEST_FIRST walk for 4004 steps (8 resets) in 484 ms. (8 steps per ms) remains 26446/26447 properties
BEST_FIRST walk for 4003 steps (8 resets) in 413 ms. (9 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4003 steps (8 resets) in 406 ms. (9 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 465 ms. (8 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 425 ms. (9 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 442 ms. (9 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 445 ms. (8 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4002 steps (8 resets) in 406 ms. (9 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 397 ms. (10 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 450 ms. (8 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 451 ms. (8 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 457 ms. (8 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 377 ms. (10 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 398 ms. (10 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4003 steps (8 resets) in 445 ms. (8 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 417 ms. (9 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 424 ms. (9 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4003 steps (8 resets) in 394 ms. (10 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 452 ms. (8 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4003 steps (8 resets) in 392 ms. (10 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 405 ms. (9 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 391 ms. (10 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 399 ms. (10 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 450 ms. (8 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4003 steps (8 resets) in 393 ms. (10 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 370 ms. (10 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 397 ms. (10 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 412 ms. (9 steps per ms) remains 26446/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 381 ms. (10 steps per ms) remains 26445/26446 properties
BEST_FIRST walk for 4004 steps (8 resets) in 434 ms. (9 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4003 steps (8 resets) in 424 ms. (9 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4003 steps (8 resets) in 430 ms. (9 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 414 ms. (9 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4003 steps (8 resets) in 379 ms. (10 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 384 ms. (10 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 394 ms. (10 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 448 ms. (8 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 403 ms. (9 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 386 ms. (10 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4003 steps (8 resets) in 400 ms. (9 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 428 ms. (9 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 397 ms. (10 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 451 ms. (8 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 409 ms. (9 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4003 steps (8 resets) in 428 ms. (9 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 386 ms. (10 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 424 ms. (9 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 443 ms. (9 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 398 ms. (10 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 424 ms. (9 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 430 ms. (9 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 391 ms. (10 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4003 steps (8 resets) in 468 ms. (8 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 427 ms. (9 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 416 ms. (9 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 390 ms. (10 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 387 ms. (10 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 423 ms. (9 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 454 ms. (8 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4003 steps (8 resets) in 386 ms. (10 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 436 ms. (9 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4003 steps (8 resets) in 387 ms. (10 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 401 ms. (9 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 453 ms. (8 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 452 ms. (8 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 446 ms. (8 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 406 ms. (9 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 453 ms. (8 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 26445/26445 properties
BEST_FIRST walk for 4004 steps (8 resets) in 413 ms. (9 steps per ms) remains 26445/26445 properties
Interrupted probabilistic random walk after 387472 steps, run timeout after 243001 ms. (steps per millisecond=1 ) properties seen :122 out of 26445
Probabilistic random walk after 387472 steps, saw 73055 distinct states, run finished after 243007 ms. (steps per millisecond=1 ) properties seen :122
[2025-06-06 09:17:30] [INFO ] Invariant cache hit.
[2025-06-06 09:17:31] [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, 26323 unsolved
SMT process timed out in 176184ms, After SMT, problems are : Problem set: 0 solved, 26323 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 127 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 127 ms. Remains : 961/961 places, 27931/27931 transitions.
RANDOM walk for 719994 steps (0 resets) in 120006 ms. (5 steps per ms) remains 26303/26323 properties
BEST_FIRST walk for 4004 steps (8 resets) in 317 ms. (12 steps per ms) remains 26303/26303 properties
BEST_FIRST walk for 4003 steps (8 resets) in 389 ms. (10 steps per ms) remains 26303/26303 properties
BEST_FIRST walk for 4003 steps (8 resets) in 408 ms. (9 steps per ms) remains 26303/26303 properties
BEST_FIRST walk for 4004 steps (8 resets) in 485 ms. (8 steps per ms) remains 26303/26303 properties
BEST_FIRST walk for 4004 steps (8 resets) in 504 ms. (7 steps per ms) remains 26303/26303 properties
BEST_FIRST walk for 4004 steps (8 resets) in 490 ms. (8 steps per ms) remains 26303/26303 properties
BEST_FIRST walk for 4003 steps (8 resets) in 483 ms. (8 steps per ms) remains 26303/26303 properties
BEST_FIRST walk for 4004 steps (8 resets) in 470 ms. (8 steps per ms) remains 26303/26303 properties
BEST_FIRST walk for 4004 steps (8 resets) in 495 ms. (8 steps per ms) remains 26302/26303 properties
BEST_FIRST walk for 4004 steps (8 resets) in 530 ms. (7 steps per ms) remains 26302/26302 properties
BEST_FIRST walk for 4003 steps (8 resets) in 522 ms. (7 steps per ms) remains 26302/26302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 438 ms. (9 steps per ms) remains 26302/26302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 474 ms. (8 steps per ms) remains 26302/26302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 442 ms. (9 steps per ms) remains 26302/26302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 568 ms. (7 steps per ms) remains 26302/26302 properties
BEST_FIRST walk for 4003 steps (8 resets) in 474 ms. (8 steps per ms) remains 26302/26302 properties
BEST_FIRST walk for 4003 steps (8 resets) in 554 ms. (7 steps per ms) remains 26301/26302 properties
BEST_FIRST walk for 4004 steps (8 resets) in 509 ms. (7 steps per ms) remains 26301/26301 properties
BEST_FIRST walk for 4004 steps (8 resets) in 480 ms. (8 steps per ms) remains 26301/26301 properties
BEST_FIRST walk for 4004 steps (8 resets) in 535 ms. (7 steps per ms) remains 26300/26301 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 26299/26300 properties
BEST_FIRST walk for 4004 steps (8 resets) in 547 ms. (7 steps per ms) remains 26299/26299 properties
BEST_FIRST walk for 4004 steps (8 resets) in 551 ms. (7 steps per ms) remains 26299/26299 properties
BEST_FIRST walk for 4004 steps (8 resets) in 440 ms. (9 steps per ms) remains 26299/26299 properties
BEST_FIRST walk for 4004 steps (8 resets) in 415 ms. (9 steps per ms) remains 26299/26299 properties
BEST_FIRST walk for 4003 steps (8 resets) in 500 ms. (7 steps per ms) remains 26299/26299 properties
BEST_FIRST walk for 4004 steps (8 resets) in 460 ms. (8 steps per ms) remains 26299/26299 properties
BEST_FIRST walk for 4004 steps (8 resets) in 558 ms. (7 steps per ms) remains 26299/26299 properties
BEST_FIRST walk for 4003 steps (8 resets) in 422 ms. (9 steps per ms) remains 26299/26299 properties
BEST_FIRST walk for 4004 steps (8 resets) in 470 ms. (8 steps per ms) remains 26299/26299 properties
BEST_FIRST walk for 4004 steps (8 resets) in 501 ms. (7 steps per ms) remains 26299/26299 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 26299/26299 properties
BEST_FIRST walk for 4004 steps (8 resets) in 445 ms. (8 steps per ms) remains 26299/26299 properties
BEST_FIRST walk for 4004 steps (8 resets) in 468 ms. (8 steps per ms) remains 26299/26299 properties
BEST_FIRST walk for 4004 steps (8 resets) in 509 ms. (7 steps per ms) remains 26299/26299 properties
BEST_FIRST walk for 4004 steps (8 resets) in 503 ms. (7 steps per ms) remains 26299/26299 properties
BEST_FIRST walk for 4004 steps (8 resets) in 523 ms. (7 steps per ms) remains 26298/26299 properties
BEST_FIRST walk for 4004 steps (8 resets) in 516 ms. (7 steps per ms) remains 26298/26298 properties
BEST_FIRST walk for 4004 steps (8 resets) in 492 ms. (8 steps per ms) remains 26297/26298 properties
BEST_FIRST walk for 4004 steps (8 resets) in 526 ms. (7 steps per ms) remains 26297/26297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 456 ms. (8 steps per ms) remains 26297/26297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 477 ms. (8 steps per ms) remains 26297/26297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 420 ms. (9 steps per ms) remains 26297/26297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 450 ms. (8 steps per ms) remains 26297/26297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 561 ms. (7 steps per ms) remains 26297/26297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 458 ms. (8 steps per ms) remains 26297/26297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 488 ms. (8 steps per ms) remains 26297/26297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 464 ms. (8 steps per ms) remains 26297/26297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 567 ms. (7 steps per ms) remains 26297/26297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 502 ms. (7 steps per ms) remains 26297/26297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 463 ms. (8 steps per ms) remains 26297/26297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 468 ms. (8 steps per ms) remains 26297/26297 properties
BEST_FIRST walk for 4002 steps (8 resets) in 462 ms. (8 steps per ms) remains 26297/26297 properties
BEST_FIRST walk for 4003 steps (8 resets) in 443 ms. (9 steps per ms) remains 26297/26297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 503 ms. (7 steps per ms) remains 26297/26297 properties
BEST_FIRST walk for 4003 steps (8 resets) in 509 ms. (7 steps per ms) remains 26297/26297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 483 ms. (8 steps per ms) remains 26297/26297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 506 ms. (7 steps per ms) remains 26296/26297 properties
BEST_FIRST walk for 4004 steps (8 resets) in 512 ms. (7 steps per ms) remains 26295/26296 properties
BEST_FIRST walk for 4004 steps (8 resets) in 518 ms. (7 steps per ms) remains 26295/26295 properties
BEST_FIRST walk for 4004 steps (8 resets) in 480 ms. (8 steps per ms) remains 26295/26295 properties
BEST_FIRST walk for 4004 steps (8 resets) in 454 ms. (8 steps per ms) remains 26294/26295 properties
BEST_FIRST walk for 4004 steps (8 resets) in 487 ms. (8 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 466 ms. (8 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 506 ms. (7 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 528 ms. (7 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 452 ms. (8 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 432 ms. (9 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 448 ms. (8 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4003 steps (8 resets) in 439 ms. (9 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 497 ms. (8 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 452 ms. (8 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 473 ms. (8 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 459 ms. (8 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 575 ms. (6 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4003 steps (8 resets) in 465 ms. (8 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 521 ms. (7 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 465 ms. (8 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 557 ms. (7 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 521 ms. (7 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 479 ms. (8 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 524 ms. (7 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 454 ms. (8 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4003 steps (8 resets) in 549 ms. (7 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4003 steps (8 resets) in 518 ms. (7 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4003 steps (8 resets) in 462 ms. (8 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 493 ms. (8 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 452 ms. (8 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 469 ms. (8 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4003 steps (8 resets) in 483 ms. (8 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 548 ms. (7 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4003 steps (8 resets) in 471 ms. (8 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 558 ms. (7 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4003 steps (8 resets) in 458 ms. (8 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 507 ms. (7 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 559 ms. (7 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 505 ms. (7 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 482 ms. (8 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 545 ms. (7 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 454 ms. (8 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4003 steps (8 resets) in 430 ms. (9 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4003 steps (8 resets) in 452 ms. (8 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 510 ms. (7 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 499 ms. (8 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 516 ms. (7 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 499 ms. (8 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4003 steps (8 resets) in 537 ms. (7 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 535 ms. (7 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 504 ms. (7 steps per ms) remains 26294/26294 properties
BEST_FIRST walk for 4004 steps (8 resets) in 484 ms. (8 steps per ms) remains 26294/26294 properties
Interrupted probabilistic random walk after 194213 steps, run timeout after 135001 ms. (steps per millisecond=1 ) properties seen :0 out of 26294
Probabilistic random walk after 194213 steps, saw 40389 distinct states, run finished after 135003 ms. (steps per millisecond=1 ) properties seen :0
[2025-06-06 09:23:28] [INFO ] Invariant cache hit.
[2025-06-06 09:23:28] [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: 91.507
SAVING AS /home/mcc/execution/model.(net/def) ...
exportGspn useExt=true
SAVING TIME: 0.445
SAVING NAME MAP FILE /home/mcc/execution/model.id2name ...
SAVING NUPN UNITS AS FILE /home/mcc/execution/model.nu ...
TOTAL TIME: 93.156
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: 586
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.
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 QuasiLiveness -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="QuasiLiveness"
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 QuasiLiveness"
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-174915605600227"
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 [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "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 [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "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 "QuasiLiveness.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 '
echo "FORMULA_NAME $x"
done
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
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 ;