MCC'2023- Execution of r256-tall-167856441200558

About the Execution of 2022-gold for MultiCrashLeafsetExtension-PT-S32C02

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
2989.712	1800000.00	2578591.00	2838.40	[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.r256-tall-167856441200558.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 gold2022
Input is MultiCrashLeafsetExtension-PT-S32C02, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r256-tall-167856441200558
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1678675586468

Running Version 202205111006
[2023-03-13 02:46:27] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2023-03-13 02:46:27] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 02:46:28] [INFO ] Load time of PNML (sax parser for PT used): 810 ms
[2023-03-13 02:46:28] [INFO ] Transformed 13544 places.
[2023-03-13 02:46:28] [INFO ] Transformed 21807 transitions.
[2023-03-13 02:46:28] [INFO ] Parsed PT model containing 13544 places and 21807 transitions in 1026 ms.
Incomplete random walk after 10000 steps, including 472 resets, run finished after 1667 ms. (steps per millisecond=5 ) properties (out of 13544) seen :873
Interrupted probabilistic random walk after 3327 steps, run timeout after 3001 ms. (steps per millisecond=1 ) properties seen :{583=1, 584=1, 602=1, 603=1, 604=1, 618=1, 619=1, 620=1, 631=1, 632=1, 633=1, 634=1, 635=1, 645=1, 646=1, 647=1, 655=1, 656=1, 657=1, 658=1, 663=1, 664=1, 665=1, 668=1, 669=1, 670=1, 672=1, 679=1, 1223=1, 1225=1, 1241=1, 1242=1, 1243=1, 1255=1, 1256=1, 1257=1, 1258=1, 1259=1, 1269=1, 1270=1, 1271=1, 1272=1, 1273=1, 1281=1, 1282=1, 1283=1, 1284=1, 1285=1, 1290=1, 1291=1, 1292=1, 1293=1, 1294=1, 1298=1, 1299=1, 1300=1, 1301=1, 1302=1, 1305=1, 1306=1, 1307=1, 1309=1, 1318=1, 1319=1, 1320=1, 1816=1, 1818=1, 1832=1, 1833=1, 1834=1, 1844=1, 1845=1, 1846=1, 1853=1, 1854=1, 1855=1, 1856=1, 1857=1, 1863=1, 1864=1, 1865=1, 1866=1, 1870=1, 1871=1, 1872=1, 1873=1, 1874=1, 1876=1, 1877=1, 1878=1, 1879=1, 1880=1, 1883=1, 1884=1, 1885=1, 1887=1, 1896=1, 1897=1, 2354=1, 2356=1, 2368=1, 2369=1, 2370=1, 2378=1, 2379=1, 2380=1, 2381=1, 2382=1, 2388=1, 2389=1, 2390=1, 2391=1, 2392=1, 2396=1, 2397=1, 2398=1, 2401=1, 2402=1, 2403=1, 2404=1, 2407=1, 2408=1, 2409=1, 2410=1, 2411=1, 2414=1, 2415=1, 2416=1, 2417=1, 2425=1, 2426=1, 2841=1, 2843=1, 2853=1, 2854=1, 2855=1, 2861=1, 2862=1, 2863=1, 2864=1, 2865=1, 2869=1, 2870=1, 2871=1, 2872=1, 2873=1, 2876=1, 2877=1, 2878=1, 2879=1, 2880=1, 2883=1, 2884=1, 2885=1, 2886=1, 2887=1, 2890=1, 2891=1, 2892=1, 2894=1, 2895=1, 2896=1, 2898=1, 2907=1, 2908=1, 3286=1, 3287=1, 3288=1, 3294=1, 3295=1, 3296=1, 3297=1, 3298=1, 3302=1, 3303=1, 3304=1, 3305=1, 3306=1, 3308=1, 3309=1, 3310=1, 3311=1, 3312=1, 3314=1, 3315=1, 3316=1, 3317=1, 3318=1, 3321=1, 3322=1, 3323=1, 3324=1, 3325=1, 3328=1, 3329=1, 3330=1, 3331=1, 3332=1, 3335=1, 3336=1, 3337=1, 3339=1, 3347=1, 3685=1, 3686=1, 3687=1, 3690=1, 3691=1, 3692=1, 3693=1, 3694=1, 3697=1, 3698=1, 3699=1, 3700=1, 3701=1, 3704=1, 3705=1, 3706=1, 3707=1, 3708=1, 3711=1, 3712=1, 3713=1, 3714=1, 3717=1, 3718=1, 3719=1, 3720=1, 3721=1, 3724=1, 3725=1, 3726=1, 3727=1, 3730=1, 3731=1, 3732=1, 3734=1, 3741=1, 4044=1, 4045=1, 4046=1, 4049=1, 4050=1, 4051=1, 4052=1, 4053=1, 4055=1, 4056=1, 4057=1, 4058=1, 4059=1, 4062=1, 4063=1, 4064=1, 4065=1, 4066=1, 4069=1, 4070=1, 4071=1, 4072=1, 4073=1, 4076=1, 4077=1, 4078=1, 4079=1, 4080=1, 4083=1, 4084=1, 4085=1, 4086=1, 4087=1, 4089=1, 4090=1, 4091=1, 4093=1, 4101=1, 4380=1, 4381=1, 4382=1, 4385=1, 4386=1, 4387=1, 4388=1, 4389=1, 4392=1, 4393=1, 4394=1, 4395=1, 4396=1, 4399=1, 4400=1, 4401=1, 4404=1, 4405=1, 4406=1, 4407=1, 4410=1, 4411=1, 4412=1, 4413=1, 4414=1, 4417=1, 4418=1, 4419=1, 4420=1, 4421=1, 4424=1, 4425=1, 4426=1, 4428=1, 4680=1, 4681=1, 4682=1, 4685=1, 4686=1, 4687=1, 4688=1, 4691=1, 4692=1, 4693=1, 4694=1, 4695=1, 4697=1, 4698=1, 4699=1, 4702=1, 4703=1, 4704=1, 4705=1, 4706=1, 4709=1, 4710=1, 4711=1, 4712=1, 4713=1, 4716=1, 4717=1, 4718=1, 4719=1, 4720=1, 4723=1, 4724=1, 4725=1, 4727=1, 4737=1, 4738=1, 4739=1, 4961=1, 4962=1, 4963=1, 4965=1, 4966=1, 4967=1, 4969=1, 4970=1, 4971=1, 4973=1, 4974=1, 4975=1, 4976=1, 4977=1, 4980=1, 4981=1, 4982=1, 4983=1, 4984=1, 4986=1, 4987=1, 4988=1, 4989=1, 4990=1, 4993=1, 4994=1, 4995=1, 4996=1, 4997=1, 4998=1, 4999=1, 5000=1, 5002=1, 5011=1, 5215=1, 5216=1, 5217=1, 5220=1, 5221=1, 5222=1, 5223=1, 5224=1, 5227=1, 5228=1, 5229=1, 5230=1, 5231=1, 5234=1, 5235=1, 5236=1, 5237=1, 5238=1, 5241=1, 5242=1, 5243=1, 5244=1, 5245=1, 5248=1, 5249=1, 5250=1, 5251=1, 5252=1, 5255=1, 5256=1, 5257=1, 5258=1, 5259=1, 5262=1, 5263=1, 5264=1, 5266=1, 5273=1, 5464=1, 5465=1, 5466=1, 5469=1, 5470=1, 5471=1, 5472=1, 5473=1, 5475=1, 5476=1, 5477=1, 5478=1, 5479=1, 5480=1, 5481=1, 5484=1, 5485=1, 5486=1, 5487=1, 5488=1, 5491=1, 5492=1, 5493=1, 5494=1, 5495=1, 5498=1, 5499=1, 5500=1, 5501=1, 5502=1, 5505=1, 5506=1, 5507=1, 5509=1, 5517=1, 5518=1, 5685=1, 5686=1, 5687=1, 5690=1, 5691=1, 5692=1, 5693=1, 5694=1, 5697=1, 5698=1, 5699=1, 5701=1, 5702=1, 5703=1, 5704=1, 5707=1, 5708=1, 5709=1, 5710=1, 5711=1, 5714=1, 5715=1, 5716=1, 5717=1, 5720=1, 5721=1, 5722=1, 5723=1, 5724=1, 5727=1, 5728=1, 5729=1, 5731=1, 5902=1, 5903=1, 5904=1, 5907=1, 5908=1, 5909=1, 5910=1, 5911=1, 5914=1, 5915=1, 5916=1, 5917=1, 5918=1, 5921=1, 5922=1, 5923=1, 5924=1, 5925=1, 5928=1, 5929=1, 5930=1, 5931=1, 5932=1, 5935=1, 5936=1, 5937=1, 5938=1, 5939=1, 5942=1, 5943=1, 5944=1, 5945=1, 5946=1, 5949=1, 5950=1, 5951=1, 5953=1, 5961=1, 5962=1, 6117=1, 6118=1, 6119=1, 6122=1, 6123=1, 6124=1, 6125=1, 6126=1, 6129=1, 6130=1, 6131=1, 6132=1, 6133=1, 6136=1, 6137=1, 6138=1, 6139=1, 6140=1, 6143=1, 6144=1, 6145=1, 6146=1, 6147=1, 6150=1, 6151=1, 6152=1, 6153=1, 6154=1, 6157=1, 6158=1, 6159=1, 6160=1, 6161=1, 6163=1, 6164=1, 6165=1, 6166=1, 6172=1, 6173=1, 6174=1, 6340=1, 6341=1, 6342=1, 6345=1, 6346=1, 6347=1, 6348=1, 6349=1, 6352=1, 6353=1, 6354=1, 6355=1, 6356=1, 6359=1, 6360=1, 6361=1, 6362=1, 6363=1, 6365=1, 6366=1, 6367=1, 6368=1, 6371=1, 6372=1, 6373=1, 6374=1, 6375=1, 6378=1, 6379=1, 6380=1, 6381=1, 6382=1, 6384=1, 6385=1, 6386=1, 6388=1, 6396=1, 6560=1, 6561=1, 6562=1, 6565=1, 6566=1, 6567=1, 6568=1, 6569=1, 6572=1, 6573=1, 6574=1, 6575=1, 6576=1, 6579=1, 6580=1, 6581=1, 6582=1, 6583=1, 6586=1, 6587=1, 6588=1, 6591=1, 6592=1, 6593=1, 6594=1, 6597=1, 6598=1, 6599=1, 6600=1, 6601=1, 6603=1, 6604=1, 6605=1, 6607=1, 6614=1, 6781=1, 6782=1, 6783=1, 6786=1, 6787=1, 6788=1, 6789=1, 6790=1, 6793=1, 6794=1, 6795=1, 6798=1, 6799=1, 6800=1, 6801=1, 6804=1, 6805=1, 6806=1, 6807=1, 6810=1, 6811=1, 6812=1, 6813=1, 6814=1, 6817=1, 6818=1, 6819=1, 6820=1, 6821=1, 6824=1, 6825=1, 6826=1, 6828=1, 6836=1, 7004=1, 7005=1, 7006=1, 7008=1, 7009=1, 7010=1, 7012=1, 7013=1, 7014=1, 7015=1, 7016=1, 7019=1, 7020=1, 7021=1, 7022=1, 7025=1, 7026=1, 7027=1, 7028=1, 7029=1, 7032=1, 7033=1, 7034=1, 7035=1, 7036=1, 7039=1, 7040=1, 7041=1, 7042=1, 7043=1, 7046=1, 7047=1, 7048=1, 7050=1, 7057=1, 7239=1, 7240=1, 7241=1, 7243=1, 7244=1, 7245=1, 7246=1, 7247=1, 7249=1, 7250=1, 7251=1, 7252=1, 7253=1, 7256=1, 7257=1, 7258=1, 7259=1, 7260=1, 7263=1, 7264=1, 7265=1, 7266=1, 7267=1, 7270=1, 7271=1, 7272=1, 7273=1, 7274=1, 7276=1, 7277=1, 7278=1, 7279=1, 7280=1, 7282=1, 7283=1, 7284=1, 7286=1, 7294=1, 7295=1, 7487=1, 7488=1, 7489=1, 7492=1, 7493=1, 7494=1, 7495=1, 7498=1, 7499=1, 7500=1, 7501=1, 7502=1, 7505=1, 7506=1, 7507=1, 7508=1, 7509=1, 7512=1, 7513=1, 7514=1, 7515=1, 7518=1, 7519=1, 7520=1, 7523=1, 7524=1, 7525=1, 7526=1, 7529=1, 7530=1, 7531=1, 7533=1, 7541=1, 7542=1, 7543=1, 7757=1, 7758=1, 7759=1, 7761=1, 7762=1, 7763=1, 7764=1, 7765=1, 7768=1, 7769=1, 7770=1, 7771=1, 7772=1, 7775=1, 7776=1, 7777=1, 7778=1, 7779=1, 7782=1, 7783=1, 7784=1, 7785=1, 7786=1, 7789=1, 7790=1, 7791=1, 7792=1, 7793=1, 7796=1, 7797=1, 7798=1, 7799=1, 7800=1, 7803=1, 7804=1, 7805=1, 7807=1, 7814=1, 7815=1, 7816=1, 7817=1, 7819=1, 8064=1, 8065=1, 8066=1, 8068=1, 8069=1, 8070=1, 8071=1, 8072=1, 8075=1, 8076=1, 8077=1, 8078=1, 8079=1, 8082=1, 8083=1, 8084=1, 8085=1, 8086=1, 8089=1, 8090=1, 8091=1, 8092=1, 8093=1, 8096=1, 8097=1, 8098=1, 8099=1, 8100=1, 8103=1, 8104=1, 8105=1, 8106=1, 8107=1, 8110=1, 8111=1, 8112=1, 8114=1, 8392=1, 8393=1, 8394=1, 8397=1, 8398=1, 8399=1, 8400=1, 8401=1, 8404=1, 8405=1, 8406=1, 8407=1, 8408=1, 8410=1, 8411=1, 8412=1, 8413=1, 8414=1, 8417=1, 8418=1, 8419=1, 8420=1, 8421=1, 8423=1, 8424=1, 8425=1, 8426=1, 8427=1, 8430=1, 8431=1, 8432=1, 8433=1, 8434=1, 8437=1, 8438=1, 8439=1, 8441=1, 8450=1, 8761=1, 8762=1, 8763=1, 8765=1, 8766=1, 8767=1, 8768=1, 8769=1, 8772=1, 8773=1, 8774=1, 8775=1, 8776=1, 8779=1, 8780=1, 8781=1, 8782=1, 8783=1, 8786=1, 8787=1, 8788=1, 8789=1, 8790=1, 8793=1, 8794=1, 8795=1, 8796=1, 8797=1, 8800=1, 8801=1, 8803=1, 8812=1, 9158=1, 9159=1, 9160=1, 9163=1, 9164=1, 9165=1, 9166=1, 9167=1, 9170=1, 9171=1, 9172=1, 9173=1, 9174=1, 9177=1, 9178=1, 9179=1, 9180=1, 9181=1, 9184=1, 9185=1, 9186=1, 9187=1, 9188=1, 9191=1, 9192=1, 9193=1, 9194=1, 9195=1, 9198=1, 9199=1, 9200=1, 9202=1, 9210=1, 9211=1, 9212=1, 9598=1, 9599=1, 9600=1, 9606=1, 9607=1, 9608=1, 9609=1, 9610=1, 9614=1, 9615=1, 9616=1, 9617=1, 9618=1, 9621=1, 9622=1, 9623=1, 9624=1, 9625=1, 9628=1, 9629=1, 9630=1, 9631=1, 9632=1, 9635=1, 9636=1, 9637=1, 9638=1, 9639=1, 9642=1, 9643=1, 9654=1, 9655=1, 10065=1, 10066=1, 10067=1, 10075=1, 10076=1, 10077=1, 10078=1, 10079=1, 10084=1, 10085=1, 10086=1, 10087=1, 10088=1, 10091=1, 10092=1, 10093=1, 10094=1, 10097=1, 10098=1, 10100=1, 10101=1, 10102=1, 10103=1, 10104=1, 10107=1, 10108=1, 10109=1, 10111=1, 10117=1, 10578=1, 10579=1, 10580=1, 10590=1, 10591=1, 10592=1, 10593=1, 10601=1, 10602=1, 10603=1, 10604=1, 10605=1, 10611=1, 10612=1, 10613=1, 10614=1, 10615=1, 10619=1, 10620=1, 10621=1, 10622=1, 10624=1, 10625=1, 10626=1, 10627=1, 10628=1, 10631=1, 10632=1, 10634=1, 10643=1, 11148=1, 11149=1, 11150=1, 11162=1, 11163=1, 11164=1, 11165=1, 11166=1, 11176=1, 11177=1, 11178=1, 11179=1, 11180=1, 11188=1, 11189=1, 11190=1, 11196=1, 11197=1, 11198=1, 11199=1, 11203=1, 11204=1, 11205=1, 11206=1, 11207=1, 11210=1, 11211=1, 11212=1, 11214=1, 11223=1, 11224=1, 11777=1, 11778=1, 11779=1, 11792=1, 11793=1, 11794=1, 11795=1, 11796=1, 11807=1, 11808=1, 11809=1, 11810=1, 11811=1, 11821=1, 11822=1, 11823=1, 11824=1, 11825=1, 11832=1, 11833=1, 11834=1, 11835=1, 11836=1, 11842=1, 11843=1, 11844=1, 11845=1, 11846=1, 11850=1, 11851=1, 11852=1, 11853=1, 11854=1, 11858=1, 11859=1, 11862=1, 11863=1, 12640=1, 12641=1, 12642=1, 12643=1, 12644=1, 12645=1, 12646=1, 12647=1, 12648=1, 12649=1, 12650=1, 12651=1, 12652=1, 12653=1, 12654=1, 12655=1, 12656=1, 12657=1, 12658=1, 12659=1, 12660=1, 12661=1, 12662=1, 12663=1, 12664=1, 12665=1, 12666=1, 12667=1, 12668=1, 12669=1}
Probabilistic random walk after 3327 steps, saw 1609 distinct states, run finished after 3007 ms. (steps per millisecond=1 ) properties seen :1156
Running SMT prover for 11515 properties.
[2023-03-13 02:46:34] [INFO ] Flow matrix only has 20751 transitions (discarded 1056 similar events)
// Phase 1: matrix 20751 rows 13544 cols
[2023-03-13 02:46:35] [INFO ] Computed 1333 place invariants in 1663 ms
[2023-03-13 02:47:01] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 02:47:01] [INFO ] After 25096ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 11515 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 2 ms.
Support contains 11515 out of 13544 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 13544/13544 places, 21807/21807 transitions.
Graph (complete) has 52829 edges and 13544 vertex of which 13504 are kept as prefixes of interest. Removing 40 places using SCC suffix rule.71 ms
Discarding 40 places :
Also discarding 0 output transitions
Drop transitions removed 217 transitions
Trivial Post-agglo rules discarded 217 transitions
Performed 217 trivial Post agglomeration. Transition count delta: 217
Iterating post reduction 0 with 217 rules applied. Total rules applied 218 place count 13504 transition count 21590
Reduce places removed 217 places and 0 transitions.
Performed 107 Post agglomeration using F-continuation condition.Transition count delta: 107
Iterating post reduction 1 with 324 rules applied. Total rules applied 542 place count 13287 transition count 21483
Reduce places removed 107 places and 0 transitions.
Iterating post reduction 2 with 107 rules applied. Total rules applied 649 place count 13180 transition count 21483
Performed 39 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 39 Pre rules applied. Total rules applied 649 place count 13180 transition count 21444
Deduced a syphon composed of 39 places in 15 ms
Reduce places removed 39 places and 0 transitions.
Iterating global reduction 3 with 78 rules applied. Total rules applied 727 place count 13141 transition count 21444
Discarding 183 places :
Symmetric choice reduction at 3 with 183 rule applications. Total rules 910 place count 12958 transition count 21261
Iterating global reduction 3 with 183 rules applied. Total rules applied 1093 place count 12958 transition count 21261
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 27 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 1095 place count 12957 transition count 21260
Free-agglomeration rule (complex) applied 219 times.
Iterating global reduction 3 with 219 rules applied. Total rules applied 1314 place count 12957 transition count 21041
Reduce places removed 219 places and 0 transitions.
Iterating post reduction 3 with 219 rules applied. Total rules applied 1533 place count 12738 transition count 21041
Partial Free-agglomeration rule applied 37 times.
Drop transitions removed 37 transitions
Iterating global reduction 4 with 37 rules applied. Total rules applied 1570 place count 12738 transition count 21041
Applied a total of 1570 rules in 1867 ms. Remains 12738 /13544 variables (removed 806) and now considering 21041/21807 (removed 766) transitions.
Finished structural reductions, in 1 iterations. Remains : 12738/13544 places, 21041/21807 transitions.
Interrupted random walk after 180001 steps, including 8995 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 5257
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 6258) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 6255) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 6249) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 6246) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 6243) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 6239) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 6231) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 6225) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 6224) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 6222) seen :5
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 6217) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 6213) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 6209) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 6206) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 6199) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 6194) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 6192) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 6190) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 6188) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 6183) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 6176) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 6169) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 6168) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 6165) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 6163) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 6159) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 6156) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 6153) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 6149) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 6146) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 6145) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 6140) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 6137) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 6135) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 6132) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 6129) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 6127) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 6126) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 6119) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 6115) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 6115) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 6109) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 6107) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 6105) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 6099) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 6098) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 6098) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 6097) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 6089) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 6088) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 6085) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 6083) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 6078) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 6075) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 6069) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 6067) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 6064) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 6063) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 6061) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 6058) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 6057) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 6051) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 6045) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 6042) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 6039) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 6033) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 6032) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 6030) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 6029) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 6023) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 6019) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 6013) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 6012) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 6010) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 6009) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 6006) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 6003) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 5998) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 5994) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5990) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 5990) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5990) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5986) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5985) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5983) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5979) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5974) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5972) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 5970) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5966) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5962) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5957) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5953) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5952) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5949) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5946) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5946) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 5945) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5940) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5939) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5936) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5933) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5930) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5926) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 5923) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5920) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5919) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 5916) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5916) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 5914) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 5913) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5913) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5912) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 5911) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5910) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5905) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5903) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5902) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5901) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5900) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5898) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5896) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 5894) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5892) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5889) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5888) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5885) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5883) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5882) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5879) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5873) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5872) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5872) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5871) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5870) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5868) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 5868) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5868) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5868) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5864) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5863) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 5863) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5863) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5861) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5861) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5859) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5856) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5855) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5855) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5855) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5854) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5852) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5851) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5851) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5848) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5848) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5848) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5848) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5847) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5846) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5843) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5841) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5838) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5838) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 5838) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5838) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5837) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5835) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 5835) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5834) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5832) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5831) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5831) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5827) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5826) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5825) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5823) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5821) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5819) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5818) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5818) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 5818) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5816) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5815) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5814) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5814) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5814) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5811) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5811) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5809) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5808) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5806) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5805) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5804) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 5802) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5801) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5800) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5800) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5798) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5798) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 5797) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 5796) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5795) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5794) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5791) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5789) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5788) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5786) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5782) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5782) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5781) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5781) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5779) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5779) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5779) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5779) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5777) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5776) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5776) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5775) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5775) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5772) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5771) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5771) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5770) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5767) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5767) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5766) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5762) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5759) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5758) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5758) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5758) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5758) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5756) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5756) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5754) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5752) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5751) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5751) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5750) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5748) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5748) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5748) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5747) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5747) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5747) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5747) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5745) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5742) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5742) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5740) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5739) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5738) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5738) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5738) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5736) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5734) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5734) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5733) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5732) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5731) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5730) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5730) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5729) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5728) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5727) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5726) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5726) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5725) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5725) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5724) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5723) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5723) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5721) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5721) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5721) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5721) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5720) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5720) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5720) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5718) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 5718) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5717) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5717) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5714) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5714) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5712) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5712) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5712) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5711) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5711) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5710) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5710) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5710) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5709) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5709) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5708) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5704) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=12 ) properties (out of 5704) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5703) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5703) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5703) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5702) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5702) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5701) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5700) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5697) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 5696) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5696) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5694) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5692) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5691) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 5690) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5689) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5687) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5686) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5683) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5682) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5682) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5682) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5682) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5682) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5681) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5681) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5680) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5678) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 5678) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5678) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5678) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5677) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5676) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5676) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5676) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5676) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5676) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5676) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5676) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5676) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5676) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5676) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 5675) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5673) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5673) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5673) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5673) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5673) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5673) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5673) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5673) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5673) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5673) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5672) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5671) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5671) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5671) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5671) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5671) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5670) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5670) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5669) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5668) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5667) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5666) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5665) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5665) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5664) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5662) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5662) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5662) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5662) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5660) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5660) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5660) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5660) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5659) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5658) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5658) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5658) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5657) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5655) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5655) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5655) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5654) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5653) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=12 ) properties (out of 5650) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5649) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5649) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5649) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5648) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5648) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5648) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5646) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5644) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5644) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5642) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5642) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5640) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5640) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5640) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5640) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5639) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5639) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5639) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5639) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5639) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5639) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5639) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5639) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5638) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5637) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5636) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5633) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5633) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5632) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5630) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5630) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5629) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5629) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5629) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5629) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5629) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5629) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5629) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5629) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5628) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5628) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5628) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5627) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5627) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5625) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5625) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5625) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5625) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5625) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5625) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5625) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5624) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5624) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5624) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5623) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5623) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5622) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5622) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5622) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5622) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5622) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5622) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5621) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5621) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5621) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5621) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5621) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5619) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5619) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5619) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5618) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5618) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5618) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5618) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5617) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5617) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5617) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5616) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5615) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5614) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5614) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5613) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5613) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5613) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5612) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5611) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5611) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5611) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5611) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5611) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5611) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5611) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5611) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5611) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5611) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5610) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5609) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5608) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5607) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5607) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5607) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5607) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5607) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5607) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5607) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5607) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5607) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5607) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5607) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5607) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5607) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5607) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5607) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5607) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5607) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 5607) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5606) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5606) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5606) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5605) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5604) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5604) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5604) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5604) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5603) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5603) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5603) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5603) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5603) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5603) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5603) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5602) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5602) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 5602) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5601) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5601) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5600) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5600) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5598) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5597) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5596) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5594) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5594) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5594) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5594) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5594) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5594) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5594) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5594) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5594) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5594) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5594) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5594) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5594) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5594) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5593) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5593) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5593) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5592) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5592) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5592) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5592) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5592) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5592) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5592) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5590) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5588) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5588) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5588) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5588) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5588) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5588) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5588) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5587) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5587) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5587) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5587) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5587) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5586) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5585) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5585) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5585) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5585) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5585) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5585) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 5585) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5585) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5584) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5584) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5584) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5584) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5581) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5581) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5581) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5579) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5579) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5579) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5579) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5579) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5579) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5579) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5579) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5575) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5574) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5574) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5574) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5573) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5573) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5571) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5570) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5570) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5570) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5568) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5568) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5568) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5566) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5566) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5565) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5564) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5564) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5564) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5564) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5564) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5564) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5564) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5564) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5562) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5562) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5562) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5561) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5561) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5561) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5561) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5560) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5560) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5560) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5560) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5560) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5560) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5559) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5559) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5559) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5559) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5559) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5559) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5559) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5558) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5558) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5558) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5556) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5556) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5556) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5556) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5556) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5556) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5555) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5555) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5554) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5554) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5554) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5554) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5553) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5553) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5553) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5553) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5552) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5552) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5552) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5551) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5551) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5551) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5551) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5551) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5551) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5551) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5551) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5551) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5550) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5550) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5550) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5550) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5550) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5550) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5550) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5550) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5550) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5549) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5549) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5549) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5549) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5549) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5549) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5549) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5548) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5548) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5548) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5547) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5547) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5547) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5547) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5546) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5545) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5545) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5545) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5545) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5545) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5545) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5545) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5545) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5545) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5545) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5545) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5543) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5542) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5542) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5542) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5541) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5540) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5539) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5538) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5538) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5538) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5538) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5538) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5538) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5538) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5538) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5538) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5536) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5535) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5534) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5533) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5533) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5533) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5533) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5532) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5532) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5532) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5532) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5532) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5532) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5532) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5531) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5530) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5529) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5529) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5529) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5529) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5528) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5528) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5528) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5528) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5528) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5528) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5528) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5528) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5526) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5525) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5525) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5525) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5525) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5523) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5523) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5523) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5523) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5523) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5523) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5523) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5523) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5523) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5523) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5523) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5523) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5521) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5520) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5519) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5519) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5519) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5519) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5519) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5519) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5518) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5517) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5517) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5517) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5516) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5515) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5514) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5513) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5513) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5513) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5513) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5513) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5513) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5513) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5513) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5513) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5513) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5513) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5513) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5512) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5512) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5512) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5512) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5512) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5512) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5512) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5512) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5512) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5512) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5511) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5511) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5510) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5508) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5508) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5508) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5508) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5508) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5508) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5508) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5508) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5508) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5508) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5508) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5507) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5506) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5506) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5505) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5505) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5505) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5505) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5505) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5505) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5505) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5505) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5505) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5505) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5505) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5504) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5504) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5504) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5504) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5503) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5502) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5501) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5501) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5501) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5499) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5499) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5498) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5496) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5496) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5495) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5494) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5494) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5494) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5493) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5492) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5491) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5491) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5491) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5491) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5491) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5490) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5489) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5488) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5486) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5486) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5486) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5486) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5486) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5486) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5486) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5486) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5486) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5486) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5486) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5486) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5486) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5486) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5486) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5486) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5486) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5486) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5486) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5485) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5485) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5485) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5485) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5485) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5484) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5484) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5483) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5483) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5482) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5482) seen :0
Running SMT prover for 5482 properties.
[2023-03-13 02:48:59] [INFO ] Flow matrix only has 19985 transitions (discarded 1056 similar events)
// Phase 1: matrix 19985 rows 12738 cols
[2023-03-13 02:49:00] [INFO ] Computed 1293 place invariants in 1284 ms
[2023-03-13 02:52:55] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 02:52:55] [INFO ] After 225052ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5482 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 5482 out of 12738 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 12738/12738 places, 21041/21041 transitions.
Drop transitions removed 1764 transitions
Trivial Post-agglo rules discarded 1764 transitions
Performed 1764 trivial Post agglomeration. Transition count delta: 1764
Iterating post reduction 0 with 1764 rules applied. Total rules applied 1764 place count 12738 transition count 19277
Reduce places removed 1764 places and 0 transitions.
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Iterating post reduction 1 with 1773 rules applied. Total rules applied 3537 place count 10974 transition count 19268
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 2 with 9 rules applied. Total rules applied 3546 place count 10965 transition count 19268
Performed 93 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 93 Pre rules applied. Total rules applied 3546 place count 10965 transition count 19175
Deduced a syphon composed of 93 places in 16 ms
Reduce places removed 93 places and 0 transitions.
Iterating global reduction 3 with 186 rules applied. Total rules applied 3732 place count 10872 transition count 19175
Discarding 1736 places :
Symmetric choice reduction at 3 with 1736 rule applications. Total rules 5468 place count 9136 transition count 17439
Iterating global reduction 3 with 1736 rules applied. Total rules applied 7204 place count 9136 transition count 17439
Discarding 744 places :
Symmetric choice reduction at 3 with 744 rule applications. Total rules 7948 place count 8392 transition count 15951
Iterating global reduction 3 with 744 rules applied. Total rules applied 8692 place count 8392 transition count 15951
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 13 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 3 with 2 rules applied. Total rules applied 8694 place count 8391 transition count 15950
Free-agglomeration rule (complex) applied 132 times.
Iterating global reduction 3 with 132 rules applied. Total rules applied 8826 place count 8391 transition count 16562
Reduce places removed 132 places and 0 transitions.
Iterating post reduction 3 with 132 rules applied. Total rules applied 8958 place count 8259 transition count 16562
Discarding 4 places :
Symmetric choice reduction at 4 with 4 rule applications. Total rules 8962 place count 8255 transition count 16558
Iterating global reduction 4 with 4 rules applied. Total rules applied 8966 place count 8255 transition count 16558
Partial Free-agglomeration rule applied 66 times.
Drop transitions removed 66 transitions
Iterating global reduction 4 with 66 rules applied. Total rules applied 9032 place count 8255 transition count 16558
Discarding 33 places :
Symmetric choice reduction at 4 with 33 rule applications. Total rules 9065 place count 8222 transition count 16525
Iterating global reduction 4 with 33 rules applied. Total rules applied 9098 place count 8222 transition count 16525
Applied a total of 9098 rules in 4184 ms. Remains 8222 /12738 variables (removed 4516) and now considering 16525/21041 (removed 4516) transitions.
Finished structural reductions, in 1 iterations. Remains : 8222/12738 places, 16525/21041 transitions.
Interrupted random walk after 78092 steps, including 5968 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen 32
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5450) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5450) seen :0
Interrupted probabilistic random walk after 197454 steps, run timeout after 93001 ms. (steps per millisecond=2 ) properties seen :{4648=1, 5367=1, 5368=1}
Probabilistic random walk after 197454 steps, saw 87570 distinct states, run finished after 93004 ms. (steps per millisecond=2 ) properties seen :3
Running SMT prover for 5447 properties.
[2023-03-13 02:55:04] [INFO ] Flow matrix only has 15432 transitions (discarded 1093 similar events)
// Phase 1: matrix 15432 rows 8222 cols
[2023-03-13 02:55:05] [INFO ] Computed 1293 place invariants in 867 ms
[2023-03-13 02:58:58] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 02:58:58] [INFO ] After 225032ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5447 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 5447 out of 8222 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 8222/8222 places, 16525/16525 transitions.
Drop transitions removed 15 transitions
Trivial Post-agglo rules discarded 15 transitions
Performed 15 trivial Post agglomeration. Transition count delta: 15
Iterating post reduction 0 with 15 rules applied. Total rules applied 15 place count 8222 transition count 16510
Reduce places removed 15 places and 0 transitions.
Iterating post reduction 1 with 15 rules applied. Total rules applied 30 place count 8207 transition count 16510
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 33 place count 8204 transition count 16507
Iterating global reduction 2 with 3 rules applied. Total rules applied 36 place count 8204 transition count 16507
Free-agglomeration rule (complex) applied 8 times.
Iterating global reduction 2 with 8 rules applied. Total rules applied 44 place count 8204 transition count 16499
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 52 place count 8196 transition count 16499
Discarding 21 places :
Symmetric choice reduction at 3 with 21 rule applications. Total rules 73 place count 8175 transition count 16478
Iterating global reduction 3 with 21 rules applied. Total rules applied 94 place count 8175 transition count 16478
Applied a total of 94 rules in 1795 ms. Remains 8175 /8222 variables (removed 47) and now considering 16478/16525 (removed 47) transitions.
Finished structural reductions, in 1 iterations. Remains : 8175/8222 places, 16478/16525 transitions.
Interrupted random walk after 75205 steps, including 5755 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen 5
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5442) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5442) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5442) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5442) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5442) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 5442) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5442) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5442) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5442) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5442) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 5442) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5442) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5442) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5442) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5442) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5442) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5442) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5442) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5442) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5442) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5442) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5442) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5442) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5442) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 5442) seen :1
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5441) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 42 ms. (steps per millisecond=23 ) properties (out of 5441) seen :0
Interrupted probabilistic random walk after 217139 steps, run timeout after 99001 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 217139 steps, saw 96068 distinct states, run finished after 99004 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 5441 properties.
[2023-03-13 03:01:12] [INFO ] Flow matrix only has 15379 transitions (discarded 1099 similar events)
// Phase 1: matrix 15379 rows 8175 cols
[2023-03-13 03:01:12] [INFO ] Computed 1293 place invariants in 700 ms
[2023-03-13 03:05:05] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 03:05:05] [INFO ] After 225051ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5441 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 5441 out of 8175 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 8175/8175 places, 16478/16478 transitions.
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 0 with 4 rules applied. Total rules applied 4 place count 8175 transition count 16474
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 8 place count 8171 transition count 16474
Applied a total of 8 rules in 1370 ms. Remains 8171 /8175 variables (removed 4) and now considering 16474/16478 (removed 4) transitions.
Finished structural reductions, in 1 iterations. Remains : 8171/8175 places, 16474/16478 transitions.
Interrupted random walk after 75699 steps, including 5796 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen 7
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 41 ms. (steps per millisecond=24 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5434) seen :0
Interrupted probabilistic random walk after 179502 steps, run timeout after 93001 ms. (steps per millisecond=1 ) properties seen :{}
Probabilistic random walk after 179502 steps, saw 79647 distinct states, run finished after 93002 ms. (steps per millisecond=1 ) properties seen :0
Running SMT prover for 5434 properties.
[2023-03-13 03:07:12] [INFO ] Flow matrix only has 15371 transitions (discarded 1103 similar events)
// Phase 1: matrix 15371 rows 8171 cols
[2023-03-13 03:07:12] [INFO ] Computed 1293 place invariants in 728 ms
[2023-03-13 03:11:07] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 03:11:07] [INFO ] After 225045ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5434 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 5434 out of 8171 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 8171/8171 places, 16474/16474 transitions.
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 3 place count 8171 transition count 16471
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 6 place count 8168 transition count 16471
Applied a total of 6 rules in 1334 ms. Remains 8168 /8171 variables (removed 3) and now considering 16471/16474 (removed 3) transitions.
Finished structural reductions, in 1 iterations. Remains : 8168/8171 places, 16471/16474 transitions.
Interrupted random walk after 54663 steps, including 4183 resets, run timeout after 30001 ms. (steps per millisecond=1 ) properties seen 4
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5430) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 5430) seen :1
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5429) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5429) seen :0
Interrupted probabilistic random walk after 204399 steps, run timeout after 102001 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 204399 steps, saw 90553 distinct states, run finished after 102002 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 5429 properties.
[2023-03-13 03:13:24] [INFO ] Flow matrix only has 15365 transitions (discarded 1106 similar events)
// Phase 1: matrix 15365 rows 8168 cols
[2023-03-13 03:13:25] [INFO ] Computed 1293 place invariants in 820 ms

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S32C02"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="gold2022"
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 gold2022"
echo " Input is MultiCrashLeafsetExtension-PT-S32C02, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r256-tall-167856441200558"
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 [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "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 [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "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 "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.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 '' StableMarking.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
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 ;