MCC'2023- Execution of r249-tall-167856436400557

About the Execution of Smart+red for MultiCrashLeafsetExtension-PT-S32C02

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
14576.812	1800000.00	3206264.00	2934.90	[undef]	Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r249-tall-167856436400557.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 smartxred
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 r249-tall-167856436400557
=====================================================================

--------------------
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 1678744162986

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=smartxred
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C02
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 21:49:24] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -timeout, 180, -rebuildPNML]
[2023-03-13 21:49:24] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 21:49:25] [INFO ] Load time of PNML (sax parser for PT used): 625 ms
[2023-03-13 21:49:25] [INFO ] Transformed 13544 places.
[2023-03-13 21:49:25] [INFO ] Transformed 21807 transitions.
[2023-03-13 21:49:25] [INFO ] Parsed PT model containing 13544 places and 21807 transitions and 93598 arcs in 775 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 13544/13544 places, 21807/21807 transitions.
Reduce places removed 40 places and 0 transitions.
Drop transitions removed 2112 transitions
Trivial Post-agglo rules discarded 2112 transitions
Performed 2112 trivial Post agglomeration. Transition count delta: 2112
Iterating post reduction 0 with 2152 rules applied. Total rules applied 2152 place count 13504 transition count 19695
Reduce places removed 2112 places and 0 transitions.
Iterating post reduction 1 with 2112 rules applied. Total rules applied 4264 place count 11392 transition count 19695
Performed 132 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 132 Pre rules applied. Total rules applied 4264 place count 11392 transition count 19563
Deduced a syphon composed of 132 places in 66 ms
Reduce places removed 132 places and 0 transitions.
Iterating global reduction 2 with 264 rules applied. Total rules applied 4528 place count 11260 transition count 19563
Performed 33 Post agglomeration using F-continuation condition.Transition count delta: 33
Deduced a syphon composed of 33 places in 44 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 1139 ms. Remains 11227 /13544 variables (removed 2317) and now considering 19530/21807 (removed 2277) transitions.
[2023-03-13 21:49:26] [INFO ] Flow matrix only has 18474 transitions (discarded 1056 similar events)
// Phase 1: matrix 18474 rows 11227 cols
[2023-03-13 21:49:28] [INFO ] Computed 1293 place invariants in 1717 ms
[2023-03-13 21:49:29] [INFO ] Implicit Places using invariants in 3018 ms returned []
Implicit Place search using SMT only with invariants took 3294 ms to find 0 implicit places.
[2023-03-13 21:49:29] [INFO ] Flow matrix only has 18474 transitions (discarded 1056 similar events)
[2023-03-13 21:49:29] [INFO ] Invariant cache hit.
[2023-03-13 21:49:30] [INFO ] Dead Transitions using invariants and state equation in 1009 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 5447 ms. Remains : 11227/13544 places, 19530/21807 transitions.
Initial state reduction rules removed 33 formulas.
Incomplete random walk after 10000 steps, including 585 resets, run finished after 1856 ms. (steps per millisecond=5 ) properties (out of 19497) seen :381
Interrupted probabilistic random walk after 5693 steps, run timeout after 6003 ms. (steps per millisecond=0 ) properties seen :{32=1, 37=1, 88=1, 105=1, 124=1, 167=1, 192=1, 219=1, 248=1, 279=1, 312=1, 314=1, 346=1, 347=1, 378=1, 379=1, 380=1, 409=1, 410=1, 411=1, 438=1, 439=1, 464=1, 465=1, 466=1, 489=1, 490=1, 491=1, 512=1, 513=1, 532=1, 533=1, 550=1, 551=1, 566=1, 567=1, 568=1, 581=1, 582=1, 593=1, 594=1, 595=1, 604=1, 605=1, 606=1, 613=1, 614=1, 615=1, 620=1, 621=1, 624=1, 625=1, 661=1, 665=1, 706=1, 721=1, 737=1, 776=1, 799=1, 824=1, 851=1, 880=1, 911=1, 913=1, 943=1, 944=1, 973=1, 974=1, 975=1, 1002=1, 1003=1, 1004=1, 1029=1, 1030=1, 1052=1, 1053=1, 1054=1, 1075=1, 1076=1, 1077=1, 1096=1, 1097=1, 1114=1, 1115=1, 1116=1, 1131=1, 1144=1, 1145=1, 1146=1, 1157=1, 1158=1, 1167=1, 1168=1, 1169=1, 1176=1, 1177=1, 1178=1, 1183=1, 1184=1, 1185=1, 1188=1, 1189=1, 1191=1, 1192=1, 1228=1, 1232=1, 1264=1, 1277=1, 1292=1, 1327=1, 1348=1, 1371=1, 1396=1, 1423=1, 1452=1, 1454=1, 1482=1, 1483=1, 1510=1, 1511=1, 1512=1, 1537=1, 1538=1, 1539=1, 1562=1, 1563=1, 1584=1, 1585=1, 1586=1, 1605=1, 1606=1, 1607=1, 1624=1, 1625=1, 1640=1, 1641=1, 1642=1, 1655=1, 1656=1, 1667=1, 1668=1, 1669=1, 1678=1, 1679=1, 1686=1, 1687=1, 1688=1, 1693=1, 1694=1, 1695=1, 1698=1, 1699=1, 1700=1, 1702=1, 1703=1, 1705=1, 1706=1, 1742=1, 1746=1, 1750=1, 1772=1, 1783=1, 1796=1, 1827=1, 1845=1, 1866=1, 1888=1, 1913=1, 1940=1, 1941=1, 1967=1, 1968=1, 1993=1, 1994=1, 1995=1, 2018=1, 2019=1, 2020=1, 2041=1, 2042=1, 2061=1, 2062=1, 2063=1, 2080=1, 2081=1, 2082=1, 2097=1, 2098=1, 2111=1, 2112=1, 2113=1, 2124=1, 2125=1, 2134=1, 2135=1, 2136=1, 2143=1, 2144=1, 2149=1, 2150=1, 2151=1, 2154=1, 2155=1, 2156=1, 2158=1, 2159=1, 2160=1, 2162=1, 2163=1, 2165=1, 2166=1, 2185=1, 2202=1, 2206=1, 2210=1, 2227=1, 2236=1, 2247=1, 2274=1, 2291=1, 2310=1, 2331=1, 2354=1, 2379=1, 2380=1, 2381=1, 2403=1, 2405=1, 2406=1, 2429=1, 2430=1, 2431=1, 2452=1, 2453=1, 2454=1, 2473=1, 2474=1, 2491=1, 2492=1, 2493=1, 2508=1, 2509=1, 2510=1, 2523=1, 2524=1, 2535=1, 2536=1, 2537=1, 2546=1, 2547=1, 2554=1, 2555=1, 2556=1, 2561=1, 2562=1, 2565=1, 2566=1, 2567=1, 2569=1, 2570=1, 2571=1, 2573=1, 2574=1, 2575=1, 2577=1, 2578=1, 2580=1, 2581=1, 2600=1, 2601=1, 2618=1, 2622=1, 2626=1, 2640=1, 2647=1, 2656=1, 2679=1, 2694=1, 2711=1, 2730=1, 2751=1, 2774=1, 2775=1, 2776=1, 2796=1, 2798=1, 2799=1, 2820=1, 2821=1, 2822=1, 2840=1, 2841=1, 2842=1, 2859=1, 2860=1, 2875=1, 2876=1, 2877=1, 2890=1, 2891=1, 2892=1, 2903=1, 2904=1, 2913=1, 2914=1, 2915=1, 2922=1, 2923=1, 2928=1, 2929=1, 2930=1, 2933=1, 2934=1, 2936=1, 2937=1, 2938=1, 2940=1, 2941=1, 2942=1, 2944=1, 2945=1, 2946=1, 2948=1, 2949=1, 2951=1, 2952=1, 2971=1, 2972=1, 2989=1, 2993=1, 2997=1, 3010=1, 3015=1, 3022=1, 3041=1, 3054=1, 3069=1, 3086=1, 3105=1, 3126=1, 3127=1, 3128=1, 3146=1, 3148=1, 3149=1, 3168=1, 3169=1, 3170=1, 3187=1, 3188=1, 3189=1, 3204=1, 3205=1, 3206=1, 3219=1, 3220=1, 3221=1, 3232=1, 3233=1, 3234=1, 3243=1, 3244=1, 3251=1, 3252=1, 3253=1, 3258=1, 3259=1, 3262=1, 3263=1, 3264=1, 3266=1, 3267=1, 3269=1, 3270=1, 3271=1, 3273=1, 3274=1, 3275=1, 3277=1, 3278=1, 3279=1, 3281=1, 3282=1, 3284=1, 3285=1, 3304=1, 3305=1, 3322=1, 3326=1, 3330=1, 3346=1, 3351=1, 3366=1, 3377=1, 3390=1, 3405=1, 3422=1, 3441=1, 3442=1, 3443=1, 3459=1, 3461=1, 3462=1, 3479=1, 3480=1, 3481=1, 3496=1, 3497=1, 3498=1, 3511=1, 3512=1, 3523=1, 3524=1, 3525=1, 3534=1, 3535=1, 3536=1, 3543=1, 3544=1, 3549=1, 3550=1, 3551=1, 3554=1, 3555=1, 3557=1, 3558=1, 3559=1, 3561=1, 3562=1, 3564=1, 3565=1, 3566=1, 3568=1, 3569=1, 3570=1, 3572=1, 3573=1, 3574=1, 3576=1, 3577=1, 3579=1, 3580=1, 3599=1, 3600=1, 3617=1, 3621=1, 3624=1, 3640=1, 3644=1, 3655=1, 3664=1, 3675=1, 3688=1, 3703=1, 3720=1, 3721=1, 3722=1, 3736=1, 3738=1, 3739=1, 3754=1, 3755=1, 3756=1, 3769=1, 3770=1, 3771=1, 3782=1, 3783=1, 3792=1, 3793=1, 3794=1, 3801=1, 3802=1, 3803=1, 3808=1, 3809=1, 3812=1, 3813=1, 3814=1, 3816=1, 3817=1, 3819=1, 3820=1, 3821=1, 3823=1, 3824=1, 3826=1, 3827=1, 3828=1, 3830=1, 3831=1, 3832=1, 3834=1, 3835=1, 3836=1, 3838=1, 3839=1, 3841=1, 3842=1, 3861=1, 3862=1, 3879=1, 3883=1, 3887=1, 3903=1, 3907=1, 3915=1, 3922=1, 3931=1, 3942=1, 3955=1, 3970=1, 3971=1, 3972=1, 3984=1, 3986=1, 3987=1, 4000=1, 4001=1, 4002=1, 4013=1, 4014=1, 4015=1, 4024=1, 4025=1, 4032=1, 4033=1, 4034=1, 4039=1, 4040=1, 4041=1, 4044=1, 4045=1, 4047=1, 4048=1, 4049=1, 4051=1, 4052=1, 4054=1, 4055=1, 4056=1, 4058=1, 4059=1, 4061=1, 4062=1, 4063=1, 4065=1, 4066=1, 4067=1, 4069=1, 4070=1, 4071=1, 4073=1, 4074=1, 4076=1, 4077=1, 4096=1, 4097=1, 4114=1, 4118=1, 4122=1, 4138=1, 4142=1, 4145=1, 4149=1, 4154=1, 4161=1, 4170=1, 4181=1, 4194=1, 4195=1, 4196=1, 4206=1, 4208=1, 4209=1, 4220=1, 4221=1, 4222=1, 4231=1, 4232=1, 4233=1, 4240=1, 4241=1, 4246=1, 4247=1, 4248=1, 4251=1, 4252=1, 4253=1, 4255=1, 4256=1, 4258=1, 4259=1, 4260=1, 4262=1, 4263=1, 4265=1, 4266=1, 4267=1, 4269=1, 4270=1, 4272=1, 4273=1, 4274=1, 4276=1, 4277=1, 4278=1, 4280=1, 4281=1, 4282=1, 4284=1, 4285=1, 4287=1, 4288=1, 4307=1, 4308=1, 4325=1, 4329=1, 4333=1, 4349=1, 4353=1, 4357=1, 4364=1, 4369=1, 4376=1, 4385=1, 4396=1, 4397=1, 4398=1, 4406=1, 4408=1, 4409=1, 4418=1, 4419=1, 4420=1, 4427=1, 4428=1, 4429=1, 4434=1, 4435=1, 4438=1, 4439=1, 4440=1, 4442=1, 4443=1, 4444=1, 4446=1, 4447=1, 4449=1, 4450=1, 4451=1, 4453=1, 4454=1, 4456=1, 4457=1, 4458=1, 4460=1, 4461=1, 4463=1, 4464=1, 4465=1, 4467=1, 4468=1, 4469=1, 4471=1, 4472=1, 4473=1, 4475=1, 4476=1, 4477=1, 4478=1, 4497=1, 4498=1, 4515=1, 4519=1, 4523=1, 4539=1, 4543=1, 4547=1, 4554=1, 4558=1, 4563=1, 4570=1, 4579=1, 4580=1, 4586=1, 4588=1, 4589=1, 4596=1, 4597=1, 4598=1, 4603=1, 4604=1, 4605=1, 4608=1, 4609=1, 4611=1, 4612=1, 4613=1, 4615=1, 4616=1, 4617=1, 4619=1, 4620=1, 4622=1, 4623=1, 4624=1, 4626=1, 4627=1, 4629=1, 4630=1, 4631=1, 4633=1, 4634=1, 4636=1, 4637=1, 4638=1, 4640=1, 4641=1, 4642=1, 4644=1, 4645=1, 4647=1, 4648=1, 4650=1, 4651=1, 4670=1, 4671=1, 4688=1, 4692=1, 4696=1, 4711=1, 4715=1, 4719=1, 4726=1, 4730=1, 4734=1, 4739=1, 4746=1, 4747=1, 4748=1, 4752=1, 4754=1, 4755=1, 4760=1, 4761=1, 4762=1, 4765=1, 4766=1, 4767=1, 4769=1, 4770=1, 4772=1, 4773=1, 4774=1, 4776=1, 4777=1, 4778=1, 4780=1, 4781=1, 4783=1, 4784=1, 4785=1, 4787=1, 4788=1, 4790=1, 4791=1, 4792=1, 4794=1, 4795=1, 4797=1, 4798=1, 4799=1, 4801=1, 4802=1, 4803=1, 4805=1, 4806=1, 4807=1, 4809=1, 4810=1, 4812=1, 4813=1, 4832=1, 4833=1, 4850=1, 4854=1, 4858=1, 4874=1, 4878=1, 4882=1, 4889=1, 4893=1, 4897=1, 4901=1, 4906=1, 4907=1, 4908=1, 4910=1, 4912=1, 4913=1, 4916=1, 4917=1, 4918=1, 4920=1, 4921=1, 4922=1, 4924=1, 4925=1, 4927=1, 4928=1, 4929=1, 4931=1, 4932=1, 4933=1, 4935=1, 4936=1, 4938=1, 4939=1, 4940=1, 4942=1, 4943=1, 4945=1, 4946=1, 4947=1, 4949=1, 4950=1, 4952=1, 4953=1, 4954=1, 4956=1, 4957=1, 4958=1, 4960=1, 4961=1, 4962=1, 4964=1, 4965=1, 4967=1, 4968=1, 4987=1, 4988=1, 5005=1, 5009=1, 5013=1, 5029=1, 5033=1, 5037=1, 5044=1, 5048=1, 5052=1, 5056=1, 5060=1, 5061=1, 5063=1, 5064=1, 5066=1, 5067=1, 5068=1, 5070=1, 5071=1, 5072=1, 5074=1, 5075=1, 5077=1, 5078=1, 5079=1, 5081=1, 5082=1, 5083=1, 5085=1, 5086=1, 5088=1, 5089=1, 5090=1, 5092=1, 5093=1, 5095=1, 5096=1, 5097=1, 5099=1, 5100=1, 5102=1, 5103=1, 5104=1, 5106=1, 5107=1, 5108=1, 5110=1, 5111=1, 5112=1, 5114=1, 5115=1, 5117=1, 5118=1, 5138=1, 5155=1, 5159=1, 5163=1, 5179=1, 5183=1, 5187=1, 5194=1, 5198=1, 5202=1, 5206=1, 5210=1, 5214=1, 5215=1, 5217=1, 5218=1, 5219=1, 5221=1, 5222=1, 5223=1, 5225=1, 5226=1, 5228=1, 5229=1, 5230=1, 5232=1, 5233=1, 5234=1, 5236=1, 5237=1, 5239=1, 5240=1, 5241=1, 5243=1, 5244=1, 5246=1, 5247=1, 5248=1, 5250=1, 5251=1, 5253=1, 5254=1, 5255=1, 5257=1, 5258=1, 5259=1, 5261=1, 5262=1, 5263=1, 5265=1, 5266=1, 5268=1, 5269=1, 5289=1, 5290=1, 5306=1, 5310=1, 5314=1, 5329=1, 5333=1, 5337=1, 5344=1, 5348=1, 5352=1, 5356=1, 5360=1, 5364=1, 5365=1, 5367=1, 5368=1, 5369=1, 5371=1, 5372=1, 5373=1, 5375=1, 5376=1, 5378=1, 5379=1, 5380=1, 5382=1, 5383=1, 5384=1, 5386=1, 5387=1, 5389=1, 5390=1, 5391=1, 5393=1, 5394=1, 5396=1, 5397=1, 5398=1, 5400=1, 5401=1, 5403=1, 5404=1, 5405=1, 5407=1, 5408=1, 5409=1, 5411=1, 5412=1, 5413=1, 5415=1, 5416=1, 5418=1, 5419=1, 5439=1, 5440=1, 5456=1, 5460=1, 5464=1, 5480=1, 5484=1, 5488=1, 5495=1, 5499=1, 5503=1, 5507=1, 5511=1, 5516=1, 5517=1, 5518=1, 5521=1, 5522=1, 5523=1, 5526=1, 5527=1, 5528=1, 5530=1, 5531=1, 5533=1, 5534=1, 5535=1, 5537=1, 5538=1, 5539=1, 5541=1, 5542=1, 5544=1, 5545=1, 5546=1, 5548=1, 5549=1, 5551=1, 5552=1, 5553=1, 5555=1, 5556=1, 5558=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, 5594=1, 5595=1, 5611=1, 5615=1, 5619=1, 5635=1, 5639=1, 5643=1, 5650=1, 5654=1, 5658=1, 5662=1, 5667=1, 5674=1, 5675=1, 5680=1, 5681=1, 5682=1, 5687=1, 5688=1, 5689=1, 5692=1, 5693=1, 5695=1, 5696=1, 5697=1, 5699=1, 5700=1, 5701=1, 5703=1, 5704=1, 5706=1, 5707=1, 5708=1, 5710=1, 5711=1, 5713=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, 5733=1, 5735=1, 5736=1, 5756=1, 5772=1, 5776=1, 5780=1, 5796=1, 5800=1, 5804=1, 5811=1, 5815=1, 5819=1, 5823=1, 5830=1, 5839=1, 5840=1, 5841=1, 5848=1, 5849=1, 5850=1, 5857=1, 5858=1, 5859=1, 5864=1, 5865=1, 5866=1, 5869=1, 5870=1, 5871=1, 5873=1, 5874=1, 5875=1, 5877=1, 5878=1, 5880=1, 5881=1, 5882=1, 5884=1, 5885=1, 5887=1, 5888=1, 5889=1, 5891=1, 5892=1, 5894=1, 5895=1, 5896=1, 5898=1, 5899=1, 5900=1, 5902=1, 5903=1, 5904=1, 5905=1, 5906=1, 5908=1, 5909=1, 5929=1, 5930=1, 5946=1, 5950=1, 5954=1, 5970=1, 5974=1, 5978=1, 5985=1, 5989=1, 5994=1, 6001=1, 6010=1, 6021=1, 6022=1, 6023=1, 6032=1, 6033=1, 6034=1, 6043=1, 6044=1, 6045=1, 6052=1, 6053=1, 6054=1, 6059=1, 6060=1, 6063=1, 6064=1, 6065=1, 6067=1, 6068=1, 6070=1, 6071=1, 6072=1, 6074=1, 6075=1, 6077=1, 6078=1, 6079=1, 6081=1, 6082=1, 6084=1, 6085=1, 6086=1, 6088=1, 6089=1, 6090=1, 6092=1, 6093=1, 6094=1, 6096=1, 6097=1, 6099=1, 6100=1, 6120=1, 6136=1, 6140=1, 6144=1, 6160=1, 6164=1, 6168=1, 6175=1, 6180=1, 6187=1, 6196=1, 6207=1, 6220=1, 6221=1, 6222=1, 6233=1, 6234=1, 6235=1, 6246=1, 6247=1, 6248=1, 6257=1, 6258=1, 6259=1, 6266=1, 6267=1, 6272=1, 6273=1, 6274=1, 6277=1, 6278=1, 6280=1, 6281=1, 6282=1, 6284=1, 6285=1, 6287=1, 6288=1, 6289=1, 6291=1, 6292=1, 6294=1, 6295=1, 6296=1, 6298=1, 6299=1, 6300=1, 6302=1, 6303=1, 6304=1, 6306=1, 6307=1, 6309=1, 6310=1, 6330=1, 6346=1, 6350=1, 6354=1, 6370=1, 6374=1, 6378=1, 6386=1, 6393=1, 6402=1, 6413=1, 6426=1, 6441=1, 6442=1, 6443=1, 6456=1, 6457=1, 6458=1, 6471=1, 6472=1, 6473=1, 6484=1, 6485=1, 6486=1, 6495=1, 6496=1, 6503=1, 6504=1, 6505=1, 6510=1, 6511=1, 6512=1, 6515=1, 6516=1, 6517=1, 6519=1, 6520=1, 6522=1, 6523=1, 6524=1, 6526=1, 6527=1, 6529=1, 6530=1, 6531=1, 6533=1, 6534=1, 6535=1, 6537=1, 6538=1, 6539=1, 6541=1, 6542=1, 6544=1, 6545=1, 6565=1, 6581=1, 6585=1, 6589=1, 6605=1, 6609=1, 6613=1, 6623=1, 6632=1, 6643=1, 6656=1, 6671=1, 6688=1, 6689=1, 6690=1, 6705=1, 6706=1, 6707=1, 6722=1, 6723=1, 6724=1, 6737=1, 6738=1, 6739=1, 6750=1, 6751=1, 6760=1, 6761=1, 6762=1, 6769=1, 6770=1, 6771=1, 6776=1, 6777=1, 6780=1, 6781=1, 6783=1, 6784=1, 6785=1, 6787=1, 6788=1, 6790=1, 6791=1, 6792=1, 6794=1, 6795=1, 6796=1, 6798=1, 6799=1, 6800=1, 6802=1, 6803=1, 6805=1, 6806=1, 6826=1, 6827=1, 6843=1, 6847=1, 6851=1, 6867=1, 6871=1, 6876=1, 6891=1, 6902=1, 6915=1, 6929=1, 6946=1, 6965=1, 6966=1, 6967=1, 6984=1, 6985=1, 6986=1, 7003=1, 7004=1, 7005=1, 7020=1, 7021=1, 7022=1, 7035=1, 7036=1, 7047=1, 7048=1, 7049=1, 7058=1, 7059=1, 7060=1, 7067=1, 7068=1, 7072=1, 7073=1, 7074=1, 7077=1, 7078=1, 7080=1, 7082=1, 7083=1, 7084=1, 7086=1, 7087=1, 7088=1, 7090=1, 7091=1, 7092=1, 7094=1, 7095=1, 7097=1, 7098=1, 7118=1, 7119=1, 7135=1, 7139=1, 7143=1, 7159=1, 7164=1, 7171=1, 7190=1, 7203=1, 7218=1, 7235=1, 7254=1, 7275=1, 7276=1, 7277=1, 7296=1, 7297=1, 7298=1, 7317=1, 7318=1, 7319=1, 7336=1, 7337=1, 7338=1, 7353=1, 7354=1, 7367=1, 7368=1, 7369=1, 7380=1, 7381=1, 7382=1, 7391=1, 7392=1, 7398=1, 7399=1, 7400=1, 7405=1, 7406=1, 7409=1, 7410=1, 7412=1, 7413=1, 7414=1, 7416=1, 7417=1, 7418=1, 7420=1, 7421=1, 7422=1, 7424=1, 7425=1, 7427=1, 7428=1, 7448=1, 7449=1, 7465=1, 7469=1, 7473=1, 7490=1, 7497=1, 7506=1, 7529=1, 7544=1, 7561=1, 7580=1, 7601=1, 7624=1, 7625=1, 7626=1, 7647=1, 7648=1, 7649=1, 7670=1, 7671=1, 7672=1, 7691=1, 7692=1, 7693=1, 7710=1, 7711=1, 7726=1, 7727=1, 7728=1, 7741=1, 7742=1, 7743=1, 7754=1, 7755=1, 7764=1, 7765=1, 7766=1, 7773=1, 7774=1, 7779=1, 7780=1, 7781=1, 7784=1, 7785=1, 7786=1, 7788=1, 7789=1, 7790=1, 7792=1, 7793=1, 7794=1, 7796=1, 7797=1, 7799=1, 7800=1, 7820=1, 7821=1, 7837=1, 7841=1, 7845=1, 7865=1, 7874=1, 7885=1, 7912=1, 7929=1, 7948=1, 7969=1, 7992=1, 8017=1, 8018=1, 8019=1, 8042=1, 8043=1, 8044=1, 8067=1, 8068=1, 8069=1, 8090=1, 8091=1, 8092=1, 8111=1, 8112=1, 8129=1, 8130=1, 8131=1, 8146=1, 8147=1, 8148=1, 8161=1, 8162=1, 8173=1, 8174=1, 8175=1, 8184=1, 8185=1, 8192=1, 8193=1, 8194=1, 8199=1, 8200=1, 8203=1, 8204=1, 8205=1, 8207=1, 8208=1, 8209=1, 8211=1, 8212=1, 8214=1, 8215=1, 8235=1, 8251=1, 8255=1, 8259=1, 8284=1, 8295=1, 8308=1, 8339=1, 8358=1, 8379=1, 8402=1, 8427=1, 8454=1, 8455=1, 8456=1, 8481=1, 8482=1, 8483=1, 8508=1, 8509=1, 8510=1, 8533=1, 8534=1, 8535=1, 8556=1, 8557=1, 8576=1, 8577=1, 8578=1, 8595=1, 8596=1, 8597=1, 8612=1, 8613=1, 8626=1, 8627=1, 8628=1, 8639=1, 8640=1, 8649=1, 8650=1, 8651=1, 8658=1, 8659=1, 8664=1, 8665=1, 8666=1, 8669=1, 8670=1, 8671=1, 8673=1, 8674=1, 8676=1, 8677=1, 8697=1, 8698=1, 8714=1, 8718=1, 8722=1, 8754=1, 8767=1, 8782=1, 8817=1, 8838=1, 8861=1, 8886=1, 8913=1, 8942=1, 8943=1, 8944=1, 8971=1, 8972=1, 8973=1, 9000=1, 9001=1, 9002=1, 9027=1, 9028=1, 9029=1, 9052=1, 9053=1, 9074=1, 9075=1, 9076=1, 9095=1, 9096=1, 9097=1, 9114=1, 9115=1, 9130=1, 9131=1, 9132=1, 9145=1, 9146=1, 9157=1, 9158=1, 9159=1, 9168=1, 9169=1, 9176=1, 9177=1, 9178=1, 9183=1, 9184=1, 9185=1, 9188=1, 9189=1, 9191=1, 9192=1, 9212=1, 9213=1, 9229=1, 9233=1, 9237=1, 9278=1, 9293=1, 9310=1, 9349=1, 9372=1, 9397=1, 9424=1, 9453=1, 9484=1, 9485=1, 9486=1, 9515=1, 9516=1, 9517=1, 9546=1, 9547=1, 9548=1, 9575=1, 9576=1, 9577=1, 9602=1, 9603=1, 9626=1, 9627=1, 9628=1, 9649=1, 9650=1, 9651=1, 9670=1, 9671=1, 9688=1, 9689=1, 9690=1, 9705=1, 9706=1, 9719=1, 9720=1, 9721=1, 9732=1, 9733=1, 9741=1, 9742=1, 9743=1, 9750=1, 9751=1, 9752=1, 9757=1, 9758=1, 9759=1, 9762=1, 9763=1, 9764=1, 9765=1, 9800=1, 9804=1, 9808=1, 9859=1, 9876=1, 9895=1, 9938=1, 9963=1, 9990=1, 10019=1, 10050=1, 10083=1, 10117=1, 10150=1, 10181=1, 10236=1, 10261=1, 10304=1, 10339=1, 10366=1, 10377=1, 10386=1, 10401=1, 10402=1, 10403=1, 10404=1, 10405=1, 10406=1, 10407=1, 10408=1, 10409=1, 10410=1, 10411=1, 10487=1, 10489=1, 10490=1, 10491=1, 10492=1, 10493=1, 10494=1, 10495=1, 10496=1, 10497=1, 10498=1, 10499=1, 10500=1, 10501=1, 10502=1, 10503=1, 10504=1, 10505=1, 10506=1, 10507=1, 10508=1, 10509=1, 10510=1, 10511=1, 10512=1, 10513=1, 10514=1, 10515=1, 10516=1, 10517=1, 10518=1, 10519=1, 10520=1, 10570=1, 10571=1, 10572=1, 10573=1, 10574=1, 10575=1, 10576=1, 10577=1, 10578=1, 10580=1, 10581=1, 10582=1, 10583=1, 10584=1, 10585=1, 10634=1, 10635=1, 10636=1, 10637=1, 10638=1, 10639=1, 10640=1, 10641=1, 10642=1, 10643=1, 10644=1, 10645=1, 10646=1, 10647=1, 10648=1, 10697=1, 10698=1, 10699=1, 10700=1, 10701=1, 10702=1, 10703=1, 10704=1, 10705=1, 10706=1, 10707=1, 10709=1, 10710=1, 10711=1, 10712=1, 10760=1, 10761=1, 10762=1, 10763=1, 10764=1, 10765=1, 10767=1, 10768=1, 10769=1, 10770=1, 10771=1, 10772=1, 10773=1, 10774=1, 10775=1, 10824=1, 10825=1, 10826=1, 10827=1, 10828=1, 10829=1, 10830=1, 10831=1, 10832=1, 10833=1, 10834=1, 10835=1, 10836=1, 10837=1, 10838=1, 10849=1, 10886=1, 10887=1, 10888=1, 10889=1, 10890=1, 10891=1, 10892=1, 10893=1, 10894=1, 10895=1, 10896=1, 10897=1, 10899=1, 10900=1, 10901=1, 10902=1, 10949=1, 10950=1, 10952=1, 10953=1, 10954=1, 10955=1, 10956=1, 10957=1, 10958=1, 10959=1, 10960=1, 10961=1, 10962=1, 10963=1, 10964=1, 10967=1, 11013=1, 11014=1, 11015=1, 11016=1, 11018=1, 11019=1, 11020=1, 11021=1, 11022=1, 11023=1, 11024=1, 11025=1, 11026=1, 11027=1, 11028=1, 11035=1, 11075=1, 11076=1, 11077=1, 11078=1, 11079=1, 11080=1, 11082=1, 11083=1, 11084=1, 11085=1, 11086=1, 11087=1, 11088=1, 11089=1, 11090=1, 11096=1, 11139=1, 11140=1, 11141=1, 11142=1, 11143=1, 11144=1, 11145=1, 11146=1, 11147=1, 11148=1, 11149=1, 11151=1, 11152=1, 11153=1, 11154=1, 11169=1, 11202=1, 11203=1, 11204=1, 11205=1, 11206=1, 11207=1, 11208=1, 11209=1, 11211=1, 11212=1, 11213=1, 11214=1, 11215=1, 11216=1, 11217=1, 11219=1, 11265=1, 11267=1, 11268=1, 11269=1, 11270=1, 11271=1, 11272=1, 11273=1, 11274=1, 11275=1, 11276=1, 11277=1, 11278=1, 11279=1, 11280=1, 11283=1, 11329=1, 11330=1, 11331=1, 11332=1, 11333=1, 11334=1, 11335=1, 11336=1, 11337=1, 11338=1, 11339=1, 11340=1, 11342=1, 11343=1, 11344=1, 11348=1, 11392=1, 11393=1, 11394=1, 11395=1, 11396=1, 11397=1, 11398=1, 11399=1, 11401=1, 11402=1, 11403=1, 11404=1, 11405=1, 11406=1, 11407=1, 11420=1, 11456=1, 11457=1, 11458=1, 11459=1, 11460=1, 11461=1, 11462=1, 11463=1, 11464=1, 11465=1, 11466=1, 11467=1, 11468=1, 11469=1, 11471=1, 11486=1, 11520=1, 11521=1, 11522=1, 11523=1, 11524=1, 11525=1, 11526=1, 11527=1, 11528=1, 11529=1, 11530=1, 11531=1, 11532=1, 11533=1, 11534=1, 11583=1, 11585=1, 11586=1, 11587=1, 11588=1, 11589=1, 11590=1, 11591=1, 11592=1, 11593=1, 11594=1, 11595=1, 11596=1, 11597=1, 11598=1, 11646=1, 11647=1, 11649=1, 11650=1, 11651=1, 11652=1, 11653=1, 11654=1, 11655=1, 11656=1, 11657=1, 11658=1, 11659=1, 11660=1, 11661=1, 11710=1, 11711=1, 11712=1, 11713=1, 11714=1, 11715=1, 11716=1, 11717=1, 11719=1, 11720=1, 11721=1, 11722=1, 11723=1, 11724=1, 11725=1, 11774=1, 11775=1, 11776=1, 11777=1, 11778=1, 11779=1, 11781=1, 11782=1, 11783=1, 11784=1, 11785=1, 11786=1, 11787=1, 11788=1, 11789=1, 11838=1, 11839=1, 11840=1, 11841=1, 11842=1, 11843=1, 11844=1, 11845=1, 11846=1, 11847=1, 11848=1, 11849=1, 11850=1, 11851=1, 11852=1, 11902=1, 11903=1, 11904=1, 11905=1, 11906=1, 11907=1, 11908=1, 11909=1, 11911=1, 11912=1, 11913=1, 11914=1, 11915=1, 11916=1, 11917=1, 11966=1, 11967=1, 11968=1, 11969=1, 11970=1, 11971=1, 11972=1, 11974=1, 11975=1, 11976=1, 11977=1, 11978=1, 11979=1, 11980=1, 11981=1, 12030=1, 12031=1, 12032=1, 12033=1, 12034=1, 12035=1, 12036=1, 12037=1, 12038=1, 12039=1, 12040=1, 12042=1, 12043=1, 12044=1, 12045=1, 12094=1, 12095=1, 12096=1, 12097=1, 12098=1, 12099=1, 12100=1, 12101=1, 12102=1, 12103=1, 12104=1, 12105=1, 12107=1, 12108=1, 12109=1, 12158=1, 12159=1, 12160=1, 12161=1, 12162=1, 12163=1, 12164=1, 12165=1, 12166=1, 12167=1, 12168=1, 12169=1, 12170=1, 12172=1, 12173=1, 12222=1, 12223=1, 12224=1, 12226=1, 12227=1, 12228=1, 12229=1, 12230=1, 12231=1, 12232=1, 12233=1, 12234=1, 12235=1, 12236=1, 12237=1, 12285=1, 12286=1, 12288=1, 12289=1, 12290=1, 12291=1, 12292=1, 12293=1, 12294=1, 12295=1, 12296=1, 12297=1, 12298=1, 12299=1, 12300=1, 12349=1, 12350=1, 12351=1, 12352=1, 12353=1, 12354=1, 12355=1, 12356=1, 12357=1, 12358=1, 12359=1, 12360=1, 12362=1, 12363=1, 12364=1, 12413=1, 12414=1, 12415=1, 12416=1, 12417=1, 12419=1, 12420=1, 12421=1, 12422=1, 12423=1, 12424=1, 12425=1, 12426=1, 12427=1, 12428=1, 12477=1, 12478=1, 12479=1, 12480=1, 12482=1, 12483=1, 12484=1, 12485=1, 12486=1, 12487=1, 12488=1, 12489=1, 12490=1, 12491=1, 12492=1, 12513=1, 12541=1, 12542=1, 12543=1, 12544=1, 12545=1, 12546=1, 12547=1, 12549=1, 12550=1, 12551=1, 12552=1, 12553=1, 12554=1, 12555=1, 12556=1, 15769=1, 15771=1, 15773=1, 15775=1, 15777=1, 15779=1, 15781=1, 15783=1, 15785=1, 15787=1, 15789=1, 15930=1, 15947=1, 15949=1, 15951=1, 15953=1, 15955=1, 15957=1, 15959=1, 15961=1, 15963=1, 15965=1, 15967=1, 15969=1, 15971=1, 15973=1}
Probabilistic random walk after 5693 steps, saw 2652 distinct states, run finished after 6007 ms. (steps per millisecond=0 ) properties seen :2355
Running SMT prover for 16761 properties.
[2023-03-13 21:49:39] [INFO ] Flow matrix only has 18474 transitions (discarded 1056 similar events)
[2023-03-13 21:49:39] [INFO ] Invariant cache hit.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java: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 21:50:49] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 21:50:49] [INFO ] After 25028ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 16761 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 3 ms.
Support contains 10094 out of 11227 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 11227/11227 places, 19530/19530 transitions.
Discarding 451 places :
Symmetric choice reduction at 0 with 451 rule applications. Total rules 451 place count 10776 transition count 19079
Iterating global reduction 0 with 451 rules applied. Total rules applied 902 place count 10776 transition count 19079
Applied a total of 902 rules in 1051 ms. Remains 10776 /11227 variables (removed 451) and now considering 19079/19530 (removed 451) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1053 ms. Remains : 10776/11227 places, 19079/19530 transitions.
Interrupted random walk after 179995 steps, including 10518 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 1825
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 14936) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 14921) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 14911) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 14901) 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 14898) 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 14894) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 14888) 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 14886) 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 14885) 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 14885) 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 14884) 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 14882) 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 14880) 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 14879) 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 14879) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 14870) 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 14866) 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 14866) 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 14864) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 14861) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 14856) 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 14856) 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 14854) 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 14852) 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 14852) 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 14851) 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 14851) 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 14851) 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 14851) 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 14851) 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 14848) 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 14848) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 14838) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 14826) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 14817) seen :16
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 14801) 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 14787) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 14775) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 14766) seen :17
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 14749) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 14734) seen :18
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 14716) seen :16
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 14700) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 14692) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 14679) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 14669) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 14661) 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 14658) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 14646) seen :16
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14630) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 14623) seen :16
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 14607) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 14602) seen :16
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 14586) 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 14584) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 14571) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 14562) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 14552) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 14537) 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 14532) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 14518) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 14510) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 14497) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 14488) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 14476) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 14470) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 14463) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 14455) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 14446) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 14438) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 14430) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 14420) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 14409) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 14397) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 14382) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 14377) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 14364) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 14359) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 14351) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 14347) 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 14341) 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 14335) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 14329) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 14319) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 14307) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 14296) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 14291) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 14285) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 14278) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 14266) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 14262) seen :15
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 14247) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 14243) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 14231) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 14225) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 14212) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 14207) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 14199) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 14188) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 14178) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 14166) 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 14164) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 14151) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 14143) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 14130) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 14126) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 14117) 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 14115) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 14109) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 14103) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 14093) 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 14091) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 14087) 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 14084) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 14081) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 14073) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 14066) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 14056) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 14051) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 14039) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 14034) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 14025) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 14022) 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 14016) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 14012) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 14006) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13999) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13991) 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 13991) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 13983) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 13979) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13972) 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 13970) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13966) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13960) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13953) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 13940) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13934) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13928) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 13925) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 13914) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13911) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13904) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 13899) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 13895) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13887) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 13879) 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 13878) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13872) 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 13869) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 13863) 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 13859) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13852) 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 13849) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13842) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13836) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13831) 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 13829) 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 13828) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 13819) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13816) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13804) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13799) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13794) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13789) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13781) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 13776) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13772) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13769) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 13758) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13753) 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 13749) 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 13747) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13739) 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 13737) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13735) 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 13734) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 13730) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13722) 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 13720) seen :12
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13708) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13703) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13700) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13697) 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 13694) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13688) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 13681) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13675) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13669) 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 13666) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13657) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13653) 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 13649) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13648) 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 13648) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13646) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13638) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 13632) 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 13629) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13625) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13624) 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 13623) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13619) 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 13617) seen :13
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13604) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13599) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13588) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13583) 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 13580) 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 13578) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13572) 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 13572) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 13565) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13562) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13554) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13545) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13544) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13542) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13539) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 13534) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13529) 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 13528) 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 13528) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13524) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13521) 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 13521) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13520) 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 13518) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13515) 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 13511) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13504) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13499) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13489) 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 13487) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13483) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13480) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13475) 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 13475) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 13471) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13468) 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 13465) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13464) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13457) 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 13457) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13453) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13450) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13447) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13446) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13443) 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 13443) 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 13439) 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 13437) 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 13437) 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 13437) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13434) 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 13434) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13430) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 243 ms. (steps per millisecond=4 ) properties (out of 13430) 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 13428) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 13425) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13417) 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 13414) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13413) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13408) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13403) 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 13403) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13394) 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 13392) 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 13389) 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 13388) 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 13388) 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 13385) 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 13383) 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 13383) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13382) 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 13382) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13379) 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 13379) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13372) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13371) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13367) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13366) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13363) 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 13363) 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 13363) 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 13363) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13362) 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 13362) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 13358) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13355) 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 13353) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13348) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13345) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 13340) 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 13340) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13339) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13338) 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 13334) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13334) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13331) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13331) 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 13329) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13328) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13324) 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 13320) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 13317) 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 13317) 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 13315) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13315) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13311) 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 13309) 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 13307) 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 13307) 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 13304) 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 13302) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13300) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13299) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 13298) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 13293) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 13290) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 13286) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13286) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 13283) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 13282) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 13279) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 13276) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 13270) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13270) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13268) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13266) 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 13266) 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 13266) 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 13265) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13265) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13262) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13260) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13258) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13257) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13254) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13252) 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 13247) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13247) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13247) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13246) 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 13246) 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 13246) 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 13244) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13244) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13241) 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 13237) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13235) 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 13234) 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 13232) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13230) 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 13230) 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 13225) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13224) 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 13222) 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 13222) 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 13222) 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 13222) 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 13219) 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 13218) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13216) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13214) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13212) 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 13212) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13209) 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 13208) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13205) 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 13203) 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 13203) 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 13203) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13203) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13203) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13202) 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 13201) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13201) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13200) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13200) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13198) 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 13198) 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 13197) 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 13197) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13196) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13195) 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 13195) 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 13195) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13193) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13193) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13192) 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 13192) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13189) 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 13189) 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 13189) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13188) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13187) 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 13185) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13185) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 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 143 ms. (steps per millisecond=7 ) properties (out of 13184) 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 13184) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13184) 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 13183) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13183) 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 13182) 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 13182) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13179) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13179) 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 13179) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13179) 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 13175) 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 13175) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 13174) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13173) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13173) 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 13173) 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 13173) 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 13171) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13171) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13170) 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 13170) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13170) 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 13170) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13169) 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 13169) 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 13169) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13169) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13169) 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 13169) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13168) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13167) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13166) 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 13166) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13166) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13164) 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 13164) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13164) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13164) 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 13159) 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 13159) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13157) 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 13157) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13153) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13153) 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 13153) 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 13153) 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 13153) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13150) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13149) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13146) 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 13146) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13145) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13144) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13142) 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 13142) 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 13142) 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 13142) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13140) 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 13140) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 13138) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13138) 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 13137) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13136) 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 13136) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13134) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13134) 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 13134) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13134) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13134) 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 13134) 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 13132) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13132) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13129) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13129) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13129) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13127) 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 13127) 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 13125) 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 13125) 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 13125) 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 13125) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13125) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13124) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13123) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13123) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13122) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13120) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 13118) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13115) 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 13115) 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 13115) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13115) 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 13113) 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 13113) 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 13113) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13112) 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 13112) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13112) 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 13112) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13110) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13110) 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 13110) 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 13110) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13107) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13106) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13106) 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 13106) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 13105) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13101) 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 13101) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13100) 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 13100) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13100) 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 13100) 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 13098) 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 13098) 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 13098) 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 13098) 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 13098) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13098) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13098) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13098) 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 13098) 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 13098) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13098) 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 13098) 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 13096) 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 13096) 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 13096) 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 13096) 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 13096) 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 13096) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13096) 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 13096) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13096) 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 13096) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13096) 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 13096) 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 13096) 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 13096) 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 13096) 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 13096) 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 13096) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13093) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13093) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13091) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13089) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13088) 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 13086) 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 13086) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13083) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13082) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13082) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13082) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13082) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13082) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13080) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13077) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13077) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13075) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13075) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13075) 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 13075) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13075) 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 13075) 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 13075) 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 13075) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13072) 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 13072) 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 13072) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13072) 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 13072) 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 13070) 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 13070) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13068) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13068) 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 13068) 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 13068) 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 13068) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13065) 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 13065) 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 13065) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13064) 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 13064) 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 13064) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13063) 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 13063) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13061) 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 13061) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13061) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 13061) 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 13061) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13061) 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 13061) 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 13061) 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 13061) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13059) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13059) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13057) 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 13057) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13056) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13056) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13055) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13055) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13055) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13055) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13054) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13054) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 13054) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13054) 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 13053) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13052) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13052) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13050) 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 13050) 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 13048) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13048) 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 13048) 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 13048) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13046) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13046) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13044) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13044) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13042) 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 13041) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13041) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13041) 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 13041) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13041) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13041) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13041) 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 13041) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13038) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13038) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13038) 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 13038) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13038) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 13038) 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 13037) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13036) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13036) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13036) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 13036) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13033) 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 13031) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13028) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13027) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13027) 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 13027) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13025) 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 13025) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13023) 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 13023) 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 13023) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13023) 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 13023) 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 13021) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 13018) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13018) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 13016) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13015) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13014) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13014) 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 13012) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13010) 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 13010) 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 13010) 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 13010) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13010) 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 13010) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13009) 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 13009) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 13007) 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 13007) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 13004) 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 13004) 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 13004) 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 13002) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 13001) 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 13001) 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 13001) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13001) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 13001) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13001) 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 13001) 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 13001) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13001) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 13001) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 13001) 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 13001) 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 12999) 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 12999) 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 12999) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12999) 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 12999) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12997) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12997) 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 12997) 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 12997) 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 12997) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12996) 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 12996) 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 12996) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12996) 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 12996) 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 12996) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12994) 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 12994) 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 12994) 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 12994) 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 12994) 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 12994) 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 12994) 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 12994) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12993) 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 12993) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12993) 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 12992) 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 12992) 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 12992) 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 12992) 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 12992) 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 12991) 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 12991) 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 12991) 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 12991) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12991) 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 12991) 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 12991) 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 12991) 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 12991) 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 12991) 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 12991) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12991) 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 12991) 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 12991) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12990) 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 12990) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12990) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12990) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12989) 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 12988) 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 12988) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12988) 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 12988) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12986) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12986) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12985) 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 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12985) 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 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12985) 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 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12985) 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 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12985) 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 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12985) 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 12985) 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 12985) 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 12985) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12985) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12984) 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 12984) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12984) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12982) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12982) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12982) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12982) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12982) 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 12981) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12980) 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 12980) 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 12980) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12980) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12978) 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 12978) 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 12978) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12978) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12976) 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 12976) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12976) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12976) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12974) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12974) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12974) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12974) 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 12974) 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 12974) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12974) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12974) 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 12974) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12973) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12973) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12971) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12971) 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 12971) 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 12971) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12971) 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 12971) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12971) 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 12971) 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 12971) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12969) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12968) 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 12968) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12968) 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 12968) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12968) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12968) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12968) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12968) 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 12968) 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 12968) 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 12968) 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 12968) 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 12968) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12968) 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 12968) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12968) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12968) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 12967) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12967) 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 12966) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12966) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12965) 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 12965) 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 12965) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12965) 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 12965) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12965) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12965) 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 12965) 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 12965) 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 12965) 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 12963) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12962) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12962) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12960) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12960) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12960) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12960) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12960) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12960) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12960) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12960) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12960) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12960) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12957) 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 12957) 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 12957) 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 12957) 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 12957) 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 12957) 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 12955) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12955) 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 12955) 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 12955) 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 12955) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12955) 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 12955) 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 12955) 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 12955) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12953) 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 12953) 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 12953) 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 12953) 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 12953) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12953) 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 12953) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12953) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12953) 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 12953) 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 12953) 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 12953) 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 12953) 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 12953) 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 12953) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12951) 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 12951) 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 12951) 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 12951) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12951) 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 12951) 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 12951) 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 12951) 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 12949) seen :1
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 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 146 ms. (steps per millisecond=6 ) properties (out of 12948) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 12948) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 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 146 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 143 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 140 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 143 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 144 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 144 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 137 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 141 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 140 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 139 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 141 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 145 ms. (steps per millisecond=6 ) properties (out of 12948) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12947) 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 12947) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12946) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12946) 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 12946) 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 12946) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12946) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12946) 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 12945) 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 12945) 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 12945) 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 12945) 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 12945) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12945) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12945) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12945) 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 12945) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12943) 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 12943) 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 12943) 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 12943) 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 12943) 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 12943) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12942) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12942) 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 12942) 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 12941) 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 12941) 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 12941) 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 12941) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12939) 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 12939) 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 12939) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12939) 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 12939) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12939) 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 12939) 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 12937) 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 12937) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12936) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12936) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12936) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12936) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12936) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12936) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12936) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12935) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12934) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12933) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 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 139 ms. (steps per millisecond=7 ) properties (out of 12932) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12931) 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 12929) 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 12929) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12929) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12929) 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 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 142 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 144 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 140 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 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 140 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 140 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 146 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 141 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 143 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 138 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 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 141 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 140 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 142 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 142 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 142 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 140 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 140 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 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 142 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 144 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 :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) 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 141 ms. (steps per millisecond=7 ) properties (out of 12925) 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 12925) 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 12925) 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 12925) 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 12925) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12924) 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 12924) 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 12924) 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 12924) 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 12924) 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 12924) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12922) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 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 138 ms. (steps per millisecond=7 ) properties (out of 12922) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12922) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12922) 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 12922) 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 12922) 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 12922) 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 12922) 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 12920) 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 12920) 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 12920) 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 12920) 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 12918) 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 12918) 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 12918) 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 12918) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12918) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12917) 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 12917) 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 12917) 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 12917) 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 12917) 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 12917) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12917) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12917) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12917) 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 12917) 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 12917) 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 12917) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 12915) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 12915) 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 12913) 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 12913) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12913) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12913) 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 12913) 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 12913) 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 12913) 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 12913) 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 12913) 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 12911) 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 12911) 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 12911) 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 12911) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12911) 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 12911) 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 12911) 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 12911) 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 12911) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12911) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12909) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12909) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12909) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12909) 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 12909) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12909) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12909) 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 12909) 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 12909) 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 12909) 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 12909) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12909) 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 12909) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12909) 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 12909) 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 12909) 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 12909) 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 12909) 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 12909) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 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 143 ms. (steps per millisecond=7 ) properties (out of 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) 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 12907) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 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 142 ms. (steps per millisecond=7 ) properties (out of 12907) 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 12907) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12906) 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 12906) 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 12906) 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 12906) 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 12906) 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 12906) 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 12906) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12906) 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 12906) 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 12906) 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 12906) 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 12906) 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 12906) 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 12906) 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 12906) 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 12906) 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 12906) 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 12906) 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 12906) 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 12906) 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 12906) 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 12906) 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 12906) 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 12906) 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 12906) 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 12906) 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 12906) 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 12906) 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 12906) 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 12906) 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 12906) 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 12904) 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 12904) 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 12904) 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 12904) 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 12904) 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 12904) 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 12904) 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 12904) 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 12904) 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 12904) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12904) 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 12904) 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 12904) 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 12904) 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 12904) 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 12904) 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 12904) 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 12904) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12904) 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 12904) 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 12904) 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 12904) 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 12904) 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 12904) 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 12904) 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 12904) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12904) 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 12904) 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 12904) 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 12904) 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 12904) 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 12904) 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 12904) 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 12904) 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 12904) 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 12904) 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 12904) 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 12904) 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 12904) 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 12904) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12904) 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 12904) 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 12904) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12904) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 12904) 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 12904) 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 12904) 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 12904) 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 12904) seen :0
Running SMT prover for 12904 properties.
[2023-03-13 21:54:13] [INFO ] Flow matrix only has 18023 transitions (discarded 1056 similar events)
// Phase 1: matrix 18023 rows 10776 cols
[2023-03-13 21:54:14] [INFO ] Computed 1293 place invariants in 1238 ms
0.0timeout
^^^^^^^^^^
(error "Invalid token: 0.0timeout")
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 21:58:32] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 21:58:32] [INFO ] After 225039ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 12904 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 6660 out of 10776 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 10776/10776 places, 19079/19079 transitions.
Discarding 1516 places :
Symmetric choice reduction at 0 with 1516 rule applications. Total rules 1516 place count 9260 transition count 17563
Iterating global reduction 0 with 1516 rules applied. Total rules applied 3032 place count 9260 transition count 17563
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 2 Pre rules applied. Total rules applied 3032 place count 9260 transition count 17561
Deduced a syphon composed of 2 places in 14 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 3036 place count 9258 transition count 17561
Discarding 965 places :
Symmetric choice reduction at 0 with 965 rule applications. Total rules 4001 place count 8293 transition count 15631
Iterating global reduction 0 with 965 rules applied. Total rules applied 4966 place count 8293 transition count 15631
Free-agglomeration rule (complex) applied 7 times.
Iterating global reduction 0 with 7 rules applied. Total rules applied 4973 place count 8293 transition count 15624
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 0 with 7 rules applied. Total rules applied 4980 place count 8286 transition count 15624
Partial Free-agglomeration rule applied 57 times.
Drop transitions removed 57 transitions
Iterating global reduction 1 with 57 rules applied. Total rules applied 5037 place count 8286 transition count 15624
Applied a total of 5037 rules in 2448 ms. Remains 8286 /10776 variables (removed 2490) and now considering 15624/19079 (removed 3455) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 2449 ms. Remains : 8286/10776 places, 15624/19079 transitions.
Interrupted random walk after 180001 steps, including 11865 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 27
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12877) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12877) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12876) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12876) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12874) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12873) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12873) seen :0
Interrupted probabilistic random walk after 165432 steps, run timeout after 132003 ms. (steps per millisecond=1 ) properties seen :{1012=1, 2114=1, 2264=1, 2903=1, 3116=1, 3189=1, 3190=1, 3327=1, 3358=1, 3411=1, 4080=1, 4751=1, 5486=1, 6413=1, 6414=1, 6415=1, 6416=1, 6417=1}
Probabilistic random walk after 165432 steps, saw 75225 distinct states, run finished after 132007 ms. (steps per millisecond=1 ) properties seen :18
Running SMT prover for 12855 properties.
[2023-03-13 22:01:31] [INFO ] Flow matrix only has 14562 transitions (discarded 1062 similar events)
// Phase 1: matrix 14562 rows 8286 cols
[2023-03-13 22:01:31] [INFO ] Computed 1293 place invariants in 790 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 22:05:44] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 22:05:44] [INFO ] After 225039ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 12855 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 6609 out of 8286 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8286/8286 places, 15624/15624 transitions.
Discarding 25 places :
Symmetric choice reduction at 0 with 25 rule applications. Total rules 25 place count 8261 transition count 15587
Iterating global reduction 0 with 25 rules applied. Total rules applied 50 place count 8261 transition count 15587
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 2 Pre rules applied. Total rules applied 50 place count 8261 transition count 15585
Deduced a syphon composed of 2 places in 11 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 54 place count 8259 transition count 15585
Discarding 12 places :
Symmetric choice reduction at 0 with 12 rule applications. Total rules 66 place count 8247 transition count 15561
Iterating global reduction 0 with 12 rules applied. Total rules applied 78 place count 8247 transition count 15561
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 81 place count 8247 transition count 15558
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 84 place count 8244 transition count 15558
Applied a total of 84 rules in 1199 ms. Remains 8244 /8286 variables (removed 42) and now considering 15558/15624 (removed 66) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1199 ms. Remains : 8244/8286 places, 15558/15624 transitions.
Interrupted random walk after 180001 steps, including 11921 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12854) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12854) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12854) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12854) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12854) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12854) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12854) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12854) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12854) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 12852) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 12852) seen :0
Interrupted probabilistic random walk after 136866 steps, run timeout after 111001 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 136866 steps, saw 62244 distinct states, run finished after 111007 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 12852 properties.
[2023-03-13 22:08:13] [INFO ] Flow matrix only has 14493 transitions (discarded 1065 similar events)
// Phase 1: matrix 14493 rows 8244 cols
[2023-03-13 22:08:14] [INFO ] Computed 1293 place invariants in 786 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 22:12:24] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 22:12:24] [INFO ] After 225030ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 12852 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 6608 out of 8244 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8244/8244 places, 15558/15558 transitions.
Applied a total of 0 rules in 511 ms. Remains 8244 /8244 variables (removed 0) and now considering 15558/15558 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 513 ms. Remains : 8244/8244 places, 15558/15558 transitions.
Interrupted random walk after 179995 steps, including 11913 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 9
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 12843) seen :0
Interrupted probabilistic random walk after 127950 steps, run timeout after 108002 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 127950 steps, saw 58193 distinct states, run finished after 108004 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 12843 properties.
[2023-03-13 22:14:49] [INFO ] Flow matrix only has 14493 transitions (discarded 1065 similar events)
[2023-03-13 22:14:49] [INFO ] Invariant cache hit.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java: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 22:18:59] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 22:18:59] [INFO ] After 225068ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 12843 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 6605 out of 8244 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8244/8244 places, 15558/15558 transitions.
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 8244 transition count 15556
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 4 place count 8242 transition count 15556
Applied a total of 4 rules in 1087 ms. Remains 8242 /8244 variables (removed 2) and now considering 15556/15558 (removed 2) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1089 ms. Remains : 8242/8244 places, 15556/15558 transitions.
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393232 kB
MemFree: 1631188 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16110964 kB

BK_TIME_CONFINEMENT_REACHED

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

+ 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//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination QuasiLiveness -timeout 180 -rebuildPNML

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="smartxred"
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 smartxred"
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 r249-tall-167856436400557"
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 ;