Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r256-tall-167856441300562.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool gold2022
Input is MultiCrashLeafsetExtension-PT-S32C03, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r256-tall-167856441300562
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 18M
-rw-r--r-- 1 mcc users 14K Feb 26 03:28 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 03:28 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 26 03:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 03:24 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.0K Feb 25 16:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 21K Feb 26 03:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 119K Feb 26 03:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 20K Feb 26 03:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 93K Feb 26 03:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 18M Mar 5 18:22 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 1678675679529

Running Version 202205111006
[2023-03-13 02:48:00] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2023-03-13 02:48:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 02:48:01] [INFO ] Load time of PNML (sax parser for PT used): 808 ms
[2023-03-13 02:48:01] [INFO ] Transformed 15862 places.
[2023-03-13 02:48:01] [INFO ] Transformed 25109 transitions.
[2023-03-13 02:48:01] [INFO ] Parsed PT model containing 15862 places and 25109 transitions in 1048 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 15862/15862 places, 25109/25109 transitions.
Reduce places removed 42 places and 0 transitions.
Drop transitions removed 3168 transitions
Trivial Post-agglo rules discarded 3168 transitions
Performed 3168 trivial Post agglomeration. Transition count delta: 3168
Iterating post reduction 0 with 3210 rules applied. Total rules applied 3210 place count 15820 transition count 21941
Reduce places removed 3168 places and 0 transitions.
Iterating post reduction 1 with 3168 rules applied. Total rules applied 6378 place count 12652 transition count 21941
Performed 198 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 198 Pre rules applied. Total rules applied 6378 place count 12652 transition count 21743
Deduced a syphon composed of 198 places in 81 ms
Reduce places removed 198 places and 0 transitions.
Iterating global reduction 2 with 396 rules applied. Total rules applied 6774 place count 12454 transition count 21743
Discarding 2970 places :
Symmetric choice reduction at 2 with 2970 rule applications. Total rules 9744 place count 9484 transition count 18773
Iterating global reduction 2 with 2970 rules applied. Total rules applied 12714 place count 9484 transition count 18773
Performed 6 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 6 Pre rules applied. Total rules applied 12714 place count 9484 transition count 18767
Deduced a syphon composed of 6 places in 18 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 2 with 12 rules applied. Total rules applied 12726 place count 9478 transition count 18767
Discarding 990 places :
Symmetric choice reduction at 2 with 990 rule applications. Total rules 13716 place count 8488 transition count 15797
Iterating global reduction 2 with 990 rules applied. Total rules applied 14706 place count 8488 transition count 15797
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 17 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 14772 place count 8455 transition count 15764
Applied a total of 14772 rules in 9778 ms. Remains 8455 /15862 variables (removed 7407) and now considering 15764/25109 (removed 9345) transitions.
[2023-03-13 02:48:11] [INFO ] Flow matrix only has 14708 transitions (discarded 1056 similar events)
// Phase 1: matrix 14708 rows 8455 cols
[2023-03-13 02:48:12] [INFO ] Computed 1361 place invariants in 1006 ms
[2023-03-13 02:48:13] [INFO ] Implicit Places using invariants in 2136 ms returned []
Implicit Place search using SMT only with invariants took 2163 ms to find 0 implicit places.
[2023-03-13 02:48:13] [INFO ] Flow matrix only has 14708 transitions (discarded 1056 similar events)
// Phase 1: matrix 14708 rows 8455 cols
[2023-03-13 02:48:14] [INFO ] Computed 1361 place invariants in 841 ms
[2023-03-13 02:48:15] [INFO ] Dead Transitions using invariants and state equation in 1604 ms found 0 transitions.
Starting structural reductions in LIVENESS mode, iteration 1 : 8455/15862 places, 15764/25109 transitions.
Finished structural reductions, in 1 iterations. Remains : 8455/15862 places, 15764/25109 transitions.
Initial state reduction rules removed 33 formulas.
Incomplete random walk after 10000 steps, including 450 resets, run finished after 1668 ms. (steps per millisecond=5 ) properties (out of 15731) seen :1199
Interrupted probabilistic random walk after 3582 steps, run timeout after 3002 ms. (steps per millisecond=1 ) properties seen :{32=1, 37=1, 77=1, 245=1, 338=1, 416=1, 438=1, 458=1, 476=1, 492=1, 506=1, 518=1, 528=1, 536=1, 537=1, 548=1, 585=1, 642=1, 856=1, 929=1, 949=1, 967=1, 983=1, 997=1, 1009=1, 1019=1, 1027=1, 1033=1, 1034=1, 1038=1, 1041=1, 1078=1, 1316=1, 1317=1, 1384=1, 1402=1, 1418=1, 1432=1, 1444=1, 1454=1, 1462=1, 1468=1, 1472=1, 1473=1, 1475=1, 1477=1, 1514=1, 1516=1, 1721=1, 1722=1, 1783=1, 1799=1, 1813=1, 1825=1, 1835=1, 1843=1, 1849=1, 1853=1, 1855=1, 1856=1, 1858=1, 1894=1, 1896=1, 1898=1, 1930=1, 2078=1, 2133=1, 2147=1, 2159=1, 2169=1, 2177=1, 2183=1, 2187=1, 2189=1, 2190=1, 2191=1, 2192=1, 2194=1, 2231=1, 2233=1, 2326=1, 2436=1, 2448=1, 2458=1, 2466=1, 2472=1, 2476=1, 2478=1, 2479=1, 2480=1, 2481=1, 2482=1, 2484=1, 2518=1, 2523=1, 2525=1, 2656=1, 2699=1, 2709=1, 2717=1, 2723=1, 2727=1, 2729=1, 2730=1, 2731=1, 2732=1, 2733=1, 2734=1, 2735=1, 2737=1, 2775=1, 2777=1, 2889=1, 2926=1, 2934=1, 2940=1, 2944=1, 2946=1, 2947=1, 2948=1, 2949=1, 2950=1, 2951=1, 2953=1, 2989=1, 2991=1, 3113=1, 3119=1, 3123=1, 3125=1, 3126=1, 3127=1, 3128=1, 3129=1, 3130=1, 3131=1, 3132=1, 3134=1, 3169=1, 3171=1, 3244=1, 3269=1, 3273=1, 3275=1, 3276=1, 3277=1, 3278=1, 3279=1, 3280=1, 3281=1, 3282=1, 3284=1, 3320=1, 3322=1, 3382=1, 3401=1, 3403=1, 3404=1, 3405=1, 3406=1, 3407=1, 3408=1, 3409=1, 3410=1, 3412=1, 3450=1, 3452=1, 3512=1, 3513=1, 3514=1, 3515=1, 3516=1, 3517=1, 3518=1, 3519=1, 3520=1, 3521=1, 3522=1, 3524=1, 3562=1, 3564=1, 3599=1, 3606=1, 3607=1, 3608=1, 3609=1, 3610=1, 3611=1, 3612=1, 3613=1, 3614=1, 3615=1, 3652=1, 3654=1, 3681=1, 3684=1, 3686=1, 3687=1, 3688=1, 3689=1, 3690=1, 3691=1, 3692=1, 3693=1, 3694=1, 3695=1, 3697=1, 3734=1, 3736=1, 3757=1, 3761=1, 3762=1, 3763=1, 3764=1, 3765=1, 3766=1, 3767=1, 3768=1, 3769=1, 3770=1, 3772=1, 3806=1, 3810=1, 3812=1, 3829=1, 3832=1, 3834=1, 3835=1, 3836=1, 3837=1, 3838=1, 3839=1, 3840=1, 3841=1, 3842=1, 3843=1, 3844=1, 3845=1, 3847=1, 3884=1, 3885=1, 3891=1, 3903=1, 3905=1, 3908=1, 3909=1, 3910=1, 3911=1, 3912=1, 3913=1, 3914=1, 3915=1, 3916=1, 3917=1, 3918=1, 3919=1, 3921=1, 3956=1, 3958=1, 3974=1, 3977=1, 3979=1, 3980=1, 3981=1, 3982=1, 3983=1, 3984=1, 3985=1, 3986=1, 3987=1, 3988=1, 3990=1, 4027=1, 4029=1, 4050=1, 4055=1, 4056=1, 4057=1, 4058=1, 4059=1, 4060=1, 4061=1, 4062=1, 4063=1, 4064=1, 4065=1, 4067=1, 4085=1, 4105=1, 4107=1, 4119=1, 4132=1, 4140=1, 4141=1, 4142=1, 4143=1, 4144=1, 4145=1, 4146=1, 4147=1, 4148=1, 4149=1, 4150=1, 4151=1, 4189=1, 4191=1, 4222=1, 4234=1, 4235=1, 4236=1, 4237=1, 4238=1, 4239=1, 4240=1, 4241=1, 4242=1, 4243=1, 4244=1, 4246=1, 4283=1, 4285=1, 4324=1, 4345=1, 4346=1, 4347=1, 4348=1, 4349=1, 4350=1, 4351=1, 4352=1, 4353=1, 4354=1, 4356=1, 4391=1, 4393=1, 4401=1, 4445=1, 4473=1, 4475=1, 4476=1, 4477=1, 4478=1, 4479=1, 4480=1, 4481=1, 4482=1, 4483=1, 4485=1, 4523=1, 4525=1, 4590=1, 4627=1, 4631=1, 4633=1, 4634=1, 4635=1, 4636=1, 4637=1, 4638=1, 4639=1, 4640=1, 4642=1, 4679=1, 4681=1, 4804=1, 4810=1, 4814=1, 4816=1, 4817=1, 4818=1, 4819=1, 4820=1, 4821=1, 4822=1, 4824=1, 4842=1, 4861=1, 4863=1, 4959=1, 5012=1, 5020=1, 5026=1, 5030=1, 5032=1, 5033=1, 5034=1, 5035=1, 5036=1, 5037=1, 5039=1, 5076=1, 5078=1, 5080=1, 5194=1, 5243=1, 5255=1, 5265=1, 5273=1, 5279=1, 5283=1, 5285=1, 5286=1, 5287=1, 5288=1, 5289=1, 5291=1, 5329=1, 5331=1, 5466=1, 5521=1, 5535=1, 5547=1, 5557=1, 5565=1, 5571=1, 5575=1, 5577=1, 5578=1, 5579=1, 5580=1, 5582=1, 5619=1, 5621=1, 5781=1, 5842=1, 5858=1, 5872=1, 5884=1, 5894=1, 5902=1, 5908=1, 5912=1, 5914=1, 5915=1, 5916=1, 5918=1, 5936=1, 5957=1, 5959=1, 6144=1, 6211=1, 6229=1, 6245=1, 6259=1, 6271=1, 6281=1, 6289=1, 6295=1, 6299=1, 6301=1, 6303=1, 6340=1, 6342=1, 6554=1, 6555=1, 6628=1, 6648=1, 6666=1, 6682=1, 6696=1, 6708=1, 6718=1, 6726=1, 6732=1, 6736=1, 6737=1, 6739=1, 6740=1, 6758=1, 6778=1, 6780=1, 6823=1, 7225=1, 7231=1, 7232=1, 7269=1, 7272=1, 7772=1, 7883=1, 7885=1, 7886=1, 7887=1, 7888=1, 7889=1, 7890=1, 7891=1, 7892=1, 7893=1, 7894=1, 7895=1, 7896=1, 7897=1, 7898=1, 7899=1, 7900=1, 7901=1, 7902=1, 7903=1, 7904=1, 7905=1, 7906=1, 7907=1, 7908=1, 7909=1, 7992=1, 8008=1, 8009=1, 8010=1, 8011=1, 8012=1, 8013=1, 8014=1, 8015=1, 8016=1, 8017=1, 8018=1, 8019=1, 8020=1, 8021=1, 8022=1, 8023=1, 8024=1, 8025=1, 8026=1, 8027=1, 8028=1, 8029=1, 8030=1, 8031=1, 8032=1, 8033=1, 8034=1, 8035=1}
Probabilistic random walk after 3582 steps, saw 1730 distinct states, run finished after 3005 ms. (steps per millisecond=1 ) properties seen :533
Running SMT prover for 13999 properties.
[2023-03-13 02:48:20] [INFO ] Flow matrix only has 14708 transitions (discarded 1056 similar events)
// Phase 1: matrix 14708 rows 8455 cols
[2023-03-13 02:48:21] [INFO ] Computed 1361 place invariants in 782 ms
[2023-03-13 02:49:22] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 02:49:22] [INFO ] After 25018ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 13999 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 2 ms.
Support contains 7763 out of 8455 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 8455/8455 places, 15764/15764 transitions.
Applied a total of 0 rules in 814 ms. Remains 8455 /8455 variables (removed 0) and now considering 15764/15764 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 8455/8455 places, 15764/15764 transitions.
Interrupted random walk after 179990 steps, including 8111 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 935
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13064) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 13063) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13061) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13060) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13059) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13058) seen :3
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 13055) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13054) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13054) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13054) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13054) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13054) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13054) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13052) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13052) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13052) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13052) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13052) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13052) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 13052) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 13052) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13051) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13051) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13051) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13049) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13049) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 13049) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 13048) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13048) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13047) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13047) seen :8
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 13039) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 13038) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 13036) seen :4
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 13032) seen :6
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13026) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13026) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 13024) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 13022) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13022) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 13021) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13020) seen :3
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 13017) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13016) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 13014) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 13014) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13012) seen :3
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13009) seen :3
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13006) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 13004) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 13003) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13002) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 13001) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12999) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12999) seen :5
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12994) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12993) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12992) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12992) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 12992) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 12992) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12990) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12988) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12987) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 12987) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12985) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12984) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12983) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12982) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12982) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12982) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12982) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12980) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12978) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12977) seen :3
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12974) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12974) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12974) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12974) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12973) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12972) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12972) seen :4
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12968) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12966) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12965) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12965) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12965) seen :3
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12962) seen :3
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12959) seen :3
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12956) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12955) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12954) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12954) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12953) seen :4
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12949) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12949) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12949) seen :3
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12946) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12944) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12943) seen :3
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12940) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12940) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12940) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12939) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12939) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12939) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12939) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12938) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12938) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12938) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12938) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12938) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12937) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12936) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12936) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12935) seen :3
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12932) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12932) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12932) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12930) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12930) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12930) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12930) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12930) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12930) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12929) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12929) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12929) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12928) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12928) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12928) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12927) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12926) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12925) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12925) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12925) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12924) seen :3
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12921) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12921) seen :3
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12918) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12917) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12915) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12915) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12915) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12914) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12914) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12914) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12913) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12913) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12913) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12912) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12910) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12910) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12910) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12909) seen :3
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12906) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12905) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12905) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12905) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12905) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12905) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12905) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12904) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12904) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12904) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12904) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12903) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12903) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12902) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12901) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12900) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12900) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12900) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12900) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12899) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12898) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12896) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12896) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12896) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12895) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12895) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12893) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12892) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12891) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12890) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12889) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12888) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12887) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12886) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12884) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12883) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12881) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12879) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12878) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12877) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12875) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12875) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12874) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12873) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12872) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12872) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12871) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12871) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12870) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12870) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12870) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12870) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12870) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12870) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12870) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12869) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12869) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12869) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12869) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12869) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12869) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12869) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12869) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12869) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12869) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12867) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12867) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12867) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12867) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12867) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12867) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12867) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12867) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12867) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12867) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12867) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12867) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12867) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12867) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12867) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12867) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12866) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12866) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12865) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12865) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12865) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12865) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12865) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12865) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12865) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12865) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12865) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12863) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12863) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12863) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12863) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12863) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12863) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12863) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12863) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12862) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12862) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12862) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12862) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12861) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12861) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12861) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12861) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12859) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12858) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12858) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12858) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12858) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12858) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12858) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12858) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 12858) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12858) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12858) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 12858) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 12856) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12855) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12855) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12855) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12855) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12855) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12855) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12855) seen :2
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12853) seen :1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Interrupted probabilistic random walk after 327924 steps, run timeout after 258001 ms. (steps per millisecond=1 ) properties seen :{226=1, 283=1, 707=1, 734=1, 761=1, 1131=1, 1156=1, 1181=1, 1501=1, 1546=1, 1705=1, 1821=1, 1862=1, 2094=1, 2113=1, 2132=1, 2326=1, 2343=1, 2360=1, 2520=1, 2535=1, 2550=1, 2680=1, 2705=1, 2809=1, 2820=1, 2831=1, 2913=1, 2922=1, 2931=1, 2995=1, 3008=1, 3058=1, 3063=1, 3068=1, 3108=1, 3111=1, 3114=1, 3148=1, 3149=1, 3150=1, 3228=1, 3259=1, 3275=1, 3276=1, 3277=1, 3309=1, 3312=1, 3315=1, 3353=1, 3358=1, 3363=1, 3411=1, 3424=1, 3486=1, 3495=1, 3583=1, 3594=1, 3604=1, 3706=1, 3719=1, 3795=1, 3860=1, 3875=1, 3890=1, 4048=1, 4065=1, 4082=1, 4274=1, 4293=1, 4312=1, 4427=1, 4543=1, 4564=1, 4585=1, 4857=1, 4880=1, 4903=1, 5221=1, 5246=1, 5271=1, 5639=1, 5666=1, 5693=1, 9538=1, 9539=1, 9540=1, 9541=1, 9542=1, 9543=1, 9544=1, 9545=1, 9546=1, 9547=1, 9548=1, 9549=1, 9550=1, 9551=1, 9552=1, 9568=1, 9584=1, 9585=1, 9586=1, 9587=1, 9588=1, 9589=1, 9590=1, 9591=1, 9592=1, 9593=1, 9594=1, 9595=1, 9596=1, 9597=1, 9598=1, 9599=1, 9600=1, 9601=1, 9602=1, 9603=1, 9604=1, 9605=1, 9606=1, 9607=1, 9608=1, 9643=1, 9644=1, 9645=1, 9646=1, 9647=1, 9648=1, 9649=1, 9650=1, 9651=1, 9652=1, 9653=1, 9654=1, 9655=1, 9656=1, 9657=1, 9658=1, 9659=1, 9660=1, 9661=1, 9662=1, 9663=1, 9664=1, 9665=1, 9666=1, 9682=1, 9698=1, 9699=1, 9700=1, 9701=1, 9702=1, 9703=1, 9704=1, 9705=1, 9706=1, 9707=1, 9708=1, 9709=1, 9710=1}
Probabilistic random walk after 327924 steps, saw 148419 distinct states, run finished after 258002 ms. (steps per millisecond=1 ) properties seen :163
Running SMT prover for 12689 properties.
[2023-03-13 02:55:08] [INFO ] Flow matrix only has 14708 transitions (discarded 1056 similar events)
// Phase 1: matrix 14708 rows 8455 cols
[2023-03-13 02:55:09] [INFO ] Computed 1361 place invariants in 840 ms
[2023-03-13 02:59:22] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 02:59:22] [INFO ] After 225028ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 12689 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 6531 out of 8455 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 8455/8455 places, 15764/15764 transitions.
Free-agglomeration rule (complex) applied 29 times.
Iterating global reduction 0 with 29 rules applied. Total rules applied 29 place count 8455 transition count 15735
Reduce places removed 29 places and 0 transitions.
Iterating post reduction 0 with 29 rules applied. Total rules applied 58 place count 8426 transition count 15735
Applied a total of 58 rules in 1295 ms. Remains 8426 /8455 variables (removed 29) and now considering 15735/15764 (removed 29) transitions.
Finished structural reductions, in 1 iterations. Remains : 8426/8455 places, 15735/15764 transitions.
Interrupted random walk after 180000 steps, including 8142 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 3
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 12686) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 12686) seen :0
Interrupted probabilistic random walk after 154499 steps, run timeout after 102001 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 154499 steps, saw 70184 distinct states, run finished after 102003 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 12686 properties.
[2023-03-13 03:01:40] [INFO ] Flow matrix only has 14650 transitions (discarded 1085 similar events)
// Phase 1: matrix 14650 rows 8426 cols
[2023-03-13 03:01:41] [INFO ] Computed 1361 place invariants in 744 ms
[2023-03-13 03:05:52] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 03:05:52] [INFO ] After 225023ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 12686 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 6529 out of 8426 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 8426/8426 places, 15735/15735 transitions.
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 1 place count 8426 transition count 15734
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 8425 transition count 15734
Applied a total of 2 rules in 1162 ms. Remains 8425 /8426 variables (removed 1) and now considering 15734/15735 (removed 1) transitions.
Finished structural reductions, in 1 iterations. Remains : 8425/8426 places, 15734/15735 transitions.
Interrupted random walk after 180001 steps, including 8145 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 1
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Interrupted probabilistic random walk after 144406 steps, run timeout after 108001 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 144406 steps, saw 65610 distinct states, run finished after 108001 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 12685 properties.
[2023-03-13 03:08:18] [INFO ] Flow matrix only has 14648 transitions (discarded 1086 similar events)
// Phase 1: matrix 14648 rows 8425 cols
[2023-03-13 03:08:19] [INFO ] Computed 1361 place invariants in 741 ms
[2023-03-13 03:12:31] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 03:12:31] [INFO ] After 225040ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 12685 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 6529 out of 8425 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 8425/8425 places, 15734/15734 transitions.
Applied a total of 0 rules in 556 ms. Remains 8425 /8425 variables (removed 0) and now considering 15734/15734 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 8425/8425 places, 15734/15734 transitions.
Interrupted random walk after 179998 steps, including 8144 resets, run timeout after 30002 ms. (steps per millisecond=5 ) properties seen 0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12685) seen :0
Interrupted probabilistic random walk after 133482 steps, run timeout after 111002 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 133482 steps, saw 60652 distinct states, run finished after 111003 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 12685 properties.
[2023-03-13 03:14:59] [INFO ] Flow matrix only has 14648 transitions (discarded 1086 similar events)
// Phase 1: matrix 14648 rows 8425 cols
[2023-03-13 03:15:00] [INFO ] Computed 1361 place invariants in 859 ms

BK_TIME_CONFINEMENT_REACHED

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

+ export LANG=C
+ LANG=C
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -pnfolder /home/mcc/execution -examination QuasiLiveness -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@none -Xss128m -Xms40m -Xmx8192m

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="MultiCrashLeafsetExtension-PT-S32C03"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="gold2022"
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-5348"
echo " Executing tool gold2022"
echo " Input is MultiCrashLeafsetExtension-PT-S32C03, 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 r256-tall-167856441300562"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C03.tgz
mv MultiCrashLeafsetExtension-PT-S32C03 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.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property QuasiLiveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -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 '' QuasiLiveness.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;