Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 16K Feb 26 03:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 03:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 03:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 03:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 16:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Feb 25 16:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 19K Feb 26 03:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 26 03:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 19K Feb 26 03:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 26 03:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 16M Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1678702154120

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=itstools
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 202303021504
[2023-03-13 10:09:15] [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]
[2023-03-13 10:09:15] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 10:09:16] [INFO ] Load time of PNML (sax parser for PT used): 558 ms
[2023-03-13 10:09:16] [INFO ] Transformed 13544 places.
[2023-03-13 10:09:16] [INFO ] Transformed 21807 transitions.
[2023-03-13 10:09:16] [INFO ] Parsed PT model containing 13544 places and 21807 transitions and 93598 arcs in 989 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 70 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 43 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 1224 ms. Remains 11227 /13544 variables (removed 2317) and now considering 19530/21807 (removed 2277) transitions.
[2023-03-13 10:09:18] [INFO ] Flow matrix only has 18474 transitions (discarded 1056 similar events)
// Phase 1: matrix 18474 rows 11227 cols
[2023-03-13 10:09:19] [INFO ] Computed 1293 place invariants in 1819 ms
[2023-03-13 10:09:21] [INFO ] Implicit Places using invariants in 3347 ms returned []
Implicit Place search using SMT only with invariants took 3376 ms to find 0 implicit places.
[2023-03-13 10:09:21] [INFO ] Flow matrix only has 18474 transitions (discarded 1056 similar events)
[2023-03-13 10:09:21] [INFO ] Invariant cache hit.
[2023-03-13 10:09:22] [INFO ] Dead Transitions using invariants and state equation in 1146 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 5765 ms. Remains : 11227/13544 places, 19530/21807 transitions.
Initial state reduction rules removed 33 formulas.
[2023-03-13 10:09:25] [INFO ] Flatten gal took : 1319 ms
[2023-03-13 10:09:26] [INFO ] Flatten gal took : 871 ms
Incomplete random walk after 10000 steps, including 583 resets, run finished after 2805 ms. (steps per millisecond=3 ) properties (out of 19497) seen :346
[2023-03-13 10:09:26] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8806851724570258933.gal : 267 ms
[2023-03-13 10:09:26] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5253487987328586836.prop : 103 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.202303021504/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality8806851724570258933.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality5253487987328586836.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.202303021504/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
Interrupted probabilistic random walk after 6132 steps, run timeout after 6036 ms. (steps per millisecond=1 ) properties seen :{15=1, 16=1, 37=1, 44=1, 63=1, 76=1, 91=1, 126=1, 147=1, 170=1, 221=1, 250=1, 281=1, 282=1, 312=1, 314=1, 315=1, 316=1, 346=1, 348=1, 349=1, 380=1, 381=1, 410=1, 411=1, 412=1, 439=1, 440=1, 441=1, 466=1, 467=1, 490=1, 491=1, 512=1, 513=1, 514=1, 533=1, 534=1, 535=1, 552=1, 553=1, 554=1, 569=1, 570=1, 583=1, 584=1, 585=1, 596=1, 597=1, 598=1, 607=1, 608=1, 609=1, 616=1, 617=1, 622=1, 623=1, 624=1, 627=1, 628=1, 647=1, 664=1, 668=1, 673=1, 688=1, 699=1, 712=1, 743=1, 762=1, 783=1, 830=1, 857=1, 886=1, 887=1, 915=1, 917=1, 918=1, 919=1, 947=1, 949=1, 950=1, 979=1, 980=1, 1007=1, 1008=1, 1009=1, 1034=1, 1035=1, 1036=1, 1059=1, 1060=1, 1081=1, 1082=1, 1101=1, 1102=1, 1103=1, 1120=1, 1121=1, 1122=1, 1137=1, 1138=1, 1139=1, 1152=1, 1153=1, 1164=1, 1165=1, 1166=1, 1175=1, 1176=1, 1183=1, 1184=1, 1185=1, 1190=1, 1191=1, 1194=1, 1195=1, 1196=1, 1198=1, 1199=1, 1218=1, 1219=1, 1236=1, 1242=1, 1253=1, 1262=1, 1273=1, 1300=1, 1317=1, 1336=1, 1379=1, 1404=1, 1431=1, 1432=1, 1458=1, 1460=1, 1461=1, 1462=1, 1488=1, 1490=1, 1491=1, 1518=1, 1519=1, 1544=1, 1545=1, 1546=1, 1569=1, 1570=1, 1571=1, 1592=1, 1593=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, 1684=1, 1685=1, 1686=1, 1693=1, 1694=1, 1695=1, 1700=1, 1701=1, 1702=1, 1705=1, 1706=1, 1708=1, 1709=1, 1710=1, 1712=1, 1713=1, 1732=1, 1733=1, 1750=1, 1757=1, 1765=1, 1772=1, 1781=1, 1804=1, 1819=1, 1836=1, 1875=1, 1898=1, 1923=1, 1924=1, 1948=1, 1950=1, 1951=1, 1952=1, 1976=1, 1978=1, 1979=1, 2004=1, 2005=1, 2028=1, 2029=1, 2030=1, 2051=1, 2052=1, 2053=1, 2072=1, 2073=1, 2090=1, 2091=1, 2106=1, 2107=1, 2108=1, 2121=1, 2122=1, 2123=1, 2134=1, 2135=1, 2136=1, 2145=1, 2146=1, 2153=1, 2154=1, 2155=1, 2160=1, 2161=1, 2162=1, 2165=1, 2166=1, 2167=1, 2169=1, 2170=1, 2172=1, 2173=1, 2174=1, 2176=1, 2177=1, 2196=1, 2213=1, 2220=1, 2224=1, 2228=1, 2233=1, 2240=1, 2259=1, 2272=1, 2287=1, 2322=1, 2343=1, 2366=1, 2367=1, 2389=1, 2391=1, 2392=1, 2393=1, 2415=1, 2417=1, 2418=1, 2441=1, 2442=1, 2463=1, 2464=1, 2465=1, 2484=1, 2485=1, 2486=1, 2503=1, 2504=1, 2519=1, 2520=1, 2533=1, 2534=1, 2535=1, 2546=1, 2547=1, 2548=1, 2557=1, 2558=1, 2559=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, 2588=1, 2589=1, 2590=1, 2592=1, 2593=1, 2612=1, 2613=1, 2630=1, 2637=1, 2641=1, 2648=1, 2653=1, 2668=1, 2679=1, 2692=1, 2723=1, 2742=1, 2763=1, 2764=1, 2784=1, 2786=1, 2787=1, 2788=1, 2808=1, 2810=1, 2811=1, 2832=1, 2833=1, 2852=1, 2853=1, 2854=1, 2870=1, 2871=1, 2872=1, 2887=1, 2888=1, 2901=1, 2902=1, 2913=1, 2914=1, 2915=1, 2924=1, 2925=1, 2926=1, 2933=1, 2934=1, 2935=1, 2940=1, 2941=1, 2944=1, 2945=1, 2946=1, 2948=1, 2949=1, 2950=1, 2952=1, 2953=1, 2954=1, 2955=1, 2956=1, 2958=1, 2959=1, 2960=1, 2962=1, 2963=1, 2982=1, 2983=1, 3000=1, 3007=1, 3011=1, 3018=1, 3022=1, 3033=1, 3042=1, 3053=1, 3080=1, 3097=1, 3116=1, 3117=1, 3135=1, 3137=1, 3138=1, 3139=1, 3157=1, 3159=1, 3160=1, 3179=1, 3180=1, 3197=1, 3198=1, 3199=1, 3214=1, 3215=1, 3216=1, 3229=1, 3230=1, 3241=1, 3242=1, 3251=1, 3252=1, 3253=1, 3260=1, 3261=1, 3262=1, 3267=1, 3268=1, 3269=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, 3290=1, 3291=1, 3292=1, 3294=1, 3295=1, 3314=1, 3315=1, 3332=1, 3339=1, 3343=1, 3350=1, 3354=1, 3362=1, 3369=1, 3378=1, 3401=1, 3416=1, 3433=1, 3434=1, 3450=1, 3452=1, 3453=1, 3454=1, 3470=1, 3472=1, 3473=1, 3490=1, 3491=1, 3506=1, 3507=1, 3508=1, 3521=1, 3522=1, 3523=1, 3534=1, 3535=1, 3544=1, 3545=1, 3552=1, 3553=1, 3554=1, 3559=1, 3560=1, 3561=1, 3564=1, 3565=1, 3566=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, 3586=1, 3587=1, 3588=1, 3590=1, 3591=1, 3610=1, 3627=1, 3634=1, 3638=1, 3645=1, 3649=1, 3653=1, 3657=1, 3662=1, 3669=1, 3688=1, 3701=1, 3716=1, 3717=1, 3731=1, 3733=1, 3734=1, 3735=1, 3749=1, 3751=1, 3752=1, 3767=1, 3768=1, 3781=1, 3782=1, 3783=1, 3794=1, 3795=1, 3796=1, 3805=1, 3806=1, 3813=1, 3814=1, 3819=1, 3820=1, 3821=1, 3824=1, 3825=1, 3826=1, 3828=1, 3829=1, 3830=1, 3832=1, 3833=1, 3835=1, 3836=1, 3837=1, 3839=1, 3840=1, 3841=1, 3843=1, 3844=1, 3845=1, 3847=1, 3848=1, 3850=1, 3851=1, 3852=1, 3854=1, 3855=1, 3874=1, 3875=1, 3892=1, 3899=1, 3903=1, 3910=1, 3914=1, 3918=1, 3925=1, 3930=1, 3945=1, 3956=1, 3969=1, 3970=1, 3982=1, 3984=1, 3985=1, 3997=1, 3999=1, 4000=1, 4012=1, 4013=1, 4024=1, 4025=1, 4026=1, 4035=1, 4036=1, 4037=1, 4044=1, 4045=1, 4050=1, 4051=1, 4054=1, 4055=1, 4056=1, 4058=1, 4059=1, 4060=1, 4062=1, 4063=1, 4064=1, 4066=1, 4067=1, 4069=1, 4070=1, 4071=1, 4073=1, 4074=1, 4075=1, 4077=1, 4078=1, 4079=1, 4081=1, 4082=1, 4084=1, 4085=1, 4086=1, 4088=1, 4089=1, 4108=1, 4109=1, 4126=1, 4133=1, 4137=1, 4144=1, 4148=1, 4152=1, 4159=1, 4163=1, 4174=1, 4183=1, 4194=1, 4195=1, 4205=1, 4207=1, 4208=1, 4209=1, 4219=1, 4221=1, 4222=1, 4233=1, 4234=1, 4243=1, 4244=1, 4245=1, 4252=1, 4253=1, 4254=1, 4259=1, 4260=1, 4263=1, 4264=1, 4266=1, 4267=1, 4268=1, 4270=1, 4271=1, 4272=1, 4274=1, 4275=1, 4276=1, 4278=1, 4279=1, 4281=1, 4282=1, 4283=1, 4285=1, 4286=1, 4287=1, 4289=1, 4290=1, 4291=1, 4293=1, 4294=1, 4296=1, 4297=1, 4298=1, 4300=1, 4301=1, 4320=1, 4321=1, 4338=1, 4344=1, 4348=1, 4355=1, 4359=1, 4363=1, 4370=1, 4374=1, 4381=1, 4388=1, 4397=1, 4398=1, 4406=1, 4408=1, 4409=1, 4410=1, 4418=1, 4420=1, 4421=1, 4430=1, 4431=1, 4438=1, 4439=1, 4440=1, 4445=1, 4446=1, 4447=1, 4450=1, 4451=1, 4453=1, 4454=1, 4456=1, 4457=1, 4458=1, 4460=1, 4461=1, 4462=1, 4464=1, 4465=1, 4466=1, 4468=1, 4469=1, 4471=1, 4472=1, 4473=1, 4475=1, 4476=1, 4477=1, 4479=1, 4480=1, 4481=1, 4483=1, 4484=1, 4485=1, 4487=1, 4488=1, 4489=1, 4491=1, 4492=1, 4511=1, 4512=1, 4529=1, 4536=1, 4540=1, 4547=1, 4551=1, 4555=1, 4562=1, 4566=1, 4570=1, 4574=1, 4579=1, 4586=1, 4587=1, 4593=1, 4595=1, 4596=1, 4597=1, 4603=1, 4605=1, 4606=1, 4613=1, 4614=1, 4619=1, 4620=1, 4621=1, 4624=1, 4625=1, 4626=1, 4627=1, 4628=1, 4630=1, 4631=1, 4633=1, 4634=1, 4635=1, 4637=1, 4638=1, 4639=1, 4641=1, 4642=1, 4643=1, 4645=1, 4646=1, 4648=1, 4649=1, 4650=1, 4652=1, 4653=1, 4654=1, 4656=1, 4657=1, 4659=1, 4660=1, 4661=1, 4662=1, 4663=1, 4665=1, 4666=1, 4685=1, 4686=1, 4703=1, 4710=1, 4714=1, 4721=1, 4725=1, 4729=1, 4736=1, 4740=1, 4744=1, 4751=1, 4756=1, 4757=1, 4761=1, 4763=1, 4764=1, 4765=1, 4769=1, 4771=1, 4772=1, 4777=1, 4778=1, 4781=1, 4782=1, 4783=1, 4785=1, 4786=1, 4787=1, 4789=1, 4790=1, 4792=1, 4793=1, 4795=1, 4796=1, 4797=1, 4799=1, 4800=1, 4801=1, 4803=1, 4804=1, 4805=1, 4807=1, 4808=1, 4810=1, 4811=1, 4812=1, 4814=1, 4815=1, 4816=1, 4818=1, 4819=1, 4820=1, 4822=1, 4823=1, 4825=1, 4826=1, 4827=1, 4829=1, 4830=1, 4849=1, 4866=1, 4873=1, 4877=1, 4884=1, 4888=1, 4892=1, 4899=1, 4903=1, 4907=1, 4914=1, 4918=1, 4919=1, 4922=1, 4923=1, 4924=1, 4926=1, 4928=1, 4929=1, 4932=1, 4933=1, 4935=1, 4936=1, 4937=1, 4939=1, 4940=1, 4941=1, 4943=1, 4944=1, 4946=1, 4947=1, 4949=1, 4950=1, 4951=1, 4953=1, 4954=1, 4955=1, 4957=1, 4958=1, 4959=1, 4961=1, 4962=1, 4964=1, 4965=1, 4966=1, 4968=1, 4969=1, 4970=1, 4972=1, 4973=1, 4974=1, 4976=1, 4977=1, 4979=1, 4980=1, 4981=1, 4983=1, 4984=1, 5003=1, 5004=1, 5021=1, 5028=1, 5032=1, 5039=1, 5043=1, 5047=1, 5054=1, 5058=1, 5062=1, 5069=1, 5073=1, 5077=1, 5078=1, 5079=1, 5081=1, 5082=1, 5084=1, 5085=1, 5087=1, 5088=1, 5089=1, 5091=1, 5092=1, 5093=1, 5095=1, 5096=1, 5098=1, 5099=1, 5101=1, 5102=1, 5103=1, 5105=1, 5106=1, 5107=1, 5109=1, 5110=1, 5111=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, 5131=1, 5132=1, 5133=1, 5135=1, 5136=1, 5156=1, 5173=1, 5180=1, 5184=1, 5190=1, 5194=1, 5198=1, 5205=1, 5209=1, 5213=1, 5220=1, 5224=1, 5228=1, 5229=1, 5230=1, 5232=1, 5233=1, 5235=1, 5236=1, 5238=1, 5239=1, 5240=1, 5242=1, 5243=1, 5244=1, 5246=1, 5247=1, 5249=1, 5250=1, 5252=1, 5253=1, 5254=1, 5256=1, 5257=1, 5258=1, 5260=1, 5261=1, 5262=1, 5264=1, 5265=1, 5267=1, 5268=1, 5269=1, 5271=1, 5272=1, 5273=1, 5275=1, 5276=1, 5277=1, 5279=1, 5280=1, 5282=1, 5283=1, 5284=1, 5286=1, 5287=1, 5307=1, 5308=1, 5324=1, 5331=1, 5335=1, 5342=1, 5346=1, 5350=1, 5357=1, 5361=1, 5365=1, 5372=1, 5376=1, 5380=1, 5381=1, 5382=1, 5384=1, 5385=1, 5387=1, 5388=1, 5390=1, 5391=1, 5392=1, 5394=1, 5395=1, 5396=1, 5398=1, 5399=1, 5401=1, 5402=1, 5404=1, 5405=1, 5406=1, 5408=1, 5409=1, 5410=1, 5412=1, 5413=1, 5414=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, 5434=1, 5435=1, 5436=1, 5438=1, 5439=1, 5459=1, 5475=1, 5482=1, 5486=1, 5493=1, 5497=1, 5501=1, 5508=1, 5512=1, 5516=1, 5522=1, 5526=1, 5530=1, 5531=1, 5533=1, 5535=1, 5536=1, 5537=1, 5540=1, 5541=1, 5542=1, 5545=1, 5546=1, 5547=1, 5549=1, 5550=1, 5551=1, 5553=1, 5554=1, 5556=1, 5557=1, 5559=1, 5560=1, 5562=1, 5563=1, 5564=1, 5566=1, 5567=1, 5568=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, 5588=1, 5589=1, 5590=1, 5592=1, 5593=1, 5613=1, 5629=1, 5636=1, 5640=1, 5647=1, 5651=1, 5655=1, 5662=1, 5666=1, 5670=1, 5677=1, 5681=1, 5686=1, 5687=1, 5691=1, 5693=1, 5694=1, 5699=1, 5700=1, 5701=1, 5706=1, 5707=1, 5710=1, 5711=1, 5712=1, 5714=1, 5715=1, 5717=1, 5718=1, 5720=1, 5721=1, 5722=1, 5724=1, 5725=1, 5726=1, 5728=1, 5729=1, 5730=1, 5732=1, 5734=1, 5735=1, 5736=1, 5738=1, 5739=1, 5740=1, 5742=1, 5743=1, 5744=1, 5746=1, 5747=1, 5749=1, 5750=1, 5751=1, 5753=1, 5754=1, 5774=1, 5775=1, 5791=1, 5798=1, 5802=1, 5809=1, 5813=1, 5817=1, 5824=1, 5828=1, 5832=1, 5839=1, 5844=1, 5850=1, 5851=1, 5857=1, 5859=1, 5860=1, 5861=1, 5868=1, 5869=1, 5870=1, 5877=1, 5878=1, 5883=1, 5884=1, 5885=1, 5888=1, 5889=1, 5890=1, 5892=1, 5893=1, 5895=1, 5896=1, 5897=1, 5899=1, 5900=1, 5901=1, 5903=1, 5904=1, 5905=1, 5907=1, 5908=1, 5910=1, 5911=1, 5912=1, 5914=1, 5915=1, 5917=1, 5918=1, 5919=1, 5921=1, 5922=1, 5924=1, 5925=1, 5926=1, 5928=1, 5929=1, 5949=1, 5950=1, 5966=1, 5973=1, 5977=1, 5984=1, 5988=1, 5992=1, 5999=1, 6003=1, 6007=1, 6015=1, 6022=1, 6031=1, 6032=1, 6040=1, 6042=1, 6043=1, 6044=1, 6053=1, 6054=1, 6055=1, 6064=1, 6065=1, 6072=1, 6073=1, 6074=1, 6079=1, 6080=1, 6081=1, 6084=1, 6085=1, 6087=1, 6088=1, 6089=1, 6091=1, 6092=1, 6094=1, 6095=1, 6096=1, 6098=1, 6099=1, 6101=1, 6102=1, 6103=1, 6105=1, 6106=1, 6107=1, 6109=1, 6110=1, 6111=1, 6113=1, 6114=1, 6116=1, 6117=1, 6118=1, 6120=1, 6121=1, 6141=1, 6142=1, 6158=1, 6165=1, 6169=1, 6176=1, 6180=1, 6184=1, 6191=1, 6195=1, 6198=1, 6208=1, 6217=1, 6228=1, 6229=1, 6239=1, 6241=1, 6242=1, 6243=1, 6254=1, 6255=1, 6256=1, 6267=1, 6268=1, 6277=1, 6278=1, 6279=1, 6286=1, 6287=1, 6288=1, 6293=1, 6294=1, 6297=1, 6298=1, 6299=1, 6301=1, 6302=1, 6303=1, 6305=1, 6306=1, 6307=1, 6309=1, 6310=1, 6312=1, 6313=1, 6314=1, 6316=1, 6317=1, 6318=1, 6320=1, 6321=1, 6322=1, 6324=1, 6325=1, 6327=1, 6328=1, 6329=1, 6331=1, 6332=1, 6352=1, 6353=1, 6369=1, 6376=1, 6380=1, 6387=1, 6391=1, 6395=1, 6402=1, 6406=1, 6411=1, 6426=1, 6437=1, 6450=1, 6451=1, 6463=1, 6465=1, 6466=1, 6467=1, 6480=1, 6481=1, 6482=1, 6495=1, 6496=1, 6507=1, 6508=1, 6509=1, 6518=1, 6519=1, 6520=1, 6527=1, 6528=1, 6533=1, 6534=1, 6537=1, 6538=1, 6539=1, 6541=1, 6542=1, 6543=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, 6563=1, 6564=1, 6565=1, 6567=1, 6568=1, 6588=1, 6589=1, 6605=1, 6612=1, 6616=1, 6623=1, 6627=1, 6631=1, 6638=1, 6643=1, 6650=1, 6669=1, 6682=1, 6697=1, 6698=1, 6712=1, 6714=1, 6715=1, 6716=1, 6731=1, 6732=1, 6733=1, 6748=1, 6749=1, 6762=1, 6763=1, 6764=1, 6775=1, 6776=1, 6777=1, 6786=1, 6787=1, 6794=1, 6795=1, 6800=1, 6801=1, 6802=1, 6805=1, 6806=1, 6807=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, 6827=1, 6828=1, 6829=1, 6831=1, 6832=1, 6852=1, 6853=1, 6869=1, 6876=1, 6880=1, 6887=1, 6891=1, 6895=1, 6903=1, 6910=1, 6919=1, 6942=1, 6957=1, 6974=1, 6975=1, 6991=1, 6993=1, 6994=1, 6995=1, 7012=1, 7013=1, 7014=1, 7031=1, 7032=1, 7047=1, 7048=1, 7049=1, 7062=1, 7063=1, 7064=1, 7075=1, 7076=1, 7085=1, 7086=1, 7093=1, 7094=1, 7095=1, 7100=1, 7101=1, 7102=1, 7105=1, 7106=1, 7108=1, 7109=1, 7110=1, 7112=1, 7113=1, 7114=1, 7116=1, 7117=1, 7118=1, 7120=1, 7121=1, 7123=1, 7124=1, 7125=1, 7127=1, 7128=1, 7148=1, 7149=1, 7165=1, 7172=1, 7176=1, 7183=1, 7186=1, 7190=1, 7201=1, 7210=1, 7221=1, 7248=1, 7265=1, 7284=1, 7285=1, 7303=1, 7305=1, 7306=1, 7307=1, 7326=1, 7327=1, 7328=1, 7347=1, 7348=1, 7365=1, 7366=1, 7367=1, 7382=1, 7383=1, 7384=1, 7397=1, 7398=1, 7409=1, 7410=1, 7419=1, 7420=1, 7421=1, 7428=1, 7429=1, 7430=1, 7435=1, 7436=1, 7437=1, 7440=1, 7441=1, 7442=1, 7444=1, 7445=1, 7446=1, 7448=1, 7449=1, 7450=1, 7452=1, 7453=1, 7455=1, 7456=1, 7457=1, 7459=1, 7460=1, 7480=1, 7496=1, 7500=1, 7504=1, 7508=1, 7515=1, 7519=1, 7524=1, 7539=1, 7550=1, 7563=1, 7594=1, 7613=1, 7634=1, 7635=1, 7655=1, 7657=1, 7658=1, 7659=1, 7680=1, 7681=1, 7682=1, 7703=1, 7704=1, 7723=1, 7724=1, 7725=1, 7742=1, 7743=1, 7744=1, 7759=1, 7760=1, 7773=1, 7774=1, 7785=1, 7786=1, 7787=1, 7796=1, 7797=1, 7798=1, 7805=1, 7806=1, 7807=1, 7812=1, 7813=1, 7816=1, 7817=1, 7818=1, 7820=1, 7821=1, 7822=1, 7824=1, 7825=1, 7827=1, 7828=1, 7829=1, 7831=1, 7832=1, 7852=1, 7853=1, 7869=1, 7876=1, 7880=1, 7887=1, 7892=1, 7899=1, 7918=1, 7931=1, 7946=1, 7981=1, 8002=1, 8025=1, 8026=1, 8048=1, 8050=1, 8051=1, 8052=1, 8075=1, 8076=1, 8077=1, 8100=1, 8101=1, 8122=1, 8123=1, 8142=1, 8143=1, 8144=1, 8161=1, 8162=1, 8177=1, 8178=1, 8191=1, 8192=1, 8193=1, 8204=1, 8205=1, 8206=1, 8215=1, 8216=1, 8217=1, 8224=1, 8225=1, 8230=1, 8231=1, 8232=1, 8235=1, 8236=1, 8237=1, 8239=1, 8240=1, 8242=1, 8243=1, 8244=1, 8246=1, 8247=1, 8267=1, 8268=1, 8284=1, 8291=1, 8295=1, 8303=1, 8310=1, 8319=1, 8342=1, 8357=1, 8374=1, 8413=1, 8436=1, 8461=1, 8462=1, 8486=1, 8488=1, 8489=1, 8490=1, 8515=1, 8516=1, 8517=1, 8542=1, 8543=1, 8566=1, 8567=1, 8568=1, 8589=1, 8590=1, 8591=1, 8610=1, 8611=1, 8628=1, 8629=1, 8644=1, 8645=1, 8646=1, 8659=1, 8660=1, 8661=1, 8672=1, 8673=1, 8674=1, 8683=1, 8684=1, 8691=1, 8692=1, 8693=1, 8698=1, 8699=1, 8700=1, 8703=1, 8704=1, 8706=1, 8707=1, 8708=1, 8710=1, 8711=1, 8731=1, 8747=1, 8754=1, 8758=1, 8769=1, 8778=1, 8789=1, 8816=1, 8833=1, 8852=1, 8895=1, 8920=1, 8947=1, 8948=1, 8974=1, 8976=1, 8977=1, 8978=1, 9005=1, 9006=1, 9007=1, 9034=1, 9035=1, 9060=1, 9061=1, 9062=1, 9085=1, 9086=1, 9087=1, 9108=1, 9109=1, 9128=1, 9129=1, 9146=1, 9147=1, 9148=1, 9163=1, 9164=1, 9165=1, 9178=1, 9179=1, 9180=1, 9191=1, 9192=1, 9201=1, 9202=1, 9203=1, 9210=1, 9211=1, 9212=1, 9217=1, 9218=1, 9219=1, 9222=1, 9223=1, 9224=1, 9226=1, 9227=1, 9247=1, 9248=1, 9264=1, 9271=1, 9276=1, 9291=1, 9302=1, 9315=1, 9346=1, 9365=1, 9386=1, 9433=1, 9460=1, 9489=1, 9490=1, 9518=1, 9520=1, 9521=1, 9522=1, 9551=1, 9552=1, 9553=1, 9582=1, 9583=1, 9610=1, 9611=1, 9612=1, 9637=1, 9638=1, 9639=1, 9662=1, 9663=1, 9684=1, 9685=1, 9704=1, 9705=1, 9706=1, 9723=1, 9724=1, 9725=1, 9740=1, 9741=1, 9742=1, 9755=1, 9756=1, 9767=1, 9768=1, 9769=1, 9778=1, 9779=1, 9780=1, 9787=1, 9788=1, 9789=1, 9794=1, 9795=1, 9798=1, 9799=1, 9800=1, 9801=1, 9836=1, 9844=1, 9851=1, 9870=1, 9883=1, 9898=1, 9933=1, 9954=1, 9977=1, 10028=1, 10057=1, 10088=1, 10121=1, 10155=1, 10218=1, 10247=1, 10320=1, 10341=1, 10360=1, 10391=1, 10404=1, 10415=1, 10430=1, 10435=1, 10436=1, 10437=1, 10438=1, 10439=1, 10440=1, 10441=1, 10442=1, 10443=1, 10444=1, 10445=1, 10446=1, 10447=1, 10448=1, 10449=1, 10450=1, 10451=1, 10452=1, 10453=1, 10454=1, 10455=1, 10456=1, 10457=1, 10458=1, 10459=1, 10460=1, 10461=1, 10462=1, 10463=1, 10464=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, 10554=1, 10555=1, 10561=1, 10564=1, 10604=1, 10605=1, 10606=1, 10607=1, 10608=1, 10609=1, 10610=1, 10611=1, 10612=1, 10614=1, 10615=1, 10616=1, 10617=1, 10618=1, 10619=1, 10628=1, 10629=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, 10682=1, 10685=1, 10687=1, 10732=1, 10733=1, 10734=1, 10735=1, 10736=1, 10737=1, 10738=1, 10739=1, 10740=1, 10741=1, 10742=1, 10744=1, 10745=1, 10746=1, 10747=1, 10750=1, 10755=1, 10796=1, 10797=1, 10798=1, 10799=1, 10800=1, 10801=1, 10803=1, 10804=1, 10805=1, 10806=1, 10807=1, 10808=1, 10809=1, 10810=1, 10811=1, 10817=1, 10824=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, 10872=1, 10873=1, 10875=1, 10884=1, 10923=1, 10924=1, 10925=1, 10926=1, 10927=1, 10928=1, 10929=1, 10930=1, 10931=1, 10932=1, 10933=1, 10934=1, 10936=1, 10937=1, 10938=1, 10939=1, 10950=1, 10987=1, 10988=1, 10990=1, 10991=1, 10992=1, 10993=1, 10994=1, 10995=1, 10996=1, 10997=1, 10998=1, 10999=1, 11000=1, 11001=1, 11002=1, 11005=1, 11017=1, 11050=1, 11051=1, 11052=1, 11053=1, 11055=1, 11056=1, 11057=1, 11058=1, 11059=1, 11060=1, 11061=1, 11062=1, 11063=1, 11064=1, 11065=1, 11067=1, 11071=1, 11113=1, 11114=1, 11115=1, 11116=1, 11117=1, 11118=1, 11120=1, 11121=1, 11122=1, 11123=1, 11124=1, 11125=1, 11126=1, 11127=1, 11128=1, 11134=1, 11136=1, 11177=1, 11178=1, 11179=1, 11180=1, 11181=1, 11182=1, 11183=1, 11184=1, 11185=1, 11186=1, 11187=1, 11189=1, 11190=1, 11191=1, 11192=1, 11193=1, 11206=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, 11256=1, 11261=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, 11321=1, 11326=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, 11386=1, 11395=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, 11453=1, 11459=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, 11524=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, 11572=1, 11574=1, 11622=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, 11636=1, 11637=1, 11640=1, 11686=1, 11687=1, 11689=1, 11690=1, 11691=1, 11692=1, 11693=1, 11694=1, 11695=1, 11696=1, 11697=1, 11698=1, 11699=1, 11700=1, 11701=1, 11706=1, 11750=1, 11751=1, 11752=1, 11753=1, 11754=1, 11755=1, 11756=1, 11757=1, 11759=1, 11760=1, 11761=1, 11762=1, 11763=1, 11764=1, 11765=1, 11779=1, 11813=1, 11814=1, 11815=1, 11816=1, 11817=1, 11818=1, 11820=1, 11821=1, 11822=1, 11823=1, 11824=1, 11825=1, 11826=1, 11827=1, 11828=1, 11843=1, 11877=1, 11878=1, 11879=1, 11880=1, 11881=1, 11882=1, 11883=1, 11884=1, 11885=1, 11886=1, 11887=1, 11888=1, 11889=1, 11890=1, 11891=1, 11908=1, 11941=1, 11942=1, 11943=1, 11944=1, 11945=1, 11946=1, 11947=1, 11948=1, 11950=1, 11951=1, 11952=1, 11953=1, 11954=1, 11955=1, 11956=1, 11958=1, 12004=1, 12005=1, 12006=1, 12007=1, 12008=1, 12009=1, 12010=1, 12012=1, 12013=1, 12014=1, 12015=1, 12016=1, 12017=1, 12018=1, 12019=1, 12030=1, 12068=1, 12069=1, 12070=1, 12071=1, 12072=1, 12073=1, 12074=1, 12075=1, 12076=1, 12077=1, 12078=1, 12080=1, 12081=1, 12082=1, 12083=1, 12096=1, 12132=1, 12133=1, 12134=1, 12135=1, 12136=1, 12137=1, 12138=1, 12139=1, 12140=1, 12141=1, 12142=1, 12143=1, 12145=1, 12146=1, 12147=1, 12161=1, 12196=1, 12197=1, 12198=1, 12199=1, 12200=1, 12201=1, 12202=1, 12203=1, 12204=1, 12205=1, 12206=1, 12207=1, 12208=1, 12210=1, 12211=1, 12212=1, 12258=1, 12259=1, 12260=1, 12262=1, 12263=1, 12264=1, 12265=1, 12266=1, 12267=1, 12268=1, 12269=1, 12270=1, 12271=1, 12272=1, 12273=1, 12281=1, 12322=1, 12323=1, 12325=1, 12326=1, 12327=1, 12328=1, 12329=1, 12330=1, 12331=1, 12332=1, 12333=1, 12334=1, 12335=1, 12336=1, 12337=1, 12349=1, 12386=1, 12387=1, 12388=1, 12389=1, 12390=1, 12391=1, 12392=1, 12393=1, 12394=1, 12395=1, 12396=1, 12397=1, 12399=1, 12400=1, 12401=1, 12412=1, 12450=1, 12451=1, 12452=1, 12453=1, 12454=1, 12456=1, 12457=1, 12458=1, 12459=1, 12460=1, 12461=1, 12462=1, 12463=1, 12464=1, 12465=1, 12480=1, 12514=1, 12515=1, 12516=1, 12517=1, 12519=1, 12520=1, 12521=1, 12522=1, 12523=1, 12524=1, 12525=1, 12526=1, 12527=1, 12528=1, 12529=1, 12549=1, 12577=1, 12578=1, 12579=1, 12580=1, 12581=1, 12582=1, 12583=1, 12585=1, 12586=1, 12587=1, 12588=1, 12589=1, 12590=1, 12591=1, 12592=1, 15795=1, 15797=1, 15799=1, 15801=1, 15803=1, 15805=1, 15807=1, 15809=1, 15811=1, 15813=1, 15815=1, 15817=1, 15819=1, 15821=1, 15823=1, 15840=1, 15965=1, 15982=1, 15984=1, 15986=1, 15988=1, 15990=1, 15992=1, 15994=1, 15996=1, 15998=1, 16000=1, 16002=1, 16004=1, 16006=1, 16008=1}
Probabilistic random walk after 6132 steps, saw 2866 distinct states, run finished after 6048 ms. (steps per millisecond=1 ) properties seen :2519
Running SMT prover for 16632 properties.
[2023-03-13 10:09:32] [INFO ] Flow matrix only has 18474 transitions (discarded 1056 similar events)
[2023-03-13 10:09:32] [INFO ] Invariant cache hit.
Loading property file /tmp/ReachabilityCardinality5253487987328586836.prop.
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:2340)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:618)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
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:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
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)
[2023-03-13 10:10:46] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 10:10:46] [INFO ] After 25057ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 16632 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 2 ms.
Support contains 10004 out of 11227 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 11227/11227 places, 19530/19530 transitions.
Discarding 467 places :
Symmetric choice reduction at 0 with 467 rule applications. Total rules 467 place count 10760 transition count 19063
Iterating global reduction 0 with 467 rules applied. Total rules applied 934 place count 10760 transition count 19063
Applied a total of 934 rules in 1108 ms. Remains 10760 /11227 variables (removed 467) and now considering 19063/19530 (removed 467) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1111 ms. Remains : 10760/11227 places, 19063/19530 transitions.
Interrupted random walk after 179927 steps, including 10511 resets, run timeout after 30017 ms. (steps per millisecond=5 ) properties seen 912
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15720) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 15707) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 15694) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 15688) 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 15679) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 15670) 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 15663) 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 15661) 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 15659) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 15650) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 15647) 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 15647) 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 15647) 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 15645) 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 15643) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 15641) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 15637) 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 15637) 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 15637) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 15635) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 15631) 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 15631) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 15629) 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 15629) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 15627) 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 15627) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 15621) 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 15619) 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 15619) 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 15619) 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 15619) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 15613) seen :20
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 15593) seen :22
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 15571) seen :20
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 15551) seen :26
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 15525) seen :23
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 15502) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 15489) seen :24
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 15465) seen :16
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 15449) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 15432) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 15418) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 15404) seen :19
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 15385) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 15372) seen :20
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 15352) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 15344) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 15327) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 15318) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 15304) seen :19
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 15285) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 15268) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 15253) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 15243) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 15226) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 15211) 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 15194) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 15179) seen :16
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 15163) seen :21
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 15142) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 15129) seen :23
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 15106) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 15097) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 15080) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 15071) seen :18
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 15053) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 15045) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 15030) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 15017) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 15005) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 14990) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 14976) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 14966) seen :16
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 14950) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 14944) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 14931) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 14927) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 14913) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 14899) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 14887) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 14883) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 14869) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 14857) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 14840) seen :18
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 14822) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 14811) seen :21
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 14790) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 14781) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 14768) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 14767) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 14757) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 14752) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 14743) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 14739) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 14730) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 14726) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 14715) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 14703) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 14695) seen :19
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 14676) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 14665) seen :20
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 14645) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 14634) seen :18
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 14616) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 14612) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 14601) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 14595) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 14590) 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 14587) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 14577) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 14571) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 14559) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 14552) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 14543) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 14529) 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 14526) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 14509) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 14497) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 14486) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 14481) seen :16
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 14465) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 14455) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 14444) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 14439) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 14435) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 14431) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 14420) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 14415) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 14407) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 14397) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 14389) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 14385) 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 14382) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 14375) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 14367) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 14352) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 14342) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 14330) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 14330) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 14319) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 14315) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 14305) 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 14305) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 14300) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 14296) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 14286) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 14280) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 14269) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 14266) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 14260) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 14256) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 14252) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 14252) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 14246) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 14240) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 14225) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 14212) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 14200) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 14188) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 14178) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 14167) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 14161) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 14155) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 14147) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 14138) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 14134) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 14133) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 14129) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 14123) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 14116) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 14106) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 14100) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 14091) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 14088) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 14081) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 14080) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 14075) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 14066) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 14059) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 14053) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 14048) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 14040) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 14033) seen :18
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 14015) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 14012) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 14005) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 13993) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 13988) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 13988) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 13979) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 13979) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 13973) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 13972) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 13964) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 13959) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 13954) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 13950) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 13941) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 13938) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 13933) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 13933) 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 13928) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13923) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13916) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 13909) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 13904) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 13897) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 13893) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 13888) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 13885) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 13872) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 13867) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 13861) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 13861) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 13859) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 13857) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 13852) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 13846) 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 13844) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 13843) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 13836) 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 13836) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 13829) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13829) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13822) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13822) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13818) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13818) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13816) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13807) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13804) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 13801) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13795) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13781) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13780) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13770) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13769) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13762) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13759) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13754) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13750) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13749) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13745) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 13741) 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 13739) 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 13739) 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 13739) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 13732) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 13728) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13723) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13722) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13716) 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 13714) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13711) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13710) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13708) 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 13708) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13705) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13702) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13698) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13693) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13689) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13682) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 13679) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13673) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13666) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13661) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13657) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13649) 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 13649) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13645) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13645) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13641) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13640) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13635) 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 13635) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13633) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13631) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13627) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13625) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13618) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 13614) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13614) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 13613) 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 13611) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13609) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13604) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13601) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13601) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13597) 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 13597) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 13592) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13592) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13583) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13581) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13575) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13573) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13568) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13566) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 13560) 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 13560) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13556) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13556) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13555) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13553) 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 13553) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 13545) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13545) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 13542) 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 13542) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13541) 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 13541) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13537) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13534) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13532) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 13529) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13527) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13525) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13524) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13520) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13519) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13514) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13509) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13508) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13505) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 13503) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 13497) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13496) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13494) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 13492) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 13487) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13483) 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 13481) 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 13481) 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 13478) 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 13478) 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 13474) 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 13474) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13469) 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 13469) 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 13469) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13465) 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 13462) 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 13462) 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 13460) 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 13455) 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 13453) 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 13453) 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 13453) 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 13449) 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 13448) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 13442) 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 13442) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13436) 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 13433) 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 13433) 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 13433) 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 13431) 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 13431) 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 13427) 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 13425) 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 13423) 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 13423) 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 13423) 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 13423) 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 13423) 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 13423) 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 13422) 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 13420) 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 13420) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13415) 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 13415) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13410) 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 13407) 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 13400) 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 13398) 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 13398) 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 13398) 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 13398) 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 13394) 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 13389) 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 13387) 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 13385) 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 13383) 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 13380) 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 13380) 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 13376) 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 13375) 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 13373) 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 13369) 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 13365) 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 13363) 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 13363) 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 13359) 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 13359) 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 13357) 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 13357) 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 13355) 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 13355) 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 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 :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 :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 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 157 ms. (steps per millisecond=6 ) properties (out of 13347) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13343) 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 13343) 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 13341) 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 13340) 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 13339) 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 13337) 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 13334) 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 13334) 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 13334) 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 13330) 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 13330) 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 13327) 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 13327) 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 13326) 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 13324) 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 13320) 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 13320) 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 13318) 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 13318) 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 13316) 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 13316) 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 13312) 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 13310) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13306) 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 13298) 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 13296) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13290) 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 13290) 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 13288) 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 13288) 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 13285) 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 13285) 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 13283) 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 13283) 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 13281) 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 13281) 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 13281) 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 13281) 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 13278) 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 13278) 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 13276) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 13273) 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 13273) 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 13271) 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 13271) 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 13270) 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 13270) 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 13270) 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 13270) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13265) 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 13265) 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 13263) 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 13263) 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 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 157 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 157 ms. (steps per millisecond=6 ) properties (out of 13258) 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 13258) 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 13256) 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 13256) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 13254) 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 13253) 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 13251) 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 13251) 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 13249) 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 13249) 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 13249) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 164 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 160 ms. (steps per millisecond=6 ) properties (out of 13248) 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 13245) 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 13242) 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 13239) 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 13239) 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 13235) 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 13235) 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 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 :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 13226) 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 13226) 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 13226) 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 13224) 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 13224) 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 13223) 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 13220) 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 13220) 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 13218) 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 13218) 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 13218) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 13212) 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 13210) 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 13208) 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 13208) 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 13208) 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 13206) 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 13206) 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 13203) 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 13199) 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 13197) 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 13196) 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 13194) 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 13191) 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 13189) 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 13188) 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 13186) 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 13184) 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 13184) 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 13184) 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 13184) 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 13184) 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 13184) 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 13184) 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 13184) 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 13182) 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 13182) 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 13182) 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 13182) 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 13182) 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 13182) 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 13182) 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 13182) 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 13182) 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 13182) 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 13182) 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 13182) 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 13180) 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 13180) 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 13180) 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 13180) 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 13180) 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 13180) 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 13180) 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 13180) 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 13180) 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 13180) 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 13180) 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 13180) 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 13180) 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 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 :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13175) 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 13171) 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 13171) 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 13171) 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 13171) 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 13168) 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 13168) 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 13168) 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 13166) 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 13166) 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 13166) 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 13166) 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 13166) 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 13163) 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 13163) 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 13161) 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 13161) 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 13159) 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 13159) 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 13157) 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 13157) 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 13155) 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 13154) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 13152) 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 13150) 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 13150) 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 13150) 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 13150) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 13147) 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 13147) 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 13147) 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 13147) 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 13145) 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 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 :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13140) 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 13140) 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 13140) 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 13140) 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 13139) 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 13139) 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 13137) 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 13137) 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 13137) 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 13137) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 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 160 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 159 ms. (steps per millisecond=6 ) properties (out of 13131) 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 13128) 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 13128) 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 13124) 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 13124) 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 13121) 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 13121) 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 13119) 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 13119) 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 13119) 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 13119) 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 13117) 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 13117) 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 13115) 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 13115) 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 13114) 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 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 :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 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 158 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 158 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 157 ms. (steps per millisecond=6 ) properties (out of 13114) 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 13112) 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 13112) 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 13112) 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 13112) 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 13108) 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 13108) 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 13106) 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 13106) 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 13105) 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 13105) 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 13105) 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 13105) 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 13105) 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 13105) 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 13105) 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 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 :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 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 155 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 158 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 156 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 :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 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 159 ms. (steps per millisecond=6 ) properties (out of 13098) 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 13098) 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 13096) 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 13096) 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 13096) 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 13096) 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 13096) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13093) 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 13093) 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 13093) 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 13091) 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 13091) 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 13090) 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 13090) 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 13090) 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 13088) 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 13088) 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 13088) 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 13088) 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 13087) 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 13087) 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 13085) 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 13085) 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 13085) 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 13085) 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 13085) 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 13085) 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 13085) 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 13083) 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 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 :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 13081) 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 13081) 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 13079) 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 13077) 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 13076) 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 13074) 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 13074) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 13070) 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 13070) 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 13068) 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 13068) 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 13066) 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 13066) 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 13066) 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 13066) 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 13063) 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 13063) 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 13061) 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 13061) 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 13061) 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 13061) 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 13061) 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 13061) 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 13061) 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 13061) 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 13058) 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 13058) 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 13058) 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 13058) 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 13058) 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 13058) 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 13058) 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 13058) 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 13058) 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 13058) 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 13058) 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 13058) 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 13058) 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 13058) 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 13058) 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 13058) 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 13058) 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 13058) 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 13058) 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 13058) 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 13055) 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 13055) 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 13053) 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 13053) 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 13052) 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 13052) 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 13052) 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 13052) 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 13052) 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 13052) 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 13052) 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 13052) 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 13052) 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 13052) 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 13052) 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 13052) 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 13052) 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 13052) 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 13052) 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 13052) 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 13052) 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 13052) 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 13052) 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 13052) 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 13052) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 13048) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13048) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13048) 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 13048) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13047) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13047) 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 13047) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 13047) 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 13047) 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 13047) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13047) 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 13047) 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 13047) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13047) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13043) 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 13043) 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 13043) 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 13043) 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 13043) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 13043) 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 13043) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 121 ms. (steps per millisecond=8 ) properties (out of 13043) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 13042) 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 13042) 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 13040) 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 13040) 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 13040) 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 13039) 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 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 161 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 160 ms. (steps per millisecond=6 ) properties (out of 13035) 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 13035) 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 13035) 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 13035) 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 13035) 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 13035) 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 13034) 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 13034) 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 13034) 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 13034) 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 13034) 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 13034) 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 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 159 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 159 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 159 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 159 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 :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 13030) 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 13030) 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 13030) 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 13029) 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 13028) 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 13026) 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 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 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 160 ms. (steps per millisecond=6 ) properties (out of 13026) 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 13025) 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 13025) 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 13025) 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 13025) 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 13025) 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 13025) 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 13025) 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 13025) 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 13025) 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 13024) 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 13024) 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 13022) 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 13022) 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 13020) 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 13020) 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 13018) 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 13018) 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 13018) 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 13018) 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 13016) 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 13016) 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 13016) 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 13015) 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 13015) 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 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 160 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 :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 :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 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 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 160 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 160 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 160 ms. (steps per millisecond=6 ) properties (out of 13011) 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 13009) 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 13009) 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 13007) 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 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 :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 13005) 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 13005) 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 13005) 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 13005) 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 13005) 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 13005) 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 13003) 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 13003) 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 12999) 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 12999) 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 12997) 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 12997) 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 12997) 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 12997) 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 12997) 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 12997) 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 12997) 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 12997) 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 12997) 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 12997) 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 12997) 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 12997) 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 12997) 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 12995) 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 12995) 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 12995) 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 12995) 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 12993) 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 12993) 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 12993) 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 12993) 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 12993) 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 12993) 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 12992) 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 12992) 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 12990) 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 12990) 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 12988) 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 12988) 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 12988) 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 12988) 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 12988) 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 12988) 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 12988) 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 12988) 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 12988) 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 12988) 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 12988) 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 12988) 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 12988) 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 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 :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 12986) 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 12984) 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 12984) 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 12983) 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 12982) 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 12982) 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 12982) 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 12982) 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 12982) 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 12981) 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 12981) 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 12981) 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 12981) 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 12981) 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 12981) 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 12981) 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 12981) 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 12981) 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 12980) 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 12980) 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 12978) 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 12978) 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 12978) 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 12978) 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 12978) 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 12978) 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 12978) 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 12978) 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 12978) 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 12978) 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 12976) 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 12975) 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 12973) 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 12971) 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 12971) 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 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 :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 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 155 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 :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 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 151 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 151 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 151 ms. (steps per millisecond=6 ) properties (out of 12969) 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 12966) 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 12966) 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 12966) 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 12966) 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 12966) 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 12966) 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 12964) 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 12962) 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 12962) 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 12962) 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 12962) 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 12962) 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 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 147 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 :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 12958) 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 12958) 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 12958) 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 12958) 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 12958) 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 12958) 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 12958) 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 12956) 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 12956) 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 12956) 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 12956) 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 12956) 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 12956) 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 12956) 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 12956) 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 12956) 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 12956) 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 12956) 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 12956) 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 12956) 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 12956) 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 12956) 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 12956) 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 12956) 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 12956) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 12955) 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 12955) 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 12955) 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 12955) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 12954) 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 12954) 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 12954) 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 12954) 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 12954) 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 12954) 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 12954) 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 12954) 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 12954) 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 12954) 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 12954) 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 12954) 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 12954) 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 12954) 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 12954) 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 12954) 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 12954) 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 12954) 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 12954) 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 12954) 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 12952) 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 12952) 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 12952) 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 12952) 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 12952) 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 12952) 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 12952) 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 12952) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 12951) 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 12951) 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 12951) 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 12951) 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 12951) 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 12951) 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 12951) 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 12951) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 12950) 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 12950) 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 12950) 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 12950) 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 12950) 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 12950) 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 12950) 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 12950) 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 12950) 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 12950) 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 12950) 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 12950) 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 12950) 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 12950) 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 12950) 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 12950) 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 12950) 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 12950) seen :2
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 152 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 152 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 142 ms. (steps per millisecond=7 ) properties (out of 12948) 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 12948) 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 12948) 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 12948) 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 12948) 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 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 153 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 155 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 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 152 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 150 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 154 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 150 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 152 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 153 ms. (steps per millisecond=6 ) properties (out of 12946) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 12943) 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 12943) 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 12943) 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 12943) 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 12941) 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 12941) 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 12939) 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 12939) 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 12939) 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 12939) 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 12939) 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 12939) 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 12939) 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 12939) 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 12939) 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 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 :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 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 156 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 150 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 152 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 152 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 150 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 153 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 152 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 :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 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 151 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 151 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 156 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 155 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 156 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 154 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 155 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 156 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 148 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 146 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 155 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 156 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 151 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 146 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 153 ms. (steps per millisecond=6 ) properties (out of 12939) 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 12937) 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 12937) 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 12937) 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 12937) 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 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 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 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 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 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 157 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 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 149 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 152 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 155 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 150 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 147 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 154 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 154 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 154 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 154 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 150 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 148 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 124 ms. (steps per millisecond=8 ) properties (out of 12933) 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 12933) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 12932) 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 12932) 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 12932) 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 12932) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12932) 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 12932) 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 12932) 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 12932) 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 12932) 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 12932) 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 12932) 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 12932) 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 12929) 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 12929) 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 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 :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 139 ms. (steps per millisecond=7 ) properties (out of 12929) 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 12929) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12928) 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 12928) 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 12928) 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 12928) 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 12928) 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 12928) 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 12928) 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 12928) 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 12928) 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 12928) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 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 155 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 148 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 148 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 :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 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 150 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 150 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 150 ms. (steps per millisecond=6 ) properties (out of 12927) 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 12925) 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 12925) 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 12925) 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 12925) 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 12925) 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 12925) 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 12925) 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 12925) 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 12925) 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 12925) 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 12925) 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 12925) 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 12925) 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 12925) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 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 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 150 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 152 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 157 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 :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 154 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 157 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 154 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 154 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 154 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 154 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 152 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 154 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 152 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 157 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 150 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 157 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 154 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 149 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 149 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 151 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 155 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 155 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 150 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 149 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 153 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 151 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 149 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 159 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 :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 :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 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 155 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 155 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 147 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 154 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 :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 12919) 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 12919) 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 12919) 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 12919) 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 12919) 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 12919) 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 12919) 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 12919) 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 12919) 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 12919) 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 12919) 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 12917) 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 12917) 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 12917) 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 12917) 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 12917) 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 12917) 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 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 155 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 154 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 152 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 150 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 151 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 152 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 156 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 150 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 156 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 151 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 153 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 156 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 154 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 153 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 155 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 155 ms. (steps per millisecond=6 ) properties (out of 12917) 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 12915) 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 12915) 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 12914) 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 12914) 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 12914) 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 12914) 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 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 156 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 154 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 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 153 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 154 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 156 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 156 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 154 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 156 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 153 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 156 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 149 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 152 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 156 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 154 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 156 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 149 ms. (steps per millisecond=6 ) properties (out of 12914) 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 12913) 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 12913) 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 12913) 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 12913) 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 12913) 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 12913) 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 12913) 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 12913) 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 12913) 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 12913) 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 12913) 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 12913) 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 12913) 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 12913) 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 12913) 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 12913) 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 12913) 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 12913) 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 12913) 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 12913) 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 12913) 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 12913) 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 12913) 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 12913) 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 12913) 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 12913) 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 12913) 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 12911) 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 12911) 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 12911) 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 12911) 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 12911) 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 12911) 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 12911) 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 12911) 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 12911) 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 12911) 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 12911) 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 12911) 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 12911) 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 12911) 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 12911) 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 12911) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 12909) 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 12909) 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 12909) 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 12909) 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 12909) 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 12909) 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 12909) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) seen :0
Running SMT prover for 12907 properties.
[2023-03-13 10:14:49] [INFO ] Flow matrix only has 18007 transitions (discarded 1056 similar events)
// Phase 1: matrix 18007 rows 10760 cols
[2023-03-13 10:14:51] [INFO ] Computed 1293 place invariants in 1163 ms
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:2340)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:618)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
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:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
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)
[2023-03-13 10:19:07] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 10:19:07] [INFO ] After 225236ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 12907 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 25 ms.
Support contains 6654 out of 10760 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 10760/10760 places, 19063/19063 transitions.
Discarding 1501 places :
Symmetric choice reduction at 0 with 1501 rule applications. Total rules 1501 place count 9259 transition count 17562
Iterating global reduction 0 with 1501 rules applied. Total rules applied 3002 place count 9259 transition count 17562
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1 Pre rules applied. Total rules applied 3002 place count 9259 transition count 17561
Deduced a syphon composed of 1 places in 35 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 3004 place count 9258 transition count 17561
Discarding 976 places :
Symmetric choice reduction at 0 with 976 rule applications. Total rules 3980 place count 8282 transition count 15609
Iterating global reduction 0 with 976 rules applied. Total rules applied 4956 place count 8282 transition count 15609
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 4959 place count 8282 transition count 15606
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 4962 place count 8279 transition count 15606
Partial Free-agglomeration rule applied 90 times.
Drop transitions removed 90 transitions
Iterating global reduction 1 with 90 rules applied. Total rules applied 5052 place count 8279 transition count 15606
Applied a total of 5052 rules in 6615 ms. Remains 8279 /10760 variables (removed 2481) and now considering 15606/19063 (removed 3457) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 6616 ms. Remains : 8279/10760 places, 15606/19063 transitions.

BK_STOP 1678702772538

--------------------
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:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /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="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool itstools"
echo " Input is MultiCrashLeafsetExtension-PT-S32C02, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r243-tall-167856431200557"
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 ;