Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r264-tall-171654373200092.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool gold2023
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 r264-tall-171654373200092
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 14K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.1K Apr 22 14:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 22 14:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Apr 22 14:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 22 14:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 24K Apr 12 05:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 134K Apr 12 05:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 19K Apr 12 05:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 87K Apr 12 05:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Apr 22 14:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Apr 22 14:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 16M May 18 16:43 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 1716631856163

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=gold2023
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C02
Not applying reductions.
Model is PT
QuasiLiveness PT
Running Version 202304061127
[2024-05-25 10:10:57] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2024-05-25 10:10:57] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-25 10:10:58] [INFO ] Load time of PNML (sax parser for PT used): 577 ms
[2024-05-25 10:10:58] [INFO ] Transformed 13544 places.
[2024-05-25 10:10:58] [INFO ] Transformed 21807 transitions.
[2024-05-25 10:10:58] [INFO ] Parsed PT model containing 13544 places and 21807 transitions and 93598 arcs in 740 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 66 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
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 24 ms
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 2 with 66 rules applied. Total rules applied 4594 place count 11227 transition count 19530
Applied a total of 4594 rules in 1183 ms. Remains 11227 /13544 variables (removed 2317) and now considering 19530/21807 (removed 2277) transitions.
[2024-05-25 10:10:59] [INFO ] Flow matrix only has 18474 transitions (discarded 1056 similar events)
// Phase 1: matrix 18474 rows 11227 cols
[2024-05-25 10:11:01] [INFO ] Computed 1293 invariants in 1517 ms
[2024-05-25 10:11:02] [INFO ] Implicit Places using invariants in 2662 ms returned []
Implicit Place search using SMT only with invariants took 2949 ms to find 0 implicit places.
[2024-05-25 10:11:02] [INFO ] Flow matrix only has 18474 transitions (discarded 1056 similar events)
[2024-05-25 10:11:02] [INFO ] Invariant cache hit.
[2024-05-25 10:11:03] [INFO ] Dead Transitions using invariants and state equation in 984 ms found 0 transitions.
Starting structural reductions in LIVENESS mode, iteration 1 : 11227/13544 places, 19530/21807 transitions.
Finished structural reductions in LIVENESS mode , in 1 iterations and 5125 ms. Remains : 11227/13544 places, 19530/21807 transitions.
Initial state reduction rules removed 33 formulas.
[2024-05-25 10:11:06] [INFO ] Flatten gal took : 1654 ms
Incomplete random walk after 10000 steps, including 584 resets, run finished after 2226 ms. (steps per millisecond=4 ) properties (out of 19497) seen :347
[2024-05-25 10:11:07] [INFO ] Flatten gal took : 1066 ms
[2024-05-25 10:11:07] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10356369552025676789.gal : 159 ms
[2024-05-25 10:11:07] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7641940317957871514.prop : 86 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202304061127/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality10356369552025676789.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality7641940317957871514.prop' '--nowitness' '--gen-order' 'FOLLOW'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202304061127/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
Loading property file /tmp/ReachabilityCardinality7641940317957871514.prop.
Interrupted probabilistic random walk after 5470 steps, run timeout after 6001 ms. (steps per millisecond=0 ) properties seen :{16=1, 33=1, 52=1, 63=1, 90=1, 107=1, 126=1, 219=1, 248=1, 311=1, 313=1, 345=1, 346=1, 377=1, 378=1, 379=1, 408=1, 409=1, 410=1, 437=1, 438=1, 439=1, 464=1, 465=1, 466=1, 489=1, 490=1, 491=1, 511=1, 512=1, 513=1, 532=1, 533=1, 534=1, 551=1, 552=1, 567=1, 568=1, 569=1, 582=1, 583=1, 584=1, 595=1, 596=1, 597=1, 606=1, 607=1, 608=1, 615=1, 616=1, 617=1, 622=1, 623=1, 624=1, 627=1, 663=1, 677=1, 686=1, 709=1, 724=1, 741=1, 826=1, 853=1, 912=1, 914=1, 944=1, 945=1, 974=1, 975=1, 976=1, 1003=1, 1004=1, 1005=1, 1030=1, 1031=1, 1032=1, 1055=1, 1056=1, 1057=1, 1078=1, 1079=1, 1080=1, 1099=1, 1100=1, 1101=1, 1118=1, 1119=1, 1120=1, 1135=1, 1136=1, 1149=1, 1150=1, 1151=1, 1162=1, 1163=1, 1164=1, 1173=1, 1174=1, 1175=1, 1182=1, 1183=1, 1184=1, 1189=1, 1190=1, 1191=1, 1194=1, 1195=1, 1196=1, 1198=1, 1218=1, 1235=1, 1238=1, 1246=1, 1253=1, 1272=1, 1285=1, 1300=1, 1377=1, 1402=1, 1457=1, 1459=1, 1487=1, 1488=1, 1515=1, 1516=1, 1517=1, 1542=1, 1543=1, 1544=1, 1567=1, 1568=1, 1569=1, 1590=1, 1591=1, 1592=1, 1611=1, 1612=1, 1613=1, 1630=1, 1631=1, 1632=1, 1647=1, 1648=1, 1649=1, 1662=1, 1663=1, 1674=1, 1675=1, 1676=1, 1685=1, 1686=1, 1687=1, 1694=1, 1695=1, 1696=1, 1701=1, 1702=1, 1703=1, 1706=1, 1707=1, 1708=1, 1710=1, 1711=1, 1712=1, 1714=1, 1750=1, 1754=1, 1761=1, 1766=1, 1781=1, 1792=1, 1805=1, 1874=1, 1897=1, 1948=1, 1950=1, 1976=1, 1977=1, 2002=1, 2003=1, 2004=1, 2027=1, 2028=1, 2029=1, 2050=1, 2051=1, 2052=1, 2071=1, 2072=1, 2073=1, 2090=1, 2091=1, 2092=1, 2107=1, 2108=1, 2109=1, 2122=1, 2123=1, 2124=1, 2135=1, 2136=1, 2145=1, 2146=1, 2147=1, 2154=1, 2155=1, 2156=1, 2161=1, 2162=1, 2163=1, 2166=1, 2167=1, 2168=1, 2170=1, 2171=1, 2172=1, 2174=1, 2175=1, 2176=1, 2178=1, 2214=1, 2218=1, 2228=1, 2239=1, 2248=1, 2259=1, 2320=1, 2341=1, 2388=1, 2390=1, 2414=1, 2415=1, 2438=1, 2439=1, 2440=1, 2461=1, 2462=1, 2463=1, 2482=1, 2483=1, 2484=1, 2501=1, 2502=1, 2503=1, 2518=1, 2519=1, 2520=1, 2533=1, 2534=1, 2535=1, 2546=1, 2547=1, 2548=1, 2557=1, 2558=1, 2565=1, 2566=1, 2567=1, 2572=1, 2573=1, 2574=1, 2577=1, 2578=1, 2579=1, 2581=1, 2582=1, 2583=1, 2585=1, 2586=1, 2587=1, 2589=1, 2590=1, 2591=1, 2593=1, 2613=1, 2630=1, 2634=1, 2644=1, 2652=1, 2658=1, 2667=1, 2719=1, 2738=1, 2781=1, 2783=1, 2805=1, 2806=1, 2827=1, 2828=1, 2829=1, 2848=1, 2849=1, 2850=1, 2867=1, 2868=1, 2869=1, 2884=1, 2885=1, 2886=1, 2899=1, 2900=1, 2901=1, 2912=1, 2913=1, 2914=1, 2923=1, 2924=1, 2925=1, 2932=1, 2933=1, 2938=1, 2939=1, 2940=1, 2943=1, 2944=1, 2945=1, 2947=1, 2948=1, 2949=1, 2951=1, 2952=1, 2953=1, 2955=1, 2956=1, 2957=1, 2959=1, 2960=1, 2961=1, 2963=1, 2999=1, 3003=1, 3013=1, 3017=1, 3021=1, 3026=1, 3033=1, 3078=1, 3095=1, 3134=1, 3136=1, 3156=1, 3157=1, 3176=1, 3177=1, 3178=1, 3195=1, 3196=1, 3197=1, 3212=1, 3213=1, 3214=1, 3227=1, 3228=1, 3229=1, 3240=1, 3241=1, 3242=1, 3251=1, 3252=1, 3253=1, 3260=1, 3261=1, 3262=1, 3267=1, 3268=1, 3271=1, 3272=1, 3273=1, 3275=1, 3276=1, 3277=1, 3279=1, 3280=1, 3281=1, 3283=1, 3284=1, 3285=1, 3287=1, 3288=1, 3289=1, 3291=1, 3292=1, 3293=1, 3295=1, 3331=1, 3335=1, 3345=1, 3349=1, 3356=1, 3361=1, 3398=1, 3413=1, 3430=1, 3449=1, 3451=1, 3469=1, 3470=1, 3487=1, 3488=1, 3489=1, 3504=1, 3505=1, 3506=1, 3519=1, 3520=1, 3521=1, 3532=1, 3533=1, 3534=1, 3543=1, 3544=1, 3545=1, 3552=1, 3553=1, 3554=1, 3559=1, 3560=1, 3561=1, 3564=1, 3565=1, 3567=1, 3568=1, 3569=1, 3571=1, 3572=1, 3573=1, 3575=1, 3576=1, 3577=1, 3579=1, 3580=1, 3581=1, 3583=1, 3584=1, 3585=1, 3587=1, 3588=1, 3589=1, 3591=1, 3611=1, 3628=1, 3632=1, 3642=1, 3646=1, 3653=1, 3657=1, 3686=1, 3699=1, 3730=1, 3732=1, 3748=1, 3749=1, 3764=1, 3765=1, 3778=1, 3779=1, 3780=1, 3791=1, 3792=1, 3793=1, 3802=1, 3803=1, 3804=1, 3811=1, 3812=1, 3813=1, 3818=1, 3819=1, 3820=1, 3823=1, 3824=1, 3825=1, 3827=1, 3828=1, 3830=1, 3831=1, 3832=1, 3834=1, 3835=1, 3836=1, 3838=1, 3839=1, 3840=1, 3841=1, 3842=1, 3843=1, 3845=1, 3846=1, 3847=1, 3849=1, 3850=1, 3851=1, 3853=1, 3889=1, 3893=1, 3903=1, 3907=1, 3914=1, 3918=1, 3940=1, 3951=1, 3978=1, 3980=1, 3994=1, 3995=1, 4008=1, 4009=1, 4010=1, 4021=1, 4022=1, 4023=1, 4032=1, 4033=1, 4034=1, 4041=1, 4042=1, 4043=1, 4048=1, 4049=1, 4050=1, 4053=1, 4054=1, 4055=1, 4057=1, 4058=1, 4059=1, 4061=1, 4062=1, 4064=1, 4065=1, 4066=1, 4068=1, 4069=1, 4070=1, 4072=1, 4073=1, 4074=1, 4076=1, 4077=1, 4078=1, 4080=1, 4081=1, 4082=1, 4084=1, 4085=1, 4086=1, 4088=1, 4124=1, 4128=1, 4138=1, 4142=1, 4149=1, 4153=1, 4157=1, 4171=1, 4180=1, 4203=1, 4205=1, 4217=1, 4218=1, 4229=1, 4230=1, 4231=1, 4240=1, 4241=1, 4242=1, 4249=1, 4250=1, 4251=1, 4256=1, 4257=1, 4258=1, 4261=1, 4262=1, 4263=1, 4265=1, 4266=1, 4267=1, 4269=1, 4270=1, 4271=1, 4273=1, 4274=1, 4276=1, 4277=1, 4278=1, 4280=1, 4281=1, 4282=1, 4284=1, 4285=1, 4286=1, 4288=1, 4289=1, 4290=1, 4292=1, 4293=1, 4294=1, 4296=1, 4297=1, 4298=1, 4300=1, 4336=1, 4340=1, 4350=1, 4354=1, 4361=1, 4365=1, 4369=1, 4380=1, 4387=1, 4406=1, 4408=1, 4418=1, 4419=1, 4428=1, 4429=1, 4430=1, 4437=1, 4438=1, 4439=1, 4444=1, 4445=1, 4446=1, 4449=1, 4450=1, 4451=1, 4453=1, 4454=1, 4455=1, 4457=1, 4458=1, 4459=1, 4461=1, 4462=1, 4463=1, 4465=1, 4466=1, 4468=1, 4469=1, 4470=1, 4472=1, 4473=1, 4474=1, 4476=1, 4477=1, 4478=1, 4480=1, 4481=1, 4482=1, 4484=1, 4485=1, 4486=1, 4488=1, 4489=1, 4490=1, 4511=1, 4528=1, 4532=1, 4542=1, 4546=1, 4553=1, 4557=1, 4561=1, 4571=1, 4576=1, 4591=1, 4593=1, 4601=1, 4602=1, 4609=1, 4610=1, 4611=1, 4616=1, 4617=1, 4618=1, 4621=1, 4622=1, 4623=1, 4625=1, 4626=1, 4627=1, 4629=1, 4630=1, 4631=1, 4633=1, 4634=1, 4635=1, 4637=1, 4638=1, 4639=1, 4641=1, 4642=1, 4644=1, 4645=1, 4646=1, 4648=1, 4649=1, 4650=1, 4652=1, 4653=1, 4654=1, 4656=1, 4657=1, 4658=1, 4660=1, 4661=1, 4662=1, 4664=1, 4665=1, 4666=1, 4668=1, 4688=1, 4705=1, 4709=1, 4719=1, 4723=1, 4730=1, 4734=1, 4738=1, 4751=1, 4762=1, 4764=1, 4770=1, 4771=1, 4776=1, 4777=1, 4778=1, 4781=1, 4782=1, 4783=1, 4785=1, 4786=1, 4787=1, 4789=1, 4790=1, 4791=1, 4793=1, 4794=1, 4795=1, 4797=1, 4798=1, 4799=1, 4801=1, 4802=1, 4803=1, 4805=1, 4806=1, 4808=1, 4809=1, 4810=1, 4812=1, 4813=1, 4814=1, 4815=1, 4816=1, 4817=1, 4819=1, 4820=1, 4821=1, 4823=1, 4824=1, 4825=1, 4827=1, 4828=1, 4829=1, 4831=1, 4851=1, 4868=1, 4872=1, 4881=1, 4885=1, 4892=1, 4896=1, 4900=1, 4913=1, 4921=1, 4923=1, 4927=1, 4928=1, 4931=1, 4932=1, 4933=1, 4935=1, 4936=1, 4937=1, 4939=1, 4940=1, 4941=1, 4943=1, 4944=1, 4945=1, 4947=1, 4948=1, 4949=1, 4951=1, 4952=1, 4953=1, 4955=1, 4956=1, 4957=1, 4959=1, 4960=1, 4962=1, 4963=1, 4964=1, 4966=1, 4967=1, 4968=1, 4970=1, 4971=1, 4972=1, 4974=1, 4975=1, 4976=1, 4978=1, 4979=1, 4980=1, 4982=1, 4983=1, 4984=1, 4986=1, 5006=1, 5023=1, 5027=1, 5037=1, 5041=1, 5048=1, 5052=1, 5056=1, 5069=1, 5073=1, 5076=1, 5080=1, 5081=1, 5083=1, 5084=1, 5085=1, 5087=1, 5088=1, 5089=1, 5091=1, 5092=1, 5093=1, 5094=1, 5095=1, 5096=1, 5098=1, 5099=1, 5100=1, 5102=1, 5103=1, 5105=1, 5106=1, 5107=1, 5109=1, 5110=1, 5112=1, 5113=1, 5114=1, 5116=1, 5117=1, 5118=1, 5120=1, 5121=1, 5122=1, 5124=1, 5125=1, 5126=1, 5128=1, 5129=1, 5130=1, 5132=1, 5133=1, 5134=1, 5136=1, 5156=1, 5173=1, 5177=1, 5187=1, 5191=1, 5198=1, 5202=1, 5206=1, 5219=1, 5223=1, 5230=1, 5231=1, 5233=1, 5234=1, 5235=1, 5237=1, 5238=1, 5239=1, 5241=1, 5242=1, 5243=1, 5245=1, 5246=1, 5247=1, 5249=1, 5250=1, 5251=1, 5253=1, 5254=1, 5255=1, 5257=1, 5258=1, 5259=1, 5261=1, 5262=1, 5264=1, 5265=1, 5266=1, 5268=1, 5269=1, 5270=1, 5272=1, 5273=1, 5274=1, 5276=1, 5277=1, 5278=1, 5280=1, 5281=1, 5282=1, 5284=1, 5285=1, 5286=1, 5288=1, 5308=1, 5325=1, 5328=1, 5338=1, 5342=1, 5349=1, 5353=1, 5357=1, 5370=1, 5374=1, 5381=1, 5385=1, 5386=1, 5388=1, 5389=1, 5390=1, 5392=1, 5393=1, 5394=1, 5396=1, 5397=1, 5398=1, 5400=1, 5401=1, 5402=1, 5404=1, 5405=1, 5406=1, 5408=1, 5409=1, 5410=1, 5412=1, 5413=1, 5415=1, 5416=1, 5417=1, 5419=1, 5420=1, 5421=1, 5423=1, 5424=1, 5425=1, 5427=1, 5428=1, 5429=1, 5431=1, 5432=1, 5433=1, 5435=1, 5436=1, 5437=1, 5439=1, 5459=1, 5476=1, 5480=1, 5490=1, 5494=1, 5501=1, 5505=1, 5509=1, 5522=1, 5526=1, 5534=1, 5536=1, 5540=1, 5543=1, 5544=1, 5545=1, 5547=1, 5548=1, 5549=1, 5550=1, 5551=1, 5552=1, 5554=1, 5555=1, 5556=1, 5558=1, 5559=1, 5560=1, 5562=1, 5563=1, 5564=1, 5566=1, 5567=1, 5569=1, 5570=1, 5571=1, 5573=1, 5574=1, 5575=1, 5577=1, 5578=1, 5579=1, 5581=1, 5582=1, 5583=1, 5585=1, 5586=1, 5587=1, 5589=1, 5590=1, 5591=1, 5593=1, 5613=1, 5630=1, 5634=1, 5644=1, 5648=1, 5655=1, 5659=1, 5663=1, 5675=1, 5679=1, 5690=1, 5692=1, 5698=1, 5699=1, 5704=1, 5705=1, 5706=1, 5709=1, 5710=1, 5711=1, 5713=1, 5714=1, 5715=1, 5717=1, 5718=1, 5719=1, 5721=1, 5722=1, 5723=1, 5725=1, 5726=1, 5727=1, 5729=1, 5730=1, 5732=1, 5733=1, 5734=1, 5736=1, 5737=1, 5738=1, 5740=1, 5741=1, 5742=1, 5744=1, 5745=1, 5746=1, 5748=1, 5749=1, 5750=1, 5752=1, 5753=1, 5754=1, 5756=1, 5776=1, 5793=1, 5797=1, 5807=1, 5811=1, 5818=1, 5822=1, 5826=1, 5839=1, 5844=1, 5859=1, 5861=1, 5869=1, 5870=1, 5877=1, 5878=1, 5879=1, 5884=1, 5885=1, 5886=1, 5889=1, 5890=1, 5891=1, 5893=1, 5894=1, 5895=1, 5897=1, 5898=1, 5899=1, 5901=1, 5902=1, 5903=1, 5905=1, 5906=1, 5908=1, 5909=1, 5910=1, 5912=1, 5913=1, 5914=1, 5916=1, 5917=1, 5918=1, 5920=1, 5921=1, 5922=1, 5924=1, 5925=1, 5926=1, 5928=1, 5929=1, 5930=1, 5932=1, 5952=1, 5953=1, 5969=1, 5973=1, 5983=1, 5987=1, 5994=1, 5998=1, 6002=1, 6016=1, 6023=1, 6042=1, 6043=1, 6044=1, 6053=1, 6054=1, 6055=1, 6064=1, 6065=1, 6066=1, 6073=1, 6074=1, 6075=1, 6080=1, 6081=1, 6082=1, 6085=1, 6086=1, 6087=1, 6089=1, 6090=1, 6091=1, 6093=1, 6094=1, 6095=1, 6097=1, 6098=1, 6100=1, 6101=1, 6102=1, 6104=1, 6105=1, 6106=1, 6108=1, 6109=1, 6110=1, 6112=1, 6113=1, 6114=1, 6116=1, 6117=1, 6118=1, 6120=1, 6121=1, 6122=1, 6124=1, 6144=1, 6160=1, 6164=1, 6174=1, 6178=1, 6185=1, 6189=1, 6193=1, 6210=1, 6219=1, 6242=1, 6243=1, 6244=1, 6255=1, 6256=1, 6257=1, 6268=1, 6269=1, 6270=1, 6279=1, 6280=1, 6281=1, 6288=1, 6289=1, 6290=1, 6295=1, 6296=1, 6297=1, 6300=1, 6301=1, 6302=1, 6304=1, 6305=1, 6306=1, 6308=1, 6309=1, 6311=1, 6312=1, 6313=1, 6315=1, 6316=1, 6317=1, 6319=1, 6320=1, 6321=1, 6323=1, 6324=1, 6325=1, 6327=1, 6328=1, 6329=1, 6331=1, 6332=1, 6333=1, 6335=1, 6355=1, 6356=1, 6372=1, 6376=1, 6386=1, 6390=1, 6397=1, 6401=1, 6405=1, 6427=1, 6438=1, 6465=1, 6466=1, 6467=1, 6480=1, 6481=1, 6482=1, 6495=1, 6496=1, 6497=1, 6508=1, 6509=1, 6510=1, 6519=1, 6520=1, 6521=1, 6528=1, 6529=1, 6530=1, 6535=1, 6536=1, 6537=1, 6540=1, 6541=1, 6542=1, 6544=1, 6545=1, 6546=1, 6548=1, 6549=1, 6550=1, 6552=1, 6553=1, 6554=1, 6556=1, 6557=1, 6558=1, 6560=1, 6561=1, 6562=1, 6564=1, 6565=1, 6566=1, 6568=1, 6569=1, 6570=1, 6572=1, 6592=1, 6593=1, 6609=1, 6613=1, 6623=1, 6627=1, 6634=1, 6638=1, 6642=1, 6671=1, 6684=1, 6715=1, 6716=1, 6717=1, 6732=1, 6733=1, 6734=1, 6749=1, 6750=1, 6751=1, 6764=1, 6765=1, 6766=1, 6777=1, 6778=1, 6779=1, 6788=1, 6789=1, 6790=1, 6797=1, 6798=1, 6799=1, 6804=1, 6805=1, 6806=1, 6809=1, 6810=1, 6812=1, 6813=1, 6814=1, 6816=1, 6817=1, 6818=1, 6820=1, 6821=1, 6822=1, 6824=1, 6825=1, 6826=1, 6828=1, 6829=1, 6830=1, 6832=1, 6833=1, 6834=1, 6836=1, 6856=1, 6857=1, 6873=1, 6877=1, 6887=1, 6891=1, 6898=1, 6902=1, 6907=1, 6944=1, 6959=1, 6994=1, 6995=1, 6996=1, 7013=1, 7014=1, 7015=1, 7032=1, 7033=1, 7034=1, 7049=1, 7050=1, 7051=1, 7064=1, 7065=1, 7066=1, 7077=1, 7078=1, 7079=1, 7088=1, 7089=1, 7090=1, 7097=1, 7098=1, 7099=1, 7104=1, 7105=1, 7106=1, 7109=1, 7110=1, 7111=1, 7113=1, 7114=1, 7115=1, 7117=1, 7118=1, 7119=1, 7120=1, 7121=1, 7122=1, 7124=1, 7125=1, 7126=1, 7128=1, 7129=1, 7130=1, 7132=1, 7152=1, 7168=1, 7172=1, 7182=1, 7186=1, 7193=1, 7197=1, 7204=1, 7249=1, 7266=1, 7305=1, 7306=1, 7307=1, 7326=1, 7327=1, 7328=1, 7347=1, 7348=1, 7349=1, 7366=1, 7367=1, 7368=1, 7383=1, 7384=1, 7385=1, 7398=1, 7399=1, 7410=1, 7411=1, 7412=1, 7421=1, 7422=1, 7423=1, 7430=1, 7431=1, 7432=1, 7437=1, 7438=1, 7441=1, 7442=1, 7443=1, 7445=1, 7446=1, 7447=1, 7449=1, 7450=1, 7451=1, 7453=1, 7454=1, 7455=1, 7457=1, 7458=1, 7459=1, 7461=1, 7481=1, 7482=1, 7498=1, 7502=1, 7512=1, 7516=1, 7524=1, 7530=1, 7539=1, 7591=1, 7610=1, 7653=1, 7654=1, 7655=1, 7676=1, 7677=1, 7678=1, 7699=1, 7700=1, 7701=1, 7720=1, 7721=1, 7722=1, 7739=1, 7740=1, 7741=1, 7756=1, 7757=1, 7758=1, 7771=1, 7772=1, 7773=1, 7784=1, 7785=1, 7786=1, 7795=1, 7796=1, 7797=1, 7804=1, 7805=1, 7810=1, 7811=1, 7812=1, 7815=1, 7816=1, 7817=1, 7819=1, 7820=1, 7821=1, 7823=1, 7824=1, 7825=1, 7827=1, 7828=1, 7829=1, 7831=1, 7851=1, 7852=1, 7868=1, 7872=1, 7882=1, 7886=1, 7897=1, 7906=1, 7917=1, 7978=1, 7999=1, 8046=1, 8047=1, 8048=1, 8071=1, 8072=1, 8073=1, 8096=1, 8097=1, 8098=1, 8119=1, 8120=1, 8121=1, 8140=1, 8141=1, 8142=1, 8159=1, 8160=1, 8161=1, 8176=1, 8177=1, 8178=1, 8191=1, 8192=1, 8193=1, 8204=1, 8205=1, 8206=1, 8215=1, 8216=1, 8223=1, 8224=1, 8225=1, 8230=1, 8231=1, 8232=1, 8235=1, 8236=1, 8237=1, 8239=1, 8240=1, 8241=1, 8243=1, 8244=1, 8245=1, 8247=1, 8267=1, 8283=1, 8287=1, 8297=1, 8302=1, 8317=1, 8328=1, 8341=1, 8410=1, 8433=1, 8484=1, 8485=1, 8486=1, 8511=1, 8512=1, 8513=1, 8538=1, 8539=1, 8540=1, 8563=1, 8564=1, 8565=1, 8586=1, 8587=1, 8588=1, 8607=1, 8608=1, 8609=1, 8626=1, 8627=1, 8628=1, 8643=1, 8644=1, 8645=1, 8658=1, 8659=1, 8660=1, 8671=1, 8672=1, 8681=1, 8682=1, 8683=1, 8690=1, 8691=1, 8692=1, 8697=1, 8698=1, 8699=1, 8702=1, 8703=1, 8704=1, 8706=1, 8707=1, 8708=1, 8710=1, 8730=1, 8731=1, 8747=1, 8751=1, 8762=1, 8769=1, 8788=1, 8801=1, 8816=1, 8893=1, 8918=1, 8973=1, 8974=1, 9001=1, 9002=1, 9003=1, 9030=1, 9031=1, 9032=1, 9057=1, 9058=1, 9059=1, 9082=1, 9083=1, 9084=1, 9105=1, 9106=1, 9107=1, 9126=1, 9127=1, 9128=1, 9145=1, 9146=1, 9147=1, 9162=1, 9163=1, 9164=1, 9177=1, 9178=1, 9189=1, 9190=1, 9191=1, 9200=1, 9201=1, 9202=1, 9209=1, 9210=1, 9211=1, 9216=1, 9217=1, 9218=1, 9221=1, 9222=1, 9223=1, 9225=1, 9245=1, 9246=1, 9262=1, 9266=1, 9280=1, 9289=1, 9312=1, 9327=1, 9344=1, 9429=1, 9456=1, 9515=1, 9516=1, 9517=1, 9546=1, 9547=1, 9548=1, 9577=1, 9578=1, 9579=1, 9606=1, 9607=1, 9608=1, 9633=1, 9634=1, 9635=1, 9658=1, 9659=1, 9660=1, 9681=1, 9682=1, 9683=1, 9702=1, 9703=1, 9704=1, 9721=1, 9722=1, 9723=1, 9738=1, 9739=1, 9752=1, 9753=1, 9764=1, 9765=1, 9766=1, 9775=1, 9776=1, 9777=1, 9784=1, 9785=1, 9786=1, 9791=1, 9792=1, 9793=1, 9796=1, 9797=1, 9832=1, 9836=1, 9855=1, 9866=1, 9893=1, 9910=1, 9929=1, 10022=1, 10051=1, 10114=1, 10148=1, 10181=1, 10212=1, 10241=1, 10268=1, 10293=1, 10316=1, 10337=1, 10372=1, 10387=1, 10400=1, 10411=1, 10420=1, 10427=1, 10520=1, 10522=1, 10523=1, 10524=1, 10525=1, 10526=1, 10527=1, 10528=1, 10529=1, 10530=1, 10531=1, 10532=1, 10533=1, 10534=1, 10535=1, 10536=1, 10537=1, 10538=1, 10539=1, 10540=1, 10541=1, 10542=1, 10543=1, 10544=1, 10545=1, 10546=1, 10547=1, 10548=1, 10549=1, 10550=1, 10551=1, 10552=1, 10553=1, 10603=1, 10604=1, 10605=1, 10606=1, 10607=1, 10608=1, 10609=1, 10610=1, 10611=1, 10613=1, 10614=1, 10615=1, 10616=1, 10617=1, 10618=1, 10667=1, 10668=1, 10669=1, 10670=1, 10671=1, 10672=1, 10673=1, 10674=1, 10675=1, 10676=1, 10677=1, 10678=1, 10679=1, 10680=1, 10681=1, 10731=1, 10732=1, 10733=1, 10734=1, 10735=1, 10736=1, 10737=1, 10738=1, 10739=1, 10740=1, 10741=1, 10743=1, 10744=1, 10745=1, 10746=1, 10794=1, 10795=1, 10796=1, 10797=1, 10798=1, 10799=1, 10801=1, 10802=1, 10803=1, 10804=1, 10805=1, 10806=1, 10807=1, 10808=1, 10809=1, 10858=1, 10859=1, 10860=1, 10861=1, 10862=1, 10863=1, 10864=1, 10865=1, 10866=1, 10867=1, 10868=1, 10869=1, 10870=1, 10871=1, 10921=1, 10922=1, 10923=1, 10924=1, 10925=1, 10926=1, 10927=1, 10928=1, 10929=1, 10930=1, 10931=1, 10932=1, 10934=1, 10935=1, 10936=1, 10985=1, 10986=1, 10988=1, 10989=1, 10990=1, 10991=1, 10992=1, 10993=1, 10994=1, 10995=1, 10996=1, 10997=1, 10998=1, 10999=1, 11000=1, 11048=1, 11049=1, 11050=1, 11051=1, 11053=1, 11054=1, 11055=1, 11056=1, 11057=1, 11058=1, 11059=1, 11060=1, 11061=1, 11062=1, 11063=1, 11112=1, 11113=1, 11114=1, 11115=1, 11116=1, 11117=1, 11119=1, 11120=1, 11121=1, 11122=1, 11123=1, 11124=1, 11125=1, 11126=1, 11127=1, 11175=1, 11176=1, 11177=1, 11178=1, 11179=1, 11180=1, 11181=1, 11182=1, 11183=1, 11184=1, 11185=1, 11187=1, 11188=1, 11189=1, 11190=1, 11239=1, 11240=1, 11241=1, 11242=1, 11243=1, 11244=1, 11245=1, 11246=1, 11248=1, 11249=1, 11250=1, 11251=1, 11252=1, 11253=1, 11254=1, 11303=1, 11305=1, 11306=1, 11307=1, 11308=1, 11309=1, 11310=1, 11311=1, 11312=1, 11313=1, 11314=1, 11315=1, 11316=1, 11317=1, 11318=1, 11367=1, 11368=1, 11369=1, 11370=1, 11371=1, 11372=1, 11373=1, 11374=1, 11375=1, 11376=1, 11377=1, 11378=1, 11380=1, 11381=1, 11382=1, 11431=1, 11432=1, 11433=1, 11434=1, 11435=1, 11436=1, 11437=1, 11438=1, 11440=1, 11441=1, 11442=1, 11443=1, 11444=1, 11445=1, 11446=1, 11494=1, 11495=1, 11496=1, 11497=1, 11498=1, 11499=1, 11500=1, 11501=1, 11502=1, 11503=1, 11504=1, 11505=1, 11506=1, 11507=1, 11509=1, 11557=1, 11558=1, 11559=1, 11560=1, 11561=1, 11562=1, 11563=1, 11564=1, 11565=1, 11566=1, 11567=1, 11568=1, 11569=1, 11570=1, 11571=1, 11620=1, 11622=1, 11623=1, 11624=1, 11625=1, 11626=1, 11627=1, 11628=1, 11629=1, 11630=1, 11631=1, 11632=1, 11633=1, 11634=1, 11635=1, 11684=1, 11685=1, 11687=1, 11689=1, 11690=1, 11691=1, 11692=1, 11693=1, 11694=1, 11695=1, 11696=1, 11697=1, 11698=1, 11747=1, 11748=1, 11749=1, 11750=1, 11751=1, 11752=1, 11753=1, 11754=1, 11756=1, 11758=1, 11759=1, 11760=1, 11761=1, 11762=1, 11811=1, 11812=1, 11813=1, 11814=1, 11816=1, 11818=1, 11819=1, 11820=1, 11821=1, 11822=1, 11823=1, 11824=1, 11825=1, 11826=1, 11875=1, 11876=1, 11877=1, 11878=1, 11879=1, 11880=1, 11881=1, 11882=1, 11884=1, 11885=1, 11886=1, 11887=1, 11888=1, 11889=1, 11938=1, 11939=1, 11940=1, 11941=1, 11942=1, 11943=1, 11944=1, 11945=1, 11947=1, 11948=1, 11950=1, 11951=1, 11952=1, 11953=1, 12002=1, 12003=1, 12004=1, 12005=1, 12006=1, 12007=1, 12008=1, 12010=1, 12011=1, 12012=1, 12013=1, 12014=1, 12015=1, 12016=1, 12017=1, 12066=1, 12067=1, 12068=1, 12069=1, 12070=1, 12071=1, 12072=1, 12073=1, 12074=1, 12075=1, 12076=1, 12078=1, 12079=1, 12080=1, 12081=1, 12130=1, 12131=1, 12132=1, 12133=1, 12134=1, 12135=1, 12136=1, 12137=1, 12138=1, 12139=1, 12140=1, 12142=1, 12143=1, 12144=1, 12193=1, 12194=1, 12195=1, 12196=1, 12197=1, 12198=1, 12199=1, 12200=1, 12201=1, 12202=1, 12203=1, 12204=1, 12205=1, 12207=1, 12208=1, 12257=1, 12258=1, 12259=1, 12261=1, 12262=1, 12263=1, 12264=1, 12265=1, 12266=1, 12267=1, 12268=1, 12269=1, 12270=1, 12271=1, 12272=1, 12320=1, 12321=1, 12323=1, 12324=1, 12325=1, 12326=1, 12327=1, 12328=1, 12329=1, 12330=1, 12331=1, 12332=1, 12333=1, 12334=1, 12335=1, 12384=1, 12385=1, 12386=1, 12387=1, 12388=1, 12389=1, 12390=1, 12391=1, 12392=1, 12393=1, 12394=1, 12395=1, 12397=1, 12398=1, 12399=1, 12447=1, 12448=1, 12449=1, 12450=1, 12451=1, 12453=1, 12454=1, 12455=1, 12456=1, 12457=1, 12458=1, 12459=1, 12460=1, 12461=1, 12462=1, 12511=1, 12512=1, 12513=1, 12514=1, 12516=1, 12517=1, 12518=1, 12519=1, 12520=1, 12521=1, 12522=1, 12523=1, 12524=1, 12525=1, 12526=1, 12547=1, 12575=1, 12576=1, 12577=1, 12578=1, 12579=1, 12580=1, 12581=1, 12583=1, 12584=1, 12585=1, 12586=1, 12587=1, 12588=1, 12589=1, 12590=1, 15839=1, 15964=1, 15987=1, 15989=1, 15991=1, 15993=1, 15995=1, 15997=1, 15999=1, 16001=1, 16003=1, 16005=1, 16007=1}
Probabilistic random walk after 5470 steps, saw 2556 distinct states, run finished after 6005 ms. (steps per millisecond=0 ) properties seen :2296
Running SMT prover for 16854 properties.
[2024-05-25 10:11:12] [INFO ] Flow matrix only has 18474 transitions (discarded 1056 similar events)
[2024-05-25 10:11:12] [INFO ] Invariant cache hit.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2343)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:621)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:342)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:226)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:96)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:426)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 10:12:27] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2024-05-25 10:12:27] [INFO ] After 25069ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 16854 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 3 ms.
Support contains 10157 out of 11227 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 11227/11227 places, 19530/19530 transitions.
Discarding 443 places :
Symmetric choice reduction at 0 with 443 rule applications. Total rules 443 place count 10784 transition count 19087
Iterating global reduction 0 with 443 rules applied. Total rules applied 886 place count 10784 transition count 19087
Applied a total of 886 rules in 1038 ms. Remains 10784 /11227 variables (removed 443) and now considering 19087/19530 (removed 443) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1041 ms. Remains : 10784/11227 places, 19087/19530 transitions.
Interrupted random walk after 179141 steps, including 10458 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 541
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16313) seen :16
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16297) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16280) seen :16
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16264) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16256) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16247) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 16236) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16228) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16223) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16215) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16209) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16207) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16203) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16200) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16193) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16193) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16190) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16187) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16187) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16187) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16185) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16185) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16185) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16185) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 16184) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16184) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16182) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16182) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 16182) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16181) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16181) seen :25
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16156) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16142) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16125) seen :30
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16095) seen :23
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16072) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16059) seen :26
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16033) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16020) seen :25
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15995) seen :22
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15973) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15958) seen :29
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15929) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 15914) seen :16
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15898) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15883) seen :25
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15858) seen :16
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15842) seen :16
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 15826) seen :25
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15801) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 15794) seen :31
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15763) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15748) seen :24
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15724) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15711) seen :16
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15695) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15680) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 15667) seen :24
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15643) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15628) seen :26
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15602) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15589) seen :21
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15568) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15554) seen :19
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15535) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15527) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15512) seen :20
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15492) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 15480) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15465) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15456) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15447) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 15436) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15421) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 15409) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15394) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15385) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 15370) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 15363) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15355) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15342) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15327) seen :19
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15308) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15295) seen :18
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 15277) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15267) seen :16
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15251) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15244) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15231) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15218) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15207) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15202) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15189) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15182) seen :16
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15166) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15156) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15146) seen :22
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15124) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15118) seen :21
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15097) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15087) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 15073) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15063) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15059) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 15057) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15045) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15040) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15025) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15022) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 15008) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15004) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 14990) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14975) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14962) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 14947) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14942) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14929) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14918) seen :16
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14902) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14890) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14876) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14872) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14859) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14850) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14833) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14821) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14811) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14808) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14794) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14791) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14784) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14769) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 14760) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14746) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14735) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14724) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14717) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14705) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14696) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14682) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14680) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14667) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14658) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14647) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14644) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14634) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14629) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 14621) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14616) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14607) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14604) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14599) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14594) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14586) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14577) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14570) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14553) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14551) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14547) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14545) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14531) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14525) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14514) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14509) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 14499) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14495) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14491) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14485) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14474) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14468) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14467) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14467) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14461) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14453) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14448) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14438) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14432) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14424) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14417) seen :18
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14399) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14396) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14392) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14387) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14376) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14372) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14364) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 14359) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14355) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14349) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14339) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14332) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14327) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14325) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14313) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14310) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14304) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14300) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14292) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14290) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14281) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14271) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14262) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14245) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14240) seen :16
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14224) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14218) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14209) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14207) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14197) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14192) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 14181) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 14173) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14170) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14166) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14162) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14159) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14151) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14147) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 14139) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14138) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14132) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14130) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14123) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14121) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 14119) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 14118) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14111) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14101) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14086) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14076) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14066) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14063) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14050) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14046) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14038) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14036) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14033) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14027) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14014) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14011) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14006) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 14004) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14000) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14000) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13994) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13993) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13987) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13985) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13981) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13979) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13972) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13972) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 247 ms. (steps per millisecond=4 ) properties (out of 13966) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13964) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13962) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13951) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13945) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13934) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13932) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13924) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13919) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13904) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13902) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13894) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13891) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13883) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13883) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13876) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13873) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13869) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13863) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13857) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13857) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13856) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13854) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13854) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13850) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13845) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13844) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13835) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13834) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13833) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13827) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13819) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13814) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13810) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13803) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13796) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13794) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13791) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13784) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13779) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13772) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13771) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13766) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13766) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 13762) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13755) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13753) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13743) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13739) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13733) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13733) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13728) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13724) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13722) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13716) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13713) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13710) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13708) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13708) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13704) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13698) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13692) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13687) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13686) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 13682) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13679) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13673) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13671) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13664) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13660) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13654) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13650) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13646) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13645) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13643) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13641) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13640) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13640) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13637) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13634) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13628) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13624) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13617) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13611) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13609) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13609) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13607) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13605) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13597) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13595) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13591) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13586) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13586) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13582) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13582) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13578) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13576) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13574) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13574) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13573) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13573) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13572) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 13571) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13569) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13569) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13569) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13566) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13564) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13562) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13561) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13556) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13553) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13548) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13545) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13543) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13543) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13537) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13535) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13533) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13532) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13530) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13529) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13527) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13524) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13522) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13522) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13518) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13516) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13512) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13511) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13509) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13507) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13498) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13496) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13495) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13491) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13491) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 13489) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13483) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13474) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13470) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13470) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13467) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13462) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13459) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13456) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13454) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13454) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13451) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 13449) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13444) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13441) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13435) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13435) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13435) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13434) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13430) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13430) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13430) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13427) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13425) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13425) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13419) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13418) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13416) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13414) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13408) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13403) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13401) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13394) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13394) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13392) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 13392) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13390) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13386) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13384) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13383) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13380) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13376) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13376) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13374) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13374) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13374) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13370) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13367) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 13363) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13361) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13361) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13359) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13359) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13355) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13355) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13352) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13352) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13351) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13351) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13351) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13351) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13349) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13347) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13347) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13344) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 13340) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13337) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13337) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13335) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13335) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13333) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13333) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13333) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13333) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13330) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13324) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13324) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13318) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13318) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13318) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13316) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13314) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13312) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13310) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 13310) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13309) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13307) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13307) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13306) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13306) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13306) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13306) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13304) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13304) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13299) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13292) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13292) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13289) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 13286) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13283) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13283) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13281) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13277) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13274) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13272) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13270) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13266) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13266) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 13266) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 13262) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13262) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13262) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13262) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13262) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13260) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13260) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13260) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13260) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13258) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13256) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13256) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13256) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13256) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13256) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13256) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13253) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13253) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13253) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 13253) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 13253) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13251) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13251) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13251) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13251) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13251) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13249) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13249) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13248) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13244) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13241) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13241) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13241) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13241) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13238) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13238) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13238) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 13236) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13236) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 13234) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 13234) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13234) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13234) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13234) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13232) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13232) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13228) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 13228) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13228) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13227) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13225) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 13220) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 13220) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13219) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13219) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13218) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13218) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13216) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13216) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13216) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13215) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13215) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13213) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13211) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13210) seen :0
Incomplete Best-First random walk after 1001 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 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13208) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13208) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13208) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13206) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13205) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13205) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13203) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13203) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13201) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13199) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13199) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 13199) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 13199) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 13197) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 13196) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 13194) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 13194) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 13194) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 13194) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 13193) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 13193) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13189) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13189) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13188) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13185) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13185) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13183) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13183) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13181) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13181) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13179) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13179) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13177) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13176) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13176) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13176) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13174) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 13174) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13174) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13174) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13174) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13174) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13173) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13172) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13172) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13170) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13169) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13168) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13168) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13168) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13168) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13168) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13167) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13167) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13166) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13164) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13164) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13162) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13162) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13160) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 13160) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13160) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13156) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13156) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13154) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13152) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13149) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13148) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13146) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13146) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13146) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13146) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13144) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13143) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13143) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13141) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13141) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13141) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13139) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13139) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13139) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13139) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13139) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13135) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13133) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 13133) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 13133) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13131) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 13129) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13126) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13126) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13126) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13126) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13123) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13123) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13120) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13118) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13116) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13114) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13114) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13114) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13113) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13113) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13113) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13111) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13109) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13107) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13104) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13102) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13102) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13098) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13097) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13097) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13097) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13097) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13097) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13097) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 13097) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13097) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13097) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13091) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13091) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13091) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13091) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13091) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13091) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13090) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13088) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13087) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13085) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13083) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13083) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13083) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 13083) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13081) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13079) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13079) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13077) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13077) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13077) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13075) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13071) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13071) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13071) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13071) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13071) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13071) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13071) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13071) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13067) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13067) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13065) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13065) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13063) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13063) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13063) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13063) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13062) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13062) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13060) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13060) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13060) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13060) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13060) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13060) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13057) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13057) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13057) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13057) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13057) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13057) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 13057) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13057) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 13055) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13055) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13054) seen :0
Incomplete Best-First random walk after 1001 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 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13054) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13054) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13054) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13054) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13054) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 13054) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13051) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13051) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13051) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13051) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13051) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13047) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13047) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13047) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13047) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13047) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13046) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13046) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13046) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13046) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13046) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 13044) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13044) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13044) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13042) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13041) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13040) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13039) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13039) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13037) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13037) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13037) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13037) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13037) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 13037) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13037) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13035) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 13035) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 13032) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13032) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13032) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13032) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13032) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13032) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13032) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13032) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 13028) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13026) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13026) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13026) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 13026) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13024) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13023) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13021) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13019) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13019) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13019) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13019) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 13017) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 13017) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 13017) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13017) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13017) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13017) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13017) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13017) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13017) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13017) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13017) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13017) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13015) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13013) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13013) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13013) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13013) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13013) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13013) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13011) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13011) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13011) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13011) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13011) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13007) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13007) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13007) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13007) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13004) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13002) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13002) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13002) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13002) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13002) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 13002) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 13001) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 12997) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 12992) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 12991) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 12991) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 12989) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 12989) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 12989) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12989) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12987) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12987) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12985) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12983) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12983) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12981) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12979) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12979) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12976) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12976) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12976) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12974) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12974) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12974) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12974) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12974) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12974) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12974) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12974) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12974) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12974) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12973) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 12971) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12971) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 12971) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12971) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12969) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 12969) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 12969) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12969) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12969) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 12969) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12969) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12969) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12969) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12969) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12969) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12969) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12967) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12965) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12962) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 12960) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12960) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 12960) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 12960) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 12960) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 12960) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 12960) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 12960) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 12960) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 12955) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 12955) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 12955) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 12955) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 12953) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 12953) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 12953) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 12953) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 12951) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 12951) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 12951) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 12951) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 12951) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 12951) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 12951) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 12949) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 12949) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12949) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12949) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12949) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12949) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12949) 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 12949) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12949) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12949) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12949) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 12949) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12949) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12949) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12949) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12949) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12949) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 12948) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12948) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12948) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12948) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12948) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12948) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12948) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12948) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12948) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12948) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12948) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12948) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12948) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12948) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12948) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12946) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12946) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12946) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12946) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12946) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12946) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12946) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12946) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12946) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12946) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12944) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12944) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12944) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12944) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12944) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12944) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12942) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12942) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 12942) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 12942) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12942) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12940) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12940) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12940) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12940) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12940) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12940) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12940) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12940) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 12940) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 12940) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 12940) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 12940) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 12940) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 12940) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12940) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12940) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12940) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12940) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12940) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12939) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12939) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12938) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12938) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12936) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12936) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12936) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 12936) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12936) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 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 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 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 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 12935) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 12933) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12933) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12933) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12933) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12933) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12933) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 12933) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 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 1001 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12931) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12929) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12929) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12929) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12929) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12929) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 12929) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12929) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12929) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12929) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12929) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12927) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12927) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12927) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12927) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12927) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12927) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12927) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 12927) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12926) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12926) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 12926) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12926) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12926) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12926) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12926) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12926) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12923) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12923) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12923) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12923) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12923) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12923) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12923) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 12923) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12923) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12922) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12922) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12922) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12922) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12922) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12922) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12920) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12920) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12920) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12920) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12920) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12920) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 12918) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12918) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12918) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12918) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12918) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 12918) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12918) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12918) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12918) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12918) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12918) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 12918) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12918) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 12918) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12918) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 12918) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 12918) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12917) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12917) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12917) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12917) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12917) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 12916) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12914) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12914) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12914) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12914) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12914) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12914) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12914) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12912) seen :0
Running SMT prover for 12912 properties.
[2024-05-25 10:16:13] [INFO ] Flow matrix only has 18031 transitions (discarded 1056 similar events)
// Phase 1: matrix 18031 rows 10784 cols
[2024-05-25 10:16:14] [INFO ] Computed 1293 invariants in 1100 ms
Reachability property qltransition_10781 is true.
Reachability property qltransition_10774 is true.
Reachability property qltransition_10765 is true.
Reachability property qltransition_10754 is true.
Reachability property qltransition_10203 is true.
Reachability property qltransition_10194 is true.
Reachability property qltransition_10187 is true.
Reachability property qltransition_10182 is true.
Reachability property qltransition_10178 is true.
Reachability property qltransition_10140 is true.
Reachability property qltransition_10135 is true.
Reachability property qltransition_10128 is true.
Reachability property qltransition_10119 is true.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2343)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:621)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:342)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:226)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:96)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:426)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 10:20:28] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2024-05-25 10:20:28] [INFO ] After 225178ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 12912 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 2 ms.
Support contains 6673 out of 10784 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 10784/10784 places, 19087/19087 transitions.
Discarding 1515 places :
Symmetric choice reduction at 0 with 1515 rule applications. Total rules 1515 place count 9269 transition count 17572
Iterating global reduction 0 with 1515 rules applied. Total rules applied 3030 place count 9269 transition count 17572
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 3030 place count 9269 transition count 17571
Deduced a syphon composed of 1 places in 23 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 3032 place count 9268 transition count 17571
Discarding 967 places :
Symmetric choice reduction at 0 with 967 rule applications. Total rules 3999 place count 8301 transition count 15637
Iterating global reduction 0 with 967 rules applied. Total rules applied 4966 place count 8301 transition count 15637
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 0 with 4 rules applied. Total rules applied 4970 place count 8301 transition count 15633
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4974 place count 8297 transition count 15633
Partial Free-agglomeration rule applied 83 times.
Drop transitions removed 83 transitions
Iterating global reduction 1 with 83 rules applied. Total rules applied 5057 place count 8297 transition count 15633
Reachability property qltransition_9616 is true.
Reachability property qltransition_9609 is true.
Applied a total of 5057 rules in 5231 ms. Remains 8297 /10784 variables (removed 2487) and now considering 15633/19087 (removed 3454) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 5233 ms. Remains : 8297/10784 places, 15633/19087 transitions.
Reachability property qltransition_9604 is true.
Reachability property qltransition_9600 is true.
Reachability property qltransition_9596 is true.
Reachability property qltransition_9558 is true.
Reachability property qltransition_9554 is true.
Reachability property qltransition_9549 is true.
Reachability property qltransition_9542 is true.
Reachability property qltransition_9087 is true.
Reachability property qltransition_9082 is true.
Reachability property qltransition_9078 is true.
Reachability property qltransition_9074 is true.
Reachability property qltransition_9070 is true.
Reachability property qltransition_9032 is true.
Reachability property qltransition_9028 is true.
Reachability property qltransition_9024 is true.
Reachability property qltransition_9019 is true.
Reachability property qltransition_8612 is true.
Reachability property qltransition_8608 is true.
Reachability property qltransition_8604 is true.
Reachability property qltransition_8600 is true.
Reachability property qltransition_8596 is true.
Reachability property qltransition_8558 is true.
Reachability property qltransition_8554 is true.
Reachability property qltransition_8550 is true.
Reachability property qltransition_8546 is true.

BK_STOP 1716632465014

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

+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800

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="gold2023"
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-5568"
echo " Executing tool gold2023"
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 r264-tall-171654373200092"
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 ;