Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 6.4K Jun 7 17:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Jun 7 17:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Jun 7 17:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Jun 7 17:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Jun 6 15:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Jun 6 15:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Jun 6 15:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Jun 6 15:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 6 12:11 NewModel
-rw-r--r-- 1 mcc users 16K Jun 7 17:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 179K Jun 7 17:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Jun 7 17:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 69K Jun 7 17:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Jun 6 15:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Jun 6 15:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jun 6 12:11 equiv_col
-rw-r--r-- 1 mcc users 6 Jun 6 12:11 instance
-rw-r--r-- 1 mcc users 6 Jun 6 12:11 iscolored
-rw-r--r-- 1 mcc users 69M Jun 6 12:11 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1654755821172

Running Version 0
[2022-06-09 06:23:42] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2022-06-09 06:23:42] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-09 06:23:44] [INFO ] Load time of PNML (sax parser for PT used): 2134 ms
[2022-06-09 06:23:45] [INFO ] Transformed 2041 places.
[2022-06-09 06:23:45] [INFO ] Transformed 125740 transitions.
[2022-06-09 06:23:45] [INFO ] Found NUPN structural information;
[2022-06-09 06:23:45] [INFO ] Parsed PT model containing 2041 places and 125740 transitions in 2635 ms.
Starting structural reductions, iteration 0 : 2041/2041 places, 125740/125740 transitions.
Ensure Unique test removed 11 places
Ensure Unique test removed 5937 transitions
Reduce isomorphic transitions removed 5937 transitions.
Iterating post reduction 0 with 5948 rules applied. Total rules applied 5948 place count 2030 transition count 119803
Performed 54 Post agglomeration using F-continuation condition with reduction of 28 identical transitions.
Deduced a syphon composed of 54 places in 179 ms
Reduce places removed 54 places and 0 transitions.
Iterating global reduction 1 with 108 rules applied. Total rules applied 6056 place count 1976 transition count 119721
Ensure Unique test removed 2953 transitions
Reduce isomorphic transitions removed 2953 transitions.
Iterating post reduction 1 with 2953 rules applied. Total rules applied 9009 place count 1976 transition count 116768
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Deduced a syphon composed of 3 places in 101 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 2 with 6 rules applied. Total rules applied 9015 place count 1973 transition count 116765
Performed 14 Post agglomeration using F-continuation condition with reduction of 6 identical transitions.
Deduced a syphon composed of 14 places in 123 ms
Reduce places removed 14 places and 0 transitions.
Iterating global reduction 2 with 28 rules applied. Total rules applied 9043 place count 1959 transition count 116779
Ensure Unique test removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 2 with 16 rules applied. Total rules applied 9059 place count 1959 transition count 116763
Applied a total of 9059 rules in 3652 ms. Remains 1959 /2041 variables (removed 82) and now considering 116763/125740 (removed 8977) transitions.
[2022-06-09 06:23:49] [INFO ] Flow matrix only has 92067 transitions (discarded 24696 similar events)
// Phase 1: matrix 92067 rows 1959 cols
[2022-06-09 06:23:50] [INFO ] Computed 12 place invariants in 595 ms
[2022-06-09 06:23:56] [INFO ] Implicit Places using invariants in 6722 ms returned []
Implicit Place search using SMT only with invariants took 7395 ms to find 0 implicit places.
[2022-06-09 06:23:56] [INFO ] Flow matrix only has 92067 transitions (discarded 24696 similar events)
// Phase 1: matrix 92067 rows 1959 cols
[2022-06-09 06:23:57] [INFO ] Computed 12 place invariants in 489 ms
[2022-06-09 06:24:27] [INFO ] Performed 78927/116763 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-06-09 06:24:41] [INFO ] Dead Transitions using invariants and state equation in 45138 ms returned []
Finished structural reductions, in 1 iterations. Remains : 1959/2041 places, 116763/125740 transitions.
Discarding 51767 transitions out of 116763. Remains 64996
[2022-06-09 06:24:42] [INFO ] Initial state test concluded for 1 properties.
Interrupted random walk after 4723 steps, including 1 resets, run timeout after 30005 ms. (steps per millisecond=0 ) properties seen :{121=1, 462=1, 487=1, 610=1, 659=1, 680=1, 682=1, 1427=1, 1444=1, 1445=1, 1491=1, 1499=1, 1500=1, 1908=1, 2514=1, 2591=1, 2744=1, 2746=1, 2752=1, 2757=1, 2765=1, 2793=1, 2796=1, 3145=1, 3189=1, 3201=1, 3339=1, 3938=1, 3940=1, 3967=1, 3981=1, 4035=1, 4094=1, 4355=1, 4359=1, 4390=1, 4475=1, 4498=1, 4735=1, 4826=1, 4832=1, 4947=1, 4950=1, 5238=1, 5301=1, 5323=1, 5397=1, 5403=1, 5468=1, 5472=1, 5476=1, 5489=1, 5507=1, 6308=1, 6313=1, 6321=1, 6722=1, 6935=1, 7237=1, 7248=1, 7260=1, 7286=1, 7307=1, 7766=1, 7822=1, 7961=1, 7963=1, 8043=1, 8044=1, 8549=1, 8586=1, 8588=1, 8802=1, 8808=1, 9329=1, 9403=1, 9470=1, 9485=1, 9726=1, 10156=1, 10707=1, 11557=1, 11569=1, 11618=1, 11629=1, 11654=1, 11878=1, 11903=1, 12027=1, 12057=1, 12070=1, 12108=1, 12129=1, 12345=1, 12386=1, 12391=1, 12501=1, 13159=1, 13236=1, 13288=1, 13320=1, 13427=1, 13433=1, 13441=1, 13757=1, 13778=1, 13780=1, 13784=1, 13804=1, 13805=1, 13808=1, 13809=1, 13819=1, 13874=1, 13880=1, 13961=1, 13979=1, 13990=1, 13997=1, 14149=1, 14299=1, 14325=1, 14328=1, 14672=1, 14681=1, 14724=1, 14769=1, 14779=1, 15063=1, 15130=1, 15139=1, 15358=1, 15360=1, 15451=1, 15460=1, 15491=1, 15492=1, 15749=1, 15768=1, 15832=1, 16058=1, 16101=1, 16119=1, 16156=1, 16160=1, 16169=1, 16284=1, 16323=1, 16339=1, 16347=1, 16351=1, 16354=1, 16390=1, 16412=1, 16426=1, 16434=1, 16884=1, 16925=1, 17257=1, 17740=1, 18139=1, 18165=1, 18166=1, 18198=1, 18234=1, 18534=1, 18785=1, 18904=1, 19076=1, 19091=1, 19112=1, 19117=1, 19120=1, 19267=1, 19402=1, 19971=1, 19984=1, 19989=1, 19991=1, 20012=1, 20016=1, 20053=1, 20058=1, 20336=1, 20337=1, 20379=1, 20388=1, 20394=1, 20569=1, 20579=1, 20591=1, 20596=1, 20697=1, 20727=1, 20728=1, 20730=1, 20732=1, 20859=1, 20871=1, 20874=1, 20959=1, 20970=1, 20973=1, 21073=1, 21123=1, 21259=1, 21274=1, 21275=1, 21302=1, 21306=1, 21338=1, 21341=1, 21383=1, 21386=1, 21390=1, 21407=1, 21408=1, 21415=1, 21675=1, 21724=1, 21752=1, 21792=1, 21795=1, 21883=1, 22132=1, 22365=1, 22380=1, 22399=1, 22403=1, 22707=1, 22750=1, 22878=1, 22890=1, 22905=1, 23095=1, 23113=1, 23119=1, 23271=1, 23280=1, 23323=1, 23356=1, 23365=1, 23464=1, 23823=1, 23885=1, 24151=1, 24808=1, 24809=1, 26029=1, 26384=1, 26644=1, 26917=1, 26948=1, 26967=1, 27018=1, 27025=1, 27181=1, 27474=1, 27510=1, 27637=1, 27972=1, 28361=1, 28367=1, 28402=1, 28775=1, 28913=1, 28947=1, 28956=1, 28968=1, 28995=1, 29099=1, 29108=1, 29337=1, 29410=1, 30241=1, 30281=1, 31565=1, 31797=1, 31829=1, 31847=1, 31852=1, 31889=1, 31915=1, 31925=1, 31976=1, 32009=1, 32525=1, 32551=1, 32678=1, 32885=1, 33050=1, 33064=1, 33076=1, 33753=1, 33906=1, 34072=1, 34086=1, 34143=1, 34169=1, 34260=1, 34593=1, 34830=1, 34883=1, 35220=1, 35242=1, 35250=1, 35258=1, 35267=1, 35556=1, 35558=1, 35561=1, 35576=1, 35595=1, 35635=1, 35842=1, 35849=1, 35863=1, 36070=1, 36071=1, 36078=1, 36092=1, 36098=1, 36111=1, 36536=1, 36538=1, 36547=1, 36550=1, 36585=1, 36591=1, 36899=1, 36949=1, 37534=1, 37868=1, 37884=1, 38062=1, 38108=1, 38135=1, 38285=1, 38288=1, 38306=1, 38322=1, 38328=1, 38343=1, 38369=1, 38373=1, 38375=1, 38784=1, 39159=1, 39163=1, 39167=1, 39194=1, 39196=1, 39210=1, 39224=1, 39226=1, 39232=1, 39245=1, 39258=1, 39276=1, 39282=1, 39385=1, 39413=1, 39418=1, 39420=1, 39431=1, 39433=1, 39445=1, 39459=1, 39490=1, 39579=1, 39638=1, 39725=1, 39730=1, 39733=1, 39754=1, 39756=1, 39816=1, 40013=1, 40022=1, 40024=1, 40028=1, 40036=1, 40047=1, 40058=1, 40061=1, 40063=1, 40110=1, 40167=1, 40172=1, 40352=1, 40417=1, 40423=1, 40425=1, 40434=1, 40556=1, 40755=1, 40938=1, 40944=1, 40990=1, 41051=1, 41304=1, 41369=1, 41405=1, 41698=1, 41916=1, 41950=1, 41959=1, 41970=1, 41994=1, 41998=1, 42004=1, 42007=1, 42060=1, 42090=1, 42285=1, 42286=1, 42379=1, 42384=1, 42418=1, 42896=1, 43363=1, 43400=1, 43482=1, 43487=1, 43728=1, 43748=1, 43767=1, 43799=1, 44362=1, 44393=1, 44396=1, 44401=1, 44502=1, 44653=1, 44788=1, 44843=1, 45054=1, 45102=1, 45130=1, 45131=1, 45160=1, 45176=1, 45439=1, 45669=1, 45715=1, 45775=1, 45776=1, 45810=1, 45818=1, 45825=1, 45889=1, 45916=1, 45925=1, 45926=1, 46033=1, 46036=1, 46037=1, 46057=1, 46060=1, 46068=1, 46069=1, 46220=1, 46221=1, 46282=1, 46391=1, 46441=1, 46443=1, 46461=1, 46492=1, 46507=1, 46784=1, 46828=1, 46842=1, 47683=1, 47803=1, 48132=1, 48215=1, 48236=1, 48614=1, 48675=1, 48992=1, 49292=1, 49316=1, 49320=1, 49352=1, 49671=1, 49691=1, 49998=1, 50020=1, 50118=1, 50186=1, 50346=1, 50416=1, 50482=1, 50508=1, 50554=1, 50852=1, 50949=1, 51164=1, 51168=1, 51185=1, 51187=1, 51410=1, 51415=1, 51430=1, 51432=1, 51440=1, 51447=1, 51452=1, 51455=1, 51457=1, 51463=1, 51548=1, 51552=1, 51556=1, 51562=1, 51568=1, 51572=1, 51576=1, 51577=1, 51581=1, 51584=1, 51588=1, 51643=1, 51782=1, 51787=1, 51789=1, 51795=1, 51799=1, 51806=1, 51813=1, 51814=1, 51824=1, 51837=1, 51838=1, 51920=1, 51929=1, 51939=1, 51941=1, 51948=1, 52375=1, 52376=1, 52662=1, 52883=1, 52903=1, 52906=1, 52916=1, 53192=1, 53738=1, 53742=1, 53746=1, 53769=1, 53775=1, 53789=1, 53808=1, 53840=1, 53845=1, 53849=1, 53853=1, 54085=1, 54495=1, 54497=1, 54503=1, 54509=1, 54512=1, 54606=1, 54728=1, 54731=1, 54742=1, 54756=1, 54765=1, 54770=1, 54798=1, 54809=1, 54810=1, 54821=1, 54838=1, 54936=1, 55282=1, 55307=1, 55357=1, 55361=1, 55499=1, 55922=1, 55959=1, 55966=1, 56470=1, 56486=1, 56510=1, 56514=1, 56515=1, 56542=1, 56553=1, 57126=1, 57554=1, 57557=1, 58078=1, 58105=1, 58108=1, 58111=1, 58112=1, 58172=1, 58178=1, 58361=1, 58372=1, 58397=1, 58406=1, 58410=1, 58424=1, 58848=1, 58855=1, 58856=1, 58864=1, 58937=1, 59024=1, 59042=1, 59045=1, 59213=1, 59593=1, 59594=1, 59914=1, 59916=1, 59938=1, 60152=1, 60160=1, 60163=1, 60187=1, 60398=1, 60409=1, 60488=1, 60563=1, 60571=1, 60574=1, 60578=1, 60586=1, 60595=1, 60597=1, 60603=1, 60609=1, 60640=1, 60683=1, 60684=1, 60695=1, 60697=1, 60782=1, 60788=1, 60792=1, 60794=1, 60801=1, 60805=1, 60814=1, 60823=1, 60826=1, 60831=1, 60855=1, 61059=1, 61076=1, 61089=1, 61100=1, 61323=1, 61357=1, 61366=1, 61367=1, 61380=1, 61590=1, 61624=1, 61626=1, 61639=1, 61640=1, 61643=1, 61648=1, 61655=1, 61665=1, 61672=1, 61676=1, 61925=1, 61940=1, 61959=1, 61968=1, 61972=1, 62161=1, 62201=1, 62207=1, 62262=1, 62271=1, 62291=1, 63962=1, 64742=1}
Interrupted probabilistic random walk after 6896 steps, run timeout after 30048 ms. (steps per millisecond=0 ) properties seen :{129=1, 461=1, 485=1, 3710=1, 4318=1, 4360=1, 4701=1, 5515=1, 6032=1, 7719=1, 8275=1, 8296=1, 9330=1, 9551=1, 9671=1, 10622=1, 11578=1, 11581=1, 13151=1, 13358=1, 13359=1, 13534=1, 13677=1, 13854=1, 14545=1, 14592=1, 14655=1, 16142=1, 16210=1, 16213=1, 16233=1, 16243=1, 16282=1, 16293=1, 17552=1, 20675=1, 21058=1, 21072=1, 21082=1, 21083=1, 21097=1, 21109=1, 21116=1, 21140=1, 21477=1, 22158=1, 22164=1, 22189=1, 25809=1, 26398=1, 26702=1, 26777=1, 26890=1, 27274=1, 28666=1, 28670=1, 28672=1, 28681=1, 28897=1, 31054=1, 31099=1, 32281=1, 32401=1, 33415=1, 33478=1, 33807=1, 34080=1, 34308=1, 34761=1, 36089=1, 36575=1, 36917=1, 36934=1, 37979=1, 38391=1, 38528=1, 39270=1, 39291=1, 39300=1, 39867=1, 40137=1, 40152=1, 40342=1, 41535=1, 41537=1, 41544=1, 41635=1, 41650=1, 41873=1, 42871=1, 44622=1, 44941=1, 45225=1, 45337=1, 48177=1, 50934=1, 51046=1, 52627=1, 53823=1, 53880=1, 53941=1, 54708=1, 55909=1, 55912=1, 55915=1, 55937=1, 58321=1, 59137=1, 59199=1, 59419=1, 59535=1, 59565=1, 60227=1, 60572=1, 60862=1, 60924=1, 61598=1, 61962=1, 61967=1, 62546=1, 63329=1, 64035=1}
Probabilistic random walk after 6896 steps, saw 4508 distinct states, run finished after 30049 ms. (steps per millisecond=0 ) properties seen :{129=1, 461=1, 485=1, 3710=1, 4318=1, 4360=1, 4701=1, 5515=1, 6032=1, 7719=1, 8275=1, 8296=1, 9330=1, 9551=1, 9671=1, 10622=1, 11578=1, 11581=1, 13151=1, 13358=1, 13359=1, 13534=1, 13677=1, 13854=1, 14545=1, 14592=1, 14655=1, 16142=1, 16210=1, 16213=1, 16233=1, 16243=1, 16282=1, 16293=1, 17552=1, 20675=1, 21058=1, 21072=1, 21082=1, 21083=1, 21097=1, 21109=1, 21116=1, 21140=1, 21477=1, 22158=1, 22164=1, 22189=1, 25809=1, 26398=1, 26702=1, 26777=1, 26890=1, 27274=1, 28666=1, 28670=1, 28672=1, 28681=1, 28897=1, 31054=1, 31099=1, 32281=1, 32401=1, 33415=1, 33478=1, 33807=1, 34080=1, 34308=1, 34761=1, 36089=1, 36575=1, 36917=1, 36934=1, 37979=1, 38391=1, 38528=1, 39270=1, 39291=1, 39300=1, 39867=1, 40137=1, 40152=1, 40342=1, 41535=1, 41537=1, 41544=1, 41635=1, 41650=1, 41873=1, 42871=1, 44622=1, 44941=1, 45225=1, 45337=1, 48177=1, 50934=1, 51046=1, 52627=1, 53823=1, 53880=1, 53941=1, 54708=1, 55909=1, 55912=1, 55915=1, 55937=1, 58321=1, 59137=1, 59199=1, 59419=1, 59535=1, 59565=1, 60227=1, 60572=1, 60862=1, 60924=1, 61598=1, 61962=1, 61967=1, 62546=1, 63329=1, 64035=1}
Running SMT prover for 64183 properties.
[2022-06-09 06:25:46] [INFO ] Flow matrix only has 92067 transitions (discarded 24696 similar events)
// Phase 1: matrix 92067 rows 1959 cols
[2022-06-09 06:25:46] [INFO ] Computed 12 place invariants in 506 ms
[2022-06-09 06:26:12] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 64183 Parikh solutions to 1 different solutions.
Support contains 1956 out of 1959 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1959/1959 places, 116763/116763 transitions.
Drop transitions removed 2253 transitions
Reduce isomorphic transitions removed 2253 transitions.
Iterating post reduction 0 with 2253 rules applied. Total rules applied 2253 place count 1959 transition count 114510
Applied a total of 2253 rules in 914 ms. Remains 1959 /1959 variables (removed 0) and now considering 114510/116763 (removed 2253) transitions.
Finished structural reductions, in 1 iterations. Remains : 1959/1959 places, 114510/116763 transitions.
[2022-06-09 06:26:18] [INFO ] Flatten gal took : 4366 ms
[2022-06-09 06:26:22] [INFO ] Flatten gal took : 3766 ms
[2022-06-09 06:26:22] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality15342911969014836782.gal : 338 ms
[2022-06-09 06:26:23] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality18207825924837921223.prop : 166 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality15342911969014836782.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality18207825924837921223.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality15342911969014836782.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality18207825924837921223.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2022-06-09 06:26:42] [INFO ] Flatten gal took : 3957 ms
[2022-06-09 06:26:42] [INFO ] Applying decomposition
[2022-06-09 06:26:46] [INFO ] Flatten gal took : 3686 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph17825060992262264010.txt, -o, /tmp/graph17825060992262264010.bin, -w, /tmp/graph17825060992262264010.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph17825060992262264010.bin, -l, -1, -v, -w, /tmp/graph17825060992262264010.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-09 06:26:53] [INFO ] Decomposing Gal with order
[2022-06-09 06:26:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-09 06:27:19] [INFO ] Removed a total of 265015 redundant transitions.
[2022-06-09 06:27:23] [INFO ] Flatten gal took : 25485 ms
[2022-06-09 06:27:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 7715 labels/synchronizations in 6745 ms.
[2022-06-09 06:27:40] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality12061528842132790577.gal : 207 ms
[2022-06-09 06:27:40] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality995308891665021608.prop : 138 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality12061528842132790577.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality995308891665021608.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality12061528842132790577.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality995308891665021608.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin4293810014603951250
[2022-06-09 06:27:57] [INFO ] Built C files in 1322ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin4293810014603951250
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin4293810014603951250]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin4293810014603951250] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin4293810014603951250] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Interrupted random walk after 3949 steps, including 4 resets, run timeout after 30001 ms. (steps per millisecond=0 ) properties seen :{95=1, 141=1, 162=1, 343=1, 638=1, 1253=1, 1274=1, 1291=1, 1565=1, 1733=1, 2378=1, 2514=1, 2608=1, 2617=1, 2665=1, 2761=1, 2817=1, 3152=1, 3153=1, 3163=1, 3681=1, 3883=1, 4109=1, 4457=1, 4590=1, 5428=1, 5437=1, 5996=1, 6415=1, 6441=1, 6482=1, 6823=1, 8042=1, 8047=1, 8091=1, 8094=1, 8375=1, 8389=1, 8500=1, 8631=1, 8731=1, 9328=1, 9356=1, 9567=1, 9570=1, 9644=1, 9925=1, 9975=1, 10413=1, 10584=1, 10594=1, 11514=1, 11944=1, 12271=1, 12365=1, 12616=1, 12619=1, 12666=1, 12740=1, 12757=1, 12908=1, 13033=1, 13047=1, 13117=1, 13356=1, 13447=1, 13661=1, 13706=1, 13840=1, 13850=1, 13927=1, 14183=1, 14184=1, 14351=1, 14563=1, 14584=1, 14882=1, 14972=1, 15293=1, 15359=1, 15706=1, 16163=1, 16165=1, 17083=1, 17587=1, 17979=1, 18055=1, 18094=1, 18096=1, 18274=1, 18469=1, 18520=1, 18905=1, 20347=1, 20360=1, 20369=1, 20697=1, 20698=1, 20703=1, 21028=1, 21066=1, 21081=1, 21130=1, 21142=1, 21174=1, 22626=1, 22639=1, 22967=1, 22993=1, 23555=1, 23577=1, 23860=1, 23878=1, 23892=1, 23894=1, 24474=1, 24486=1, 26329=1, 26637=1, 26770=1, 27284=1, 27652=1, 28111=1, 28492=1, 28631=1, 28644=1, 28668=1, 28999=1, 29038=1, 31201=1, 31216=1, 32037=1, 32089=1, 32120=1, 32346=1, 32510=1, 32548=1, 32706=1, 32725=1, 33729=1, 33975=1, 34034=1, 34049=1, 34163=1, 34274=1, 34396=1, 34872=1, 34875=1, 34882=1, 35194=1, 35209=1, 35385=1, 35401=1, 35845=1, 36234=1, 36537=1, 37533=1, 37936=1, 38233=1, 38839=1, 40247=1, 40385=1, 40481=1, 40643=1, 41284=1, 41467=1, 41516=1, 41747=1, 42248=1, 42267=1, 42305=1, 42397=1, 43196=1, 43211=1, 43254=1, 43310=1, 43849=1, 44287=1, 44580=1, 44607=1, 44612=1, 44648=1, 44685=1, 45358=1, 45535=1, 45616=1, 45912=1, 46280=1, 46568=1, 47018=1, 47067=1, 47207=1, 47347=1, 47408=1, 47457=1, 47703=1, 48085=1, 48108=1, 48207=1, 48396=1, 48801=1, 49030=1, 49061=1, 49676=1, 50059=1, 50558=1, 50897=1, 51011=1, 51187=1, 51287=1, 51384=1, 51732=1, 52234=1, 52410=1, 53156=1, 53163=1, 53209=1, 53216=1, 53685=1, 53965=1, 54053=1, 54138=1, 54247=1, 54533=1, 54627=1, 54654=1, 54729=1, 55183=1, 56502=1, 57627=1, 58061=1, 58111=1, 58198=1, 58200=1, 58203=1, 58447=1, 58850=1, 58917=1, 59175=1, 59193=1, 59203=1, 59639=1, 59646=1, 59656=1, 59663=1, 59814=1, 60068=1, 60088=1, 60195=1, 60481=1, 60573=1, 60836=1, 61083=1, 63946=1, 63979=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 972 ms. (steps per millisecond=1 ) properties (out of 63928) seen :19
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 970 ms. (steps per millisecond=1 ) properties (out of 63909) seen :23
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 954 ms. (steps per millisecond=1 ) properties (out of 63886) seen :15
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 962 ms. (steps per millisecond=1 ) properties (out of 63871) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1188 ms. (steps per millisecond=0 ) properties (out of 63863) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1082 ms. (steps per millisecond=0 ) properties (out of 63853) seen :18
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1059 ms. (steps per millisecond=0 ) properties (out of 63835) seen :15
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1126 ms. (steps per millisecond=0 ) properties (out of 63820) seen :12
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1134 ms. (steps per millisecond=0 ) properties (out of 63808) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1062 ms. (steps per millisecond=0 ) properties (out of 63798) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1073 ms. (steps per millisecond=0 ) properties (out of 63796) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1010 ms. (steps per millisecond=0 ) properties (out of 63792) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 941 ms. (steps per millisecond=1 ) properties (out of 63791) seen :8
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1043 ms. (steps per millisecond=0 ) properties (out of 63783) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 903 ms. (steps per millisecond=1 ) properties (out of 63783) seen :10
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1037 ms. (steps per millisecond=0 ) properties (out of 63773) seen :5
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1111 ms. (steps per millisecond=0 ) properties (out of 63768) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1084 ms. (steps per millisecond=0 ) properties (out of 63767) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1063 ms. (steps per millisecond=0 ) properties (out of 63766) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 963 ms. (steps per millisecond=1 ) properties (out of 63761) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 971 ms. (steps per millisecond=1 ) properties (out of 63760) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1072 ms. (steps per millisecond=0 ) properties (out of 63754) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 928 ms. (steps per millisecond=1 ) properties (out of 63753) seen :19
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1024 ms. (steps per millisecond=0 ) properties (out of 63734) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1041 ms. (steps per millisecond=0 ) properties (out of 63728) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 989 ms. (steps per millisecond=1 ) properties (out of 63726) seen :4
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1051 ms. (steps per millisecond=0 ) properties (out of 63722) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 979 ms. (steps per millisecond=1 ) properties (out of 63721) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1117 ms. (steps per millisecond=0 ) properties (out of 63716) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1102 ms. (steps per millisecond=0 ) properties (out of 63716) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 915 ms. (steps per millisecond=1 ) properties (out of 63714) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 973 ms. (steps per millisecond=1 ) properties (out of 63714) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 985 ms. (steps per millisecond=1 ) properties (out of 63713) seen :4
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 930 ms. (steps per millisecond=1 ) properties (out of 63709) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1096 ms. (steps per millisecond=0 ) properties (out of 63708) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1030 ms. (steps per millisecond=0 ) properties (out of 63703) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 63702) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1070 ms. (steps per millisecond=0 ) properties (out of 63700) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1101 ms. (steps per millisecond=0 ) properties (out of 63699) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1007 ms. (steps per millisecond=0 ) properties (out of 63698) seen :7
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1118 ms. (steps per millisecond=0 ) properties (out of 63691) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 970 ms. (steps per millisecond=1 ) properties (out of 63690) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1174 ms. (steps per millisecond=0 ) properties (out of 63687) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1131 ms. (steps per millisecond=0 ) properties (out of 63687) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1114 ms. (steps per millisecond=0 ) properties (out of 63684) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 953 ms. (steps per millisecond=1 ) properties (out of 63684) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1157 ms. (steps per millisecond=0 ) properties (out of 63679) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1077 ms. (steps per millisecond=0 ) properties (out of 63679) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 940 ms. (steps per millisecond=1 ) properties (out of 63676) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1171 ms. (steps per millisecond=0 ) properties (out of 63676) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1095 ms. (steps per millisecond=0 ) properties (out of 63676) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1112 ms. (steps per millisecond=0 ) properties (out of 63676) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1092 ms. (steps per millisecond=0 ) properties (out of 63676) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1137 ms. (steps per millisecond=0 ) properties (out of 63676) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1111 ms. (steps per millisecond=0 ) properties (out of 63674) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 950 ms. (steps per millisecond=1 ) properties (out of 63674) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1091 ms. (steps per millisecond=0 ) properties (out of 63674) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1061 ms. (steps per millisecond=0 ) properties (out of 63673) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 999 ms. (steps per millisecond=1 ) properties (out of 63672) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 916 ms. (steps per millisecond=1 ) properties (out of 63668) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1080 ms. (steps per millisecond=0 ) properties (out of 63668) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 939 ms. (steps per millisecond=1 ) properties (out of 63668) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 834 ms. (steps per millisecond=1 ) properties (out of 63664) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 953 ms. (steps per millisecond=1 ) properties (out of 63663) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 896 ms. (steps per millisecond=1 ) properties (out of 63662) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 925 ms. (steps per millisecond=1 ) properties (out of 63660) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 903 ms. (steps per millisecond=1 ) properties (out of 63658) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 63658) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 874 ms. (steps per millisecond=1 ) properties (out of 63658) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 918 ms. (steps per millisecond=1 ) properties (out of 63655) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 986 ms. (steps per millisecond=1 ) properties (out of 63654) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1015 ms. (steps per millisecond=0 ) properties (out of 63654) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1113 ms. (steps per millisecond=0 ) properties (out of 63650) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1019 ms. (steps per millisecond=0 ) properties (out of 63649) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 876 ms. (steps per millisecond=1 ) properties (out of 63649) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 995 ms. (steps per millisecond=1 ) properties (out of 63647) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1023 ms. (steps per millisecond=0 ) properties (out of 63646) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 911 ms. (steps per millisecond=1 ) properties (out of 63641) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1087 ms. (steps per millisecond=0 ) properties (out of 63640) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 843 ms. (steps per millisecond=1 ) properties (out of 63638) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1083 ms. (steps per millisecond=0 ) properties (out of 63636) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 935 ms. (steps per millisecond=1 ) properties (out of 63632) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1073 ms. (steps per millisecond=0 ) properties (out of 63631) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 950 ms. (steps per millisecond=1 ) properties (out of 63630) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 998 ms. (steps per millisecond=1 ) properties (out of 63628) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 995 ms. (steps per millisecond=1 ) properties (out of 63628) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1068 ms. (steps per millisecond=0 ) properties (out of 63625) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1001 ms. (steps per millisecond=1 ) properties (out of 63625) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1000 ms. (steps per millisecond=1 ) properties (out of 63624) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 970 ms. (steps per millisecond=1 ) properties (out of 63623) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 969 ms. (steps per millisecond=1 ) properties (out of 63622) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1071 ms. (steps per millisecond=0 ) properties (out of 63621) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 993 ms. (steps per millisecond=1 ) properties (out of 63620) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1029 ms. (steps per millisecond=0 ) properties (out of 63620) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1097 ms. (steps per millisecond=0 ) properties (out of 63617) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1104 ms. (steps per millisecond=0 ) properties (out of 63615) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1020 ms. (steps per millisecond=0 ) properties (out of 63615) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1028 ms. (steps per millisecond=0 ) properties (out of 63613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 953 ms. (steps per millisecond=1 ) properties (out of 63613) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 63612) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1028 ms. (steps per millisecond=0 ) properties (out of 63612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1109 ms. (steps per millisecond=0 ) properties (out of 63612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1061 ms. (steps per millisecond=0 ) properties (out of 63612) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1128 ms. (steps per millisecond=0 ) properties (out of 63612) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1042 ms. (steps per millisecond=0 ) properties (out of 63606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1067 ms. (steps per millisecond=0 ) properties (out of 63606) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 946 ms. (steps per millisecond=1 ) properties (out of 63606) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1030 ms. (steps per millisecond=0 ) properties (out of 63602) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1020 ms. (steps per millisecond=0 ) properties (out of 63601) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 63600) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1026 ms. (steps per millisecond=0 ) properties (out of 63599) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1204 ms. (steps per millisecond=0 ) properties (out of 63599) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 983 ms. (steps per millisecond=1 ) properties (out of 63599) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1080 ms. (steps per millisecond=0 ) properties (out of 63596) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1110 ms. (steps per millisecond=0 ) properties (out of 63596) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1044 ms. (steps per millisecond=0 ) properties (out of 63594) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 975 ms. (steps per millisecond=1 ) properties (out of 63594) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1099 ms. (steps per millisecond=0 ) properties (out of 63594) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1044 ms. (steps per millisecond=0 ) properties (out of 63594) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 983 ms. (steps per millisecond=1 ) properties (out of 63593) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 987 ms. (steps per millisecond=1 ) properties (out of 63593) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 935 ms. (steps per millisecond=1 ) properties (out of 63589) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1041 ms. (steps per millisecond=0 ) properties (out of 63589) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1029 ms. (steps per millisecond=0 ) properties (out of 63589) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 984 ms. (steps per millisecond=1 ) properties (out of 63586) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1074 ms. (steps per millisecond=0 ) properties (out of 63586) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 941 ms. (steps per millisecond=1 ) properties (out of 63586) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1012 ms. (steps per millisecond=0 ) properties (out of 63585) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1044 ms. (steps per millisecond=0 ) properties (out of 63584) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1086 ms. (steps per millisecond=0 ) properties (out of 63583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1199 ms. (steps per millisecond=0 ) properties (out of 63583) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1056 ms. (steps per millisecond=0 ) properties (out of 63583) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 962 ms. (steps per millisecond=1 ) properties (out of 63582) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1005 ms. (steps per millisecond=0 ) properties (out of 63578) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1070 ms. (steps per millisecond=0 ) properties (out of 63573) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 947 ms. (steps per millisecond=1 ) properties (out of 63573) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 998 ms. (steps per millisecond=1 ) properties (out of 63573) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1006 ms. (steps per millisecond=0 ) properties (out of 63573) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1010 ms. (steps per millisecond=0 ) properties (out of 63573) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1025 ms. (steps per millisecond=0 ) properties (out of 63573) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 964 ms. (steps per millisecond=1 ) properties (out of 63573) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 977 ms. (steps per millisecond=1 ) properties (out of 63572) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 998 ms. (steps per millisecond=1 ) properties (out of 63572) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 902 ms. (steps per millisecond=1 ) properties (out of 63572) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1035 ms. (steps per millisecond=0 ) properties (out of 63569) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1026 ms. (steps per millisecond=0 ) properties (out of 63568) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1049 ms. (steps per millisecond=0 ) properties (out of 63568) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1028 ms. (steps per millisecond=0 ) properties (out of 63568) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1085 ms. (steps per millisecond=0 ) properties (out of 63568) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1023 ms. (steps per millisecond=0 ) properties (out of 63568) seen :3
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1058 ms. (steps per millisecond=0 ) properties (out of 63565) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1082 ms. (steps per millisecond=0 ) properties (out of 63565) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1090 ms. (steps per millisecond=0 ) properties (out of 63564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1064 ms. (steps per millisecond=0 ) properties (out of 63564) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1049 ms. (steps per millisecond=0 ) properties (out of 63564) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1068 ms. (steps per millisecond=0 ) properties (out of 63563) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1021 ms. (steps per millisecond=0 ) properties (out of 63560) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1073 ms. (steps per millisecond=0 ) properties (out of 63559) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1054 ms. (steps per millisecond=0 ) properties (out of 63559) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1087 ms. (steps per millisecond=0 ) properties (out of 63559) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 973 ms. (steps per millisecond=1 ) properties (out of 63558) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1039 ms. (steps per millisecond=0 ) properties (out of 63558) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 63558) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 971 ms. (steps per millisecond=1 ) properties (out of 63553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 979 ms. (steps per millisecond=1 ) properties (out of 63553) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 982 ms. (steps per millisecond=1 ) properties (out of 63551) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 969 ms. (steps per millisecond=1 ) properties (out of 63550) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 929 ms. (steps per millisecond=1 ) properties (out of 63550) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1038 ms. (steps per millisecond=0 ) properties (out of 63550) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1050 ms. (steps per millisecond=0 ) properties (out of 63546) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 991 ms. (steps per millisecond=1 ) properties (out of 63546) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1004 ms. (steps per millisecond=0 ) properties (out of 63546) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 974 ms. (steps per millisecond=1 ) properties (out of 63546) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1073 ms. (steps per millisecond=0 ) properties (out of 63546) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 873 ms. (steps per millisecond=1 ) properties (out of 63546) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 991 ms. (steps per millisecond=1 ) properties (out of 63546) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1086 ms. (steps per millisecond=0 ) properties (out of 63546) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 939 ms. (steps per millisecond=1 ) properties (out of 63546) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1073 ms. (steps per millisecond=0 ) properties (out of 63545) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1013 ms. (steps per millisecond=0 ) properties (out of 63545) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1075 ms. (steps per millisecond=0 ) properties (out of 63545) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1150 ms. (steps per millisecond=0 ) properties (out of 63545) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1076 ms. (steps per millisecond=0 ) properties (out of 63543) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 989 ms. (steps per millisecond=1 ) properties (out of 63540) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1066 ms. (steps per millisecond=0 ) properties (out of 63540) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1017 ms. (steps per millisecond=0 ) properties (out of 63538) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1030 ms. (steps per millisecond=0 ) properties (out of 63538) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1114 ms. (steps per millisecond=0 ) properties (out of 63538) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1056 ms. (steps per millisecond=0 ) properties (out of 63538) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1025 ms. (steps per millisecond=0 ) properties (out of 63538) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 999 ms. (steps per millisecond=1 ) properties (out of 63538) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1002 ms. (steps per millisecond=0 ) properties (out of 63538) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 946 ms. (steps per millisecond=1 ) properties (out of 63537) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1127 ms. (steps per millisecond=0 ) properties (out of 63537) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1119 ms. (steps per millisecond=0 ) properties (out of 63537) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 993 ms. (steps per millisecond=1 ) properties (out of 63537) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 63536) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1046 ms. (steps per millisecond=0 ) properties (out of 63536) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1035 ms. (steps per millisecond=0 ) properties (out of 63536) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 63536) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1037 ms. (steps per millisecond=0 ) properties (out of 63536) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 999 ms. (steps per millisecond=1 ) properties (out of 63532) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 998 ms. (steps per millisecond=1 ) properties (out of 63532) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1093 ms. (steps per millisecond=0 ) properties (out of 63532) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1060 ms. (steps per millisecond=0 ) properties (out of 63529) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1108 ms. (steps per millisecond=0 ) properties (out of 63529) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1046 ms. (steps per millisecond=0 ) properties (out of 63528) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1026 ms. (steps per millisecond=0 ) properties (out of 63528) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1019 ms. (steps per millisecond=0 ) properties (out of 63528) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 964 ms. (steps per millisecond=1 ) properties (out of 63526) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 826 ms. (steps per millisecond=1 ) properties (out of 63526) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 63525) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1009 ms. (steps per millisecond=0 ) properties (out of 63525) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 848 ms. (steps per millisecond=1 ) properties (out of 63525) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 950 ms. (steps per millisecond=1 ) properties (out of 63524) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1066 ms. (steps per millisecond=0 ) properties (out of 63521) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1109 ms. (steps per millisecond=0 ) properties (out of 63521) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 998 ms. (steps per millisecond=1 ) properties (out of 63521) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1054 ms. (steps per millisecond=0 ) properties (out of 63519) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 986 ms. (steps per millisecond=1 ) properties (out of 63515) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1044 ms. (steps per millisecond=0 ) properties (out of 63515) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1099 ms. (steps per millisecond=0 ) properties (out of 63515) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1117 ms. (steps per millisecond=0 ) properties (out of 63515) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 931 ms. (steps per millisecond=1 ) properties (out of 63513) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 968 ms. (steps per millisecond=1 ) properties (out of 63510) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1042 ms. (steps per millisecond=0 ) properties (out of 63509) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 970 ms. (steps per millisecond=1 ) properties (out of 63505) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1006 ms. (steps per millisecond=0 ) properties (out of 63504) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1037 ms. (steps per millisecond=0 ) properties (out of 63503) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1131 ms. (steps per millisecond=0 ) properties (out of 63503) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 922 ms. (steps per millisecond=1 ) properties (out of 63503) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1081 ms. (steps per millisecond=0 ) properties (out of 63503) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1033 ms. (steps per millisecond=0 ) properties (out of 63503) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1048 ms. (steps per millisecond=0 ) properties (out of 63502) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 979 ms. (steps per millisecond=1 ) properties (out of 63498) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 933 ms. (steps per millisecond=1 ) properties (out of 63498) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1019 ms. (steps per millisecond=0 ) properties (out of 63498) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 979 ms. (steps per millisecond=1 ) properties (out of 63498) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1007 ms. (steps per millisecond=0 ) properties (out of 63498) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1006 ms. (steps per millisecond=0 ) properties (out of 63497) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1030 ms. (steps per millisecond=0 ) properties (out of 63496) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 953 ms. (steps per millisecond=1 ) properties (out of 63496) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1073 ms. (steps per millisecond=0 ) properties (out of 63496) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 978 ms. (steps per millisecond=1 ) properties (out of 63495) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1090 ms. (steps per millisecond=0 ) properties (out of 63495) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1044 ms. (steps per millisecond=0 ) properties (out of 63495) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1029 ms. (steps per millisecond=0 ) properties (out of 63495) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 914 ms. (steps per millisecond=1 ) properties (out of 63495) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1063 ms. (steps per millisecond=0 ) properties (out of 63493) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1045 ms. (steps per millisecond=0 ) properties (out of 63492) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1172 ms. (steps per millisecond=0 ) properties (out of 63492) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 63492) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 988 ms. (steps per millisecond=1 ) properties (out of 63492) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 926 ms. (steps per millisecond=1 ) properties (out of 63492) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 833 ms. (steps per millisecond=1 ) properties (out of 63491) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 917 ms. (steps per millisecond=1 ) properties (out of 63491) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 916 ms. (steps per millisecond=1 ) properties (out of 63490) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 937 ms. (steps per millisecond=1 ) properties (out of 63489) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 877 ms. (steps per millisecond=1 ) properties (out of 63489) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 948 ms. (steps per millisecond=1 ) properties (out of 63489) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 975 ms. (steps per millisecond=1 ) properties (out of 63489) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1032 ms. (steps per millisecond=0 ) properties (out of 63487) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1026 ms. (steps per millisecond=0 ) properties (out of 63487) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1025 ms. (steps per millisecond=0 ) properties (out of 63487) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 970 ms. (steps per millisecond=1 ) properties (out of 63487) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 952 ms. (steps per millisecond=1 ) properties (out of 63487) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 864 ms. (steps per millisecond=1 ) properties (out of 63486) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1019 ms. (steps per millisecond=0 ) properties (out of 63486) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1049 ms. (steps per millisecond=0 ) properties (out of 63486) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 982 ms. (steps per millisecond=1 ) properties (out of 63482) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1094 ms. (steps per millisecond=0 ) properties (out of 63481) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 993 ms. (steps per millisecond=1 ) properties (out of 63481) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 985 ms. (steps per millisecond=1 ) properties (out of 63481) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1126 ms. (steps per millisecond=0 ) properties (out of 63481) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1047 ms. (steps per millisecond=0 ) properties (out of 63478) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 851 ms. (steps per millisecond=1 ) properties (out of 63478) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 898 ms. (steps per millisecond=1 ) properties (out of 63478) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 930 ms. (steps per millisecond=1 ) properties (out of 63478) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1036 ms. (steps per millisecond=0 ) properties (out of 63477) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 959 ms. (steps per millisecond=1 ) properties (out of 63476) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 941 ms. (steps per millisecond=1 ) properties (out of 63476) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 992 ms. (steps per millisecond=1 ) properties (out of 63476) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 972 ms. (steps per millisecond=1 ) properties (out of 63476) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 908 ms. (steps per millisecond=1 ) properties (out of 63476) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1157 ms. (steps per millisecond=0 ) properties (out of 63476) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 982 ms. (steps per millisecond=1 ) properties (out of 63476) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1046 ms. (steps per millisecond=0 ) properties (out of 63476) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1185 ms. (steps per millisecond=0 ) properties (out of 63476) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1030 ms. (steps per millisecond=0 ) properties (out of 63476) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1054 ms. (steps per millisecond=0 ) properties (out of 63476) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1028 ms. (steps per millisecond=0 ) properties (out of 63476) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1037 ms. (steps per millisecond=0 ) properties (out of 63476) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1081 ms. (steps per millisecond=0 ) properties (out of 63476) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 981 ms. (steps per millisecond=1 ) properties (out of 63475) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1024 ms. (steps per millisecond=0 ) properties (out of 63475) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1072 ms. (steps per millisecond=0 ) properties (out of 63474) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1000 ms. (steps per millisecond=1 ) properties (out of 63474) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 840 ms. (steps per millisecond=1 ) properties (out of 63474) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1038 ms. (steps per millisecond=0 ) properties (out of 63474) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1044 ms. (steps per millisecond=0 ) properties (out of 63474) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 998 ms. (steps per millisecond=1 ) properties (out of 63474) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1065 ms. (steps per millisecond=0 ) properties (out of 63474) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1066 ms. (steps per millisecond=0 ) properties (out of 63474) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1006 ms. (steps per millisecond=0 ) properties (out of 63472) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1098 ms. (steps per millisecond=0 ) properties (out of 63472) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 63472) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1075 ms. (steps per millisecond=0 ) properties (out of 63472) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1060 ms. (steps per millisecond=0 ) properties (out of 63472) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1092 ms. (steps per millisecond=0 ) properties (out of 63472) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1029 ms. (steps per millisecond=0 ) properties (out of 63472) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1081 ms. (steps per millisecond=0 ) properties (out of 63472) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1061 ms. (steps per millisecond=0 ) properties (out of 63470) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 955 ms. (steps per millisecond=1 ) properties (out of 63470) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1051 ms. (steps per millisecond=0 ) properties (out of 63470) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1022 ms. (steps per millisecond=0 ) properties (out of 63470) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 956 ms. (steps per millisecond=1 ) properties (out of 63470) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1034 ms. (steps per millisecond=0 ) properties (out of 63470) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1007 ms. (steps per millisecond=0 ) properties (out of 63470) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 875 ms. (steps per millisecond=1 ) properties (out of 63470) seen :6
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 984 ms. (steps per millisecond=1 ) properties (out of 63464) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1002 ms. (steps per millisecond=0 ) properties (out of 63464) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1035 ms. (steps per millisecond=0 ) properties (out of 63464) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1080 ms. (steps per millisecond=0 ) properties (out of 63463) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1080 ms. (steps per millisecond=0 ) properties (out of 63463) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 984 ms. (steps per millisecond=1 ) properties (out of 63463) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 952 ms. (steps per millisecond=1 ) properties (out of 63463) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1072 ms. (steps per millisecond=0 ) properties (out of 63463) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1058 ms. (steps per millisecond=0 ) properties (out of 63463) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 967 ms. (steps per millisecond=1 ) properties (out of 63459) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 952 ms. (steps per millisecond=1 ) properties (out of 63458) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 987 ms. (steps per millisecond=1 ) properties (out of 63454) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1011 ms. (steps per millisecond=0 ) properties (out of 63454) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1070 ms. (steps per millisecond=0 ) properties (out of 63454) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 956 ms. (steps per millisecond=1 ) properties (out of 63452) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 807 ms. (steps per millisecond=1 ) properties (out of 63452) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 63449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1002 ms. (steps per millisecond=0 ) properties (out of 63449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1117 ms. (steps per millisecond=0 ) properties (out of 63449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1046 ms. (steps per millisecond=0 ) properties (out of 63449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 866 ms. (steps per millisecond=1 ) properties (out of 63449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1004 ms. (steps per millisecond=0 ) properties (out of 63449) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 918 ms. (steps per millisecond=1 ) properties (out of 63449) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1020 ms. (steps per millisecond=0 ) properties (out of 63447) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 973 ms. (steps per millisecond=1 ) properties (out of 63447) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1076 ms. (steps per millisecond=0 ) properties (out of 63447) seen :4
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1135 ms. (steps per millisecond=0 ) properties (out of 63443) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1048 ms. (steps per millisecond=0 ) properties (out of 63443) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 868 ms. (steps per millisecond=1 ) properties (out of 63443) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1034 ms. (steps per millisecond=0 ) properties (out of 63443) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 895 ms. (steps per millisecond=1 ) properties (out of 63443) seen :9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 958 ms. (steps per millisecond=1 ) properties (out of 63434) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 987 ms. (steps per millisecond=1 ) properties (out of 63433) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 63433) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 999 ms. (steps per millisecond=1 ) properties (out of 63433) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 938 ms. (steps per millisecond=1 ) properties (out of 63433) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 945 ms. (steps per millisecond=1 ) properties (out of 63433) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1063 ms. (steps per millisecond=0 ) properties (out of 63431) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 933 ms. (steps per millisecond=1 ) properties (out of 63431) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 960 ms. (steps per millisecond=1 ) properties (out of 63431) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1011 ms. (steps per millisecond=0 ) properties (out of 63431) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 933 ms. (steps per millisecond=1 ) properties (out of 63431) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 989 ms. (steps per millisecond=1 ) properties (out of 63431) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1051 ms. (steps per millisecond=0 ) properties (out of 63431) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1028 ms. (steps per millisecond=0 ) properties (out of 63431) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1033 ms. (steps per millisecond=0 ) properties (out of 63430) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 987 ms. (steps per millisecond=1 ) properties (out of 63430) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1067 ms. (steps per millisecond=0 ) properties (out of 63428) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1044 ms. (steps per millisecond=0 ) properties (out of 63428) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 997 ms. (steps per millisecond=1 ) properties (out of 63428) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 999 ms. (steps per millisecond=1 ) properties (out of 63428) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1024 ms. (steps per millisecond=0 ) properties (out of 63424) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 63424) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 63424) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1049 ms. (steps per millisecond=0 ) properties (out of 63423) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1086 ms. (steps per millisecond=0 ) properties (out of 63423) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 901 ms. (steps per millisecond=1 ) properties (out of 63423) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1110 ms. (steps per millisecond=0 ) properties (out of 63423) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 975 ms. (steps per millisecond=1 ) properties (out of 63423) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 955 ms. (steps per millisecond=1 ) properties (out of 63422) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1006 ms. (steps per millisecond=0 ) properties (out of 63422) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1011 ms. (steps per millisecond=0 ) properties (out of 63421) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1034 ms. (steps per millisecond=0 ) properties (out of 63421) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1090 ms. (steps per millisecond=0 ) properties (out of 63421) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1014 ms. (steps per millisecond=0 ) properties (out of 63421) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 63420) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 902 ms. (steps per millisecond=1 ) properties (out of 63420) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 978 ms. (steps per millisecond=1 ) properties (out of 63420) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 990 ms. (steps per millisecond=1 ) properties (out of 63419) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1066 ms. (steps per millisecond=0 ) properties (out of 63419) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 955 ms. (steps per millisecond=1 ) properties (out of 63419) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1191 ms. (steps per millisecond=0 ) properties (out of 63418) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 882 ms. (steps per millisecond=1 ) properties (out of 63416) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 948 ms. (steps per millisecond=1 ) properties (out of 63416) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 914 ms. (steps per millisecond=1 ) properties (out of 63416) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 983 ms. (steps per millisecond=1 ) properties (out of 63416) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 949 ms. (steps per millisecond=1 ) properties (out of 63416) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 931 ms. (steps per millisecond=1 ) properties (out of 63416) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1032 ms. (steps per millisecond=0 ) properties (out of 63416) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1002 ms. (steps per millisecond=0 ) properties (out of 63412) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1002 ms. (steps per millisecond=0 ) properties (out of 63412) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 879 ms. (steps per millisecond=1 ) properties (out of 63412) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 984 ms. (steps per millisecond=1 ) properties (out of 63412) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 914 ms. (steps per millisecond=1 ) properties (out of 63412) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 931 ms. (steps per millisecond=1 ) properties (out of 63412) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 63412) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 995 ms. (steps per millisecond=1 ) properties (out of 63412) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 920 ms. (steps per millisecond=1 ) properties (out of 63411) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 925 ms. (steps per millisecond=1 ) properties (out of 63408) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 871 ms. (steps per millisecond=1 ) properties (out of 63408) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 901 ms. (steps per millisecond=1 ) properties (out of 63408) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 960 ms. (steps per millisecond=1 ) properties (out of 63408) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 897 ms. (steps per millisecond=1 ) properties (out of 63408) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 894 ms. (steps per millisecond=1 ) properties (out of 63408) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 63408) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1069 ms. (steps per millisecond=0 ) properties (out of 63408) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1103 ms. (steps per millisecond=0 ) properties (out of 63406) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1128 ms. (steps per millisecond=0 ) properties (out of 63406) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1039 ms. (steps per millisecond=0 ) properties (out of 63406) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1080 ms. (steps per millisecond=0 ) properties (out of 63406) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1074 ms. (steps per millisecond=0 ) properties (out of 63406) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1006 ms. (steps per millisecond=0 ) properties (out of 63406) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1014 ms. (steps per millisecond=0 ) properties (out of 63406) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 63404) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1044 ms. (steps per millisecond=0 ) properties (out of 63404) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1026 ms. (steps per millisecond=0 ) properties (out of 63404) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 973 ms. (steps per millisecond=1 ) properties (out of 63404) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1132 ms. (steps per millisecond=0 ) properties (out of 63404) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1079 ms. (steps per millisecond=0 ) properties (out of 63402) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 997 ms. (steps per millisecond=1 ) properties (out of 63402) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1058 ms. (steps per millisecond=0 ) properties (out of 63402) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 958 ms. (steps per millisecond=1 ) properties (out of 63402) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1012 ms. (steps per millisecond=0 ) properties (out of 63402) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1105 ms. (steps per millisecond=0 ) properties (out of 63402) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1046 ms. (steps per millisecond=0 ) properties (out of 63401) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 883 ms. (steps per millisecond=1 ) properties (out of 63401) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 923 ms. (steps per millisecond=1 ) properties (out of 63401) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 63401) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 986 ms. (steps per millisecond=1 ) properties (out of 63400) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 859 ms. (steps per millisecond=1 ) properties (out of 63400) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 968 ms. (steps per millisecond=1 ) properties (out of 63400) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 995 ms. (steps per millisecond=1 ) properties (out of 63400) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1067 ms. (steps per millisecond=0 ) properties (out of 63400) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1033 ms. (steps per millisecond=0 ) properties (out of 63400) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 852 ms. (steps per millisecond=1 ) properties (out of 63400) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 877 ms. (steps per millisecond=1 ) properties (out of 63399) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1052 ms. (steps per millisecond=0 ) properties (out of 63398) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1116 ms. (steps per millisecond=0 ) properties (out of 63398) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 907 ms. (steps per millisecond=1 ) properties (out of 63397) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 906 ms. (steps per millisecond=1 ) properties (out of 63397) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 926 ms. (steps per millisecond=1 ) properties (out of 63397) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1027 ms. (steps per millisecond=0 ) properties (out of 63397) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 822 ms. (steps per millisecond=1 ) properties (out of 63395) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 808 ms. (steps per millisecond=1 ) properties (out of 63395) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 859 ms. (steps per millisecond=1 ) properties (out of 63395) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 989 ms. (steps per millisecond=1 ) properties (out of 63394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1021 ms. (steps per millisecond=0 ) properties (out of 63394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1003 ms. (steps per millisecond=0 ) properties (out of 63394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1040 ms. (steps per millisecond=0 ) properties (out of 63394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 795 ms. (steps per millisecond=1 ) properties (out of 63394) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 880 ms. (steps per millisecond=1 ) properties (out of 63394) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 897 ms. (steps per millisecond=1 ) properties (out of 63393) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 825 ms. (steps per millisecond=1 ) properties (out of 63393) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 755 ms. (steps per millisecond=1 ) properties (out of 63393) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 891 ms. (steps per millisecond=1 ) properties (out of 63393) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 913 ms. (steps per millisecond=1 ) properties (out of 63393) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 945 ms. (steps per millisecond=1 ) properties (out of 63393) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 847 ms. (steps per millisecond=1 ) properties (out of 63392) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 869 ms. (steps per millisecond=1 ) properties (out of 63392) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 903 ms. (steps per millisecond=1 ) properties (out of 63392) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1081 ms. (steps per millisecond=0 ) properties (out of 63392) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 875 ms. (steps per millisecond=1 ) properties (out of 63392) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 903 ms. (steps per millisecond=1 ) properties (out of 63390) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1048 ms. (steps per millisecond=0 ) properties (out of 63388) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1002 ms. (steps per millisecond=0 ) properties (out of 63388) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 821 ms. (steps per millisecond=1 ) properties (out of 63388) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 789 ms. (steps per millisecond=1 ) properties (out of 63388) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 896 ms. (steps per millisecond=1 ) properties (out of 63388) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 839 ms. (steps per millisecond=1 ) properties (out of 63388) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 968 ms. (steps per millisecond=1 ) properties (out of 63388) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1019 ms. (steps per millisecond=0 ) properties (out of 63388) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1111 ms. (steps per millisecond=0 ) properties (out of 63388) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 871 ms. (steps per millisecond=1 ) properties (out of 63388) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 962 ms. (steps per millisecond=1 ) properties (out of 63388) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 994 ms. (steps per millisecond=1 ) properties (out of 63388) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 946 ms. (steps per millisecond=1 ) properties (out of 63388) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 833 ms. (steps per millisecond=1 ) properties (out of 63388) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1020 ms. (steps per millisecond=0 ) properties (out of 63388) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 935 ms. (steps per millisecond=1 ) properties (out of 63387) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 999 ms. (steps per millisecond=1 ) properties (out of 63387) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1046 ms. (steps per millisecond=0 ) properties (out of 63387) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1063 ms. (steps per millisecond=0 ) properties (out of 63387) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1073 ms. (steps per millisecond=0 ) properties (out of 63387) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1009 ms. (steps per millisecond=0 ) properties (out of 63387) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 982 ms. (steps per millisecond=1 ) properties (out of 63387) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1045 ms. (steps per millisecond=0 ) properties (out of 63387) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 992 ms. (steps per millisecond=1 ) properties (out of 63387) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1059 ms. (steps per millisecond=0 ) properties (out of 63385) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1019 ms. (steps per millisecond=0 ) properties (out of 63385) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 984 ms. (steps per millisecond=1 ) properties (out of 63385) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1016 ms. (steps per millisecond=0 ) properties (out of 63385) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1032 ms. (steps per millisecond=0 ) properties (out of 63385) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1103 ms. (steps per millisecond=0 ) properties (out of 63385) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1050 ms. (steps per millisecond=0 ) properties (out of 63385) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1083 ms. (steps per millisecond=0 ) properties (out of 63385) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1043 ms. (steps per millisecond=0 ) properties (out of 63385) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1044 ms. (steps per millisecond=0 ) properties (out of 63385) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1090 ms. (steps per millisecond=0 ) properties (out of 63385) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 962 ms. (steps per millisecond=1 ) properties (out of 63385) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1093 ms. (steps per millisecond=0 ) properties (out of 63384) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1043 ms. (steps per millisecond=0 ) properties (out of 63384) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1135 ms. (steps per millisecond=0 ) properties (out of 63384) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1056 ms. (steps per millisecond=0 ) properties (out of 63384) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1080 ms. (steps per millisecond=0 ) properties (out of 63384) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1043 ms. (steps per millisecond=0 ) properties (out of 63384) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1099 ms. (steps per millisecond=0 ) properties (out of 63384) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 994 ms. (steps per millisecond=1 ) properties (out of 63384) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1093 ms. (steps per millisecond=0 ) properties (out of 63383) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1040 ms. (steps per millisecond=0 ) properties (out of 63383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1164 ms. (steps per millisecond=0 ) properties (out of 63383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1081 ms. (steps per millisecond=0 ) properties (out of 63383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1003 ms. (steps per millisecond=0 ) properties (out of 63383) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1009 ms. (steps per millisecond=0 ) properties (out of 63383) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1018 ms. (steps per millisecond=0 ) properties (out of 63375) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1026 ms. (steps per millisecond=0 ) properties (out of 63375) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 962 ms. (steps per millisecond=1 ) properties (out of 63375) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 999 ms. (steps per millisecond=1 ) properties (out of 63375) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1081 ms. (steps per millisecond=0 ) properties (out of 63375) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 916 ms. (steps per millisecond=1 ) properties (out of 63375) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1032 ms. (steps per millisecond=0 ) properties (out of 63375) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1071 ms. (steps per millisecond=0 ) properties (out of 63375) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1051 ms. (steps per millisecond=0 ) properties (out of 63373) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 920 ms. (steps per millisecond=1 ) properties (out of 63373) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 863 ms. (steps per millisecond=1 ) properties (out of 63373) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 919 ms. (steps per millisecond=1 ) properties (out of 63373) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 968 ms. (steps per millisecond=1 ) properties (out of 63373) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1063 ms. (steps per millisecond=0 ) properties (out of 63373) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1145 ms. (steps per millisecond=0 ) properties (out of 63373) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 971 ms. (steps per millisecond=1 ) properties (out of 63372) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1022 ms. (steps per millisecond=0 ) properties (out of 63371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1078 ms. (steps per millisecond=0 ) properties (out of 63371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1040 ms. (steps per millisecond=0 ) properties (out of 63371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1090 ms. (steps per millisecond=0 ) properties (out of 63371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 997 ms. (steps per millisecond=1 ) properties (out of 63371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1023 ms. (steps per millisecond=0 ) properties (out of 63371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 952 ms. (steps per millisecond=1 ) properties (out of 63371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1015 ms. (steps per millisecond=0 ) properties (out of 63371) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1021 ms. (steps per millisecond=0 ) properties (out of 63371) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1008 ms. (steps per millisecond=0 ) properties (out of 63370) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1066 ms. (steps per millisecond=0 ) properties (out of 63370) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1082 ms. (steps per millisecond=0 ) properties (out of 63370) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 964 ms. (steps per millisecond=1 ) properties (out of 63370) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 882 ms. (steps per millisecond=1 ) properties (out of 63370) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1032 ms. (steps per millisecond=0 ) properties (out of 63369) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1055 ms. (steps per millisecond=0 ) properties (out of 63369) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1005 ms. (steps per millisecond=0 ) properties (out of 63369) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 989 ms. (steps per millisecond=1 ) properties (out of 63369) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1140 ms. (steps per millisecond=0 ) properties (out of 63369) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1024 ms. (steps per millisecond=0 ) properties (out of 63369) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 873 ms. (steps per millisecond=1 ) properties (out of 63369) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1009 ms. (steps per millisecond=0 ) properties (out of 63369) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 942 ms. (steps per millisecond=1 ) properties (out of 63369) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 964 ms. (steps per millisecond=1 ) properties (out of 63368) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 63368) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 965 ms. (steps per millisecond=1 ) properties (out of 63367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 995 ms. (steps per millisecond=1 ) properties (out of 63367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1052 ms. (steps per millisecond=0 ) properties (out of 63367) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1113 ms. (steps per millisecond=0 ) properties (out of 63367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1047 ms. (steps per millisecond=0 ) properties (out of 63367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1047 ms. (steps per millisecond=0 ) properties (out of 63367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 992 ms. (steps per millisecond=1 ) properties (out of 63367) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1007 ms. (steps per millisecond=0 ) properties (out of 63367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 888 ms. (steps per millisecond=1 ) properties (out of 63367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 968 ms. (steps per millisecond=1 ) properties (out of 63367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 895 ms. (steps per millisecond=1 ) properties (out of 63367) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 973 ms. (steps per millisecond=1 ) properties (out of 63366) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 994 ms. (steps per millisecond=1 ) properties (out of 63366) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1000 ms. (steps per millisecond=1 ) properties (out of 63362) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 986 ms. (steps per millisecond=1 ) properties (out of 63362) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1001 ms. (steps per millisecond=1 ) properties (out of 63362) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 974 ms. (steps per millisecond=1 ) properties (out of 63362) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 974 ms. (steps per millisecond=1 ) properties (out of 63362) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 983 ms. (steps per millisecond=1 ) properties (out of 63361) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1019 ms. (steps per millisecond=0 ) properties (out of 63361) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1025 ms. (steps per millisecond=0 ) properties (out of 63361) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1028 ms. (steps per millisecond=0 ) properties (out of 63361) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1076 ms. (steps per millisecond=0 ) properties (out of 63361) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 933 ms. (steps per millisecond=1 ) properties (out of 63361) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 974 ms. (steps per millisecond=1 ) properties (out of 63361) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1009 ms. (steps per millisecond=0 ) properties (out of 63361) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1023 ms. (steps per millisecond=0 ) properties (out of 63361) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1040 ms. (steps per millisecond=0 ) properties (out of 63361) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1062 ms. (steps per millisecond=0 ) properties (out of 63361) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1066 ms. (steps per millisecond=0 ) properties (out of 63361) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1018 ms. (steps per millisecond=0 ) properties (out of 63361) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 979 ms. (steps per millisecond=1 ) properties (out of 63361) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1126 ms. (steps per millisecond=0 ) properties (out of 63359) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 983 ms. (steps per millisecond=1 ) properties (out of 63359) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1185 ms. (steps per millisecond=0 ) properties (out of 63355) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1033 ms. (steps per millisecond=0 ) properties (out of 63355) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1020 ms. (steps per millisecond=0 ) properties (out of 63355) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1100 ms. (steps per millisecond=0 ) properties (out of 63355) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1040 ms. (steps per millisecond=0 ) properties (out of 63355) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1034 ms. (steps per millisecond=0 ) properties (out of 63355) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 972 ms. (steps per millisecond=1 ) properties (out of 63355) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1011 ms. (steps per millisecond=0 ) properties (out of 63355) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 923 ms. (steps per millisecond=1 ) properties (out of 63355) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1095 ms. (steps per millisecond=0 ) properties (out of 63355) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 954 ms. (steps per millisecond=1 ) properties (out of 63355) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1052 ms. (steps per millisecond=0 ) properties (out of 63355) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 983 ms. (steps per millisecond=1 ) properties (out of 63355) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 63355) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1007 ms. (steps per millisecond=0 ) properties (out of 63355) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1059 ms. (steps per millisecond=0 ) properties (out of 63355) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1035 ms. (steps per millisecond=0 ) properties (out of 63355) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1032 ms. (steps per millisecond=0 ) properties (out of 63355) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1002 ms. (steps per millisecond=0 ) properties (out of 63355) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 901 ms. (steps per millisecond=1 ) properties (out of 63353) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 945 ms. (steps per millisecond=1 ) properties (out of 63353) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1077 ms. (steps per millisecond=0 ) properties (out of 63352) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 991 ms. (steps per millisecond=1 ) properties (out of 63352) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1062 ms. (steps per millisecond=0 ) properties (out of 63352) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 918 ms. (steps per millisecond=1 ) properties (out of 63352) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 960 ms. (steps per millisecond=1 ) properties (out of 63352) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 967 ms. (steps per millisecond=1 ) properties (out of 63352) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1003 ms. (steps per millisecond=0 ) properties (out of 63352) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 851 ms. (steps per millisecond=1 ) properties (out of 63352) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 927 ms. (steps per millisecond=1 ) properties (out of 63352) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1016 ms. (steps per millisecond=0 ) properties (out of 63352) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1010 ms. (steps per millisecond=0 ) properties (out of 63352) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 63352) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1127 ms. (steps per millisecond=0 ) properties (out of 63352) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1087 ms. (steps per millisecond=0 ) properties (out of 63352) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1045 ms. (steps per millisecond=0 ) properties (out of 63352) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 969 ms. (steps per millisecond=1 ) properties (out of 63351) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 996 ms. (steps per millisecond=1 ) properties (out of 63351) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1142 ms. (steps per millisecond=0 ) properties (out of 63351) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1050 ms. (steps per millisecond=0 ) properties (out of 63351) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 994 ms. (steps per millisecond=1 ) properties (out of 63350) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 932 ms. (steps per millisecond=1 ) properties (out of 63350) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1059 ms. (steps per millisecond=0 ) properties (out of 63350) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 960 ms. (steps per millisecond=1 ) properties (out of 63350) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1093 ms. (steps per millisecond=0 ) properties (out of 63350) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 996 ms. (steps per millisecond=1 ) properties (out of 63350) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1029 ms. (steps per millisecond=0 ) properties (out of 63350) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1018 ms. (steps per millisecond=0 ) properties (out of 63350) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1094 ms. (steps per millisecond=0 ) properties (out of 63350) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1021 ms. (steps per millisecond=0 ) properties (out of 63347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1011 ms. (steps per millisecond=0 ) properties (out of 63347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1094 ms. (steps per millisecond=0 ) properties (out of 63347) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 951 ms. (steps per millisecond=1 ) properties (out of 63346) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1110 ms. (steps per millisecond=0 ) properties (out of 63346) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1002 ms. (steps per millisecond=0 ) properties (out of 63341) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1024 ms. (steps per millisecond=0 ) properties (out of 63340) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1009 ms. (steps per millisecond=0 ) properties (out of 63340) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1074 ms. (steps per millisecond=0 ) properties (out of 63336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1085 ms. (steps per millisecond=0 ) properties (out of 63336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1078 ms. (steps per millisecond=0 ) properties (out of 63336) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1027 ms. (steps per millisecond=0 ) properties (out of 63335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 981 ms. (steps per millisecond=1 ) properties (out of 63335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1078 ms. (steps per millisecond=0 ) properties (out of 63335) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 989 ms. (steps per millisecond=1 ) properties (out of 63331) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1056 ms. (steps per millisecond=0 ) properties (out of 63330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 952 ms. (steps per millisecond=1 ) properties (out of 63330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1055 ms. (steps per millisecond=0 ) properties (out of 63330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1007 ms. (steps per millisecond=0 ) properties (out of 63330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1033 ms. (steps per millisecond=0 ) properties (out of 63330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1007 ms. (steps per millisecond=0 ) properties (out of 63330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1067 ms. (steps per millisecond=0 ) properties (out of 63330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 978 ms. (steps per millisecond=1 ) properties (out of 63330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1006 ms. (steps per millisecond=0 ) properties (out of 63330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1046 ms. (steps per millisecond=0 ) properties (out of 63330) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1053 ms. (steps per millisecond=0 ) properties (out of 63329) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1078 ms. (steps per millisecond=0 ) properties (out of 63329) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 939 ms. (steps per millisecond=1 ) properties (out of 63328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1075 ms. (steps per millisecond=0 ) properties (out of 63328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 966 ms. (steps per millisecond=1 ) properties (out of 63328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 968 ms. (steps per millisecond=1 ) properties (out of 63328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1098 ms. (steps per millisecond=0 ) properties (out of 63328) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1072 ms. (steps per millisecond=0 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1060 ms. (steps per millisecond=0 ) properties (out of 63323) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1054 ms. (steps per millisecond=0 ) properties (out of 63320) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1057 ms. (steps per millisecond=0 ) properties (out of 63320) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1043 ms. (steps per millisecond=0 ) properties (out of 63320) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1005 ms. (steps per millisecond=0 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 952 ms. (steps per millisecond=1 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1021 ms. (steps per millisecond=0 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1096 ms. (steps per millisecond=0 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1038 ms. (steps per millisecond=0 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1025 ms. (steps per millisecond=0 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1110 ms. (steps per millisecond=0 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1043 ms. (steps per millisecond=0 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1135 ms. (steps per millisecond=0 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1060 ms. (steps per millisecond=0 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1006 ms. (steps per millisecond=0 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1009 ms. (steps per millisecond=0 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1140 ms. (steps per millisecond=0 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1108 ms. (steps per millisecond=0 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 988 ms. (steps per millisecond=1 ) properties (out of 63319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1104 ms. (steps per millisecond=0 ) properties (out of 63319) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1000 ms. (steps per millisecond=1 ) properties (out of 63317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1085 ms. (steps per millisecond=0 ) properties (out of 63317) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 990 ms. (steps per millisecond=1 ) properties (out of 63316) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1076 ms. (steps per millisecond=0 ) properties (out of 63316) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1033 ms. (steps per millisecond=0 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1172 ms. (steps per millisecond=0 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1041 ms. (steps per millisecond=0 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1058 ms. (steps per millisecond=0 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1080 ms. (steps per millisecond=0 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 926 ms. (steps per millisecond=1 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 959 ms. (steps per millisecond=1 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 965 ms. (steps per millisecond=1 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1042 ms. (steps per millisecond=0 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 989 ms. (steps per millisecond=1 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 930 ms. (steps per millisecond=1 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 991 ms. (steps per millisecond=1 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1002 ms. (steps per millisecond=0 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1056 ms. (steps per millisecond=0 ) properties (out of 63315) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1061 ms. (steps per millisecond=0 ) properties (out of 63313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 938 ms. (steps per millisecond=1 ) properties (out of 63313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1032 ms. (steps per millisecond=0 ) properties (out of 63313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1014 ms. (steps per millisecond=0 ) properties (out of 63313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1035 ms. (steps per millisecond=0 ) properties (out of 63313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 990 ms. (steps per millisecond=1 ) properties (out of 63313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 974 ms. (steps per millisecond=1 ) properties (out of 63313) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1020 ms. (steps per millisecond=0 ) properties (out of 63311) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1039 ms. (steps per millisecond=0 ) properties (out of 63311) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1030 ms. (steps per millisecond=0 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 990 ms. (steps per millisecond=1 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1058 ms. (steps per millisecond=0 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 985 ms. (steps per millisecond=1 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1005 ms. (steps per millisecond=0 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1007 ms. (steps per millisecond=0 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 925 ms. (steps per millisecond=1 ) properties (out of 63308) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 988 ms. (steps per millisecond=1 ) properties (out of 63306) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 956 ms. (steps per millisecond=1 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 994 ms. (steps per millisecond=1 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 989 ms. (steps per millisecond=1 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1011 ms. (steps per millisecond=0 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1054 ms. (steps per millisecond=0 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1065 ms. (steps per millisecond=0 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 958 ms. (steps per millisecond=1 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1009 ms. (steps per millisecond=0 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 951 ms. (steps per millisecond=1 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 923 ms. (steps per millisecond=1 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1025 ms. (steps per millisecond=0 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 951 ms. (steps per millisecond=1 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 966 ms. (steps per millisecond=1 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1001 ms. (steps per millisecond=1 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1039 ms. (steps per millisecond=0 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1065 ms. (steps per millisecond=0 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 63305) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 932 ms. (steps per millisecond=1 ) properties (out of 63304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 941 ms. (steps per millisecond=1 ) properties (out of 63304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1042 ms. (steps per millisecond=0 ) properties (out of 63304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1054 ms. (steps per millisecond=0 ) properties (out of 63304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1021 ms. (steps per millisecond=0 ) properties (out of 63304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1007 ms. (steps per millisecond=0 ) properties (out of 63304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 934 ms. (steps per millisecond=1 ) properties (out of 63304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 994 ms. (steps per millisecond=1 ) properties (out of 63304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1022 ms. (steps per millisecond=0 ) properties (out of 63304) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1017 ms. (steps per millisecond=0 ) properties (out of 63303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 63303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1000 ms. (steps per millisecond=1 ) properties (out of 63303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1035 ms. (steps per millisecond=0 ) properties (out of 63303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 973 ms. (steps per millisecond=1 ) properties (out of 63303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1011 ms. (steps per millisecond=0 ) properties (out of 63303) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1011 ms. (steps per millisecond=0 ) properties (out of 63300) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1051 ms. (steps per millisecond=0 ) properties (out of 63300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1047 ms. (steps per millisecond=0 ) properties (out of 63300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1063 ms. (steps per millisecond=0 ) properties (out of 63300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 921 ms. (steps per millisecond=1 ) properties (out of 63300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1044 ms. (steps per millisecond=0 ) properties (out of 63300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1043 ms. (steps per millisecond=0 ) properties (out of 63300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1042 ms. (steps per millisecond=0 ) properties (out of 63300) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 919 ms. (steps per millisecond=1 ) properties (out of 63300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1002 ms. (steps per millisecond=0 ) properties (out of 63300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 974 ms. (steps per millisecond=1 ) properties (out of 63300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1029 ms. (steps per millisecond=0 ) properties (out of 63300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1065 ms. (steps per millisecond=0 ) properties (out of 63300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 956 ms. (steps per millisecond=1 ) properties (out of 63300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1038 ms. (steps per millisecond=0 ) properties (out of 63300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 992 ms. (steps per millisecond=1 ) properties (out of 63300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1013 ms. (steps per millisecond=0 ) properties (out of 63300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1019 ms. (steps per millisecond=0 ) properties (out of 63300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 985 ms. (steps per millisecond=1 ) properties (out of 63300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 950 ms. (steps per millisecond=1 ) properties (out of 63300) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1061 ms. (steps per millisecond=0 ) properties (out of 63299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 967 ms. (steps per millisecond=1 ) properties (out of 63299) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1042 ms. (steps per millisecond=0 ) properties (out of 63298) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1001 ms. (steps per millisecond=1 ) properties (out of 63298) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1015 ms. (steps per millisecond=0 ) properties (out of 63298) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1028 ms. (steps per millisecond=0 ) properties (out of 63298) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1042 ms. (steps per millisecond=0 ) properties (out of 63298) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1017 ms. (steps per millisecond=0 ) properties (out of 63297) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 996 ms. (steps per millisecond=1 ) properties (out of 63297) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1047 ms. (steps per millisecond=0 ) properties (out of 63297) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1046 ms. (steps per millisecond=0 ) properties (out of 63297) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1059 ms. (steps per millisecond=0 ) properties (out of 63297) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1017 ms. (steps per millisecond=0 ) properties (out of 63297) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 903 ms. (steps per millisecond=1 ) properties (out of 63297) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 923 ms. (steps per millisecond=1 ) properties (out of 63297) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1057 ms. (steps per millisecond=0 ) properties (out of 63297) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1052 ms. (steps per millisecond=0 ) properties (out of 63297) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1017 ms. (steps per millisecond=0 ) properties (out of 63297) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1067 ms. (steps per millisecond=0 ) properties (out of 63297) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1017 ms. (steps per millisecond=0 ) properties (out of 63297) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 934 ms. (steps per millisecond=1 ) properties (out of 63297) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 970 ms. (steps per millisecond=1 ) properties (out of 63297) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 870 ms. (steps per millisecond=1 ) properties (out of 63296) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1027 ms. (steps per millisecond=0 ) properties (out of 63296) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1041 ms. (steps per millisecond=0 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1013 ms. (steps per millisecond=0 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 903 ms. (steps per millisecond=1 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1121 ms. (steps per millisecond=0 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 960 ms. (steps per millisecond=1 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1090 ms. (steps per millisecond=0 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1048 ms. (steps per millisecond=0 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 997 ms. (steps per millisecond=1 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1082 ms. (steps per millisecond=0 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 984 ms. (steps per millisecond=1 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 983 ms. (steps per millisecond=1 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1003 ms. (steps per millisecond=0 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 992 ms. (steps per millisecond=1 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1042 ms. (steps per millisecond=0 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1045 ms. (steps per millisecond=0 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1060 ms. (steps per millisecond=0 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 916 ms. (steps per millisecond=1 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1089 ms. (steps per millisecond=0 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1042 ms. (steps per millisecond=0 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1063 ms. (steps per millisecond=0 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 959 ms. (steps per millisecond=1 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 967 ms. (steps per millisecond=1 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1100 ms. (steps per millisecond=0 ) properties (out of 63295) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 941 ms. (steps per millisecond=1 ) properties (out of 63293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1015 ms. (steps per millisecond=0 ) properties (out of 63293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1003 ms. (steps per millisecond=0 ) properties (out of 63293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1021 ms. (steps per millisecond=0 ) properties (out of 63293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 868 ms. (steps per millisecond=1 ) properties (out of 63293) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1036 ms. (steps per millisecond=0 ) properties (out of 63293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1034 ms. (steps per millisecond=0 ) properties (out of 63293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 942 ms. (steps per millisecond=1 ) properties (out of 63293) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1031 ms. (steps per millisecond=0 ) properties (out of 63293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1027 ms. (steps per millisecond=0 ) properties (out of 63293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 970 ms. (steps per millisecond=1 ) properties (out of 63293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 962 ms. (steps per millisecond=1 ) properties (out of 63293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1054 ms. (steps per millisecond=0 ) properties (out of 63293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 63293) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1106 ms. (steps per millisecond=0 ) properties (out of 63293) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1012 ms. (steps per millisecond=0 ) properties (out of 63291) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 992 ms. (steps per millisecond=1 ) properties (out of 63291) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 946 ms. (steps per millisecond=1 ) properties (out of 63291) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1001 ms. (steps per millisecond=1 ) properties (out of 63291) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1048 ms. (steps per millisecond=0 ) properties (out of 63291) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 968 ms. (steps per millisecond=1 ) properties (out of 63290) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 974 ms. (steps per millisecond=1 ) properties (out of 63290) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1007 ms. (steps per millisecond=0 ) properties (out of 63290) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 842 ms. (steps per millisecond=1 ) properties (out of 63290) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 906 ms. (steps per millisecond=1 ) properties (out of 63290) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 982 ms. (steps per millisecond=1 ) properties (out of 63290) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1007 ms. (steps per millisecond=0 ) properties (out of 63290) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1014 ms. (steps per millisecond=0 ) properties (out of 63290) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 895 ms. (steps per millisecond=1 ) properties (out of 63290) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1011 ms. (steps per millisecond=0 ) properties (out of 63290) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 894 ms. (steps per millisecond=1 ) properties (out of 63290) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1033 ms. (steps per millisecond=0 ) properties (out of 63290) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 991 ms. (steps per millisecond=1 ) properties (out of 63290) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1046 ms. (steps per millisecond=0 ) properties (out of 63290) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1082 ms. (steps per millisecond=0 ) properties (out of 63290) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 833 ms. (steps per millisecond=1 ) properties (out of 63290) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 979 ms. (steps per millisecond=1 ) properties (out of 63287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1048 ms. (steps per millisecond=0 ) properties (out of 63287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 990 ms. (steps per millisecond=1 ) properties (out of 63287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 855 ms. (steps per millisecond=1 ) properties (out of 63287) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1037 ms. (steps per millisecond=0 ) properties (out of 63287) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1029 ms. (steps per millisecond=0 ) properties (out of 63286) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1085 ms. (steps per millisecond=0 ) properties (out of 63285) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 824 ms. (steps per millisecond=1 ) properties (out of 63285) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1046 ms. (steps per millisecond=0 ) properties (out of 63285) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 990 ms. (steps per millisecond=1 ) properties (out of 63285) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 960 ms. (steps per millisecond=1 ) properties (out of 63285) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1013 ms. (steps per millisecond=0 ) properties (out of 63285) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 972 ms. (steps per millisecond=1 ) properties (out of 63285) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 63285) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 985 ms. (steps per millisecond=1 ) properties (out of 63285) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1108 ms. (steps per millisecond=0 ) properties (out of 63285) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 994 ms. (steps per millisecond=1 ) properties (out of 63284) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 955 ms. (steps per millisecond=1 ) properties (out of 63283) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 953 ms. (steps per millisecond=1 ) properties (out of 63282) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 63282) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1040 ms. (steps per millisecond=0 ) properties (out of 63282) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1074 ms. (steps per millisecond=0 ) properties (out of 63279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1012 ms. (steps per millisecond=0 ) properties (out of 63279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1150 ms. (steps per millisecond=0 ) properties (out of 63279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1021 ms. (steps per millisecond=0 ) properties (out of 63279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 998 ms. (steps per millisecond=1 ) properties (out of 63279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 852 ms. (steps per millisecond=1 ) properties (out of 63279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1010 ms. (steps per millisecond=0 ) properties (out of 63279) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1019 ms. (steps per millisecond=0 ) properties (out of 63279) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 938 ms. (steps per millisecond=1 ) properties (out of 63275) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 994 ms. (steps per millisecond=1 ) properties (out of 63275) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 953 ms. (steps per millisecond=1 ) properties (out of 63275) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1002 ms. (steps per millisecond=0 ) properties (out of 63275) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1068 ms. (steps per millisecond=0 ) properties (out of 63275) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 962 ms. (steps per millisecond=1 ) properties (out of 63275) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1007 ms. (steps per millisecond=0 ) properties (out of 63275) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1075 ms. (steps per millisecond=0 ) properties (out of 63274) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1103 ms. (steps per millisecond=0 ) properties (out of 63274) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 997 ms. (steps per millisecond=1 ) properties (out of 63269) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 941 ms. (steps per millisecond=1 ) properties (out of 63269) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 835 ms. (steps per millisecond=1 ) properties (out of 63269) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1046 ms. (steps per millisecond=0 ) properties (out of 63267) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1096 ms. (steps per millisecond=0 ) properties (out of 63267) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1055 ms. (steps per millisecond=0 ) properties (out of 63267) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1034 ms. (steps per millisecond=0 ) properties (out of 63266) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1068 ms. (steps per millisecond=0 ) properties (out of 63266) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1101 ms. (steps per millisecond=0 ) properties (out of 63266) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1053 ms. (steps per millisecond=0 ) properties (out of 63266) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 910 ms. (steps per millisecond=1 ) properties (out of 63266) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 63266) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1033 ms. (steps per millisecond=0 ) properties (out of 63266) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 958 ms. (steps per millisecond=1 ) properties (out of 63266) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 988 ms. (steps per millisecond=1 ) properties (out of 63266) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 986 ms. (steps per millisecond=1 ) properties (out of 63262) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 975 ms. (steps per millisecond=1 ) properties (out of 63262) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 928 ms. (steps per millisecond=1 ) properties (out of 63262) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1033 ms. (steps per millisecond=0 ) properties (out of 63262) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1045 ms. (steps per millisecond=0 ) properties (out of 63262) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1010 ms. (steps per millisecond=0 ) properties (out of 63262) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 996 ms. (steps per millisecond=1 ) properties (out of 63262) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1043 ms. (steps per millisecond=0 ) properties (out of 63262) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1038 ms. (steps per millisecond=0 ) properties (out of 63262) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 995 ms. (steps per millisecond=1 ) properties (out of 63262) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 875 ms. (steps per millisecond=1 ) properties (out of 63262) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1095 ms. (steps per millisecond=0 ) properties (out of 63261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1030 ms. (steps per millisecond=0 ) properties (out of 63261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1039 ms. (steps per millisecond=0 ) properties (out of 63261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 993 ms. (steps per millisecond=1 ) properties (out of 63261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1074 ms. (steps per millisecond=0 ) properties (out of 63261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1082 ms. (steps per millisecond=0 ) properties (out of 63261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 985 ms. (steps per millisecond=1 ) properties (out of 63261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1023 ms. (steps per millisecond=0 ) properties (out of 63261) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 971 ms. (steps per millisecond=1 ) properties (out of 63261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1082 ms. (steps per millisecond=0 ) properties (out of 63261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 970 ms. (steps per millisecond=1 ) properties (out of 63261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1010 ms. (steps per millisecond=0 ) properties (out of 63261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1004 ms. (steps per millisecond=0 ) properties (out of 63261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1072 ms. (steps per millisecond=0 ) properties (out of 63261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 991 ms. (steps per millisecond=1 ) properties (out of 63261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 926 ms. (steps per millisecond=1 ) properties (out of 63261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 935 ms. (steps per millisecond=1 ) properties (out of 63261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1008 ms. (steps per millisecond=0 ) properties (out of 63261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1024 ms. (steps per millisecond=0 ) properties (out of 63261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1127 ms. (steps per millisecond=0 ) properties (out of 63261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 960 ms. (steps per millisecond=1 ) properties (out of 63261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1023 ms. (steps per millisecond=0 ) properties (out of 63261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 847 ms. (steps per millisecond=1 ) properties (out of 63261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1100 ms. (steps per millisecond=0 ) properties (out of 63261) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1014 ms. (steps per millisecond=0 ) properties (out of 63261) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 974 ms. (steps per millisecond=1 ) properties (out of 63258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 989 ms. (steps per millisecond=1 ) properties (out of 63258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 939 ms. (steps per millisecond=1 ) properties (out of 63258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 975 ms. (steps per millisecond=1 ) properties (out of 63258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1059 ms. (steps per millisecond=0 ) properties (out of 63258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 997 ms. (steps per millisecond=1 ) properties (out of 63258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 964 ms. (steps per millisecond=1 ) properties (out of 63258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1095 ms. (steps per millisecond=0 ) properties (out of 63258) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 815 ms. (steps per millisecond=1 ) properties (out of 63258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 937 ms. (steps per millisecond=1 ) properties (out of 63258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 902 ms. (steps per millisecond=1 ) properties (out of 63258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 931 ms. (steps per millisecond=1 ) properties (out of 63258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1020 ms. (steps per millisecond=0 ) properties (out of 63258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 996 ms. (steps per millisecond=1 ) properties (out of 63258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1000 ms. (steps per millisecond=1 ) properties (out of 63258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1074 ms. (steps per millisecond=0 ) properties (out of 63258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1087 ms. (steps per millisecond=0 ) properties (out of 63258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1031 ms. (steps per millisecond=0 ) properties (out of 63258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1091 ms. (steps per millisecond=0 ) properties (out of 63258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 822 ms. (steps per millisecond=1 ) properties (out of 63258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1127 ms. (steps per millisecond=0 ) properties (out of 63258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1073 ms. (steps per millisecond=0 ) properties (out of 63258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 985 ms. (steps per millisecond=1 ) properties (out of 63258) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 930 ms. (steps per millisecond=1 ) properties (out of 63258) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 972 ms. (steps per millisecond=1 ) properties (out of 63258) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 997 ms. (steps per millisecond=1 ) properties (out of 63258) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 970 ms. (steps per millisecond=1 ) properties (out of 63257) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1053 ms. (steps per millisecond=0 ) properties (out of 63257) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1029 ms. (steps per millisecond=0 ) properties (out of 63257) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1017 ms. (steps per millisecond=0 ) properties (out of 63257) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 971 ms. (steps per millisecond=1 ) properties (out of 63256) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 760 ms. (steps per millisecond=1 ) properties (out of 63256) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1109 ms. (steps per millisecond=0 ) properties (out of 63256) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 922 ms. (steps per millisecond=1 ) properties (out of 63256) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1033 ms. (steps per millisecond=0 ) properties (out of 63256) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 946 ms. (steps per millisecond=1 ) properties (out of 63256) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1063 ms. (steps per millisecond=0 ) properties (out of 63256) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 997 ms. (steps per millisecond=1 ) properties (out of 63256) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 921 ms. (steps per millisecond=1 ) properties (out of 63256) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 63256) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 950 ms. (steps per millisecond=1 ) properties (out of 63255) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 985 ms. (steps per millisecond=1 ) properties (out of 63255) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 973 ms. (steps per millisecond=1 ) properties (out of 63255) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1073 ms. (steps per millisecond=0 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1016 ms. (steps per millisecond=0 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1053 ms. (steps per millisecond=0 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1009 ms. (steps per millisecond=0 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1023 ms. (steps per millisecond=0 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1001 ms. (steps per millisecond=1 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 937 ms. (steps per millisecond=1 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 973 ms. (steps per millisecond=1 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 935 ms. (steps per millisecond=1 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1051 ms. (steps per millisecond=0 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1033 ms. (steps per millisecond=0 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1042 ms. (steps per millisecond=0 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1022 ms. (steps per millisecond=0 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1064 ms. (steps per millisecond=0 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1101 ms. (steps per millisecond=0 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 982 ms. (steps per millisecond=1 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1064 ms. (steps per millisecond=0 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 982 ms. (steps per millisecond=1 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 964 ms. (steps per millisecond=1 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1072 ms. (steps per millisecond=0 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 972 ms. (steps per millisecond=1 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 978 ms. (steps per millisecond=1 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1046 ms. (steps per millisecond=0 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1018 ms. (steps per millisecond=0 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1075 ms. (steps per millisecond=0 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 975 ms. (steps per millisecond=1 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 960 ms. (steps per millisecond=1 ) properties (out of 63251) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1052 ms. (steps per millisecond=0 ) properties (out of 63251) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 938 ms. (steps per millisecond=1 ) properties (out of 63250) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1002 ms. (steps per millisecond=0 ) properties (out of 63250) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1047 ms. (steps per millisecond=0 ) properties (out of 63250) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1023 ms. (steps per millisecond=0 ) properties (out of 63250) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1007 ms. (steps per millisecond=0 ) properties (out of 63250) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 955 ms. (steps per millisecond=1 ) properties (out of 63250) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1030 ms. (steps per millisecond=0 ) properties (out of 63250) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1168 ms. (steps per millisecond=0 ) properties (out of 63250) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 998 ms. (steps per millisecond=1 ) properties (out of 63250) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 991 ms. (steps per millisecond=1 ) properties (out of 63250) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 966 ms. (steps per millisecond=1 ) properties (out of 63250) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1231 ms. (steps per millisecond=0 ) properties (out of 63245) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 994 ms. (steps per millisecond=1 ) properties (out of 63245) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1088 ms. (steps per millisecond=0 ) properties (out of 63245) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 63244) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1088 ms. (steps per millisecond=0 ) properties (out of 63244) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 930 ms. (steps per millisecond=1 ) properties (out of 63244) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 921 ms. (steps per millisecond=1 ) properties (out of 63244) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1060 ms. (steps per millisecond=0 ) properties (out of 63244) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 963 ms. (steps per millisecond=1 ) properties (out of 63244) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 936 ms. (steps per millisecond=1 ) properties (out of 63244) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1076 ms. (steps per millisecond=0 ) properties (out of 63244) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1045 ms. (steps per millisecond=0 ) properties (out of 63244) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1063 ms. (steps per millisecond=0 ) properties (out of 63244) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 898 ms. (steps per millisecond=1 ) properties (out of 63243) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 966 ms. (steps per millisecond=1 ) properties (out of 63240) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 991 ms. (steps per millisecond=1 ) properties (out of 63240) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 981 ms. (steps per millisecond=1 ) properties (out of 63240) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1047 ms. (steps per millisecond=0 ) properties (out of 63239) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 899 ms. (steps per millisecond=1 ) properties (out of 63239) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1049 ms. (steps per millisecond=0 ) properties (out of 63239) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 913 ms. (steps per millisecond=1 ) properties (out of 63239) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1008 ms. (steps per millisecond=0 ) properties (out of 63239) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 993 ms. (steps per millisecond=1 ) properties (out of 63239) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1013 ms. (steps per millisecond=0 ) properties (out of 63238) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 963 ms. (steps per millisecond=1 ) properties (out of 63238) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1056 ms. (steps per millisecond=0 ) properties (out of 63238) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1021 ms. (steps per millisecond=0 ) properties (out of 63238) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 998 ms. (steps per millisecond=1 ) properties (out of 63238) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 835 ms. (steps per millisecond=1 ) properties (out of 63238) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 969 ms. (steps per millisecond=1 ) properties (out of 63238) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 972 ms. (steps per millisecond=1 ) properties (out of 63238) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 908 ms. (steps per millisecond=1 ) properties (out of 63238) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1024 ms. (steps per millisecond=0 ) properties (out of 63238) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1058 ms. (steps per millisecond=0 ) properties (out of 63238) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1005 ms. (steps per millisecond=0 ) properties (out of 63238) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1032 ms. (steps per millisecond=0 ) properties (out of 63238) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1004 ms. (steps per millisecond=0 ) properties (out of 63238) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 952 ms. (steps per millisecond=1 ) properties (out of 63238) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1190 ms. (steps per millisecond=0 ) properties (out of 63238) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1002 ms. (steps per millisecond=0 ) properties (out of 63238) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 912 ms. (steps per millisecond=1 ) properties (out of 63238) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1035 ms. (steps per millisecond=0 ) properties (out of 63237) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 923 ms. (steps per millisecond=1 ) properties (out of 63237) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 950 ms. (steps per millisecond=1 ) properties (out of 63235) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1006 ms. (steps per millisecond=0 ) properties (out of 63235) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 899 ms. (steps per millisecond=1 ) properties (out of 63235) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 997 ms. (steps per millisecond=1 ) properties (out of 63234) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1062 ms. (steps per millisecond=0 ) properties (out of 63233) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 966 ms. (steps per millisecond=1 ) properties (out of 63233) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 957 ms. (steps per millisecond=1 ) properties (out of 63231) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 63231) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1057 ms. (steps per millisecond=0 ) properties (out of 63231) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1053 ms. (steps per millisecond=0 ) properties (out of 63231) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 977 ms. (steps per millisecond=1 ) properties (out of 63230) seen :8
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 943 ms. (steps per millisecond=1 ) properties (out of 63222) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 998 ms. (steps per millisecond=1 ) properties (out of 63222) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1049 ms. (steps per millisecond=0 ) properties (out of 63222) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1032 ms. (steps per millisecond=0 ) properties (out of 63222) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1048 ms. (steps per millisecond=0 ) properties (out of 63222) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1022 ms. (steps per millisecond=0 ) properties (out of 63222) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 995 ms. (steps per millisecond=1 ) properties (out of 63222) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1074 ms. (steps per millisecond=0 ) properties (out of 63222) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 960 ms. (steps per millisecond=1 ) properties (out of 63222) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 989 ms. (steps per millisecond=1 ) properties (out of 63222) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1074 ms. (steps per millisecond=0 ) properties (out of 63222) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1084 ms. (steps per millisecond=0 ) properties (out of 63222) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1082 ms. (steps per millisecond=0 ) properties (out of 63222) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1068 ms. (steps per millisecond=0 ) properties (out of 63222) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1007 ms. (steps per millisecond=0 ) properties (out of 63222) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 948 ms. (steps per millisecond=1 ) properties (out of 63222) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 63222) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1001 ms. (steps per millisecond=1 ) properties (out of 63222) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 926 ms. (steps per millisecond=1 ) properties (out of 63222) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1000 ms. (steps per millisecond=1 ) properties (out of 63222) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1005 ms. (steps per millisecond=0 ) properties (out of 63222) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1048 ms. (steps per millisecond=0 ) properties (out of 63222) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 991 ms. (steps per millisecond=1 ) properties (out of 63222) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1050 ms. (steps per millisecond=0 ) properties (out of 63222) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1058 ms. (steps per millisecond=0 ) properties (out of 63222) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1044 ms. (steps per millisecond=0 ) properties (out of 63222) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 989 ms. (steps per millisecond=1 ) properties (out of 63221) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1071 ms. (steps per millisecond=0 ) properties (out of 63221) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1043 ms. (steps per millisecond=0 ) properties (out of 63221) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1056 ms. (steps per millisecond=0 ) properties (out of 63221) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1021 ms. (steps per millisecond=0 ) properties (out of 63221) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1120 ms. (steps per millisecond=0 ) properties (out of 63221) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1050 ms. (steps per millisecond=0 ) properties (out of 63221) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 954 ms. (steps per millisecond=1 ) properties (out of 63221) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1088 ms. (steps per millisecond=0 ) properties (out of 63221) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 63220) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 899 ms. (steps per millisecond=1 ) properties (out of 63220) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 995 ms. (steps per millisecond=1 ) properties (out of 63220) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 957 ms. (steps per millisecond=1 ) properties (out of 63219) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 988 ms. (steps per millisecond=1 ) properties (out of 63218) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1020 ms. (steps per millisecond=0 ) properties (out of 63218) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1013 ms. (steps per millisecond=0 ) properties (out of 63218) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1065 ms. (steps per millisecond=0 ) properties (out of 63218) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1072 ms. (steps per millisecond=0 ) properties (out of 63218) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 63218) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1067 ms. (steps per millisecond=0 ) properties (out of 63218) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1032 ms. (steps per millisecond=0 ) properties (out of 63218) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1069 ms. (steps per millisecond=0 ) properties (out of 63218) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 937 ms. (steps per millisecond=1 ) properties (out of 63218) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 950 ms. (steps per millisecond=1 ) properties (out of 63218) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1006 ms. (steps per millisecond=0 ) properties (out of 63218) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 936 ms. (steps per millisecond=1 ) properties (out of 63218) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 63218) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 942 ms. (steps per millisecond=1 ) properties (out of 63218) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1035 ms. (steps per millisecond=0 ) properties (out of 63218) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1001 ms. (steps per millisecond=1 ) properties (out of 63218) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1028 ms. (steps per millisecond=0 ) properties (out of 63217) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1148 ms. (steps per millisecond=0 ) properties (out of 63217) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1100 ms. (steps per millisecond=0 ) properties (out of 63217) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 984 ms. (steps per millisecond=1 ) properties (out of 63217) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 986 ms. (steps per millisecond=1 ) properties (out of 63217) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1051 ms. (steps per millisecond=0 ) properties (out of 63217) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1096 ms. (steps per millisecond=0 ) properties (out of 63217) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 936 ms. (steps per millisecond=1 ) properties (out of 63217) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 944 ms. (steps per millisecond=1 ) properties (out of 63217) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 999 ms. (steps per millisecond=1 ) properties (out of 63216) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1062 ms. (steps per millisecond=0 ) properties (out of 63216) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1064 ms. (steps per millisecond=0 ) properties (out of 63216) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1069 ms. (steps per millisecond=0 ) properties (out of 63216) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 968 ms. (steps per millisecond=1 ) properties (out of 63216) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 948 ms. (steps per millisecond=1 ) properties (out of 63216) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1047 ms. (steps per millisecond=0 ) properties (out of 63216) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 954 ms. (steps per millisecond=1 ) properties (out of 63216) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 947 ms. (steps per millisecond=1 ) properties (out of 63216) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1030 ms. (steps per millisecond=0 ) properties (out of 63216) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1055 ms. (steps per millisecond=0 ) properties (out of 63216) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 999 ms. (steps per millisecond=1 ) properties (out of 63215) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1031 ms. (steps per millisecond=0 ) properties (out of 63213) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1019 ms. (steps per millisecond=0 ) properties (out of 63213) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 964 ms. (steps per millisecond=1 ) properties (out of 63213) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1054 ms. (steps per millisecond=0 ) properties (out of 63213) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1024 ms. (steps per millisecond=0 ) properties (out of 63213) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1095 ms. (steps per millisecond=0 ) properties (out of 63213) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 997 ms. (steps per millisecond=1 ) properties (out of 63213) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1043 ms. (steps per millisecond=0 ) properties (out of 63213) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1015 ms. (steps per millisecond=0 ) properties (out of 63213) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1075 ms. (steps per millisecond=0 ) properties (out of 63213) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1078 ms. (steps per millisecond=0 ) properties (out of 63213) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 979 ms. (steps per millisecond=1 ) properties (out of 63213) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 957 ms. (steps per millisecond=1 ) properties (out of 63213) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 973 ms. (steps per millisecond=1 ) properties (out of 63213) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1024 ms. (steps per millisecond=0 ) properties (out of 63213) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 981 ms. (steps per millisecond=1 ) properties (out of 63213) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1032 ms. (steps per millisecond=0 ) properties (out of 63213) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1026 ms. (steps per millisecond=0 ) properties (out of 63213) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 979 ms. (steps per millisecond=1 ) properties (out of 63213) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1070 ms. (steps per millisecond=0 ) properties (out of 63213) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1136 ms. (steps per millisecond=0 ) properties (out of 63211) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1063 ms. (steps per millisecond=0 ) properties (out of 63211) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1019 ms. (steps per millisecond=0 ) properties (out of 63211) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 943 ms. (steps per millisecond=1 ) properties (out of 63211) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 975 ms. (steps per millisecond=1 ) properties (out of 63210) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 935 ms. (steps per millisecond=1 ) properties (out of 63210) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1004 ms. (steps per millisecond=0 ) properties (out of 63210) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 972 ms. (steps per millisecond=1 ) properties (out of 63210) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 943 ms. (steps per millisecond=1 ) properties (out of 63210) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1045 ms. (steps per millisecond=0 ) properties (out of 63210) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1016 ms. (steps per millisecond=0 ) properties (out of 63210) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1042 ms. (steps per millisecond=0 ) properties (out of 63210) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1004 ms. (steps per millisecond=0 ) properties (out of 63210) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1005 ms. (steps per millisecond=0 ) properties (out of 63210) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1055 ms. (steps per millisecond=0 ) properties (out of 63210) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1024 ms. (steps per millisecond=0 ) properties (out of 63210) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 956 ms. (steps per millisecond=1 ) properties (out of 63210) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 996 ms. (steps per millisecond=1 ) properties (out of 63210) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 973 ms. (steps per millisecond=1 ) properties (out of 63210) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1031 ms. (steps per millisecond=0 ) properties (out of 63210) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1039 ms. (steps per millisecond=0 ) properties (out of 63210) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 890 ms. (steps per millisecond=1 ) properties (out of 63209) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 994 ms. (steps per millisecond=1 ) properties (out of 63209) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1075 ms. (steps per millisecond=0 ) properties (out of 63209) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1038 ms. (steps per millisecond=0 ) properties (out of 63209) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 998 ms. (steps per millisecond=1 ) properties (out of 63209) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 990 ms. (steps per millisecond=1 ) properties (out of 63209) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1042 ms. (steps per millisecond=0 ) properties (out of 63209) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 943 ms. (steps per millisecond=1 ) properties (out of 63209) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1036 ms. (steps per millisecond=0 ) properties (out of 63209) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 965 ms. (steps per millisecond=1 ) properties (out of 63209) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1062 ms. (steps per millisecond=0 ) properties (out of 63209) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1005 ms. (steps per millisecond=0 ) properties (out of 63209) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1064 ms. (steps per millisecond=0 ) properties (out of 63209) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 960 ms. (steps per millisecond=1 ) properties (out of 63208) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1018 ms. (steps per millisecond=0 ) properties (out of 63208) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 985 ms. (steps per millisecond=1 ) properties (out of 63208) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1069 ms. (steps per millisecond=0 ) properties (out of 63208) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1032 ms. (steps per millisecond=0 ) properties (out of 63208) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 998 ms. (steps per millisecond=1 ) properties (out of 63208) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1033 ms. (steps per millisecond=0 ) properties (out of 63208) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 800 ms. (steps per millisecond=1 ) properties (out of 63208) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 987 ms. (steps per millisecond=1 ) properties (out of 63208) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1013 ms. (steps per millisecond=0 ) properties (out of 63208) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 938 ms. (steps per millisecond=1 ) properties (out of 63205) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 894 ms. (steps per millisecond=1 ) properties (out of 63205) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 984 ms. (steps per millisecond=1 ) properties (out of 63205) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 984 ms. (steps per millisecond=1 ) properties (out of 63205) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 953 ms. (steps per millisecond=1 ) properties (out of 63205) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 922 ms. (steps per millisecond=1 ) properties (out of 63205) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 931 ms. (steps per millisecond=1 ) properties (out of 63205) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1060 ms. (steps per millisecond=0 ) properties (out of 63205) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 854 ms. (steps per millisecond=1 ) properties (out of 63204) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1005 ms. (steps per millisecond=0 ) properties (out of 63203) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 996 ms. (steps per millisecond=1 ) properties (out of 63203) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1026 ms. (steps per millisecond=0 ) properties (out of 63203) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1003 ms. (steps per millisecond=0 ) properties (out of 63203) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 63203) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1033 ms. (steps per millisecond=0 ) properties (out of 63203) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 958 ms. (steps per millisecond=1 ) properties (out of 63203) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 63203) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1011 ms. (steps per millisecond=0 ) properties (out of 63203) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1012 ms. (steps per millisecond=0 ) properties (out of 63203) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 998 ms. (steps per millisecond=1 ) properties (out of 63203) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1013 ms. (steps per millisecond=0 ) properties (out of 63203) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1050 ms. (steps per millisecond=0 ) properties (out of 63203) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1072 ms. (steps per millisecond=0 ) properties (out of 63203) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1007 ms. (steps per millisecond=0 ) properties (out of 63202) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 851 ms. (steps per millisecond=1 ) properties (out of 63202) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 994 ms. (steps per millisecond=1 ) properties (out of 63202) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1039 ms. (steps per millisecond=0 ) properties (out of 63202) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1004 ms. (steps per millisecond=0 ) properties (out of 63202) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 965 ms. (steps per millisecond=1 ) properties (out of 63202) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 968 ms. (steps per millisecond=1 ) properties (out of 63202) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 776 ms. (steps per millisecond=1 ) properties (out of 63202) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 970 ms. (steps per millisecond=1 ) properties (out of 63202) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1043 ms. (steps per millisecond=0 ) properties (out of 63202) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1044 ms. (steps per millisecond=0 ) properties (out of 63201) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1074 ms. (steps per millisecond=0 ) properties (out of 63201) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1011 ms. (steps per millisecond=0 ) properties (out of 63201) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1001 ms. (steps per millisecond=1 ) properties (out of 63201) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 971 ms. (steps per millisecond=1 ) properties (out of 63201) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1055 ms. (steps per millisecond=0 ) properties (out of 63201) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 985 ms. (steps per millisecond=1 ) properties (out of 63201) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 804 ms. (steps per millisecond=1 ) properties (out of 63201) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 961 ms. (steps per millisecond=1 ) properties (out of 63201) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1041 ms. (steps per millisecond=0 ) properties (out of 63201) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 996 ms. (steps per millisecond=1 ) properties (out of 63201) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 794 ms. (steps per millisecond=1 ) properties (out of 63201) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 992 ms. (steps per millisecond=1 ) properties (out of 63201) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1050 ms. (steps per millisecond=0 ) properties (out of 63201) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 923 ms. (steps per millisecond=1 ) properties (out of 63201) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 813 ms. (steps per millisecond=1 ) properties (out of 63198) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1077 ms. (steps per millisecond=0 ) properties (out of 63197) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 994 ms. (steps per millisecond=1 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 823 ms. (steps per millisecond=1 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 861 ms. (steps per millisecond=1 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1014 ms. (steps per millisecond=0 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 938 ms. (steps per millisecond=1 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 901 ms. (steps per millisecond=1 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 938 ms. (steps per millisecond=1 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1054 ms. (steps per millisecond=0 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 974 ms. (steps per millisecond=1 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1076 ms. (steps per millisecond=0 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 979 ms. (steps per millisecond=1 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1033 ms. (steps per millisecond=0 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 869 ms. (steps per millisecond=1 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 802 ms. (steps per millisecond=1 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 978 ms. (steps per millisecond=1 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 875 ms. (steps per millisecond=1 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 844 ms. (steps per millisecond=1 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 939 ms. (steps per millisecond=1 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 949 ms. (steps per millisecond=1 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 916 ms. (steps per millisecond=1 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 900 ms. (steps per millisecond=1 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 968 ms. (steps per millisecond=1 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 769 ms. (steps per millisecond=1 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1043 ms. (steps per millisecond=0 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1042 ms. (steps per millisecond=0 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 923 ms. (steps per millisecond=1 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1038 ms. (steps per millisecond=0 ) properties (out of 63195) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1024 ms. (steps per millisecond=0 ) properties (out of 63195) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1005 ms. (steps per millisecond=0 ) properties (out of 63194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 866 ms. (steps per millisecond=1 ) properties (out of 63194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 983 ms. (steps per millisecond=1 ) properties (out of 63194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1100 ms. (steps per millisecond=0 ) properties (out of 63194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1035 ms. (steps per millisecond=0 ) properties (out of 63194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 879 ms. (steps per millisecond=1 ) properties (out of 63194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 993 ms. (steps per millisecond=1 ) properties (out of 63194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 978 ms. (steps per millisecond=1 ) properties (out of 63194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1090 ms. (steps per millisecond=0 ) properties (out of 63194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1002 ms. (steps per millisecond=0 ) properties (out of 63194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 834 ms. (steps per millisecond=1 ) properties (out of 63194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 911 ms. (steps per millisecond=1 ) properties (out of 63194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 934 ms. (steps per millisecond=1 ) properties (out of 63194) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 63194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1002 ms. (steps per millisecond=0 ) properties (out of 63194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 912 ms. (steps per millisecond=1 ) properties (out of 63194) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1018 ms. (steps per millisecond=0 ) properties (out of 63194) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1030 ms. (steps per millisecond=0 ) properties (out of 63193) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 764 ms. (steps per millisecond=1 ) properties (out of 63193) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1041 ms. (steps per millisecond=0 ) properties (out of 63193) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 988 ms. (steps per millisecond=1 ) properties (out of 63193) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1053 ms. (steps per millisecond=0 ) properties (out of 63193) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 968 ms. (steps per millisecond=1 ) properties (out of 63193) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1035 ms. (steps per millisecond=0 ) properties (out of 63193) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 906 ms. (steps per millisecond=1 ) properties (out of 63193) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1023 ms. (steps per millisecond=0 ) properties (out of 63193) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1000 ms. (steps per millisecond=1 ) properties (out of 63193) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1001 ms. (steps per millisecond=1 ) properties (out of 63193) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 888 ms. (steps per millisecond=1 ) properties (out of 63193) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1108 ms. (steps per millisecond=0 ) properties (out of 63193) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1051 ms. (steps per millisecond=0 ) properties (out of 63193) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 909 ms. (steps per millisecond=1 ) properties (out of 63193) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1067 ms. (steps per millisecond=0 ) properties (out of 63193) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 63193) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1014 ms. (steps per millisecond=0 ) properties (out of 63193) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1002 ms. (steps per millisecond=0 ) properties (out of 63193) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1014 ms. (steps per millisecond=0 ) properties (out of 63193) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1093 ms. (steps per millisecond=0 ) properties (out of 63192) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 959 ms. (steps per millisecond=1 ) properties (out of 63191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 988 ms. (steps per millisecond=1 ) properties (out of 63191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 984 ms. (steps per millisecond=1 ) properties (out of 63191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 881 ms. (steps per millisecond=1 ) properties (out of 63191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 841 ms. (steps per millisecond=1 ) properties (out of 63191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1062 ms. (steps per millisecond=0 ) properties (out of 63191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1106 ms. (steps per millisecond=0 ) properties (out of 63191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1056 ms. (steps per millisecond=0 ) properties (out of 63191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1008 ms. (steps per millisecond=0 ) properties (out of 63191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 985 ms. (steps per millisecond=1 ) properties (out of 63191) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 991 ms. (steps per millisecond=1 ) properties (out of 63191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1082 ms. (steps per millisecond=0 ) properties (out of 63191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 847 ms. (steps per millisecond=1 ) properties (out of 63191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 995 ms. (steps per millisecond=1 ) properties (out of 63191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1043 ms. (steps per millisecond=0 ) properties (out of 63191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1015 ms. (steps per millisecond=0 ) properties (out of 63191) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1040 ms. (steps per millisecond=0 ) properties (out of 63191) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1053 ms. (steps per millisecond=0 ) properties (out of 63190) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1018 ms. (steps per millisecond=0 ) properties (out of 63190) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1019 ms. (steps per millisecond=0 ) properties (out of 63190) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1092 ms. (steps per millisecond=0 ) properties (out of 63190) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 913 ms. (steps per millisecond=1 ) properties (out of 63190) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1118 ms. (steps per millisecond=0 ) properties (out of 63190) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 933 ms. (steps per millisecond=1 ) properties (out of 63189) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1081 ms. (steps per millisecond=0 ) properties (out of 63189) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1043 ms. (steps per millisecond=0 ) properties (out of 63189) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 876 ms. (steps per millisecond=1 ) properties (out of 63189) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 832 ms. (steps per millisecond=1 ) properties (out of 63189) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 861 ms. (steps per millisecond=1 ) properties (out of 63189) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 835 ms. (steps per millisecond=1 ) properties (out of 63189) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 938 ms. (steps per millisecond=1 ) properties (out of 63189) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 880 ms. (steps per millisecond=1 ) properties (out of 63189) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 877 ms. (steps per millisecond=1 ) properties (out of 63189) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 840 ms. (steps per millisecond=1 ) properties (out of 63189) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 864 ms. (steps per millisecond=1 ) properties (out of 63189) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 825 ms. (steps per millisecond=1 ) properties (out of 63189) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 840 ms. (steps per millisecond=1 ) properties (out of 63189) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 845 ms. (steps per millisecond=1 ) properties (out of 63189) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 943 ms. (steps per millisecond=1 ) properties (out of 63189) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 63186) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 785 ms. (steps per millisecond=1 ) properties (out of 63186) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1025 ms. (steps per millisecond=0 ) properties (out of 63186) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 839 ms. (steps per millisecond=1 ) properties (out of 63186) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 912 ms. (steps per millisecond=1 ) properties (out of 63186) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1123 ms. (steps per millisecond=0 ) properties (out of 63186) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 883 ms. (steps per millisecond=1 ) properties (out of 63185) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 892 ms. (steps per millisecond=1 ) properties (out of 63185) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1071 ms. (steps per millisecond=0 ) properties (out of 63185) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1063 ms. (steps per millisecond=0 ) properties (out of 63185) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 852 ms. (steps per millisecond=1 ) properties (out of 63185) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1019 ms. (steps per millisecond=0 ) properties (out of 63185) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 972 ms. (steps per millisecond=1 ) properties (out of 63185) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 946 ms. (steps per millisecond=1 ) properties (out of 63185) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 932 ms. (steps per millisecond=1 ) properties (out of 63184) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 920 ms. (steps per millisecond=1 ) properties (out of 63183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1002 ms. (steps per millisecond=0 ) properties (out of 63183) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1081 ms. (steps per millisecond=0 ) properties (out of 63183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 851 ms. (steps per millisecond=1 ) properties (out of 63183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 962 ms. (steps per millisecond=1 ) properties (out of 63183) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 830 ms. (steps per millisecond=1 ) properties (out of 63183) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 983 ms. (steps per millisecond=1 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 992 ms. (steps per millisecond=1 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 958 ms. (steps per millisecond=1 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1128 ms. (steps per millisecond=0 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 902 ms. (steps per millisecond=1 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 992 ms. (steps per millisecond=1 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1005 ms. (steps per millisecond=0 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 847 ms. (steps per millisecond=1 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1025 ms. (steps per millisecond=0 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 990 ms. (steps per millisecond=1 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1094 ms. (steps per millisecond=0 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1017 ms. (steps per millisecond=0 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1006 ms. (steps per millisecond=0 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 935 ms. (steps per millisecond=1 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1035 ms. (steps per millisecond=0 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 989 ms. (steps per millisecond=1 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 953 ms. (steps per millisecond=1 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1055 ms. (steps per millisecond=0 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 886 ms. (steps per millisecond=1 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 923 ms. (steps per millisecond=1 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1076 ms. (steps per millisecond=0 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1055 ms. (steps per millisecond=0 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1003 ms. (steps per millisecond=0 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 941 ms. (steps per millisecond=1 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 969 ms. (steps per millisecond=1 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1083 ms. (steps per millisecond=0 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 933 ms. (steps per millisecond=1 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 963 ms. (steps per millisecond=1 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 962 ms. (steps per millisecond=1 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 988 ms. (steps per millisecond=1 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1269 ms. (steps per millisecond=0 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1064 ms. (steps per millisecond=0 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 992 ms. (steps per millisecond=1 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 983 ms. (steps per millisecond=1 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1046 ms. (steps per millisecond=0 ) properties (out of 63182) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1004 ms. (steps per millisecond=0 ) properties (out of 63182) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1105 ms. (steps per millisecond=0 ) properties (out of 63181) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1042 ms. (steps per millisecond=0 ) properties (out of 63180) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 807 ms. (steps per millisecond=1 ) properties (out of 63180) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1088 ms. (steps per millisecond=0 ) properties (out of 63180) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 980 ms. (steps per millisecond=1 ) properties (out of 63180) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 995 ms. (steps per millisecond=1 ) properties (out of 63180) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1076 ms. (steps per millisecond=0 ) properties (out of 63180) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1037 ms. (steps per millisecond=0 ) properties (out of 63180) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 971 ms. (steps per millisecond=1 ) properties (out of 63180) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 976 ms. (steps per millisecond=1 ) properties (out of 63180) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 849 ms. (steps per millisecond=1 ) properties (out of 63180) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1083 ms. (steps per millisecond=0 ) properties (out of 63179) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 918 ms. (steps per millisecond=1 ) properties (out of 63178) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1018 ms. (steps per millisecond=0 ) properties (out of 63178) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1049 ms. (steps per millisecond=0 ) properties (out of 63178) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1062 ms. (steps per millisecond=0 ) properties (out of 63178) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 929 ms. (steps per millisecond=1 ) properties (out of 63178) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1064 ms. (steps per millisecond=0 ) properties (out of 63178) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 802 ms. (steps per millisecond=1 ) properties (out of 63178) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 960 ms. (steps per millisecond=1 ) properties (out of 63178) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1039 ms. (steps per millisecond=0 ) properties (out of 63178) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 870 ms. (steps per millisecond=1 ) properties (out of 63178) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1037 ms. (steps per millisecond=0 ) properties (out of 63178) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1009 ms. (steps per millisecond=0 ) properties (out of 63178) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1181 ms. (steps per millisecond=0 ) properties (out of 63178) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1012 ms. (steps per millisecond=0 ) properties (out of 63178) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1061 ms. (steps per millisecond=0 ) properties (out of 63178) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1101 ms. (steps per millisecond=0 ) properties (out of 63178) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1009 ms. (steps per millisecond=0 ) properties (out of 63178) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 954 ms. (steps per millisecond=1 ) properties (out of 63178) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 862 ms. (steps per millisecond=1 ) properties (out of 63178) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 931 ms. (steps per millisecond=1 ) properties (out of 63178) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 860 ms. (steps per millisecond=1 ) properties (out of 63176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 842 ms. (steps per millisecond=1 ) properties (out of 63176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 905 ms. (steps per millisecond=1 ) properties (out of 63176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 986 ms. (steps per millisecond=1 ) properties (out of 63176) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1103 ms. (steps per millisecond=0 ) properties (out of 63176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1064 ms. (steps per millisecond=0 ) properties (out of 63176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 994 ms. (steps per millisecond=1 ) properties (out of 63176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1069 ms. (steps per millisecond=0 ) properties (out of 63176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1051 ms. (steps per millisecond=0 ) properties (out of 63176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1016 ms. (steps per millisecond=0 ) properties (out of 63176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1058 ms. (steps per millisecond=0 ) properties (out of 63176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 830 ms. (steps per millisecond=1 ) properties (out of 63176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1136 ms. (steps per millisecond=0 ) properties (out of 63176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 931 ms. (steps per millisecond=1 ) properties (out of 63176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 969 ms. (steps per millisecond=1 ) properties (out of 63176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1014 ms. (steps per millisecond=0 ) properties (out of 63176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1022 ms. (steps per millisecond=0 ) properties (out of 63176) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 975 ms. (steps per millisecond=1 ) properties (out of 63176) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 993 ms. (steps per millisecond=1 ) properties (out of 63176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 986 ms. (steps per millisecond=1 ) properties (out of 63176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 997 ms. (steps per millisecond=1 ) properties (out of 63176) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 908 ms. (steps per millisecond=1 ) properties (out of 63176) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1036 ms. (steps per millisecond=0 ) properties (out of 63175) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 856 ms. (steps per millisecond=1 ) properties (out of 63175) seen :0

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination QuasiLiveness -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m

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="RERS2020-PT-pb106"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="gold2021"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2021"
echo " Input is RERS2020-PT-pb106, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r324-tall-165472293700417"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS2020-PT-pb106.tgz
mv RERS2020-PT-pb106 execution
cd execution
if [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "QuasiLiveness.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property QuasiLiveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "QuasiLiveness.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' QuasiLiveness.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;