About the Execution of 2024-gold for ErlangenMainframeV0-PT-1204
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15688.700 | 1800000.00 | 2306071.00 | 4940.50 | [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.r266-tall-174931350300247.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 ErlangenMainframeV0-PT-1204, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r266-tall-174931350300247
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 83M
-rw-r--r-- 1 mcc users 7.6K Jun 6 09:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Jun 6 09:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Jun 6 09:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Jun 6 09:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jun 6 12:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Jun 6 12:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jun 6 12:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Jun 6 12:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 5 20:08 NewModel
-rw-r--r-- 1 mcc users 14K Jun 6 09:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 157K Jun 6 09:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.1K Jun 6 09:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Jun 6 09:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Jun 6 12:05 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Jun 6 12:05 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jun 5 20:08 equiv_col
-rw-r--r-- 1 mcc users 5 Jun 5 20:08 instance
-rw-r--r-- 1 mcc users 6 Jun 5 20:08 iscolored
-rw-r--r-- 1 mcc users 83M Jun 5 20:08 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 1749322218533
Invoking MCC driver with
BK_TOOL=gold2024
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=ErlangenMainframeV0-PT-1204
BK_MEMORY_CONFINEMENT=16384
Applying reductions before tool greatspn
Invoking reducer
Running Version 202405141337
[2025-06-07 18:50:19] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -timeout, 180, -rebuildPNML]
[2025-06-07 18:50:19] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2025-06-07 18:50:23] [INFO ] Load time of PNML (sax parser for PT used): 3214 ms
[2025-06-07 18:50:23] [INFO ] Transformed 295 places.
[2025-06-07 18:50:23] [INFO ] Transformed 62506 transitions.
[2025-06-07 18:50:23] [INFO ] Found NUPN structural information;
[2025-06-07 18:50:23] [INFO ] Parsed PT model containing 295 places and 62506 transitions and 1701161 arcs in 3790 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 295/295 places, 62506/62506 transitions.
Graph (trivial) has 234 edges and 295 vertex of which 6 / 295 are part of one of the 3 SCC in 16 ms
Free SCC test removed 3 places
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Drop transitions (Trivial Post-Agglo cleanup.) removed 96 transitions
Trivial Post-agglo rules discarded 96 transitions
Performed 96 trivial Post agglomeration. Transition count delta: 96
Iterating post reduction 0 with 96 rules applied. Total rules applied 97 place count 292 transition count 62407
Reduce places removed 96 places and 0 transitions.
Iterating post reduction 1 with 96 rules applied. Total rules applied 193 place count 196 transition count 62407
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 3 Pre rules applied. Total rules applied 193 place count 196 transition count 62404
Deduced a syphon composed of 3 places in 144 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 199 place count 193 transition count 62404
Performed 103 Post agglomeration using F-continuation condition.Transition count delta: 103
Deduced a syphon composed of 103 places in 60 ms
Reduce places removed 103 places and 0 transitions.
Iterating global reduction 2 with 206 rules applied. Total rules applied 405 place count 90 transition count 62301
Applied a total of 405 rules in 22907 ms. Remains 90 /295 variables (removed 205) and now considering 62301/62506 (removed 205) transitions.
[2025-06-07 18:50:46] [INFO ] Flow matrix only has 41547 transitions (discarded 20754 similar events)
// Phase 1: matrix 41547 rows 90 cols
[2025-06-07 18:50:48] [INFO ] Computed 30 invariants in 1041 ms
[2025-06-07 18:51:18] [INFO ] Performed 44/90 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2025-06-07 18:51:50] [INFO ] Performed 76/90 implicitness test of which 1 returned IMPLICIT in 62 seconds.
[2025-06-07 18:51:52] [INFO ] Implicit Places using invariants in 65938 ms returned [76]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 66289 ms to find 1 implicit places.
Starting structural reductions in LIVENESS mode, iteration 1 : 89/295 places, 62301/62506 transitions.
Applied a total of 0 rules in 697 ms. Remains 89 /89 variables (removed 0) and now considering 62301/62301 (removed 0) transitions.
Finished structural reductions in LIVENESS mode , in 2 iterations and 89926 ms. Remains : 89/295 places, 62301/62506 transitions.
Discarding 40 transitions out of 62301. Remains 62261
Initial state reduction rules removed 1 formulas.
RANDOM walk for 40000 steps (8 resets) in 40262 ms. (0 steps per ms) remains 62167/62260 properties
BEST_FIRST walk for 120 steps (8 resets) in 211 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 319 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 196 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 241 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 206 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 219 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 217 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 225 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 219 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 218 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 220 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 208 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 206 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 220 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 221 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 234 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 220 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 209 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 217 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 223 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 225 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 228 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 210 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 227 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 241 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 263 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 220 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 200 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 168 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 198 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 184 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 204 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 191 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 197 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 199 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 185 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 197 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 196 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 179 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 193 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 192 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 180 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 179 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 181 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 194 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 197 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 200 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 182 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 174 ms. (0 steps per ms) remains 62167/62167 properties
BEST_FIRST walk for 120 steps (8 resets) in 182 ms. (0 steps per ms) remains 62167/62167 properties
Interrupted probabilistic random walk after 9970 steps, run timeout after 45077 ms. (steps per millisecond=0 ) properties seen :12 out of 62167
Probabilistic random walk after 9970 steps, saw 6681 distinct states, run finished after 45085 ms. (steps per millisecond=0 ) properties seen :12
[2025-06-07 18:58:52] [INFO ] Flow matrix only has 41547 transitions (discarded 20754 similar events)
// Phase 1: matrix 41547 rows 89 cols
[2025-06-07 18:58:53] [INFO ] Computed 29 invariants in 772 ms
[2025-06-07 18:58:55] [INFO ] State equation strengthened by 20757 read => feed constraints.
SMT process timed out in 1174138ms, After SMT, problems are : Problem set: 0 solved, 62155 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 59 out of 89 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 89/89 places, 62301/62301 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 3 place count 89 transition count 62298
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 5 place count 87 transition count 62281
Iterating global reduction 1 with 2 rules applied. Total rules applied 7 place count 87 transition count 62281
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 9 place count 87 transition count 62279
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -20
Deduced a syphon composed of 2 places in 15 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 13 place count 85 transition count 62299
Drop transitions (Empty/Sink Transition effects.) removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 14 place count 85 transition count 62298
Free-agglomeration rule applied 5 times.
Iterating global reduction 3 with 5 rules applied. Total rules applied 19 place count 85 transition count 62293
Reduce places removed 5 places and 0 transitions.
Drop transitions (Empty/Sink Transition effects.) removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 3 with 24 rules applied. Total rules applied 43 place count 80 transition count 62274
Applied a total of 43 rules in 5066 ms. Remains 80 /89 variables (removed 9) and now considering 62274/62301 (removed 27) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 5069 ms. Remains : 80/89 places, 62274/62301 transitions.
RANDOM walk for 136910 steps (0 resets) in 120015 ms. (1 steps per ms) remains 61812/62155 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 61806/61812 properties
BEST_FIRST walk for 4004 steps (8 resets) in 708 ms. (5 steps per ms) remains 61800/61806 properties
BEST_FIRST walk for 4002 steps (8 resets) in 705 ms. (5 steps per ms) remains 61793/61800 properties
BEST_FIRST walk for 4001 steps (8 resets) in 684 ms. (5 steps per ms) remains 61788/61793 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 61781/61788 properties
BEST_FIRST walk for 4003 steps (8 resets) in 716 ms. (5 steps per ms) remains 61776/61781 properties
BEST_FIRST walk for 4004 steps (8 resets) in 704 ms. (5 steps per ms) remains 61769/61776 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 61763/61769 properties
BEST_FIRST walk for 4002 steps (8 resets) in 717 ms. (5 steps per ms) remains 61756/61763 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 61751/61756 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 61745/61751 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 61739/61745 properties
BEST_FIRST walk for 4003 steps (8 resets) in 721 ms. (5 steps per ms) remains 61733/61739 properties
BEST_FIRST walk for 4003 steps (8 resets) in 833 ms. (4 steps per ms) remains 61728/61733 properties
BEST_FIRST walk for 4004 steps (8 resets) in 736 ms. (5 steps per ms) remains 61722/61728 properties
BEST_FIRST walk for 4003 steps (8 resets) in 740 ms. (5 steps per ms) remains 61715/61722 properties
BEST_FIRST walk for 4003 steps (8 resets) in 781 ms. (5 steps per ms) remains 61711/61715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 757 ms. (5 steps per ms) remains 61704/61711 properties
BEST_FIRST walk for 4004 steps (8 resets) in 717 ms. (5 steps per ms) remains 61698/61704 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 61693/61698 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 61688/61693 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 61684/61688 properties
BEST_FIRST walk for 4003 steps (8 resets) in 706 ms. (5 steps per ms) remains 61676/61684 properties
BEST_FIRST walk for 4004 steps (8 resets) in 710 ms. (5 steps per ms) remains 61669/61676 properties
BEST_FIRST walk for 4002 steps (8 resets) in 688 ms. (5 steps per ms) remains 61664/61669 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 61659/61664 properties
BEST_FIRST walk for 4003 steps (8 resets) in 680 ms. (5 steps per ms) remains 61654/61659 properties
BEST_FIRST walk for 4003 steps (8 resets) in 720 ms. (5 steps per ms) remains 61646/61654 properties
BEST_FIRST walk for 4003 steps (8 resets) in 701 ms. (5 steps per ms) remains 61640/61646 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 61636/61640 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 61629/61636 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 61623/61629 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 61615/61623 properties
BEST_FIRST walk for 4004 steps (8 resets) in 713 ms. (5 steps per ms) remains 61611/61615 properties
BEST_FIRST walk for 4003 steps (8 resets) in 711 ms. (5 steps per ms) remains 61605/61611 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 61598/61605 properties
BEST_FIRST walk for 4002 steps (8 resets) in 690 ms. (5 steps per ms) remains 61593/61598 properties
BEST_FIRST walk for 4003 steps (8 resets) in 701 ms. (5 steps per ms) remains 61587/61593 properties
BEST_FIRST walk for 4004 steps (8 resets) in 711 ms. (5 steps per ms) remains 61581/61587 properties
BEST_FIRST walk for 4003 steps (8 resets) in 704 ms. (5 steps per ms) remains 61574/61581 properties
BEST_FIRST walk for 4004 steps (8 resets) in 719 ms. (5 steps per ms) remains 61565/61574 properties
BEST_FIRST walk for 4003 steps (8 resets) in 702 ms. (5 steps per ms) remains 61557/61565 properties
BEST_FIRST walk for 4004 steps (8 resets) in 719 ms. (5 steps per ms) remains 61552/61557 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 61547/61552 properties
BEST_FIRST walk for 4002 steps (8 resets) in 690 ms. (5 steps per ms) remains 61541/61547 properties
BEST_FIRST walk for 4004 steps (8 resets) in 708 ms. (5 steps per ms) remains 61537/61541 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 61529/61537 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 61527/61529 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 61520/61527 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 61515/61520 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 61507/61515 properties
BEST_FIRST walk for 4003 steps (8 resets) in 708 ms. (5 steps per ms) remains 61502/61507 properties
BEST_FIRST walk for 4003 steps (8 resets) in 712 ms. (5 steps per ms) remains 61494/61502 properties
BEST_FIRST walk for 4003 steps (8 resets) in 715 ms. (5 steps per ms) remains 61486/61494 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 61480/61486 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 61474/61480 properties
BEST_FIRST walk for 4004 steps (8 resets) in 718 ms. (5 steps per ms) remains 61468/61474 properties
BEST_FIRST walk for 4004 steps (8 resets) in 706 ms. (5 steps per ms) remains 61462/61468 properties
BEST_FIRST walk for 4003 steps (8 resets) in 713 ms. (5 steps per ms) remains 61453/61462 properties
BEST_FIRST walk for 4004 steps (8 resets) in 685 ms. (5 steps per ms) remains 61448/61453 properties
BEST_FIRST walk for 4002 steps (8 resets) in 704 ms. (5 steps per ms) remains 61444/61448 properties
BEST_FIRST walk for 4004 steps (8 resets) in 717 ms. (5 steps per ms) remains 61438/61444 properties
BEST_FIRST walk for 4002 steps (8 resets) in 702 ms. (5 steps per ms) remains 61431/61438 properties
BEST_FIRST walk for 4002 steps (8 resets) in 705 ms. (5 steps per ms) remains 61425/61431 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 61421/61425 properties
BEST_FIRST walk for 4002 steps (8 resets) in 709 ms. (5 steps per ms) remains 61414/61421 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 61411/61414 properties
BEST_FIRST walk for 4004 steps (8 resets) in 709 ms. (5 steps per ms) remains 61403/61411 properties
BEST_FIRST walk for 4003 steps (8 resets) in 715 ms. (5 steps per ms) remains 61396/61403 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 61389/61396 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 61386/61389 properties
BEST_FIRST walk for 4002 steps (8 resets) in 709 ms. (5 steps per ms) remains 61382/61386 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 61376/61382 properties
BEST_FIRST walk for 4003 steps (8 resets) in 704 ms. (5 steps per ms) remains 61371/61376 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 61366/61371 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 61361/61366 properties
BEST_FIRST walk for 4003 steps (8 resets) in 718 ms. (5 steps per ms) remains 61356/61361 properties
BEST_FIRST walk for 4003 steps (8 resets) in 701 ms. (5 steps per ms) remains 61349/61356 properties
BEST_FIRST walk for 4004 steps (8 resets) in 721 ms. (5 steps per ms) remains 61344/61349 properties
BEST_FIRST walk for 4004 steps (8 resets) in 683 ms. (5 steps per ms) remains 61341/61344 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 61335/61341 properties
BEST_FIRST walk for 4004 steps (8 resets) in 712 ms. (5 steps per ms) remains 61328/61335 properties
BEST_FIRST walk for 4003 steps (8 resets) in 702 ms. (5 steps per ms) remains 61320/61328 properties
BEST_FIRST walk for 4003 steps (8 resets) in 701 ms. (5 steps per ms) remains 61313/61320 properties
BEST_FIRST walk for 4002 steps (8 resets) in 708 ms. (5 steps per ms) remains 61307/61313 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 61302/61307 properties
BEST_FIRST walk for 4003 steps (8 resets) in 701 ms. (5 steps per ms) remains 61295/61302 properties
BEST_FIRST walk for 4002 steps (8 resets) in 688 ms. (5 steps per ms) remains 61291/61295 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 61287/61291 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 61281/61287 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 61274/61281 properties
BEST_FIRST walk for 4004 steps (8 resets) in 723 ms. (5 steps per ms) remains 61267/61274 properties
BEST_FIRST walk for 4003 steps (8 resets) in 703 ms. (5 steps per ms) remains 61261/61267 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 61255/61261 properties
BEST_FIRST walk for 4002 steps (8 resets) in 695 ms. (5 steps per ms) remains 61250/61255 properties
BEST_FIRST walk for 4003 steps (8 resets) in 710 ms. (5 steps per ms) remains 61244/61250 properties
BEST_FIRST walk for 4003 steps (8 resets) in 707 ms. (5 steps per ms) remains 61239/61244 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 61233/61239 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 61230/61233 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 61224/61230 properties
BEST_FIRST walk for 4004 steps (8 resets) in 717 ms. (5 steps per ms) remains 61221/61224 properties
BEST_FIRST walk for 4002 steps (8 resets) in 704 ms. (5 steps per ms) remains 61215/61221 properties
BEST_FIRST walk for 4004 steps (8 resets) in 724 ms. (5 steps per ms) remains 61209/61215 properties
BEST_FIRST walk for 4003 steps (8 resets) in 686 ms. (5 steps per ms) remains 61204/61209 properties
BEST_FIRST walk for 4003 steps (8 resets) in 704 ms. (5 steps per ms) remains 61201/61204 properties
BEST_FIRST walk for 4004 steps (8 resets) in 820 ms. (4 steps per ms) remains 61197/61201 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 61192/61197 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 61188/61192 properties
BEST_FIRST walk for 4004 steps (8 resets) in 703 ms. (5 steps per ms) remains 61184/61188 properties
BEST_FIRST walk for 4003 steps (8 resets) in 705 ms. (5 steps per ms) remains 61178/61184 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 61171/61178 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 61166/61171 properties
BEST_FIRST walk for 4004 steps (8 resets) in 708 ms. (5 steps per ms) remains 61160/61166 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 61153/61160 properties
BEST_FIRST walk for 4003 steps (8 resets) in 697 ms. (5 steps per ms) remains 61145/61153 properties
BEST_FIRST walk for 4004 steps (8 resets) in 715 ms. (5 steps per ms) remains 61141/61145 properties
BEST_FIRST walk for 4003 steps (8 resets) in 685 ms. (5 steps per ms) remains 61135/61141 properties
BEST_FIRST walk for 4004 steps (8 resets) in 726 ms. (5 steps per ms) remains 61129/61135 properties
BEST_FIRST walk for 4003 steps (8 resets) in 685 ms. (5 steps per ms) remains 61124/61129 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 61120/61124 properties
BEST_FIRST walk for 4002 steps (8 resets) in 713 ms. (5 steps per ms) remains 61115/61120 properties
BEST_FIRST walk for 4003 steps (8 resets) in 700 ms. (5 steps per ms) remains 61109/61115 properties
BEST_FIRST walk for 4004 steps (8 resets) in 720 ms. (5 steps per ms) remains 61106/61109 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 61101/61106 properties
BEST_FIRST walk for 4004 steps (8 resets) in 709 ms. (5 steps per ms) remains 61096/61101 properties
BEST_FIRST walk for 4004 steps (8 resets) in 707 ms. (5 steps per ms) remains 61089/61096 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 61084/61089 properties
BEST_FIRST walk for 4002 steps (8 resets) in 692 ms. (5 steps per ms) remains 61080/61084 properties
BEST_FIRST walk for 4002 steps (8 resets) in 699 ms. (5 steps per ms) remains 61076/61080 properties
BEST_FIRST walk for 4003 steps (8 resets) in 706 ms. (5 steps per ms) remains 61068/61076 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 61064/61068 properties
BEST_FIRST walk for 4003 steps (8 resets) in 719 ms. (5 steps per ms) remains 61057/61064 properties
BEST_FIRST walk for 4003 steps (8 resets) in 722 ms. (5 steps per ms) remains 61051/61057 properties
BEST_FIRST walk for 4002 steps (8 resets) in 711 ms. (5 steps per ms) remains 61048/61051 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 61041/61048 properties
BEST_FIRST walk for 4004 steps (8 resets) in 711 ms. (5 steps per ms) remains 61036/61041 properties
BEST_FIRST walk for 4004 steps (8 resets) in 688 ms. (5 steps per ms) remains 61030/61036 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 61023/61030 properties
BEST_FIRST walk for 4004 steps (8 resets) in 713 ms. (5 steps per ms) remains 61019/61023 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 61013/61019 properties
BEST_FIRST walk for 4004 steps (8 resets) in 708 ms. (5 steps per ms) remains 61009/61013 properties
BEST_FIRST walk for 4003 steps (8 resets) in 731 ms. (5 steps per ms) remains 61005/61009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 61001/61005 properties
BEST_FIRST walk for 4004 steps (8 resets) in 709 ms. (5 steps per ms) remains 60996/61001 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 60989/60996 properties
BEST_FIRST walk for 4002 steps (8 resets) in 709 ms. (5 steps per ms) remains 60983/60989 properties
BEST_FIRST walk for 4004 steps (8 resets) in 723 ms. (5 steps per ms) remains 60979/60983 properties
BEST_FIRST walk for 4004 steps (8 resets) in 719 ms. (5 steps per ms) remains 60972/60979 properties
BEST_FIRST walk for 4004 steps (8 resets) in 721 ms. (5 steps per ms) remains 60968/60972 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 60962/60968 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 60957/60962 properties
BEST_FIRST walk for 4004 steps (8 resets) in 710 ms. (5 steps per ms) remains 60951/60957 properties
BEST_FIRST walk for 4003 steps (8 resets) in 683 ms. (5 steps per ms) remains 60946/60951 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 60942/60946 properties
BEST_FIRST walk for 4002 steps (8 resets) in 725 ms. (5 steps per ms) remains 60936/60942 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 60930/60936 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 60924/60930 properties
BEST_FIRST walk for 4004 steps (8 resets) in 713 ms. (5 steps per ms) remains 60917/60924 properties
BEST_FIRST walk for 4003 steps (8 resets) in 700 ms. (5 steps per ms) remains 60910/60917 properties
BEST_FIRST walk for 4003 steps (8 resets) in 713 ms. (5 steps per ms) remains 60903/60910 properties
BEST_FIRST walk for 4003 steps (8 resets) in 701 ms. (5 steps per ms) remains 60898/60903 properties
BEST_FIRST walk for 4003 steps (8 resets) in 707 ms. (5 steps per ms) remains 60895/60898 properties
BEST_FIRST walk for 4004 steps (8 resets) in 710 ms. (5 steps per ms) remains 60890/60895 properties
BEST_FIRST walk for 4004 steps (8 resets) in 703 ms. (5 steps per ms) remains 60885/60890 properties
BEST_FIRST walk for 4004 steps (8 resets) in 710 ms. (5 steps per ms) remains 60881/60885 properties
BEST_FIRST walk for 4004 steps (8 resets) in 708 ms. (5 steps per ms) remains 60877/60881 properties
BEST_FIRST walk for 4004 steps (8 resets) in 722 ms. (5 steps per ms) remains 60872/60877 properties
BEST_FIRST walk for 4003 steps (8 resets) in 707 ms. (5 steps per ms) remains 60866/60872 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 60862/60866 properties
BEST_FIRST walk for 4004 steps (8 resets) in 713 ms. (5 steps per ms) remains 60855/60862 properties
BEST_FIRST walk for 4002 steps (8 resets) in 697 ms. (5 steps per ms) remains 60848/60855 properties
BEST_FIRST walk for 4004 steps (8 resets) in 710 ms. (5 steps per ms) remains 60843/60848 properties
BEST_FIRST walk for 4004 steps (8 resets) in 712 ms. (5 steps per ms) remains 60837/60843 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 60831/60837 properties
BEST_FIRST walk for 4003 steps (8 resets) in 684 ms. (5 steps per ms) remains 60827/60831 properties
BEST_FIRST walk for 4002 steps (8 resets) in 706 ms. (5 steps per ms) remains 60824/60827 properties
BEST_FIRST walk for 4004 steps (8 resets) in 719 ms. (5 steps per ms) remains 60817/60824 properties
BEST_FIRST walk for 4004 steps (8 resets) in 709 ms. (5 steps per ms) remains 60812/60817 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 60807/60812 properties
BEST_FIRST walk for 4004 steps (8 resets) in 713 ms. (5 steps per ms) remains 60803/60807 properties
BEST_FIRST walk for 4003 steps (8 resets) in 722 ms. (5 steps per ms) remains 60796/60803 properties
BEST_FIRST walk for 4002 steps (8 resets) in 704 ms. (5 steps per ms) remains 60790/60796 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 60786/60790 properties
BEST_FIRST walk for 4003 steps (8 resets) in 776 ms. (5 steps per ms) remains 60782/60786 properties
BEST_FIRST walk for 4003 steps (8 resets) in 705 ms. (5 steps per ms) remains 60777/60782 properties
BEST_FIRST walk for 4003 steps (8 resets) in 704 ms. (5 steps per ms) remains 60772/60777 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 60767/60772 properties
BEST_FIRST walk for 4003 steps (8 resets) in 712 ms. (5 steps per ms) remains 60762/60767 properties
BEST_FIRST walk for 4004 steps (8 resets) in 712 ms. (5 steps per ms) remains 60758/60762 properties
BEST_FIRST walk for 4003 steps (8 resets) in 699 ms. (5 steps per ms) remains 60755/60758 properties
BEST_FIRST walk for 4002 steps (8 resets) in 688 ms. (5 steps per ms) remains 60751/60755 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 60749/60751 properties
BEST_FIRST walk for 4002 steps (8 resets) in 684 ms. (5 steps per ms) remains 60745/60749 properties
BEST_FIRST walk for 4003 steps (8 resets) in 706 ms. (5 steps per ms) remains 60738/60745 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 60732/60738 properties
BEST_FIRST walk for 4004 steps (8 resets) in 711 ms. (5 steps per ms) remains 60726/60732 properties
BEST_FIRST walk for 4003 steps (8 resets) in 722 ms. (5 steps per ms) remains 60720/60726 properties
BEST_FIRST walk for 4001 steps (8 resets) in 702 ms. (5 steps per ms) remains 60715/60720 properties
BEST_FIRST walk for 4003 steps (8 resets) in 718 ms. (5 steps per ms) remains 60711/60715 properties
BEST_FIRST walk for 4002 steps (8 resets) in 690 ms. (5 steps per ms) remains 60706/60711 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 60698/60706 properties
BEST_FIRST walk for 4002 steps (8 resets) in 698 ms. (5 steps per ms) remains 60691/60698 properties
BEST_FIRST walk for 4002 steps (8 resets) in 691 ms. (5 steps per ms) remains 60685/60691 properties
BEST_FIRST walk for 4003 steps (8 resets) in 704 ms. (5 steps per ms) remains 60682/60685 properties
BEST_FIRST walk for 4003 steps (8 resets) in 715 ms. (5 steps per ms) remains 60673/60682 properties
BEST_FIRST walk for 4003 steps (8 resets) in 707 ms. (5 steps per ms) remains 60668/60673 properties
BEST_FIRST walk for 4001 steps (8 resets) in 715 ms. (5 steps per ms) remains 60665/60668 properties
BEST_FIRST walk for 4004 steps (8 resets) in 720 ms. (5 steps per ms) remains 60658/60665 properties
BEST_FIRST walk for 4003 steps (8 resets) in 687 ms. (5 steps per ms) remains 60651/60658 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 60646/60651 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 60642/60646 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 60639/60642 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 60636/60639 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 60631/60636 properties
BEST_FIRST walk for 4004 steps (8 resets) in 728 ms. (5 steps per ms) remains 60627/60631 properties
BEST_FIRST walk for 4003 steps (8 resets) in 703 ms. (5 steps per ms) remains 60621/60627 properties
BEST_FIRST walk for 4004 steps (8 resets) in 707 ms. (5 steps per ms) remains 60616/60621 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 60609/60616 properties
BEST_FIRST walk for 4003 steps (8 resets) in 720 ms. (5 steps per ms) remains 60606/60609 properties
BEST_FIRST walk for 4002 steps (8 resets) in 725 ms. (5 steps per ms) remains 60601/60606 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 60594/60601 properties
BEST_FIRST walk for 4004 steps (8 resets) in 717 ms. (5 steps per ms) remains 60587/60594 properties
BEST_FIRST walk for 4004 steps (8 resets) in 710 ms. (5 steps per ms) remains 60580/60587 properties
BEST_FIRST walk for 4003 steps (8 resets) in 694 ms. (5 steps per ms) remains 60577/60580 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 60573/60577 properties
BEST_FIRST walk for 4003 steps (8 resets) in 709 ms. (5 steps per ms) remains 60568/60573 properties
BEST_FIRST walk for 4004 steps (8 resets) in 705 ms. (5 steps per ms) remains 60562/60568 properties
BEST_FIRST walk for 4003 steps (8 resets) in 702 ms. (5 steps per ms) remains 60555/60562 properties
BEST_FIRST walk for 4004 steps (8 resets) in 707 ms. (5 steps per ms) remains 60552/60555 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 60545/60552 properties
BEST_FIRST walk for 4002 steps (8 resets) in 709 ms. (5 steps per ms) remains 60540/60545 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 60536/60540 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 60531/60536 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 60524/60531 properties
BEST_FIRST walk for 4003 steps (8 resets) in 703 ms. (5 steps per ms) remains 60518/60524 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 60513/60518 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 60508/60513 properties
BEST_FIRST walk for 4002 steps (8 resets) in 708 ms. (5 steps per ms) remains 60503/60508 properties
BEST_FIRST walk for 4003 steps (8 resets) in 725 ms. (5 steps per ms) remains 60497/60503 properties
BEST_FIRST walk for 4004 steps (8 resets) in 679 ms. (5 steps per ms) remains 60491/60497 properties
BEST_FIRST walk for 4002 steps (8 resets) in 699 ms. (5 steps per ms) remains 60485/60491 properties
BEST_FIRST walk for 4004 steps (8 resets) in 734 ms. (5 steps per ms) remains 60479/60485 properties
BEST_FIRST walk for 4003 steps (8 resets) in 700 ms. (5 steps per ms) remains 60476/60479 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 60471/60476 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 60465/60471 properties
BEST_FIRST walk for 4003 steps (8 resets) in 728 ms. (5 steps per ms) remains 60460/60465 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 60455/60460 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 60448/60455 properties
BEST_FIRST walk for 4003 steps (8 resets) in 731 ms. (5 steps per ms) remains 60443/60448 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 60438/60443 properties
BEST_FIRST walk for 4003 steps (8 resets) in 697 ms. (5 steps per ms) remains 60431/60438 properties
BEST_FIRST walk for 4003 steps (8 resets) in 697 ms. (5 steps per ms) remains 60426/60431 properties
BEST_FIRST walk for 4003 steps (8 resets) in 706 ms. (5 steps per ms) remains 60421/60426 properties
BEST_FIRST walk for 4003 steps (8 resets) in 714 ms. (5 steps per ms) remains 60415/60421 properties
BEST_FIRST walk for 4002 steps (8 resets) in 701 ms. (5 steps per ms) remains 60410/60415 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 60407/60410 properties
BEST_FIRST walk for 4002 steps (8 resets) in 716 ms. (5 steps per ms) remains 60403/60407 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 60396/60403 properties
BEST_FIRST walk for 4004 steps (8 resets) in 687 ms. (5 steps per ms) remains 60390/60396 properties
BEST_FIRST walk for 4003 steps (8 resets) in 707 ms. (5 steps per ms) remains 60384/60390 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 60379/60384 properties
BEST_FIRST walk for 4004 steps (8 resets) in 709 ms. (5 steps per ms) remains 60374/60379 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 60367/60374 properties
BEST_FIRST walk for 4004 steps (8 resets) in 711 ms. (5 steps per ms) remains 60359/60367 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 60353/60359 properties
BEST_FIRST walk for 4002 steps (8 resets) in 690 ms. (5 steps per ms) remains 60347/60353 properties
BEST_FIRST walk for 4003 steps (8 resets) in 738 ms. (5 steps per ms) remains 60340/60347 properties
BEST_FIRST walk for 4003 steps (8 resets) in 720 ms. (5 steps per ms) remains 60337/60340 properties
BEST_FIRST walk for 4004 steps (8 resets) in 713 ms. (5 steps per ms) remains 60332/60337 properties
BEST_FIRST walk for 4003 steps (8 resets) in 697 ms. (5 steps per ms) remains 60326/60332 properties
BEST_FIRST walk for 4003 steps (8 resets) in 699 ms. (5 steps per ms) remains 60321/60326 properties
BEST_FIRST walk for 4004 steps (8 resets) in 715 ms. (5 steps per ms) remains 60316/60321 properties
BEST_FIRST walk for 4003 steps (8 resets) in 691 ms. (5 steps per ms) remains 60309/60316 properties
BEST_FIRST walk for 4002 steps (8 resets) in 715 ms. (5 steps per ms) remains 60303/60309 properties
BEST_FIRST walk for 4003 steps (8 resets) in 709 ms. (5 steps per ms) remains 60296/60303 properties
BEST_FIRST walk for 4004 steps (8 resets) in 704 ms. (5 steps per ms) remains 60293/60296 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 60289/60293 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 60281/60289 properties
BEST_FIRST walk for 4003 steps (8 resets) in 703 ms. (5 steps per ms) remains 60276/60281 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 60272/60276 properties
BEST_FIRST walk for 4002 steps (8 resets) in 736 ms. (5 steps per ms) remains 60268/60272 properties
BEST_FIRST walk for 4004 steps (8 resets) in 707 ms. (5 steps per ms) remains 60262/60268 properties
BEST_FIRST walk for 4001 steps (8 resets) in 703 ms. (5 steps per ms) remains 60256/60262 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 60251/60256 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 60248/60251 properties
BEST_FIRST walk for 4003 steps (8 resets) in 696 ms. (5 steps per ms) remains 60243/60248 properties
BEST_FIRST walk for 4003 steps (8 resets) in 687 ms. (5 steps per ms) remains 60240/60243 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 60237/60240 properties
BEST_FIRST walk for 4004 steps (8 resets) in 711 ms. (5 steps per ms) remains 60233/60237 properties
BEST_FIRST walk for 4004 steps (8 resets) in 730 ms. (5 steps per ms) remains 60226/60233 properties
BEST_FIRST walk for 4004 steps (8 resets) in 710 ms. (5 steps per ms) remains 60222/60226 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 60217/60222 properties
BEST_FIRST walk for 4004 steps (8 resets) in 731 ms. (5 steps per ms) remains 60211/60217 properties
BEST_FIRST walk for 4002 steps (8 resets) in 692 ms. (5 steps per ms) remains 60206/60211 properties
BEST_FIRST walk for 4004 steps (8 resets) in 708 ms. (5 steps per ms) remains 60201/60206 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 60196/60201 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 60189/60196 properties
BEST_FIRST walk for 4004 steps (8 resets) in 694 ms. (5 steps per ms) remains 60185/60189 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 60181/60185 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 60174/60181 properties
BEST_FIRST walk for 4003 steps (8 resets) in 700 ms. (5 steps per ms) remains 60172/60174 properties
BEST_FIRST walk for 4003 steps (8 resets) in 704 ms. (5 steps per ms) remains 60170/60172 properties
BEST_FIRST walk for 4003 steps (8 resets) in 690 ms. (5 steps per ms) remains 60163/60170 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 60159/60163 properties
BEST_FIRST walk for 4004 steps (8 resets) in 689 ms. (5 steps per ms) remains 60151/60159 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 60149/60151 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 60146/60149 properties
BEST_FIRST walk for 4003 steps (8 resets) in 706 ms. (5 steps per ms) remains 60140/60146 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 60133/60140 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 60127/60133 properties
BEST_FIRST walk for 4004 steps (8 resets) in 703 ms. (5 steps per ms) remains 60124/60127 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 60118/60124 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 60111/60118 properties
BEST_FIRST walk for 4004 steps (8 resets) in 725 ms. (5 steps per ms) remains 60106/60111 properties
BEST_FIRST walk for 4004 steps (8 resets) in 729 ms. (5 steps per ms) remains 60098/60106 properties
BEST_FIRST walk for 4004 steps (8 resets) in 719 ms. (5 steps per ms) remains 60094/60098 properties
BEST_FIRST walk for 4003 steps (8 resets) in 727 ms. (5 steps per ms) remains 60089/60094 properties
BEST_FIRST walk for 4004 steps (8 resets) in 708 ms. (5 steps per ms) remains 60084/60089 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 60081/60084 properties
BEST_FIRST walk for 4003 steps (8 resets) in 709 ms. (5 steps per ms) remains 60076/60081 properties
BEST_FIRST walk for 4003 steps (8 resets) in 692 ms. (5 steps per ms) remains 60073/60076 properties
BEST_FIRST walk for 4002 steps (8 resets) in 719 ms. (5 steps per ms) remains 60068/60073 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 60064/60068 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 60059/60064 properties
BEST_FIRST walk for 4003 steps (8 resets) in 702 ms. (5 steps per ms) remains 60057/60059 properties
BEST_FIRST walk for 4003 steps (8 resets) in 712 ms. (5 steps per ms) remains 60053/60057 properties
BEST_FIRST walk for 4003 steps (8 resets) in 724 ms. (5 steps per ms) remains 60045/60053 properties
BEST_FIRST walk for 4003 steps (8 resets) in 703 ms. (5 steps per ms) remains 60040/60045 properties
BEST_FIRST walk for 4003 steps (8 resets) in 714 ms. (5 steps per ms) remains 60037/60040 properties
BEST_FIRST walk for 4003 steps (8 resets) in 689 ms. (5 steps per ms) remains 60031/60037 properties
BEST_FIRST walk for 4004 steps (8 resets) in 706 ms. (5 steps per ms) remains 60031/60031 properties
BEST_FIRST walk for 4004 steps (8 resets) in 725 ms. (5 steps per ms) remains 60025/60031 properties
BEST_FIRST walk for 4002 steps (8 resets) in 723 ms. (5 steps per ms) remains 60020/60025 properties
BEST_FIRST walk for 4002 steps (8 resets) in 696 ms. (5 steps per ms) remains 60013/60020 properties
BEST_FIRST walk for 4002 steps (8 resets) in 695 ms. (5 steps per ms) remains 60009/60013 properties
BEST_FIRST walk for 4004 steps (8 resets) in 704 ms. (5 steps per ms) remains 60005/60009 properties
BEST_FIRST walk for 4004 steps (8 resets) in 699 ms. (5 steps per ms) remains 60001/60005 properties
BEST_FIRST walk for 4003 steps (8 resets) in 710 ms. (5 steps per ms) remains 59996/60001 properties
BEST_FIRST walk for 4003 steps (8 resets) in 697 ms. (5 steps per ms) remains 59991/59996 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 59987/59991 properties
BEST_FIRST walk for 4004 steps (8 resets) in 696 ms. (5 steps per ms) remains 59981/59987 properties
BEST_FIRST walk for 4004 steps (8 resets) in 702 ms. (5 steps per ms) remains 59976/59981 properties
BEST_FIRST walk for 4004 steps (8 resets) in 701 ms. (5 steps per ms) remains 59971/59976 properties
BEST_FIRST walk for 4004 steps (8 resets) in 691 ms. (5 steps per ms) remains 59966/59971 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 59964/59966 properties
BEST_FIRST walk for 4003 steps (8 resets) in 710 ms. (5 steps per ms) remains 59959/59964 properties
BEST_FIRST walk for 4004 steps (8 resets) in 711 ms. (5 steps per ms) remains 59954/59959 properties
BEST_FIRST walk for 4004 steps (8 resets) in 732 ms. (5 steps per ms) remains 59948/59954 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 59941/59948 properties
BEST_FIRST walk for 4003 steps (8 resets) in 699 ms. (5 steps per ms) remains 59938/59941 properties
BEST_FIRST walk for 4004 steps (8 resets) in 678 ms. (5 steps per ms) remains 59933/59938 properties
BEST_FIRST walk for 4003 steps (8 resets) in 684 ms. (5 steps per ms) remains 59927/59933 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 59924/59927 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 59918/59924 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 59913/59918 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 59907/59913 properties
BEST_FIRST walk for 4003 steps (8 resets) in 703 ms. (5 steps per ms) remains 59901/59907 properties
BEST_FIRST walk for 4003 steps (8 resets) in 709 ms. (5 steps per ms) remains 59897/59901 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 59891/59897 properties
BEST_FIRST walk for 4004 steps (8 resets) in 693 ms. (5 steps per ms) remains 59888/59891 properties
BEST_FIRST walk for 4003 steps (8 resets) in 688 ms. (5 steps per ms) remains 59881/59888 properties
BEST_FIRST walk for 4003 steps (8 resets) in 702 ms. (5 steps per ms) remains 59878/59881 properties
BEST_FIRST walk for 4003 steps (8 resets) in 710 ms. (5 steps per ms) remains 59871/59878 properties
BEST_FIRST walk for 4002 steps (8 resets) in 688 ms. (5 steps per ms) remains 59867/59871 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 59863/59867 properties
BEST_FIRST walk for 4003 steps (8 resets) in 712 ms. (5 steps per ms) remains 59857/59863 properties
BEST_FIRST walk for 4002 steps (8 resets) in 675 ms. (5 steps per ms) remains 59854/59857 properties
BEST_FIRST walk for 4004 steps (8 resets) in 711 ms. (5 steps per ms) remains 59848/59854 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 59844/59848 properties
BEST_FIRST walk for 4004 steps (8 resets) in 684 ms. (5 steps per ms) remains 59842/59844 properties
BEST_FIRST walk for 4003 steps (8 resets) in 706 ms. (5 steps per ms) remains 59839/59842 properties
BEST_FIRST walk for 4004 steps (8 resets) in 713 ms. (5 steps per ms) remains 59832/59839 properties
BEST_FIRST walk for 4004 steps (8 resets) in 727 ms. (5 steps per ms) remains 59825/59832 properties
BEST_FIRST walk for 4004 steps (8 resets) in 719 ms. (5 steps per ms) remains 59819/59825 properties
BEST_FIRST walk for 4003 steps (8 resets) in 693 ms. (5 steps per ms) remains 59813/59819 properties
BEST_FIRST walk for 4001 steps (8 resets) in 713 ms. (5 steps per ms) remains 59806/59813 properties
BEST_FIRST walk for 4004 steps (8 resets) in 692 ms. (5 steps per ms) remains 59802/59806 properties
BEST_FIRST walk for 4004 steps (8 resets) in 686 ms. (5 steps per ms) remains 59796/59802 properties
BEST_FIRST walk for 4003 steps (8 resets) in 695 ms. (5 steps per ms) remains 59794/59796 properties
BEST_FIRST walk for 4003 steps (8 resets) in 718 ms. (5 steps per ms) remains 59788/59794 properties
BEST_FIRST walk for 4003 steps (8 resets) in 714 ms. (5 steps per ms) remains 59784/59788 properties
BEST_FIRST walk for 4002 steps (8 resets) in 723 ms. (5 steps per ms) remains 59779/59784 properties
BEST_FIRST walk for 4003 steps (8 resets) in 710 ms. (5 steps per ms) remains 59775/59779 properties
BEST_FIRST walk for 4002 steps (8 resets) in 710 ms. (5 steps per ms) remains 59769/59775 properties
BEST_FIRST walk for 4002 steps (8 resets) in 702 ms. (5 steps per ms) remains 59764/59769 properties
BEST_FIRST walk for 4002 steps (8 resets) in 731 ms. (5 steps per ms) remains 59759/59764 properties
BEST_FIRST walk for 4004 steps (8 resets) in 717 ms. (5 steps per ms) remains 59755/59759 properties
BEST_FIRST walk for 4004 steps (8 resets) in 716 ms. (5 steps per ms) remains 59752/59755 properties
BEST_FIRST walk for 4003 steps (8 resets) in 736 ms. (5 steps per ms) remains 59747/59752 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 59741/59747 properties
BEST_FIRST walk for 4004 steps (8 resets) in 715 ms. (5 steps per ms) remains 59739/59741 properties
BEST_FIRST walk for 4003 steps (8 resets) in 699 ms. (5 steps per ms) remains 59735/59739 properties
BEST_FIRST walk for 4004 steps (8 resets) in 690 ms. (5 steps per ms) remains 59729/59735 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 59725/59729 properties
BEST_FIRST walk for 4002 steps (8 resets) in 691 ms. (5 steps per ms) remains 59719/59725 properties
BEST_FIRST walk for 4004 steps (8 resets) in 703 ms. (5 steps per ms) remains 59715/59719 properties
BEST_FIRST walk for 4003 steps (8 resets) in 722 ms. (5 steps per ms) remains 59713/59715 properties
BEST_FIRST walk for 4003 steps (8 resets) in 702 ms. (5 steps per ms) remains 59708/59713 properties
BEST_FIRST walk for 4004 steps (8 resets) in 697 ms. (5 steps per ms) remains 59704/59708 properties
BEST_FIRST walk for 4003 steps (8 resets) in 698 ms. (5 steps per ms) remains 59698/59704 properties
BEST_FIRST walk for 4004 steps (8 resets) in 710 ms. (5 steps per ms) remains 59690/59698 properties
BEST_FIRST walk for 4004 steps (8 resets) in 695 ms. (5 steps per ms) remains 59688/59690 properties
BEST_FIRST walk for 4003 steps (8 resets) in 706 ms. (5 steps per ms) remains 59683/59688 properties
BEST_FIRST walk for 4002 steps (8 resets) in 685 ms. (5 steps per ms) remains 59676/59683 properties
BEST_FIRST walk for 4004 steps (8 resets) in 698 ms. (5 steps per ms) remains 59669/59676 properties
BEST_FIRST walk for 4003 steps (8 resets) in 706 ms. (5 steps per ms) remains 59663/59669 properties
BEST_FIRST walk for 4003 steps (8 resets) in 702 ms. (5 steps per ms) remains 59657/59663 properties
BEST_FIRST walk for 4004 steps (8 resets) in 700 ms. (5 steps per ms) remains 59651/59657 properties
BEST_FIRST walk for 4003 steps (8 resets) in 687 ms. (5 steps per ms) remains 59646/59651 properties
BEST_FIRST walk for 4003 steps (8 resets) in 728 ms. (5 steps per ms) remains 59639/59646 properties
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="ErlangenMainframeV0-PT-1204"
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 ErlangenMainframeV0-PT-1204, 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 r266-tall-174931350300247"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ErlangenMainframeV0-PT-1204.tgz
mv ErlangenMainframeV0-PT-1204 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 ;