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-165271828100497.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-S32C02, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-tall-165271828100497
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 17K Apr 29 17:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 107K Apr 29 17:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Apr 29 17:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Apr 29 17:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.9K May 9 08:17 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K 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 18K May 9 08:17 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.5K 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 16M 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 1652750721781

Running Version 202205111006
[2022-05-17 01:25:22] [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:25:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-17 01:25:23] [INFO ] Load time of PNML (sax parser for PT used): 780 ms
[2022-05-17 01:25:23] [INFO ] Transformed 13544 places.
[2022-05-17 01:25:23] [INFO ] Transformed 21807 transitions.
[2022-05-17 01:25:23] [INFO ] Parsed PT model containing 13544 places and 21807 transitions in 999 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 13544/13544 places, 21807/21807 transitions.
Reduce places removed 40 places and 0 transitions.
Drop transitions removed 2112 transitions
Trivial Post-agglo rules discarded 2112 transitions
Performed 2112 trivial Post agglomeration. Transition count delta: 2112
Iterating post reduction 0 with 2152 rules applied. Total rules applied 2152 place count 13504 transition count 19695
Reduce places removed 2112 places and 0 transitions.
Iterating post reduction 1 with 2112 rules applied. Total rules applied 4264 place count 11392 transition count 19695
Performed 132 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 132 Pre rules applied. Total rules applied 4264 place count 11392 transition count 19563
Deduced a syphon composed of 132 places in 58 ms
Reduce places removed 132 places and 0 transitions.
Iterating global reduction 2 with 264 rules applied. Total rules applied 4528 place count 11260 transition count 19563
Discarding 1980 places :
Symmetric choice reduction at 2 with 1980 rule applications. Total rules 6508 place count 9280 transition count 17583
Iterating global reduction 2 with 1980 rules applied. Total rules applied 8488 place count 9280 transition count 17583
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 4 Pre rules applied. Total rules applied 8488 place count 9280 transition count 17579
Deduced a syphon composed of 4 places in 16 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 8496 place count 9276 transition count 17579
Discarding 990 places :
Symmetric choice reduction at 2 with 990 rule applications. Total rules 9486 place count 8286 transition count 15599
Iterating global reduction 2 with 990 rules applied. Total rules applied 10476 place count 8286 transition count 15599
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 18 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 10542 place count 8253 transition count 15566
Applied a total of 10542 rules in 10516 ms. Remains 8253 /13544 variables (removed 5291) and now considering 15566/21807 (removed 6241) transitions.
[2022-05-17 01:25:34] [INFO ] Flow matrix only has 14510 transitions (discarded 1056 similar events)
// Phase 1: matrix 14510 rows 8253 cols
[2022-05-17 01:25:35] [INFO ] Computed 1293 place invariants in 972 ms
[2022-05-17 01:25:36] [INFO ] Implicit Places using invariants in 1953 ms returned []
Implicit Place search using SMT only with invariants took 1983 ms to find 0 implicit places.
[2022-05-17 01:25:36] [INFO ] Flow matrix only has 14510 transitions (discarded 1056 similar events)
// Phase 1: matrix 14510 rows 8253 cols
[2022-05-17 01:25:37] [INFO ] Computed 1293 place invariants in 828 ms
[2022-05-17 01:25:38] [INFO ] Dead Transitions using invariants and state equation in 1707 ms found 0 transitions.
Starting structural reductions in LIVENESS mode, iteration 1 : 8253/13544 places, 15566/21807 transitions.
Finished structural reductions, in 1 iterations. Remains : 8253/13544 places, 15566/21807 transitions.
Initial state reduction rules removed 33 formulas.
Incomplete random walk after 10000 steps, including 661 resets, run finished after 1668 ms. (steps per millisecond=5 ) properties (out of 15533) seen :702
Interrupted probabilistic random walk after 3328 steps, run timeout after 3002 ms. (steps per millisecond=1 ) properties seen :{16=1, 37=1, 48=1, 57=1, 80=1, 111=1, 130=1, 151=1, 282=1, 314=1, 345=1, 346=1, 447=1, 468=1, 469=1, 487=1, 488=1, 504=1, 518=1, 519=1, 531=1, 541=1, 549=1, 555=1, 559=1, 561=1, 595=1, 599=1, 606=1, 613=1, 632=1, 659=1, 676=1, 695=1, 816=1, 846=1, 876=1, 877=1, 970=1, 989=1, 1005=1, 1006=1, 1020=1, 1032=1, 1033=1, 1043=1, 1051=1, 1057=1, 1061=1, 1063=1, 1064=1, 1098=1, 1104=1, 1109=1, 1124=1, 1147=1, 1162=1, 1179=1, 1290=1, 1318=1, 1346=1, 1347=1, 1432=1, 1449=1, 1450=1, 1464=1, 1465=1, 1477=1, 1487=1, 1488=1, 1496=1, 1502=1, 1506=1, 1507=1, 1509=1, 1510=1, 1528=1, 1545=1, 1549=1, 1551=1, 1554=1, 1565=1, 1584=1, 1597=1, 1612=1, 1713=1, 1739=1, 1763=1, 1764=1, 1841=1, 1856=1, 1857=1, 1869=1, 1870=1, 1880=1, 1888=1, 1889=1, 1895=1, 1899=1, 1901=1, 1902=1, 1903=1, 1904=1, 1938=1, 1942=1, 1944=1, 1946=1, 1953=1, 1968=1, 1979=1, 1992=1, 2083=1, 2107=1, 2131=1, 2132=1, 2201=1, 2214=1, 2215=1, 2225=1, 2226=1, 2234=1, 2240=1, 2241=1, 2245=1, 2247=1, 2248=1, 2249=1, 2250=1, 2251=1, 2285=1, 2289=1, 2292=1, 2296=1, 2307=1, 2316=1, 2327=1, 2408=1, 2429=1, 2450=1, 2511=1, 2522=1, 2523=1, 2531=1, 2532=1, 2538=1, 2542=1, 2543=1, 2545=1, 2546=1, 2547=1, 2548=1, 2549=1, 2550=1, 2568=1, 2585=1, 2590=1, 2593=1, 2595=1, 2597=1, 2604=1, 2611=1, 2620=1, 2691=1, 2711=1, 2731=1, 2732=1, 2785=1, 2794=1, 2795=1, 2801=1, 2802=1, 2806=1, 2808=1, 2809=1, 2810=1, 2811=1, 2812=1, 2813=1, 2814=1, 2848=1, 2852=1, 2855=1, 2857=1, 2862=1, 2867=1, 2874=1, 2935=1, 2952=1, 2970=1, 2971=1, 3015=1, 3022=1, 3023=1, 3027=1, 3028=1, 3030=1, 3031=1, 3032=1, 3033=1, 3034=1, 3035=1, 3036=1, 3037=1, 3038=1, 3072=1, 3077=1, 3080=1, 3082=1, 3085=1, 3087=1, 3090=1, 3095=1, 3146=1, 3162=1, 3178=1, 3179=1, 3202=1, 3217=1, 3222=1, 3223=1, 3225=1, 3226=1, 3227=1, 3228=1, 3229=1, 3230=1, 3231=1, 3232=1, 3233=1, 3234=1, 3235=1, 3236=1, 3254=1, 3271=1, 3273=1, 3276=1, 3278=1, 3281=1, 3283=1, 3286=1, 3297=1, 3328=1, 3342=1, 3356=1, 3357=1, 3386=1, 3389=1, 3390=1, 3391=1, 3392=1, 3393=1, 3394=1, 3395=1, 3396=1, 3397=1, 3398=1, 3399=1, 3400=1, 3418=1, 3435=1, 3440=1, 3443=1, 3445=1, 3448=1, 3451=1, 3453=1, 3482=1, 3494=1, 3506=1, 3507=1, 3528=1, 3530=1, 3531=1, 3532=1, 3533=1, 3534=1, 3535=1, 3536=1, 3537=1, 3538=1, 3539=1, 3540=1, 3541=1, 3542=1, 3560=1, 3577=1, 3582=1, 3585=1, 3587=1, 3590=1, 3593=1, 3595=1, 3617=1, 3627=1, 3637=1, 3638=1, 3652=1, 3654=1, 3655=1, 3656=1, 3657=1, 3658=1, 3659=1, 3660=1, 3661=1, 3662=1, 3663=1, 3664=1, 3665=1, 3666=1, 3684=1, 3701=1, 3706=1, 3709=1, 3711=1, 3714=1, 3717=1, 3719=1, 3721=1, 3735=1, 3743=1, 3751=1, 3752=1, 3761=1, 3763=1, 3764=1, 3765=1, 3766=1, 3767=1, 3768=1, 3769=1, 3770=1, 3771=1, 3772=1, 3773=1, 3774=1, 3792=1, 3809=1, 3814=1, 3817=1, 3819=1, 3822=1, 3825=1, 3826=1, 3828=1, 3837=1, 3843=1, 3849=1, 3850=1, 3856=1, 3858=1, 3859=1, 3860=1, 3861=1, 3862=1, 3863=1, 3864=1, 3865=1, 3866=1, 3867=1, 3868=1, 3869=1, 3870=1, 3888=1, 3905=1, 3909=1, 3911=1, 3913=1, 3916=1, 3919=1, 3921=1, 3923=1, 3929=1, 3933=1, 3936=1, 3941=1, 3942=1, 3943=1, 3944=1, 3945=1, 3946=1, 3947=1, 3948=1, 3949=1, 3950=1, 3951=1, 3952=1, 3953=1, 3954=1, 3988=1, 3993=1, 3996=1, 3998=1, 4001=1, 4004=1, 4006=1, 4008=1, 4012=1, 4014=1, 4017=1, 4018=1, 4023=1, 4024=1, 4025=1, 4026=1, 4027=1, 4028=1, 4029=1, 4030=1, 4031=1, 4032=1, 4033=1, 4034=1, 4035=1, 4053=1, 4070=1, 4074=1, 4077=1, 4079=1, 4082=1, 4085=1, 4087=1, 4089=1, 4095=1, 4098=1, 4099=1, 4104=1, 4106=1, 4107=1, 4108=1, 4109=1, 4110=1, 4111=1, 4112=1, 4113=1, 4114=1, 4115=1, 4116=1, 4117=1, 4118=1, 4136=1, 4153=1, 4158=1, 4161=1, 4163=1, 4166=1, 4169=1, 4171=1, 4173=1, 4179=1, 4182=1, 4183=1, 4188=1, 4190=1, 4191=1, 4192=1, 4193=1, 4194=1, 4195=1, 4196=1, 4197=1, 4198=1, 4199=1, 4200=1, 4201=1, 4202=1, 4235=1, 4239=1, 4242=1, 4244=1, 4247=1, 4250=1, 4252=1, 4254=1, 4261=1, 4266=1, 4267=1, 4273=1, 4275=1, 4276=1, 4277=1, 4278=1, 4279=1, 4280=1, 4281=1, 4282=1, 4283=1, 4284=1, 4285=1, 4286=1, 4287=1, 4321=1, 4325=1, 4327=1, 4329=1, 4332=1, 4335=1, 4337=1, 4339=1, 4349=1, 4355=1, 4360=1, 4365=1, 4367=1, 4368=1, 4369=1, 4370=1, 4371=1, 4372=1, 4373=1, 4374=1, 4375=1, 4376=1, 4377=1, 4378=1, 4379=1, 4413=1, 4418=1, 4421=1, 4423=1, 4426=1, 4429=1, 4431=1, 4433=1, 4448=1, 4457=1, 4464=1, 4472=1, 4474=1, 4475=1, 4476=1, 4477=1, 4478=1, 4479=1, 4480=1, 4481=1, 4482=1, 4483=1, 4484=1, 4485=1, 4519=1, 4523=1, 4526=1, 4528=1, 4531=1, 4534=1, 4536=1, 4538=1, 4560=1, 4570=1, 4571=1, 4580=1, 4593=1, 4594=1, 4595=1, 4596=1, 4597=1, 4598=1, 4599=1, 4600=1, 4601=1, 4602=1, 4603=1, 4604=1, 4605=1, 4606=1, 4607=1, 4641=1, 4645=1, 4648=1, 4650=1, 4653=1, 4656=1, 4658=1, 4660=1, 4691=1, 4704=1, 4705=1, 4716=1, 4735=1, 4738=1, 4739=1, 4740=1, 4741=1, 4742=1, 4743=1, 4744=1, 4745=1, 4746=1, 4747=1, 4748=1, 4749=1, 4750=1, 4768=1, 4785=1, 4790=1, 4793=1, 4795=1, 4798=1, 4801=1, 4803=1, 4806=1, 4835=1, 4848=1, 4863=1, 4876=1, 4905=1, 4906=1, 4908=1, 4909=1, 4910=1, 4911=1, 4912=1, 4913=1, 4914=1, 4915=1, 4916=1, 4917=1, 4918=1, 4952=1, 4957=1, 4960=1, 4962=1, 4965=1, 4968=1, 4971=1, 4976=1, 5026=1, 5043=1, 5044=1, 5059=1, 5096=1, 5097=1, 5101=1, 5102=1, 5104=1, 5105=1, 5106=1, 5107=1, 5108=1, 5109=1, 5110=1, 5111=1, 5112=1, 5129=1, 5146=1, 5150=1, 5153=1, 5155=1, 5158=1, 5162=1, 5167=1, 5174=1, 5235=1, 5254=1, 5255=1, 5272=1, 5316=1, 5317=1, 5323=1, 5324=1, 5328=1, 5329=1, 5331=1, 5332=1, 5333=1, 5334=1, 5335=1, 5336=1, 5337=1, 5338=1, 5356=1, 5373=1, 5378=1, 5381=1, 5383=1, 5386=1, 5389=1, 5394=1, 5401=1, 5410=1, 5481=1, 5502=1, 5503=1, 5522=1, 5575=1, 5576=1, 5584=1, 5585=1, 5591=1, 5592=1, 5596=1, 5598=1, 5599=1, 5600=1, 5601=1, 5602=1, 5603=1, 5637=1, 5641=1, 5644=1, 5646=1, 5650=1, 5661=1, 5670=1, 5681=1, 5761=1, 5784=1, 5805=1, 5866=1, 5867=1, 5877=1, 5878=1, 5886=1, 5887=1, 5893=1, 5897=1, 5898=1, 5900=1, 5901=1, 5902=1, 5903=1, 5904=1, 5922=1, 5939=1, 5943=1, 5946=1, 5948=1, 5955=1, 5969=1, 5980=1, 5993=1, 6084=1, 6109=1, 6110=1, 6133=1, 6201=1, 6202=1, 6214=1, 6215=1, 6225=1, 6226=1, 6234=1, 6240=1, 6241=1, 6245=1, 6247=1, 6248=1, 6249=1, 6250=1, 6268=1, 6285=1, 6290=1, 6293=1, 6296=1, 6301=1, 6308=1, 6327=1, 6340=1, 6355=1, 6456=1, 6482=1, 6483=1, 6508=1, 6585=1, 6586=1, 6600=1, 6601=1, 6613=1, 6614=1, 6624=1, 6632=1, 6633=1, 6639=1, 6643=1, 6645=1, 6646=1, 6647=1, 6681=1, 6686=1, 6690=1, 6695=1, 6710=1, 6733=1, 6748=1, 6765=1, 6875=1, 6904=1, 6905=1, 6932=1, 7017=1, 7018=1, 7034=1, 7035=1, 7049=1, 7050=1, 7062=1, 7072=1, 7073=1, 7081=1, 7087=1, 7091=1, 7093=1, 7094=1, 7112=1, 7129=1, 7134=1, 7141=1, 7148=1, 7167=1, 7194=1, 7211=1, 7230=1, 7351=1, 7381=1, 7382=1, 7383=1, 7412=1, 7505=1, 7506=1, 7524=1, 7525=1, 7541=1, 7542=1, 7556=1, 7568=1, 7569=1, 7579=1, 7587=1, 7593=1, 7597=1, 7599=1, 7600=1, 7633=1, 7638=1, 7649=1, 7658=1, 7681=1, 7712=1, 7731=1, 7752=1, 7882=1, 7916=1, 7947=1, 8048=1, 8069=1, 8088=1, 8119=1, 8222=1, 8223=1, 8224=1, 8225=1, 8226=1, 8227=1, 8228=1, 8229=1, 8230=1, 8231=1, 8232=1, 8233=1, 8234=1, 8235=1, 8236=1, 8237=1, 8238=1, 8239=1, 8240=1, 8241=1, 8242=1, 8243=1, 8244=1, 8245=1, 8246=1, 8247=1, 8248=1, 8249=1, 8250=1, 8251=1, 8252=1, 8302=1, 8308=1, 8309=1, 8310=1, 8311=1, 8312=1, 8313=1, 8314=1, 8315=1, 8317=1, 8318=1, 8319=1, 8320=1, 8321=1, 8322=1, 8323=1, 8324=1, 8325=1, 8326=1, 8327=1, 8328=1, 8329=1, 8330=1, 8331=1, 8332=1, 8333=1, 8334=1, 8335=1}
Probabilistic random walk after 3328 steps, saw 1579 distinct states, run finished after 3004 ms. (steps per millisecond=1 ) properties seen :907
Running SMT prover for 13924 properties.
[2022-05-17 01:25:43] [INFO ] Flow matrix only has 14510 transitions (discarded 1056 similar events)
// Phase 1: matrix 14510 rows 8253 cols
[2022-05-17 01:25:44] [INFO ] Computed 1293 place invariants in 806 ms
[2022-05-17 01:26:45] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-17 01:26:45] [INFO ] After 25065ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 13924 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 2 ms.
Support contains 7666 out of 8253 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 8253/8253 places, 15566/15566 transitions.
Applied a total of 0 rules in 743 ms. Remains 8253 /8253 variables (removed 0) and now considering 15566/15566 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 8253/8253 places, 15566/15566 transitions.
Interrupted random walk after 180000 steps, including 11907 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 606
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13318) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13314) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13313) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13311) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13309) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13309) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 13309) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13308) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13307) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13307) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13306) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13306) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 13306) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13306) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13306) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13303) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 13303) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 13303) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 13303) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13303) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13303) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13303) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 13303) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 13300) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 13300) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13300) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13299) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13299) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13298) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13298) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13298) seen :11
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13287) seen :5
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13282) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13279) seen :6
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13273) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13270) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13266) seen :7
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13259) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13257) seen :5
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13252) seen :5
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13247) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13244) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13240) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 13239) seen :6
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13233) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 13231) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13228) seen :6
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13222) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13221) seen :5
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13216) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13214) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13210) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13208) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13205) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13203) seen :5
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13198) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13195) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13193) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13189) seen :5
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 13184) seen :6
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13178) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 13174) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13172) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13168) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13164) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13161) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13160) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13156) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13154) seen :6
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 13148) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 13148) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13145) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 13143) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 13140) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13139) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13136) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13134) seen :5
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 13129) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13125) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 13121) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13118) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13118) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13114) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13112) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13110) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13108) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 13104) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 13101) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13100) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13099) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13097) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13095) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 13092) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 13090) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 13090) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 13087) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13086) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13084) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 13083) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13081) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 13080) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 13076) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 13075) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13074) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 13072) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13071) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 13071) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13069) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13068) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 13067) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 13066) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13066) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13064) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 13063) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13060) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13059) seen :5
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 13054) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13054) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13052) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13050) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 13049) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13049) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13049) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13049) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13049) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13047) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13047) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13046) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 13044) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 13042) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13041) seen :5
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 13036) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13033) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13031) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 13028) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13025) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13024) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 13024) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13023) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13023) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 13023) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 13023) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13019) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 13018) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 13018) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13018) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13017) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 13016) seen :5
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13011) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 13010) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 13007) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13007) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 13005) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 13004) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 13001) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12998) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12997) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12994) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12992) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12989) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12989) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12988) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12987) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12986) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12986) seen :5
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12981) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12980) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12978) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12976) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12975) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12975) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12975) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12974) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12974) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12974) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12972) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12969) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12967) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12965) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12963) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12961) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12960) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12959) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12958) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12957) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12957) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12957) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12957) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12956) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12956) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12954) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12953) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12952) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12951) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12951) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12951) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12949) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12949) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12949) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12948) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12946) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12946) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12946) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12946) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12944) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12943) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12943) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12943) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12942) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12940) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12938) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12936) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12936) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12936) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12935) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12932) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12931) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12930) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12930) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12930) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12930) seen :7
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12923) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12922) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12922) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12921) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 12920) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12918) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12918) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12918) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12916) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12915) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12915) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12915) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12915) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12914) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12914) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12914) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12914) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12914) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12914) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12914) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12914) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12914) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12913) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12913) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12913) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12913) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12913) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12913) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12913) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12912) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12910) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 12910) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12909) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12909) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12909) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12909) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12909) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12909) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12909) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12909) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12909) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12909) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12908) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12907) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12906) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12905) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12905) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12905) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12905) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12905) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12905) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12903) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12903) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12903) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12903) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12903) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12903) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12903) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12903) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12902) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12901) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12901) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12901) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12901) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12901) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12901) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12901) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12900) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12900) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12900) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12900) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12900) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12900) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12900) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12898) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12897) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12897) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12897) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12897) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12897) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12897) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12897) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12897) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12897) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12897) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12897) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12897) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12896) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12896) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12896) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12894) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12894) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12894) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12894) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12894) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12894) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12894) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12894) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12893) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12893) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12893) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12892) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12892) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12890) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12890) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12890) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12890) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12890) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12890) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12890) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12890) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12890) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12890) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12890) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12890) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12890) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12889) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12889) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12889) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12889) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12889) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12889) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12889) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12889) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12889) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12889) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12889) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12889) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12889) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12889) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12889) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12889) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12889) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12889) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12889) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12889) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12889) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12887) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12887) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12886) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12886) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12885) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12885) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12885) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12885) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12885) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12885) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12885) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12885) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12885) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12884) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12884) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12883) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12883) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12882) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12882) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12881) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12881) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12880) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12880) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12879) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12879) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12878) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12878) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12877) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12874) seen :0
Probably explored full state space saw : 154004 states, properties seen :190
Probabilistic random walk after 342197 steps, saw 154004 distinct states, run finished after 288659 ms. (steps per millisecond=1 ) properties seen :190
Explored full state space saw : 154012 states, properties seen :0
Exhaustive walk after 342213 steps, saw 154012 distinct states, run finished after 292145 ms. (steps per millisecond=1 ) properties seen :0
FORMULA QuasiLiveness FALSE TECHNIQUES RANDOM_WALK PROBABILISTIC_WALK EXHAUSTIVE_WALK BESTFIRST_WALK TOPOLOGICAL INITIAL_STATE
Total runtime 773810 ms.

BK_STOP 1652751496813

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S32C02"
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-S32C02, 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-165271828100497"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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