Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2021-input.r185-tajo-162089425300142.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is RERS17pb114-PT-5, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r185-tajo-162089425300142
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 16K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 153K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 21K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 105K 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 3.5K Mar 28 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 10:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 10:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 13:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 13:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 08:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 08:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 2 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 73M May 5 16:51 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 1621334815258

Running Version 0
[2021-05-18 10:46:58] [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 10:46:58] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-18 10:47:01] [INFO ] Load time of PNML (sax parser for PT used): 2929 ms
[2021-05-18 10:47:01] [INFO ] Transformed 1446 places.
[2021-05-18 10:47:02] [INFO ] Transformed 151085 transitions.
[2021-05-18 10:47:02] [INFO ] Parsed PT model containing 1446 places and 151085 transitions in 3592 ms.
Starting structural reductions, iteration 0 : 1446/1446 places, 151085/151085 transitions.
Ensure Unique test removed 17 places
Iterating post reduction 0 with 17 rules applied. Total rules applied 17 place count 1429 transition count 151085
Applied a total of 17 rules in 2420 ms. Remains 1429 /1446 variables (removed 17) and now considering 151085/151085 (removed 0) transitions.
[2021-05-18 10:47:04] [INFO ] Flow matrix only has 84691 transitions (discarded 66394 similar events)
// Phase 1: matrix 84691 rows 1429 cols
[2021-05-18 10:47:05] [INFO ] Computed 18 place invariants in 728 ms
[2021-05-18 10:47:20] [INFO ] Implicit Places using invariants in 15544 ms returned []
Implicit Place search using SMT only with invariants took 15582 ms to find 0 implicit places.
[2021-05-18 10:47:20] [INFO ] Flow matrix only has 84691 transitions (discarded 66394 similar events)
// Phase 1: matrix 84691 rows 1429 cols
[2021-05-18 10:47:20] [INFO ] Computed 18 place invariants in 293 ms
[2021-05-18 10:47:50] [INFO ] Performed 87950/151085 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2021-05-18 10:48:11] [INFO ] Dead Transitions using invariants and state equation in 51232 ms returned []
Finished structural reductions, in 1 iterations. Remains : 1429/1446 places, 151085/151085 transitions.
Discarding 9356 transitions out of 151085. Remains 141729
[2021-05-18 10:48:12] [INFO ] Initial state test concluded for 1 properties.
Interrupted random walk after 1391 steps, including 0 resets, run timeout after 30011 ms. (steps per millisecond=0 ) properties seen :{766=1, 835=1, 856=1, 934=1, 944=1, 948=1, 1141=1, 1149=1, 1258=1, 1260=1, 1264=1, 1312=1, 1322=1, 1330=1, 1491=1, 1563=1, 1611=1, 1662=1, 1664=1, 1847=1, 1850=1, 1898=1, 2249=1, 2603=1, 2629=1, 2630=1, 2633=1, 2636=1, 2684=1, 2688=1, 2698=1, 2705=1, 2707=1, 2715=1, 2956=1, 2964=1, 2969=1, 2971=1, 2987=1, 3004=1, 3008=1, 3013=1, 3046=1, 3052=1, 3065=1, 3410=1, 3411=1, 3419=1, 3436=1, 3529=1, 3572=1, 3605=1, 3621=1, 3627=1, 3636=1, 3699=1, 3772=1, 3833=1, 3887=1, 3928=1, 4040=1, 4507=1, 4651=1, 4657=1, 4790=1, 4875=1, 5282=1, 5299=1, 5373=1, 5494=1, 5629=1, 5851=1, 5893=1, 5895=1, 5901=1, 5910=1, 5917=1, 5933=1, 6131=1, 6147=1, 6386=1, 6432=1, 6566=1, 6892=1, 6914=1, 6950=1, 6964=1, 6974=1, 6982=1, 7071=1, 7110=1, 7120=1, 7122=1, 7385=1, 7403=1, 7597=1, 7627=1, 7633=1, 7645=1, 7646=1, 7662=1, 7673=1, 7772=1, 8039=1, 8042=1, 8053=1, 8068=1, 8079=1, 8092=1, 8538=1, 8546=1, 8560=1, 8580=1, 8661=1, 8760=1, 8802=1, 8816=1, 8844=1, 8956=1, 8958=1, 8962=1, 8970=1, 8998=1, 9042=1, 9067=1, 9099=1, 9123=1, 9132=1, 9191=1, 9200=1, 9203=1, 9325=1, 9353=1, 9371=1, 9437=1, 9861=1, 9867=1, 9876=1, 9881=1, 9959=1, 9962=1, 9986=1, 9989=1, 10041=1, 10045=1, 10055=1, 10063=1, 10093=1, 10095=1, 10214=1, 10292=1, 10293=1, 10382=1, 10474=1, 10490=1, 10500=1, 10611=1, 10758=1, 10774=1, 10965=1, 10992=1, 11022=1, 11037=1, 11094=1, 11146=1, 11155=1, 11173=1, 11192=1, 11410=1, 11557=1, 11559=1, 11604=1, 11608=1, 11624=1, 11626=1, 11632=1, 11646=1, 11648=1, 11654=1, 11656=1, 11658=1, 11870=1, 11872=1, 11880=1, 11894=1, 11896=1, 12157=1, 12207=1, 12217=1, 12308=1, 12761=1, 12863=1, 12925=1, 12943=1, 12947=1, 12949=1, 12955=1, 13033=1, 13114=1, 13593=1, 13984=1, 13992=1, 14054=1, 14100=1, 14188=1, 14226=1, 14228=1, 14249=1, 14251=1, 14273=1, 14275=1, 14287=1, 14299=1, 14505=1, 14520=1, 14641=1, 15017=1, 15691=1, 15860=1, 15988=1, 16290=1, 16292=1, 16449=1, 16719=1, 16732=1, 16735=1, 16955=1, 16974=1, 17052=1, 17056=1, 17062=1, 17088=1, 17116=1, 17120=1, 17126=1, 17164=1, 17166=1, 17174=1, 17194=1, 17198=1, 17204=1, 17241=1, 17247=1, 17297=1, 17585=1, 17635=1, 17647=1, 17654=1, 17690=1, 17707=1, 17731=1, 17743=1, 17767=1, 17779=1, 17783=1, 18097=1, 18353=1, 18545=1, 18547=1, 18561=1, 18732=1, 18734=1, 18909=1, 18918=1, 19165=1, 19168=1, 19466=1, 19470=1, 19566=1, 19574=1, 19985=1, 20565=1, 20570=1, 20629=1, 20895=1, 21073=1, 21077=1, 21079=1, 21097=1, 21111=1, 21119=1, 21335=1, 21356=1, 22003=1, 22200=1, 22202=1, 22211=1, 22227=1, 22240=1, 22253=1, 22364=1, 22375=1, 22419=1, 22872=1, 22876=1, 22904=1, 23166=1, 23387=1, 23390=1, 23438=1, 23719=1, 23767=1, 23797=1, 24298=1, 24352=1, 24355=1, 24688=1, 24694=1, 24757=1, 24866=1, 25065=1, 25117=1, 25126=1, 25196=1, 25199=1, 25362=1, 25368=1, 25371=1, 25426=1, 25480=1, 25483=1, 25609=1, 25787=1, 25802=1, 25875=1, 25883=1, 25971=1, 25980=1, 26015=1, 26021=1, 26027=1, 26032=1, 26035=1, 26036=1, 26040=1, 26042=1, 26043=1, 26045=1, 26113=1, 26125=1, 26158=1, 26197=1, 26206=1, 26224=1, 26233=1, 26394=1, 26449=1, 26463=1, 26491=1, 26843=1, 26885=1, 26905=1, 26908=1, 26945=1, 26967=1, 26989=1, 27013=1, 27035=1, 27071=1, 27323=1, 27406=1, 27982=1, 28037=1, 28043=1, 28063=1, 28066=1, 28078=1, 28105=1, 28387=1, 28812=1, 29048=1, 29129=1, 29141=1, 29143=1, 29174=1, 29594=1, 29637=1, 29654=1, 29682=1, 29699=1, 29813=1, 29877=1, 29940=1, 29964=1, 30273=1, 30279=1, 30311=1, 30351=1, 30645=1, 30656=1, 30685=1, 30687=1, 30884=1, 30900=1, 31196=1, 31251=1, 31267=1, 31277=1, 31491=1, 31493=1, 31500=1, 31589=1, 31664=1, 31679=1, 32233=1, 32300=1, 32539=1, 32559=1, 32613=1, 32637=1, 32647=1, 32653=1, 32674=1, 32734=1, 32762=1, 32801=1, 32815=1, 33198=1, 33219=1, 33295=1, 33421=1, 33521=1, 33536=1, 33538=1, 33736=1, 33933=1, 33972=1, 33984=1, 34009=1, 34017=1, 34027=1, 34042=1, 34051=1, 34054=1, 34065=1, 34066=1, 34072=1, 34075=1, 34081=1, 34083=1, 34084=1, 34087=1, 34422=1, 34442=1, 34520=1, 34521=1, 34537=1, 34546=1, 34554=1, 34572=1, 34653=1, 34663=1, 34665=1, 34675=1, 34679=1, 34683=1, 34685=1, 34689=1, 34725=1, 34734=1, 34968=1, 35098=1, 35104=1, 35122=1, 35137=1, 35146=1, 35149=1, 35161=1, 35167=1, 35170=1, 35176=1, 35242=1, 35272=1, 35329=1, 35354=1, 35364=1, 35450=1, 35452=1, 35502=1, 35656=1, 35679=1, 35712=1, 35773=1, 36260=1, 36272=1, 36302=1, 36317=1, 36341=1, 36356=1, 36407=1, 36410=1, 36434=1, 36440=1, 36467=1, 36745=1, 36821=1, 36876=1, 37002=1, 37189=1, 37195=1, 37228=1, 37276=1, 37407=1, 37456=1, 37702=1, 37723=1, 37740=1, 37817=1, 37841=1, 37852=1, 37966=1, 37968=1, 37984=1, 37990=1, 38016=1, 38022=1, 38178=1, 38182=1, 38188=1, 38196=1, 38202=1, 38229=1, 38299=1, 38301=1, 38303=1, 38305=1, 38323=1, 38325=1, 38329=1, 38368=1, 38386=1, 38388=1, 38397=1, 38401=1, 38418=1, 38430=1, 38451=1, 38474=1, 38482=1, 38509=1, 38647=1, 38983=1, 38990=1, 39180=1, 39310=1, 39346=1, 39350=1, 39379=1, 39385=1, 39391=1, 39394=1, 39421=1, 39460=1, 39484=1, 39502=1, 39621=1, 39643=1, 39650=1, 39711=1, 39720=1, 39752=1, 39807=1, 40048=1, 40061=1, 40280=1, 40351=1, 40371=1, 40474=1, 40514=1, 41017=1, 41025=1, 41044=1, 41054=1, 41057=1, 41061=1, 41077=1, 41081=1, 41089=1, 41101=1, 41104=1, 41241=1, 41250=1, 41268=1, 41286=1, 41364=1, 41374=1, 41406=1, 41428=1, 41438=1, 41446=1, 41492=1, 41674=1, 41682=1, 41815=1, 42082=1, 42483=1, 42493=1, 42494=1, 42506=1, 42513=1, 42520=1, 42541=1, 42546=1, 42553=1, 42585=1, 42595=1, 42596=1, 42628=1, 42633=1, 42920=1, 42943=1, 43441=1, 43456=1, 43459=1, 43592=1, 43621=1, 43654=1, 43662=1, 43664=1, 43785=1, 43907=1, 43936=1, 43941=1, 43962=1, 44032=1, 44040=1, 44072=1, 44290=1, 44443=1, 44469=1, 44538=1, 44621=1, 44641=1, 44647=1, 44764=1, 44767=1, 44794=1, 44842=1, 44958=1, 44990=1, 45054=1, 45096=1, 45498=1, 45576=1, 45739=1, 45771=1, 45781=1, 45787=1, 45789=1, 45831=1, 45841=1, 45855=1, 45873=1, 45965=1, 46096=1, 46137=1, 46143=1, 46165=1, 46181=1, 46602=1, 46935=1, 46953=1, 46967=1, 46971=1, 46974=1, 46977=1, 46979=1, 47003=1, 47009=1, 47027=1, 47059=1, 47139=1, 47150=1, 47153=1, 47157=1, 47159=1, 47171=1, 47179=1, 47183=1, 47243=1, 47564=1, 47664=1, 47979=1, 47989=1, 47995=1, 47999=1, 48003=1, 48043=1, 48051=1, 48053=1, 48059=1, 48075=1, 48085=1, 48093=1, 48107=1, 48132=1, 48135=1, 48213=1, 48291=1, 48306=1, 48309=1, 48448=1, 48722=1, 48728=1, 49123=1, 49137=1, 49139=1, 49145=1, 49169=1, 49230=1, 49251=1, 49257=1, 49303=1, 49343=1, 49409=1, 49463=1, 49558=1, 49582=1, 49735=1, 49811=1, 49857=1, 49868=1, 49874=1, 49899=1, 49903=1, 49924=1, 50184=1, 50189=1, 50198=1, 50226=1, 50256=1, 50284=1, 50301=1, 50312=1, 50315=1, 50322=1, 50337=1, 50340=1, 50348=1, 50362=1, 50389=1, 50392=1, 50410=1, 50767=1, 50847=1, 50868=1, 50871=1, 50907=1, 50941=1, 50958=1, 50959=1, 50962=1, 51012=1, 51068=1, 51213=1, 51217=1, 51221=1, 51370=1, 51381=1, 51412=1, 51415=1, 51453=1, 51454=1, 51472=1, 51803=1, 51815=1, 51839=1, 51863=1, 51899=1, 52162=1, 52174=1, 52219=1, 52220=1, 52235=1, 52243=1, 52277=1, 52291=1, 52301=1, 52321=1, 52324=1, 52482=1, 52500=1, 52744=1, 52814=1, 52878=1, 53045=1, 53051=1, 53053=1, 53059=1, 53061=1, 53071=1, 53208=1, 53218=1, 53246=1, 53272=1, 53274=1, 53280=1, 53282=1, 53317=1, 53365=1, 53387=1, 53395=1, 53760=1, 53770=1, 53798=1, 53812=1, 53834=1, 53862=1, 54026=1, 54038=1, 54339=1, 54341=1, 54347=1, 54349=1, 54377=1, 54396=1, 54413=1, 54426=1, 54445=1, 54459=1, 54471=1, 54730=1, 54742=1, 54775=1, 54790=1, 54943=1, 54949=1, 55055=1, 55069=1, 55074=1, 55100=1, 55259=1, 55322=1, 55331=1, 55406=1, 55423=1, 55430=1, 55563=1, 55999=1, 56001=1, 56018=1, 56036=1, 56281=1, 56292=1, 56295=1, 56300=1, 56344=1, 56425=1, 56431=1, 56699=1, 56777=1, 56781=1, 56782=1, 56785=1, 56786=1, 56788=1, 56789=1, 56790=1, 56795=1, 56797=1, 56802=1, 56803=1, 56809=1, 56821=1, 56822=1, 56829=1, 56847=1, 56855=1, 56885=1, 56945=1, 57073=1, 57088=1, 57317=1, 57337=1, 57339=1, 57403=1, 57413=1, 57626=1, 57644=1, 57769=1, 57834=1, 57865=1, 58145=1, 58191=1, 58226=1, 58241=1, 58290=1, 58311=1, 58339=1, 58445=1, 58482=1, 58674=1, 58798=1, 58802=1, 59179=1, 59198=1, 59199=1, 59203=1, 59208=1, 59209=1, 59214=1, 59349=1, 59351=1, 59369=1, 59525=1, 59558=1, 59561=1, 59912=1, 59913=1, 59915=1, 59918=1, 60130=1, 60227=1, 60239=1, 60254=1, 60256=1, 60264=1, 60277=1, 60288=1, 60296=1, 60400=1, 60402=1, 60420=1, 60425=1, 60428=1, 60445=1, 60448=1, 60450=1, 60459=1, 60469=1, 60700=1, 60722=1, 61327=1, 61344=1, 61403=1, 61898=1, 61976=1, 62076=1, 62185=1, 62468=1, 62504=1, 62520=1, 62807=1, 63034=1, 63409=1, 63457=1, 63651=1, 63758=1, 64390=1, 64479=1, 64491=1, 64511=1, 65500=1, 65509=1, 65512=1, 65567=1, 65804=1, 65846=1, 66645=1, 66661=1, 67301=1, 67613=1, 67710=1, 67752=1, 67839=1, 67847=1, 67877=1, 67882=1, 68284=1, 68801=1, 68813=1, 68814=1, 68824=1, 68856=1, 68868=1, 68874=1, 68894=1, 68987=1, 68995=1, 69058=1, 69076=1, 69100=1, 69119=1, 69163=1, 69288=1, 69520=1, 69538=1, 69540=1, 69737=1, 69808=1, 69835=1, 69850=1, 69880=1, 69996=1, 70264=1, 70272=1, 70285=1, 70480=1, 70482=1, 70503=1, 70509=1, 70525=1, 70555=1, 70601=1, 70657=1, 70683=1, 70685=1, 70687=1, 70912=1, 70932=1, 70938=1, 70946=1, 70948=1, 70956=1, 70962=1, 70966=1, 70968=1, 70972=1, 70978=1, 70998=1, 71002=1, 71156=1, 71164=1, 71317=1, 71447=1, 71477=1, 71479=1, 71488=1, 71503=1, 71518=1, 71524=1, 71536=1, 71546=1, 71558=1, 71572=1, 71580=1, 71967=1, 71979=1, 71991=1, 72037=1, 72045=1, 72066=1, 72072=1, 72120=1, 72575=1, 72611=1, 72643=1, 72871=1, 72982=1, 73002=1, 73026=1, 73062=1, 73076=1, 73080=1, 73219=1, 73302=1, 73311=1, 73326=1, 73561=1, 73573=1, 73574=1, 73593=1, 73608=1, 73630=1, 73634=1, 73646=1, 73653=1, 73662=1, 73678=1, 73911=1, 73912=1, 73918=1, 73921=1, 73925=1, 73926=1, 73930=1, 73933=1, 73935=1, 73936=1, 73938=1, 73941=1, 73945=1, 73951=1, 73952=1, 73953=1, 73954=1, 73970=1, 74041=1, 74076=1, 74087=1, 74202=1, 74211=1, 74511=1, 74516=1, 75065=1, 75067=1, 75365=1, 75395=1, 75413=1, 75416=1, 75432=1, 75469=1, 75496=1, 75499=1, 75504=1, 75514=1, 75631=1, 75719=1, 75776=1, 75777=1, 75778=1, 76002=1, 76194=1, 76500=1, 76607=1, 76613=1, 76617=1, 76658=1, 76670=1, 76676=1, 76895=1, 77113=1, 77124=1, 77127=1, 77244=1, 77288=1, 77318=1, 77327=1, 77345=1, 77888=1, 78005=1, 78009=1, 78016=1, 78020=1, 78026=1, 78053=1, 78116=1, 78411=1, 78512=1, 78520=1, 78839=1, 78943=1, 78948=1, 78965=1, 78981=1, 79024=1, 79037=1, 79053=1, 79233=1, 79265=1, 79301=1, 79307=1, 79329=1, 79341=1, 79402=1, 79411=1, 79440=1, 79650=1, 79701=1, 79986=1, 80161=1, 80405=1, 80435=1, 80469=1, 80538=1, 80580=1, 80633=1, 80739=1, 80765=1, 80831=1, 80833=1, 80942=1, 81050=1, 81425=1, 81429=1, 81508=1, 81511=1, 81518=1, 81562=1, 81571=1, 81577=1, 81607=1, 81673=1, 81691=1, 81694=1, 81796=1, 81932=1, 82167=1, 82181=1, 82191=1, 82197=1, 82265=1, 82659=1, 83234=1, 83338=1, 83411=1, 83590=1, 83986=1, 84008=1, 84240=1, 84296=1, 84532=1, 84681=1, 84701=1, 84715=1, 84717=1, 84731=1, 85079=1, 85153=1, 85268=1, 85332=1, 85364=1, 85378=1, 85437=1, 85483=1, 85487=1, 85773=1, 85779=1, 85795=1, 85901=1, 85907=1, 85908=1, 85958=1, 86103=1, 86634=1, 86788=1, 86806=1, 86810=1, 86819=1, 86823=1, 86828=1, 86835=1, 86966=1, 87016=1, 87362=1, 87387=1, 87416=1, 87586=1, 87708=1, 87735=1, 87738=1, 87743=1, 87815=1, 87851=1, 87863=1, 87901=1, 88276=1, 88283=1, 88298=1, 88299=1, 88329=1, 88368=1, 88374=1, 88403=1, 88406=1, 88415=1, 88442=1, 88454=1, 88476=1, 88509=1, 88543=1, 88790=1, 88991=1, 89275=1, 89353=1, 89385=1, 89389=1, 89476=1, 89494=1, 89547=1, 89557=1, 89564=1, 89566=1, 89580=1, 89591=1, 89593=1, 89613=1, 89681=1, 89754=1, 89755=1, 89767=1, 90297=1, 90352=1, 90411=1, 90512=1, 90529=1, 90530=1, 90534=1, 90554=1, 90555=1, 90559=1, 90562=1, 90567=1, 90573=1, 90582=1, 90588=1, 90604=1, 91206=1, 91285=1, 91300=1, 91366=1, 91430=1, 91452=1, 91479=1, 91582=1, 91627=1, 91670=1, 92261=1, 92293=1, 92300=1, 92316=1, 92677=1, 93091=1, 93100=1, 93102=1, 93108=1, 93121=1, 93128=1, 93133=1, 93181=1, 93184=1, 93203=1, 93218=1, 93220=1, 93532=1, 93652=1, 93693=1, 93723=1, 93730=1, 93735=1, 93736=1, 93739=1, 93986=1, 94124=1, 94165=1, 94272=1, 94283=1, 94341=1, 94370=1, 94606=1, 94951=1, 94955=1, 94977=1, 94985=1, 95044=1, 95319=1, 95593=1, 95644=1, 95865=1, 95939=1, 95981=1, 95983=1, 95990=1, 96005=1, 97116=1, 97168=1, 97365=1, 97370=1, 97966=1, 98050=1, 98200=1, 98959=1, 98962=1, 98980=1, 99022=1, 99052=1, 99505=1, 99692=1, 99836=1, 99878=1, 99948=1, 99966=1, 99980=1, 100084=1, 100086=1, 100090=1, 100092=1, 100099=1, 100106=1, 100112=1, 100272=1, 100299=1, 100319=1, 100325=1, 100331=1, 100341=1, 100380=1, 100382=1, 100394=1, 100402=1, 100420=1, 100424=1, 101346=1, 101464=1, 102249=1, 102258=1, 102279=1, 102372=1, 102374=1, 102378=1, 102382=1, 102384=1, 102487=1, 102496=1, 102535=1, 102538=1, 102563=1, 102566=1, 102572=1, 102578=1, 102611=1, 102614=1, 102617=1, 102623=1, 102641=1, 102896=1, 102941=1, 102946=1, 103248=1, 103262=1, 103280=1, 103282=1, 103284=1, 103353=1, 104475=1, 104481=1, 105161=1, 105167=1, 105221=1, 105239=1, 105546=1, 105805=1, 105807=1, 105841=1, 105851=1, 105858=1, 105976=1, 106288=1, 106314=1, 106324=1, 106349=1, 106377=1, 106407=1, 106409=1, 106417=1, 106434=1, 106453=1, 106455=1, 106458=1, 106621=1, 106721=1, 106804=1, 107051=1, 107060=1, 107064=1, 107367=1, 107371=1, 107453=1, 107460=1, 107462=1, 107466=1, 107471=1, 107472=1, 107482=1, 107586=1, 107681=1, 107782=1, 107812=1, 107824=1, 107865=1, 107887=1, 107985=1, 107993=1, 108184=1, 108190=1, 108218=1, 108288=1, 108404=1, 108407=1, 108566=1, 108749=1, 108841=1, 108922=1, 108925=1, 109013=1, 109074=1, 109082=1, 109126=1, 109136=1, 109141=1, 109144=1, 109151=1, 109584=1, 109596=1, 109606=1, 109620=1, 109689=1, 109817=1, 109859=1, 109872=1, 109898=1, 109932=1, 110089=1, 110094=1, 110096=1, 110111=1, 110118=1, 110260=1, 110268=1, 110304=1, 110329=1, 110577=1, 110688=1, 110691=1, 110692=1, 110772=1, 110812=1, 110880=1, 110889=1, 110893=1, 111037=1, 111055=1, 111262=1, 111264=1, 111583=1, 111634=1, 111651=1, 111669=1, 111732=1, 111750=1, 111762=1, 111770=1, 111784=1, 111800=1, 111806=1, 111899=1, 111912=1, 111927=1, 111991=1, 112221=1, 112225=1, 112331=1, 112392=1, 112449=1, 112468=1, 112496=1, 112533=1, 112539=1, 112548=1, 112551=1, 112570=1, 112576=1, 112594=1, 112597=1, 112604=1, 112644=1, 112647=1, 112844=1, 112859=1, 113124=1, 113126=1, 113128=1, 113203=1, 113257=1, 113261=1, 113271=1, 113273=1, 113276=1, 113379=1, 113398=1, 113442=1, 113473=1, 113475=1, 113479=1, 113482=1, 113490=1, 113491=1, 113494=1, 113502=1, 113503=1, 113515=1, 113518=1, 113524=1, 113732=1, 113803=1, 113845=1, 114374=1, 114407=1, 114413=1, 114424=1, 114428=1, 114446=1, 114452=1, 114458=1, 114472=1, 114479=1, 114503=1, 114505=1, 114509=1, 114511=1, 114512=1, 114518=1, 114521=1, 114524=1, 114525=1, 114539=1, 114553=1, 114568=1, 114575=1, 114625=1, 114643=1, 114647=1, 114651=1, 114733=1, 115149=1, 115245=1, 115262=1, 115287=1, 115302=1, 115314=1, 115317=1, 115379=1, 115388=1, 115412=1, 115422=1, 115425=1, 115428=1, 115434=1, 115453=1, 115459=1, 115468=1, 115502=1, 115508=1, 115514=1, 115916=1, 115920=1, 115922=1, 115944=1, 115956=1, 115968=1, 116038=1, 116040=1, 116206=1, 116218=1, 116319=1, 116321=1, 116331=1, 116341=1, 116379=1, 116470=1, 116504=1, 116506=1, 116523=1, 116525=1, 116527=1, 116547=1, 116549=1, 116714=1, 116730=1, 116987=1, 116993=1, 117000=1, 117090=1, 117093=1, 117166=1, 117184=1, 117212=1, 117367=1, 117373=1, 117912=1, 117915=1, 117968=1, 118195=1, 118338=1, 118347=1, 118357=1, 118379=1, 118382=1, 118394=1, 118409=1, 118422=1, 118426=1, 118435=1, 118448=1, 118454=1, 118522=1, 118544=1, 118847=1, 118861=1, 118868=1, 118869=1, 118875=1, 118918=1, 118920=1, 118930=1, 118932=1, 118936=1, 118937=1, 118940=1, 118941=1, 118948=1, 118949=1, 118951=1, 118960=1, 118964=1, 119071=1, 119082=1, 119117=1, 119220=1, 119240=1, 119264=1, 119397=1, 119401=1, 119431=1, 119443=1, 119447=1, 119724=1, 119742=1, 119982=1, 119989=1, 120022=1, 120176=1, 120224=1, 120386=1, 120390=1, 120391=1, 120445=1, 120757=1, 120770=1, 120853=1, 120901=1, 120910=1, 121710=1, 121729=1, 122289=1, 122302=1, 122482=1, 122544=1, 122550=1, 122599=1, 122616=1, 122655=1, 122701=1, 122710=1, 122782=1, 122934=1, 122995=1, 123063=1, 123093=1, 123124=1, 123678=1, 123688=1, 123835=1, 124209=1, 124251=1, 124642=1, 124967=1, 124994=1, 125003=1, 125030=1, 125036=1, 125083=1, 125127=1, 125130=1, 125206=1, 125385=1, 125492=1, 125525=1, 125543=1, 125752=1, 125760=1, 125762=1, 125796=1, 125812=1, 125816=1, 125822=1, 126141=1, 126147=1, 126974=1, 126982=1, 126985=1, 127019=1, 127027=1, 127101=1, 127106=1, 127178=1, 127181=1, 127183=1, 127185=1, 127293=1, 128573=1, 128581=1, 128586=1, 128587=1, 128839=1, 129190=1, 129449=1, 129464=1, 129472=1, 129482=1, 129486=1, 129494=1, 129505=1, 129689=1, 129701=1, 130067=1, 130096=1, 130099=1, 130108=1, 130254=1, 130266=1, 130281=1, 130294=1, 130306=1, 130321=1, 130327=1, 130340=1, 130452=1, 130544=1, 130558=1, 130607=1, 130695=1, 130758=1, 130784=1, 130817=1, 130979=1, 131023=1, 131037=1, 131222=1, 131224=1, 131228=1, 131230=1, 131250=1, 131252=1, 131254=1, 131260=1, 131278=1, 131360=1, 131367=1, 131416=1, 131444=1, 131451=1, 131455=1, 131476=1, 131483=1, 131625=1, 131655=1, 131673=1, 131685=1, 131688=1, 131712=1, 131718=1, 131730=1, 131739=1, 131869=1, 131877=1, 131883=1, 131887=1, 132203=1, 132223=1, 132239=1, 132243=1, 132244=1, 132260=1, 132503=1, 132666=1, 132669=1, 132671=1, 132673=1, 132737=1, 132739=1, 132747=1, 132791=1, 132798=1, 132805=1, 132810=1, 132812=1, 132816=1, 132989=1, 133114=1, 133123=1, 133397=1, 133412=1, 133422=1, 133441=1, 133460=1, 133593=1, 133595=1, 133607=1, 133650=1, 133654=1, 133659=1, 133821=1, 133902=1, 133917=1, 133923=1, 133935=1, 133957=1, 133960=1, 133966=1, 133991=1, 134488=1, 134721=1, 134847=1, 134891=1, 134963=1, 134969=1, 135131=1, 135141=1, 135221=1, 135225=1, 135238=1, 135827=1, 135829=1, 135839=1, 135841=1, 136211=1, 136232=1, 136241=1, 136285=1, 136291=1, 136334=1, 136352=1, 136376=1, 136386=1, 136595=1, 136657=1, 136700=1, 136702=1, 136723=1, 136726=1, 136730=1, 136941=1, 137031=1, 137057=1, 137063=1, 137298=1, 137350=1, 137364=1, 137448=1, 137478=1, 137525=1, 137567=1, 137585=1, 137615=1, 137617=1, 137623=1, 137703=1, 137816=1, 137837=1, 138216=1, 138219=1, 138231=1, 138375=1, 138384=1, 138464=1, 138466=1, 138630=1, 138675=1, 138702=1, 138898=1, 138999=1, 139025=1, 139053=1, 139300=1, 139353=1, 139388=1, 139392=1, 139406=1, 139508=1, 139767=1, 139867=1, 140033=1, 140072=1, 140335=1, 140345=1, 140351=1, 140494=1, 140497=1, 140498=1, 140514=1, 140522=1, 140525=1, 140847=1, 140962=1, 141302=1, 141312=1, 141318=1, 141334=1, 141344=1, 141347=1, 141349=1, 141351=1, 141366=1, 141367=1, 141376=1}
Interrupted probabilistic random walk after 1668 steps, run timeout after 30255 ms. (steps per millisecond=0 ) properties seen :{2200=1, 2258=1, 2321=1, 2387=1, 3380=1, 3394=1, 3430=1, 3442=1, 3457=1, 3460=1, 3475=1, 3489=1, 3513=1, 3539=1, 3548=1, 4017=1, 4094=1, 5218=1, 5263=1, 5706=1, 5792=1, 6489=1, 6491=1, 6833=1, 7837=1, 7846=1, 7861=1, 7897=1, 7909=1, 8720=1, 8878=1, 8881=1, 8896=1, 8911=1, 8934=1, 8960=1, 8969=1, 10138=1, 10172=1, 10199=1, 10231=1, 11698=1, 11706=1, 12010=1, 12032=1, 12187=1, 12311=1, 12324=1, 12329=1, 12342=1, 12345=1, 12348=1, 12748=1, 14276=1, 14312=1, 16231=1, 16921=1, 16954=1, 17435=1, 17452=1, 18470=1, 18655=1, 20846=1, 21781=1, 21797=1, 21806=1, 21807=1, 21926=1, 21950=1, 22541=1, 22577=1, 23497=1, 23518=1, 23560=1, 24639=1, 24767=1, 25924=1, 26136=1, 26721=1, 26767=1, 27709=1, 28763=1, 28819=1, 29227=1, 29242=1, 29278=1, 29575=1, 30069=1, 30078=1, 30093=1, 30141=1, 30159=1, 30166=1, 30819=1, 31173=1, 31308=1, 31331=1, 31344=1, 32233=1, 33114=1, 34210=1, 37076=1, 37288=1, 37904=1, 40244=1, 40247=1, 40262=1, 40277=1, 40301=1, 40310=1, 40328=1, 40337=1, 40758=1, 43399=1, 43672=1, 43687=1, 43737=1, 43752=1, 43755=1, 43782=1, 43832=1, 44251=1, 44278=1, 48855=1, 50654=1, 54719=1, 55565=1, 55721=1, 55784=1, 55925=1, 58177=1, 58186=1, 58201=1, 58217=1, 58237=1, 58249=1, 59471=1, 72577=1, 72606=1, 72711=1, 73549=1, 73585=1, 73601=1, 73751=1, 74201=1, 74224=1, 74657=1, 74700=1, 75655=1, 75679=1, 76208=1, 77396=1, 77400=1, 78614=1, 79460=1, 80047=1, 80055=1, 80065=1, 80085=1, 81004=1, 81006=1, 81011=1, 82074=1, 84123=1, 84145=1, 84149=1, 84154=1, 84303=1, 86361=1, 86413=1, 87378=1, 87392=1, 87406=1, 88215=1, 88250=1, 88253=1, 88255=1, 88472=1, 88479=1, 88488=1, 88615=1, 88703=1, 88719=1, 89296=1, 89306=1, 90336=1, 90964=1, 90992=1, 91000=1, 91013=1, 91017=1, 98119=1, 101076=1, 101186=1, 101189=1, 101207=1, 101224=1, 102820=1, 103870=1, 103887=1, 108280=1, 111689=1, 111705=1, 111837=1, 111858=1, 111870=1, 111883=1, 112845=1, 112928=1, 113832=1, 114287=1, 117211=1, 117820=1, 118010=1, 118013=1, 118633=1, 118733=1, 118736=1, 119123=1, 119132=1, 119154=1, 121448=1, 121488=1, 122063=1, 123600=1, 123660=1, 124309=1, 124504=1, 124507=1, 128966=1, 128979=1, 129820=1, 129869=1, 129872=1, 129875=1, 130919=1, 131553=1, 131571=1, 132649=1, 132712=1, 132778=1, 133919=1, 134401=1, 135634=1, 136772=1, 137410=1, 137711=1, 137755=1, 139373=1}
Probabilistic random walk after 1668 steps, saw 1391 distinct states, run finished after 30256 ms. (steps per millisecond=0 ) properties seen :{2200=1, 2258=1, 2321=1, 2387=1, 3380=1, 3394=1, 3430=1, 3442=1, 3457=1, 3460=1, 3475=1, 3489=1, 3513=1, 3539=1, 3548=1, 4017=1, 4094=1, 5218=1, 5263=1, 5706=1, 5792=1, 6489=1, 6491=1, 6833=1, 7837=1, 7846=1, 7861=1, 7897=1, 7909=1, 8720=1, 8878=1, 8881=1, 8896=1, 8911=1, 8934=1, 8960=1, 8969=1, 10138=1, 10172=1, 10199=1, 10231=1, 11698=1, 11706=1, 12010=1, 12032=1, 12187=1, 12311=1, 12324=1, 12329=1, 12342=1, 12345=1, 12348=1, 12748=1, 14276=1, 14312=1, 16231=1, 16921=1, 16954=1, 17435=1, 17452=1, 18470=1, 18655=1, 20846=1, 21781=1, 21797=1, 21806=1, 21807=1, 21926=1, 21950=1, 22541=1, 22577=1, 23497=1, 23518=1, 23560=1, 24639=1, 24767=1, 25924=1, 26136=1, 26721=1, 26767=1, 27709=1, 28763=1, 28819=1, 29227=1, 29242=1, 29278=1, 29575=1, 30069=1, 30078=1, 30093=1, 30141=1, 30159=1, 30166=1, 30819=1, 31173=1, 31308=1, 31331=1, 31344=1, 32233=1, 33114=1, 34210=1, 37076=1, 37288=1, 37904=1, 40244=1, 40247=1, 40262=1, 40277=1, 40301=1, 40310=1, 40328=1, 40337=1, 40758=1, 43399=1, 43672=1, 43687=1, 43737=1, 43752=1, 43755=1, 43782=1, 43832=1, 44251=1, 44278=1, 48855=1, 50654=1, 54719=1, 55565=1, 55721=1, 55784=1, 55925=1, 58177=1, 58186=1, 58201=1, 58217=1, 58237=1, 58249=1, 59471=1, 72577=1, 72606=1, 72711=1, 73549=1, 73585=1, 73601=1, 73751=1, 74201=1, 74224=1, 74657=1, 74700=1, 75655=1, 75679=1, 76208=1, 77396=1, 77400=1, 78614=1, 79460=1, 80047=1, 80055=1, 80065=1, 80085=1, 81004=1, 81006=1, 81011=1, 82074=1, 84123=1, 84145=1, 84149=1, 84154=1, 84303=1, 86361=1, 86413=1, 87378=1, 87392=1, 87406=1, 88215=1, 88250=1, 88253=1, 88255=1, 88472=1, 88479=1, 88488=1, 88615=1, 88703=1, 88719=1, 89296=1, 89306=1, 90336=1, 90964=1, 90992=1, 91000=1, 91013=1, 91017=1, 98119=1, 101076=1, 101186=1, 101189=1, 101207=1, 101224=1, 102820=1, 103870=1, 103887=1, 108280=1, 111689=1, 111705=1, 111837=1, 111858=1, 111870=1, 111883=1, 112845=1, 112928=1, 113832=1, 114287=1, 117211=1, 117820=1, 118010=1, 118013=1, 118633=1, 118733=1, 118736=1, 119123=1, 119132=1, 119154=1, 121448=1, 121488=1, 122063=1, 123600=1, 123660=1, 124309=1, 124504=1, 124507=1, 128966=1, 128979=1, 129820=1, 129869=1, 129872=1, 129875=1, 130919=1, 131553=1, 131571=1, 132649=1, 132712=1, 132778=1, 133919=1, 134401=1, 135634=1, 136772=1, 137410=1, 137711=1, 137755=1, 139373=1}
Running SMT prover for 139483 properties.
[2021-05-18 10:49:29] [INFO ] Flow matrix only has 84691 transitions (discarded 66394 similar events)
// Phase 1: matrix 84691 rows 1429 cols
[2021-05-18 10:49:30] [INFO ] Computed 18 place invariants in 416 ms
[2021-05-18 10:49:55] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 139483 Parikh solutions to 1 different solutions.
Support contains 1428 out of 1429 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1429/1429 places, 151085/151085 transitions.
Drop transitions removed 512 transitions
Reduce isomorphic transitions removed 512 transitions.
Iterating post reduction 0 with 512 rules applied. Total rules applied 512 place count 1429 transition count 150573
Applied a total of 512 rules in 2110 ms. Remains 1429 /1429 variables (removed 0) and now considering 150573/151085 (removed 512) transitions.
Finished structural reductions, in 1 iterations. Remains : 1429/1429 places, 150573/151085 transitions.
[2021-05-18 10:50:06] [INFO ] Flatten gal took : 5979 ms
[2021-05-18 10:50:11] [INFO ] Flatten gal took : 4705 ms
[2021-05-18 10:50:12] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality9074374124385511090.gal : 537 ms
[2021-05-18 10:50:12] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15727086363242360249.prop : 356 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/ReachabilityCardinality9074374124385511090.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality15727086363242360249.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/ReachabilityCardinality9074374124385511090.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality15727086363242360249.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2021-05-18 10:50:34] [INFO ] Flatten gal took : 5389 ms
[2021-05-18 10:50:34] [INFO ] Applying decomposition
[2021-05-18 10:50:39] [INFO ] Flatten gal took : 4390 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/graph650843323900350696.txt, -o, /tmp/graph650843323900350696.bin, -w, /tmp/graph650843323900350696.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/graph650843323900350696.bin, -l, -1, -v, -w, /tmp/graph650843323900350696.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 10:50:52] [INFO ] Decomposing Gal with order
[2021-05-18 10:50:52] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 10:51:06] [INFO ] Removed a total of 456645 redundant transitions.
[2021-05-18 10:51:08] [INFO ] Flatten gal took : 9052 ms
[2021-05-18 10:52:49] [INFO ] Fuse similar labels procedure discarded/fused a total of 2797 labels/synchronizations in 12245 ms.
[2021-05-18 10:52:51] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10690100468787584292.gal : 480 ms
[2021-05-18 10:52:51] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14344510630978335758.prop : 501 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/ReachabilityCardinality10690100468787584292.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality14344510630978335758.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/ReachabilityCardinality10690100468787584292.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality14344510630978335758.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin3887013126904062276
[2021-05-18 10:53:08] [INFO ] Built C files in 2075ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin3887013126904062276
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/ltsmin3887013126904062276]
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/ltsmin3887013126904062276] 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/ltsmin3887013126904062276] 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 2084 steps, including 0 resets, run timeout after 30009 ms. (steps per millisecond=0 ) properties seen :{197=1, 432=1, 456=1, 466=1, 493=1, 513=1, 882=1, 917=1, 927=1, 933=1, 937=1, 949=1, 952=1, 963=1, 1064=1, 1153=1, 1194=1, 1236=1, 1261=1, 1291=1, 1544=1, 1979=1, 2091=1, 2155=1, 2368=1, 2455=1, 2457=1, 2612=1, 2629=1, 2676=1, 2719=1, 2741=1, 2767=1, 2809=1, 2856=1, 2873=1, 2905=1, 3107=1, 3117=1, 3375=1, 3383=1, 3434=1, 3437=1, 3459=1, 3464=1, 3540=1, 3552=1, 3569=1, 3583=1, 3605=1, 3607=1, 3615=1, 3623=1, 3638=1, 3640=1, 3646=1, 3675=1, 3708=1, 3712=1, 3754=1, 3786=1, 3790=1, 3803=1, 3914=1, 3928=1, 4006=1, 4057=1, 4388=1, 4453=1, 4465=1, 4468=1, 4476=1, 4513=1, 4517=1, 4527=1, 4554=1, 4561=1, 4570=1, 4588=1, 4634=1, 4656=1, 4660=1, 4843=1, 4873=1, 4904=1, 4973=1, 5207=1, 5261=1, 5288=1, 5320=1, 5324=1, 5331=1, 5334=1, 5356=1, 5416=1, 5420=1, 5426=1, 5585=1, 5608=1, 5797=1, 5807=1, 5832=1, 5837=1, 5968=1, 6002=1, 6006=1, 6039=1, 6044=1, 6152=1, 6356=1, 6487=1, 6493=1, 6502=1, 6714=1, 6726=1, 6795=1, 6820=1, 6840=1, 6872=1, 6976=1, 6978=1, 6986=1, 6991=1, 7077=1, 7111=1, 7165=1, 7189=1, 7199=1, 7303=1, 7330=1, 7333=1, 7628=1, 7897=1, 7904=1, 7907=1, 7913=1, 7924=1, 7939=1, 7947=1, 7951=1, 7953=1, 7957=1, 8398=1, 8433=1, 8633=1, 8635=1, 8669=1, 8672=1, 8692=1, 8698=1, 9203=1, 9244=1, 9271=1, 9289=1, 9303=1, 9310=1, 9311=1, 9338=1, 9703=1, 9776=1, 9779=1, 9786=1, 9810=1, 10044=1, 10068=1, 10390=1, 10394=1, 10408=1, 10410=1, 10575=1, 10842=1, 10848=1, 10866=1, 10869=1, 10923=1, 11026=1, 11113=1, 11189=1, 11339=1, 11351=1, 11388=1, 11419=1, 11640=1, 11644=1, 11646=1, 11665=1, 11762=1, 11888=1, 12050=1, 12060=1, 12091=1, 12305=1, 12313=1, 12420=1, 12507=1, 12563=1, 13144=1, 13156=1, 13418=1, 13424=1, 13433=1, 13480=1, 13486=1, 13496=1, 13500=1, 13514=1, 13515=1, 13708=1, 13713=1, 13719=1, 13741=1, 13743=1, 13760=1, 13787=1, 13795=1, 13804=1, 13808=1, 13810=1, 13812=1, 13816=1, 13820=1, 13828=1, 13954=1, 13981=1, 13985=1, 13987=1, 14007=1, 14026=1, 14192=1, 14254=1, 14949=1, 14993=1, 15017=1, 15770=1, 15794=1, 16002=1, 16010=1, 16239=1, 16277=1, 16291=1, 16295=1, 16319=1, 16390=1, 16498=1, 16501=1, 16505=1, 16508=1, 16519=1, 16561=1, 16564=1, 16567=1, 16700=1, 16714=1, 16730=1, 16806=1, 16866=1, 16876=1, 16882=1, 16887=1, 16905=1, 16928=1, 16958=1, 16966=1, 16984=1, 16986=1, 16992=1, 17003=1, 17013=1, 17015=1, 17066=1, 17100=1, 17128=1, 17280=1, 17288=1, 17341=1, 17365=1, 17366=1, 17377=1, 17395=1, 17405=1, 17434=1, 17623=1, 17653=1, 17656=1, 17674=1, 17686=1, 17695=1, 17704=1, 17728=1, 17752=1, 17776=1, 17942=1, 17989=1, 18025=1, 18028=1, 18044=1, 18053=1, 18057=1, 18069=1, 18070=1, 18157=1, 18159=1, 18169=1, 18216=1, 18218=1, 18220=1, 18230=1, 18232=1, 18249=1, 18259=1, 18318=1, 18334=1, 18448=1, 18470=1, 18787=1, 19118=1, 19126=1, 19257=1, 19726=1, 19883=1, 19895=1, 19929=1, 19943=1, 19944=1, 20025=1, 20040=1, 20276=1, 20284=1, 20450=1, 20460=1, 20470=1, 20490=1, 20501=1, 20534=1, 20601=1, 20619=1, 20631=1, 20784=1, 20803=1, 20931=1, 20949=1, 21146=1, 21155=1, 21158=1, 21167=1, 21397=1, 21568=1, 21577=1, 21653=1, 21686=1, 21724=1, 21741=1, 21745=1, 21756=1, 21799=1, 21841=1, 21866=1, 21870=1, 21886=1, 21970=1, 21994=1, 22006=1, 22010=1, 22016=1, 22032=1, 22043=1, 22045=1, 22051=1, 22107=1, 22177=1, 22489=1, 22601=1, 22605=1, 22761=1, 23006=1, 23034=1, 23150=1, 23287=1, 23291=1, 23297=1, 23303=1, 23313=1, 23336=1, 23353=1, 23429=1, 23432=1, 23449=1, 23508=1, 23520=1, 23523=1, 23834=1, 23882=1, 23923=1, 23959=1, 23979=1, 24014=1, 24023=1, 24026=1, 24117=1, 24183=1, 24186=1, 24192=1, 24210=1, 24237=1, 24246=1, 24255=1, 24285=1, 24291=1, 24333=1, 24351=1, 24355=1, 24359=1, 24365=1, 24366=1, 24413=1, 24429=1, 24445=1, 24468=1, 24509=1, 24561=1, 24572=1, 24602=1, 24653=1, 24656=1, 24665=1, 24668=1, 24671=1, 24677=1, 24688=1, 24696=1, 24699=1, 24709=1, 24711=1, 24714=1, 24724=1, 24795=1, 24910=1, 24956=1, 24969=1, 24971=1, 24974=1, 24980=1, 24986=1, 25016=1, 25025=1, 25034=1, 25070=1, 25109=1, 25118=1, 25125=1, 25134=1, 25158=1, 25222=1, 25381=1, 25394=1, 25441=1, 25524=1, 25588=1, 25610=1, 25612=1, 25657=1, 25663=1, 25681=1, 25712=1, 25721=1, 25724=1, 25736=1, 25750=1, 25762=1, 25774=1, 25809=1, 25817=1, 25820=1, 25870=1, 25882=1, 25984=1, 25998=1, 26001=1, 26069=1, 26087=1, 26097=1, 26174=1, 26251=1, 26353=1, 26471=1, 26473=1, 26488=1, 26499=1, 26501=1, 26507=1, 26513=1, 26563=1, 26578=1, 26591=1, 26614=1, 26721=1, 26789=1, 26812=1, 26823=1, 26844=1, 26892=1, 26928=1, 26989=1, 27012=1, 27033=1, 27041=1, 27047=1, 27114=1, 27116=1, 27128=1, 27192=1, 27203=1, 27213=1, 27217=1, 27219=1, 27267=1, 27472=1, 27508=1, 27626=1, 27627=1, 27633=1, 27654=1, 27658=1, 27731=1, 27739=1, 27808=1, 27838=1, 27844=1, 27866=1, 27872=1, 27922=1, 27928=1, 27930=1, 27946=1, 27949=1, 28042=1, 28047=1, 28050=1, 28072=1, 28086=1, 28100=1, 28558=1, 28594=1, 28651=1, 28675=1, 28738=1, 28766=1, 28824=1, 28838=1, 28847=1, 28850=1, 28852=1, 28856=1, 28865=1, 28876=1, 28886=1, 29155=1, 29214=1, 29217=1, 29228=1, 29243=1, 29251=1, 29252=1, 29255=1, 29529=1, 29679=1, 29752=1, 29758=1, 29766=1, 29770=1, 29782=1, 29920=1, 29943=1, 30149=1, 30185=1, 30190=1, 30212=1, 30216=1, 30217=1, 30252=1, 30280=1, 30389=1, 30402=1, 30409=1, 30431=1, 30436=1, 30472=1, 30500=1, 30504=1, 30541=1, 30692=1, 30765=1, 30781=1, 30810=1, 30841=1, 30870=1, 30871=1, 30889=1, 30897=1, 30985=1, 30997=1, 31002=1, 31120=1, 31196=1, 31206=1, 31242=1, 31251=1, 31293=1, 31306=1, 31308=1, 31327=1, 31337=1, 31528=1, 31680=1, 31726=1, 31786=1, 31808=1, 31833=1, 31855=1, 32005=1, 32048=1, 32132=1, 32133=1, 32151=1, 32162=1, 32236=1, 32245=1, 32259=1, 32305=1, 32495=1, 32571=1, 32599=1, 32618=1, 32629=1, 32643=1, 32676=1, 32741=1, 32786=1, 32836=1, 32846=1, 32874=1, 33367=1, 33388=1, 33428=1, 33429=1, 33468=1, 33482=1, 33496=1, 33518=1, 33519=1, 33551=1, 33766=1, 33802=1, 33804=1, 33866=1, 33868=1, 33878=1, 33883=1, 33961=1, 33969=1, 33984=1, 33987=1, 33995=1, 34008=1, 34108=1, 34113=1, 34115=1, 34119=1, 34122=1, 34125=1, 34164=1, 34167=1, 34171=1, 34173=1, 34552=1, 34563=1, 34577=1, 34616=1, 34628=1, 34694=1, 34848=1, 34875=1, 34885=1, 34895=1, 34924=1, 34936=1, 35035=1, 35144=1, 35356=1, 35545=1, 35549=1, 35555=1, 35561=1, 35571=1, 35751=1, 35793=1, 35799=1, 35855=1, 35890=1, 35899=1, 35919=1, 36078=1, 36086=1, 36088=1, 36136=1, 36151=1, 36176=1, 36187=1, 36195=1, 36202=1, 36221=1, 36646=1, 36693=1, 36837=1, 36840=1, 36849=1, 36860=1, 37092=1, 37104=1, 37121=1, 37145=1, 37169=1, 37183=1, 37186=1, 37190=1, 37194=1, 37203=1, 37213=1, 37234=1, 37253=1, 37357=1, 37363=1, 37370=1, 37377=1, 37381=1, 37383=1, 37400=1, 37407=1, 37409=1, 37575=1, 37605=1, 37682=1, 37758=1, 37822=1, 37838=1, 37854=1, 37874=1, 37939=1, 37962=1, 38006=1, 38019=1, 38304=1, 38317=1, 38336=1, 38404=1, 38501=1, 38539=1, 38540=1, 38543=1, 38717=1, 38757=1, 38760=1, 38799=1, 38804=1, 38853=1, 38893=1, 38954=1, 38995=1, 39053=1, 39062=1, 39078=1, 39097=1, 39099=1, 39275=1, 39340=1, 39354=1, 39378=1, 39668=1, 39670=1, 39747=1, 40112=1, 40169=1, 40186=1, 40222=1, 40255=1, 40279=1, 40329=1, 40359=1, 40364=1, 40369=1, 40375=1, 40376=1, 40399=1, 40400=1, 40538=1, 40695=1, 40699=1, 40701=1, 40716=1, 40726=1, 40735=1, 40755=1, 40759=1, 40856=1, 40934=1, 40984=1, 41087=1, 41107=1, 41228=1, 41232=1, 41257=1, 41296=1, 41329=1, 41503=1, 41511=1, 41546=1, 41550=1, 41586=1, 41769=1, 41774=1, 41781=1, 41810=1, 41843=1, 41891=1, 41893=1, 41897=1, 41902=1, 42199=1, 42315=1, 42667=1, 42735=1, 42941=1, 43007=1, 43086=1, 43096=1, 43109=1, 43188=1, 43227=1, 43229=1, 43271=1, 43290=1, 43623=1, 43781=1, 43782=1, 43851=1, 43881=1, 43903=1, 44002=1, 44030=1, 44062=1, 44160=1, 44200=1, 44216=1, 44237=1, 44744=1, 44760=1, 44788=1, 44827=1, 44867=1, 45010=1, 45019=1, 45031=1, 45079=1, 45119=1, 45131=1, 45356=1, 45387=1, 45393=1, 45542=1, 45544=1, 45696=1, 45714=1, 45720=1, 45743=1, 45748=1, 45753=1, 45774=1, 45790=1, 45795=1, 45813=1, 46085=1, 46097=1, 46171=1, 46180=1, 46222=1, 46263=1, 46289=1, 46308=1, 46436=1, 46688=1, 46725=1, 46727=1, 46755=1, 47016=1, 47094=1, 47103=1, 47113=1, 47114=1, 47189=1, 47201=1, 47219=1, 47316=1, 47342=1, 47517=1, 47524=1, 47543=1, 47687=1, 47697=1, 47930=1, 48006=1, 48040=1, 48153=1, 48155=1, 48212=1, 48320=1, 48322=1, 48323=1, 48326=1, 48346=1, 48356=1, 48392=1, 48398=1, 48402=1, 48409=1, 48412=1, 48415=1, 48429=1, 48435=1, 48442=1, 48487=1, 48562=1, 48570=1, 48579=1, 48634=1, 48671=1, 48804=1, 48812=1, 48815=1, 48980=1, 49003=1, 49029=1, 49040=1, 49254=1, 49261=1, 49288=1, 49295=1, 49317=1, 49320=1, 49331=1, 49347=1, 49436=1, 49449=1, 49451=1, 49467=1, 49476=1, 49487=1, 49495=1, 49498=1, 49512=1, 49519=1, 49540=1, 49975=1, 50033=1, 50083=1, 50364=1, 50384=1, 50503=1, 50595=1, 50623=1, 50890=1, 50908=1, 50965=1, 50991=1, 50997=1, 51008=1, 51023=1, 51026=1, 51106=1, 51189=1, 51246=1, 51298=1, 51377=1, 51423=1, 51432=1, 51482=1, 51539=1, 51630=1, 51634=1, 51637=1, 51644=1, 51649=1, 51651=1, 51709=1, 51722=1, 51727=1, 51739=1, 51757=1, 51792=1, 51842=1, 51949=1, 52086=1, 52133=1, 52142=1, 52144=1, 52150=1, 52152=1, 52154=1, 52213=1, 52268=1, 52329=1, 52363=1, 52408=1, 52425=1, 52450=1, 52577=1, 52598=1, 52604=1, 52623=1, 52762=1, 52764=1, 52782=1, 52829=1, 52885=1, 52887=1, 52893=1, 52897=1, 52910=1, 52922=1, 52928=1, 53414=1, 53429=1, 53471=1, 53480=1, 53507=1, 53525=1, 53540=1, 53542=1, 53563=1, 53571=1, 53582=1, 53588=1, 53591=1, 53596=1, 53608=1, 53645=1, 53646=1, 53733=1, 53748=1, 53766=1, 53769=1, 53781=1, 53824=1, 53855=1, 53957=1, 53991=1, 53999=1, 54023=1, 54192=1, 54197=1, 54199=1, 54228=1, 54232=1, 54249=1, 54284=1, 54294=1, 54300=1, 54463=1, 54545=1, 54556=1, 54569=1, 54575=1, 54579=1, 54590=1, 54596=1, 54610=1, 54614=1, 54635=1, 54641=1, 54650=1, 54653=1, 54688=1, 54709=1, 54712=1, 54754=1, 54994=1, 54996=1, 55007=1, 55041=1, 55044=1, 55049=1, 55058=1, 55062=1, 55080=1, 55086=1, 55096=1, 55100=1, 55107=1, 55130=1, 55146=1, 55347=1, 55376=1, 55387=1, 55395=1, 55796=1, 55797=1, 55800=1, 55801=1, 55803=1, 55806=1, 55807=1, 55810=1, 55811=1, 55812=1, 55815=1, 55816=1, 55817=1, 55821=1, 55824=1, 55825=1, 55839=1, 55840=1, 55947=1, 55948=1, 55954=1, 55963=1, 55972=1, 55993=1, 55998=1, 55999=1, 56324=1, 56364=1, 56589=1, 56615=1, 56745=1, 56758=1, 56766=1, 56778=1, 56794=1, 56820=1, 56844=1, 56947=1, 56970=1, 57051=1, 57059=1, 57071=1, 57113=1, 57121=1, 57131=1, 57138=1, 57148=1, 57168=1, 57172=1, 57212=1, 57286=1, 57287=1, 57420=1, 57423=1, 57453=1, 57628=1, 57636=1, 57642=1, 57650=1, 57655=1, 57663=1, 57774=1, 57784=1, 57793=1, 57914=1, 58124=1, 58130=1, 58133=1, 58154=1, 58159=1, 58160=1, 58167=1, 58175=1, 58177=1, 58181=1, 58182=1, 58196=1, 58206=1, 58208=1, 58216=1, 58238=1, 58240=1, 58248=1, 58270=1, 58272=1, 58278=1, 58280=1, 58292=1, 58302=1, 58304=1, 58322=1, 58448=1, 58849=1, 58869=1, 58985=1, 59080=1, 59086=1, 59113=1, 59131=1, 59188=1, 59349=1, 59367=1, 59369=1, 59377=1, 59397=1, 59401=1, 59408=1, 59432=1, 59520=1, 59662=1, 60015=1, 60095=1, 60279=1, 60285=1, 60305=1, 60308=1, 60314=1, 60318=1, 60335=1, 60346=1, 60356=1, 60473=1, 60505=1, 60636=1, 60639=1, 60641=1, 60897=1, 60996=1, 61092=1, 61107=1, 61115=1, 61118=1, 61127=1, 61130=1, 61133=1, 61136=1, 61541=1, 61554=1, 61626=1, 61674=1, 61692=1, 61707=1, 61720=1, 61722=1, 61751=1, 61756=1, 61759=1, 61760=1, 61764=1, 62055=1, 62336=1, 62345=1, 62422=1, 62516=1, 62577=1, 62588=1, 62595=1, 62707=1, 63257=1, 63279=1, 63341=1, 63398=1, 63405=1, 63454=1, 63468=1, 63486=1, 63508=1, 63512=1, 63514=1, 63522=1, 63580=1, 63596=1, 63951=1, 63957=1, 63981=1, 64413=1, 64416=1, 64446=1, 64473=1, 64534=1, 64548=1, 64558=1, 64564=1, 64584=1, 64614=1, 64705=1, 64728=1, 64737=1, 64746=1, 64775=1, 64784=1, 64967=1, 65487=1, 65489=1, 65764=1, 65792=1, 65905=1, 66047=1, 66060=1, 66069=1, 66078=1, 66084=1, 66093=1, 66102=1, 66108=1, 66111=1, 66117=1, 66131=1, 66140=1, 66183=1, 66193=1, 66215=1, 66377=1, 66386=1, 66411=1, 66423=1, 66438=1, 66539=1, 66576=1, 66586=1, 66607=1, 66728=1, 66741=1, 66747=1, 66897=1, 66915=1, 66943=1, 66987=1, 66997=1, 67003=1, 67013=1, 67019=1, 67023=1, 67036=1, 67045=1, 67054=1, 67060=1, 67082=1, 67086=1, 67167=1, 67173=1, 67203=1, 67221=1, 67237=1, 67634=1, 67642=1, 67760=1, 67784=1, 67786=1, 67790=1, 67800=1, 67808=1, 67818=1, 67969=1, 68038=1, 68090=1, 68094=1, 68116=1, 68130=1, 68136=1, 68169=1, 68171=1, 68173=1, 68177=1, 68436=1, 68440=1, 68452=1, 68468=1, 68478=1, 68480=1, 68494=1, 68500=1, 68538=1, 68540=1, 68548=1, 68550=1, 68558=1, 68643=1, 68684=1, 68699=1, 68716=1, 68886=1, 68968=1, 69046=1, 69062=1, 69142=1, 69150=1, 69210=1, 69275=1, 69401=1, 69437=1, 69770=1, 69774=1, 69784=1, 69792=1, 69800=1, 69821=1, 69830=1, 69834=1, 69846=1, 69850=1, 69863=1, 69865=1, 69876=1, 69903=1, 69904=1, 69911=1, 70283=1, 70302=1, 70322=1, 70331=1, 70395=1, 70553=1, 70592=1, 70776=1, 70784=1, 70786=1, 70797=1, 70818=1, 70821=1, 70822=1, 70858=1, 70859=1, 70867=1, 70870=1, 70885=1, 70907=1, 70912=1, 70923=1, 70926=1, 70946=1, 70967=1, 70993=1, 71021=1, 71023=1, 71052=1, 71053=1, 71063=1, 71094=1, 71265=1, 71339=1, 71427=1, 71454=1, 71458=1, 71800=1, 71835=1, 71967=1, 72120=1, 72367=1, 72387=1, 72433=1, 72438=1, 72442=1, 72443=1, 72450=1, 72460=1, 72470=1, 72704=1, 72706=1, 72709=1, 72712=1, 72720=1, 72724=1, 72725=1, 72730=1, 72735=1, 72738=1, 72739=1, 72740=1, 72790=1, 72817=1, 72864=1, 72982=1, 72991=1, 73280=1, 73390=1, 73399=1, 73498=1, 73829=1, 73905=1, 73937=1, 74061=1, 74146=1, 74150=1, 74157=1, 74161=1, 74173=1, 74181=1, 74226=1, 74228=1, 74236=1, 74241=1, 74252=1, 74259=1, 74284=1, 74285=1, 74290=1, 74372=1, 74375=1, 74563=1, 74696=1, 74698=1, 74754=1, 74759=1, 74898=1, 74925=1, 74936=1, 74956=1, 74962=1, 74974=1, 74986=1, 75004=1, 75011=1, 75033=1, 75089=1, 75097=1, 75118=1, 75282=1, 75289=1, 75337=1, 75350=1, 75367=1, 75405=1, 75483=1, 75492=1, 75515=1, 75553=1, 75564=1, 75589=1, 75642=1, 75647=1, 75671=1, 75673=1, 75677=1, 75683=1, 75692=1, 75706=1, 75966=1, 76015=1, 76031=1, 76045=1, 76394=1, 76417=1, 76734=1, 76789=1, 76824=1, 76827=1, 76829=1, 77087=1, 77125=1, 77249=1, 77596=1, 77720=1, 77739=1, 77961=1, 78111=1, 78115=1, 78161=1, 78284=1, 78298=1, 78416=1, 78760=1, 78799=1, 78802=1, 78879=1, 78939=1, 79020=1, 79040=1, 79084=1, 79113=1, 79148=1, 79161=1, 79167=1, 79219=1, 79244=1, 79263=1, 79281=1, 79306=1, 79731=1, 79748=1, 79762=1, 79771=1, 79784=1, 79863=1, 80095=1, 80103=1, 80183=1, 80208=1, 80216=1, 80445=1, 80476=1, 80480=1, 80482=1, 80516=1, 80530=1, 80534=1, 80670=1, 80684=1, 80691=1, 81102=1, 81649=1, 81668=1, 81729=1, 81735=1, 81762=1, 81785=1, 81788=1, 81791=1, 81798=1, 82077=1, 82080=1, 82083=1, 82185=1, 82452=1, 82458=1, 82571=1, 82576=1, 82608=1, 82617=1, 82627=1, 82630=1, 82638=1, 82642=1, 82644=1, 82674=1, 83156=1, 83158=1, 83163=1, 83183=1, 83254=1, 83262=1, 83274=1, 83323=1, 83342=1, 83350=1, 83380=1, 83404=1, 83421=1, 83423=1, 83432=1, 83444=1, 83447=1, 83455=1, 83459=1, 83462=1, 83465=1, 83471=1, 83482=1, 83487=1, 83498=1, 83504=1, 83505=1, 83506=1, 83619=1, 83625=1, 83653=1, 83707=1, 83731=1, 83845=1, 83941=1, 84060=1, 84106=1, 84132=1, 84271=1, 84299=1, 84319=1, 84321=1, 84362=1, 84399=1, 84405=1, 84520=1, 84652=1, 85111=1, 85141=1, 85174=1, 85190=1, 85386=1, 85411=1, 85412=1, 85425=1, 85427=1, 85519=1, 85544=1, 85686=1, 85897=1, 86032=1, 86039=1, 86264=1, 86270=1, 86276=1, 86361=1, 86438=1, 86452=1, 86462=1, 87273=1, 87308=1, 87408=1, 87460=1, 87517=1, 87547=1, 87568=1, 87571=1, 87594=1, 87598=1, 87739=1, 87900=1, 87951=1, 87982=1, 88086=1, 88099=1, 88101=1, 88115=1, 88122=1, 88133=1, 88135=1, 88136=1, 88161=1, 88179=1, 88227=1, 88295=1, 88310=1, 88318=1, 88527=1, 88905=1, 88972=1, 89011=1, 89050=1, 89058=1, 89066=1, 89068=1, 89084=1, 89086=1, 89425=1, 89509=1, 89593=1, 89601=1, 89621=1, 89693=1, 89729=1, 89753=1, 89781=1, 89789=1, 89841=1, 89939=1, 89948=1, 89959=1, 89973=1, 90093=1, 90098=1, 90243=1, 90429=1, 90432=1, 90459=1, 90555=1, 90586=1, 90661=1, 90708=1, 90709=1, 90721=1, 90820=1, 90948=1, 91012=1, 91436=1, 91661=1, 91696=1, 91900=1, 91928=1, 92027=1, 92051=1, 92127=1, 92200=1, 92208=1, 92213=1, 92317=1, 92347=1, 92445=1, 92501=1, 92535=1, 92624=1, 92636=1, 92637=1, 92652=1, 92672=1, 92737=1, 92743=1, 92850=1, 92864=1, 92867=1, 93041=1, 93128=1, 93211=1, 93365=1, 93459=1, 93518=1, 93523=1, 93534=1, 93557=1, 93561=1, 93563=1, 93586=1, 93879=1, 93895=1, 94053=1, 94219=1, 94238=1, 94241=1, 94253=1, 94342=1, 94351=1, 94353=1, 94362=1, 94368=1, 94370=1, 94384=1, 94392=1, 94688=1, 95209=1, 95215=1, 95505=1, 95513=1, 95523=1, 95610=1, 95685=1, 95851=1, 96375=1, 96488=1, 96502=1, 96599=1, 96616=1, 96807=1, 96836=1, 96901=1, 97046=1, 97362=1, 97384=1, 97390=1, 97539=1, 97546=1, 97651=1, 97658=1, 97665=1, 97666=1, 97716=1, 97813=1, 97831=1, 97845=1, 97894=1, 97908=1, 97911=1, 97913=1, 97914=1, 97919=1, 98021=1, 98112=1, 98132=1, 98175=1, 98214=1, 98230=1, 98302=1, 98305=1, 98315=1, 98344=1, 98354=1, 98427=1, 98443=1, 98445=1, 98522=1, 98545=1, 98549=1, 98551=1, 98569=1, 98744=1, 98763=1, 98778=1, 98780=1, 98784=1, 98788=1, 98806=1, 98836=1, 98940=1, 99084=1, 99168=1, 99264=1, 99278=1, 99284=1, 99294=1, 99308=1, 99346=1, 99544=1, 99548=1, 99559=1, 99563=1, 99596=1, 99610=1, 99743=1, 99746=1, 99873=1, 99940=1, 99954=1, 100261=1, 100268=1, 100477=1, 100482=1, 100493=1, 100499=1, 100961=1, 101239=1, 101240=1, 101268=1, 101420=1, 101493=1, 101509=1, 101797=1, 101800=1, 101816=1, 101986=1, 101998=1, 102022=1, 102040=1, 102049=1, 102266=1, 102371=1, 102385=1, 102395=1, 102423=1, 102466=1, 102472=1, 102503=1, 102578=1, 102582=1, 102609=1, 102611=1, 102612=1, 102617=1, 102733=1, 102739=1, 102764=1, 102775=1, 102787=1, 102887=1, 102890=1, 102917=1, 102967=1, 103082=1, 103205=1, 103212=1, 103365=1, 103431=1, 103455=1, 103486=1, 103907=1, 103913=1, 103936=1, 103942=1, 104008=1, 104189=1, 104223=1, 104285=1, 104301=1, 104312=1, 104640=1, 104666=1, 104688=1, 104697=1, 104725=1, 104749=1, 104757=1, 104762=1, 104775=1, 104928=1, 104970=1, 105147=1, 105395=1, 105396=1, 105603=1, 105639=1, 105646=1, 105675=1, 105696=1, 105704=1, 105813=1, 105877=1, 105905=1, 105916=1, 105947=1, 105959=1, 106078=1, 106168=1, 106321=1, 106363=1, 106440=1, 106510=1, 106519=1, 106525=1, 106533=1, 106535=1, 106631=1, 106725=1, 106872=1, 107259=1, 107289=1, 107335=1, 107348=1, 107399=1, 107450=1, 107480=1, 107492=1, 107679=1, 107789=1, 107829=1, 107830=1, 107893=1, 107972=1, 107992=1, 108072=1, 108081=1, 108114=1, 108121=1, 108148=1, 108154=1, 108158=1, 108176=1, 108186=1, 108194=1, 108197=1, 108283=1, 108316=1, 108333=1, 108345=1, 108402=1, 108415=1, 108426=1, 108452=1, 108472=1, 108484=1, 108487=1, 108562=1, 108588=1, 108593=1, 108596=1, 108641=1, 108664=1, 108934=1, 108973=1, 109015=1, 109055=1, 109070=1, 109125=1, 109541=1, 109691=1, 109700=1, 109769=1, 109777=1, 109813=1, 109846=1, 109849=1, 109862=1, 109866=1, 109872=1, 109874=1, 109882=1, 109884=1, 109926=1, 109928=1, 110054=1, 110069=1, 110172=1, 110218=1, 110228=1, 110234=1, 110376=1, 110620=1, 110626=1, 110648=1, 110763=1, 110810=1, 110818=1, 110828=1, 110829=1, 110835=1, 110875=1, 110961=1, 110986=1, 110998=1, 111018=1, 111085=1, 111240=1, 111266=1, 111355=1, 111372=1, 111376=1, 111383=1, 111436=1, 111438=1, 111560=1, 111575=1, 111622=1, 111623=1, 111653=1, 111712=1, 111722=1, 111905=1, 111916=1, 112008=1, 112026=1, 112038=1, 112041=1, 112137=1, 112149=1, 112228=1, 112589=1, 112604=1, 112607=1, 112614=1, 112615=1, 112623=1, 112626=1, 112628=1, 112644=1, 112700=1, 112729=1, 112743=1, 113053=1, 113271=1, 113319=1, 113402=1, 113429=1, 113492=1, 113582=1, 113599=1, 113911=1, 113943=1, 114003=1, 114030=1, 114088=1, 114114=1, 114121=1, 114129=1, 114173=1, 114468=1, 114539=1, 114567=1, 114598=1, 114636=1, 114645=1, 114670=1, 114731=1, 114733=1, 114752=1, 114864=1, 114869=1, 114943=1, 115002=1, 115076=1, 115195=1, 115211=1, 115252=1, 115255=1, 115438=1, 115594=1, 115831=1, 116013=1, 116024=1, 116027=1, 116032=1, 116297=1, 116300=1, 116305=1, 116328=1, 116330=1, 116332=1, 116427=1, 116468=1, 116504=1, 116569=1, 116652=1, 116657=1, 116907=1, 116909=1, 116917=1, 116919=1, 116929=1, 116931=1, 116939=1, 116945=1, 116963=1, 116995=1, 117060=1, 117149=1, 117161=1, 117187=1, 117274=1, 117294=1, 117336=1, 117340=1, 117345=1, 117353=1, 117481=1, 117521=1, 117524=1, 117576=1, 117603=1, 117771=1, 117954=1, 118063=1, 118204=1, 118210=1, 118225=1, 118234=1, 118313=1, 118358=1, 118382=1, 118407=1, 118410=1, 118413=1, 118425=1, 118465=1, 118500=1, 118527=1, 118536=1, 118591=1, 118612=1, 118780=1, 118798=1, 118823=1, 118857=1, 118960=1, 119070=1, 119071=1, 119086=1, 119225=1, 119231=1, 119270=1, 119307=1, 119312=1, 119385=1, 119429=1, 119456=1, 119821=1, 119832=1, 119837=1, 119844=1, 119845=1, 119852=1, 119853=1, 119859=1, 119863=1, 119877=1, 120142=1, 120189=1, 120198=1, 120267=1, 120362=1, 120376=1, 120378=1, 120386=1, 120393=1, 120410=1, 120426=1, 120496=1, 120562=1, 120725=1, 120726=1, 120728=1, 120742=1, 120756=1, 120779=1, 120944=1, 121210=1, 121220=1, 121599=1, 121629=1, 121635=1, 121708=1, 121723=1, 121737=1, 122110=1, 122378=1, 122380=1, 122381=1, 122382=1, 122439=1, 122461=1, 122473=1, 122613=1, 122618=1, 122620=1, 122648=1, 122662=1, 122849=1, 122858=1, 122927=1, 122945=1, 122951=1, 123052=1, 123087=1, 123093=1, 123112=1, 123238=1, 123244=1, 123253=1, 123359=1, 123361=1, 123376=1, 123392=1, 123505=1, 123515=1, 123824=1, 123877=1, 123984=1, 124037=1, 124044=1, 124096=1, 124158=1, 124209=1, 124224=1, 124265=1, 124790=1, 124905=1, 124916=1, 124964=1, 124969=1, 124972=1, 124980=1, 125013=1, 125017=1, 125093=1, 125160=1, 125176=1, 125224=1, 125229=1, 125271=1, 125273=1, 125277=1, 125278=1, 125279=1, 125281=1, 125282=1, 125283=1, 125414=1, 125579=1, 125583=1, 125596=1, 125605=1, 125616=1, 125619=1, 125701=1, 125720=1, 125727=1, 125767=1, 125791=1, 125911=1, 126247=1, 126311=1, 126319=1, 126323=1, 126353=1, 126476=1, 126491=1, 126605=1, 126606=1, 126660=1, 126763=1, 126779=1, 126784=1, 126788=1, 126792=1, 126831=1, 126848=1, 126996=1, 127058=1, 127120=1, 127160=1, 127202=1, 127238=1, 127322=1, 127328=1, 127346=1, 127375=1, 127463=1, 127474=1, 127481=1, 127490=1, 127523=1, 127537=1, 127555=1, 127560=1, 127598=1, 127604=1, 127622=1, 127631=1, 127632=1, 127635=1, 127646=1, 127659=1, 127679=1, 127695=1, 127697=1, 127707=1, 127714=1, 127721=1, 127764=1, 127976=1, 127978=1, 127984=1, 127985=1, 127987=1, 127988=1, 127989=1, 127999=1, 128047=1, 128085=1, 128399=1, 128424=1, 128425=1, 128432=1, 128505=1, 128538=1, 128556=1, 128654=1, 128664=1, 128675=1, 128678=1, 128701=1, 128703=1, 128728=1, 128952=1, 129006=1, 129028=1, 129030=1, 129034=1, 129042=1, 129064=1, 129165=1, 129173=1, 129197=1, 129199=1, 129201=1, 129209=1, 129285=1, 129294=1, 129299=1, 129304=1, 129339=1, 129409=1, 129553=1, 129568=1, 129615=1, 129627=1, 129656=1, 129705=1, 129717=1, 129722=1, 129726=1, 129747=1, 129835=1, 129843=1, 129861=1, 129868=1, 129871=1, 130104=1, 130112=1, 130118=1, 130123=1, 130145=1, 130149=1, 130298=1, 130323=1, 130325=1, 130368=1, 130419=1, 130465=1, 130545=1, 130565=1, 130621=1, 130637=1, 130642=1, 130645=1, 130656=1, 130666=1, 130672=1, 130677=1, 130855=1, 130882=1, 130886=1, 130894=1, 131208=1, 131289=1, 131298=1, 131334=1, 131478=1, 131480=1, 131528=1, 131688=1, 131765=1, 131810=1, 131816=1, 131843=1, 131860=1, 131864=1, 131869=1, 131918=1, 132010=1, 132044=1, 132095=1, 132111=1, 132113=1, 132117=1, 132119=1, 132121=1, 132125=1, 132504=1, 132525=1, 132550=1, 132564=1, 132576=1, 132595=1, 132633=1, 132673=1, 132699=1, 132708=1, 132714=1, 132726=1, 132742=1, 132818=1, 132825=1, 132858=1, 132883=1, 132985=1, 133039=1, 133043=1, 133046=1, 133059=1, 133063=1, 133187=1, 133190=1, 133249=1, 133386=1, 133400=1, 133423=1, 133669=1, 133679=1, 133681=1, 133771=1, 133796=1, 134012=1, 134044=1, 134144=1, 134156=1, 134165=1, 134171=1, 134174=1, 134182=1, 134222=1, 134394=1, 134452=1, 134489=1, 134495=1, 134505=1, 134523=1, 134546=1, 134549=1, 134742=1, 134856=1, 134860=1, 134864=1, 134872=1, 134874=1, 134876=1, 135186=1, 135264=1, 135277=1, 135281=1, 135285=1, 135296=1, 135370=1, 135462=1, 135572=1, 135614=1, 135618=1, 135632=1, 135641=1, 136082=1, 136101=1, 136163=1, 136259=1, 136261=1, 136277=1, 136281=1, 136295=1, 136313=1, 136327=1, 136345=1, 136398=1, 136403=1, 136416=1, 136443=1, 136467=1, 136480=1, 136527=1, 136554=1, 136704=1, 136728=1, 136740=1, 136983=1, 136997=1, 137023=1, 137031=1, 137039=1, 137077=1, 137126=1, 137133=1, 137171=1, 137192=1, 137195=1, 137315=1, 137636=1, 137646=1, 137728=1, 137853=1, 137941=1, 137942=1, 138105=1, 138114=1, 138246=1, 138252=1, 138256=1, 138272=1, 138307=1, 138308=1, 138491=1, 138771=1, 138987=1, 139067=1, 139090=1, 139092=1, 139099=1, 139176=1, 139279=1, 139333=1, 139363=1, 139369=1, 139418=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2002 ms. (steps per millisecond=0 ) properties (out of 136837) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2159 ms. (steps per millisecond=0 ) properties (out of 136837) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2190 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2054 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2064 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2086 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 1972 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1983 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1967 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2031 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2002 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2013 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2105 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1909 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2147 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3979 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4263 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2912 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2180 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2115 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1894 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2229 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2038 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2074 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1860 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2118 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2250 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2177 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2109 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2011 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1898 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1965 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2053 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1989 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2152 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2129 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2177 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2116 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2295 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1946 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2094 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2157 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2093 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1994 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2011 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2071 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2200 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2059 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2102 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2191 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1895 ms. (steps per millisecond=0 ) properties (out of 136835) seen :0
Interrupted probabilistic random walk after 2218 steps, run timeout after 30142 ms. (steps per millisecond=0 ) properties seen :{7699=1, 8776=1, 13080=1, 16603=1, 20452=1, 20458=1, 20483=1, 20503=1, 20517=1, 22095=1, 23043=1, 28148=1, 29483=1, 30564=1, 30641=1, 32894=1, 39435=1, 46344=1, 56896=1, 58187=1, 78609=1, 82300=1, 87619=1, 99819=1, 99824=1, 99831=1, 133922=1, 134901=1, 136001=1}
Probabilistic random walk after 2218 steps, saw 2026 distinct states, run finished after 30167 ms. (steps per millisecond=0 ) properties seen :{7699=1, 8776=1, 13080=1, 16603=1, 20452=1, 20458=1, 20483=1, 20503=1, 20517=1, 22095=1, 23043=1, 28148=1, 29483=1, 30564=1, 30641=1, 32894=1, 39435=1, 46344=1, 56896=1, 58187=1, 78609=1, 82300=1, 87619=1, 99819=1, 99824=1, 99831=1, 133922=1, 134901=1, 136001=1}
Running SMT prover for 136806 properties.
[2021-05-18 10:56:01] [INFO ] Flow matrix only has 84690 transitions (discarded 65883 similar events)
// Phase 1: matrix 84690 rows 1429 cols
[2021-05-18 10:56:02] [INFO ] Computed 18 place invariants in 574 ms
[2021-05-18 10:59:48] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 136806 Parikh solutions to 1 different solutions.
Support contains 1428 out of 1429 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1429/1429 places, 150573/150573 transitions.
Applied a total of 0 rules in 3018 ms. Remains 1429 /1429 variables (removed 0) and now considering 150573/150573 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1429/1429 places, 150573/150573 transitions.
[2021-05-18 11:00:03] [INFO ] Flatten gal took : 9101 ms
[2021-05-18 11:00:06] [INFO ] Flatten gal took : 3730 ms
[2021-05-18 11:00:07] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8237394730304223439.gal : 367 ms
[2021-05-18 11:00:07] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11307234834614830584.prop : 247 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/ReachabilityCardinality8237394730304223439.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality11307234834614830584.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/ReachabilityCardinality8237394730304223439.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality11307234834614830584.prop --nowitness --gen-order FOLLOW
ITS-tools command line returned an error code 137
[2021-05-18 11:00:26] [INFO ] Flatten gal took : 4342 ms
[2021-05-18 11:00:26] [INFO ] Applying decomposition
[2021-05-18 11:00:30] [INFO ] Flatten gal took : 3997 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/graph6584261386567929320.txt, -o, /tmp/graph6584261386567929320.bin, -w, /tmp/graph6584261386567929320.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/graph6584261386567929320.bin, -l, -1, -v, -w, /tmp/graph6584261386567929320.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 11:00:47] [INFO ] Decomposing Gal with order
[2021-05-18 11:00:47] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 11:01:02] [INFO ] Removed a total of 456616 redundant transitions.

BK_STOP 1621335667678

--------------------
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="RERS17pb114-PT-5"
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 RERS17pb114-PT-5, 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 r185-tajo-162089425300142"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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