Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 17K Apr 29 17:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 107K Apr 29 17:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Apr 29 17:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Apr 29 17:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.9K May 9 08:17 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 9 08:17 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 9 08:17 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 9 08:17 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.5K May 9 08:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K May 9 08:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 7 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 16M May 10 09:34 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME StableMarking

=== Now, execution of the tool begins

BK_START 1652751007874

Running Version 202205111006
[2022-05-17 01:30:09] [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]
[2022-05-17 01:30:09] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-17 01:30:09] [INFO ] Load time of PNML (sax parser for PT used): 812 ms
[2022-05-17 01:30:10] [INFO ] Transformed 13544 places.
[2022-05-17 01:30:10] [INFO ] Transformed 21807 transitions.
[2022-05-17 01:30:10] [INFO ] Parsed PT model containing 13544 places and 21807 transitions in 1014 ms.
Incomplete random walk after 10000 steps, including 472 resets, run finished after 1667 ms. (steps per millisecond=5 ) properties (out of 13544) seen :927
Interrupted probabilistic random walk after 3690 steps, run timeout after 3002 ms. (steps per millisecond=1 ) properties seen :{1=1, 573=1, 575=1, 595=1, 596=1, 597=1, 613=1, 614=1, 615=1, 616=1, 617=1, 631=1, 632=1, 633=1, 634=1, 635=1, 647=1, 648=1, 649=1, 650=1, 651=1, 660=1, 661=1, 662=1, 663=1, 664=1, 672=1, 673=1, 674=1, 675=1, 676=1, 682=1, 683=1, 684=1, 685=1, 686=1, 690=1, 691=1, 692=1, 694=1, 702=1, 703=1, 704=1, 1232=1, 1234=1, 1252=1, 1266=1, 1267=1, 1268=1, 1269=1, 1270=1, 1282=1, 1283=1, 1284=1, 1285=1, 1286=1, 1296=1, 1297=1, 1298=1, 1299=1, 1300=1, 1308=1, 1309=1, 1310=1, 1311=1, 1312=1, 1318=1, 1319=1, 1320=1, 1321=1, 1322=1, 1326=1, 1327=1, 1328=1, 1329=1, 1330=1, 1333=1, 1334=1, 1335=1, 1337=1, 1347=1, 1348=1, 1349=1, 1843=1, 1844=1, 1845=1, 1857=1, 1858=1, 1859=1, 1860=1, 1861=1, 1871=1, 1872=1, 1873=1, 1874=1, 1875=1, 1883=1, 1884=1, 1885=1, 1886=1, 1887=1, 1891=1, 1892=1, 1893=1, 1894=1, 1895=1, 1899=1, 1900=1, 1901=1, 1902=1, 1903=1, 1906=1, 1907=1, 1908=1, 1909=1, 1910=1, 1913=1, 1914=1, 1915=1, 1917=1, 1923=1, 1924=1, 2363=1, 2365=1, 2378=1, 2379=1, 2380=1, 2390=1, 2391=1, 2392=1, 2393=1, 2394=1, 2402=1, 2403=1, 2404=1, 2405=1, 2406=1, 2412=1, 2413=1, 2414=1, 2418=1, 2419=1, 2420=1, 2421=1, 2422=1, 2425=1, 2426=1, 2427=1, 2428=1, 2429=1, 2431=1, 2432=1, 2433=1, 2434=1, 2437=1, 2438=1, 2439=1, 2441=1, 2449=1, 2450=1, 2868=1, 2869=1, 2870=1, 2878=1, 2879=1, 2880=1, 2881=1, 2882=1, 2888=1, 2889=1, 2890=1, 2891=1, 2892=1, 2896=1, 2897=1, 2898=1, 2899=1, 2900=1, 2902=1, 2903=1, 2904=1, 2905=1, 2906=1, 2908=1, 2909=1, 2910=1, 2912=1, 2913=1, 2914=1, 2915=1, 2916=1, 2919=1, 2920=1, 2921=1, 2923=1, 2931=1, 2932=1, 2933=1, 3293=1, 3295=1, 3305=1, 3306=1, 3307=1, 3313=1, 3314=1, 3315=1, 3316=1, 3317=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, 3338=1, 3339=1, 3342=1, 3343=1, 3344=1, 3345=1, 3346=1, 3349=1, 3350=1, 3351=1, 3352=1, 3353=1, 3356=1, 3357=1, 3358=1, 3360=1, 3368=1, 3369=1, 3698=1, 3699=1, 3700=1, 3704=1, 3705=1, 3706=1, 3707=1, 3708=1, 3711=1, 3712=1, 3713=1, 3714=1, 3715=1, 3717=1, 3718=1, 3719=1, 3720=1, 3721=1, 3723=1, 3724=1, 3725=1, 3726=1, 3727=1, 3729=1, 3730=1, 3731=1, 3732=1, 3733=1, 3736=1, 3737=1, 3738=1, 3741=1, 3742=1, 3744=1, 3751=1, 3752=1, 4041=1, 4043=1, 4049=1, 4050=1, 4051=1, 4053=1, 4054=1, 4055=1, 4056=1, 4059=1, 4060=1, 4061=1, 4062=1, 4063=1, 4066=1, 4067=1, 4068=1, 4069=1, 4070=1, 4072=1, 4073=1, 4074=1, 4077=1, 4078=1, 4079=1, 4080=1, 4081=1, 4084=1, 4085=1, 4086=1, 4087=1, 4088=1, 4091=1, 4092=1, 4093=1, 4095=1, 4103=1, 4104=1, 4361=1, 4363=1, 4367=1, 4368=1, 4369=1, 4372=1, 4373=1, 4374=1, 4375=1, 4376=1, 4379=1, 4380=1, 4381=1, 4382=1, 4383=1, 4386=1, 4387=1, 4388=1, 4389=1, 4390=1, 4393=1, 4394=1, 4395=1, 4396=1, 4397=1, 4400=1, 4401=1, 4402=1, 4403=1, 4404=1, 4407=1, 4408=1, 4409=1, 4410=1, 4411=1, 4413=1, 4414=1, 4415=1, 4417=1, 4425=1, 4426=1, 4427=1, 4665=1, 4667=1, 4672=1, 4673=1, 4674=1, 4676=1, 4677=1, 4678=1, 4679=1, 4680=1, 4683=1, 4684=1, 4685=1, 4687=1, 4688=1, 4689=1, 4690=1, 4691=1, 4694=1, 4695=1, 4696=1, 4697=1, 4698=1, 4701=1, 4702=1, 4703=1, 4704=1, 4705=1, 4708=1, 4709=1, 4710=1, 4711=1, 4712=1, 4715=1, 4716=1, 4717=1, 4719=1, 4728=1, 4729=1, 4730=1, 4938=1, 4940=1, 4945=1, 4946=1, 4947=1, 4949=1, 4950=1, 4951=1, 4952=1, 4953=1, 4955=1, 4956=1, 4957=1, 4958=1, 4959=1, 4961=1, 4962=1, 4963=1, 4964=1, 4966=1, 4967=1, 4968=1, 4969=1, 4970=1, 4973=1, 4974=1, 4975=1, 4976=1, 4977=1, 4980=1, 4981=1, 4982=1, 4983=1, 4986=1, 4987=1, 4988=1, 4990=1, 4996=1, 5181=1, 5183=1, 5187=1, 5188=1, 5189=1, 5192=1, 5193=1, 5194=1, 5195=1, 5196=1, 5199=1, 5200=1, 5201=1, 5202=1, 5203=1, 5206=1, 5207=1, 5208=1, 5209=1, 5210=1, 5213=1, 5214=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, 5238=1, 5246=1, 5425=1, 5426=1, 5427=1, 5432=1, 5435=1, 5436=1, 5437=1, 5438=1, 5439=1, 5442=1, 5443=1, 5444=1, 5447=1, 5448=1, 5449=1, 5452=1, 5453=1, 5454=1, 5455=1, 5456=1, 5459=1, 5460=1, 5461=1, 5462=1, 5463=1, 5465=1, 5466=1, 5467=1, 5468=1, 5469=1, 5472=1, 5473=1, 5474=1, 5476=1, 5484=1, 5485=1, 5486=1, 5655=1, 5656=1, 5657=1, 5660=1, 5661=1, 5662=1, 5665=1, 5666=1, 5667=1, 5668=1, 5669=1, 5672=1, 5673=1, 5674=1, 5675=1, 5676=1, 5679=1, 5680=1, 5681=1, 5682=1, 5683=1, 5686=1, 5687=1, 5688=1, 5689=1, 5692=1, 5693=1, 5694=1, 5695=1, 5696=1, 5699=1, 5700=1, 5701=1, 5702=1, 5703=1, 5706=1, 5707=1, 5708=1, 5710=1, 5719=1, 5879=1, 5880=1, 5881=1, 5884=1, 5885=1, 5886=1, 5887=1, 5888=1, 5891=1, 5892=1, 5893=1, 5894=1, 5895=1, 5898=1, 5899=1, 5900=1, 5901=1, 5902=1, 5905=1, 5906=1, 5907=1, 5908=1, 5909=1, 5912=1, 5913=1, 5914=1, 5915=1, 5916=1, 5919=1, 5920=1, 5921=1, 5922=1, 5923=1, 5926=1, 5927=1, 5928=1, 5929=1, 5932=1, 5933=1, 5934=1, 5936=1, 5945=1, 6099=1, 6102=1, 6103=1, 6104=1, 6105=1, 6108=1, 6109=1, 6110=1, 6112=1, 6113=1, 6114=1, 6115=1, 6116=1, 6119=1, 6120=1, 6121=1, 6122=1, 6123=1, 6126=1, 6127=1, 6128=1, 6129=1, 6130=1, 6133=1, 6134=1, 6135=1, 6136=1, 6137=1, 6140=1, 6141=1, 6142=1, 6143=1, 6144=1, 6147=1, 6148=1, 6149=1, 6151=1, 6159=1, 6160=1, 6312=1, 6313=1, 6314=1, 6317=1, 6318=1, 6319=1, 6320=1, 6321=1, 6324=1, 6325=1, 6326=1, 6327=1, 6328=1, 6331=1, 6332=1, 6333=1, 6334=1, 6335=1, 6338=1, 6339=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, 6366=1, 6367=1, 6374=1, 6375=1, 6376=1, 6526=1, 6528=1, 6529=1, 6530=1, 6531=1, 6532=1, 6535=1, 6536=1, 6537=1, 6538=1, 6539=1, 6541=1, 6542=1, 6543=1, 6544=1, 6545=1, 6548=1, 6549=1, 6550=1, 6551=1, 6552=1, 6555=1, 6556=1, 6557=1, 6560=1, 6561=1, 6564=1, 6565=1, 6566=1, 6567=1, 6568=1, 6571=1, 6572=1, 6573=1, 6575=1, 6581=1, 6582=1, 6584=1, 6745=1, 6746=1, 6747=1, 6750=1, 6751=1, 6752=1, 6753=1, 6754=1, 6757=1, 6758=1, 6759=1, 6760=1, 6761=1, 6764=1, 6765=1, 6766=1, 6767=1, 6768=1, 6771=1, 6772=1, 6773=1, 6774=1, 6775=1, 6778=1, 6779=1, 6780=1, 6781=1, 6782=1, 6785=1, 6786=1, 6787=1, 6788=1, 6789=1, 6792=1, 6793=1, 6794=1, 6795=1, 6796=1, 6799=1, 6800=1, 6801=1, 6803=1, 6811=1, 6812=1, 6976=1, 6979=1, 6980=1, 6981=1, 6984=1, 6985=1, 6986=1, 6987=1, 6988=1, 6991=1, 6992=1, 6993=1, 6994=1, 6995=1, 6997=1, 6998=1, 6999=1, 7002=1, 7005=1, 7006=1, 7007=1, 7010=1, 7011=1, 7012=1, 7013=1, 7016=1, 7017=1, 7018=1, 7020=1, 7028=1, 7029=1, 7030=1, 7212=1, 7213=1, 7214=1, 7217=1, 7218=1, 7219=1, 7220=1, 7221=1, 7224=1, 7225=1, 7226=1, 7227=1, 7228=1, 7231=1, 7232=1, 7233=1, 7234=1, 7235=1, 7238=1, 7239=1, 7240=1, 7241=1, 7242=1, 7245=1, 7246=1, 7247=1, 7248=1, 7249=1, 7252=1, 7253=1, 7254=1, 7255=1, 7256=1, 7258=1, 7259=1, 7260=1, 7261=1, 7262=1, 7265=1, 7266=1, 7267=1, 7269=1, 7277=1, 7278=1, 7279=1, 7468=1, 7469=1, 7472=1, 7473=1, 7474=1, 7475=1, 7476=1, 7479=1, 7480=1, 7481=1, 7482=1, 7483=1, 7486=1, 7487=1, 7488=1, 7489=1, 7490=1, 7493=1, 7494=1, 7495=1, 7496=1, 7497=1, 7500=1, 7501=1, 7502=1, 7503=1, 7504=1, 7507=1, 7508=1, 7509=1, 7512=1, 7513=1, 7514=1, 7515=1, 7516=1, 7519=1, 7520=1, 7528=1, 7529=1, 7741=1, 7742=1, 7743=1, 7745=1, 7746=1, 7747=1, 7750=1, 7751=1, 7752=1, 7753=1, 7754=1, 7757=1, 7758=1, 7759=1, 7760=1, 7761=1, 7764=1, 7765=1, 7766=1, 7767=1, 7768=1, 7771=1, 7772=1, 7773=1, 7774=1, 7775=1, 7777=1, 7778=1, 7779=1, 7780=1, 7781=1, 7784=1, 7785=1, 7786=1, 7787=1, 7788=1, 7791=1, 7792=1, 7802=1, 8035=1, 8036=1, 8037=1, 8040=1, 8041=1, 8042=1, 8043=1, 8044=1, 8047=1, 8048=1, 8049=1, 8050=1, 8051=1, 8054=1, 8055=1, 8056=1, 8057=1, 8058=1, 8061=1, 8062=1, 8063=1, 8066=1, 8067=1, 8068=1, 8069=1, 8070=1, 8072=1, 8073=1, 8074=1, 8075=1, 8076=1, 8079=1, 8080=1, 8081=1, 8082=1, 8083=1, 8086=1, 8087=1, 8088=1, 8090=1, 8099=1, 8100=1, 8101=1, 8372=1, 8373=1, 8374=1, 8377=1, 8378=1, 8379=1, 8380=1, 8381=1, 8384=1, 8385=1, 8386=1, 8387=1, 8388=1, 8391=1, 8392=1, 8393=1, 8394=1, 8395=1, 8397=1, 8398=1, 8399=1, 8400=1, 8401=1, 8404=1, 8405=1, 8406=1, 8407=1, 8408=1, 8411=1, 8412=1, 8413=1, 8414=1, 8415=1, 8418=1, 8419=1, 8420=1, 8422=1, 8429=1, 8724=1, 8725=1, 8726=1, 8730=1, 8731=1, 8732=1, 8733=1, 8734=1, 8737=1, 8738=1, 8739=1, 8740=1, 8741=1, 8744=1, 8745=1, 8746=1, 8747=1, 8748=1, 8751=1, 8752=1, 8753=1, 8754=1, 8755=1, 8758=1, 8759=1, 8760=1, 8761=1, 8762=1, 8764=1, 8765=1, 8766=1, 8767=1, 8770=1, 8771=1, 8772=1, 8774=1, 8782=1, 8783=1, 8784=1, 8786=1, 9126=1, 9132=1, 9133=1, 9134=1, 9135=1, 9136=1, 9139=1, 9140=1, 9141=1, 9142=1, 9143=1, 9145=1, 9146=1, 9147=1, 9148=1, 9151=1, 9152=1, 9153=1, 9154=1, 9155=1, 9158=1, 9159=1, 9160=1, 9161=1, 9162=1, 9164=1, 9165=1, 9166=1, 9167=1, 9168=1, 9171=1, 9172=1, 9173=1, 9175=1, 9184=1, 9185=1, 9552=1, 9553=1, 9554=1, 9561=1, 9562=1, 9563=1, 9564=1, 9570=1, 9571=1, 9572=1, 9573=1, 9574=1, 9578=1, 9579=1, 9580=1, 9581=1, 9582=1, 9585=1, 9586=1, 9587=1, 9588=1, 9589=1, 9590=1, 9591=1, 9592=1, 9593=1, 9594=1, 9596=1, 9597=1, 9598=1, 9599=1, 9600=1, 9603=1, 9604=1, 9611=1, 9612=1, 10030=1, 10031=1, 10032=1, 10042=1, 10043=1, 10044=1, 10045=1, 10046=1, 10054=1, 10055=1, 10056=1, 10057=1, 10058=1, 10064=1, 10065=1, 10066=1, 10069=1, 10070=1, 10071=1, 10072=1, 10073=1, 10076=1, 10077=1, 10078=1, 10079=1, 10080=1, 10083=1, 10084=1, 10085=1, 10086=1, 10087=1, 10089=1, 10090=1, 10091=1, 10093=1, 10103=1, 10550=1, 10551=1, 10552=1, 10564=1, 10565=1, 10566=1, 10567=1, 10568=1, 10578=1, 10579=1, 10580=1, 10581=1, 10582=1, 10590=1, 10591=1, 10592=1, 10593=1, 10594=1, 10600=1, 10601=1, 10602=1, 10603=1, 10607=1, 10608=1, 10609=1, 10610=1, 10611=1, 10614=1, 10615=1, 10616=1, 10617=1, 10618=1, 10621=1, 10622=1, 10630=1, 10631=1, 11114=1, 11115=1, 11116=1, 11130=1, 11131=1, 11132=1, 11133=1, 11134=1, 11145=1, 11146=1, 11147=1, 11148=1, 11149=1, 11159=1, 11160=1, 11161=1, 11162=1, 11170=1, 11171=1, 11172=1, 11173=1, 11174=1, 11180=1, 11181=1, 11182=1, 11186=1, 11187=1, 11188=1, 11189=1, 11190=1, 11193=1, 11194=1, 11195=1, 11197=1, 11205=1, 11206=1, 11739=1, 11740=1, 11741=1, 11757=1, 11758=1, 11759=1, 11760=1, 11761=1, 11775=1, 11776=1, 11777=1, 11778=1, 11779=1, 11791=1, 11792=1, 11793=1, 11794=1, 11804=1, 11805=1, 11806=1, 11813=1, 11814=1, 11815=1, 11820=1, 11821=1, 11822=1, 11823=1, 11827=1, 11828=1, 11829=1, 11830=1, 11831=1, 11832=1, 11833=1, 11837=1, 11838=1, 11840=1, 11841=1, 11842=1, 12590=1, 12591=1, 12592=1, 12593=1, 12594=1, 12595=1, 12596=1, 12597=1, 12598=1, 12599=1, 12600=1, 12601=1, 12602=1, 12603=1, 12604=1, 12605=1, 12606=1, 12607=1, 12608=1, 12609=1, 12610=1, 12611=1, 12612=1, 12613=1, 12614=1, 12615=1}
Probabilistic random walk after 3690 steps, saw 1782 distinct states, run finished after 3005 ms. (steps per millisecond=1 ) properties seen :1277
Running SMT prover for 11340 properties.
[2022-05-17 01:30:15] [INFO ] Flow matrix only has 20751 transitions (discarded 1056 similar events)
// Phase 1: matrix 20751 rows 13544 cols
[2022-05-17 01:30:17] [INFO ] Computed 1333 place invariants in 1768 ms
[2022-05-17 01:30:42] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-17 01:30:42] [INFO ] After 25077ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 11340 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 3 ms.
Support contains 11340 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.58 ms
Discarding 40 places :
Also discarding 0 output transitions
Drop transitions removed 241 transitions
Trivial Post-agglo rules discarded 241 transitions
Performed 241 trivial Post agglomeration. Transition count delta: 241
Iterating post reduction 0 with 241 rules applied. Total rules applied 242 place count 13504 transition count 21566
Reduce places removed 241 places and 0 transitions.
Performed 68 Post agglomeration using F-continuation condition.Transition count delta: 68
Iterating post reduction 1 with 309 rules applied. Total rules applied 551 place count 13263 transition count 21498
Reduce places removed 68 places and 0 transitions.
Iterating post reduction 2 with 68 rules applied. Total rules applied 619 place count 13195 transition count 21498
Performed 50 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 50 Pre rules applied. Total rules applied 619 place count 13195 transition count 21448
Deduced a syphon composed of 50 places in 20 ms
Reduce places removed 50 places and 0 transitions.
Iterating global reduction 3 with 100 rules applied. Total rules applied 719 place count 13145 transition count 21448
Discarding 204 places :
Symmetric choice reduction at 3 with 204 rule applications. Total rules 923 place count 12941 transition count 21244
Iterating global reduction 3 with 204 rules applied. Total rules applied 1127 place count 12941 transition count 21244
Free-agglomeration rule (complex) applied 239 times.
Iterating global reduction 3 with 239 rules applied. Total rules applied 1366 place count 12941 transition count 21005
Reduce places removed 239 places and 0 transitions.
Iterating post reduction 3 with 239 rules applied. Total rules applied 1605 place count 12702 transition count 21005
Partial Free-agglomeration rule applied 37 times.
Drop transitions removed 37 transitions
Iterating global reduction 4 with 37 rules applied. Total rules applied 1642 place count 12702 transition count 21005
Applied a total of 1642 rules in 1780 ms. Remains 12702 /13544 variables (removed 842) and now considering 21005/21807 (removed 802) transitions.
Finished structural reductions, in 1 iterations. Remains : 12702/13544 places, 21005/21807 transitions.
Interrupted random walk after 180002 steps, including 9076 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 5199
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 6141) 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 6137) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 6128) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 6126) 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 6123) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 6122) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 6118) seen :5
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 6113) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 6107) 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 6104) 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 6103) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 6094) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 6090) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 6087) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 6085) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 6084) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 6082) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 6076) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 6075) 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 6073) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 6071) 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 6068) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 6067) 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 6063) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 6055) 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 6049) 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 6048) 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 6048) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 6043) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 6036) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 6035) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 6030) 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 6028) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 6025) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 6024) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 6019) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 6016) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 6014) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 6009) 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 6008) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 6005) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 6004) 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 6002) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 6002) 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 5996) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 5995) 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 5995) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 5994) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5993) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5992) 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 5989) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5985) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 5983) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 5981) 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 5976) 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 5974) 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 5971) 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 5969) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5964) seen :3
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5961) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 5958) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5958) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 5953) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5949) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5943) 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 5942) 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 5939) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 5934) 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 5931) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5929) 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 5925) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 5925) 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 5925) 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 5923) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5922) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5921) 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 5919) 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 5916) 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 5916) 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 5913) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5910) 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 5905) 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 5904) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5903) 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 5900) 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 5899) 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 5899) 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 5898) 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 5896) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5893) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5890) 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 5883) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5883) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5879) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5872) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 5867) 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 5867) 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 5864) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5863) 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 5862) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5862) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5860) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 5860) 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 5860) 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 5859) 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 5859) 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 5856) 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 5856) 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 5854) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5851) 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 5850) 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 5846) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5844) 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 5844) 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 5843) 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 5839) 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 5835) 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 5835) 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 5834) 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 5834) 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 5831) 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 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 73 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 81 ms. (steps per millisecond=12 ) properties (out of 5825) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5824) 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 5821) 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 5818) 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 5814) 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 5813) 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 5808) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5808) 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 5806) 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 5806) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5806) 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 5803) 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 5801) 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 5799) 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 5798) 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 5797) 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 5797) 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 5796) 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 5795) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5794) 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 5793) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 5792) 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 5791) 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 5788) 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 5785) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 5784) 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 5784) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5783) 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 5779) 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 5778) 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 5778) 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 5774) 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 5773) 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 5771) 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 5770) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5761) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5760) 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 5759) 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 5758) 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 5757) 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 5756) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5755) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5755) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5755) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5755) 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 5754) 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 5752) 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 5752) 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 5752) 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 5752) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5752) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5752) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 5750) 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 5749) 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 5749) 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 5747) 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 5746) 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 5745) 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 5745) 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 5743) 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 5742) 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 5741) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5741) 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 5740) 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 5739) 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 5737) 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 5736) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5736) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5734) 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 5734) 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 5732) 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 5732) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5730) 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 5729) 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 5727) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5726) 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 5725) 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 5723) 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 5720) 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 5719) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5718) 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 5717) 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 5717) 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 5717) 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 5717) 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 5717) 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 5716) 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 5715) 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 5713) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5713) 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 5713) 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 5713) 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 5713) 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 5713) 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 5713) 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 5712) 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 5711) 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 5709) 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 5708) 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 5708) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 5708) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5707) 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 5705) 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 5704) 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 5702) 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 5700) 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 5699) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 5697) 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 5696) 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 5696) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5696) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 5695) 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 5695) 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 5695) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5695) 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 5694) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5694) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5693) 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 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5692) 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 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5692) 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 5692) 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 5692) 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 5691) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 5687) 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 5687) 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 5687) 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 5687) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5687) 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 5687) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5686) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5684) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5684) 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 5684) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5684) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5683) 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 5682) 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 5682) 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 5682) 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 5682) 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 5682) 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 5681) 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 5681) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5681) 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 5680) 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 5680) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5680) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5680) 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 5678) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) 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 :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 5676) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5675) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5675) 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 5672) 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 5671) 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 5671) 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 5671) 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 5671) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5670) 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 5670) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5669) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5668) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5667) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5666) 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 5665) 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 5665) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5664) 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 5664) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 5663) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5663) 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 5663) 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 5663) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5662) 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 5662) 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 5662) 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 5660) 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 5660) 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 5658) 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 5655) 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 5655) 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 5654) 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 5654) 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 5652) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5652) 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 5652) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5652) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5651) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5651) 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 5651) 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 5651) 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 5650) 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 5650) 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 5650) 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 5650) 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 5650) 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 5650) 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 5650) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5650) 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 5650) 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 5649) 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 5649) 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 5648) 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 5648) 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 5648) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 5648) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5646) 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 5645) 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 5644) 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 5644) 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 5644) 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 5644) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5643) 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 5642) 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 5642) 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 5641) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 5640) 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 5640) 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 5640) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5640) 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 5638) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5638) 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 5638) 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 5638) 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 5638) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5637) 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 5636) 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 5636) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5636) 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 5636) 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 5636) 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 5636) 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 5636) 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 5636) 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 5635) 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 5635) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5635) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5635) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 5633) 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 5633) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5633) 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 5630) 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 5630) 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 5630) 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 5630) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5630) 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 5630) 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 5630) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5629) 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 5629) 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 5628) 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 5627) 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 5627) 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 5627) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5627) 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 5627) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5626) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5626) 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 5626) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5626) 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 5626) 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 5626) 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 5626) 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 5626) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5626) 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 5626) 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 5626) 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 5625) 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 5625) 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 5625) 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 5625) 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 5625) 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 5624) 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 5624) 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 5624) 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 5624) 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 5621) 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 5620) 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 5620) 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 5620) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5619) 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 5619) 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 5619) 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 5616) 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 5616) 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 5616) 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 5616) 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 5614) 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 5613) 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 5613) 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 5613) 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 5611) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5611) 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 5611) 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 5611) 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 5611) 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 5611) 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 5611) 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 5611) 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 5610) 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 5610) 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 5610) 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 5610) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 5610) 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 5609) 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 5609) 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 5609) 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 5609) 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 5609) 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 5609) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 5609) 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 5609) 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 5609) 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 5609) 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 5609) 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 5608) 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 5607) 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 5607) 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 5606) 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 5606) 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 5605) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5605) 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 5605) 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 5605) 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 5605) 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 5604) 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 5604) 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 5604) 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 5604) 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 5603) 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 5603) 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 5602) 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 5602) 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 5601) 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 5600) 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 5599) 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 5599) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 5598) 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 5598) 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 5596) 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 5596) 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 5596) 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 5596) 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 5596) 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 5596) 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 5596) 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 5596) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5596) 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 5596) 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 5596) 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 5596) 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 5596) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 5596) 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 5595) 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 5595) 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 5595) 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 5595) 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 5595) 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 5595) 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 5595) 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 5594) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5594) 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 5592) 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 5592) 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 5591) 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 5591) 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 5591) 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 5590) 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 5590) 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 5590) 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 5589) 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 5589) 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 5589) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) 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 :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5586) 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 5586) 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 5586) 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 5586) 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 5586) 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 5586) 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 5586) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 5585) 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 5585) 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 5585) 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 5585) 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 5585) 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 5585) 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 5584) 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 5584) 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 5583) 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 5583) 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 5583) 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 5582) 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 5582) 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 5581) 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 5581) 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 5581) 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 5579) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 5577) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5577) 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 5575) 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 5575) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5575) 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 5575) 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 5575) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 5575) 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 5575) 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 5575) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 5573) 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 5573) 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 5573) 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 5573) 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 5571) 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 5570) 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 5570) 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 5570) 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 5570) 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 5570) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5570) 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 5569) 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 5568) 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 5568) 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 5568) 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 5568) 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 5568) 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 5567) 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 5567) 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 5567) 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 5567) 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 5567) 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 5567) 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 5567) 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 5567) 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 5567) 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 5567) 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 5567) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 5565) 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 5565) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 5565) 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 5564) 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 5564) 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 5563) 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 5563) 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 5563) 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 5563) 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 5562) 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 5562) 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 5562) 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 5562) 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 5562) 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 5562) 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 5562) 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 5562) 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 5562) 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 5562) 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 5562) 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 5562) 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 5562) 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 5560) 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 5560) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 5560) 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 5560) 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 5560) 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 5560) 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 5560) 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 5560) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5560) 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 5560) 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 5560) 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 5560) 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 5559) 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 5559) 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 5558) 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 5557) 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 5556) 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 5556) 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 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 77 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 79 ms. (steps per millisecond=12 ) 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 79 ms. (steps per millisecond=12 ) properties (out of 5556) 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 5556) 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 5556) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5556) 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 5555) 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 5555) 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 5553) 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 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 :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 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 81 ms. (steps per millisecond=12 ) properties (out of 5552) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 5552) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5551) 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 5551) 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 5551) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5550) 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 5547) 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 5547) 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 5547) 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 5547) 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 5547) 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 5547) 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 5547) 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 5547) 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 5547) 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 5545) 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 5544) 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 5544) 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 5544) 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 5544) 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 5544) 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 5544) 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 5544) 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 5544) 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 5544) 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 5544) 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 5544) 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 5543) 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 5543) 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 5543) 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 5542) 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 5541) 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 5540) 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 5540) 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 5539) 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 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 :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5537) 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 5537) 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 5537) 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 5537) 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 5536) 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 5536) 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 5536) 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 5535) 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 5535) 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 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 77 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 78 ms. (steps per millisecond=12 ) properties (out of 5533) 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 5533) 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 5533) 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 5533) 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 5533) 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 5533) 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 5533) 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 5533) 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 5533) 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 5533) 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 5530) 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 5530) 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 5530) 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 5529) 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 5529) 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 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 77 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 77 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 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 83 ms. (steps per millisecond=12 ) properties (out of 5529) 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 5529) 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 5528) 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 5527) 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 5527) 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 5526) 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 5526) 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 5526) 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 5526) 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 5526) 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 5526) 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 5526) 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 5525) 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 5525) 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 5525) 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 5524) 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 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 74 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 76 ms. (steps per millisecond=13 ) properties (out of 5523) 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 5522) 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 5522) 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 5522) 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 5522) 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 5522) 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 5522) 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 5522) 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 5522) 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 5522) 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 5522) 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 5521) 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 5521) 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 5521) 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 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 78 ms. (steps per millisecond=12 ) properties (out of 5521) 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 5521) 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 5521) 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 5521) 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 5521) 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 5521) 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 5521) 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 5521) 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 5521) 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 5521) 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 5521) 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 5521) 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 5521) 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 5520) 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 5520) 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 5520) 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 5520) 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 5520) 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 5520) 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 5520) 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 5519) 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 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 79 ms. (steps per millisecond=12 ) properties (out of 5519) 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 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 75 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 82 ms. (steps per millisecond=12 ) properties (out of 5519) 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 5519) 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 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 75 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 :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 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 79 ms. (steps per millisecond=12 ) properties (out of 5519) 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 5518) 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 5518) 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 5518) 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 5518) 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 5517) 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 5517) 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 5517) 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 5517) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5517) 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 5517) 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 5517) 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 5517) 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 5517) 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 5517) 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 5517) 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 5517) 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 5517) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5516) 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 5516) 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 5514) 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 5514) 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 5514) 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 5514) 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 5514) 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 5514) 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 5514) 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 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 77 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 71 ms. (steps per millisecond=14 ) properties (out of 5514) 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 5514) 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 5514) 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 5513) 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 5513) 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 5513) 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 5513) 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 5513) 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 5513) 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 5513) 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 5513) 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 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 75 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 76 ms. (steps per millisecond=13 ) properties (out of 5512) 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 5509) 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 5509) 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 5509) 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 5509) 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 5509) 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 5509) 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 5509) 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 5509) 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 5509) 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 5509) 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 5509) 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 5509) 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 5509) 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 5509) 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 5509) 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 5509) 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 5509) 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 5509) 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 5508) 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 5508) 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 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 77 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 80 ms. (steps per millisecond=12 ) properties (out of 5508) 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 5508) 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 5508) 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 5508) 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 5508) 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 5508) 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 5508) 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 5508) 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 5508) 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 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 86 ms. (steps per millisecond=11 ) properties (out of 5507) 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 5507) 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 5507) 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 5507) 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 5505) 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 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 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 81 ms. (steps per millisecond=12 ) 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 79 ms. (steps per millisecond=12 ) properties (out of 5505) 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 5505) 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 5505) 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 5504) 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 5504) 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 5504) 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 5504) 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 5504) 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 5504) 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 5504) 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 5504) 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 5504) 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 5504) 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 5504) 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 5503) 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 5503) 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 5503) 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 5503) 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 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 5503) 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 5503) 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 5503) 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 5503) 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 5503) 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 5503) 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 5503) 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 5503) 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 5503) 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 5503) 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 5502) 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 5502) 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 5502) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5499) 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 5499) 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 5499) 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 5499) 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 5499) 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 5499) 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 5499) 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 5499) 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 5499) 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 5499) 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 5499) 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 5499) 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 5499) 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 5499) 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 5499) 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 5499) 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 5499) 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 5499) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 5499) 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 5499) 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 5499) 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 5499) 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 5499) 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 5499) 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 5498) 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 5498) 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 5498) 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 5498) 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 5498) 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 5498) 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 5498) 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 5498) 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 5498) 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 5498) 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 5498) 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 5498) 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 5498) 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 5498) 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 5498) 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 5498) 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 5497) 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 5497) 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 5497) 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 5497) 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 5497) 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 5497) 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 5497) 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 5497) 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 5497) 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 5497) 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 5497) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 5497) 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 5497) 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 5497) 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 5497) 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 5497) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5497) 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 5497) 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 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 5497) 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 5497) 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 5497) 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 5497) 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 5497) 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 5497) 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 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5497) 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 5497) 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 5497) 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 5497) 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 5497) 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 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 5497) 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 5497) 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 5497) 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 5497) 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 5496) 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 5496) 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 5496) 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 5495) 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 5495) 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 5495) 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 5494) 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 5494) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5494) 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 5494) 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 5494) 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 5493) 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 5493) 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 5493) 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 5493) 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 5493) 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 5493) 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 5493) 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 5493) 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 5493) 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 5491) 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 5491) 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 5491) 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 5491) 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 5490) 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 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 78 ms. (steps per millisecond=12 ) properties (out of 5490) 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 5489) 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 5489) 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 5489) 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 5489) 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 5489) 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 5489) 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 5489) 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 5489) 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 5489) 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 5489) 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 5489) 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 5489) 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 5489) 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 5489) 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 5489) 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 5489) 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 5489) 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 5489) 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 5489) 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 5489) 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 5489) 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 5489) 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 5489) 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 5489) 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 5489) 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 5488) 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 5488) 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 5488) 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 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 80 ms. (steps per millisecond=12 ) properties (out of 5488) 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 5488) 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 5488) 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 5488) 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 5488) 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 5486) 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 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 :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 5486) 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 5486) 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 5485) 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 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 79 ms. (steps per millisecond=12 ) properties (out of 5485) 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 5485) 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 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 :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 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 77 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 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 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 75 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 81 ms. (steps per millisecond=12 ) properties (out of 5485) 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 5485) 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 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 :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 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 79 ms. (steps per millisecond=12 ) properties (out of 5485) 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 5483) 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 5483) 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 5483) 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 5483) 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 5483) 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 5483) 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 5483) 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 5482) 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 5482) 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 5482) 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 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 77 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 77 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 80 ms. (steps per millisecond=12 ) properties (out of 5482) 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 5482) 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 5482) 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 5482) 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 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 1001 steps, including 6 resets, run finished after 75 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 78 ms. (steps per millisecond=12 ) properties (out of 5482) 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 5482) 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 5481) 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 5481) 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 5481) 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 5481) 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 5481) 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 5481) 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 5481) 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 5481) 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 5481) 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 5481) 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 5481) 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 5478) 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 5478) 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 5478) 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 5478) 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 5478) 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 5478) 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 5478) 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 5478) 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 5477) 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 5477) 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 5477) 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 5477) 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 5477) 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 5477) 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 5477) 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 5477) 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 5477) 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 5477) 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 5477) 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 5477) 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 5477) 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 5477) 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 5477) 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 5477) 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 5477) 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 5477) 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 5477) 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 5477) 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 5477) 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 5477) 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 5477) 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 5477) 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 5477) 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 5477) 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 5477) 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 5477) 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 5477) 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 5477) 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 5476) 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 5476) 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 5476) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 5476) 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 5476) 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 5476) 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 5476) 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 5476) 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 5476) 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 5476) 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 5476) 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 5476) 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 5476) 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 5475) 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 5475) 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 5475) 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 5475) 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 5475) 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 5475) 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 5475) 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 5475) 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 5475) 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 5475) 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 5475) 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 5475) 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 5475) 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 5474) 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 5474) 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 5474) 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 5474) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5474) 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 5474) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5474) 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 5474) 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 5474) 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 5474) 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 5474) 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 5474) 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 5474) 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 5474) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 5474) 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 5474) 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 5474) 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 5474) 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 5474) 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 5474) 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 5474) 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 5474) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5474) 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 5474) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5473) 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 5473) 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 5473) 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 5473) 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 5473) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 5473) 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 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5473) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5473) 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 5472) 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 5472) 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 5472) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5471) 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 5471) 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 5471) 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 5471) 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 5471) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) 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 5471) seen :0
Running SMT prover for 5471 properties.
[2022-05-17 01:32:54] [INFO ] Flow matrix only has 19949 transitions (discarded 1056 similar events)
// Phase 1: matrix 19949 rows 12702 cols
[2022-05-17 01:32:55] [INFO ] Computed 1293 place invariants in 1399 ms
[2022-05-17 01:36:51] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-17 01:36:51] [INFO ] After 225103ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5471 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 5471 out of 12702 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 12702/12702 places, 21005/21005 transitions.
Drop transitions removed 1793 transitions
Trivial Post-agglo rules discarded 1793 transitions
Performed 1793 trivial Post agglomeration. Transition count delta: 1793
Iterating post reduction 0 with 1793 rules applied. Total rules applied 1793 place count 12702 transition count 19212
Reduce places removed 1793 places and 0 transitions.
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 1 with 1796 rules applied. Total rules applied 3589 place count 10909 transition count 19209
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 3592 place count 10906 transition count 19209
Performed 82 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 82 Pre rules applied. Total rules applied 3592 place count 10906 transition count 19127
Deduced a syphon composed of 82 places in 15 ms
Reduce places removed 82 places and 0 transitions.
Iterating global reduction 3 with 164 rules applied. Total rules applied 3756 place count 10824 transition count 19127
Discarding 1729 places :
Symmetric choice reduction at 3 with 1729 rule applications. Total rules 5485 place count 9095 transition count 17398
Iterating global reduction 3 with 1729 rules applied. Total rules applied 7214 place count 9095 transition count 17398
Discarding 738 places :
Symmetric choice reduction at 3 with 738 rule applications. Total rules 7952 place count 8357 transition count 15922
Iterating global reduction 3 with 738 rules applied. Total rules applied 8690 place count 8357 transition count 15922
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 13 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 8694 place count 8355 transition count 15920
Free-agglomeration rule (complex) applied 114 times.
Iterating global reduction 3 with 114 rules applied. Total rules applied 8808 place count 8355 transition count 16544
Reduce places removed 114 places and 0 transitions.
Iterating post reduction 3 with 114 rules applied. Total rules applied 8922 place count 8241 transition count 16544
Discarding 5 places :
Symmetric choice reduction at 4 with 5 rule applications. Total rules 8927 place count 8236 transition count 16539
Iterating global reduction 4 with 5 rules applied. Total rules applied 8932 place count 8236 transition count 16539
Partial Free-agglomeration rule applied 66 times.
Drop transitions removed 66 transitions
Iterating global reduction 4 with 66 rules applied. Total rules applied 8998 place count 8236 transition count 16539
Discarding 32 places :
Symmetric choice reduction at 4 with 32 rule applications. Total rules 9030 place count 8204 transition count 16507
Iterating global reduction 4 with 32 rules applied. Total rules applied 9062 place count 8204 transition count 16507
Applied a total of 9062 rules in 4590 ms. Remains 8204 /12702 variables (removed 4498) and now considering 16507/21005 (removed 4498) transitions.
Finished structural reductions, in 1 iterations. Remains : 8204/12702 places, 16507/21005 transitions.
Interrupted random walk after 58696 steps, including 4489 resets, run timeout after 30001 ms. (steps per millisecond=1 ) properties seen 17
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5454) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5454) 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 5454) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5454) 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 5454) 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 5454) 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 5454) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5454) 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 5454) 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 5454) 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 5454) 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 5454) 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 5454) 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 5454) 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 5454) 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 5454) 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 5454) 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 5454) 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 5454) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5454) 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 5454) 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 5454) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5454) 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 5454) 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 5454) 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 5454) 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 5454) 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 5454) 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 5454) 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 5454) 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 5454) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5454) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5454) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5454) 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 5454) 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 5454) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5454) 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 5454) 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 5454) 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 5454) 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 5454) 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 5454) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5454) 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 5454) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5454) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5454) 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 5454) 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 5454) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5454) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5454) seen :0
Interrupted probabilistic random walk after 196610 steps, run timeout after 96001 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 196610 steps, saw 87166 distinct states, run finished after 96006 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 5454 properties.
[2022-05-17 01:39:04] [INFO ] Flow matrix only has 15418 transitions (discarded 1089 similar events)
// Phase 1: matrix 15418 rows 8204 cols
[2022-05-17 01:39:05] [INFO ] Computed 1293 place invariants in 754 ms
[2022-05-17 01:42:59] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-17 01:42:59] [INFO ] After 225028ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5454 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 5454 out of 8204 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 8204/8204 places, 16507/16507 transitions.
Drop transitions removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 0 with 7 rules applied. Total rules applied 7 place count 8204 transition count 16500
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 1 with 7 rules applied. Total rules applied 14 place count 8197 transition count 16500
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 15 place count 8196 transition count 16499
Iterating global reduction 2 with 1 rules applied. Total rules applied 16 place count 8196 transition count 16499
Free-agglomeration rule (complex) applied 8 times.
Iterating global reduction 2 with 8 rules applied. Total rules applied 24 place count 8196 transition count 16491
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 32 place count 8188 transition count 16491
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 41 place count 8179 transition count 16482
Iterating global reduction 3 with 9 rules applied. Total rules applied 50 place count 8179 transition count 16482
Applied a total of 50 rules in 1905 ms. Remains 8179 /8204 variables (removed 25) and now considering 16482/16507 (removed 25) transitions.
Finished structural reductions, in 1 iterations. Remains : 8179/8204 places, 16482/16507 transitions.
Interrupted random walk after 73631 steps, including 5638 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 5447) 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 5447) 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 5447) 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 5447) 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 5447) 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 5447) 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 5447) 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 5447) 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 5447) seen :1
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 5446) 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 5446) 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 5446) 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 5446) 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 5446) 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 5446) 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 5446) 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 5446) 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 5446) 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 5446) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5446) 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 5446) 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 5446) 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 5446) 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 5446) 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 5446) 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 5446) 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 5446) 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 5446) seen :1
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) 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 5445) seen :0
Interrupted probabilistic random walk after 207816 steps, run timeout after 99001 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 207816 steps, saw 91997 distinct states, run finished after 99002 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 5445 properties.
[2022-05-17 01:45:13] [INFO ] Flow matrix only has 15387 transitions (discarded 1095 similar events)
// Phase 1: matrix 15387 rows 8179 cols
[2022-05-17 01:45:14] [INFO ] Computed 1293 place invariants in 786 ms
[2022-05-17 01:49:07] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-17 01:49:07] [INFO ] After 225041ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5445 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 5445 out of 8179 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 8179/8179 places, 16482/16482 transitions.
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 8179 transition count 16480
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 4 place count 8177 transition count 16480
Applied a total of 4 rules in 1549 ms. Remains 8177 /8179 variables (removed 2) and now considering 16480/16482 (removed 2) transitions.
Finished structural reductions, in 1 iterations. Remains : 8177/8179 places, 16480/16482 transitions.
Interrupted random walk after 62486 steps, including 4782 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 54 ms. (steps per millisecond=18 ) properties (out of 5440) 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 5440) 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 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5440) 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 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5440) 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 5440) 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 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5440) 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 5440) 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 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5440) 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 5440) 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 5440) 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 5440) 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 5440) 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 5440) 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 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5440) 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 5440) 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 5440) 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 5440) 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 5440) 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 5440) 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 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5440) 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 5440) 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 5440) 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 5440) 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 5440) 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 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5440) 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 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5440) 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 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5440) 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 5440) 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 5440) 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 5440) 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 5440) 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 5440) 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 5440) 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 5440) 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 5440) 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 5440) 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 5440) seen :0
Interrupted probabilistic random walk after 195729 steps, run timeout after 96001 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 195729 steps, saw 86764 distinct states, run finished after 96003 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 5440 properties.
[2022-05-17 01:51:17] [INFO ] Flow matrix only has 15383 transitions (discarded 1097 similar events)
// Phase 1: matrix 15383 rows 8177 cols
[2022-05-17 01:51:18] [INFO ] Computed 1293 place invariants in 770 ms
[2022-05-17 01:55:11] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2022-05-17 01:55:11] [INFO ] After 225042ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5440 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 5440 out of 8177 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 8177/8177 places, 16480/16480 transitions.
Free-agglomeration rule (complex) applied 2 times.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 8177 transition count 16478
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 4 place count 8175 transition count 16478
Applied a total of 4 rules in 1453 ms. Remains 8175 /8177 variables (removed 2) and now considering 16478/16480 (removed 2) transitions.
Finished structural reductions, in 1 iterations. Remains : 8175/8177 places, 16478/16480 transitions.
Interrupted random walk after 55143 steps, including 4219 resets, run timeout after 30001 ms. (steps per millisecond=1 ) properties seen 5
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5435) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5435) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5435) 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 5435) 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 5435) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5435) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5435) 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 5435) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5435) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) 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 5435) seen :0
Interrupted probabilistic random walk after 208762 steps, run timeout after 96018 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 208762 steps, saw 92428 distinct states, run finished after 96019 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 5435 properties.
[2022-05-17 01:57:21] [INFO ] Flow matrix only has 15379 transitions (discarded 1099 similar events)
// Phase 1: matrix 15379 rows 8175 cols
[2022-05-17 01:57:22] [INFO ] Computed 1293 place invariants in 713 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//
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
++ perl -pe 's/.*\.//g'
+ 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="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is MultiCrashLeafsetExtension-PT-S32C02, examination is 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 r139-tall-165271828100498"
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 ;