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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 613M
-rw-r--r-- 1 mcc users 2.6M Apr 30 16:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 13M Apr 30 16:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 72M Apr 30 13:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 252M Apr 30 12:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 1.1M May 9 09:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 3.5M May 9 09:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 57M May 9 09:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 153M May 9 09:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 279K May 9 09:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 707K May 9 09:16 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 61M 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 1653122284896

Running Version 0
[2022-05-21 08:38:06] [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:38:06] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-21 08:38:08] [INFO ] Load time of PNML (sax parser for PT used): 2165 ms
[2022-05-21 08:38:08] [INFO ] Transformed 2601 places.
[2022-05-21 08:38:09] [INFO ] Transformed 127551 transitions.
[2022-05-21 08:38:09] [INFO ] Parsed PT model containing 2601 places and 127551 transitions in 2597 ms.
Starting structural reductions, iteration 0 : 2601/2601 places, 127551/127551 transitions.
Applied a total of 0 rules in 34229 ms. Remains 2601 /2601 variables (removed 0) and now considering 127551/127551 (removed 0) transitions.
// Phase 1: matrix 127551 rows 2601 cols
[2022-05-21 08:38:44] [INFO ] Computed 51 place invariants in 562 ms
[2022-05-21 08:38:53] [INFO ] Implicit Places using invariants in 10243 ms returned []
Implicit Place search using SMT only with invariants took 10274 ms to find 0 implicit places.
// Phase 1: matrix 127551 rows 2601 cols
[2022-05-21 08:38:54] [INFO ] Computed 51 place invariants in 618 ms
[2022-05-21 08:39:24] [INFO ] Performed 85311/127551 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-05-21 08:39:39] [INFO ] Dead Transitions using invariants and state equation in 45701 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2601/2601 places, 127551/127551 transitions.
[2022-05-21 08:39:40] [INFO ] Initial state test concluded for 50 properties.
Interrupted random walk after 1944 steps, including 0 resets, run timeout after 30013 ms. (steps per millisecond=0 ) properties seen :{6=1, 221=1, 239=1, 272=1, 294=1, 342=1, 356=1, 389=1, 413=1, 447=1, 536=1, 538=1, 575=1, 608=1, 712=1, 726=1, 780=1, 804=1, 805=1, 913=1, 1155=1, 1162=1, 1355=1, 1511=1, 1599=1, 1629=1, 1771=1, 1873=1, 1883=1, 1897=1, 1928=1, 1935=1, 1940=1, 2297=1, 2343=1, 2388=1, 2432=1, 2510=1, 2556=1, 2618=1, 2620=1, 2636=1, 2642=1, 2653=1, 2779=1, 2858=1, 2884=1, 3008=1, 3022=1, 3027=1, 3079=1, 3103=1, 3185=1, 3219=1, 3262=1, 3293=1, 3320=1, 3489=1, 3529=1, 3532=1, 3669=1, 3710=1, 3746=1, 3885=1, 3910=1, 4145=1, 4196=1, 4242=1, 4340=1, 4443=1, 4808=1, 4964=1, 4996=1, 5003=1, 5009=1, 5038=1, 5124=1, 5276=1, 5289=1, 5377=1, 5422=1, 5441=1, 5528=1, 5579=1, 5642=1, 5645=1, 5868=1, 5891=1, 5928=1, 5950=1, 5956=1, 5977=1, 6006=1, 6025=1, 6043=1, 6055=1, 6148=1, 6169=1, 6246=1, 6256=1, 6292=1, 6326=1, 6336=1, 6445=1, 6515=1, 6563=1, 6629=1, 6692=1, 6702=1, 6723=1, 6740=1, 6785=1, 6794=1, 6851=1, 6875=1, 6889=1, 7132=1, 7231=1, 7256=1, 7363=1, 7370=1, 7379=1, 7515=1, 7560=1, 7572=1, 7631=1, 7708=1, 7770=1, 7841=1, 7854=1, 7860=1, 7927=1, 7948=1, 7952=1, 8037=1, 8041=1, 8053=1, 8081=1, 8189=1, 8336=1, 8368=1, 8415=1, 8495=1, 8562=1, 8569=1, 8724=1, 8806=1, 8852=1, 8887=1, 9050=1, 9102=1, 9139=1, 9181=1, 9187=1, 9380=1, 9646=1, 9733=1, 9853=1, 9965=1, 9991=1, 10016=1, 10050=1, 10055=1, 10111=1, 10178=1, 10305=1, 10344=1, 10401=1, 10829=1, 10881=1, 11090=1, 11159=1, 11171=1, 11346=1, 11352=1, 11556=1, 11559=1, 11719=1, 11755=1, 11781=1, 11787=1, 11802=1, 11850=1, 11895=1, 11905=1, 11927=1, 11958=1, 12081=1, 12207=1, 12225=1, 12319=1, 12329=1, 12367=1, 12448=1, 12552=1, 12716=1, 12795=1, 13044=1, 13166=1, 13210=1, 13242=1, 13253=1, 13290=1, 13295=1, 13302=1, 13346=1, 13381=1, 13390=1, 13394=1, 13542=1, 13579=1, 13582=1, 13615=1, 13694=1, 13714=1, 13725=1, 13763=1, 13782=1, 13783=1, 13796=1, 13802=1, 13864=1, 13905=1, 13943=1, 13998=1, 14086=1, 14094=1, 14119=1, 14154=1, 14180=1, 14207=1, 14221=1, 14285=1, 14335=1, 14367=1, 14398=1, 14449=1, 14478=1, 14482=1, 14484=1, 14608=1, 14614=1, 14634=1, 14680=1, 14697=1, 14718=1, 14731=1, 14744=1, 14754=1, 14779=1, 14814=1, 15069=1, 15110=1, 15117=1, 15148=1, 15149=1, 15169=1, 15289=1, 15300=1, 15491=1, 15719=1, 15767=1, 15788=1, 15900=1, 15984=1, 16172=1, 16236=1, 16305=1, 16316=1, 16385=1, 16442=1, 16515=1, 16570=1, 16603=1, 16656=1, 16681=1, 16688=1, 16716=1, 16830=1, 16855=1, 16956=1, 17056=1, 17305=1, 17450=1, 17512=1, 17632=1, 17650=1, 17697=1, 17766=1, 17796=1, 17849=1, 17899=1, 18077=1, 18091=1, 18117=1, 18141=1, 18169=1, 18209=1, 18283=1, 18378=1, 18467=1, 18551=1, 18559=1, 18672=1, 18801=1, 18916=1, 18936=1, 19217=1, 19255=1, 19274=1, 19283=1, 19307=1, 19379=1, 19549=1, 19630=1, 19634=1, 19648=1, 19671=1, 19700=1, 19710=1, 19766=1, 19969=1, 20034=1, 20051=1, 20073=1, 20113=1, 20241=1, 20372=1, 20420=1, 20435=1, 20565=1, 20620=1, 20650=1, 20732=1, 20798=1, 20813=1, 20909=1, 21179=1, 21212=1, 21559=1, 21631=1, 21661=1, 21707=1, 21745=1, 21749=1, 21804=1, 22051=1, 22067=1, 22107=1, 22136=1, 22184=1, 22199=1, 22389=1, 22415=1, 22459=1, 22538=1, 22684=1, 22784=1, 22819=1, 22989=1, 22992=1, 23053=1, 23067=1, 23155=1, 23169=1, 23389=1, 23432=1, 23569=1, 23597=1, 23676=1, 23705=1, 23837=1, 23884=1, 23981=1, 24045=1, 24051=1, 24053=1, 24173=1, 24230=1, 24287=1, 24310=1, 24345=1, 24406=1, 24420=1, 24473=1, 24629=1, 24756=1, 24767=1, 24915=1, 25123=1, 25132=1, 25147=1, 25251=1, 25364=1, 25418=1, 25494=1, 25536=1, 25567=1, 25594=1, 25640=1, 25743=1, 25811=1, 25823=1, 25857=1, 25915=1, 26057=1, 26110=1, 26119=1, 26167=1, 26178=1, 26256=1, 26271=1, 26346=1, 26354=1, 26372=1, 26377=1, 26408=1, 26545=1, 26586=1, 26590=1, 26607=1, 26746=1, 26783=1, 26930=1, 27009=1, 27046=1, 27057=1, 27276=1, 27297=1, 27380=1, 27419=1, 27488=1, 27529=1, 27716=1, 27764=1, 27767=1, 27783=1, 27788=1, 27821=1, 27835=1, 27845=1, 27914=1, 28043=1, 28099=1, 28247=1, 28398=1, 28533=1, 28642=1, 28646=1, 28719=1, 28737=1, 28837=1, 28842=1, 28868=1, 28919=1, 28960=1, 28974=1, 29001=1, 29145=1, 29212=1, 29238=1, 29289=1, 29354=1, 29429=1, 29441=1, 29477=1, 29542=1, 29728=1, 29790=1, 29850=1, 30073=1, 30078=1, 30103=1, 30123=1, 30284=1, 30360=1, 30363=1, 30378=1, 30399=1, 30472=1, 30482=1, 30621=1, 30649=1, 30660=1, 30743=1, 30802=1, 30862=1, 30993=1, 31073=1, 31176=1, 31179=1, 31238=1, 31271=1, 31551=1, 31598=1, 31648=1, 31663=1, 31684=1, 31746=1, 31808=1, 31822=1, 31840=1, 31867=1, 31937=1, 32170=1, 32269=1, 32437=1, 32501=1, 32526=1, 32557=1, 32568=1, 32752=1, 32803=1, 32862=1, 32934=1, 32960=1, 33020=1, 33082=1, 33105=1, 33129=1, 33161=1, 33173=1, 33209=1, 33655=1, 33808=1, 33829=1, 33911=1, 33944=1, 33977=1, 34011=1, 34084=1, 34212=1, 34227=1, 34239=1, 34242=1, 34455=1, 34467=1, 34574=1, 34587=1, 34704=1, 34721=1, 34754=1, 34767=1, 34793=1, 34828=1, 34855=1, 34857=1, 34876=1, 34966=1, 35029=1, 35051=1, 35065=1, 35149=1, 35171=1, 35231=1, 35298=1, 35494=1, 35628=1, 35817=1, 35831=1, 35930=1, 36038=1, 36143=1, 36160=1, 36402=1, 36408=1, 36512=1, 36515=1, 36535=1, 36558=1, 36783=1, 36797=1, 36890=1, 37178=1, 37245=1, 37278=1, 37291=1, 37340=1, 37350=1, 37628=1, 37651=1, 37784=1, 37800=1, 37857=1, 37911=1, 37976=1, 37983=1, 38019=1, 38025=1, 38052=1, 38128=1, 38234=1, 38280=1, 38321=1, 38422=1, 38423=1, 38448=1, 38465=1, 38519=1, 38531=1, 38549=1, 38559=1, 38567=1, 38586=1, 38659=1, 38702=1, 38741=1, 38814=1, 38979=1, 39120=1, 39123=1, 39245=1, 39306=1, 39355=1, 39457=1, 39468=1, 39479=1, 39489=1, 39782=1, 39859=1, 39969=1, 39994=1, 40016=1, 40080=1, 40113=1, 40210=1, 40347=1, 40425=1, 40487=1, 40594=1, 40630=1, 40659=1, 40752=1, 40766=1, 40773=1, 40795=1, 40824=1, 40836=1, 40845=1, 40849=1, 40861=1, 41176=1, 41282=1, 41355=1, 41385=1, 41400=1, 41494=1, 41549=1, 41686=1, 41697=1, 41846=1, 41866=1, 41885=1, 41916=1, 42087=1, 42088=1, 42258=1, 42283=1, 42521=1, 42523=1, 42674=1, 42735=1, 42743=1, 42755=1, 42855=1, 42871=1, 42877=1, 43201=1, 43402=1, 43422=1, 43423=1, 43470=1, 43507=1, 43520=1, 43568=1, 44084=1, 44174=1, 44196=1, 44233=1, 44289=1, 44326=1, 44345=1, 44386=1, 44405=1, 44413=1, 44415=1, 44465=1, 44624=1, 44838=1, 44851=1, 44989=1, 45014=1, 45018=1, 45055=1, 45061=1, 45128=1, 45143=1, 45161=1, 45221=1, 45371=1, 45383=1, 45506=1, 45517=1, 45630=1, 45646=1, 45829=1, 45852=1, 45875=1, 45972=1, 46012=1, 46265=1, 46452=1, 46492=1, 46497=1, 46513=1, 46658=1, 46720=1, 46825=1, 46833=1, 46869=1, 46875=1, 47028=1, 47116=1, 47247=1, 47261=1, 47276=1, 47465=1, 47572=1, 47679=1, 47760=1, 47856=1, 47896=1, 48114=1, 48152=1, 48186=1, 48230=1, 48364=1, 48445=1, 48449=1, 48479=1, 48519=1, 48556=1, 48614=1, 48691=1, 48692=1, 48788=1, 48853=1, 48879=1, 48948=1, 49056=1, 49080=1, 49166=1, 49379=1, 49409=1, 49484=1, 49489=1, 49733=1, 49784=1, 49869=1, 49961=1, 50024=1, 50099=1, 50106=1, 50158=1, 50159=1, 50190=1, 50231=1, 50238=1, 50402=1, 50510=1, 50514=1, 50552=1, 50652=1, 50845=1, 50895=1, 50921=1, 51004=1, 51007=1, 51010=1, 51087=1, 51109=1, 51136=1, 51231=1, 51256=1, 51402=1, 51496=1, 51524=1, 51528=1, 51582=1, 51614=1, 51778=1, 51812=1, 51828=1, 51843=1, 51879=1, 51915=1, 51938=1, 51971=1, 52117=1, 52142=1, 52237=1, 52272=1, 52343=1, 52441=1, 52467=1, 52471=1, 52524=1, 52530=1, 52582=1, 52596=1, 52676=1, 52803=1, 52830=1, 52910=1, 52998=1, 53157=1, 53272=1, 53286=1, 53389=1, 53478=1, 53480=1, 53559=1, 53650=1, 53662=1, 53761=1, 53984=1, 53995=1, 54133=1, 54136=1, 54169=1, 54185=1, 54227=1, 54417=1, 54479=1, 54575=1, 54625=1, 54684=1, 54827=1, 54946=1, 55053=1, 55163=1, 55295=1, 55328=1, 55341=1, 55368=1, 55496=1, 55545=1, 55596=1, 55602=1, 55679=1, 55704=1, 55807=1, 55813=1, 55834=1, 55845=1, 55945=1, 55991=1, 56037=1, 56182=1, 56242=1, 56275=1, 56277=1, 56331=1, 56349=1, 56403=1, 56435=1, 56464=1, 56481=1, 56609=1, 56614=1, 56641=1, 56696=1, 56975=1, 57043=1, 57164=1, 57208=1, 57275=1, 57574=1, 57593=1, 57606=1, 57638=1, 57723=1, 57780=1, 57942=1, 57954=1, 57981=1, 58095=1, 58159=1, 58166=1, 58177=1, 58354=1, 58399=1, 58712=1, 58734=1, 58942=1, 59008=1, 59049=1, 59073=1, 59190=1, 59212=1, 59324=1, 59423=1, 59436=1, 59443=1, 59507=1, 59558=1, 59638=1, 59662=1, 59665=1, 59673=1, 59740=1, 59898=1, 59943=1, 59960=1, 59983=1, 59990=1, 60075=1, 60332=1, 60471=1, 60496=1, 60623=1, 60641=1, 60671=1, 60835=1, 60887=1, 60889=1, 60965=1, 61189=1, 61278=1, 61316=1, 61424=1, 61441=1, 61495=1, 61567=1, 61576=1, 61606=1, 61635=1, 61655=1, 61664=1, 61754=1, 61794=1, 61844=1, 61867=1, 62093=1, 62114=1, 62202=1, 62210=1, 62271=1, 62300=1, 62330=1, 62339=1, 62371=1, 62377=1, 62429=1, 62435=1, 62527=1, 62558=1, 62604=1, 62655=1, 62747=1, 62769=1, 62798=1, 62856=1, 62892=1, 62914=1, 62982=1, 63150=1, 63188=1, 63237=1, 63261=1, 63413=1, 63416=1, 63423=1, 63563=1, 63627=1, 63766=1, 63781=1, 63927=1, 64087=1, 64116=1, 64229=1, 64479=1, 64634=1, 64636=1, 64710=1, 64750=1, 64770=1, 64863=1, 64881=1, 65107=1, 65120=1, 65125=1, 65141=1, 65196=1, 65216=1, 65235=1, 65267=1, 65347=1, 65379=1, 65438=1, 65496=1, 65531=1, 65550=1, 65632=1, 65706=1, 65720=1, 65880=1, 66164=1, 66299=1, 66314=1, 66474=1, 66502=1, 66563=1, 66580=1, 66592=1, 66631=1, 66649=1, 66740=1, 66760=1, 66803=1, 66856=1, 66983=1, 67081=1, 67098=1, 67130=1, 67204=1, 67238=1, 67278=1, 67462=1, 67537=1, 67627=1, 67671=1, 67730=1, 67794=1, 67827=1, 67873=1, 67875=1, 67879=1, 67890=1, 67908=1, 67974=1, 68177=1, 68200=1, 68271=1, 68331=1, 68480=1, 68507=1, 68527=1, 68639=1, 68903=1, 68909=1, 68981=1, 68990=1, 69036=1, 69066=1, 69077=1, 69149=1, 69171=1, 69251=1, 69319=1, 69352=1, 69354=1, 69407=1, 69480=1, 69490=1, 69533=1, 69577=1, 69652=1, 69745=1, 69783=1, 69787=1, 69801=1, 69869=1, 69933=1, 69993=1, 70045=1, 70097=1, 70114=1, 70143=1, 70259=1, 70352=1, 70480=1, 70524=1, 70603=1, 70803=1, 70847=1, 70882=1, 70939=1, 71237=1, 71344=1, 71438=1, 71445=1, 71598=1, 71613=1, 71636=1, 71660=1, 71703=1, 71816=1, 71861=1, 71874=1, 71903=1, 71967=1, 71992=1, 72269=1, 72271=1, 72487=1, 72524=1, 72580=1, 72691=1, 72814=1, 72822=1, 72895=1, 72980=1, 73189=1, 73303=1, 73374=1, 73391=1, 73413=1, 73523=1, 73581=1, 73622=1, 73624=1, 73694=1, 73734=1, 73768=1, 73816=1, 73837=1, 74155=1, 74204=1, 74537=1, 74589=1, 74654=1, 74716=1, 74769=1, 74799=1, 75010=1, 75030=1, 75142=1, 75211=1, 75477=1, 75487=1, 75571=1, 75831=1, 75847=1, 75886=1, 75890=1, 75917=1, 75941=1, 76262=1, 76310=1, 76357=1, 76385=1, 76388=1, 76432=1, 76473=1, 76496=1, 76567=1, 76621=1, 76639=1, 76685=1, 76710=1, 76738=1, 76760=1, 76879=1, 76928=1, 76977=1, 77126=1, 77162=1, 77180=1, 77324=1, 77416=1, 77424=1, 77445=1, 77502=1, 77585=1, 77642=1, 77705=1, 77779=1, 77818=1, 77833=1, 77882=1, 77906=1, 77916=1, 77993=1, 78049=1, 78118=1, 78157=1, 78237=1, 78414=1, 78472=1, 78483=1, 78557=1, 78574=1, 78580=1, 78622=1, 78702=1, 78712=1, 78764=1, 78930=1, 78952=1, 78965=1, 79018=1, 79075=1, 79102=1, 79122=1, 79144=1, 79176=1, 79221=1, 79222=1, 79284=1, 79293=1, 79368=1, 79475=1, 79564=1, 79683=1, 79727=1, 79735=1, 79740=1, 79829=1, 79969=1, 80017=1, 80065=1, 80107=1, 80169=1, 80200=1, 80247=1, 80258=1, 80265=1, 80290=1, 80407=1, 80412=1, 80500=1, 80521=1, 80531=1, 80671=1, 80770=1, 80865=1, 80920=1, 80938=1, 80980=1, 81077=1, 81141=1, 81386=1, 81416=1, 81427=1, 81502=1, 81601=1, 81604=1, 81762=1, 81780=1, 81883=1, 81929=1, 81968=1, 81999=1, 82058=1, 82236=1, 82240=1, 82279=1, 82339=1, 82403=1, 82468=1, 82738=1, 82768=1, 82855=1, 82940=1, 82987=1, 83032=1, 83114=1, 83121=1, 83194=1, 83209=1, 83314=1, 83340=1, 83347=1, 83363=1, 83380=1, 83437=1, 83621=1, 83759=1, 83786=1, 84117=1, 84198=1, 84408=1, 84472=1, 84536=1, 84541=1, 84558=1, 84576=1, 84645=1, 84673=1, 84694=1, 84717=1, 84800=1, 84972=1, 85166=1, 85176=1, 85222=1, 85382=1, 85527=1, 85575=1, 85582=1, 85680=1, 85928=1, 85967=1, 86011=1, 86040=1, 86061=1, 86065=1, 86091=1, 86096=1, 86106=1, 86122=1, 86218=1, 86221=1, 86284=1, 86358=1, 86460=1, 86463=1, 86567=1, 86638=1, 86648=1, 86667=1, 86693=1, 86781=1, 86843=1, 86849=1, 86952=1, 86973=1, 87212=1, 87238=1, 87308=1, 87386=1, 87421=1, 87438=1, 87616=1, 87726=1, 87762=1, 87770=1, 87917=1, 88054=1, 88074=1, 88188=1, 88207=1, 88228=1, 88242=1, 88281=1, 88395=1, 88513=1, 88574=1, 88627=1, 88639=1, 88669=1, 88712=1, 88865=1, 88871=1, 88906=1, 88947=1, 88997=1, 89086=1, 89088=1, 89151=1, 89175=1, 89329=1, 89399=1, 89438=1, 89443=1, 89494=1, 89518=1, 89534=1, 89602=1, 89933=1, 90017=1, 90049=1, 90153=1, 90182=1, 90214=1, 90228=1, 90357=1, 90450=1, 90477=1, 90514=1, 90596=1, 90827=1, 90836=1, 91114=1, 91122=1, 91203=1, 91241=1, 91355=1, 91382=1, 91386=1, 91393=1, 91422=1, 91431=1, 91602=1, 91610=1, 91623=1, 91689=1, 91709=1, 91803=1, 91847=1, 91874=1, 92100=1, 92147=1, 92232=1, 92302=1, 92336=1, 92534=1, 92665=1, 92672=1, 92756=1, 92776=1, 92820=1, 92846=1, 92970=1, 92975=1, 93035=1, 93104=1, 93134=1, 93235=1, 93387=1, 93442=1, 93564=1, 93604=1, 93633=1, 93759=1, 93860=1, 93926=1, 94144=1, 94183=1, 94197=1, 94315=1, 94318=1, 94331=1, 94377=1, 94463=1, 94490=1, 94585=1, 94651=1, 94712=1, 94735=1, 94964=1, 95003=1, 95010=1, 95091=1, 95095=1, 95101=1, 95302=1, 95344=1, 95478=1, 95591=1, 95607=1, 95676=1, 95738=1, 95775=1, 95852=1, 96225=1, 96258=1, 96327=1, 96503=1, 96509=1, 96540=1, 96643=1, 96651=1, 96708=1, 96785=1, 96829=1, 96902=1, 97012=1, 97032=1, 97163=1, 97225=1, 97274=1, 97275=1, 97284=1, 97358=1, 97413=1, 97417=1, 97428=1, 97658=1, 97902=1, 97915=1, 97925=1, 97926=1, 98021=1, 98114=1, 98174=1, 98190=1, 98201=1, 98205=1, 98307=1, 98483=1, 98525=1, 98563=1, 98587=1, 98616=1, 98663=1, 99142=1, 99242=1, 99244=1, 99400=1, 99425=1, 99456=1, 99492=1, 99508=1, 99597=1, 99644=1, 99673=1, 99800=1, 99849=1, 100014=1, 100108=1, 100146=1, 100255=1, 100266=1, 100412=1, 100420=1, 100487=1, 100527=1, 100539=1, 100543=1, 100550=1, 100641=1, 100717=1, 100741=1, 100770=1, 100844=1, 100868=1, 100891=1, 101017=1, 101021=1, 101059=1, 101126=1, 101129=1, 101153=1, 101209=1, 101213=1, 101330=1, 101397=1, 101430=1, 101644=1, 101664=1, 101689=1, 101780=1, 101798=1, 101818=1, 101861=1, 101879=1, 102033=1, 102086=1, 102155=1, 102177=1, 102238=1, 102255=1, 102289=1, 102402=1, 102447=1, 102502=1, 102513=1, 102524=1, 102545=1, 102597=1, 102599=1, 102611=1, 102794=1, 102961=1, 103082=1, 103123=1, 103171=1, 103175=1, 103267=1, 103297=1, 103342=1, 103358=1, 103490=1, 103501=1, 103705=1, 103713=1, 103739=1, 103812=1, 103907=1, 103959=1, 104030=1, 104113=1, 104228=1, 104272=1, 104371=1, 104406=1, 104442=1, 104471=1, 104496=1, 104498=1, 104578=1, 104620=1, 104659=1, 104707=1, 104873=1, 105001=1, 105180=1, 105270=1, 105366=1, 105382=1, 105463=1, 105470=1, 105546=1, 105581=1, 105634=1, 105703=1, 105798=1, 105854=1, 105894=1, 106059=1, 106363=1, 106453=1, 106539=1, 106560=1, 106587=1, 106595=1, 106648=1, 106649=1, 106791=1, 107045=1, 107275=1, 107398=1, 107407=1, 107451=1, 107538=1, 107604=1, 107606=1, 107660=1, 107760=1, 107779=1, 107861=1, 107956=1, 107984=1, 108058=1, 108088=1, 108225=1, 108239=1, 108464=1, 108469=1, 108485=1, 108606=1, 108621=1, 108627=1, 108843=1, 109003=1, 109032=1, 109092=1, 109171=1, 109178=1, 109195=1, 109232=1, 109251=1, 109349=1, 109364=1, 109370=1, 109507=1, 109613=1, 109645=1, 109690=1, 109699=1, 109831=1, 109922=1, 109965=1, 110077=1, 110109=1, 110132=1, 110158=1, 110194=1, 110306=1, 110385=1, 110533=1, 110547=1, 110673=1, 110702=1, 110800=1, 110873=1, 110890=1, 111081=1, 111082=1, 111084=1, 111174=1, 111196=1, 111258=1, 111325=1, 111346=1, 111393=1, 111490=1, 111500=1, 111508=1, 111564=1, 111682=1, 111755=1, 111785=1, 111797=1, 111890=1, 111918=1, 112186=1, 112264=1, 112418=1, 112483=1, 112549=1, 112586=1, 112606=1, 112613=1, 112646=1, 112707=1, 112725=1, 112739=1, 112780=1, 112834=1, 112837=1, 112844=1, 112862=1, 112894=1, 112917=1, 112982=1, 112986=1, 113009=1, 113136=1, 113150=1, 113191=1, 113204=1, 113223=1, 113308=1, 113412=1, 113489=1, 113572=1, 113708=1, 113713=1, 113799=1, 113813=1, 113826=1, 113863=1, 114072=1, 114171=1, 114213=1, 114253=1, 114272=1, 114292=1, 114340=1, 114460=1, 114636=1, 114732=1, 114889=1, 114990=1, 115026=1, 115065=1, 115080=1, 115197=1, 115219=1, 115393=1, 115639=1, 115646=1, 115672=1, 115687=1, 115788=1, 115801=1, 115899=1, 116042=1, 116054=1, 116072=1, 116216=1, 116248=1, 116269=1, 116303=1, 116319=1, 116341=1, 116342=1, 116389=1, 116415=1, 116460=1, 116566=1, 116669=1, 116704=1, 116720=1, 116733=1, 116832=1, 116845=1, 116863=1, 116909=1, 116941=1, 116963=1, 116997=1, 117053=1, 117201=1, 117468=1, 117593=1, 117617=1, 117680=1, 117767=1, 117829=1, 117996=1, 118133=1, 118182=1, 118269=1, 118270=1, 118275=1, 118278=1, 118283=1, 118408=1, 118410=1, 118685=1, 118743=1, 118766=1, 118824=1, 118830=1, 118850=1, 119112=1, 119196=1, 119200=1, 119242=1, 119384=1, 119508=1, 119519=1, 119607=1, 119725=1, 119827=1, 119838=1, 119858=1, 119876=1, 119897=1, 119950=1, 120036=1, 120055=1, 120089=1, 120104=1, 120113=1, 120140=1, 120187=1, 120217=1, 120251=1, 120378=1, 120429=1, 120452=1, 120470=1, 120587=1, 120628=1, 120661=1, 120726=1, 120759=1, 120764=1, 120837=1, 120863=1, 121239=1, 121268=1, 121272=1, 121385=1, 121645=1, 121653=1, 121659=1, 121729=1, 121948=1, 121993=1, 122018=1, 122076=1, 122123=1, 122147=1, 122210=1, 122281=1, 122319=1, 122417=1, 122446=1, 122456=1, 122458=1, 122603=1, 122671=1, 122741=1, 122759=1, 122811=1, 122834=1, 122868=1, 122972=1, 122976=1, 123013=1, 123233=1, 123619=1, 123756=1, 123798=1, 123875=1, 123949=1, 123992=1, 124124=1, 124130=1, 124138=1, 124190=1, 124266=1, 124275=1, 124386=1, 124518=1, 124632=1, 124652=1, 124665=1, 124699=1, 124833=1, 124914=1, 124948=1, 124977=1, 125116=1, 125212=1, 125238=1, 125404=1, 125412=1, 125502=1, 125684=1, 125725=1, 125905=1, 126050=1, 126056=1, 126063=1, 126112=1, 126128=1, 126217=1, 126224=1, 126292=1, 126305=1, 126323=1, 126330=1, 126342=1, 126346=1, 126464=1, 126534=1, 126634=1, 126637=1, 126656=1, 126706=1, 126816=1, 126858=1, 126893=1, 126898=1, 126996=1, 127078=1, 127134=1, 127275=1, 127315=1, 127428=1}
Interrupted probabilistic random walk after 2499 steps, run timeout after 30035 ms. (steps per millisecond=0 ) properties seen :{46=1, 625=1, 642=1, 764=1, 2109=1, 3735=1, 4002=1, 5008=1, 5165=1, 5363=1, 6770=1, 7784=1, 7946=1, 8416=1, 9955=1, 10280=1, 11053=1, 11560=1, 14296=1, 14309=1, 14613=1, 15028=1, 15707=1, 17222=1, 18493=1, 18881=1, 19883=1, 20000=1, 20911=1, 21148=1, 21233=1, 21803=1, 24474=1, 25568=1, 27672=1, 27908=1, 28696=1, 29407=1, 30309=1, 30598=1, 30756=1, 32112=1, 32334=1, 32593=1, 33049=1, 33620=1, 34156=1, 34381=1, 34485=1, 34927=1, 35204=1, 36062=1, 36778=1, 38750=1, 39658=1, 39884=1, 40519=1, 40908=1, 40978=1, 43974=1, 44378=1, 48196=1, 48227=1, 50911=1, 51633=1, 51688=1, 53929=1, 55105=1, 55486=1, 56083=1, 57135=1, 57447=1, 57526=1, 58423=1, 59727=1, 60363=1, 65650=1, 65885=1, 66119=1, 67201=1, 67293=1, 68754=1, 69600=1, 70105=1, 70964=1, 71384=1, 71488=1, 71858=1, 72493=1, 72783=1, 75068=1, 75070=1, 75394=1, 75624=1, 76896=1, 78587=1, 79353=1, 80163=1, 80353=1, 80747=1, 81121=1, 83761=1, 84835=1, 84849=1, 85601=1, 85687=1, 86102=1, 86536=1, 86853=1, 92203=1, 92812=1, 93240=1, 94983=1, 95142=1, 95349=1, 95648=1, 96926=1, 98832=1, 99682=1, 100195=1, 100264=1, 101198=1, 101253=1, 102051=1, 103229=1, 103860=1, 104553=1, 105463=1, 105549=1, 106268=1, 106667=1, 107027=1, 107179=1, 108497=1, 108659=1, 108789=1, 109519=1, 110100=1, 112710=1, 112996=1, 113040=1, 116179=1, 117018=1, 117471=1, 117967=1, 119799=1, 121455=1, 123326=1, 123723=1, 124120=1, 124284=1, 124287=1, 124883=1}
Probabilistic random walk after 2499 steps, saw 2400 distinct states, run finished after 30036 ms. (steps per millisecond=0 ) properties seen :{46=1, 625=1, 642=1, 764=1, 2109=1, 3735=1, 4002=1, 5008=1, 5165=1, 5363=1, 6770=1, 7784=1, 7946=1, 8416=1, 9955=1, 10280=1, 11053=1, 11560=1, 14296=1, 14309=1, 14613=1, 15028=1, 15707=1, 17222=1, 18493=1, 18881=1, 19883=1, 20000=1, 20911=1, 21148=1, 21233=1, 21803=1, 24474=1, 25568=1, 27672=1, 27908=1, 28696=1, 29407=1, 30309=1, 30598=1, 30756=1, 32112=1, 32334=1, 32593=1, 33049=1, 33620=1, 34156=1, 34381=1, 34485=1, 34927=1, 35204=1, 36062=1, 36778=1, 38750=1, 39658=1, 39884=1, 40519=1, 40908=1, 40978=1, 43974=1, 44378=1, 48196=1, 48227=1, 50911=1, 51633=1, 51688=1, 53929=1, 55105=1, 55486=1, 56083=1, 57135=1, 57447=1, 57526=1, 58423=1, 59727=1, 60363=1, 65650=1, 65885=1, 66119=1, 67201=1, 67293=1, 68754=1, 69600=1, 70105=1, 70964=1, 71384=1, 71488=1, 71858=1, 72493=1, 72783=1, 75068=1, 75070=1, 75394=1, 75624=1, 76896=1, 78587=1, 79353=1, 80163=1, 80353=1, 80747=1, 81121=1, 83761=1, 84835=1, 84849=1, 85601=1, 85687=1, 86102=1, 86536=1, 86853=1, 92203=1, 92812=1, 93240=1, 94983=1, 95142=1, 95349=1, 95648=1, 96926=1, 98832=1, 99682=1, 100195=1, 100264=1, 101198=1, 101253=1, 102051=1, 103229=1, 103860=1, 104553=1, 105463=1, 105549=1, 106268=1, 106667=1, 107027=1, 107179=1, 108497=1, 108659=1, 108789=1, 109519=1, 110100=1, 112710=1, 112996=1, 113040=1, 116179=1, 117018=1, 117471=1, 117967=1, 119799=1, 121455=1, 123326=1, 123723=1, 124120=1, 124284=1, 124287=1, 124883=1}
Running SMT prover for 125411 properties.
// Phase 1: matrix 127551 rows 2601 cols
[2022-05-21 08:40:43] [INFO ] Computed 51 place invariants in 408 ms
1.0timeout
^^^^^^^^^^
(error "Invalid token: 1.0timeout")
[2022-05-21 08:41:08] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 125411 Parikh solutions to 1 different solutions.
Support contains 2601 out of 2601 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2601/2601 places, 127551/127551 transitions.
Applied a total of 0 rules in 826 ms. Remains 2601 /2601 variables (removed 0) and now considering 127551/127551 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 2601/2601 places, 127551/127551 transitions.
[2022-05-21 08:41:15] [INFO ] Flatten gal took : 3743 ms
[2022-05-21 08:41:18] [INFO ] Flatten gal took : 3200 ms
[2022-05-21 08:41:19] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality16365671275503090028.gal : 379 ms
[2022-05-21 08:41:19] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality10405148916731899300.prop : 341 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/ReachabilityCardinality16365671275503090028.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality10405148916731899300.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/ReachabilityCardinality16365671275503090028.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality10405148916731899300.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2022-05-21 08:41:38] [INFO ] Flatten gal took : 3199 ms
[2022-05-21 08:41:38] [INFO ] Applying decomposition
[2022-05-21 08:41:41] [INFO ] Flatten gal took : 3085 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/graph15930805764714872751.txt, -o, /tmp/graph15930805764714872751.bin, -w, /tmp/graph15930805764714872751.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/graph15930805764714872751.bin, -l, -1, -v, -w, /tmp/graph15930805764714872751.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-21 08:41:50] [INFO ] Decomposing Gal with order
[2022-05-21 08:41:50] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-21 08:42:03] [INFO ] Removed a total of 303555 redundant transitions.
[2022-05-21 08:42:05] [INFO ] Flatten gal took : 6418 ms
[2022-05-21 08:47:10] [INFO ] Fuse similar labels procedure discarded/fused a total of 2128 labels/synchronizations in 4116 ms.
[2022-05-21 08:47:11] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14675937627199792288.gal : 374 ms
[2022-05-21 08:47:12] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2773745830384165834.prop : 370 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/ReachabilityCardinality14675937627199792288.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality2773745830384165834.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/ReachabilityCardinality14675937627199792288.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality2773745830384165834.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin9432387979174215855
[2022-05-21 08:47:28] [INFO ] Built C files in 1507ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin9432387979174215855
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/ltsmin9432387979174215855]
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/ltsmin9432387979174215855] 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/ltsmin9432387979174215855] 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 2254 steps, including 0 resets, run timeout after 30008 ms. (steps per millisecond=0 ) properties seen :{82=1, 331=1, 511=1, 656=1, 678=1, 899=1, 1082=1, 1136=1, 2438=1, 2493=1, 3788=1, 3903=1, 4150=1, 5082=1, 5225=1, 5479=1, 5750=1, 5765=1, 6231=1, 6312=1, 6374=1, 6551=1, 6613=1, 6653=1, 6997=1, 7419=1, 8932=1, 9500=1, 9552=1, 9717=1, 9926=1, 9974=1, 10045=1, 10652=1, 10703=1, 10708=1, 10735=1, 10740=1, 10887=1, 10971=1, 11197=1, 11892=1, 12302=1, 13028=1, 13521=1, 14031=1, 14262=1, 14708=1, 14857=1, 14940=1, 15006=1, 15024=1, 15086=1, 15382=1, 15473=1, 15732=1, 16356=1, 16361=1, 16478=1, 16843=1, 17026=1, 17121=1, 17138=1, 17389=1, 17456=1, 17569=1, 17862=1, 17887=1, 18420=1, 19391=1, 19663=1, 19959=1, 19962=1, 20029=1, 20293=1, 20303=1, 20426=1, 20637=1, 20742=1, 21473=1, 21680=1, 21919=1, 22067=1, 22151=1, 22172=1, 22325=1, 22367=1, 22464=1, 22498=1, 22515=1, 22562=1, 22636=1, 22947=1, 23167=1, 23195=1, 23284=1, 23324=1, 23541=1, 23614=1, 23707=1, 24030=1, 24444=1, 24520=1, 24935=1, 25448=1, 25467=1, 25515=1, 25669=1, 26318=1, 26461=1, 27364=1, 27801=1, 28067=1, 28340=1, 28353=1, 28676=1, 28799=1, 29161=1, 29282=1, 29477=1, 29479=1, 29766=1, 30326=1, 30414=1, 30656=1, 31145=1, 32121=1, 33389=1, 33476=1, 33578=1, 33757=1, 34723=1, 34865=1, 35044=1, 35315=1, 35708=1, 35785=1, 36231=1, 36233=1, 36761=1, 36912=1, 37447=1, 37459=1, 37663=1, 38247=1, 38369=1, 38645=1, 38694=1, 39231=1, 39409=1, 39618=1, 39687=1, 39728=1, 39952=1, 39960=1, 40710=1, 40772=1, 40881=1, 40906=1, 41256=1, 41399=1, 41403=1, 41752=1, 42191=1, 42465=1, 42701=1, 42805=1, 43155=1, 43236=1, 44424=1, 44533=1, 44572=1, 44818=1, 45122=1, 46016=1, 46338=1, 46606=1, 47094=1, 47139=1, 47271=1, 48047=1, 48249=1, 48932=1, 49034=1, 49068=1, 49079=1, 49752=1, 49886=1, 50328=1, 50500=1, 50748=1, 50811=1, 50851=1, 50927=1, 50946=1, 51198=1, 51200=1, 51278=1, 51751=1, 51903=1, 52011=1, 53342=1, 53348=1, 53480=1, 53666=1, 53746=1, 53952=1, 54238=1, 54603=1, 55347=1, 55436=1, 55888=1, 55907=1, 55919=1, 55979=1, 56584=1, 56586=1, 56602=1, 56716=1, 56808=1, 56909=1, 57012=1, 57074=1, 57080=1, 57477=1, 57541=1, 58309=1, 58703=1, 58829=1, 59235=1, 59246=1, 59589=1, 59900=1, 60080=1, 60407=1, 60642=1, 60704=1, 61412=1, 61667=1, 61706=1, 61800=1, 63229=1, 63437=1, 63876=1, 63899=1, 63939=1, 64449=1, 64597=1, 64696=1, 64757=1, 65113=1, 65753=1, 66047=1, 66063=1, 66178=1, 66227=1, 66330=1, 66787=1, 67035=1, 67159=1, 67168=1, 67774=1, 67901=1, 67969=1, 68104=1, 68268=1, 68666=1, 68737=1, 69101=1, 69231=1, 69378=1, 70154=1, 70258=1, 70465=1, 70468=1, 70651=1, 70774=1, 71336=1, 71496=1, 71705=1, 71796=1, 72647=1, 73037=1, 73119=1, 73674=1, 73823=1, 74455=1, 75445=1, 75591=1, 76130=1, 76387=1, 76464=1, 76499=1, 76567=1, 77392=1, 77904=1, 77989=1, 78005=1, 78144=1, 78173=1, 78257=1, 78558=1, 78786=1, 79120=1, 79597=1, 79788=1, 80647=1, 80687=1, 80691=1, 80740=1, 81008=1, 81088=1, 81190=1, 81459=1, 81907=1, 81926=1, 82115=1, 82275=1, 82447=1, 82534=1, 82867=1, 83227=1, 83485=1, 83855=1, 83953=1, 84542=1, 84690=1, 84790=1, 85617=1, 86266=1, 86329=1, 86406=1, 86545=1, 86655=1, 86812=1, 86966=1, 87455=1, 87930=1, 88252=1, 88380=1, 88568=1, 88908=1, 88990=1, 89153=1, 89389=1, 89440=1, 89479=1, 89519=1, 90110=1, 90282=1, 90373=1, 90633=1, 90759=1, 91007=1, 91194=1, 91539=1, 92022=1, 92135=1, 92142=1, 92155=1, 92310=1, 92383=1, 92424=1, 92477=1, 92988=1, 93674=1, 93714=1, 93748=1, 94098=1, 94469=1, 94981=1, 95361=1, 95828=1, 96007=1, 96538=1, 96581=1, 96658=1, 96937=1, 97289=1, 97841=1, 97911=1, 97975=1, 98101=1, 98340=1, 98747=1, 98880=1, 98889=1, 99478=1, 99484=1, 99493=1, 100127=1, 100204=1, 100843=1, 101701=1, 101776=1, 101998=1, 102268=1, 102374=1, 102447=1, 102576=1, 102649=1, 103058=1, 103350=1, 103525=1, 103529=1, 103649=1, 103679=1, 103721=1, 103846=1, 103932=1, 104058=1, 104104=1, 104294=1, 104915=1, 105486=1, 106000=1, 106476=1, 106644=1, 106894=1, 107691=1, 107848=1, 108125=1, 108446=1, 108776=1, 108863=1, 108905=1, 109005=1, 109667=1, 110090=1, 110155=1, 110296=1, 110624=1, 110768=1, 110801=1, 111014=1, 111372=1, 111566=1, 111844=1, 112160=1, 112245=1, 112246=1, 112885=1, 112991=1, 113043=1, 113108=1, 113254=1, 113429=1, 113446=1, 113468=1, 113474=1, 113781=1, 114260=1, 114717=1, 115180=1, 115184=1, 115326=1, 115973=1, 116067=1, 116782=1, 117202=1, 117328=1, 117440=1, 117486=1, 117931=1, 118629=1, 119278=1, 119385=1, 120278=1, 120297=1, 121051=1, 121422=1, 121717=1, 121874=1, 122018=1, 122063=1, 122143=1, 122266=1, 122382=1, 122666=1, 122859=1, 123231=1, 123876=1, 124369=1, 124470=1, 124683=1, 124892=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124925) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124924) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124924) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124923) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 309 ms. (steps per millisecond=3 ) properties (out of 124922) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124920) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124918) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124918) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124917) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124917) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124917) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124917) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124916) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124916) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124915) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 306 ms. (steps per millisecond=3 ) properties (out of 124914) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 306 ms. (steps per millisecond=3 ) properties (out of 124912) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 307 ms. (steps per millisecond=3 ) properties (out of 124911) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124910) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 309 ms. (steps per millisecond=3 ) properties (out of 124910) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 124909) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 124908) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 124906) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 124905) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124905) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124904) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 124903) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 124901) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124901) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 124900) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124899) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124899) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 124899) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 124899) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124899) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 124899) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=3 ) properties (out of 124899) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 337 ms. (steps per millisecond=2 ) properties (out of 124899) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 786 ms. (steps per millisecond=1 ) properties (out of 124897) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124897) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=3 ) properties (out of 124897) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 307 ms. (steps per millisecond=3 ) properties (out of 124896) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124895) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124895) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124895) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 124895) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124895) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1360 ms. (steps per millisecond=0 ) properties (out of 124895) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 407 ms. (steps per millisecond=2 ) properties (out of 124895) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 462 ms. (steps per millisecond=2 ) properties (out of 124894) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 671 ms. (steps per millisecond=1 ) properties (out of 124894) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 417 ms. (steps per millisecond=2 ) properties (out of 124894) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 414 ms. (steps per millisecond=2 ) properties (out of 124893) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 467 ms. (steps per millisecond=2 ) properties (out of 124892) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 453 ms. (steps per millisecond=2 ) properties (out of 124892) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 447 ms. (steps per millisecond=2 ) properties (out of 124892) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 432 ms. (steps per millisecond=2 ) properties (out of 124892) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 413 ms. (steps per millisecond=2 ) properties (out of 124892) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 405 ms. (steps per millisecond=2 ) properties (out of 124891) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2482 ms. (steps per millisecond=0 ) properties (out of 124891) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 410 ms. (steps per millisecond=2 ) properties (out of 124891) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 412 ms. (steps per millisecond=2 ) properties (out of 124891) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 456 ms. (steps per millisecond=2 ) properties (out of 124891) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 408 ms. (steps per millisecond=2 ) properties (out of 124890) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 748 ms. (steps per millisecond=1 ) properties (out of 124889) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 404 ms. (steps per millisecond=2 ) properties (out of 124889) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 367 ms. (steps per millisecond=2 ) properties (out of 124889) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 322 ms. (steps per millisecond=3 ) properties (out of 124889) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124887) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 340 ms. (steps per millisecond=2 ) properties (out of 124885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 414 ms. (steps per millisecond=2 ) properties (out of 124885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 417 ms. (steps per millisecond=2 ) properties (out of 124885) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 350 ms. (steps per millisecond=2 ) properties (out of 124884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 468 ms. (steps per millisecond=2 ) properties (out of 124884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 413 ms. (steps per millisecond=2 ) properties (out of 124884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 404 ms. (steps per millisecond=2 ) properties (out of 124884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 408 ms. (steps per millisecond=2 ) properties (out of 124884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 403 ms. (steps per millisecond=2 ) properties (out of 124884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 401 ms. (steps per millisecond=2 ) properties (out of 124884) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 406 ms. (steps per millisecond=2 ) properties (out of 124883) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 413 ms. (steps per millisecond=2 ) properties (out of 124883) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 425 ms. (steps per millisecond=2 ) properties (out of 124882) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 414 ms. (steps per millisecond=2 ) properties (out of 124881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 410 ms. (steps per millisecond=2 ) properties (out of 124881) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 404 ms. (steps per millisecond=2 ) properties (out of 124880) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 404 ms. (steps per millisecond=2 ) properties (out of 124879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 433 ms. (steps per millisecond=2 ) properties (out of 124879) seen :0
Interrupted Best-First random walk after 921 steps, including 2 resets, run timeout after 11866 ms. (steps per millisecond=0 ) properties seen :{}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 354 ms. (steps per millisecond=2 ) properties (out of 124879) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124878) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 124878) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 309 ms. (steps per millisecond=3 ) properties (out of 124878) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 306 ms. (steps per millisecond=3 ) properties (out of 124878) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 304 ms. (steps per millisecond=3 ) properties (out of 124878) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 307 ms. (steps per millisecond=3 ) properties (out of 124878) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 124878) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 865 ms. (steps per millisecond=1 ) properties (out of 124878) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 303 ms. (steps per millisecond=3 ) properties (out of 124878) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124878) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124878) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124878) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 124878) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124878) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 425 ms. (steps per millisecond=2 ) properties (out of 124878) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 411 ms. (steps per millisecond=2 ) properties (out of 124878) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 418 ms. (steps per millisecond=2 ) properties (out of 124877) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 415 ms. (steps per millisecond=2 ) properties (out of 124877) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 415 ms. (steps per millisecond=2 ) properties (out of 124877) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 409 ms. (steps per millisecond=2 ) properties (out of 124877) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 414 ms. (steps per millisecond=2 ) properties (out of 124877) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 419 ms. (steps per millisecond=2 ) properties (out of 124876) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 417 ms. (steps per millisecond=2 ) properties (out of 124876) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 417 ms. (steps per millisecond=2 ) properties (out of 124876) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 413 ms. (steps per millisecond=2 ) properties (out of 124876) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 412 ms. (steps per millisecond=2 ) properties (out of 124876) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 333 ms. (steps per millisecond=3 ) properties (out of 124876) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=3 ) properties (out of 124875) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 124875) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=3 ) properties (out of 124875) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 124875) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 321 ms. (steps per millisecond=3 ) properties (out of 124875) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 124874) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 124874) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 124874) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=3 ) properties (out of 124873) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 124873) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 124873) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 124872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 124872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 124872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 321 ms. (steps per millisecond=3 ) properties (out of 124872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 124872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=3 ) properties (out of 124872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=3 ) properties (out of 124872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 124872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124872) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 124871) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 124871) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 124871) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 124870) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 124870) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 124870) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 124870) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 124870) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 124870) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 124870) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 124870) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 124870) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 321 ms. (steps per millisecond=3 ) properties (out of 124869) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=3 ) properties (out of 124868) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 321 ms. (steps per millisecond=3 ) properties (out of 124868) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 124868) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 124868) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 124868) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 124868) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 322 ms. (steps per millisecond=3 ) properties (out of 124868) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 124867) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=3 ) properties (out of 124867) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 124866) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 124866) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 322 ms. (steps per millisecond=3 ) properties (out of 124866) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 330 ms. (steps per millisecond=3 ) properties (out of 124866) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 124866) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 124866) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 124866) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 124866) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124866) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 124866) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 124866) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 124866) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 124866) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124866) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 124866) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 307 ms. (steps per millisecond=3 ) properties (out of 124866) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 309 ms. (steps per millisecond=3 ) properties (out of 124866) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=3 ) properties (out of 124865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 306 ms. (steps per millisecond=3 ) properties (out of 124865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124865) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124865) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 124864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 124864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=3 ) properties (out of 124864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 307 ms. (steps per millisecond=3 ) properties (out of 124864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 307 ms. (steps per millisecond=3 ) properties (out of 124864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 124864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124864) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 124864) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 124863) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124863) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124862) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 124861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 124861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 124861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 124861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 124861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124861) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124861) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 318 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 322 ms. (steps per millisecond=3 ) properties (out of 124860) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124860) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124859) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124859) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124859) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124858) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 320 ms. (steps per millisecond=3 ) properties (out of 124858) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124858) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124858) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 124858) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 124858) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 124858) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 124858) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124858) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124858) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 317 ms. (steps per millisecond=3 ) properties (out of 124857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 124857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 332 ms. (steps per millisecond=3 ) properties (out of 124857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=3 ) properties (out of 124857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 307 ms. (steps per millisecond=3 ) properties (out of 124857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 124857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 309 ms. (steps per millisecond=3 ) properties (out of 124857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 307 ms. (steps per millisecond=3 ) properties (out of 124857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 309 ms. (steps per millisecond=3 ) properties (out of 124857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 306 ms. (steps per millisecond=3 ) properties (out of 124857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=3 ) properties (out of 124857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 309 ms. (steps per millisecond=3 ) properties (out of 124857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 307 ms. (steps per millisecond=3 ) properties (out of 124857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=3 ) properties (out of 124857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=3 ) properties (out of 124857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124857) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 309 ms. (steps per millisecond=3 ) properties (out of 124857) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 307 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 309 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 309 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 309 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 309 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124856) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124856) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 309 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 315 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 309 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 306 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 314 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 124855) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 313 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 305 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 306 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 307 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 307 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 306 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 306 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 307 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 307 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 306 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 306 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 307 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 307 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 307 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 312 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 309 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 306 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 311 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 307 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 309 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 309 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 306 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 305 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 304 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 310 ms. (steps per millisecond=3 ) properties (out of 124854) seen :0
Interrupted probabilistic random walk after 2362 steps, run timeout after 30069 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 2362 steps, saw 2275 distinct states, run finished after 30070 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 124854 properties.
// Phase 1: matrix 127551 rows 2601 cols
[2022-05-21 08:51:04] [INFO ] Computed 51 place invariants in 424 ms
[2022-05-21 08:54:50] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 124854 Parikh solutions to 1 different solutions.
Support contains 2601 out of 2601 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2601/2601 places, 127551/127551 transitions.
Applied a total of 0 rules in 1120 ms. Remains 2601 /2601 variables (removed 0) and now considering 127551/127551 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 2601/2601 places, 127551/127551 transitions.
[2022-05-21 08:54:58] [INFO ] Flatten gal took : 5252 ms
[2022-05-21 08:55:04] [INFO ] Flatten gal took : 6158 ms
[2022-05-21 08:55:04] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3123555934052731494.gal : 330 ms
[2022-05-21 08:55:05] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14499660246785900041.prop : 173 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/ReachabilityCardinality3123555934052731494.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality14499660246785900041.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/ReachabilityCardinality3123555934052731494.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality14499660246785900041.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2022-05-21 08:55:33] [INFO ] Flatten gal took : 10863 ms
[2022-05-21 08:55:33] [INFO ] Applying decomposition
[2022-05-21 08:55:36] [INFO ] Flatten gal took : 3223 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/graph9392048398333734971.txt, -o, /tmp/graph9392048398333734971.bin, -w, /tmp/graph9392048398333734971.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/graph9392048398333734971.bin, -l, -1, -v, -w, /tmp/graph9392048398333734971.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-21 08:55:49] [INFO ] Decomposing Gal with order
[2022-05-21 08:55:49] [INFO ] Rewriting arrays to variables to allow decomposition.

BK_STOP 1653123373011

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="TokenRing-PT-050"
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-050, 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-165303554200402"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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