Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 20M
-rw-r--r-- 1 mcc users 13K Apr 29 16:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Apr 29 16:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Apr 29 16:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 69K Apr 29 16:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.3K May 9 08:17 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K May 9 08:17 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 9 08:17 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 9 08:17 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 9 08:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K May 9 08:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 7 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 20M May 10 09:34 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 1652751237811

Running Version 202205111006
[2022-05-17 01:33:58] [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]
[2022-05-17 01:33:59] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-17 01:33:59] [INFO ] Load time of PNML (sax parser for PT used): 840 ms
[2022-05-17 01:33:59] [INFO ] Transformed 18180 places.
[2022-05-17 01:34:00] [INFO ] Transformed 28411 transitions.
[2022-05-17 01:34:00] [INFO ] Parsed PT model containing 18180 places and 28411 transitions in 1085 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 18180/18180 places, 28411/28411 transitions.
Reduce places removed 44 places and 0 transitions.
Drop transitions removed 4224 transitions
Trivial Post-agglo rules discarded 4224 transitions
Performed 4224 trivial Post agglomeration. Transition count delta: 4224
Iterating post reduction 0 with 4268 rules applied. Total rules applied 4268 place count 18136 transition count 24187
Reduce places removed 4224 places and 0 transitions.
Iterating post reduction 1 with 4224 rules applied. Total rules applied 8492 place count 13912 transition count 24187
Performed 264 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 264 Pre rules applied. Total rules applied 8492 place count 13912 transition count 23923
Deduced a syphon composed of 264 places in 89 ms
Reduce places removed 264 places and 0 transitions.
Iterating global reduction 2 with 528 rules applied. Total rules applied 9020 place count 13648 transition count 23923
Discarding 3960 places :
Symmetric choice reduction at 2 with 3960 rule applications. Total rules 12980 place count 9688 transition count 19963
Iterating global reduction 2 with 3960 rules applied. Total rules applied 16940 place count 9688 transition count 19963
Performed 8 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 8 Pre rules applied. Total rules applied 16940 place count 9688 transition count 19955
Deduced a syphon composed of 8 places in 53 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 2 with 16 rules applied. Total rules applied 16956 place count 9680 transition count 19955
Discarding 990 places :
Symmetric choice reduction at 2 with 990 rule applications. Total rules 17946 place count 8690 transition count 15995
Iterating global reduction 2 with 990 rules applied. Total rules applied 18936 place count 8690 transition count 15995
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 15 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 19002 place count 8657 transition count 15962
Applied a total of 19002 rules in 9842 ms. Remains 8657 /18180 variables (removed 9523) and now considering 15962/28411 (removed 12449) transitions.
[2022-05-17 01:34:10] [INFO ] Flow matrix only has 14906 transitions (discarded 1056 similar events)
// Phase 1: matrix 14906 rows 8657 cols
[2022-05-17 01:34:11] [INFO ] Computed 1429 place invariants in 1086 ms
[2022-05-17 01:34:12] [INFO ] Implicit Places using invariants in 2384 ms returned []
Implicit Place search using SMT only with invariants took 2420 ms to find 0 implicit places.
[2022-05-17 01:34:12] [INFO ] Flow matrix only has 14906 transitions (discarded 1056 similar events)
// Phase 1: matrix 14906 rows 8657 cols
[2022-05-17 01:34:13] [INFO ] Computed 1429 place invariants in 854 ms
[2022-05-17 01:34:14] [INFO ] Dead Transitions using invariants and state equation in 1793 ms found 0 transitions.
Starting structural reductions in LIVENESS mode, iteration 1 : 8657/18180 places, 15962/28411 transitions.
Finished structural reductions, in 1 iterations. Remains : 8657/18180 places, 15962/28411 transitions.
Initial state reduction rules removed 33 formulas.
Incomplete random walk after 10000 steps, including 342 resets, run finished after 1667 ms. (steps per millisecond=5 ) properties (out of 15929) seen :1221
Interrupted probabilistic random walk after 3900 steps, run timeout after 3001 ms. (steps per millisecond=1 ) properties seen :{42=1, 93=1, 342=1, 371=1, 397=1, 421=1, 443=1, 463=1, 481=1, 510=1, 511=1, 523=1, 533=1, 541=1, 551=1, 594=1, 635=1, 665=1, 863=1, 890=1, 914=1, 936=1, 956=1, 974=1, 990=1, 1004=1, 1016=1, 1026=1, 1027=1, 1035=1, 1041=1, 1047=1, 1086=1, 1320=1, 1345=1, 1367=1, 1387=1, 1405=1, 1421=1, 1435=1, 1447=1, 1448=1, 1458=1, 1466=1, 1472=1, 1476=1, 1479=1, 1517=1, 1725=1, 1748=1, 1768=1, 1786=1, 1802=1, 1816=1, 1828=1, 1838=1, 1846=1, 1847=1, 1856=1, 1858=1, 1860=1, 1900=1, 2081=1, 2102=1, 2120=1, 2149=1, 2161=1, 2171=1, 2179=1, 2185=1, 2186=1, 2190=1, 2192=1, 2193=1, 2195=1, 2235=1, 2391=1, 2410=1, 2426=1, 2427=1, 2441=1, 2453=1, 2463=1, 2471=1, 2477=1, 2481=1, 2482=1, 2484=1, 2486=1, 2528=1, 2530=1, 2661=1, 2678=1, 2692=1, 2704=1, 2714=1, 2722=1, 2723=1, 2729=1, 2733=1, 2735=1, 2736=1, 2737=1, 2738=1, 2739=1, 2741=1, 2782=1, 2892=1, 2907=1, 2919=1, 2929=1, 2937=1, 2943=1, 2947=1, 2949=1, 2950=1, 2951=1, 2952=1, 2953=1, 2954=1, 2956=1, 2997=1, 3089=1, 3111=1, 3119=1, 3125=1, 3129=1, 3131=1, 3132=1, 3133=1, 3134=1, 3135=1, 3136=1, 3138=1, 3179=1, 3255=1, 3266=1, 3274=1, 3280=1, 3284=1, 3286=1, 3287=1, 3288=1, 3289=1, 3290=1, 3291=1, 3292=1, 3293=1, 3295=1, 3334=1, 3394=1, 3403=1, 3409=1, 3413=1, 3415=1, 3416=1, 3417=1, 3418=1, 3419=1, 3420=1, 3421=1, 3422=1, 3423=1, 3425=1, 3466=1, 3514=1, 3521=1, 3525=1, 3527=1, 3528=1, 3529=1, 3530=1, 3531=1, 3532=1, 3533=1, 3534=1, 3535=1, 3536=1, 3538=1, 3557=1, 3580=1, 3602=1, 3619=1, 3624=1, 3626=1, 3627=1, 3628=1, 3629=1, 3630=1, 3631=1, 3632=1, 3633=1, 3634=1, 3635=1, 3636=1, 3638=1, 3640=1, 3680=1, 3708=1, 3711=1, 3712=1, 3713=1, 3714=1, 3715=1, 3716=1, 3717=1, 3718=1, 3719=1, 3720=1, 3721=1, 3722=1, 3724=1, 3742=1, 3765=1, 3767=1, 3787=1, 3789=1, 3790=1, 3791=1, 3792=1, 3793=1, 3794=1, 3795=1, 3796=1, 3797=1, 3798=1, 3799=1, 3800=1, 3801=1, 3803=1, 3842=1, 3846=1, 3859=1, 3861=1, 3862=1, 3863=1, 3864=1, 3865=1, 3866=1, 3867=1, 3868=1, 3869=1, 3870=1, 3871=1, 3873=1, 3915=1, 3919=1, 3933=1, 3935=1, 3936=1, 3937=1, 3938=1, 3939=1, 3940=1, 3941=1, 3942=1, 3943=1, 3944=1, 3945=1, 3947=1, 3987=1, 4004=1, 4006=1, 4007=1, 4008=1, 4009=1, 4010=1, 4011=1, 4012=1, 4013=1, 4014=1, 4015=1, 4016=1, 4017=1, 4019=1, 4059=1, 4065=1, 4077=1, 4080=1, 4081=1, 4082=1, 4083=1, 4084=1, 4085=1, 4086=1, 4087=1, 4088=1, 4089=1, 4090=1, 4091=1, 4093=1, 4132=1, 4157=1, 4164=1, 4165=1, 4166=1, 4167=1, 4168=1, 4169=1, 4170=1, 4171=1, 4172=1, 4173=1, 4174=1, 4176=1, 4216=1, 4218=1, 4230=1, 4251=1, 4262=1, 4264=1, 4265=1, 4266=1, 4267=1, 4268=1, 4269=1, 4270=1, 4271=1, 4272=1, 4273=1, 4275=1, 4315=1, 4324=1, 4356=1, 4365=1, 4371=1, 4375=1, 4377=1, 4378=1, 4379=1, 4380=1, 4381=1, 4382=1, 4383=1, 4384=1, 4385=1, 4387=1, 4426=1, 4464=1, 4478=1, 4489=1, 4497=1, 4503=1, 4507=1, 4509=1, 4510=1, 4511=1, 4512=1, 4513=1, 4514=1, 4515=1, 4517=1, 4556=1, 4558=1, 4561=1, 4564=1, 4625=1, 4638=1, 4648=1, 4656=1, 4662=1, 4667=1, 4668=1, 4669=1, 4670=1, 4671=1, 4672=1, 4674=1, 4715=1, 4752=1, 4796=1, 4811=1, 4823=1, 4833=1, 4841=1, 4847=1, 4851=1, 4853=1, 4854=1, 4855=1, 4856=1, 4857=1, 4858=1, 4860=1, 4901=1, 4905=1, 5000=1, 5017=1, 5031=1, 5043=1, 5053=1, 5061=1, 5067=1, 5071=1, 5073=1, 5074=1, 5075=1, 5076=1, 5077=1, 5079=1, 5098=1, 5119=1, 5122=1, 5139=1, 5240=1, 5259=1, 5275=1, 5289=1, 5301=1, 5318=1, 5324=1, 5328=1, 5330=1, 5331=1, 5332=1, 5334=1, 5375=1, 5532=1, 5550=1, 5566=1, 5580=1, 5592=1, 5602=1, 5610=1, 5616=1, 5620=1, 5621=1, 5623=1, 5624=1, 5626=1, 5665=1, 5667=1, 5826=1, 5849=1, 5869=1, 5902=1, 5916=1, 5928=1, 5938=1, 5946=1, 5952=1, 5953=1, 5958=1, 5960=1, 6000=1, 6182=1, 6207=1, 6229=1, 6249=1, 6267=1, 6283=1, 6297=1, 6309=1, 6319=1, 6327=1, 6328=1, 6334=1, 6338=1, 6340=1, 6341=1, 6360=1, 6383=1, 6473=1, 6593=1, 6757=1, 6777=1, 6778=1, 6817=1, 7236=1, 7266=1, 7310=1, 7487=1, 7546=1, 7778=1, 7819=1, 7936=1, 7955=1, 7982=1, 7985=1, 7986=1, 7987=1, 7988=1, 7989=1, 7990=1, 7991=1, 7992=1, 7993=1, 7994=1, 7995=1, 7996=1, 7997=1, 7998=1, 7999=1, 8000=1, 8001=1, 8002=1, 8003=1, 8004=1, 8005=1, 8006=1, 8007=1, 8008=1, 8009=1, 8010=1, 8011=1, 8012=1, 8013=1, 8014=1, 8133=1, 8171=1, 8180=1, 8181=1, 8182=1, 8183=1, 8184=1, 8185=1, 8186=1, 8187=1, 8188=1, 8189=1, 8193=1, 8194=1, 8195=1, 8196=1, 8197=1, 8198=1, 8199=1, 8200=1, 8201=1, 8202=1, 8203=1, 8204=1, 8205=1, 8206=1, 8207=1, 8208=1, 8209=1, 8210=1, 8211=1, 8212=1}
Probabilistic random walk after 3900 steps, saw 1904 distinct states, run finished after 3004 ms. (steps per millisecond=1 ) properties seen :540
Running SMT prover for 14168 properties.
[2022-05-17 01:34:19] [INFO ] Flow matrix only has 14906 transitions (discarded 1056 similar events)
// Phase 1: matrix 14906 rows 8657 cols
[2022-05-17 01:34:20] [INFO ] Computed 1429 place invariants in 829 ms
[2022-05-17 01:35:24] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-17 01:35:24] [INFO ] After 25060ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 14168 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 2 ms.
Support contains 7947 out of 8657 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 8657/8657 places, 15962/15962 transitions.
Applied a total of 0 rules in 935 ms. Remains 8657 /8657 variables (removed 0) and now considering 15962/15962 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 8657/8657 places, 15962/15962 transitions.
Interrupted random walk after 180001 steps, including 6153 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 1196
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12972) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12970) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12969) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12968) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12966) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12966) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 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 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12965) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12965) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12965) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12965) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12965) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12964) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12964) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12963) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12963) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12963) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 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 3 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12962) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12961) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12961) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12961) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12961) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12961) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12960) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12959) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12957) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12957) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12957) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12956) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12956) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 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 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12953) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12953) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12953) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12951) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12950) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12949) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12948) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12945) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12944) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12943) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12941) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 12940) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12938) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12938) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12937) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12935) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12933) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 12931) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 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 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12930) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12929) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12928) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 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 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12928) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12927) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12924) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12924) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12923) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12922) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12921) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12921) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12919) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12918) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12916) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12915) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12915) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12915) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12914) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12914) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12913) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12913) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 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 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12913) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12913) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12912) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12911) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12911) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12908) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12908) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12907) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12905) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12904) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12904) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12904) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12904) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12903) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12901) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12899) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12898) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12897) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12896) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12895) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12895) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12895) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12895) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12895) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12894) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12894) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12894) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12894) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12893) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12892) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12890) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12888) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 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 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12886) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12885) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12885) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12885) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12885) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 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 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 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 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12884) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12882) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 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 3 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 3 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 3 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 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 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 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12881) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 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 3 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 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12879) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12878) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 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 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12877) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12876) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12875) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 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 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 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 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 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 3 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 3 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 3 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 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12874) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 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 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12873) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12872) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12872) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 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 3 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 3 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 3 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 3 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 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12869) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 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 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12869) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12869) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12869) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 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 3 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 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12869) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12868) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12868) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 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 3 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 3 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 3 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 3 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 3 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 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12867) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12867) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 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 3 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 3 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 3 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 3 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 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12867) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 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 3 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 3 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 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12867) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 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 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12866) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 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 3 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 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12865) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12865) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12865) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12864) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12864) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12864) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12864) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12864) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12864) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12862) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12862) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12862) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12862) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12862) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12862) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12862) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12862) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12862) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12862) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12862) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12861) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12861) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 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 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12861) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12861) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12861) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12859) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12859) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12859) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12859) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12859) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12859) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12859) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12859) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12859) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12859) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12859) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12859) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12859) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12859) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12859) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12859) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12859) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12859) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12859) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12857) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12857) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12857) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12857) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12857) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12857) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12857) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12857) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12857) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12857) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12856) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12856) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12855) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12855) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12855) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12855) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12855) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12855) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12855) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12855) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12855) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12855) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12855) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12855) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12855) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 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 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12853) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12853) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12851) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12851) seen :4
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12847) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12847) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12845) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12845) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12845) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12845) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12845) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12843) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12842) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12842) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12841) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12841) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12839) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12839) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12838) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12838) seen :3
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12835) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12833) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12833) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12832) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 12832) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12830) seen :0
Running SMT prover for 12830 properties.
[2022-05-17 01:37:22] [INFO ] Flow matrix only has 14906 transitions (discarded 1056 similar events)
// Phase 1: matrix 14906 rows 8657 cols
[2022-05-17 01:37:22] [INFO ] Computed 1429 place invariants in 888 ms
[2022-05-17 01:41:37] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-17 01:41:37] [INFO ] After 225020ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 12830 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 6612 out of 8657 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 8657/8657 places, 15962/15962 transitions.
Free-agglomeration rule (complex) applied 9 times.
Iterating global reduction 0 with 9 rules applied. Total rules applied 9 place count 8657 transition count 15953
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 0 with 9 rules applied. Total rules applied 18 place count 8648 transition count 15953
Applied a total of 18 rules in 1351 ms. Remains 8648 /8657 variables (removed 9) and now considering 15953/15962 (removed 9) transitions.
Finished structural reductions, in 1 iterations. Remains : 8648/8657 places, 15953/15962 transitions.
Interrupted random walk after 179995 steps, including 6160 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 15
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12815) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12815) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12814) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12814) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12812) seen :0
Interrupted probabilistic random walk after 140565 steps, run timeout after 111002 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 140565 steps, saw 63935 distinct states, run finished after 111004 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 12812 properties.
[2022-05-17 01:44:07] [INFO ] Flow matrix only has 14888 transitions (discarded 1065 similar events)
// Phase 1: matrix 14888 rows 8648 cols
[2022-05-17 01:44:08] [INFO ] Computed 1429 place invariants in 895 ms
[2022-05-17 01:48:20] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-17 01:48:20] [INFO ] After 225035ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 12812 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 6601 out of 8648 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 8648/8648 places, 15953/15953 transitions.
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 3 place count 8648 transition count 15950
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 6 place count 8645 transition count 15950
Applied a total of 6 rules in 1213 ms. Remains 8645 /8648 variables (removed 3) and now considering 15950/15953 (removed 3) transitions.
Finished structural reductions, in 1 iterations. Remains : 8645/8648 places, 15950/15953 transitions.
Interrupted random walk after 180001 steps, including 6163 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 9
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12803) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12803) seen :2
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 117 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12801) seen :0
Interrupted probabilistic random walk after 151790 steps, run timeout after 123001 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 151790 steps, saw 69005 distinct states, run finished after 123003 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 12801 properties.
[2022-05-17 01:51:06] [INFO ] Flow matrix only has 14882 transitions (discarded 1068 similar events)
// Phase 1: matrix 14882 rows 8645 cols
[2022-05-17 01:51:07] [INFO ] Computed 1429 place invariants in 882 ms
[2022-05-17 01:55:19] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-17 01:55:19] [INFO ] After 225023ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 12801 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 6594 out of 8645 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 8645/8645 places, 15950/15950 transitions.
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 1 place count 8645 transition count 15949
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 2 place count 8644 transition count 15949
Applied a total of 2 rules in 1136 ms. Remains 8644 /8645 variables (removed 1) and now considering 15949/15950 (removed 1) transitions.
Finished structural reductions, in 1 iterations. Remains : 8644/8645 places, 15949/15950 transitions.
Interrupted random walk after 180001 steps, including 6163 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 13
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12788) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12788) seen :1
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12787) seen :0
Interrupted probabilistic random walk after 145916 steps, run timeout after 123002 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 145916 steps, saw 66354 distinct states, run finished after 123004 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 12787 properties.
[2022-05-17 01:58:05] [INFO ] Flow matrix only has 14880 transitions (discarded 1069 similar events)
// Phase 1: matrix 14880 rows 8644 cols
[2022-05-17 01:58:06] [INFO ] Computed 1429 place invariants in 769 ms
[2022-05-17 02:02:19] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-17 02:02:19] [INFO ] After 225050ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 12787 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 6587 out of 8644 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 8644/8644 places, 15949/15949 transitions.
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 3 place count 8644 transition count 15946
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 6 place count 8641 transition count 15946
Applied a total of 6 rules in 1224 ms. Remains 8641 /8644 variables (removed 3) and now considering 15946/15949 (removed 3) transitions.
Finished structural reductions, in 1 iterations. Remains : 8641/8644 places, 15946/15949 transitions.
Interrupted random walk after 179995 steps, including 6166 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 14
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12773) seen :0
Incomplete Best-First random walk after 1001 steps, including 3 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12773) seen :0

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//
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
++ perl -pe 's/.*\.//g'
+ 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-S32C04"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="itstools"
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-4028"
echo " Executing tool itstools"
echo " Input is MultiCrashLeafsetExtension-PT-S32C04, 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 r139-tall-165271828100507"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C04.tgz
mv MultiCrashLeafsetExtension-PT-S32C04 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 ;