Execution Chart

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

Trace from the execution

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

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

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME StableMarking

=== Now, execution of the tool begins

BK_START 1716631929109

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=gold2023
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C02
Not applying reductions.
Model is PT
StableMarking PT
Running Version 202304061127
[2024-05-25 10:12:10] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2024-05-25 10:12:10] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-25 10:12:11] [INFO ] Load time of PNML (sax parser for PT used): 608 ms
[2024-05-25 10:12:11] [INFO ] Transformed 13544 places.
[2024-05-25 10:12:11] [INFO ] Transformed 21807 transitions.
[2024-05-25 10:12:11] [INFO ] Parsed PT model containing 13544 places and 21807 transitions and 93598 arcs in 760 ms.
Incomplete random walk after 10000 steps, including 471 resets, run finished after 1667 ms. (steps per millisecond=5 ) properties (out of 13544) seen :1024
[2024-05-25 10:12:13] [INFO ] Flatten gal took : 1411 ms
[2024-05-25 10:12:14] [INFO ] Flatten gal took : 957 ms
[2024-05-25 10:12:15] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8877003527083889623.gal : 232 ms
[2024-05-25 10:12:15] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15367610359508743765.prop : 39 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202304061127/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality8877003527083889623.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality15367610359508743765.prop' '--nowitness' '--gen-order' 'FOLLOW'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202304061127/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
Interrupted probabilistic random walk after 3484 steps, run timeout after 3001 ms. (steps per millisecond=1 ) properties seen :{1=1, 570=1, 572=1, 592=1, 593=1, 594=1, 608=1, 609=1, 610=1, 611=1, 612=1, 625=1, 626=1, 627=1, 628=1, 629=1, 641=1, 642=1, 643=1, 644=1, 645=1, 654=1, 655=1, 656=1, 657=1, 664=1, 665=1, 666=1, 667=1, 668=1, 674=1, 675=1, 676=1, 677=1, 678=1, 681=1, 682=1, 683=1, 685=1, 693=1, 1220=1, 1222=1, 1240=1, 1241=1, 1242=1, 1256=1, 1257=1, 1258=1, 1259=1, 1260=1, 1271=1, 1272=1, 1273=1, 1274=1, 1275=1, 1285=1, 1286=1, 1287=1, 1295=1, 1296=1, 1297=1, 1298=1, 1299=1, 1305=1, 1306=1, 1307=1, 1309=1, 1310=1, 1311=1, 1312=1, 1315=1, 1316=1, 1317=1, 1319=1, 1328=1, 1330=1, 1827=1, 1828=1, 1829=1, 1841=1, 1842=1, 1843=1, 1844=1, 1845=1, 1854=1, 1855=1, 1863=1, 1864=1, 1865=1, 1866=1, 1867=1, 1872=1, 1873=1, 1874=1, 1875=1, 1876=1, 1880=1, 1881=1, 1882=1, 1883=1, 1884=1, 1887=1, 1888=1, 1889=1, 1890=1, 1891=1, 1894=1, 1895=1, 1896=1, 1898=1, 1904=1, 2342=1, 2344=1, 2358=1, 2359=1, 2360=1, 2370=1, 2371=1, 2372=1, 2373=1, 2381=1, 2382=1, 2383=1, 2384=1, 2385=1, 2390=1, 2391=1, 2392=1, 2393=1, 2394=1, 2398=1, 2399=1, 2400=1, 2401=1, 2402=1, 2405=1, 2406=1, 2407=1, 2408=1, 2409=1, 2412=1, 2413=1, 2414=1, 2415=1, 2416=1, 2419=1, 2420=1, 2421=1, 2423=1, 2429=1, 2832=1, 2834=1, 2846=1, 2847=1, 2848=1, 2856=1, 2857=1, 2858=1, 2859=1, 2860=1, 2866=1, 2867=1, 2868=1, 2869=1, 2870=1, 2874=1, 2875=1, 2876=1, 2877=1, 2878=1, 2880=1, 2881=1, 2882=1, 2883=1, 2884=1, 2887=1, 2888=1, 2889=1, 2892=1, 2893=1, 2894=1, 2895=1, 2896=1, 2899=1, 2900=1, 2901=1, 2903=1, 2909=1, 2911=1, 3274=1, 3276=1, 3286=1, 3287=1, 3288=1, 3294=1, 3295=1, 3296=1, 3297=1, 3301=1, 3302=1, 3303=1, 3304=1, 3305=1, 3308=1, 3309=1, 3310=1, 3311=1, 3312=1, 3315=1, 3316=1, 3317=1, 3318=1, 3319=1, 3322=1, 3323=1, 3324=1, 3325=1, 3328=1, 3329=1, 3330=1, 3331=1, 3332=1, 3335=1, 3336=1, 3337=1, 3339=1, 3347=1, 3671=1, 3673=1, 3681=1, 3682=1, 3683=1, 3687=1, 3688=1, 3689=1, 3690=1, 3691=1, 3693=1, 3694=1, 3695=1, 3696=1, 3697=1, 3700=1, 3701=1, 3702=1, 3703=1, 3704=1, 3707=1, 3708=1, 3709=1, 3710=1, 3713=1, 3714=1, 3715=1, 3716=1, 3717=1, 3720=1, 3721=1, 3722=1, 3723=1, 3724=1, 3726=1, 3727=1, 3728=1, 3730=1, 3737=1, 3738=1, 3740=1, 4034=1, 4036=1, 4042=1, 4043=1, 4044=1, 4047=1, 4048=1, 4049=1, 4050=1, 4051=1, 4054=1, 4055=1, 4056=1, 4057=1, 4058=1, 4061=1, 4062=1, 4063=1, 4064=1, 4065=1, 4068=1, 4069=1, 4070=1, 4071=1, 4074=1, 4075=1, 4076=1, 4077=1, 4078=1, 4080=1, 4081=1, 4082=1, 4083=1, 4086=1, 4087=1, 4088=1, 4090=1, 4098=1, 4100=1, 4362=1, 4364=1, 4369=1, 4370=1, 4371=1, 4374=1, 4375=1, 4376=1, 4377=1, 4378=1, 4381=1, 4382=1, 4383=1, 4384=1, 4385=1, 4388=1, 4389=1, 4390=1, 4391=1, 4392=1, 4395=1, 4396=1, 4397=1, 4398=1, 4399=1, 4402=1, 4403=1, 4404=1, 4405=1, 4406=1, 4408=1, 4409=1, 4412=1, 4413=1, 4414=1, 4416=1, 4425=1, 4426=1, 4658=1, 4659=1, 4663=1, 4664=1, 4665=1, 4668=1, 4669=1, 4670=1, 4671=1, 4672=1, 4675=1, 4676=1, 4677=1, 4680=1, 4681=1, 4682=1, 4683=1, 4684=1, 4687=1, 4688=1, 4689=1, 4690=1, 4691=1, 4694=1, 4695=1, 4696=1, 4699=1, 4700=1, 4703=1, 4704=1, 4705=1, 4706=1, 4714=1, 4715=1, 4717=1, 4922=1, 4924=1, 4928=1, 4929=1, 4930=1, 4933=1, 4934=1, 4935=1, 4936=1, 4937=1, 4939=1, 4940=1, 4941=1, 4942=1, 4943=1, 4946=1, 4947=1, 4948=1, 4949=1, 4950=1, 4952=1, 4953=1, 4954=1, 4955=1, 4956=1, 4958=1, 4959=1, 4962=1, 4963=1, 4964=1, 4965=1, 4968=1, 4969=1, 4970=1, 4972=1, 4977=1, 5163=1, 5165=1, 5170=1, 5171=1, 5172=1, 5175=1, 5176=1, 5177=1, 5178=1, 5179=1, 5182=1, 5183=1, 5184=1, 5185=1, 5188=1, 5189=1, 5190=1, 5191=1, 5192=1, 5195=1, 5196=1, 5197=1, 5198=1, 5201=1, 5202=1, 5203=1, 5204=1, 5205=1, 5208=1, 5209=1, 5210=1, 5211=1, 5212=1, 5215=1, 5216=1, 5217=1, 5219=1, 5224=1, 5403=1, 5405=1, 5409=1, 5410=1, 5411=1, 5414=1, 5415=1, 5416=1, 5417=1, 5418=1, 5420=1, 5421=1, 5422=1, 5423=1, 5424=1, 5427=1, 5428=1, 5429=1, 5430=1, 5431=1, 5434=1, 5435=1, 5436=1, 5437=1, 5438=1, 5441=1, 5442=1, 5443=1, 5444=1, 5447=1, 5448=1, 5449=1, 5450=1, 5451=1, 5453=1, 5454=1, 5455=1, 5457=1, 5465=1, 5466=1, 5629=1, 5630=1, 5635=1, 5636=1, 5637=1, 5639=1, 5640=1, 5641=1, 5642=1, 5643=1, 5646=1, 5647=1, 5648=1, 5649=1, 5650=1, 5653=1, 5654=1, 5655=1, 5656=1, 5657=1, 5660=1, 5661=1, 5662=1, 5663=1, 5664=1, 5667=1, 5668=1, 5669=1, 5670=1, 5671=1, 5673=1, 5674=1, 5675=1, 5676=1, 5679=1, 5680=1, 5688=1, 5690=1, 5850=1, 5852=1, 5857=1, 5858=1, 5859=1, 5862=1, 5863=1, 5864=1, 5865=1, 5868=1, 5869=1, 5870=1, 5871=1, 5872=1, 5875=1, 5876=1, 5877=1, 5878=1, 5879=1, 5882=1, 5883=1, 5884=1, 5885=1, 5886=1, 5889=1, 5890=1, 5891=1, 5892=1, 5893=1, 5896=1, 5897=1, 5898=1, 5899=1, 5900=1, 5903=1, 5904=1, 5905=1, 5907=1, 5915=1, 5916=1, 6064=1, 6066=1, 6071=1, 6072=1, 6075=1, 6076=1, 6077=1, 6078=1, 6079=1, 6082=1, 6083=1, 6084=1, 6085=1, 6086=1, 6088=1, 6089=1, 6090=1, 6091=1, 6092=1, 6095=1, 6096=1, 6097=1, 6098=1, 6099=1, 6102=1, 6103=1, 6104=1, 6105=1, 6106=1, 6109=1, 6110=1, 6111=1, 6112=1, 6115=1, 6116=1, 6117=1, 6119=1, 6128=1, 6276=1, 6278=1, 6283=1, 6284=1, 6285=1, 6288=1, 6289=1, 6290=1, 6291=1, 6292=1, 6295=1, 6296=1, 6297=1, 6298=1, 6299=1, 6302=1, 6303=1, 6304=1, 6305=1, 6308=1, 6309=1, 6310=1, 6311=1, 6312=1, 6314=1, 6315=1, 6316=1, 6317=1, 6318=1, 6321=1, 6322=1, 6323=1, 6324=1, 6325=1, 6328=1, 6329=1, 6330=1, 6332=1, 6340=1, 6493=1, 6494=1, 6497=1, 6498=1, 6499=1, 6500=1, 6501=1, 6503=1, 6504=1, 6505=1, 6506=1, 6507=1, 6510=1, 6511=1, 6512=1, 6513=1, 6514=1, 6517=1, 6518=1, 6519=1, 6520=1, 6521=1, 6524=1, 6525=1, 6526=1, 6527=1, 6528=1, 6530=1, 6531=1, 6532=1, 6533=1, 6536=1, 6537=1, 6538=1, 6540=1, 6696=1, 6698=1, 6703=1, 6704=1, 6705=1, 6708=1, 6709=1, 6710=1, 6711=1, 6712=1, 6714=1, 6715=1, 6716=1, 6717=1, 6718=1, 6721=1, 6722=1, 6723=1, 6724=1, 6725=1, 6728=1, 6729=1, 6730=1, 6731=1, 6732=1, 6735=1, 6736=1, 6737=1, 6738=1, 6739=1, 6742=1, 6743=1, 6744=1, 6745=1, 6746=1, 6749=1, 6750=1, 6751=1, 6753=1, 6760=1, 6761=1, 6927=1, 6929=1, 6934=1, 6935=1, 6936=1, 6939=1, 6940=1, 6941=1, 6942=1, 6943=1, 6946=1, 6947=1, 6948=1, 6949=1, 6950=1, 6952=1, 6953=1, 6954=1, 6955=1, 6956=1, 6959=1, 6960=1, 6961=1, 6963=1, 6964=1, 6965=1, 6966=1, 6969=1, 6970=1, 6971=1, 6972=1, 6973=1, 6975=1, 6976=1, 6977=1, 6979=1, 6988=1, 6989=1, 6991=1, 7163=1, 7165=1, 7170=1, 7171=1, 7172=1, 7174=1, 7175=1, 7176=1, 7177=1, 7178=1, 7181=1, 7182=1, 7183=1, 7184=1, 7185=1, 7188=1, 7189=1, 7190=1, 7191=1, 7194=1, 7195=1, 7196=1, 7197=1, 7198=1, 7200=1, 7201=1, 7202=1, 7203=1, 7204=1, 7207=1, 7208=1, 7209=1, 7210=1, 7211=1, 7214=1, 7215=1, 7216=1, 7218=1, 7225=1, 7226=1, 7417=1, 7419=1, 7424=1, 7425=1, 7426=1, 7428=1, 7429=1, 7430=1, 7431=1, 7432=1, 7434=1, 7435=1, 7436=1, 7437=1, 7438=1, 7440=1, 7441=1, 7442=1, 7443=1, 7444=1, 7446=1, 7447=1, 7448=1, 7449=1, 7452=1, 7453=1, 7454=1, 7455=1, 7456=1, 7459=1, 7460=1, 7461=1, 7462=1, 7463=1, 7466=1, 7467=1, 7468=1, 7470=1, 7477=1, 7478=1, 7683=1, 7685=1, 7690=1, 7691=1, 7692=1, 7695=1, 7696=1, 7697=1, 7698=1, 7699=1, 7701=1, 7702=1, 7703=1, 7704=1, 7705=1, 7708=1, 7709=1, 7710=1, 7713=1, 7714=1, 7715=1, 7716=1, 7719=1, 7720=1, 7721=1, 7722=1, 7723=1, 7726=1, 7727=1, 7728=1, 7729=1, 7730=1, 7733=1, 7734=1, 7735=1, 7737=1, 7744=1, 7745=1, 7746=1, 7747=1, 7749=1, 7980=1, 7982=1, 7986=1, 7987=1, 7988=1, 7990=1, 7991=1, 7992=1, 7993=1, 7994=1, 7997=1, 7998=1, 7999=1, 8000=1, 8001=1, 8004=1, 8005=1, 8006=1, 8007=1, 8010=1, 8011=1, 8012=1, 8013=1, 8016=1, 8017=1, 8018=1, 8019=1, 8020=1, 8022=1, 8023=1, 8024=1, 8027=1, 8028=1, 8029=1, 8031=1, 8038=1, 8040=1, 8305=1, 8306=1, 8307=1, 8310=1, 8311=1, 8312=1, 8313=1, 8314=1, 8317=1, 8318=1, 8319=1, 8320=1, 8321=1, 8324=1, 8325=1, 8327=1, 8328=1, 8329=1, 8330=1, 8331=1, 8334=1, 8335=1, 8336=1, 8337=1, 8339=1, 8340=1, 8341=1, 8342=1, 8343=1, 8346=1, 8347=1, 8348=1, 8350=1, 8357=1, 8358=1, 8360=1, 8663=1, 8665=1, 8671=1, 8672=1, 8673=1, 8675=1, 8676=1, 8677=1, 8678=1, 8679=1, 8681=1, 8682=1, 8683=1, 8684=1, 8685=1, 8688=1, 8689=1, 8690=1, 8691=1, 8692=1, 8695=1, 8696=1, 8697=1, 8698=1, 8699=1, 8702=1, 8703=1, 8704=1, 8705=1, 8706=1, 8709=1, 8710=1, 8711=1, 8713=1, 8720=1, 9062=1, 9063=1, 9064=1, 9068=1, 9069=1, 9070=1, 9071=1, 9072=1, 9073=1, 9074=1, 9075=1, 9076=1, 9077=1, 9080=1, 9081=1, 9082=1, 9083=1, 9084=1, 9086=1, 9087=1, 9088=1, 9089=1, 9090=1, 9093=1, 9094=1, 9095=1, 9096=1, 9097=1, 9100=1, 9101=1, 9108=1, 9110=1, 9473=1, 9475=1, 9484=1, 9485=1, 9486=1, 9492=1, 9493=1, 9494=1, 9495=1, 9496=1, 9499=1, 9500=1, 9501=1, 9502=1, 9503=1, 9506=1, 9507=1, 9508=1, 9509=1, 9510=1, 9513=1, 9514=1, 9515=1, 9516=1, 9517=1, 9520=1, 9521=1, 9522=1, 9523=1, 9524=1, 9527=1, 9528=1, 9529=1, 9531=1, 9536=1, 9939=1, 9940=1, 9941=1, 9951=1, 9953=1, 9954=1, 9955=1, 9963=1, 9964=1, 9965=1, 9966=1, 9967=1, 9973=1, 9974=1, 9975=1, 9976=1, 9977=1, 9981=1, 9982=1, 9983=1, 9984=1, 9985=1, 9988=1, 9989=1, 9990=1, 9991=1, 9992=1, 9995=1, 9996=1, 9997=1, 9998=1, 9999=1, 10000=1, 10001=1, 10002=1, 10004=1, 10012=1, 10014=1, 10458=1, 10459=1, 10460=1, 10472=1, 10473=1, 10474=1, 10475=1, 10476=1, 10486=1, 10487=1, 10488=1, 10489=1, 10490=1, 10498=1, 10499=1, 10500=1, 10501=1, 10502=1, 10508=1, 10509=1, 10510=1, 10511=1, 10512=1, 10516=1, 10517=1, 10518=1, 10519=1, 10520=1, 10523=1, 10524=1, 10525=1, 10526=1, 10527=1, 10529=1, 10530=1, 10531=1, 10533=1, 10540=1, 10541=1, 10543=1, 11030=1, 11031=1, 11032=1, 11046=1, 11047=1, 11048=1, 11049=1, 11050=1, 11062=1, 11063=1, 11064=1, 11065=1, 11066=1, 11076=1, 11077=1, 11078=1, 11079=1, 11080=1, 11088=1, 11089=1, 11090=1, 11091=1, 11092=1, 11098=1, 11099=1, 11100=1, 11101=1, 11102=1, 11105=1, 11106=1, 11107=1, 11110=1, 11111=1, 11112=1, 11114=1, 11122=1, 11123=1, 11645=1, 11646=1, 11647=1, 11662=1, 11663=1, 11664=1, 11665=1, 11666=1, 11679=1, 11680=1, 11681=1, 11682=1, 11683=1, 11695=1, 11696=1, 11697=1, 11706=1, 11707=1, 11708=1, 11709=1, 11717=1, 11718=1, 11719=1, 11720=1, 11721=1, 11727=1, 11728=1, 11729=1, 11730=1, 11731=1, 11734=1, 11735=1, 11736=1, 11737=1, 11738=1, 11739=1, 11740=1, 11744=1, 12502=1, 12503=1, 12504=1, 12505=1, 12506=1, 12507=1, 12508=1, 12509=1, 12510=1, 12511=1, 12512=1, 12513=1, 12514=1, 12515=1, 12516=1, 12517=1, 12518=1}
Probabilistic random walk after 3484 steps, saw 1694 distinct states, run finished after 3004 ms. (steps per millisecond=1 ) properties seen :1230
Running SMT prover for 11290 properties.
[2024-05-25 10:12:16] [INFO ] Flow matrix only has 20751 transitions (discarded 1056 similar events)
// Phase 1: matrix 20751 rows 13544 cols
[2024-05-25 10:12:18] [INFO ] Computed 1333 invariants in 1646 ms
Loading property file /tmp/ReachabilityCardinality15367610359508743765.prop.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2343)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:621)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:342)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:226)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:96)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:426)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 10:12:43] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2024-05-25 10:12:43] [INFO ] After 25090ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 11290 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 3 ms.
Support contains 11290 out of 13544 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY 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.51 ms
Discarding 40 places :
Also discarding 0 output transitions
Drop transitions removed 246 transitions
Trivial Post-agglo rules discarded 246 transitions
Performed 246 trivial Post agglomeration. Transition count delta: 246
Iterating post reduction 0 with 246 rules applied. Total rules applied 247 place count 13504 transition count 21561
Reduce places removed 246 places and 0 transitions.
Performed 57 Post agglomeration using F-continuation condition.Transition count delta: 57
Iterating post reduction 1 with 303 rules applied. Total rules applied 550 place count 13258 transition count 21504
Reduce places removed 57 places and 0 transitions.
Iterating post reduction 2 with 57 rules applied. Total rules applied 607 place count 13201 transition count 21504
Performed 62 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 62 Pre rules applied. Total rules applied 607 place count 13201 transition count 21442
Deduced a syphon composed of 62 places in 23 ms
Reduce places removed 62 places and 0 transitions.
Iterating global reduction 3 with 124 rules applied. Total rules applied 731 place count 13139 transition count 21442
Discarding 192 places :
Symmetric choice reduction at 3 with 192 rule applications. Total rules 923 place count 12947 transition count 21250
Iterating global reduction 3 with 192 rules applied. Total rules applied 1115 place count 12947 transition count 21250
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 19 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 1119 place count 12945 transition count 21248
Free-agglomeration rule (complex) applied 230 times.
Iterating global reduction 3 with 230 rules applied. Total rules applied 1349 place count 12945 transition count 21018
Reduce places removed 230 places and 0 transitions.
Iterating post reduction 3 with 230 rules applied. Total rules applied 1579 place count 12715 transition count 21018
Partial Free-agglomeration rule applied 54 times.
Drop transitions removed 54 transitions
Iterating global reduction 4 with 54 rules applied. Total rules applied 1633 place count 12715 transition count 21018
Applied a total of 1633 rules in 1889 ms. Remains 12715 /13544 variables (removed 829) and now considering 21018/21807 (removed 789) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1894 ms. Remains : 12715/13544 places, 21018/21807 transitions.
Interrupted random walk after 180002 steps, including 9231 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 4635
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 6655) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 6649) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 6644) 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 6638) seen :14
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 6624) 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 6622) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 6612) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 6605) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 6598) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 6589) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 6583) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 6573) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 6564) 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 6559) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 6552) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 6549) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 6539) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 6531) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 6524) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 6518) 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 6515) 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 6512) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 6504) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 6495) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 6485) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 6478) 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 6474) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 6466) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 6462) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 6457) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 6448) seen :9
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 6439) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 6431) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 6421) 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 6416) 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 6413) 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 6407) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 6399) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 6393) 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 6389) 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 6385) 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 6381) 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 6378) 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 6375) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 6369) 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 6365) 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 6363) 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 6362) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 6358) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 6353) 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 6348) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 6345) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 6339) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 6335) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 6328) 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 6319) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 6313) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 6306) 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 6298) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 6296) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 6288) seen :11
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 6277) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 6275) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 6273) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 6273) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 6272) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 6267) 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 6264) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 6260) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 6252) 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 6251) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 6248) 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 6243) 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 6239) 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 6233) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 6228) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 6223) 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 6222) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 6217) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 6212) 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 6211) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 6209) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 6205) seen :10
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 6195) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 6190) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 6187) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 6180) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 6179) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 6178) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 6177) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 6171) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 6167) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 6165) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 6158) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 6157) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 6153) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 6151) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 6143) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 6141) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 6137) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 6133) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 6132) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 6131) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 6127) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 6125) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 6125) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 6124) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 6119) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 6116) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 6110) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 6108) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 6105) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 6103) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 6097) 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 6096) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 6094) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 6088) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 209 ms. (steps per millisecond=4 ) properties (out of 6085) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 6081) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 6078) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 6071) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 6068) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 6066) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 6063) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 6058) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 6058) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 6052) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 6044) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 6042) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 6039) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 6037) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 6036) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 6035) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 6033) seen :7
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 6026) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 6023) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 6023) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 6018) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 6015) seen :8
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 6007) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 6007) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 6004) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 6004) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 6003) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 6001) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 6000) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5998) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5992) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5990) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5988) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5984) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5982) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5980) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5977) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5974) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5973) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5973) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5970) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 5969) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5968) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5966) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5965) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5962) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5961) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5957) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5954) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5951) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5951) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5948) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5947) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5943) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 5943) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 5943) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5940) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5937) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5936) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5935) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5935) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5931) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5928) 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 5928) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5922) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5918) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5916) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5916) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5916) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5915) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5913) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5910) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5907) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5903) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5900) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5899) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5897) 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 5897) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5897) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5895) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5892) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5891) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5891) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5888) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5887) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5885) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5884) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5884) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5884) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5884) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5878) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5875) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5871) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5870) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5866) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5863) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5862) 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 5860) 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 5860) 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 5858) 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 5856) 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 5856) 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 5856) 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 5854) 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 5853) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5850) 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 5847) 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 5847) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5844) 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 5843) 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 5842) 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 5841) 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 5841) 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 5840) 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 5838) 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 5837) 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 5835) 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 5831) 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 5830) 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 5828) 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 5828) 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 5827) 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 5827) 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 5827) 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 5827) 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 5827) 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 5826) 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 5825) 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 5824) 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 5823) 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 5823) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 80 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 77 ms. (steps per millisecond=13 ) properties (out of 5818) 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 5816) 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 5815) 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 5812) 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 5812) 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 5812) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 5809) 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 5809) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5806) 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 5806) 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 5805) 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 5805) 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 5802) 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 5802) 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 5800) 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 5799) 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 5797) 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 5796) 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 5794) 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 5793) 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 5792) 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 5792) 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 5791) 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 5790) 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 5789) 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 5787) 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 5787) 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 5787) 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 5787) 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 5787) 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 5787) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5784) 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 5784) 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 5781) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5779) 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 5778) 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 5778) 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 5777) 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 5776) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5772) 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 5770) 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 5768) 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 5768) 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 5766) 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 5764) 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 5763) 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 5763) 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 5760) 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 5760) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5756) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5753) 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 5751) 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 5749) 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 5749) 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 5749) 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 5747) 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 5747) 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 5747) 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 5747) 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 5747) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5745) 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 5744) 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 5744) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5741) 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 5741) 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 5741) 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 5739) 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 5737) 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 5736) 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 5735) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5733) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5731) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5731) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5728) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5728) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5727) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5723) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5723) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5721) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5721) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5721) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5719) 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 5719) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5719) 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 5718) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5718) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5718) 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 5718) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5718) 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 5717) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5715) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5714) 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 5714) 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 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 :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5712) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5712) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5712) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5712) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5712) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5712) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5712) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5712) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 5712) seen :2
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5710) 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 5710) 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 5710) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5710) 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 5710) 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 5710) 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 5708) 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 5708) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5706) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5706) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5705) 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 5704) 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 5704) 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 5704) 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 5704) 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 5704) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5701) 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 5701) 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 5700) 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 5700) 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 5699) 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 5698) 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 5697) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5697) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5696) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5694) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 5694) 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 5694) 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 5694) 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 5693) 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 5693) 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 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 71 ms. (steps per millisecond=14 ) properties (out of 5692) 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 5692) 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 5692) 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 5692) 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 5691) 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 5691) 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 5690) 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 5689) 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 5689) 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 5689) 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 5689) 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 5688) 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 5688) 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 5688) 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 5688) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5685) 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 5685) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5683) 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 5683) 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 5683) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 5682) 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 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 76 ms. (steps per millisecond=13 ) properties (out of 5681) 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 5679) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 5679) 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 5678) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5675) 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 5675) 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 5671) 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 5670) 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 5670) 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 5669) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5667) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5667) 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 5667) 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 5667) 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 5667) 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 5667) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5667) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5667) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5666) 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 5665) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5663) 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 5663) 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 5663) 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 5663) 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 5662) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5662) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5662) 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 5662) 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 5662) 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 5662) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5662) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5660) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 5658) 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 5657) 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 5656) 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 5655) 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 5655) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5652) 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 5651) 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 5650) 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 5650) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5646) 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 5645) 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 5645) 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 5645) 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 5645) 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 5644) 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 5644) 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 5644) 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 5644) 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 5644) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5644) 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 5644) 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 5644) 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 5643) 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 5643) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5643) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5643) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 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 :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 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 72 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 73 ms. (steps per millisecond=13 ) properties (out of 5642) 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 5641) 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 5641) 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 5641) 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 5641) 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 5641) 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 5641) 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 5641) 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 5640) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5640) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5639) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5639) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5639) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 5639) 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 5639) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5639) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5639) 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 5638) 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 5638) 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 5638) 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 5638) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5637) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5637) 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 5637) 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 5637) 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 5637) 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 5637) 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 5637) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5635) 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 5634) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5634) 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 5632) 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 5632) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5632) 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 5632) 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 5632) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5631) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5631) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5629) 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 5629) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5629) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5628) 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 5628) 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 5628) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5625) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5625) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5625) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 5623) 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 5620) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5619) 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 5618) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5618) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5616) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5616) 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 5616) 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 5615) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5614) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5613) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5613) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5612) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5612) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5611) 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 5611) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5610) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5609) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5609) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5608) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5608) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5608) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5605) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5605) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5605) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5605) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5605) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5605) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5603) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5603) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5603) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5603) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5602) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5602) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5602) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5602) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5602) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5602) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5602) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5602) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5600) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5600) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5600) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5600) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5600) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5599) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5599) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5599) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5599) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5599) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5597) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5597) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5596) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5596) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5594) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5594) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5594) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5593) 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 5593) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5592) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 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 64 ms. (steps per millisecond=15 ) properties (out of 5591) 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 5591) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5589) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5589) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5589) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5589) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5589) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5587) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5587) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5587) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5586) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5586) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5586) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5586) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5586) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5585) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5585) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5582) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5581) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5580) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5580) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5580) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5580) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5580) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5580) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5580) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5580) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5577) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5577) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5576) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5576) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5576) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5576) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5576) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5575) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5575) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5575) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5575) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5575) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5575) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5575) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5575) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5575) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5575) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5575) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5574) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5574) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5574) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5574) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5572) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5570) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5570) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5570) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5570) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5569) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5569) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5568) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5568) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5568) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5568) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5568) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5568) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5568) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5568) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5568) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5568) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5568) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5567) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5567) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5567) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5567) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5567) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5567) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5567) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5567) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5567) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5567) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5567) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5567) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5567) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5566) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5566) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5565) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5565) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5565) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5565) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5565) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5564) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5564) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5564) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5564) 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 5564) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5564) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5564) 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 5563) 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 5562) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5560) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5560) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5558) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5558) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5558) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5558) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5558) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 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 72 ms. (steps per millisecond=13 ) properties (out of 5557) 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 5557) 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 5556) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5556) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 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 76 ms. (steps per millisecond=13 ) properties (out of 5556) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5556) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 5555) 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 5554) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5552) 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 5552) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5552) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5552) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5552) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5552) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5552) 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 5552) 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 5551) 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 5549) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5549) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5548) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5548) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5548) 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 5548) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5548) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5546) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5545) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5545) 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 5545) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5545) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5545) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5544) 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 5544) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5543) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5543) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5543) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5543) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5543) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5543) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5543) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5543) 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 5543) 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 5543) 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 5542) 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 5542) 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 5542) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5542) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5541) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5541) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5540) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5540) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5538) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5538) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5538) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5538) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 5536) 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 5536) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5534) 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 5534) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5532) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5531) 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 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5531) 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 5530) 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 5530) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5529) 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 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 1000 steps, including 6 resets, run finished after 74 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 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 71 ms. (steps per millisecond=14 ) 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 70 ms. (steps per millisecond=14 ) 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 :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5529) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5528) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5528) seen :2
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 71 ms. (steps per millisecond=14 ) properties (out of 5526) 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 5526) 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 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 82 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 70 ms. (steps per millisecond=14 ) properties (out of 5526) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5526) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5526) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5526) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5526) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5525) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5525) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5525) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5525) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5525) 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 5524) 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 5524) 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 5524) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5524) 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 5524) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5524) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5524) 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 5524) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5524) 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 5524) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5524) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5524) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5524) 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 5523) 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 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 :1
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 87 ms. (steps per millisecond=11 ) properties (out of 5522) 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 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 71 ms. (steps per millisecond=14 ) properties (out of 5522) 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 5522) 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 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 :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 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 72 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 71 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 87 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 72 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 75 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 63 ms. (steps per millisecond=15 ) properties (out of 5520) 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 5520) 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 5520) 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 5519) 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 5519) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5519) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5519) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5519) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5518) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5518) 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 5517) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5517) 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 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 75 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 66 ms. (steps per millisecond=15 ) properties (out of 5517) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5517) 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 5517) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5517) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5517) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5516) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5516) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5516) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5516) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5516) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5516) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5516) 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 5516) 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 5516) 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 5516) 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 5516) 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 5516) 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 5516) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5516) 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 5516) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5516) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5516) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5515) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5515) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5515) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5515) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5515) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5515) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5515) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5515) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5515) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5515) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5514) 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 5514) 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 5514) 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 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 67 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 72 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 69 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 69 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 68 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 66 ms. (steps per millisecond=15 ) 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 65 ms. (steps per millisecond=15 ) 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 68 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 59 ms. (steps per millisecond=16 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5514) 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 5514) 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 5514) 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 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 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 73 ms. (steps per millisecond=13 ) properties (out of 5514) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 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 79 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 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 69 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 68 ms. (steps per millisecond=14 ) properties (out of 5514) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5512) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5512) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5512) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 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 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 81 ms. (steps per millisecond=12 ) properties (out of 5512) 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 5511) 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 5511) 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 5511) 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 5511) 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 5511) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5511) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5511) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5511) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5511) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5511) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5511) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5511) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5511) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5511) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5511) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5511) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5511) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5511) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5511) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5511) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5510) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5510) 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 5510) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5509) 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 5509) 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 5509) 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 5509) 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 5509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5509) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5509) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5508) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5508) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5508) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5508) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5508) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5508) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5508) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5508) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5508) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5508) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5508) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5508) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5508) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5508) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5508) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5508) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5508) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5507) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5507) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5504) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5504) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5504) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5504) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5504) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5504) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5504) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5504) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5504) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5504) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5504) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5504) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5504) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5504) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5504) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) 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 68 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 67 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 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 72 ms. (steps per millisecond=13 ) properties (out of 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 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 74 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 71 ms. (steps per millisecond=14 ) properties (out of 5503) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5503) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5502) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5502) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5501) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5501) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5500) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5500) 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 5500) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5499) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5498) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5498) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5497) 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 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5497) 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 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5497) 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 5497) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5497) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5496) 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 5496) 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 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5495) 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 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5495) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5495) 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 5494) 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 5494) 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 5494) 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 5494) 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 5494) 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 5494) 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 5494) 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 5494) 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 5494) 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 5494) 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 5494) 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 5494) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5494) 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 5494) 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 5494) 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 5494) 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 5494) 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 5494) 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 5494) 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 5494) 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 5494) 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 5494) 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 5494) 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 5494) 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 5494) 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 5494) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5494) 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 5494) 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 5494) 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 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5493) 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 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5493) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5493) 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 5493) 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 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 74 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 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 78 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 74 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 75 ms. (steps per millisecond=13 ) properties (out of 5493) 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 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5492) 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 5492) 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 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5492) 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 5492) 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 5492) 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 5492) 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 5492) 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 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5492) 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 5492) 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 5492) 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 5492) 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 5492) 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 5492) 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 5492) 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 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5492) 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 5492) 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 5492) 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 5492) 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 5492) 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 5492) 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 5492) 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 5492) 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 5492) 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 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5492) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5492) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5491) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5491) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 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 73 ms. (steps per millisecond=13 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5490) 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 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5490) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5490) 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 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 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 71 ms. (steps per millisecond=14 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5489) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5489) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5488) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 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 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 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 70 ms. (steps per millisecond=14 ) properties (out of 5488) 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 5487) 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 5487) 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 5487) 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 5487) 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 5487) 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 5487) 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 5487) 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 5487) 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 5487) 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 5487) 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 5487) 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 5487) 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 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5487) 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 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5487) 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 5487) 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 5487) 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 5487) 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 5487) 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 5487) 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 5487) 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 5487) 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 5487) 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 5487) 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 5487) 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 5487) 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 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5487) 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 5487) 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 5487) 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 5487) 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 5487) 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 5487) 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 5487) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5487) 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 5487) 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 5487) 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 5487) 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 5487) seen :0
Running SMT prover for 5487 properties.
[2024-05-25 10:14:41] [INFO ] Flow matrix only has 19961 transitions (discarded 1057 similar events)
// Phase 1: matrix 19961 rows 12715 cols
[2024-05-25 10:14:42] [INFO ] Computed 1293 invariants in 1399 ms
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2343)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:621)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:342)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:226)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:96)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:426)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 10:18:38] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2024-05-25 10:18:38] [INFO ] After 225060ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5487 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 5487 out of 12715 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 12715/12715 places, 21018/21018 transitions.
Drop transitions removed 1789 transitions
Trivial Post-agglo rules discarded 1789 transitions
Performed 1789 trivial Post agglomeration. Transition count delta: 1789
Iterating post reduction 0 with 1789 rules applied. Total rules applied 1789 place count 12715 transition count 19229
Reduce places removed 1789 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 1 with 1790 rules applied. Total rules applied 3579 place count 10926 transition count 19228
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 3580 place count 10925 transition count 19228
Performed 70 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 70 Pre rules applied. Total rules applied 3580 place count 10925 transition count 19158
Deduced a syphon composed of 70 places in 15 ms
Reduce places removed 70 places and 0 transitions.
Iterating global reduction 3 with 140 rules applied. Total rules applied 3720 place count 10855 transition count 19158
Discarding 1714 places :
Symmetric choice reduction at 3 with 1714 rule applications. Total rules 5434 place count 9141 transition count 17444
Iterating global reduction 3 with 1714 rules applied. Total rules applied 7148 place count 9141 transition count 17444
Discarding 721 places :
Symmetric choice reduction at 3 with 721 rule applications. Total rules 7869 place count 8420 transition count 16002
Iterating global reduction 3 with 721 rules applied. Total rules applied 8590 place count 8420 transition count 16002
Free-agglomeration rule (complex) applied 145 times.
Iterating global reduction 3 with 145 rules applied. Total rules applied 8735 place count 8420 transition count 16578
Reduce places removed 145 places and 0 transitions.
Iterating post reduction 3 with 145 rules applied. Total rules applied 8880 place count 8275 transition count 16578
Discarding 17 places :
Symmetric choice reduction at 4 with 17 rule applications. Total rules 8897 place count 8258 transition count 16561
Iterating global reduction 4 with 17 rules applied. Total rules applied 8914 place count 8258 transition count 16561
Partial Free-agglomeration rule applied 66 times.
Drop transitions removed 66 transitions
Iterating global reduction 4 with 66 rules applied. Total rules applied 8980 place count 8258 transition count 16561
Discarding 37 places :
Symmetric choice reduction at 4 with 37 rule applications. Total rules 9017 place count 8221 transition count 16524
Iterating global reduction 4 with 37 rules applied. Total rules applied 9054 place count 8221 transition count 16524
Applied a total of 9054 rules in 3756 ms. Remains 8221 /12715 variables (removed 4494) and now considering 16524/21018 (removed 4494) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3756 ms. Remains : 8221/12715 places, 16524/21018 transitions.
Interrupted random walk after 61212 steps, including 4679 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen 36
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5451) 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 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5451) 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 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5451) 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 5451) 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 5451) 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 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5451) 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 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5451) 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 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5451) 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 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5451) 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 5451) 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 5451) 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 5451) 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 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5451) 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 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5451) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5451) seen :0
Interrupted probabilistic random walk after 214272 steps, run timeout after 96001 ms. (steps per millisecond=2 ) properties seen :{2586=1, 2688=1, 2689=1, 2748=1}
Probabilistic random walk after 214272 steps, saw 94860 distinct states, run finished after 96003 ms. (steps per millisecond=2 ) properties seen :4
Running SMT prover for 5447 properties.
[2024-05-25 10:20:50] [INFO ] Flow matrix only has 15430 transitions (discarded 1094 similar events)
// Phase 1: matrix 15430 rows 8221 cols
[2024-05-25 10:20:51] [INFO ] Computed 1293 invariants in 803 ms
Detected timeout of ITS tools.
[2024-05-25 10:22:16] [INFO ] Flatten gal took : 622 ms
[2024-05-25 10:22:16] [INFO ] Applying decomposition
[2024-05-25 10:22:16] [INFO ] Flatten gal took : 606 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202304061127/bin/convert-linux64' '-i' '/tmp/graph18297655448597055693.txt' '-o' '/tmp/graph18297655448597055693.bin' '-w' '/tmp/graph18297655448597055693.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202304061127/bin/louvain-linux64' '/tmp/graph18297655448597055693.bin' '-l' '-1' '-v' '-w' '/tmp/graph18297655448597055693.weights' '-q' '0' '-e' '0.001'
[2024-05-25 10:22:18] [INFO ] Decomposing Gal with order
[2024-05-25 10:22:19] [INFO ] Rewriting arrays to variables to allow decomposition.
[2024-05-25 10:22:25] [INFO ] Removed a total of 15974 redundant transitions.
[2024-05-25 10:22:26] [INFO ] Flatten gal took : 4129 ms
[2024-05-25 10:22:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 7889 labels/synchronizations in 1405 ms.
[2024-05-25 10:22:29] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality12558855463033885978.gal : 183 ms
[2024-05-25 10:22:29] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality1223382109329135084.prop : 10 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202304061127/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality12558855463033885978.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality1223382109329135084.prop' '--nowitness'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202304061127/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...308
Loading property file /tmp/ReachabilityCardinality1223382109329135084.prop.
SDD proceeding with computation,5447 properties remain. new max is 4
SDD size :1 after 1
SDD proceeding with computation,5447 properties remain. new max is 8
SDD size :1 after 1
SDD proceeding with computation,5447 properties remain. new max is 16
SDD size :1 after 1
SDD proceeding with computation,5447 properties remain. new max is 32
SDD size :1 after 1
SDD proceeding with computation,5447 properties remain. new max is 64
SDD size :1 after 1
SDD proceeding with computation,5447 properties remain. new max is 128
SDD size :1 after 1
SDD proceeding with computation,5447 properties remain. new max is 256
SDD size :1 after 1
SDD proceeding with computation,5447 properties remain. new max is 512
SDD size :1 after 1
SDD proceeding with computation,5447 properties remain. new max is 1024
SDD size :1 after 1
SDD proceeding with computation,5447 properties remain. new max is 2048
SDD size :1 after 1
SDD proceeding with computation,5447 properties remain. new max is 4096
SDD size :1 after 1
SDD proceeding with computation,5447 properties remain. new max is 8192
SDD size :1 after 1
SDD proceeding with computation,5447 properties remain. new max is 16384
SDD size :1 after 1
SDD proceeding with computation,5447 properties remain. new max is 32768
SDD size :1 after 1
SDD proceeding with computation,5447 properties remain. new max is 65536
SDD size :1 after 1
SDD proceeding with computation,5447 properties remain. new max is 131072
SDD size :1 after 1
SDD proceeding with computation,5447 properties remain. new max is 262144
SDD size :1 after 1
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2343)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:621)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:342)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:226)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:96)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:426)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 10:24:43] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2024-05-25 10:24:43] [INFO ] After 225041ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5447 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 5447 out of 8221 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8221/8221 places, 16524/16524 transitions.
Drop transitions removed 19 transitions
Trivial Post-agglo rules discarded 19 transitions
Performed 19 trivial Post agglomeration. Transition count delta: 19
Iterating post reduction 0 with 19 rules applied. Total rules applied 19 place count 8221 transition count 16505
Reduce places removed 19 places and 0 transitions.
Iterating post reduction 1 with 19 rules applied. Total rules applied 38 place count 8202 transition count 16505
Discarding 4 places :
Symmetric choice reduction at 2 with 4 rule applications. Total rules 42 place count 8198 transition count 16501
Iterating global reduction 2 with 4 rules applied. Total rules applied 46 place count 8198 transition count 16501
Free-agglomeration rule (complex) applied 9 times.
Iterating global reduction 2 with 9 rules applied. Total rules applied 55 place count 8198 transition count 16492
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 2 with 9 rules applied. Total rules applied 64 place count 8189 transition count 16492
Discarding 16 places :
Symmetric choice reduction at 3 with 16 rule applications. Total rules 80 place count 8173 transition count 16476
Iterating global reduction 3 with 16 rules applied. Total rules applied 96 place count 8173 transition count 16476
Applied a total of 96 rules in 1811 ms. Remains 8173 /8221 variables (removed 48) and now considering 16476/16524 (removed 48) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1812 ms. Remains : 8173/8221 places, 16476/16524 transitions.
Interrupted random walk after 82497 steps, including 6316 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 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5440) seen :0
SDD proceeding with computation,5447 properties remain. new max is 524288
SDD size :1 after 1
Interrupted probabilistic random walk after 217057 steps, run timeout after 93002 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 217057 steps, saw 96036 distinct states, run finished after 93004 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 5440 properties.
[2024-05-25 10:26:50] [INFO ] Flow matrix only has 15375 transitions (discarded 1101 similar events)
// Phase 1: matrix 15375 rows 8173 cols
[2024-05-25 10:26:51] [INFO ] Computed 1293 invariants in 751 ms
SDD proceeding with computation,5447 properties remain. new max is 1048576
SDD size :1 after 1
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2343)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:621)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:342)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:226)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:96)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:426)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 10:30:43] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2024-05-25 10:30:43] [INFO ] After 225062ms 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 0 ms.
Support contains 5440 out of 8173 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8173/8173 places, 16476/16476 transitions.
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 0 with 4 rules applied. Total rules applied 4 place count 8173 transition count 16472
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 8 place count 8169 transition count 16472
Applied a total of 8 rules in 1374 ms. Remains 8169 /8173 variables (removed 4) and now considering 16472/16476 (removed 4) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1374 ms. Remains : 8169/8173 places, 16472/16476 transitions.
Interrupted random walk after 60856 steps, including 4658 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen 8
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5432) 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 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5432) 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 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5432) 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 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5432) 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 5432) 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 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5432) 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 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5432) 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 5432) 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 5432) 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 5432) 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 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5432) 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 5432) 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 5432) 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 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5432) 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 5432) 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 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5432) seen :0
SDD proceeding with computation,5447 properties remain. new max is 2097152
SDD size :1 after 1
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin3151681728261941059
[2024-05-25 10:32:29] [INFO ] Built C files in 301ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin3151681728261941059
Running compilation step : cd /tmp/ltsmin3151681728261941059;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/limit_time.pl' '120' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
Interrupted probabilistic random walk after 240679 steps, run timeout after 96001 ms. (steps per millisecond=2 ) properties seen :{256=1, 1094=1, 2443=1, 2541=1, 2612=1, 2660=1, 2691=1, 2715=1, 2720=1, 2742=1, 2747=1, 2780=1, 2830=1, 2893=1, 2904=1, 3115=1, 3130=1, 3276=1, 3293=1, 3493=1, 3736=1, 4003=1, 4026=1, 4364=1, 5207=1}
Probabilistic random walk after 240679 steps, saw 106316 distinct states, run finished after 96001 ms. (steps per millisecond=2 ) properties seen :25
Running SMT prover for 5407 properties.
[2024-05-25 10:32:53] [INFO ] Flow matrix only has 15367 transitions (discarded 1105 similar events)
// Phase 1: matrix 15367 rows 8169 cols
[2024-05-25 10:32:54] [INFO ] Computed 1293 invariants in 730 ms
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin3151681728261941059;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/limit_time.pl' '120' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 120 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running cd /tmp/ltsmin3151681728261941059;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/limit_time.pl' '120' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202304061127/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c' killed by timeout after 120 SECONDS
at fr.lip6.move.gal.application.runner.ltsmin.LTSminRunner$1.run(LTSminRunner.java:92)
at java.base/java.lang.Thread.run(Thread.java:833)
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2343)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:621)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:342)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:226)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:96)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:426)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-25 10:36:46] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2024-05-25 10:36:46] [INFO ] After 225031ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5407 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 5407 out of 8169 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8169/8169 places, 16472/16472 transitions.
Free-agglomeration rule (complex) applied 22 times.
Iterating global reduction 0 with 22 rules applied. Total rules applied 22 place count 8169 transition count 16450
Reduce places removed 22 places and 0 transitions.
Iterating post reduction 0 with 22 rules applied. Total rules applied 44 place count 8147 transition count 16450
Applied a total of 44 rules in 1479 ms. Remains 8147 /8169 variables (removed 22) and now considering 16450/16472 (removed 22) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1479 ms. Remains : 8147/8169 places, 16450/16472 transitions.
Interrupted random walk after 80289 steps, including 6148 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen 4
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5403) seen :0
Interrupted probabilistic random walk after 229283 steps, run timeout after 93001 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 229283 steps, saw 101307 distinct states, run finished after 93003 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 5403 properties.
[2024-05-25 10:38:53] [INFO ] Flow matrix only has 15323 transitions (discarded 1127 similar events)
// Phase 1: matrix 15323 rows 8147 cols
[2024-05-25 10:38:53] [INFO ] Computed 1293 invariants in 743 ms
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 12265956 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16088692 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S32C02"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="gold2023"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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