fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2021
11th edition, Paris, France, June 23, 2021
Execution of r280-smll-162123888000082
Last Updated
Jun 28, 2021

About the Execution of ITS-Tools for TokenRing-PT-050

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16247.571 1387044.00 2243671.00 17903.00 [undef] Cannot compute

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1G
-rw-r--r-- 1 mcc users 3.0M May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15M May 10 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 140M May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 496M May 10 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 1.3M Mar 28 16:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 4.3M Mar 28 16:46 LTLCardinality.xml
-rw-r--r-- 1 mcc users 30M Mar 28 16:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 80M Mar 28 16:46 LTLFireability.xml
-rw-r--r-- 1 mcc users 820K Mar 27 14:34 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 2.4M Mar 27 14:34 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 63M Mar 26 05:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 165M Mar 26 05:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 299K Mar 22 08:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 707K Mar 22 08:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:52 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:52 instance
-rw-r--r-- 1 mcc users 6 May 5 16:52 iscolored
-rw-r--r-- 1 mcc users 91M May 5 16:52 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 1621377779739

Running Version 0
[2021-05-18 22:43:02] [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]
[2021-05-18 22:43:02] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-18 22:43:05] [INFO ] Load time of PNML (sax parser for PT used): 3195 ms
[2021-05-18 22:43:05] [INFO ] Transformed 2601 places.
[2021-05-18 22:43:05] [INFO ] Transformed 127551 transitions.
[2021-05-18 22:43:05] [INFO ] Found NUPN structural information;
[2021-05-18 22:43:05] [INFO ] Parsed PT model containing 2601 places and 127551 transitions in 3613 ms.
Starting structural reductions, iteration 0 : 2601/2601 places, 127551/127551 transitions.
Applied a total of 0 rules in 29774 ms. Remains 2601 /2601 variables (removed 0) and now considering 127551/127551 (removed 0) transitions.
// Phase 1: matrix 127551 rows 2601 cols
[2021-05-18 22:43:36] [INFO ] Computed 51 place invariants in 774 ms
[2021-05-18 22:43:52] [INFO ] Implicit Places using invariants in 16914 ms returned []
Implicit Place search using SMT only with invariants took 16956 ms to find 0 implicit places.
// Phase 1: matrix 127551 rows 2601 cols
[2021-05-18 22:43:53] [INFO ] Computed 51 place invariants in 612 ms
[2021-05-18 22:44:24] [INFO ] Performed 45825/127551 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2021-05-18 22:44:53] [INFO ] Dead Transitions using invariants and state equation in 60706 ms returned []
Finished structural reductions, in 1 iterations. Remains : 2601/2601 places, 127551/127551 transitions.
[2021-05-18 22:44:54] [INFO ] Initial state test concluded for 50 properties.
Interrupted random walk after 2359 steps, including 0 resets, run timeout after 30012 ms. (steps per millisecond=0 ) properties seen :{6=1, 84=1, 221=1, 239=1, 337=1, 342=1, 356=1, 379=1, 389=1, 413=1, 536=1, 538=1, 575=1, 608=1, 656=1, 695=1, 726=1, 780=1, 804=1, 805=1, 913=1, 923=1, 1155=1, 1162=1, 1355=1, 1511=1, 1517=1, 1599=1, 1629=1, 1711=1, 1873=1, 1883=1, 1897=1, 1928=1, 1935=1, 1940=1, 2201=1, 2297=1, 2343=1, 2351=1, 2388=1, 2432=1, 2437=1, 2510=1, 2536=1, 2556=1, 2618=1, 2620=1, 2624=1, 2636=1, 2642=1, 2774=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, 3509=1, 3529=1, 3532=1, 3575=1, 3669=1, 3710=1, 3746=1, 3838=1, 3857=1, 3910=1, 3974=1, 4145=1, 4196=1, 4242=1, 4340=1, 4443=1, 4735=1, 4808=1, 4964=1, 4996=1, 5003=1, 5009=1, 5038=1, 5124=1, 5276=1, 5313=1, 5377=1, 5422=1, 5441=1, 5445=1, 5528=1, 5572=1, 5579=1, 5861=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, 6621=1, 6629=1, 6668=1, 6692=1, 6702=1, 6723=1, 6733=1, 6785=1, 6794=1, 6851=1, 6875=1, 6889=1, 7082=1, 7112=1, 7132=1, 7256=1, 7363=1, 7370=1, 7515=1, 7553=1, 7560=1, 7572=1, 7631=1, 7699=1, 7708=1, 7841=1, 7854=1, 7860=1, 7927=1, 7933=1, 7948=1, 7952=1, 7983=1, 8037=1, 8041=1, 8189=1, 8336=1, 8368=1, 8415=1, 8481=1, 8495=1, 8562=1, 8569=1, 8806=1, 8852=1, 8887=1, 8926=1, 9033=1, 9050=1, 9102=1, 9130=1, 9139=1, 9181=1, 9187=1, 9380=1, 9475=1, 9646=1, 9670=1, 9722=1, 9733=1, 9889=1, 9965=1, 9991=1, 10016=1, 10050=1, 10055=1, 10111=1, 10153=1, 10225=1, 10305=1, 10344=1, 10481=1, 10829=1, 10837=1, 10881=1, 10921=1, 11090=1, 11153=1, 11158=1, 11346=1, 11352=1, 11389=1, 11556=1, 11559=1, 11719=1, 11738=1, 11755=1, 11781=1, 11787=1, 11802=1, 11850=1, 11876=1, 11895=1, 11905=1, 11927=1, 12081=1, 12207=1, 12225=1, 12319=1, 12329=1, 12552=1, 12784=1, 12795=1, 13044=1, 13105=1, 13166=1, 13210=1, 13242=1, 13247=1, 13290=1, 13295=1, 13302=1, 13320=1, 13346=1, 13381=1, 13390=1, 13446=1, 13455=1, 13542=1, 13579=1, 13582=1, 13615=1, 13694=1, 13714=1, 13755=1, 13763=1, 13782=1, 13783=1, 13793=1, 13796=1, 13802=1, 13849=1, 13864=1, 13905=1, 13943=1, 13998=1, 14086=1, 14094=1, 14119=1, 14154=1, 14180=1, 14207=1, 14221=1, 14281=1, 14335=1, 14367=1, 14398=1, 14449=1, 14478=1, 14482=1, 14484=1, 14608=1, 14614=1, 14634=1, 14697=1, 14731=1, 14744=1, 14754=1, 14814=1, 14980=1, 15020=1, 15069=1, 15110=1, 15117=1, 15132=1, 15148=1, 15149=1, 15169=1, 15172=1, 15284=1, 15289=1, 15300=1, 15305=1, 15353=1, 15491=1, 15664=1, 15719=1, 15756=1, 15767=1, 15788=1, 15874=1, 15900=1, 15984=1, 16154=1, 16172=1, 16236=1, 16305=1, 16316=1, 16385=1, 16442=1, 16570=1, 16603=1, 16653=1, 16656=1, 16659=1, 16681=1, 16688=1, 16716=1, 16779=1, 16830=1, 16855=1, 16884=1, 16956=1, 17056=1, 17305=1, 17400=1, 17427=1, 17444=1, 17450=1, 17507=1, 17512=1, 17632=1, 17650=1, 17697=1, 17766=1, 17796=1, 17849=1, 17899=1, 17981=1, 18077=1, 18091=1, 18117=1, 18141=1, 18169=1, 18183=1, 18208=1, 18209=1, 18283=1, 18378=1, 18390=1, 18467=1, 18551=1, 18559=1, 18672=1, 18748=1, 18801=1, 18895=1, 18916=1, 18936=1, 19217=1, 19255=1, 19274=1, 19283=1, 19379=1, 19513=1, 19549=1, 19630=1, 19634=1, 19648=1, 19671=1, 19700=1, 19710=1, 19760=1, 19766=1, 19969=1, 20034=1, 20073=1, 20113=1, 20241=1, 20313=1, 20316=1, 20372=1, 20385=1, 20420=1, 20431=1, 20435=1, 20565=1, 20615=1, 20620=1, 20650=1, 20788=1, 20798=1, 20869=1, 20909=1, 21002=1, 21067=1, 21179=1, 21212=1, 21559=1, 21563=1, 21573=1, 21631=1, 21661=1, 21745=1, 21749=1, 21804=1, 21850=1, 22051=1, 22067=1, 22107=1, 22136=1, 22184=1, 22199=1, 22303=1, 22389=1, 22415=1, 22518=1, 22538=1, 22539=1, 22684=1, 22706=1, 22756=1, 22784=1, 22819=1, 22855=1, 22889=1, 22953=1, 22989=1, 22992=1, 23029=1, 23053=1, 23067=1, 23079=1, 23155=1, 23169=1, 23389=1, 23432=1, 23569=1, 23597=1, 23676=1, 23686=1, 23705=1, 23884=1, 23981=1, 23982=1, 24020=1, 24045=1, 24051=1, 24053=1, 24116=1, 24173=1, 24230=1, 24267=1, 24287=1, 24310=1, 24345=1, 24406=1, 24420=1, 24446=1, 24497=1, 24629=1, 24756=1, 24767=1, 25123=1, 25132=1, 25147=1, 25251=1, 25361=1, 25364=1, 25418=1, 25494=1, 25536=1, 25567=1, 25594=1, 25640=1, 25705=1, 25743=1, 25754=1, 25811=1, 25823=1, 25857=1, 25904=1, 25915=1, 25953=1, 26057=1, 26088=1, 26109=1, 26110=1, 26119=1, 26167=1, 26178=1, 26256=1, 26271=1, 26346=1, 26354=1, 26372=1, 26377=1, 26408=1, 26586=1, 26590=1, 26607=1, 26746=1, 26774=1, 26783=1, 26918=1, 26930=1, 27046=1, 27057=1, 27276=1, 27297=1, 27380=1, 27471=1, 27488=1, 27529=1, 27701=1, 27716=1, 27764=1, 27767=1, 27783=1, 27788=1, 27821=1, 27835=1, 27838=1, 27845=1, 27914=1, 28043=1, 28099=1, 28247=1, 28278=1, 28398=1, 28533=1, 28550=1, 28553=1, 28642=1, 28646=1, 28719=1, 28737=1, 28827=1, 28837=1, 28841=1, 28842=1, 28877=1, 28919=1, 28960=1, 28974=1, 29001=1, 29145=1, 29172=1, 29238=1, 29279=1, 29289=1, 29298=1, 29354=1, 29429=1, 29441=1, 29477=1, 29542=1, 29665=1, 29787=1, 29790=1, 30052=1, 30073=1, 30103=1, 30123=1, 30246=1, 30264=1, 30284=1, 30360=1, 30363=1, 30399=1, 30472=1, 30482=1, 30621=1, 30649=1, 30660=1, 30743=1, 30802=1, 30851=1, 30862=1, 30993=1, 31073=1, 31087=1, 31090=1, 31176=1, 31179=1, 31187=1, 31220=1, 31238=1, 31271=1, 31432=1, 31551=1, 31598=1, 31648=1, 31663=1, 31683=1, 31684=1, 31706=1, 31746=1, 31808=1, 31822=1, 31840=1, 31867=1, 31894=1, 31937=1, 31943=1, 32170=1, 32269=1, 32437=1, 32501=1, 32526=1, 32557=1, 32568=1, 32674=1, 32752=1, 32803=1, 32822=1, 32862=1, 32934=1, 32960=1, 33020=1, 33060=1, 33082=1, 33105=1, 33129=1, 33161=1, 33173=1, 33209=1, 33655=1, 33675=1, 33808=1, 33829=1, 33847=1, 33911=1, 33944=1, 33962=1, 34011=1, 34084=1, 34212=1, 34227=1, 34239=1, 34240=1, 34242=1, 34452=1, 34455=1, 34467=1, 34534=1, 34574=1, 34587=1, 34630=1, 34673=1, 34680=1, 34704=1, 34721=1, 34754=1, 34767=1, 34793=1, 34828=1, 34855=1, 34857=1, 34876=1, 34889=1, 34966=1, 35051=1, 35065=1, 35076=1, 35171=1, 35298=1, 35470=1, 35494=1, 35628=1, 35792=1, 35817=1, 35831=1, 35926=1, 35930=1, 36038=1, 36143=1, 36160=1, 36400=1, 36402=1, 36512=1, 36515=1, 36535=1, 36558=1, 36783=1, 36797=1, 36857=1, 36890=1, 37021=1, 37054=1, 37178=1, 37245=1, 37278=1, 37291=1, 37340=1, 37350=1, 37393=1, 37544=1, 37628=1, 37651=1, 37773=1, 37784=1, 37800=1, 37857=1, 37911=1, 37976=1, 37983=1, 38019=1, 38025=1, 38052=1, 38055=1, 38090=1, 38234=1, 38280=1, 38309=1, 38321=1, 38422=1, 38423=1, 38448=1, 38465=1, 38519=1, 38531=1, 38549=1, 38567=1, 38586=1, 38702=1, 38741=1, 38814=1, 38930=1, 38949=1, 38957=1, 38979=1, 39120=1, 39123=1, 39245=1, 39306=1, 39311=1, 39355=1, 39364=1, 39374=1, 39457=1, 39468=1, 39479=1, 39489=1, 39519=1, 39782=1, 39859=1, 39969=1, 39994=1, 40016=1, 40113=1, 40210=1, 40347=1, 40369=1, 40410=1, 40425=1, 40487=1, 40594=1, 40630=1, 40647=1, 40659=1, 40752=1, 40766=1, 40773=1, 40795=1, 40824=1, 40836=1, 40845=1, 40861=1, 40862=1, 41176=1, 41211=1, 41282=1, 41355=1, 41385=1, 41400=1, 41475=1, 41494=1, 41587=1, 41612=1, 41686=1, 41697=1, 41846=1, 41866=1, 41885=1, 41916=1, 42087=1, 42088=1, 42114=1, 42118=1, 42258=1, 42283=1, 42297=1, 42313=1, 42469=1, 42521=1, 42523=1, 42674=1, 42735=1, 42743=1, 42855=1, 42871=1, 42877=1, 42917=1, 43125=1, 43201=1, 43402=1, 43422=1, 43423=1, 43431=1, 43470=1, 43507=1, 43520=1, 43568=1, 43880=1, 44059=1, 44069=1, 44084=1, 44099=1, 44174=1, 44196=1, 44233=1, 44289=1, 44326=1, 44345=1, 44365=1, 44386=1, 44388=1, 44405=1, 44413=1, 44415=1, 44465=1, 44624=1, 44662=1, 44838=1, 44851=1, 44989=1, 45014=1, 45018=1, 45034=1, 45055=1, 45061=1, 45143=1, 45161=1, 45221=1, 45234=1, 45293=1, 45371=1, 45383=1, 45506=1, 45517=1, 45582=1, 45630=1, 45646=1, 45654=1, 45829=1, 45852=1, 45875=1, 45972=1, 46012=1, 46265=1, 46368=1, 46452=1, 46492=1, 46497=1, 46513=1, 46571=1, 46658=1, 46720=1, 46772=1, 46794=1, 46825=1, 46833=1, 46869=1, 46875=1, 47028=1, 47116=1, 47122=1, 47247=1, 47261=1, 47276=1, 47328=1, 47393=1, 47465=1, 47572=1, 47607=1, 47624=1, 47679=1, 47760=1, 47856=1, 47886=1, 47896=1, 48064=1, 48114=1, 48152=1, 48186=1, 48230=1, 48364=1, 48380=1, 48392=1, 48445=1, 48449=1, 48479=1, 48519=1, 48556=1, 48614=1, 48633=1, 48691=1, 48692=1, 48714=1, 48788=1, 48853=1, 48879=1, 48911=1, 48948=1, 49056=1, 49062=1, 49080=1, 49166=1, 49379=1, 49409=1, 49484=1, 49489=1, 49690=1, 49695=1, 49733=1, 49869=1, 49901=1, 49961=1, 50024=1, 50099=1, 50106=1, 50158=1, 50159=1, 50190=1, 50231=1, 50238=1, 50402=1, 50415=1, 50510=1, 50514=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, 51347=1, 51402=1, 51451=1, 51496=1, 51524=1, 51528=1, 51582=1, 51614=1, 51664=1, 51682=1, 51705=1, 51778=1, 51782=1, 51801=1, 51812=1, 51828=1, 51843=1, 51879=1, 51902=1, 51915=1, 51938=1, 51971=1, 51988=1, 52060=1, 52062=1, 52117=1, 52141=1, 52142=1, 52176=1, 52237=1, 52343=1, 52441=1, 52467=1, 52471=1, 52530=1, 52582=1, 52596=1, 52657=1, 52676=1, 52742=1, 52803=1, 52830=1, 52890=1, 52910=1, 52971=1, 53157=1, 53204=1, 53272=1, 53286=1, 53389=1, 53478=1, 53480=1, 53524=1, 53559=1, 53650=1, 53662=1, 53761=1, 53984=1, 53995=1, 54136=1, 54166=1, 54169=1, 54185=1, 54240=1, 54246=1, 54378=1, 54417=1, 54479=1, 54575=1, 54625=1, 54648=1, 54684=1, 54827=1, 54857=1, 54874=1, 54946=1, 55053=1, 55163=1, 55328=1, 55341=1, 55368=1, 55496=1, 55516=1, 55545=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, 56464=1, 56481=1, 56614=1, 56641=1, 56829=1, 56833=1, 56848=1, 56860=1, 56886=1, 56920=1, 56975=1, 57043=1, 57164=1, 57203=1, 57208=1, 57275=1, 57293=1, 57339=1, 57531=1, 57574=1, 57593=1, 57606=1, 57638=1, 57723=1, 57760=1, 57780=1, 57862=1, 57942=1, 57954=1, 57967=1, 57981=1, 58021=1, 58037=1, 58095=1, 58159=1, 58166=1, 58177=1, 58354=1, 58399=1, 58418=1, 58442=1, 58506=1, 58712=1, 58942=1, 59008=1, 59025=1, 59049=1, 59073=1, 59190=1, 59212=1, 59323=1, 59324=1, 59412=1, 59423=1, 59436=1, 59443=1, 59507=1, 59558=1, 59615=1, 59662=1, 59665=1, 59673=1, 59687=1, 59740=1, 59815=1, 59898=1, 59943=1, 59960=1, 59983=1, 59990=1, 59991=1, 60075=1, 60226=1, 60237=1, 60332=1, 60471=1, 60496=1, 60623=1, 60641=1, 60671=1, 60835=1, 60889=1, 60901=1, 60965=1, 61012=1, 61082=1, 61189=1, 61278=1, 61316=1, 61413=1, 61424=1, 61437=1, 61441=1, 61495=1, 61567=1, 61576=1, 61606=1, 61635=1, 61655=1, 61664=1, 61719=1, 61754=1, 61794=1, 61867=1, 61922=1, 62093=1, 62114=1, 62177=1, 62202=1, 62210=1, 62300=1, 62330=1, 62339=1, 62371=1, 62377=1, 62429=1, 62435=1, 62527=1, 62558=1, 62604=1, 62655=1, 62698=1, 62741=1, 62769=1, 62798=1, 62807=1, 62856=1, 62892=1, 62914=1, 62919=1, 62982=1, 63150=1, 63188=1, 63237=1, 63261=1, 63413=1, 63416=1, 63423=1, 63563=1, 63627=1, 63634=1, 63766=1, 63781=1, 63927=1, 63934=1, 64087=1, 64116=1, 64479=1, 64634=1, 64636=1, 64710=1, 64750=1, 64756=1, 64770=1, 64803=1, 64863=1, 64881=1, 64964=1, 65107=1, 65120=1, 65125=1, 65141=1, 65196=1, 65216=1, 65235=1, 65267=1, 65347=1, 65379=1, 65496=1, 65526=1, 65531=1, 65550=1, 65632=1, 65706=1, 65720=1, 65839=1, 65963=1, 66164=1, 66197=1, 66299=1, 66314=1, 66474=1, 66502=1, 66545=1, 66563=1, 66566=1, 66649=1, 66696=1, 66740=1, 66760=1, 66803=1, 66805=1, 66850=1, 66856=1, 66916=1, 66983=1, 67081=1, 67098=1, 67129=1, 67130=1, 67167=1, 67204=1, 67238=1, 67278=1, 67285=1, 67437=1, 67537=1, 67627=1, 67671=1, 67730=1, 67794=1, 67827=1, 67873=1, 67875=1, 67879=1, 67890=1, 67908=1, 68155=1, 68271=1, 68276=1, 68283=1, 68292=1, 68331=1, 68354=1, 68480=1, 68578=1, 68639=1, 68905=1, 68909=1, 68981=1, 68990=1, 69035=1, 69036=1, 69066=1, 69077=1, 69106=1, 69149=1, 69171=1, 69243=1, 69251=1, 69314=1, 69319=1, 69352=1, 69354=1, 69407=1, 69480=1, 69490=1, 69533=1, 69577=1, 69652=1, 69725=1, 69745=1, 69783=1, 69787=1, 69801=1, 69819=1, 69837=1, 69869=1, 69892=1, 69933=1, 69993=1, 70045=1, 70097=1, 70114=1, 70143=1, 70254=1, 70259=1, 70331=1, 70352=1, 70480=1, 70524=1, 70543=1, 70603=1, 70611=1, 70664=1, 70803=1, 70847=1, 70882=1, 70939=1, 70989=1, 71237=1, 71327=1, 71344=1, 71438=1, 71445=1, 71598=1, 71613=1, 71636=1, 71644=1, 71647=1, 71703=1, 71816=1, 71861=1, 71874=1, 71959=1, 71967=1, 72150=1, 72269=1, 72271=1, 72487=1, 72524=1, 72529=1, 72580=1, 72691=1, 72692=1, 72814=1, 72822=1, 72904=1, 72980=1, 72997=1, 73189=1, 73374=1, 73391=1, 73413=1, 73484=1, 73523=1, 73581=1, 73613=1, 73622=1, 73624=1, 73694=1, 73734=1, 73768=1, 73816=1, 73837=1, 73863=1, 74155=1, 74204=1, 74256=1, 74537=1, 74589=1, 74654=1, 74716=1, 74769=1, 74799=1, 74853=1, 74962=1, 75010=1, 75030=1, 75050=1, 75142=1, 75152=1, 75211=1, 75392=1, 75477=1, 75487=1, 75571=1, 75831=1, 75847=1, 75886=1, 75890=1, 75917=1, 75941=1, 76262=1, 76310=1, 76347=1, 76357=1, 76388=1, 76432=1, 76473=1, 76496=1, 76644=1, 76685=1, 76710=1, 76738=1, 76760=1, 76806=1, 76879=1, 76928=1, 77074=1, 77126=1, 77162=1, 77180=1, 77241=1, 77324=1, 77394=1, 77416=1, 77424=1, 77445=1, 77502=1, 77585=1, 77660=1, 77692=1, 77705=1, 77735=1, 77779=1, 77833=1, 77906=1, 77916=1, 77993=1, 78049=1, 78118=1, 78157=1, 78162=1, 78237=1, 78378=1, 78414=1, 78472=1, 78483=1, 78557=1, 78574=1, 78580=1, 78622=1, 78628=1, 78682=1, 78702=1, 78712=1, 78714=1, 78764=1, 78930=1, 78952=1, 78965=1, 79018=1, 79075=1, 79102=1, 79122=1, 79176=1, 79221=1, 79222=1, 79284=1, 79293=1, 79311=1, 79368=1, 79456=1, 79475=1, 79564=1, 79683=1, 79727=1, 79735=1, 79740=1, 79829=1, 79858=1, 79969=1, 80017=1, 80065=1, 80104=1, 80107=1, 80169=1, 80182=1, 80200=1, 80247=1, 80248=1, 80258=1, 80265=1, 80290=1, 80407=1, 80412=1, 80467=1, 80521=1, 80531=1, 80608=1, 80671=1, 80770=1, 80865=1, 80920=1, 80938=1, 80980=1, 81077=1, 81126=1, 81141=1, 81280=1, 81294=1, 81386=1, 81416=1, 81502=1, 81601=1, 81604=1, 81780=1, 81883=1, 81894=1, 81929=1, 81968=1, 82041=1, 82044=1, 82045=1, 82058=1, 82065=1, 82095=1, 82236=1, 82240=1, 82263=1, 82279=1, 82339=1, 82403=1, 82468=1, 82552=1, 82738=1, 82768=1, 82855=1, 82940=1, 82987=1, 83032=1, 83071=1, 83121=1, 83194=1, 83209=1, 83314=1, 83340=1, 83347=1, 83437=1, 83621=1, 83643=1, 83759=1, 83786=1, 84117=1, 84198=1, 84408=1, 84472=1, 84541=1, 84558=1, 84576=1, 84625=1, 84645=1, 84673=1, 84717=1, 84800=1, 84879=1, 84972=1, 85166=1, 85176=1, 85222=1, 85254=1, 85280=1, 85382=1, 85401=1, 85457=1, 85485=1, 85527=1, 85575=1, 85582=1, 85603=1, 85680=1, 85769=1, 85928=1, 85947=1, 85967=1, 86011=1, 86040=1, 86061=1, 86065=1, 86091=1, 86096=1, 86102=1, 86106=1, 86122=1, 86206=1, 86218=1, 86221=1, 86259=1, 86284=1, 86358=1, 86460=1, 86463=1, 86567=1, 86648=1, 86693=1, 86774=1, 86781=1, 86843=1, 86849=1, 86952=1, 87051=1, 87079=1, 87119=1, 87212=1, 87238=1, 87308=1, 87386=1, 87421=1, 87435=1, 87438=1, 87616=1, 87703=1, 87726=1, 87762=1, 87770=1, 87874=1, 87917=1, 88054=1, 88074=1, 88104=1, 88188=1, 88228=1, 88242=1, 88266=1, 88281=1, 88336=1, 88395=1, 88513=1, 88574=1, 88627=1, 88669=1, 88712=1, 88865=1, 88871=1, 88906=1, 88920=1, 88947=1, 88997=1, 89086=1, 89175=1, 89329=1, 89399=1, 89403=1, 89438=1, 89443=1, 89494=1, 89518=1, 89534=1, 89583=1, 89602=1, 89619=1, 89861=1, 89933=1, 89999=1, 90017=1, 90049=1, 90050=1, 90182=1, 90214=1, 90228=1, 90357=1, 90395=1, 90450=1, 90470=1, 90477=1, 90514=1, 90596=1, 90644=1, 90836=1, 90933=1, 90972=1, 91114=1, 91122=1, 91234=1, 91241=1, 91286=1, 91355=1, 91382=1, 91386=1, 91388=1, 91393=1, 91422=1, 91545=1, 91602=1, 91610=1, 91615=1, 91623=1, 91689=1, 91709=1, 91790=1, 91803=1, 91847=1, 91874=1, 92100=1, 92145=1, 92147=1, 92152=1, 92232=1, 92273=1, 92302=1, 92523=1, 92534=1, 92665=1, 92724=1, 92756=1, 92776=1, 92820=1, 92846=1, 92975=1, 93035=1, 93104=1, 93134=1, 93235=1, 93387=1, 93442=1, 93465=1, 93553=1, 93564=1, 93604=1, 93627=1, 93632=1, 93633=1, 93670=1, 93677=1, 93690=1, 93731=1, 93846=1, 93860=1, 93920=1, 93926=1, 93956=1, 94015=1, 94144=1, 94183=1, 94287=1, 94315=1, 94318=1, 94331=1, 94377=1, 94463=1, 94472=1, 94490=1, 94536=1, 94585=1, 94651=1, 94712=1, 94735=1, 94964=1, 95003=1, 95010=1, 95091=1, 95095=1, 95145=1, 95225=1, 95335=1, 95344=1, 95460=1, 95478=1, 95591=1, 95607=1, 95662=1, 95738=1, 95775=1, 95852=1, 95897=1, 95998=1, 96190=1, 96225=1, 96258=1, 96503=1, 96509=1, 96785=1, 96815=1, 96829=1, 96885=1, 96902=1, 96944=1, 97012=1, 97032=1, 97163=1, 97225=1, 97274=1, 97275=1, 97358=1, 97413=1, 97417=1, 97544=1, 97602=1, 97658=1, 97902=1, 97926=1, 98021=1, 98190=1, 98201=1, 98205=1, 98229=1, 98307=1, 98483=1, 98525=1, 98547=1, 98563=1, 98587=1, 98616=1, 98663=1, 98903=1, 99012=1, 99142=1, 99242=1, 99244=1, 99400=1, 99425=1, 99456=1, 99461=1, 99492=1, 99508=1, 99533=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, 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, 101136=1, 101153=1, 101209=1, 101213=1, 101397=1, 101430=1, 101431=1, 101442=1, 101480=1, 101644=1, 101664=1, 101689=1, 101780=1, 101798=1, 101818=1, 101861=1, 101872=1, 101879=1, 102033=1, 102086=1, 102155=1, 102177=1, 102238=1, 102255=1, 102289=1, 102447=1, 102502=1, 102513=1, 102524=1, 102545=1, 102597=1, 102599=1, 102611=1, 102625=1, 102794=1, 102961=1, 103082=1, 103123=1, 103171=1, 103175=1, 103267=1, 103297=1, 103342=1, 103358=1, 103398=1, 103490=1, 103501=1, 103516=1, 103627=1, 103705=1, 103713=1, 103739=1, 103812=1, 103863=1, 103907=1, 103959=1, 103974=1, 104081=1, 104113=1, 104155=1, 104228=1, 104272=1, 104286=1, 104359=1, 104371=1, 104406=1, 104442=1, 104471=1, 104498=1, 104578=1, 104659=1, 104707=1, 104873=1, 104955=1, 105001=1, 105003=1, 105180=1, 105216=1, 105249=1, 105253=1, 105270=1, 105366=1, 105375=1, 105382=1, 105448=1, 105451=1, 105462=1, 105463=1, 105470=1, 105577=1, 105581=1, 105634=1, 105666=1, 105703=1, 105798=1, 105839=1, 105854=1, 105894=1, 105907=1, 106059=1, 106148=1, 106181=1, 106363=1, 106386=1, 106449=1, 106453=1, 106469=1, 106539=1, 106560=1, 106587=1, 106595=1, 106648=1, 106649=1, 106662=1, 106766=1, 107045=1, 107085=1, 107156=1, 107173=1, 107226=1, 107275=1, 107407=1, 107451=1, 107538=1, 107604=1, 107606=1, 107660=1, 107759=1, 107760=1, 107861=1, 107922=1, 107956=1, 107984=1, 108058=1, 108088=1, 108208=1, 108225=1, 108239=1, 108312=1, 108393=1, 108464=1, 108469=1, 108485=1, 108606=1, 108621=1, 108627=1, 108703=1, 108843=1, 109003=1, 109032=1, 109092=1, 109114=1, 109171=1, 109178=1, 109195=1, 109209=1, 109251=1, 109349=1, 109364=1, 109370=1, 109484=1, 109507=1, 109613=1, 109640=1, 109645=1, 109690=1, 109831=1, 109922=1, 109965=1, 110077=1, 110109=1, 110132=1, 110133=1, 110158=1, 110180=1, 110306=1, 110385=1, 110388=1, 110547=1, 110628=1, 110673=1, 110697=1, 110702=1, 110818=1, 110867=1, 110873=1, 110890=1, 110900=1, 111081=1, 111082=1, 111084=1, 111161=1, 111174=1, 111196=1, 111258=1, 111325=1, 111346=1, 111393=1, 111413=1, 111490=1, 111493=1, 111500=1, 111564=1, 111682=1, 111755=1, 111785=1, 111797=1, 111890=1, 111918=1, 112132=1, 112186=1, 112264=1, 112418=1, 112463=1, 112483=1, 112500=1, 112549=1, 112586=1, 112606=1, 112613=1, 112645=1, 112646=1, 112707=1, 112725=1, 112739=1, 112837=1, 112844=1, 112862=1, 112867=1, 112894=1, 112917=1, 112982=1, 112986=1, 113009=1, 113057=1, 113136=1, 113150=1, 113191=1, 113204=1, 113223=1, 113235=1, 113308=1, 113412=1, 113431=1, 113572=1, 113708=1, 113712=1, 113713=1, 113799=1, 113813=1, 113826=1, 113863=1, 114002=1, 114033=1, 114072=1, 114120=1, 114171=1, 114213=1, 114253=1, 114261=1, 114265=1, 114272=1, 114292=1, 114340=1, 114460=1, 114636=1, 114732=1, 114770=1, 114877=1, 114889=1, 114930=1, 114932=1, 115026=1, 115065=1, 115080=1, 115101=1, 115197=1, 115219=1, 115361=1, 115393=1, 115524=1, 115527=1, 115639=1, 115646=1, 115672=1, 115687=1, 115788=1, 115790=1, 115801=1, 116042=1, 116054=1, 116164=1, 116216=1, 116248=1, 116269=1, 116271=1, 116303=1, 116319=1, 116341=1, 116342=1, 116389=1, 116415=1, 116632=1, 116669=1, 116704=1, 116712=1, 116720=1, 116733=1, 116832=1, 116845=1, 116863=1, 116941=1, 116963=1, 117053=1, 117060=1, 117111=1, 117190=1, 117201=1, 117254=1, 117462=1, 117468=1, 117593=1, 117617=1, 117680=1, 117767=1, 117829=1, 117907=1, 117972=1, 117996=1, 118061=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, 118825=1, 118830=1, 119155=1, 119196=1, 119200=1, 119242=1, 119384=1, 119388=1, 119398=1, 119508=1, 119519=1, 119607=1, 119725=1, 119827=1, 119838=1, 119858=1, 119876=1, 119897=1, 119950=1, 120036=1, 120089=1, 120104=1, 120113=1, 120137=1, 120140=1, 120183=1, 120187=1, 120217=1, 120251=1, 120378=1, 120429=1, 120452=1, 120470=1, 120587=1, 120628=1, 120661=1, 120674=1, 120726=1, 120764=1, 120837=1, 120863=1, 121268=1, 121272=1, 121378=1, 121384=1, 121385=1, 121465=1, 121645=1, 121653=1, 121659=1, 121690=1, 121816=1, 121948=1, 121993=1, 122018=1, 122076=1, 122123=1, 122210=1, 122281=1, 122319=1, 122417=1, 122446=1, 122456=1, 122458=1, 122603=1, 122671=1, 122741=1, 122759=1, 122780=1, 122811=1, 122834=1, 122840=1, 122868=1, 122946=1, 122972=1, 122976=1, 123002=1, 123073=1, 123233=1, 123446=1, 123619=1, 123756=1, 123798=1, 123863=1, 123875=1, 123949=1, 123992=1, 124010=1, 124048=1, 124093=1, 124124=1, 124130=1, 124138=1, 124190=1, 124266=1, 124275=1, 124302=1, 124386=1, 124489=1, 124518=1, 124632=1, 124652=1, 124665=1, 124699=1, 124833=1, 124902=1, 124914=1, 124948=1, 124977=1, 125116=1, 125207=1, 125212=1, 125238=1, 125260=1, 125281=1, 125404=1, 125502=1, 125684=1, 125779=1, 125905=1, 125995=1, 126050=1, 126056=1, 126063=1, 126128=1, 126200=1, 126217=1, 126224=1, 126298=1, 126305=1, 126323=1, 126330=1, 126342=1, 126346=1, 126534=1, 126631=1, 126633=1, 126637=1, 126656=1, 126706=1, 126762=1, 126816=1, 126858=1, 126893=1, 126898=1, 126907=1, 126996=1, 127078=1, 127134=1, 127275=1, 127315=1, 127382=1, 127428=1}
Interrupted probabilistic random walk after 2446 steps, run timeout after 30077 ms. (steps per millisecond=0 ) properties seen :{46=1, 625=1, 696=1, 763=1, 2106=1, 3725=1, 3990=1, 4995=1, 5152=1, 6754=1, 7767=1, 7929=1, 8398=1, 9932=1, 10257=1, 11027=1, 14265=1, 14278=1, 14585=1, 14995=1, 15669=1, 17177=1, 18442=1, 18829=1, 18944=1, 19831=1, 19946=1, 20852=1, 21089=1, 21742=1, 24399=1, 25489=1, 27589=1, 27824=1, 28608=1, 29317=1, 30218=1, 30660=1, 32011=1, 32231=1, 32489=1, 32945=1, 33514=1, 34044=1, 34268=1, 34373=1, 34815=1, 35092=1, 35948=1, 36661=1, 39330=1, 39532=1, 39756=1, 40390=1, 40778=1, 40846=1, 48030=1, 48061=1, 50738=1, 51452=1, 53741=1, 54917=1, 55298=1, 55893=1, 59518=1, 60152=1, 65428=1, 65660=1, 65892=1, 66204=1, 66907=1, 66974=1, 67063=1, 68518=1, 69357=1, 70719=1, 71138=1, 71241=1, 71610=1, 72532=1, 74811=1, 74813=1, 75137=1, 75154=1, 75369=1, 76380=1, 76638=1, 78323=1, 79085=1, 79891=1, 80082=1, 80477=1, 83485=1, 84550=1, 84564=1, 85032=1, 85315=1, 85402=1, 86561=1, 87499=1, 92496=1, 92921=1, 94660=1, 94820=1, 95326=1, 96607=1, 98508=1, 99358=1, 99869=1, 99938=1, 100871=1, 100926=1, 102896=1, 104207=1, 105196=1, 105914=1, 106311=1, 106669=1, 106820=1, 108135=1, 108297=1, 108426=1, 109152=1, 109732=1, 112331=1, 112617=1, 112660=1, 114827=1, 117078=1, 117572=1, 118521=1, 119401=1, 121053=1, 122915=1, 123311=1, 123707=1, 123872=1, 124297=1, 124469=1}
Probabilistic random walk after 2446 steps, saw 2352 distinct states, run finished after 30079 ms. (steps per millisecond=0 ) properties seen :{46=1, 625=1, 696=1, 763=1, 2106=1, 3725=1, 3990=1, 4995=1, 5152=1, 6754=1, 7767=1, 7929=1, 8398=1, 9932=1, 10257=1, 11027=1, 14265=1, 14278=1, 14585=1, 14995=1, 15669=1, 17177=1, 18442=1, 18829=1, 18944=1, 19831=1, 19946=1, 20852=1, 21089=1, 21742=1, 24399=1, 25489=1, 27589=1, 27824=1, 28608=1, 29317=1, 30218=1, 30660=1, 32011=1, 32231=1, 32489=1, 32945=1, 33514=1, 34044=1, 34268=1, 34373=1, 34815=1, 35092=1, 35948=1, 36661=1, 39330=1, 39532=1, 39756=1, 40390=1, 40778=1, 40846=1, 48030=1, 48061=1, 50738=1, 51452=1, 53741=1, 54917=1, 55298=1, 55893=1, 59518=1, 60152=1, 65428=1, 65660=1, 65892=1, 66204=1, 66907=1, 66974=1, 67063=1, 68518=1, 69357=1, 70719=1, 71138=1, 71241=1, 71610=1, 72532=1, 74811=1, 74813=1, 75137=1, 75154=1, 75369=1, 76380=1, 76638=1, 78323=1, 79085=1, 79891=1, 80082=1, 80477=1, 83485=1, 84550=1, 84564=1, 85032=1, 85315=1, 85402=1, 86561=1, 87499=1, 92496=1, 92921=1, 94660=1, 94820=1, 95326=1, 96607=1, 98508=1, 99358=1, 99869=1, 99938=1, 100871=1, 100926=1, 102896=1, 104207=1, 105196=1, 105914=1, 106311=1, 106669=1, 106820=1, 108135=1, 108297=1, 108426=1, 109152=1, 109732=1, 112331=1, 112617=1, 112660=1, 114827=1, 117078=1, 117572=1, 118521=1, 119401=1, 121053=1, 122915=1, 123311=1, 123707=1, 123872=1, 124297=1, 124469=1}
Running SMT prover for 125009 properties.
// Phase 1: matrix 127551 rows 2601 cols
[2021-05-18 22:45:58] [INFO ] Computed 51 place invariants in 466 ms
[2021-05-18 22:46:24] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 125009 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 1357 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.
[2021-05-18 22:46:34] [INFO ] Flatten gal took : 5376 ms
[2021-05-18 22:46:38] [INFO ] Flatten gal took : 4207 ms
[2021-05-18 22:46:39] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3742164773592321543.gal : 661 ms
[2021-05-18 22:46:40] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12897313004902068499.prop : 372 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/ReachabilityCardinality3742164773592321543.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality12897313004902068499.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/ReachabilityCardinality3742164773592321543.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality12897313004902068499.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2021-05-18 22:47:00] [INFO ] Flatten gal took : 4350 ms
[2021-05-18 22:47:00] [INFO ] Applying decomposition
[2021-05-18 22:47:04] [INFO ] Flatten gal took : 3505 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/graph6509689317432343464.txt, -o, /tmp/graph6509689317432343464.bin, -w, /tmp/graph6509689317432343464.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/graph6509689317432343464.bin, -l, -1, -v, -w, /tmp/graph6509689317432343464.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 22:47:13] [INFO ] Decomposing Gal with order
[2021-05-18 22:47:13] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 22:47:33] [INFO ] Removed a total of 302869 redundant transitions.
[2021-05-18 22:47:35] [INFO ] Flatten gal took : 9574 ms
[2021-05-18 22:54:20] [INFO ] Fuse similar labels procedure discarded/fused a total of 2049 labels/synchronizations in 5049 ms.
[2021-05-18 22:54:22] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17003382554815843051.gal : 511 ms
[2021-05-18 22:54:22] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality1289075170670976568.prop : 535 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/ReachabilityCardinality17003382554815843051.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality1289075170670976568.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/ReachabilityCardinality17003382554815843051.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality1289075170670976568.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin671714541418598715
[2021-05-18 22:54:39] [INFO ] Built C files in 2237ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin671714541418598715
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/ltsmin671714541418598715]
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/ltsmin671714541418598715] 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/ltsmin671714541418598715] 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 2313 steps, including 0 resets, run timeout after 30007 ms. (steps per millisecond=0 ) properties seen :{289=1, 922=1, 1330=1, 3897=1, 4013=1, 5534=1, 5686=1, 6174=1, 6216=1, 6364=1, 6431=1, 6645=1, 9253=1, 9717=1, 10549=1, 10654=1, 10748=1, 10957=1, 11678=1, 11719=1, 11979=1, 12166=1, 13008=1, 14431=1, 14775=1, 14817=1, 14869=1, 15534=1, 16008=1, 16832=1, 17324=1, 17961=1, 19235=1, 19250=1, 19930=1, 20415=1, 21052=1, 21983=1, 22013=1, 22145=1, 22349=1, 23281=1, 23452=1, 24416=1, 24765=1, 26876=1, 27163=1, 27594=1, 30153=1, 30193=1, 30297=1, 30665=1, 31289=1, 31386=1, 31481=1, 32402=1, 33436=1, 33501=1, 33534=1, 33716=1, 35395=1, 35835=1, 35978=1, 38039=1, 38810=1, 39911=1, 40913=1, 41899=1, 42514=1, 42609=1, 42641=1, 44474=1, 44701=1, 45268=1, 46837=1, 47222=1, 47472=1, 47505=1, 47974=1, 48989=1, 49006=1, 49448=1, 49508=1, 49715=1, 50307=1, 50510=1, 51230=1, 51575=1, 53151=1, 53378=1, 53575=1, 53801=1, 54162=1, 54203=1, 54259=1, 55042=1, 55288=1, 55556=1, 55976=1, 56042=1, 57252=1, 58096=1, 58147=1, 58979=1, 59676=1, 59943=1, 60161=1, 60667=1, 60729=1, 60885=1, 61180=1, 62328=1, 62454=1, 62579=1, 62619=1, 63110=1, 63163=1, 65774=1, 66210=1, 66742=1, 66859=1, 67116=1, 67551=1, 67713=1, 67783=1, 67784=1, 68223=1, 69438=1, 69869=1, 70331=1, 70530=1, 70569=1, 70789=1, 70930=1, 73301=1, 73795=1, 73866=1, 74381=1, 74589=1, 74592=1, 74831=1, 75009=1, 75344=1, 76311=1, 76394=1, 78175=1, 78490=1, 79063=1, 79305=1, 79378=1, 79713=1, 82048=1, 82451=1, 83170=1, 83843=1, 83874=1, 84687=1, 85179=1, 86069=1, 86400=1, 87356=1, 87383=1, 87749=1, 88028=1, 88383=1, 89444=1, 89636=1, 90210=1, 90217=1, 90383=1, 91493=1, 92343=1, 92350=1, 92473=1, 92885=1, 93236=1, 93365=1, 93479=1, 94443=1, 94719=1, 95037=1, 95329=1, 96445=1, 96627=1, 96753=1, 97131=1, 97261=1, 98303=1, 98539=1, 98796=1, 99594=1, 100410=1, 101345=1, 101517=1, 102272=1, 103354=1, 103897=1, 104885=1, 105689=1, 106361=1, 106802=1, 106901=1, 106951=1, 107179=1, 107628=1, 108341=1, 108358=1, 108406=1, 108703=1, 109058=1, 109067=1, 109174=1, 109181=1, 110511=1, 111922=1, 112064=1, 112885=1, 112940=1, 113008=1, 113534=1, 113911=1, 113945=1, 115539=1, 116357=1, 116407=1, 117357=1, 118431=1, 118764=1, 118778=1, 118867=1, 120189=1, 120464=1, 121145=1, 121724=1, 121886=1, 122249=1, 122456=1, 123233=1, 124167=1, 124269=1, 124935=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 302 ms. (steps per millisecond=3 ) properties (out of 124768) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 301 ms. (steps per millisecond=3 ) properties (out of 124766) 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 124764) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 300 ms. (steps per millisecond=3 ) properties (out of 124764) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 302 ms. (steps per millisecond=3 ) properties (out of 124762) 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 124762) 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 124762) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 301 ms. (steps per millisecond=3 ) properties (out of 124761) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 309 ms. (steps per millisecond=3 ) properties (out of 124758) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 305 ms. (steps per millisecond=3 ) properties (out of 124755) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 301 ms. (steps per millisecond=3 ) properties (out of 124755) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 300 ms. (steps per millisecond=3 ) properties (out of 124755) 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 124754) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 300 ms. (steps per millisecond=3 ) properties (out of 124752) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 299 ms. (steps per millisecond=3 ) properties (out of 124752) 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 124752) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 304 ms. (steps per millisecond=3 ) properties (out of 124750) 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 124750) 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 124750) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 305 ms. (steps per millisecond=3 ) properties (out of 124749) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 305 ms. (steps per millisecond=3 ) properties (out of 124748) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 322 ms. (steps per millisecond=3 ) properties (out of 124746) 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 124746) 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 124746) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 304 ms. (steps per millisecond=3 ) properties (out of 124745) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 301 ms. (steps per millisecond=3 ) properties (out of 124743) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 302 ms. (steps per millisecond=3 ) properties (out of 124742) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 301 ms. (steps per millisecond=3 ) properties (out of 124741) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 300 ms. (steps per millisecond=3 ) properties (out of 124740) 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 124740) 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 124740) 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 124740) 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 124740) 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 124740) 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 124740) 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 124740) 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 124740) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 302 ms. (steps per millisecond=3 ) properties (out of 124740) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 298 ms. (steps per millisecond=3 ) properties (out of 124739) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 299 ms. (steps per millisecond=3 ) properties (out of 124739) 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 124738) 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 124738) 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 124737) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=3 ) properties (out of 124735) 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 124735) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 300 ms. (steps per millisecond=3 ) properties (out of 124735) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 300 ms. (steps per millisecond=3 ) properties (out of 124735) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 300 ms. (steps per millisecond=3 ) properties (out of 124735) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 301 ms. (steps per millisecond=3 ) properties (out of 124735) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 299 ms. (steps per millisecond=3 ) properties (out of 124735) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 299 ms. (steps per millisecond=3 ) properties (out of 124735) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 299 ms. (steps per millisecond=3 ) properties (out of 124734) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 300 ms. (steps per millisecond=3 ) properties (out of 124734) 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 124734) 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 124734) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 300 ms. (steps per millisecond=3 ) properties (out of 124734) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 303 ms. (steps per millisecond=3 ) properties (out of 124733) 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 124732) 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 124732) 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 124732) 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 124732) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 304 ms. (steps per millisecond=3 ) properties (out of 124730) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 302 ms. (steps per millisecond=3 ) properties (out of 124730) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 302 ms. (steps per millisecond=3 ) properties (out of 124730) 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 124730) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 305 ms. (steps per millisecond=3 ) properties (out of 124729) 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 124729) 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 124728) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 302 ms. (steps per millisecond=3 ) properties (out of 124728) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 300 ms. (steps per millisecond=3 ) properties (out of 124728) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 299 ms. (steps per millisecond=3 ) properties (out of 124728) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 299 ms. (steps per millisecond=3 ) properties (out of 124727) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 299 ms. (steps per millisecond=3 ) properties (out of 124727) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 298 ms. (steps per millisecond=3 ) properties (out of 124727) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 299 ms. (steps per millisecond=3 ) properties (out of 124727) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 299 ms. (steps per millisecond=3 ) properties (out of 124727) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 300 ms. (steps per millisecond=3 ) properties (out of 124727) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 298 ms. (steps per millisecond=3 ) properties (out of 124727) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 296 ms. (steps per millisecond=3 ) properties (out of 124727) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 297 ms. (steps per millisecond=3 ) properties (out of 124727) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 298 ms. (steps per millisecond=3 ) properties (out of 124727) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 297 ms. (steps per millisecond=3 ) properties (out of 124726) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 302 ms. (steps per millisecond=3 ) properties (out of 124726) 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 124725) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 302 ms. (steps per millisecond=3 ) properties (out of 124725) 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 124725) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 301 ms. (steps per millisecond=3 ) properties (out of 124723) 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 124723) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 302 ms. (steps per millisecond=3 ) properties (out of 124723) 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 124723) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 301 ms. (steps per millisecond=3 ) properties (out of 124723) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 299 ms. (steps per millisecond=3 ) properties (out of 124722) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 301 ms. (steps per millisecond=3 ) properties (out of 124722) 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 124722) 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 124722) 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 124722) 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 124722) 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 124722) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=3 ) properties (out of 124722) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=3 ) properties (out of 124722) 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 124722) 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 124722) 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 124722) 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 124722) 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 124722) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=3 ) properties (out of 124722) 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 124722) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=3 ) properties (out of 124722) 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 124722) 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 124722) 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 124722) 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 124722) 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 124722) 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 124721) 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 124720) 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 124720) 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 124720) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 319 ms. (steps per millisecond=3 ) properties (out of 124719) 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 124719) 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 124718) 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 124718) 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 124718) 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 124718) 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 124718) 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 124718) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 335 ms. (steps per millisecond=2 ) properties (out of 124718) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=3 ) properties (out of 124718) 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 124718) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 335 ms. (steps per millisecond=2 ) properties (out of 124717) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 335 ms. (steps per millisecond=2 ) properties (out of 124717) 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 124717) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 347 ms. (steps per millisecond=2 ) properties (out of 124717) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 346 ms. (steps per millisecond=2 ) properties (out of 124717) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 343 ms. (steps per millisecond=2 ) properties (out of 124716) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 341 ms. (steps per millisecond=2 ) properties (out of 124716) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 341 ms. (steps per millisecond=2 ) properties (out of 124716) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 340 ms. (steps per millisecond=2 ) properties (out of 124716) 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 124716) 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 124716) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 338 ms. (steps per millisecond=2 ) properties (out of 124716) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=3 ) properties (out of 124716) 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 124716) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 334 ms. (steps per millisecond=2 ) properties (out of 124716) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=3 ) properties (out of 124716) 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 124716) 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 124716) 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 124716) 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 124714) 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 124714) 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 124714) 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 124714) 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 124714) 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 124714) 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 124714) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 341 ms. (steps per millisecond=2 ) properties (out of 124714) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 343 ms. (steps per millisecond=2 ) properties (out of 124714) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=3 ) properties (out of 124714) 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 124714) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 336 ms. (steps per millisecond=2 ) properties (out of 124714) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 346 ms. (steps per millisecond=2 ) properties (out of 124714) 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 124714) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=3 ) properties (out of 124713) 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 124713) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=3 ) properties (out of 124713) 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 124713) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 336 ms. (steps per millisecond=2 ) properties (out of 124713) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 345 ms. (steps per millisecond=2 ) properties (out of 124713) 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 124713) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=3 ) properties (out of 124713) 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 124713) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=3 ) properties (out of 124713) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 349 ms. (steps per millisecond=2 ) properties (out of 124713) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 340 ms. (steps per millisecond=2 ) properties (out of 124712) 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 124712) 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 124712) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=3 ) properties (out of 124712) 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 124712) 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 124712) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 326 ms. (steps per millisecond=3 ) properties (out of 124711) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 335 ms. (steps per millisecond=2 ) properties (out of 124711) 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 124711) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 339 ms. (steps per millisecond=2 ) properties (out of 124711) 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 124711) 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 124711) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=3 ) properties (out of 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=3 ) properties (out of 124711) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=3 ) properties (out of 124711) 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 124711) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=3 ) properties (out of 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) 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 124711) seen :0
Interrupted probabilistic random walk after 2338 steps, run timeout after 30103 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 2338 steps, saw 2253 distinct states, run finished after 30108 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 124711 properties.
// Phase 1: matrix 127551 rows 2601 cols
[2021-05-18 22:56:53] [INFO ] Computed 51 place invariants in 900 ms
[2021-05-18 23:00:39] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 124711 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 1002 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.
[2021-05-18 23:00:46] [INFO ] Flatten gal took : 4113 ms
[2021-05-18 23:00:50] [INFO ] Flatten gal took : 4119 ms
[2021-05-18 23:00:51] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2051561231022666683.gal : 490 ms
[2021-05-18 23:00:51] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16237303992686765442.prop : 210 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/ReachabilityCardinality2051561231022666683.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality16237303992686765442.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/ReachabilityCardinality2051561231022666683.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality16237303992686765442.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2021-05-18 23:01:14] [INFO ] Flatten gal took : 5116 ms
[2021-05-18 23:01:14] [INFO ] Applying decomposition
[2021-05-18 23:01:18] [INFO ] Flatten gal took : 4570 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/graph14589769342535710966.txt, -o, /tmp/graph14589769342535710966.bin, -w, /tmp/graph14589769342535710966.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/graph14589769342535710966.bin, -l, -1, -v, -w, /tmp/graph14589769342535710966.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 23:01:28] [INFO ] Decomposing Gal with order
[2021-05-18 23:01:28] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 23:01:46] [INFO ] Removed a total of 302967 redundant transitions.
[2021-05-18 23:01:48] [INFO ] Flatten gal took : 8144 ms
[2021-05-18 23:04:05] [INFO ] Fuse similar labels procedure discarded/fused a total of 1153 labels/synchronizations in 9212 ms.
[2021-05-18 23:04:06] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality6713970667874145032.gal : 462 ms
[2021-05-18 23:04:07] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality17432262499161852268.prop : 391 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/ReachabilityCardinality6713970667874145032.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality17432262499161852268.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/ReachabilityCardinality6713970667874145032.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality17432262499161852268.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin2139564097894400701
[2021-05-18 23:04:24] [INFO ] Built C files in 1907ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin2139564097894400701
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/ltsmin2139564097894400701]
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/ltsmin2139564097894400701] 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/ltsmin2139564097894400701] 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 2064 steps, including 0 resets, run timeout after 30005 ms. (steps per millisecond=0 ) properties seen :{3709=1, 4856=1, 5701=1, 6706=1, 7206=1, 8781=1, 8915=1, 9576=1, 10441=1, 10580=1, 11153=1, 12277=1, 12946=1, 13191=1, 13365=1, 15128=1, 15323=1, 15981=1, 16133=1, 16314=1, 17227=1, 17300=1, 19268=1, 20268=1, 20890=1, 22663=1, 23925=1, 24135=1, 24317=1, 24634=1, 25703=1, 28323=1, 28597=1, 30272=1, 30625=1, 30805=1, 32521=1, 32765=1, 33003=1, 34302=1, 35767=1, 36909=1, 36948=1, 38177=1, 38682=1, 39684=1, 41271=1, 41883=1, 42367=1, 43482=1, 44338=1, 44548=1, 44674=1, 44766=1, 45891=1, 46073=1, 49101=1, 49442=1, 51684=1, 51818=1, 52766=1, 56125=1, 56584=1, 58071=1, 58798=1, 59576=1, 60462=1, 61058=1, 62019=1, 62071=1, 64011=1, 65124=1, 65161=1, 65532=1, 65806=1, 65855=1, 67020=1, 67027=1, 67377=1, 67665=1, 69236=1, 69621=1, 70468=1, 70940=1, 71967=1, 73876=1, 75418=1, 78833=1, 79874=1, 80749=1, 81693=1, 81996=1, 83001=1, 83148=1, 84676=1, 85791=1, 86847=1, 87107=1, 88347=1, 89385=1, 89451=1, 90939=1, 91706=1, 93645=1, 94694=1, 95021=1, 95137=1, 95597=1, 96446=1, 96952=1, 97757=1, 98123=1, 98398=1, 100176=1, 100189=1, 101611=1, 102322=1, 103013=1, 103465=1, 103643=1, 103807=1, 104512=1, 104641=1, 104756=1, 105234=1, 105924=1, 106163=1, 106210=1, 107512=1, 108913=1, 110929=1, 111179=1, 111362=1, 111946=1, 111983=1, 111990=1, 114868=1, 116335=1, 116503=1, 116784=1, 117756=1, 118600=1, 119029=1, 119368=1, 119725=1, 120605=1, 121186=1, 121523=1, 122961=1, 123113=1, 123925=1, 124135=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 349 ms. (steps per millisecond=2 ) properties (out of 124559) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 373 ms. (steps per millisecond=2 ) properties (out of 124559) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 353 ms. (steps per millisecond=2 ) properties (out of 124559) 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 124559) 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 124559) 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 124559) 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 124559) 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 124559) 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 124559) 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 124559) 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 124559) 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 124559) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 365 ms. (steps per millisecond=2 ) properties (out of 124559) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 382 ms. (steps per millisecond=2 ) properties (out of 124559) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 354 ms. (steps per millisecond=2 ) properties (out of 124559) 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 124559) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 347 ms. (steps per millisecond=2 ) properties (out of 124559) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 347 ms. (steps per millisecond=2 ) properties (out of 124559) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 344 ms. (steps per millisecond=2 ) properties (out of 124559) 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 124559) 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 124559) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=3 ) properties (out of 124559) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 359 ms. (steps per millisecond=2 ) properties (out of 124558) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 358 ms. (steps per millisecond=2 ) properties (out of 124558) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 356 ms. (steps per millisecond=2 ) properties (out of 124558) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=3 ) properties (out of 124558) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=3 ) properties (out of 124558) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 336 ms. (steps per millisecond=2 ) properties (out of 124558) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 345 ms. (steps per millisecond=2 ) properties (out of 124557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 406 ms. (steps per millisecond=2 ) properties (out of 124557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 342 ms. (steps per millisecond=2 ) properties (out of 124557) 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 124557) 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 124557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=3 ) properties (out of 124557) 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 124557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 342 ms. (steps per millisecond=2 ) properties (out of 124557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 335 ms. (steps per millisecond=2 ) properties (out of 124557) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 355 ms. (steps per millisecond=2 ) properties (out of 124557) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 337 ms. (steps per millisecond=2 ) properties (out of 124556) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=3 ) properties (out of 124555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 338 ms. (steps per millisecond=2 ) properties (out of 124555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 334 ms. (steps per millisecond=2 ) properties (out of 124555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 340 ms. (steps per millisecond=2 ) properties (out of 124555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 357 ms. (steps per millisecond=2 ) properties (out of 124555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 352 ms. (steps per millisecond=2 ) properties (out of 124555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 352 ms. (steps per millisecond=2 ) properties (out of 124555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1884 ms. (steps per millisecond=0 ) properties (out of 124555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 350 ms. (steps per millisecond=2 ) properties (out of 124555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 348 ms. (steps per millisecond=2 ) properties (out of 124555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 350 ms. (steps per millisecond=2 ) properties (out of 124555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 362 ms. (steps per millisecond=2 ) properties (out of 124555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 362 ms. (steps per millisecond=2 ) properties (out of 124555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 351 ms. (steps per millisecond=2 ) properties (out of 124555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 354 ms. (steps per millisecond=2 ) properties (out of 124555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 349 ms. (steps per millisecond=2 ) properties (out of 124555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 340 ms. (steps per millisecond=2 ) properties (out of 124555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 339 ms. (steps per millisecond=2 ) properties (out of 124555) 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 124555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 341 ms. (steps per millisecond=2 ) properties (out of 124555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 338 ms. (steps per millisecond=2 ) properties (out of 124555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 338 ms. (steps per millisecond=2 ) properties (out of 124555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 338 ms. (steps per millisecond=2 ) properties (out of 124555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 339 ms. (steps per millisecond=2 ) properties (out of 124555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 338 ms. (steps per millisecond=2 ) properties (out of 124555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 338 ms. (steps per millisecond=2 ) properties (out of 124555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 378 ms. (steps per millisecond=2 ) properties (out of 124555) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 354 ms. (steps per millisecond=2 ) properties (out of 124555) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 340 ms. (steps per millisecond=2 ) properties (out of 124554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 338 ms. (steps per millisecond=2 ) properties (out of 124554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 336 ms. (steps per millisecond=2 ) properties (out of 124554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 334 ms. (steps per millisecond=2 ) properties (out of 124554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 368 ms. (steps per millisecond=2 ) properties (out of 124554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 342 ms. (steps per millisecond=2 ) properties (out of 124554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 354 ms. (steps per millisecond=2 ) properties (out of 124554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 346 ms. (steps per millisecond=2 ) properties (out of 124554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 341 ms. (steps per millisecond=2 ) properties (out of 124554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 345 ms. (steps per millisecond=2 ) properties (out of 124554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 344 ms. (steps per millisecond=2 ) properties (out of 124554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 339 ms. (steps per millisecond=2 ) properties (out of 124554) 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 124554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 336 ms. (steps per millisecond=2 ) properties (out of 124554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=3 ) properties (out of 124554) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=3 ) properties (out of 124554) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 336 ms. (steps per millisecond=2 ) properties (out of 124553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 363 ms. (steps per millisecond=2 ) properties (out of 124553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 349 ms. (steps per millisecond=2 ) properties (out of 124553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 342 ms. (steps per millisecond=2 ) properties (out of 124553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 348 ms. (steps per millisecond=2 ) properties (out of 124553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 343 ms. (steps per millisecond=2 ) properties (out of 124553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 348 ms. (steps per millisecond=2 ) properties (out of 124553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 374 ms. (steps per millisecond=2 ) properties (out of 124553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 344 ms. (steps per millisecond=2 ) properties (out of 124553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 339 ms. (steps per millisecond=2 ) properties (out of 124553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 339 ms. (steps per millisecond=2 ) properties (out of 124553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=3 ) properties (out of 124553) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2496 ms. (steps per millisecond=0 ) properties (out of 124553) 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 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 342 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 352 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 348 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 362 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 363 ms. (steps per millisecond=2 ) properties (out of 124552) 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 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 370 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 359 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 364 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 365 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 353 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 353 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 356 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 354 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 354 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 354 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 368 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 368 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 384 ms. (steps per millisecond=2 ) properties (out of 124552) 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 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 358 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 361 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 355 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 355 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 355 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 362 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 354 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 352 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 360 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 355 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 353 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 358 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 355 ms. (steps per millisecond=2 ) properties (out of 124552) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 371 ms. (steps per millisecond=2 ) properties (out of 124552) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 367 ms. (steps per millisecond=2 ) properties (out of 124551) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 365 ms. (steps per millisecond=2 ) properties (out of 124551) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 363 ms. (steps per millisecond=2 ) properties (out of 124550) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 377 ms. (steps per millisecond=2 ) properties (out of 124550) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 362 ms. (steps per millisecond=2 ) properties (out of 124550) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 363 ms. (steps per millisecond=2 ) properties (out of 124550) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 365 ms. (steps per millisecond=2 ) properties (out of 124550) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 363 ms. (steps per millisecond=2 ) properties (out of 124550) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 370 ms. (steps per millisecond=2 ) properties (out of 124550) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 348 ms. (steps per millisecond=2 ) properties (out of 124550) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 341 ms. (steps per millisecond=2 ) properties (out of 124550) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 342 ms. (steps per millisecond=2 ) properties (out of 124550) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 343 ms. (steps per millisecond=2 ) properties (out of 124550) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 379 ms. (steps per millisecond=2 ) properties (out of 124550) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 371 ms. (steps per millisecond=2 ) properties (out of 124550) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 430 ms. (steps per millisecond=2 ) properties (out of 124550) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 455 ms. (steps per millisecond=2 ) properties (out of 124550) 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 124550) 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 124550) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 336 ms. (steps per millisecond=2 ) properties (out of 124549) 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 124549) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 334 ms. (steps per millisecond=2 ) properties (out of 124549) 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 124549) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=3 ) properties (out of 124549) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 335 ms. (steps per millisecond=2 ) properties (out of 124549) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 335 ms. (steps per millisecond=2 ) properties (out of 124549) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 572 ms. (steps per millisecond=1 ) properties (out of 124549) seen :1

BK_STOP 1621379166783

--------------------
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="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is 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 r280-smll-162123888000082"
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 ;