fond
Model Checking Contest 2022
12th edition, Bergen, Norway, June 21, 2022
Execution of r270-tall-165303554200397
Last Updated
Jun 22, 2022

About the Execution of 2021-gold for TokenRing-PT-040

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16245.815 1532547.00 3956354.00 12484.20 [undef] Cannot compute

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.r270-tall-165303554200397.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 TokenRing-PT-040, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r270-tall-165303554200397
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 356M
-rw-r--r-- 1 mcc users 1.5M Apr 30 00:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 6.8M Apr 30 00:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 46M Apr 29 21:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 157M Apr 29 21:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 1.2M May 9 09:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 4.2M May 9 09:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 29M May 9 09:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 79M May 9 09:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 180K May 9 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 457K May 9 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 32M May 10 09:34 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1653122022642

Running Version 0
[2022-05-21 08:33:44] [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-05-21 08:33:44] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-21 08:33:45] [INFO ] Load time of PNML (sax parser for PT used): 1388 ms
[2022-05-21 08:33:45] [INFO ] Transformed 1681 places.
[2022-05-21 08:33:45] [INFO ] Transformed 65641 transitions.
[2022-05-21 08:33:45] [INFO ] Parsed PT model containing 1681 places and 65641 transitions in 1664 ms.
Starting structural reductions, iteration 0 : 1681/1681 places, 65641/65641 transitions.
Applied a total of 0 rules in 5829 ms. Remains 1681 /1681 variables (removed 0) and now considering 65641/65641 (removed 0) transitions.
// Phase 1: matrix 65641 rows 1681 cols
[2022-05-21 08:33:52] [INFO ] Computed 41 place invariants in 317 ms
[2022-05-21 08:33:57] [INFO ] Implicit Places using invariants in 5810 ms returned []
Implicit Place search using SMT only with invariants took 5840 ms to find 0 implicit places.
// Phase 1: matrix 65641 rows 1681 cols
[2022-05-21 08:33:57] [INFO ] Computed 41 place invariants in 201 ms
[2022-05-21 08:34:20] [INFO ] Dead Transitions using invariants and state equation in 22686 ms returned []
Finished structural reductions, in 1 iterations. Remains : 1681/1681 places, 65641/65641 transitions.
[2022-05-21 08:34:20] [INFO ] Initial state test concluded for 40 properties.
Interrupted random walk after 3196 steps, including 0 resets, run timeout after 30004 ms. (steps per millisecond=0 ) properties seen :{6=1, 79=1, 127=1, 132=1, 144=1, 151=1, 159=1, 163=1, 168=1, 178=1, 198=1, 208=1, 222=1, 243=1, 265=1, 282=1, 288=1, 314=1, 319=1, 373=1, 374=1, 394=1, 396=1, 536=1, 566=1, 595=1, 644=1, 691=1, 700=1, 722=1, 732=1, 752=1, 786=1, 836=1, 864=1, 865=1, 868=1, 880=1, 889=1, 927=1, 985=1, 1070=1, 1158=1, 1163=1, 1190=1, 1199=1, 1264=1, 1308=1, 1316=1, 1375=1, 1392=1, 1416=1, 1447=1, 1534=1, 1588=1, 1640=1, 1660=1, 1693=1, 1704=1, 1757=1, 1784=1, 1837=1, 1946=1, 1992=1, 2102=1, 2120=1, 2175=1, 2179=1, 2202=1, 2270=1, 2271=1, 2273=1, 2312=1, 2337=1, 2346=1, 2445=1, 2483=1, 2579=1, 2611=1, 2662=1, 2663=1, 2668=1, 2686=1, 2702=1, 2710=1, 2716=1, 2727=1, 2766=1, 2781=1, 2946=1, 3004=1, 3012=1, 3081=1, 3135=1, 3145=1, 3186=1, 3197=1, 3333=1, 3334=1, 3372=1, 3390=1, 3410=1, 3450=1, 3452=1, 3478=1, 3481=1, 3492=1, 3547=1, 3573=1, 3581=1, 3587=1, 3598=1, 3601=1, 3626=1, 3628=1, 3632=1, 3638=1, 3677=1, 3693=1, 3697=1, 3722=1, 3749=1, 3821=1, 3825=1, 3859=1, 3942=1, 3971=1, 4023=1, 4093=1, 4121=1, 4134=1, 4161=1, 4185=1, 4241=1, 4278=1, 4314=1, 4319=1, 4380=1, 4396=1, 4414=1, 4415=1, 4420=1, 4461=1, 4527=1, 4595=1, 4615=1, 4630=1, 4662=1, 4663=1, 4701=1, 4719=1, 4721=1, 4776=1, 4794=1, 4820=1, 4835=1, 4839=1, 4844=1, 4860=1, 4918=1, 5022=1, 5166=1, 5221=1, 5225=1, 5234=1, 5248=1, 5269=1, 5303=1, 5320=1, 5332=1, 5395=1, 5421=1, 5429=1, 5438=1, 5446=1, 5499=1, 5542=1, 5559=1, 5571=1, 5580=1, 5666=1, 5692=1, 5742=1, 5743=1, 5994=1, 6033=1, 6035=1, 6099=1, 6112=1, 6165=1, 6252=1, 6359=1, 6420=1, 6430=1, 6446=1, 6459=1, 6487=1, 6543=1, 6593=1, 6633=1, 6648=1, 6752=1, 6791=1, 6817=1, 6881=1, 6893=1, 6894=1, 6897=1, 6902=1, 6967=1, 6977=1, 6990=1, 7009=1, 7058=1, 7068=1, 7081=1, 7089=1, 7090=1, 7099=1, 7172=1, 7253=1, 7285=1, 7325=1, 7328=1, 7357=1, 7394=1, 7423=1, 7444=1, 7462=1, 7504=1, 7623=1, 7672=1, 7765=1, 7771=1, 7798=1, 7860=1, 7868=1, 7884=1, 7887=1, 7942=1, 8150=1, 8154=1, 8314=1, 8356=1, 8361=1, 8533=1, 8621=1, 8638=1, 8646=1, 8669=1, 8718=1, 8821=1, 8824=1, 8878=1, 8904=1, 9000=1, 9021=1, 9022=1, 9065=1, 9066=1, 9143=1, 9196=1, 9218=1, 9277=1, 9281=1, 9300=1, 9333=1, 9356=1, 9359=1, 9392=1, 9423=1, 9457=1, 9483=1, 9509=1, 9642=1, 9657=1, 9673=1, 9677=1, 9679=1, 9690=1, 9765=1, 9810=1, 9820=1, 9841=1, 9847=1, 9852=1, 9909=1, 9938=1, 9959=1, 10001=1, 10010=1, 10051=1, 10094=1, 10101=1, 10177=1, 10186=1, 10190=1, 10192=1, 10226=1, 10381=1, 10411=1, 10482=1, 10490=1, 10550=1, 10605=1, 10606=1, 10631=1, 10658=1, 10689=1, 10720=1, 10746=1, 10805=1, 10807=1, 10810=1, 10847=1, 10963=1, 10976=1, 11066=1, 11106=1, 11110=1, 11149=1, 11174=1, 11213=1, 11228=1, 11255=1, 11277=1, 11280=1, 11340=1, 11364=1, 11365=1, 11393=1, 11409=1, 11580=1, 11604=1, 11616=1, 11619=1, 11652=1, 11686=1, 11722=1, 11723=1, 11754=1, 11773=1, 11803=1, 11842=1, 11900=1, 11974=1, 12003=1, 12176=1, 12204=1, 12215=1, 12236=1, 12246=1, 12263=1, 12264=1, 12268=1, 12272=1, 12315=1, 12369=1, 12381=1, 12432=1, 12500=1, 12516=1, 12607=1, 12626=1, 12627=1, 12638=1, 12708=1, 12719=1, 12814=1, 12855=1, 12857=1, 12862=1, 12904=1, 12979=1, 13188=1, 13211=1, 13221=1, 13229=1, 13236=1, 13263=1, 13264=1, 13313=1, 13356=1, 13441=1, 13518=1, 13520=1, 13522=1, 13541=1, 13642=1, 13644=1, 13706=1, 13777=1, 13778=1, 13784=1, 13803=1, 13833=1, 13868=1, 13887=1, 14035=1, 14038=1, 14091=1, 14149=1, 14153=1, 14189=1, 14210=1, 14217=1, 14272=1, 14282=1, 14330=1, 14356=1, 14375=1, 14442=1, 14447=1, 14463=1, 14468=1, 14631=1, 14649=1, 14757=1, 14761=1, 14764=1, 14777=1, 14854=1, 14855=1, 14879=1, 14952=1, 15029=1, 15045=1, 15065=1, 15072=1, 15107=1, 15127=1, 15147=1, 15149=1, 15215=1, 15217=1, 15314=1, 15541=1, 15582=1, 15585=1, 15667=1, 15689=1, 15761=1, 15769=1, 15801=1, 16087=1, 16088=1, 16112=1, 16116=1, 16134=1, 16167=1, 16175=1, 16190=1, 16268=1, 16305=1, 16333=1, 16417=1, 16419=1, 16451=1, 16471=1, 16472=1, 16489=1, 16514=1, 16525=1, 16597=1, 16610=1, 16611=1, 16671=1, 16681=1, 16696=1, 16752=1, 16770=1, 16795=1, 16866=1, 16911=1, 16916=1, 16930=1, 17029=1, 17062=1, 17106=1, 17174=1, 17194=1, 17213=1, 17214=1, 17259=1, 17282=1, 17341=1, 17392=1, 17412=1, 17414=1, 17445=1, 17568=1, 17583=1, 17638=1, 17672=1, 17691=1, 17759=1, 17783=1, 17837=1, 17852=1, 17910=1, 17925=1, 17954=1, 17956=1, 17959=1, 18043=1, 18094=1, 18099=1, 18119=1, 18211=1, 18225=1, 18226=1, 18250=1, 18291=1, 18311=1, 18325=1, 18335=1, 18338=1, 18353=1, 18392=1, 18456=1, 18658=1, 18682=1, 18688=1, 18724=1, 18741=1, 18877=1, 18929=1, 18935=1, 18970=1, 18975=1, 19014=1, 19016=1, 19058=1, 19065=1, 19068=1, 19081=1, 19104=1, 19348=1, 19364=1, 19386=1, 19399=1, 19453=1, 19477=1, 19479=1, 19546=1, 19559=1, 19599=1, 19642=1, 19706=1, 19715=1, 19793=1, 19801=1, 19839=1, 19840=1, 19849=1, 19885=1, 19899=1, 19955=1, 19972=1, 19982=1, 20021=1, 20027=1, 20080=1, 20117=1, 20136=1, 20157=1, 20182=1, 20270=1, 20341=1, 20533=1, 20593=1, 20625=1, 20638=1, 20710=1, 20724=1, 20758=1, 20794=1, 20844=1, 20868=1, 20881=1, 20921=1, 20942=1, 20959=1, 20993=1, 21156=1, 21158=1, 21186=1, 21214=1, 21228=1, 21244=1, 21245=1, 21330=1, 21355=1, 21364=1, 21408=1, 21454=1, 21458=1, 21465=1, 21502=1, 21503=1, 21525=1, 21536=1, 21584=1, 21607=1, 21670=1, 21675=1, 21756=1, 21757=1, 21763=1, 21767=1, 21856=1, 21901=1, 21974=1, 22012=1, 22020=1, 22042=1, 22058=1, 22089=1, 22098=1, 22211=1, 22240=1, 22264=1, 22269=1, 22305=1, 22311=1, 22313=1, 22372=1, 22373=1, 22413=1, 22562=1, 22607=1, 22621=1, 22639=1, 22653=1, 22661=1, 22745=1, 22768=1, 22776=1, 22778=1, 22835=1, 22847=1, 22867=1, 22905=1, 22938=1, 22948=1, 22976=1, 22981=1, 22997=1, 23057=1, 23079=1, 23114=1, 23146=1, 23162=1, 23239=1, 23251=1, 23345=1, 23397=1, 23419=1, 23499=1, 23501=1, 23505=1, 23509=1, 23615=1, 23649=1, 23654=1, 23732=1, 23770=1, 23787=1, 23817=1, 23920=1, 23985=1, 24002=1, 24014=1, 24147=1, 24204=1, 24212=1, 24242=1, 24296=1, 24336=1, 24359=1, 24363=1, 24364=1, 24371=1, 24372=1, 24404=1, 24405=1, 24406=1, 24427=1, 24434=1, 24458=1, 24573=1, 24579=1, 24584=1, 24634=1, 24661=1, 24732=1, 24771=1, 24803=1, 24850=1, 24880=1, 24933=1, 24937=1, 24957=1, 25032=1, 25081=1, 25114=1, 25115=1, 25168=1, 25197=1, 25331=1, 25403=1, 25482=1, 25565=1, 25669=1, 25718=1, 25781=1, 25783=1, 25795=1, 25802=1, 25817=1, 25867=1, 25926=1, 25939=1, 25961=1, 26113=1, 26152=1, 26195=1, 26200=1, 26217=1, 26293=1, 26342=1, 26363=1, 26417=1, 26431=1, 26441=1, 26446=1, 26492=1, 26516=1, 26609=1, 26694=1, 26739=1, 26766=1, 26780=1, 26818=1, 26822=1, 26907=1, 26918=1, 26924=1, 26953=1, 26981=1, 26989=1, 27106=1, 27108=1, 27137=1, 27258=1, 27271=1, 27313=1, 27352=1, 27357=1, 27373=1, 27394=1, 27430=1, 27478=1, 27534=1, 27557=1, 27590=1, 27599=1, 27663=1, 27674=1, 27717=1, 27741=1, 27771=1, 27785=1, 27811=1, 27814=1, 27837=1, 27931=1, 27944=1, 27981=1, 28033=1, 28128=1, 28131=1, 28159=1, 28166=1, 28203=1, 28237=1, 28261=1, 28316=1, 28363=1, 28369=1, 28392=1, 28424=1, 28427=1, 28438=1, 28454=1, 28480=1, 28501=1, 28546=1, 28556=1, 28579=1, 28586=1, 28598=1, 28601=1, 28665=1, 28669=1, 28677=1, 28733=1, 28735=1, 28861=1, 28994=1, 29042=1, 29066=1, 29076=1, 29100=1, 29156=1, 29166=1, 29210=1, 29239=1, 29300=1, 29303=1, 29341=1, 29356=1, 29401=1, 29424=1, 29438=1, 29456=1, 29488=1, 29494=1, 29505=1, 29598=1, 29607=1, 29615=1, 29620=1, 29634=1, 29735=1, 29742=1, 29757=1, 29769=1, 29783=1, 29792=1, 29806=1, 29827=1, 29867=1, 30008=1, 30021=1, 30067=1, 30115=1, 30127=1, 30146=1, 30148=1, 30227=1, 30246=1, 30368=1, 30376=1, 30393=1, 30404=1, 30469=1, 30473=1, 30642=1, 30683=1, 30732=1, 30760=1, 30769=1, 30792=1, 30815=1, 30825=1, 30859=1, 30870=1, 30871=1, 30887=1, 30944=1, 30950=1, 31016=1, 31141=1, 31144=1, 31247=1, 31313=1, 31425=1, 31464=1, 31496=1, 31523=1, 31539=1, 31593=1, 31668=1, 31756=1, 31759=1, 31778=1, 31793=1, 31800=1, 31815=1, 31835=1, 31839=1, 31870=1, 31891=1, 31947=1, 31958=1, 31981=1, 31996=1, 32020=1, 32113=1, 32116=1, 32174=1, 32292=1, 32334=1, 32352=1, 32380=1, 32383=1, 32420=1, 32426=1, 32430=1, 32581=1, 32604=1, 32644=1, 32665=1, 32686=1, 32703=1, 32731=1, 32820=1, 32823=1, 32834=1, 32851=1, 32872=1, 32878=1, 32881=1, 32906=1, 32915=1, 32921=1, 32971=1, 32985=1, 33124=1, 33202=1, 33224=1, 33256=1, 33271=1, 33318=1, 33320=1, 33378=1, 33384=1, 33404=1, 33417=1, 33443=1, 33474=1, 33485=1, 33525=1, 33530=1, 33539=1, 33656=1, 33657=1, 33675=1, 33692=1, 33794=1, 33800=1, 33803=1, 33805=1, 33806=1, 33835=1, 33909=1, 33922=1, 34027=1, 34033=1, 34035=1, 34082=1, 34105=1, 34121=1, 34131=1, 34138=1, 34164=1, 34252=1, 34261=1, 34316=1, 34334=1, 34382=1, 34450=1, 34472=1, 34499=1, 34511=1, 34570=1, 34650=1, 34671=1, 34679=1, 34690=1, 34695=1, 34702=1, 34809=1, 34868=1, 34880=1, 34914=1, 34979=1, 35065=1, 35228=1, 35241=1, 35257=1, 35285=1, 35289=1, 35332=1, 35350=1, 35401=1, 35402=1, 35464=1, 35486=1, 35581=1, 35650=1, 35690=1, 35779=1, 35819=1, 35861=1, 35891=1, 35941=1, 36002=1, 36064=1, 36091=1, 36095=1, 36135=1, 36142=1, 36149=1, 36161=1, 36220=1, 36222=1, 36266=1, 36331=1, 36350=1, 36362=1, 36365=1, 36382=1, 36600=1, 36644=1, 36649=1, 36709=1, 36710=1, 36731=1, 36778=1, 36829=1, 36845=1, 36861=1, 36877=1, 36907=1, 36917=1, 36925=1, 36960=1, 36976=1, 36996=1, 37018=1, 37032=1, 37042=1, 37043=1, 37074=1, 37082=1, 37112=1, 37123=1, 37210=1, 37416=1, 37421=1, 37440=1, 37566=1, 37610=1, 37626=1, 37637=1, 37701=1, 37735=1, 37744=1, 37781=1, 37794=1, 37874=1, 37875=1, 37930=1, 37934=1, 37986=1, 38026=1, 38056=1, 38070=1, 38084=1, 38110=1, 38119=1, 38176=1, 38180=1, 38220=1, 38231=1, 38266=1, 38271=1, 38301=1, 38305=1, 38319=1, 38344=1, 38362=1, 38363=1, 38365=1, 38384=1, 38407=1, 38429=1, 38445=1, 38447=1, 38450=1, 38455=1, 38461=1, 38503=1, 38536=1, 38568=1, 38666=1, 38672=1, 38677=1, 38680=1, 38750=1, 38756=1, 38775=1, 38908=1, 38948=1, 38968=1, 39029=1, 39080=1, 39095=1, 39100=1, 39154=1, 39184=1, 39197=1, 39201=1, 39207=1, 39223=1, 39310=1, 39346=1, 39427=1, 39541=1, 39546=1, 39560=1, 39573=1, 39637=1, 39644=1, 39660=1, 39683=1, 39708=1, 39721=1, 39735=1, 39902=1, 39912=1, 39936=1, 39945=1, 40055=1, 40146=1, 40147=1, 40151=1, 40157=1, 40184=1, 40234=1, 40237=1, 40245=1, 40280=1, 40332=1, 40382=1, 40419=1, 40444=1, 40481=1, 40585=1, 40618=1, 40626=1, 40656=1, 40679=1, 40702=1, 40740=1, 40804=1, 40805=1, 40808=1, 40818=1, 40886=1, 40900=1, 40916=1, 40924=1, 40926=1, 40959=1, 40988=1, 41056=1, 41214=1, 41253=1, 41274=1, 41318=1, 41342=1, 41520=1, 41642=1, 41663=1, 41753=1, 41872=1, 41932=1, 41948=1, 41969=1, 41975=1, 41996=1, 41999=1, 42011=1, 42019=1, 42106=1, 42108=1, 42119=1, 42132=1, 42135=1, 42156=1, 42184=1, 42231=1, 42237=1, 42238=1, 42315=1, 42363=1, 42406=1, 42423=1, 42466=1, 42518=1, 42568=1, 42573=1, 42625=1, 42765=1, 42767=1, 42780=1, 42816=1, 42824=1, 42830=1, 42856=1, 42883=1, 42886=1, 42951=1, 42958=1, 43010=1, 43024=1, 43081=1, 43129=1, 43163=1, 43322=1, 43335=1, 43378=1, 43394=1, 43459=1, 43467=1, 43473=1, 43485=1, 43495=1, 43542=1, 43547=1, 43666=1, 43741=1, 43758=1, 43764=1, 43860=1, 43878=1, 43907=1, 43980=1, 44071=1, 44145=1, 44238=1, 44259=1, 44260=1, 44265=1, 44301=1, 44316=1, 44351=1, 44388=1, 44390=1, 44424=1, 44433=1, 44438=1, 44459=1, 44562=1, 44575=1, 44586=1, 44589=1, 44627=1, 44675=1, 44704=1, 44719=1, 44748=1, 44761=1, 44766=1, 44798=1, 44806=1, 44861=1, 44898=1, 44925=1, 44945=1, 44949=1, 45004=1, 45040=1, 45063=1, 45077=1, 45159=1, 45206=1, 45207=1, 45309=1, 45314=1, 45373=1, 45421=1, 45467=1, 45542=1, 45570=1, 45625=1, 45633=1, 45676=1, 45677=1, 45687=1, 45772=1, 45816=1, 45870=1, 45905=1, 45914=1, 45941=1, 46000=1, 46024=1, 46047=1, 46167=1, 46214=1, 46215=1, 46221=1, 46338=1, 46352=1, 46358=1, 46374=1, 46417=1, 46438=1, 46441=1, 46501=1, 46506=1, 46551=1, 46645=1, 46701=1, 46716=1, 46720=1, 46776=1, 46799=1, 46835=1, 46851=1, 46878=1, 46898=1, 46939=1, 47038=1, 47046=1, 47253=1, 47254=1, 47293=1, 47326=1, 47327=1, 47337=1, 47343=1, 47399=1, 47404=1, 47448=1, 47542=1, 47554=1, 47593=1, 47602=1, 47603=1, 47641=1, 47708=1, 47815=1, 47819=1, 47826=1, 47872=1, 47874=1, 47878=1, 47927=1, 47975=1, 47976=1, 47992=1, 48095=1, 48115=1, 48123=1, 48125=1, 48130=1, 48266=1, 48305=1, 48352=1, 48373=1, 48385=1, 48412=1, 48417=1, 48522=1, 48572=1, 48586=1, 48602=1, 48679=1, 48765=1, 48779=1, 48780=1, 48791=1, 48801=1, 48848=1, 48860=1, 48876=1, 48881=1, 48888=1, 48941=1, 49033=1, 49067=1, 49092=1, 49096=1, 49115=1, 49118=1, 49122=1, 49144=1, 49151=1, 49197=1, 49203=1, 49209=1, 49222=1, 49223=1, 49268=1, 49282=1, 49472=1, 49494=1, 49500=1, 49511=1, 49555=1, 49562=1, 49570=1, 49571=1, 49632=1, 49728=1, 49744=1, 49762=1, 49824=1, 49857=1, 49902=1, 49931=1, 49960=1, 50029=1, 50050=1, 50118=1, 50167=1, 50175=1, 50199=1, 50204=1, 50232=1, 50236=1, 50300=1, 50305=1, 50316=1, 50337=1, 50373=1, 50433=1, 50539=1, 50550=1, 50581=1, 50663=1, 50670=1, 50696=1, 50703=1, 50723=1, 50734=1, 50769=1, 50834=1, 50903=1, 50952=1, 50964=1, 50995=1, 51056=1, 51079=1, 51103=1, 51156=1, 51228=1, 51275=1, 51312=1, 51313=1, 51344=1, 51352=1, 51363=1, 51364=1, 51458=1, 51475=1, 51489=1, 51610=1, 51687=1, 51705=1, 51797=1, 51869=1, 51891=1, 51901=1, 51912=1, 51948=1, 51962=1, 51978=1, 51985=1, 52086=1, 52150=1, 52204=1, 52227=1, 52243=1, 52280=1, 52281=1, 52304=1, 52330=1, 52348=1, 52357=1, 52377=1, 52380=1, 52578=1, 52647=1, 52653=1, 52670=1, 52682=1, 52691=1, 52763=1, 52771=1, 52783=1, 52804=1, 52856=1, 52881=1, 52901=1, 52912=1, 52987=1, 53012=1, 53175=1, 53189=1, 53212=1, 53228=1, 53272=1, 53329=1, 53330=1, 53353=1, 53491=1, 53585=1, 53586=1, 53660=1, 53684=1, 53732=1, 53769=1, 53783=1, 53792=1, 53807=1, 53839=1, 53927=1, 53948=1, 53976=1, 54026=1, 54029=1, 54072=1, 54107=1, 54137=1, 54166=1, 54205=1, 54266=1, 54275=1, 54293=1, 54336=1, 54350=1, 54379=1, 54420=1, 54492=1, 54662=1, 54759=1, 54769=1, 54795=1, 54860=1, 54900=1, 54917=1, 54951=1, 55032=1, 55037=1, 55050=1, 55113=1, 55116=1, 55123=1, 55165=1, 55228=1, 55252=1, 55268=1, 55289=1, 55297=1, 55298=1, 55348=1, 55367=1, 55400=1, 55406=1, 55408=1, 55409=1, 55434=1, 55485=1, 55557=1, 55560=1, 55602=1, 55702=1, 55706=1, 55743=1, 55793=1, 55820=1, 55842=1, 55865=1, 55934=1, 55997=1, 56047=1, 56063=1, 56073=1, 56077=1, 56088=1, 56130=1, 56188=1, 56191=1, 56196=1, 56238=1, 56271=1, 56283=1, 56318=1, 56382=1, 56400=1, 56417=1, 56466=1, 56537=1, 56542=1, 56545=1, 56586=1, 56593=1, 56595=1, 56608=1, 56708=1, 56719=1, 56738=1, 56792=1, 56877=1, 56944=1, 56955=1, 56980=1, 57083=1, 57132=1, 57190=1, 57217=1, 57218=1, 57235=1, 57240=1, 57288=1, 57348=1, 57359=1, 57405=1, 57469=1, 57564=1, 57566=1, 57571=1, 57583=1, 57678=1, 57750=1, 57781=1, 57812=1, 57820=1, 57835=1, 57847=1, 57946=1, 57962=1, 57980=1, 58053=1, 58131=1, 58227=1, 58266=1, 58281=1, 58297=1, 58307=1, 58359=1, 58392=1, 58413=1, 58419=1, 58421=1, 58487=1, 58509=1, 58535=1, 58541=1, 58585=1, 58587=1, 58621=1, 58633=1, 58634=1, 58645=1, 58668=1, 58743=1, 58803=1, 58834=1, 58855=1, 58932=1, 58934=1, 59076=1, 59098=1, 59185=1, 59258=1, 59296=1, 59315=1, 59333=1, 59335=1, 59448=1, 59458=1, 59470=1, 59551=1, 59565=1, 59616=1, 59640=1, 59654=1, 59662=1, 59744=1, 59750=1, 59822=1, 59832=1, 59854=1, 59861=1, 59892=1, 59933=1, 59951=1, 60037=1, 60075=1, 60151=1, 60163=1, 60218=1, 60243=1, 60260=1, 60265=1, 60291=1, 60295=1, 60341=1, 60352=1, 60388=1, 60398=1, 60400=1, 60435=1, 60439=1, 60454=1, 60473=1, 60515=1, 60544=1, 60576=1, 60592=1, 60614=1, 60646=1, 60662=1, 60675=1, 60683=1, 60709=1, 60732=1, 60822=1, 60824=1, 60875=1, 61023=1, 61040=1, 61123=1, 61258=1, 61271=1, 61324=1, 61341=1, 61380=1, 61381=1, 61408=1, 61468=1, 61475=1, 61502=1, 61607=1, 61672=1, 61719=1, 61755=1, 61761=1, 61766=1, 61785=1, 61788=1, 61799=1, 61867=1, 61902=1, 61970=1, 61971=1, 61978=1, 61986=1, 61998=1, 62019=1, 62033=1, 62056=1, 62069=1, 62133=1, 62135=1, 62196=1, 62237=1, 62272=1, 62335=1, 62376=1, 62429=1, 62432=1, 62457=1, 62474=1, 62528=1, 62551=1, 62596=1, 62619=1, 62635=1, 62691=1, 62726=1, 62749=1, 62793=1, 62796=1, 62804=1, 62807=1, 62817=1, 62892=1, 62923=1, 62954=1, 62958=1, 63010=1, 63028=1, 63141=1, 63236=1, 63244=1, 63300=1, 63301=1, 63337=1, 63395=1, 63422=1, 63442=1, 63458=1, 63537=1, 63585=1, 63600=1, 63612=1, 63699=1, 63709=1, 63754=1, 63792=1, 63846=1, 63928=1, 64056=1, 64058=1, 64067=1, 64084=1, 64187=1, 64191=1, 64204=1, 64208=1, 64215=1, 64292=1, 64307=1, 64344=1, 64354=1, 64384=1, 64439=1, 64446=1, 64518=1, 64594=1, 64613=1, 64623=1, 64694=1, 64702=1, 64735=1, 64758=1, 64867=1, 64887=1, 64902=1, 64907=1, 65011=1, 65046=1, 65059=1, 65102=1, 65109=1, 65129=1, 65354=1, 65396=1, 65432=1, 65449=1, 65537=1, 65555=1, 65580=1, 65584=1}
Interrupted probabilistic random walk after 6405 steps, run timeout after 30003 ms. (steps per millisecond=0 ) properties seen :{31=1, 1071=1, 1941=1, 2225=1, 2595=1, 2830=1, 3382=1, 3397=1, 3792=1, 3993=1, 4623=1, 4755=1, 4993=1, 5230=1, 5333=1, 5517=1, 6164=1, 6198=1, 6648=1, 6759=1, 6804=1, 7153=1, 7186=1, 7681=1, 8148=1, 8464=1, 8502=1, 8525=1, 8634=1, 8699=1, 9036=1, 9212=1, 9462=1, 9844=1, 9849=1, 10021=1, 10231=1, 10323=1, 10747=1, 10790=1, 11505=1, 11647=1, 11725=1, 14496=1, 14598=1, 14618=1, 15014=1, 15463=1, 15484=1, 15535=1, 15650=1, 16509=1, 16562=1, 16615=1, 16828=1, 16848=1, 17164=1, 17409=1, 18144=1, 18152=1, 19116=1, 19217=1, 19360=1, 19652=1, 19810=1, 19902=1, 19984=1, 20303=1, 21369=1, 21494=1, 22003=1, 22448=1, 22901=1, 23212=1, 23388=1, 24220=1, 24368=1, 24458=1, 24469=1, 25669=1, 26068=1, 27201=1, 27214=1, 27390=1, 27418=1, 27461=1, 27501=1, 27854=1, 27968=1, 28100=1, 28966=1, 29252=1, 30496=1, 30677=1, 31016=1, 31646=1, 31647=1, 32826=1, 33139=1, 33167=1, 33672=1, 34874=1, 34875=1, 35189=1, 35546=1, 36044=1, 36577=1, 37552=1, 38531=1, 38629=1, 39123=1, 39342=1, 39800=1, 40161=1, 40341=1, 40784=1, 40966=1, 41030=1, 41420=1, 41722=1, 42576=1, 44348=1, 44740=1, 44799=1, 44891=1, 45558=1, 46030=1, 46351=1, 46623=1, 46751=1, 46858=1, 47026=1, 47178=1, 47377=1, 47614=1, 47887=1, 48892=1, 48951=1, 49161=1, 49281=1, 49733=1, 50494=1, 50529=1, 50633=1, 50850=1, 51042=1, 51400=1, 51530=1, 52354=1, 52473=1, 53761=1, 53825=1, 54149=1, 54182=1, 54384=1, 54904=1, 54989=1, 55913=1, 56142=1, 56399=1, 56417=1, 57613=1, 57843=1, 58487=1, 58671=1, 58925=1, 59018=1, 59059=1, 59365=1, 59707=1, 60565=1, 60714=1, 61142=1, 62203=1, 62627=1, 62718=1, 62818=1, 62861=1, 62866=1, 62925=1, 63506=1}
Probabilistic random walk after 6405 steps, saw 3604 distinct states, run finished after 30004 ms. (steps per millisecond=0 ) properties seen :{31=1, 1071=1, 1941=1, 2225=1, 2595=1, 2830=1, 3382=1, 3397=1, 3792=1, 3993=1, 4623=1, 4755=1, 4993=1, 5230=1, 5333=1, 5517=1, 6164=1, 6198=1, 6648=1, 6759=1, 6804=1, 7153=1, 7186=1, 7681=1, 8148=1, 8464=1, 8502=1, 8525=1, 8634=1, 8699=1, 9036=1, 9212=1, 9462=1, 9844=1, 9849=1, 10021=1, 10231=1, 10323=1, 10747=1, 10790=1, 11505=1, 11647=1, 11725=1, 14496=1, 14598=1, 14618=1, 15014=1, 15463=1, 15484=1, 15535=1, 15650=1, 16509=1, 16562=1, 16615=1, 16828=1, 16848=1, 17164=1, 17409=1, 18144=1, 18152=1, 19116=1, 19217=1, 19360=1, 19652=1, 19810=1, 19902=1, 19984=1, 20303=1, 21369=1, 21494=1, 22003=1, 22448=1, 22901=1, 23212=1, 23388=1, 24220=1, 24368=1, 24458=1, 24469=1, 25669=1, 26068=1, 27201=1, 27214=1, 27390=1, 27418=1, 27461=1, 27501=1, 27854=1, 27968=1, 28100=1, 28966=1, 29252=1, 30496=1, 30677=1, 31016=1, 31646=1, 31647=1, 32826=1, 33139=1, 33167=1, 33672=1, 34874=1, 34875=1, 35189=1, 35546=1, 36044=1, 36577=1, 37552=1, 38531=1, 38629=1, 39123=1, 39342=1, 39800=1, 40161=1, 40341=1, 40784=1, 40966=1, 41030=1, 41420=1, 41722=1, 42576=1, 44348=1, 44740=1, 44799=1, 44891=1, 45558=1, 46030=1, 46351=1, 46623=1, 46751=1, 46858=1, 47026=1, 47178=1, 47377=1, 47614=1, 47887=1, 48892=1, 48951=1, 49161=1, 49281=1, 49733=1, 50494=1, 50529=1, 50633=1, 50850=1, 51042=1, 51400=1, 51530=1, 52354=1, 52473=1, 53761=1, 53825=1, 54149=1, 54182=1, 54384=1, 54904=1, 54989=1, 55913=1, 56142=1, 56399=1, 56417=1, 57613=1, 57843=1, 58487=1, 58671=1, 58925=1, 59018=1, 59059=1, 59365=1, 59707=1, 60565=1, 60714=1, 61142=1, 62203=1, 62627=1, 62718=1, 62818=1, 62861=1, 62866=1, 62925=1, 63506=1}
Running SMT prover for 63568 properties.
// Phase 1: matrix 65641 rows 1681 cols
[2022-05-21 08:35:22] [INFO ] Computed 41 place invariants in 161 ms
[2022-05-21 08:35:47] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 63568 Parikh solutions to 1 different solutions.
Support contains 1681 out of 1681 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1681/1681 places, 65641/65641 transitions.
Applied a total of 0 rules in 417 ms. Remains 1681 /1681 variables (removed 0) and now considering 65641/65641 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1681/1681 places, 65641/65641 transitions.
[2022-05-21 08:35:51] [INFO ] Flatten gal took : 2335 ms
[2022-05-21 08:35:53] [INFO ] Flatten gal took : 1764 ms
[2022-05-21 08:35:53] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2526695049663204358.gal : 232 ms
[2022-05-21 08:35:53] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality8386681425478660913.prop : 154 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/ReachabilityCardinality2526695049663204358.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality8386681425478660913.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/ReachabilityCardinality2526695049663204358.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality8386681425478660913.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality8386681425478660913.prop.
Detected timeout of ITS tools.
[2022-05-21 08:36:11] [INFO ] Flatten gal took : 1766 ms
[2022-05-21 08:36:11] [INFO ] Applying decomposition
[2022-05-21 08:36:12] [INFO ] Flatten gal took : 1652 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/graph4935219356566842497.txt, -o, /tmp/graph4935219356566842497.bin, -w, /tmp/graph4935219356566842497.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/graph4935219356566842497.bin, -l, -1, -v, -w, /tmp/graph4935219356566842497.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-21 08:36:17] [INFO ] Decomposing Gal with order
[2022-05-21 08:36:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 08:36:22] [INFO ] Removed a total of 155103 redundant transitions.
[2022-05-21 08:36:23] [INFO ] Flatten gal took : 3502 ms
[2022-05-21 08:38:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 1685 labels/synchronizations in 1872 ms.
[2022-05-21 08:38:02] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7234062079259632470.gal : 266 ms
[2022-05-21 08:38:02] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality914466033990506120.prop : 200 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/ReachabilityCardinality7234062079259632470.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality914466033990506120.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/ReachabilityCardinality7234062079259632470.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality914466033990506120.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin6711251600340605784
[2022-05-21 08:38:18] [INFO ] Built C files in 1004ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin6711251600340605784
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/ltsmin6711251600340605784]
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/ltsmin6711251600340605784] 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/ltsmin6711251600340605784] 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 4627 steps, including 0 resets, run timeout after 30003 ms. (steps per millisecond=0 ) properties seen :{612=1, 629=1, 1663=1, 2897=1, 3477=1, 3805=1, 3825=1, 4104=1, 4213=1, 4416=1, 4724=1, 5735=1, 5841=1, 6098=1, 6381=1, 6457=1, 6474=1, 6618=1, 6876=1, 6912=1, 8599=1, 9194=1, 9229=1, 10185=1, 10768=1, 11687=1, 11902=1, 11914=1, 12087=1, 12392=1, 12564=1, 12668=1, 13389=1, 13621=1, 13642=1, 13800=1, 13953=1, 14093=1, 14427=1, 15207=1, 16020=1, 17418=1, 18961=1, 19069=1, 19280=1, 19551=1, 19840=1, 20023=1, 20056=1, 20516=1, 20896=1, 21115=1, 21595=1, 21755=1, 21940=1, 22093=1, 22226=1, 22668=1, 23121=1, 23485=1, 23974=1, 24204=1, 24946=1, 25053=1, 25119=1, 25327=1, 26057=1, 26276=1, 27138=1, 27271=1, 28010=1, 28124=1, 28843=1, 28859=1, 28903=1, 29272=1, 29355=1, 29744=1, 29950=1, 29967=1, 30948=1, 31038=1, 31487=1, 31678=1, 32448=1, 32695=1, 32776=1, 33109=1, 33577=1, 33693=1, 33723=1, 33863=1, 34136=1, 34319=1, 34675=1, 34718=1, 34871=1, 34986=1, 35526=1, 35832=1, 36923=1, 36951=1, 38863=1, 39171=1, 39224=1, 39772=1, 39947=1, 40023=1, 40108=1, 40258=1, 40333=1, 40865=1, 41377=1, 41407=1, 42110=1, 42134=1, 42301=1, 42853=1, 42855=1, 43304=1, 43447=1, 43560=1, 43722=1, 44070=1, 44347=1, 45218=1, 45524=1, 45900=1, 46070=1, 46338=1, 46621=1, 46710=1, 47092=1, 47454=1, 48097=1, 49150=1, 49374=1, 49520=1, 49556=1, 49578=1, 49672=1, 49714=1, 49838=1, 49881=1, 49917=1, 49941=1, 50186=1, 51643=1, 51984=1, 52037=1, 52333=1, 52371=1, 52415=1, 52606=1, 52894=1, 53147=1, 53438=1, 53896=1, 53959=1, 54282=1, 54645=1, 54786=1, 55062=1, 55652=1, 55966=1, 56410=1, 57441=1, 58403=1, 59065=1, 59250=1, 59448=1, 59877=1, 60438=1, 60553=1, 60715=1, 60748=1, 61403=1, 62166=1, 62445=1, 62695=1, 63044=1, 63112=1, 63395=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63385) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63385) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63383) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63381) seen :6
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63375) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63373) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63370) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63370) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 191 ms. (steps per millisecond=5 ) properties (out of 63368) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63367) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63367) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63365) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 63363) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63363) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63362) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63362) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63360) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 63357) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63357) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63357) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 63357) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63356) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63355) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63355) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63354) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63354) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63354) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63353) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 63350) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 63350) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63349) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 63348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 63348) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 63348) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63347) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63347) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63346) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63346) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 63345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63345) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 63345) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63343) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63342) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 63342) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 63341) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 63341) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 63340) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 63339) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63339) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 63339) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63339) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63338) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63338) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63337) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63337) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63337) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63337) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63337) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63337) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63337) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63337) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63337) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63337) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63337) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63337) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63336) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63336) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63335) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63334) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63333) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63333) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63333) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63333) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63333) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63333) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63333) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63332) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63332) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63331) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63331) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63330) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63329) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63329) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63329) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63329) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63329) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63329) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63329) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63329) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63328) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63327) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63325) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63324) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63323) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63323) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63322) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63322) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 63320) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 63320) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 63320) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 63318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 63318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 63318) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 63317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 63317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 63317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63317) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63316) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63316) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 63315) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 63314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 63314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 63314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 63314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63314) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63313) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63313) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63312) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63311) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63311) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63311) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63311) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63311) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63311) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63311) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63311) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63311) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63311) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63311) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63311) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63310) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 191 ms. (steps per millisecond=5 ) properties (out of 63309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 191 ms. (steps per millisecond=5 ) properties (out of 63309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 63309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63309) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 191 ms. (steps per millisecond=5 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63308) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63308) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63307) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63306) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63305) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 194 ms. (steps per millisecond=5 ) properties (out of 63304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63304) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63304) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 63303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 191 ms. (steps per millisecond=5 ) properties (out of 63303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 191 ms. (steps per millisecond=5 ) properties (out of 63303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 63303) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 194 ms. (steps per millisecond=5 ) properties (out of 63302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63302) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 191 ms. (steps per millisecond=5 ) properties (out of 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63301) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63300) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63299) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63299) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63298) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63298) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63298) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63298) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63298) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63298) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63298) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63297) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63297) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63297) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63296) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63296) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63296) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63296) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63296) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 63296) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63296) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63295) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63295) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 280 ms. (steps per millisecond=3 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63294) seen :0
Interrupted probabilistic random walk after 6671 steps, run timeout after 30007 ms. (steps per millisecond=0 ) properties seen :{6408=1, 50604=1}
Probabilistic random walk after 6671 steps, saw 3682 distinct states, run finished after 30011 ms. (steps per millisecond=0 ) properties seen :{6408=1, 50604=1}
Running SMT prover for 63292 properties.
// Phase 1: matrix 65641 rows 1681 cols
[2022-05-21 08:40:51] [INFO ] Computed 41 place invariants in 166 ms
[2022-05-21 08:44:36] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 63292 Parikh solutions to 1 different solutions.
Support contains 1681 out of 1681 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1681/1681 places, 65641/65641 transitions.
Applied a total of 0 rules in 328 ms. Remains 1681 /1681 variables (removed 0) and now considering 65641/65641 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1681/1681 places, 65641/65641 transitions.
[2022-05-21 08:44:38] [INFO ] Flatten gal took : 1699 ms
[2022-05-21 08:44:40] [INFO ] Flatten gal took : 1863 ms
[2022-05-21 08:44:41] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13554377459965107848.gal : 192 ms
[2022-05-21 08:44:41] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15795892660228463026.prop : 90 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/ReachabilityCardinality13554377459965107848.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality15795892660228463026.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/ReachabilityCardinality13554377459965107848.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality15795892660228463026.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality15795892660228463026.prop.
Detected timeout of ITS tools.
[2022-05-21 08:44:58] [INFO ] Flatten gal took : 1885 ms
[2022-05-21 08:44:58] [INFO ] Applying decomposition
[2022-05-21 08:45:00] [INFO ] Flatten gal took : 1808 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/graph5433394656392634813.txt, -o, /tmp/graph5433394656392634813.bin, -w, /tmp/graph5433394656392634813.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/graph5433394656392634813.bin, -l, -1, -v, -w, /tmp/graph5433394656392634813.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-21 08:45:04] [INFO ] Decomposing Gal with order
[2022-05-21 08:45:04] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 08:45:09] [INFO ] Removed a total of 155376 redundant transitions.
[2022-05-21 08:45:10] [INFO ] Flatten gal took : 3167 ms
[2022-05-21 08:45:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 2161 labels/synchronizations in 1796 ms.
[2022-05-21 08:45:40] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality9212389109334940526.gal : 138 ms
[2022-05-21 08:45:40] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality9282515957846403007.prop : 136 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/ReachabilityCardinality9212389109334940526.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality9282515957846403007.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/ReachabilityCardinality9212389109334940526.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality9282515957846403007.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin18416000197805367057
[2022-05-21 08:45:56] [INFO ] Built C files in 580ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin18416000197805367057
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/ltsmin18416000197805367057]
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/ltsmin18416000197805367057] 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/ltsmin18416000197805367057] 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 4639 steps, including 0 resets, run timeout after 30007 ms. (steps per millisecond=0 ) properties seen :{25=1, 232=1, 1783=1, 1790=1, 2158=1, 2355=1, 2677=1, 3157=1, 3383=1, 3527=1, 4064=1, 4319=1, 4680=1, 5905=1, 6384=1, 6686=1, 7909=1, 8079=1, 8661=1, 9189=1, 9362=1, 9546=1, 9864=1, 10116=1, 11076=1, 11378=1, 11596=1, 11727=1, 12735=1, 12806=1, 13026=1, 14606=1, 15021=1, 15171=1, 15656=1, 16020=1, 16195=1, 16366=1, 16686=1, 17221=1, 17771=1, 17889=1, 18307=1, 19160=1, 19379=1, 19421=1, 19446=1, 19556=1, 19563=1, 19583=1, 19811=1, 20315=1, 20345=1, 20514=1, 21919=1, 22112=1, 23031=1, 23261=1, 23583=1, 23640=1, 23839=1, 24162=1, 26190=1, 26373=1, 26520=1, 26859=1, 28398=1, 28822=1, 29312=1, 29572=1, 30797=1, 30887=1, 30957=1, 31524=1, 31851=1, 32048=1, 32099=1, 32349=1, 32467=1, 34499=1, 34603=1, 35499=1, 36056=1, 36560=1, 37232=1, 37603=1, 37951=1, 38018=1, 38827=1, 39355=1, 39540=1, 39651=1, 39757=1, 39949=1, 40473=1, 40524=1, 40777=1, 40863=1, 41547=1, 44761=1, 45277=1, 45693=1, 46334=1, 47173=1, 47914=1, 49037=1, 50133=1, 50162=1, 50555=1, 51273=1, 53526=1, 54688=1, 55074=1, 55290=1, 55630=1, 56008=1, 57168=1, 57520=1, 57637=1, 58140=1, 58320=1, 58418=1, 58457=1, 58571=1, 58574=1, 59119=1, 59327=1, 59676=1, 60540=1, 61000=1, 61357=1, 61565=1, 62288=1, 63248=1, 63256=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 210 ms. (steps per millisecond=4 ) properties (out of 63157) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63157) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63157) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63157) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63157) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 63157) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 63157) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 63157) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 63157) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 212 ms. (steps per millisecond=4 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 214 ms. (steps per millisecond=4 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 63156) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 63156) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 202 ms. (steps per millisecond=4 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 210 ms. (steps per millisecond=4 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 210 ms. (steps per millisecond=4 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 207 ms. (steps per millisecond=4 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 214 ms. (steps per millisecond=4 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 209 ms. (steps per millisecond=4 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 209 ms. (steps per millisecond=4 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 209 ms. (steps per millisecond=4 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 209 ms. (steps per millisecond=4 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 194 ms. (steps per millisecond=5 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 194 ms. (steps per millisecond=5 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=4 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 211 ms. (steps per millisecond=4 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63155) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 63155) seen :0
Interrupted probabilistic random walk after 5452 steps, run timeout after 30002 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 5452 steps, saw 3357 distinct states, run finished after 30004 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 63155 properties.
// Phase 1: matrix 65641 rows 1681 cols
[2022-05-21 08:47:13] [INFO ] Computed 41 place invariants in 306 ms
[2022-05-21 08:50:59] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 63155 Parikh solutions to 1 different solutions.
Support contains 1681 out of 1681 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1681/1681 places, 65641/65641 transitions.
Applied a total of 0 rules in 313 ms. Remains 1681 /1681 variables (removed 0) and now considering 65641/65641 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1681/1681 places, 65641/65641 transitions.
[2022-05-21 08:51:01] [INFO ] Flatten gal took : 1807 ms
[2022-05-21 08:51:03] [INFO ] Flatten gal took : 1683 ms
[2022-05-21 08:51:03] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality18139207667808865997.gal : 156 ms
[2022-05-21 08:51:04] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality640432512186346873.prop : 92 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/ReachabilityCardinality18139207667808865997.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality640432512186346873.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/ReachabilityCardinality18139207667808865997.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality640432512186346873.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality640432512186346873.prop.
Detected timeout of ITS tools.
[2022-05-21 08:51:21] [INFO ] Flatten gal took : 1839 ms
[2022-05-21 08:51:21] [INFO ] Applying decomposition
[2022-05-21 08:51:23] [INFO ] Flatten gal took : 1761 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/graph17911539158064552049.txt, -o, /tmp/graph17911539158064552049.bin, -w, /tmp/graph17911539158064552049.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/graph17911539158064552049.bin, -l, -1, -v, -w, /tmp/graph17911539158064552049.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-21 08:51:26] [INFO ] Decomposing Gal with order
[2022-05-21 08:51:26] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 08:51:32] [INFO ] Removed a total of 155103 redundant transitions.
[2022-05-21 08:51:33] [INFO ] Flatten gal took : 3440 ms
[2022-05-21 08:53:33] [INFO ] Fuse similar labels procedure discarded/fused a total of 1621 labels/synchronizations in 1883 ms.
[2022-05-21 08:53:33] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality7192516996819105580.gal : 174 ms
[2022-05-21 08:53:34] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality6186984425109404249.prop : 223 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/ReachabilityCardinality7192516996819105580.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality6186984425109404249.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/ReachabilityCardinality7192516996819105580.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality6186984425109404249.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin16042935166250107763
[2022-05-21 08:53:50] [INFO ] Built C files in 733ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin16042935166250107763
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/ltsmin16042935166250107763]
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/ltsmin16042935166250107763] 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/ltsmin16042935166250107763] 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 4496 steps, including 0 resets, run timeout after 30002 ms. (steps per millisecond=0 ) properties seen :{462=1, 1124=1, 1288=1, 2670=1, 3871=1, 4030=1, 4747=1, 4756=1, 4805=1, 6368=1, 6449=1, 7199=1, 7984=1, 8592=1, 8949=1, 9353=1, 9808=1, 11381=1, 12911=1, 12922=1, 13409=1, 14960=1, 15841=1, 17552=1, 18251=1, 18611=1, 19690=1, 20294=1, 20492=1, 21160=1, 21210=1, 21378=1, 21646=1, 21949=1, 24010=1, 24262=1, 25192=1, 25730=1, 27229=1, 28126=1, 29287=1, 29459=1, 30057=1, 31067=1, 31295=1, 31766=1, 32019=1, 32942=1, 33231=1, 33859=1, 34266=1, 34453=1, 34734=1, 36267=1, 37071=1, 37482=1, 37844=1, 38052=1, 38763=1, 38835=1, 39569=1, 39625=1, 39931=1, 40694=1, 40816=1, 41127=1, 41500=1, 41531=1, 41718=1, 42604=1, 43803=1, 44070=1, 46183=1, 47724=1, 48638=1, 48860=1, 49172=1, 50022=1, 50234=1, 50592=1, 51421=1, 52502=1, 55327=1, 55649=1, 56111=1, 56568=1, 56630=1, 56686=1, 57867=1, 58476=1, 62385=1, 62462=1, 62619=1, 62737=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 201 ms. (steps per millisecond=4 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 194 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 191 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 194 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 193 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 215 ms. (steps per millisecond=4 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 194 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 217 ms. (steps per millisecond=4 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 214 ms. (steps per millisecond=4 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 210 ms. (steps per millisecond=4 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 205 ms. (steps per millisecond=4 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 212 ms. (steps per millisecond=4 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 211 ms. (steps per millisecond=4 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 261 ms. (steps per millisecond=3 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 232 ms. (steps per millisecond=4 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 199 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 193 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2712 ms. (steps per millisecond=0 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 230 ms. (steps per millisecond=4 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 206 ms. (steps per millisecond=4 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 63061) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 63061) seen :0
Interrupted probabilistic random walk after 4535 steps, run timeout after 35082 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 4535 steps, saw 2972 distinct states, run finished after 35101 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 63061 properties.
// Phase 1: matrix 65641 rows 1681 cols
[2022-05-21 08:55:11] [INFO ] Computed 41 place invariants in 425 ms
[2022-05-21 08:58:56] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 63061 Parikh solutions to 1 different solutions.
Support contains 1681 out of 1681 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1681/1681 places, 65641/65641 transitions.
Applied a total of 0 rules in 523 ms. Remains 1681 /1681 variables (removed 0) and now considering 65641/65641 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1681/1681 places, 65641/65641 transitions.
[2022-05-21 08:58:59] [INFO ] Flatten gal took : 1694 ms
[2022-05-21 08:59:01] [INFO ] Flatten gal took : 1683 ms
[2022-05-21 08:59:01] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4791294456744344853.gal : 139 ms
[2022-05-21 08:59:01] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14584626609376862902.prop : 77 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/ReachabilityCardinality4791294456744344853.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality14584626609376862902.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/ReachabilityCardinality4791294456744344853.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality14584626609376862902.prop --nowitness --gen-order FOLLOW
ITS-tools command line returned an error code 137
[2022-05-21 08:59:05] [INFO ] Flatten gal took : 1719 ms
[2022-05-21 08:59:05] [INFO ] Applying decomposition
[2022-05-21 08:59:06] [INFO ] Flatten gal took : 1736 ms
#
# There is insufficient memory for the Java Runtime Environment to continue.
# Native memory allocation (mmap) failed to map 2290089984 bytes for committing reserved memory.
# An error report file with more information is saved as:
# /home/mcc/execution/hs_err_pid532.log
Its-tools:
JVM terminated. Exit code=1
/usr/bin/java
-Dosgi.locking=none
-Declipse.stateSaveDelayInterval=-1
-Dosgi.configuration.area=/tmp/.eclipse
-Xss128m
-Xms40m
-Xmx16000m
-jar /home/mcc/BenchKit/itstools//plugins/org.eclipse.equinox.launcher_1.6.100.v20201223-0822.jar
-os linux
-ws gtk
-arch x86_64
-showsplash
-launcher /home/mcc/BenchKit/itstools/its-tools
-name Its-tools
--launcher.library /home/mcc/BenchKit/itstools//plugins/org.eclipse.equinox.launcher.gtk.linux.x86_64_1.2.100.v20210209-1541/eclipse_11301.so
-startup /home/mcc/BenchKit/itstools//plugins/org.eclipse.equinox.launcher_1.6.100.v20201223-0822.jar
--launcher.overrideVmargs
-exitdata 0
-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
-vm /usr/bin/java
-vmargs
-Dosgi.locking=none
-Declipse.stateSaveDelayInterval=-1
-Dosgi.configuration.area=/tmp/.eclipse
-Xss128m
-Xms40m
-Xmx16000m
-jar /home/mcc/BenchKit/itstools//plugins/org.eclipse.equinox.launcher_1.6.100.v20201223-0822.jar

BK_STOP 1653123555189

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

(process:514): Gtk-WARNING **: 08:59:15.149: Locale not supported by C library.
Using the fallback 'C' locale.
Unable to init server: Could not connect: Connection refused
Its-tools: Cannot open display:

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="TokenRing-PT-040"
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 TokenRing-PT-040, 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 r270-tall-165303554200397"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-PT-040.tgz
mv TokenRing-PT-040 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 ;