Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2022-input.r198-tajo-165281579300097.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2022-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 gold2021
Input is RERS17pb115-PT-2, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r198-tajo-165281579300097
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 7.5K Apr 30 06:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Apr 30 06:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Apr 30 06:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Apr 30 06:33 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K May 9 08:33 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 9 08:33 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 9 08:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 9 08:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 9 08:33 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 9 08:33 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 2 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 69M May 10 09:34 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME QuasiLiveness

=== Now, execution of the tool begins

BK_START 1653292398175

Running Version 0
[2022-05-23 07:53:19] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2022-05-23 07:53:19] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-23 07:53:22] [INFO ] Load time of PNML (sax parser for PT used): 2139 ms
[2022-05-23 07:53:22] [INFO ] Transformed 1399 places.
[2022-05-23 07:53:22] [INFO ] Transformed 144369 transitions.
[2022-05-23 07:53:22] [INFO ] Parsed PT model containing 1399 places and 144369 transitions in 2706 ms.
Starting structural reductions, iteration 0 : 1399/1399 places, 144369/144369 transitions.
Ensure Unique test removed 18 places
Iterating post reduction 0 with 18 rules applied. Total rules applied 18 place count 1381 transition count 144369
Applied a total of 18 rules in 2809 ms. Remains 1381 /1399 variables (removed 18) and now considering 144369/144369 (removed 0) transitions.
[2022-05-23 07:53:25] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
// Phase 1: matrix 81238 rows 1381 cols
[2022-05-23 07:53:26] [INFO ] Computed 19 place invariants in 423 ms
[2022-05-23 07:53:34] [INFO ] Implicit Places using invariants in 8886 ms returned []
Implicit Place search using SMT only with invariants took 8909 ms to find 0 implicit places.
[2022-05-23 07:53:34] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
// Phase 1: matrix 81238 rows 1381 cols
[2022-05-23 07:53:34] [INFO ] Computed 19 place invariants in 271 ms
[2022-05-23 07:54:05] [INFO ] Performed 90468/144369 'is it Dead' test of which 0 returned DEAD in 30 seconds.
[2022-05-23 07:54:23] [INFO ] Dead Transitions using invariants and state equation in 49323 ms returned []
Finished structural reductions, in 1 iterations. Remains : 1381/1399 places, 144369/144369 transitions.
Discarding 2848 transitions out of 144369. Remains 141521
[2022-05-23 07:54:25] [INFO ] Initial state test concluded for 1 properties.
Interrupted random walk after 1529 steps, including 0 resets, run timeout after 30010 ms. (steps per millisecond=0 ) properties seen :{346=1, 350=1, 367=1, 460=1, 598=1, 811=1, 819=1, 845=1, 863=1, 1018=1, 1025=1, 1089=1, 1095=1, 1104=1, 1191=1, 1311=1, 1414=1, 1426=1, 1492=1, 1498=1, 1556=1, 1583=1, 1873=1, 1900=1, 2093=1, 2105=1, 2109=1, 2252=1, 2255=1, 2411=1, 2420=1, 2432=1, 2447=1, 2465=1, 2543=1, 2555=1, 2565=1, 2581=1, 2593=1, 2670=1, 2709=1, 2795=1, 2831=1, 2866=1, 2873=1, 2876=1, 2890=1, 2898=1, 2909=1, 2922=1, 2929=1, 2938=1, 2968=1, 3046=1, 3102=1, 3281=1, 3309=1, 3313=1, 3551=1, 3566=1, 3627=1, 3663=1, 3739=1, 3768=1, 3772=1, 3794=1, 3796=1, 3802=1, 3899=1, 3911=1, 3915=1, 3927=1, 3933=1, 3939=1, 3969=1, 3971=1, 3985=1, 4211=1, 4377=1, 4684=1, 4702=1, 4738=1, 4807=1, 4837=1, 4867=1, 5005=1, 5042=1, 5111=1, 5117=1, 5493=1, 5513=1, 5522=1, 5527=1, 5683=1, 5707=1, 5941=1, 6185=1, 6215=1, 6290=1, 6342=1, 6481=1, 6515=1, 6561=1, 6612=1, 6621=1, 6649=1, 6657=1, 6662=1, 6667=1, 6687=1, 6822=1, 7292=1, 7377=1, 7383=1, 7709=1, 7757=1, 7763=1, 7814=1, 7910=1, 8028=1, 8054=1, 8113=1, 8137=1, 8142=1, 8227=1, 8427=1, 8461=1, 8463=1, 8504=1, 8655=1, 8703=1, 8715=1, 8727=1, 8751=1, 8763=1, 8969=1, 8987=1, 9047=1, 9062=1, 9077=1, 9080=1, 9095=1, 9098=1, 9107=1, 9113=1, 9116=1, 9119=1, 9122=1, 9125=1, 9295=1, 9301=1, 9326=1, 9333=1, 9336=1, 9346=1, 9350=1, 9356=1, 9363=1, 9425=1, 9470=1, 9474=1, 9735=1, 9888=1, 9896=1, 9936=1, 10017=1, 10020=1, 10026=1, 10029=1, 10032=1, 10037=1, 10040=1, 10046=1, 10047=1, 10083=1, 10085=1, 10143=1, 10158=1, 10181=1, 10232=1, 10233=1, 10236=1, 10250=1, 10256=1, 10286=1, 10341=1, 10347=1, 10353=1, 10360=1, 10412=1, 10421=1, 10443=1, 10604=1, 10886=1, 10901=1, 10937=1, 10976=1, 10986=1, 11086=1, 11179=1, 11304=1, 11334=1, 11492=1, 11642=1, 11679=1, 11681=1, 11690=1, 11753=1, 11774=1, 12018=1, 12051=1, 12095=1, 12115=1, 12133=1, 12206=1, 12209=1, 12217=1, 12243=1, 12247=1, 12440=1, 12450=1, 12671=1, 12695=1, 12721=1, 12723=1, 12727=1, 12728=1, 12940=1, 12943=1, 13394=1, 13409=1, 13475=1, 13521=1, 13523=1, 13636=1, 13649=1, 13651=1, 13658=1, 13705=1, 13766=1, 13798=1, 13807=1, 13932=1, 14226=1, 14318=1, 14419=1, 14468=1, 14581=1, 14673=1, 14719=1, 14723=1, 14730=1, 14912=1, 14953=1, 14955=1, 14959=1, 14963=1, 14974=1, 15038=1, 15169=1, 15718=1, 15739=1, 15765=1, 15891=1, 16043=1, 16057=1, 16097=1, 16145=1, 16210=1, 16260=1, 16272=1, 16296=1, 16308=1, 16344=1, 16489=1, 16523=1, 16559=1, 16587=1, 16731=1, 16785=1, 16822=1, 16838=1, 16849=1, 16876=1, 16904=1, 17271=1, 17307=1, 17570=1, 17594=1, 17608=1, 17692=1, 17716=1, 17739=1, 17749=1, 17771=1, 17783=1, 17831=1, 17890=1, 17910=1, 17916=1, 17940=1, 17990=1, 18004=1, 18034=1, 18037=1, 18047=1, 18049=1, 18285=1, 18289=1, 18295=1, 18297=1, 18307=1, 18311=1, 18638=1, 18677=1, 18695=1, 18799=1, 18848=1, 18854=1, 18864=1, 18874=1, 18875=1, 18880=1, 18890=1, 18896=1, 18898=1, 18917=1, 19014=1, 19044=1, 19308=1, 19392=1, 19458=1, 19558=1, 19804=1, 19807=1, 19810=1, 19814=1, 19819=1, 19823=1, 19828=1, 19831=1, 19849=1, 19852=1, 19858=1, 19868=1, 19871=1, 19879=1, 19880=1, 19948=1, 19966=1, 19993=1, 20033=1, 20040=1, 20142=1, 20342=1, 20382=1, 20533=1, 20570=1, 20575=1, 20578=1, 20608=1, 20632=1, 20636=1, 20644=1, 20652=1, 20827=1, 20874=1, 20923=1, 20976=1, 20996=1, 21023=1, 21043=1, 21071=1, 21076=1, 21080=1, 21092=1, 21111=1, 21164=1, 21198=1, 21213=1, 21435=1, 21512=1, 21589=1, 21634=1, 21672=1, 21777=1, 21819=1, 21821=1, 21902=1, 21904=1, 21906=1, 22068=1, 22086=1, 22154=1, 22178=1, 22995=1, 22999=1, 23009=1, 23029=1, 23031=1, 23043=1, 23062=1, 23076=1, 23120=1, 23156=1, 23484=1, 23510=1, 23586=1, 23592=1, 23634=1, 23643=1, 23645=1, 23666=1, 24013=1, 24061=1, 24066=1, 24067=1, 24071=1, 24338=1, 24369=1, 24380=1, 24386=1, 24398=1, 24725=1, 24761=1, 25270=1, 25358=1, 25400=1, 25773=1, 25840=1, 25932=1, 25952=1, 25962=1, 25992=1, 26006=1, 26012=1, 26016=1, 26032=1, 26056=1, 26227=1, 26230=1, 26265=1, 26371=1, 26396=1, 26425=1, 26604=1, 26610=1, 26644=1, 26650=1, 26773=1, 26788=1, 26792=1, 26800=1, 27094=1, 27110=1, 27199=1, 27205=1, 27227=1, 27435=1, 27570=1, 27705=1, 27717=1, 27741=1, 27895=1, 27991=1, 27993=1, 28005=1, 28024=1, 28046=1, 28048=1, 28086=1, 28246=1, 28388=1, 28400=1, 28415=1, 28424=1, 28436=1, 28439=1, 28448=1, 28457=1, 28460=1, 28499=1, 28508=1, 28511=1, 28517=1, 28520=1, 28535=1, 28547=1, 28556=1, 28571=1, 28630=1, 28632=1, 28636=1, 28648=1, 28652=1, 28658=1, 28720=1, 29030=1, 29369=1, 29373=1, 29375=1, 29402=1, 29423=1, 29459=1, 29463=1, 29465=1, 29474=1, 29580=1, 29697=1, 29753=1, 29788=1, 29868=1, 29889=1, 29976=1, 30173=1, 30385=1, 30393=1, 30401=1, 30415=1, 30494=1, 30524=1, 30784=1, 30913=1, 31002=1, 31023=1, 31223=1, 31260=1, 31268=1, 31326=1, 31328=1, 31555=1, 31561=1, 31569=1, 31600=1, 31669=1, 31687=1, 31690=1, 31705=1, 31708=1, 31759=1, 31771=1, 31792=1, 31795=1, 31803=1, 31855=1, 31859=1, 31867=1, 31929=1, 31937=1, 31940=1, 31941=1, 32206=1, 32207=1, 32209=1, 32218=1, 32221=1, 32224=1, 32278=1, 32342=1, 32354=1, 32456=1, 32458=1, 32478=1, 32496=1, 32504=1, 32512=1, 32516=1, 32591=1, 32609=1, 32660=1, 32868=1, 32984=1, 33022=1, 33031=1, 33043=1, 33049=1, 33076=1, 33109=1, 33154=1, 33160=1, 33163=1, 33169=1, 33178=1, 33218=1, 33268=1, 33365=1, 33559=1, 33682=1, 33722=1, 33758=1, 33784=1, 33799=1, 33822=1, 33841=1, 33850=1, 33893=1, 34022=1, 34055=1, 34209=1, 34227=1, 34263=1, 34271=1, 34277=1, 34289=1, 34305=1, 34310=1, 34375=1, 34606=1, 34784=1, 34787=1, 35050=1, 35066=1, 35114=1, 35146=1, 35649=1, 35657=1, 35668=1, 35672=1, 35811=1, 36190=1, 36208=1, 36209=1, 36219=1, 36267=1, 36291=1, 36306=1, 36589=1, 36923=1, 36933=1, 36935=1, 36970=1, 37032=1, 37038=1, 37048=1, 37064=1, 37126=1, 37339=1, 37418=1, 37453=1, 37455=1, 37464=1, 37470=1, 37481=1, 37517=1, 37659=1, 37662=1, 37712=1, 37732=1, 37790=1, 37840=1, 37842=1, 37847=1, 37858=1, 37985=1, 38128=1, 38137=1, 38143=1, 38194=1, 38215=1, 38221=1, 38358=1, 38396=1, 38398=1, 38412=1, 38523=1, 38551=1, 38563=1, 38566=1, 38575=1, 38578=1, 38584=1, 38683=1, 38688=1, 38747=1, 38757=1, 38811=1, 38836=1, 38864=1, 38882=1, 38914=1, 39188=1, 39426=1, 39439=1, 39441=1, 39443=1, 39451=1, 39458=1, 39464=1, 39476=1, 39550=1, 39556=1, 39586=1, 39594=1, 39621=1, 39837=1, 39886=1, 40161=1, 40223=1, 40481=1, 40502=1, 40526=1, 40545=1, 40554=1, 40564=1, 40614=1, 40616=1, 40623=1, 40624=1, 40625=1, 40628=1, 40816=1, 40941=1, 41015=1, 41314=1, 41329=1, 41341=1, 41353=1, 41369=1, 41403=1, 41531=1, 41581=1, 41583=1, 41597=1, 41651=1, 41657=1, 41661=1, 41672=1, 41747=1, 41760=1, 41767=1, 41822=1, 41825=1, 41874=1, 41958=1, 41983=1, 42436=1, 42558=1, 42561=1, 42577=1, 42602=1, 42606=1, 42626=1, 42650=1, 42659=1, 42680=1, 42716=1, 42779=1, 42783=1, 42795=1, 42797=1, 42799=1, 42811=1, 42827=1, 42829=1, 42841=1, 42849=1, 42855=1, 43044=1, 43052=1, 43056=1, 43061=1, 43080=1, 43148=1, 43295=1, 43299=1, 43307=1, 43315=1, 43321=1, 43323=1, 43493=1, 43527=1, 43652=1, 43656=1, 43674=1, 43686=1, 43765=1, 43825=1, 43958=1, 44006=1, 44123=1, 44129=1, 44190=1, 44202=1, 44226=1, 44243=1, 44255=1, 44292=1, 44307=1, 44562=1, 44889=1, 44977=1, 45141=1, 45153=1, 45159=1, 45350=1, 45352=1, 45544=1, 45553=1, 45683=1, 45689=1, 45723=1, 45733=1, 45770=1, 45773=1, 45791=1, 45818=1, 46024=1, 46032=1, 46034=1, 46040=1, 46042=1, 46064=1, 46092=1, 46120=1, 46136=1, 46160=1, 46187=1, 46214=1, 46226=1, 46268=1, 46310=1, 46492=1, 46496=1, 46518=1, 46520=1, 46576=1, 46579=1, 46581=1, 46595=1, 46717=1, 46787=1, 46835=1, 46932=1, 46946=1, 47022=1, 47028=1, 47031=1, 47036=1, 47061=1, 47091=1, 47201=1, 47213=1, 47331=1, 47337=1, 47361=1, 47605=1, 47615=1, 47633=1, 47637=1, 47641=1, 47645=1, 47657=1, 47659=1, 47671=1, 47709=1, 47728=1, 47732=1, 47803=1, 47805=1, 47811=1, 47813=1, 47821=1, 47829=1, 47851=1, 47859=1, 47861=1, 47877=1, 47899=1, 47905=1, 47910=1, 47913=1, 47985=1, 48001=1, 48007=1, 48009=1, 48011=1, 48024=1, 48402=1, 48446=1, 48448=1, 48472=1, 48710=1, 48754=1, 48779=1, 48804=1, 48839=1, 48881=1, 48925=1, 48932=1, 48933=1, 48949=1, 48951=1, 48953=1, 48961=1, 48966=1, 48967=1, 48968=1, 49066=1, 49175=1, 49415=1, 49433=1, 49452=1, 49532=1, 49609=1, 49633=1, 49650=1, 49654=1, 49667=1, 49675=1, 49692=1, 49709=1, 49723=1, 49935=1, 49951=1, 49961=1, 49963=1, 49965=1, 49967=1, 49973=1, 49991=1, 49999=1, 50015=1, 50023=1, 50055=1, 50207=1, 50216=1, 50234=1, 50258=1, 50457=1, 50461=1, 50465=1, 50481=1, 50485=1, 50493=1, 50683=1, 50693=1, 50699=1, 50709=1, 50751=1, 50767=1, 50769=1, 50771=1, 51158=1, 51199=1, 51235=1, 51284=1, 51292=1, 51293=1, 51298=1, 51300=1, 51368=1, 51414=1, 51578=1, 51665=1, 51826=1, 52127=1, 52221=1, 52223=1, 52253=1, 52291=1, 52297=1, 52315=1, 52321=1, 52333=1, 52339=1, 52345=1, 52497=1, 52515=1, 52525=1, 52539=1, 52678=1, 52774=1, 52777=1, 52789=1, 52792=1, 53082=1, 53109=1, 53111=1, 53112=1, 53125=1, 53126=1, 53147=1, 53148=1, 53151=1, 53164=1, 53180=1, 53201=1, 53218=1, 53229=1, 53231=1, 53245=1, 53313=1, 53369=1, 53601=1, 54061=1, 54064=1, 54077=1, 54191=1, 54208=1, 54222=1, 54408=1, 54425=1, 54470=1, 54474=1, 54478=1, 54596=1, 54627=1, 54638=1, 54683=1, 55099=1, 55115=1, 55131=1, 55164=1, 55167=1, 55180=1, 55183=1, 55217=1, 55254=1, 55267=1, 55429=1, 55463=1, 55464=1, 55469=1, 55561=1, 55629=1, 55671=1, 55912=1, 55916=1, 55972=1, 55980=1, 55982=1, 56110=1, 56113=1, 56120=1, 56161=1, 56203=1, 56206=1, 56239=1, 56263=1, 56379=1, 56392=1, 56394=1, 56419=1, 56445=1, 56453=1, 56460=1, 56465=1, 56466=1, 56498=1, 56505=1, 56520=1, 56626=1, 56646=1, 56659=1, 56956=1, 57160=1, 57176=1, 57186=1, 57206=1, 57222=1, 57230=1, 57276=1, 57278=1, 57285=1, 57319=1, 57340=1, 57359=1, 57481=1, 57489=1, 57491=1, 57497=1, 57607=1, 57712=1, 57810=1, 57893=1, 58044=1, 58146=1, 58154=1, 58156=1, 58162=1, 58164=1, 58184=1, 58200=1, 58202=1, 58210=1, 58212=1, 58230=1, 58232=1, 58240=1, 58262=1, 58301=1, 58311=1, 58385=1, 58395=1, 58594=1, 58614=1, 58681=1, 58789=1, 59174=1, 59182=1, 59194=1, 59912=1, 59926=1, 60039=1, 60089=1, 60290=1, 60431=1, 60728=1, 60729=1, 60963=1, 61025=1, 61065=1, 61164=1, 61213=1, 61232=1, 61341=1, 61356=1, 61414=1, 61417=1, 61463=1, 61821=1, 61928=1, 62248=1, 62263=1, 62471=1, 62474=1, 62475=1, 62478=1, 62479=1, 62483=1, 62484=1, 62486=1, 62494=1, 62518=1, 62522=1, 62529=1, 62530=1, 62578=1, 62745=1, 62749=1, 62761=1, 62767=1, 62789=1, 62795=1, 63257=1, 63296=1, 63305=1, 63357=1, 63371=1, 63398=1, 63530=1, 63556=1, 63562=1, 63564=1, 63570=1, 63572=1, 63580=1, 63637=1, 63659=1, 63661=1, 63670=1, 63936=1, 64227=1, 64247=1, 64285=1, 64306=1, 64319=1, 64372=1, 64401=1, 64414=1, 64608=1, 64610=1, 64616=1, 64618=1, 64627=1, 64643=1, 64745=1, 64773=1, 64778=1, 64927=1, 64969=1, 65098=1, 65259=1, 65497=1, 65541=1, 65554=1, 65594=1, 65597=1, 65598=1, 65601=1, 65602=1, 65606=1, 65607=1, 65613=1, 65661=1, 65842=1, 65872=1, 65938=1, 65974=1, 66012=1, 66109=1, 66254=1, 66258=1, 66259=1, 66262=1, 66266=1, 66272=1, 66275=1, 66279=1, 66283=1, 66320=1, 66336=1, 66341=1, 66342=1, 66346=1, 66354=1, 66373=1, 66374=1, 66382=1, 66384=1, 66400=1, 66406=1, 66410=1, 66418=1, 66643=1, 66723=1, 66754=1, 66760=1, 66764=1, 66768=1, 66796=1, 66828=1, 66876=1, 66880=1, 66889=1, 67234=1, 67355=1, 67363=1, 67367=1, 67386=1, 67417=1, 67453=1, 67474=1, 67486=1, 67575=1, 67815=1, 67819=1, 67849=1, 67851=1, 67862=1, 67958=1, 68229=1, 68470=1, 68479=1, 68488=1, 68502=1, 68510=1, 68519=1, 68544=1, 68567=1, 68611=1, 68718=1, 68724=1, 68736=1, 68756=1, 68854=1, 68860=1, 68864=1, 68932=1, 68983=1, 69005=1, 69102=1, 69162=1, 69218=1, 69449=1, 69546=1, 69554=1, 69635=1, 69637=1, 69645=1, 69867=1, 69941=1, 69973=1, 70303=1, 70311=1, 70317=1, 70325=1, 70326=1, 70338=1, 70340=1, 70350=1, 70359=1, 70375=1, 70392=1, 70457=1, 70498=1, 70601=1, 70605=1, 70606=1, 70613=1, 70619=1, 70626=1, 70666=1, 70668=1, 70680=1, 70688=1, 70698=1, 70700=1, 70710=1, 70819=1, 70868=1, 70889=1, 70912=1, 70995=1, 71005=1, 71011=1, 71047=1, 71059=1, 71144=1, 71166=1, 71257=1, 71260=1, 71332=1, 71359=1, 71364=1, 71383=1, 71386=1, 71395=1, 72089=1, 72191=1, 72222=1, 72287=1, 72327=1, 72422=1, 72602=1, 72768=1, 72769=1, 72772=1, 72784=1, 72792=1, 72897=1, 72903=1, 72915=1, 72945=1, 73033=1, 73035=1, 73080=1, 73081=1, 73085=1, 73127=1, 73605=1, 73696=1, 73706=1, 73819=1, 73823=1, 73966=1, 73968=1, 73970=1, 73994=1, 74006=1, 74071=1, 74075=1, 74077=1, 74123=1, 74129=1, 74130=1, 74173=1, 74311=1, 74319=1, 74471=1, 74501=1, 74605=1, 74607=1, 74609=1, 74619=1, 74724=1, 74746=1, 74766=1, 74898=1, 74960=1, 74962=1, 74987=1, 75003=1, 75035=1, 75043=1, 75141=1, 75145=1, 75149=1, 75153=1, 75258=1, 75325=1, 75423=1, 75444=1, 75485=1, 75560=1, 75582=1, 75592=1, 75652=1, 75654=1, 75716=1, 75718=1, 75832=1, 75866=1, 76183=1, 76330=1, 76332=1, 76355=1, 76644=1, 76904=1, 76979=1, 77043=1, 77164=1, 77209=1, 77598=1, 77612=1, 77637=1, 77924=1, 77927=1, 77931=1, 77935=1, 77992=1, 78088=1, 78469=1, 78598=1, 78604=1, 78611=1, 79036=1, 79056=1, 79092=1, 79129=1, 79153=1, 79340=1, 79499=1, 79554=1, 79608=1, 79614=1, 79627=1, 79645=1, 79653=1, 79666=1, 79680=1, 79685=1, 79686=1, 79728=1, 79735=1, 79738=1, 79742=1, 79759=1, 79790=1, 79792=1, 79801=1, 79804=1, 79810=1, 79815=1, 79841=1, 79863=1, 79867=1, 79900=1, 79916=1, 80023=1, 80056=1, 80109=1, 80128=1, 80296=1, 80325=1, 80408=1, 80414=1, 80421=1, 80437=1, 80446=1, 80448=1, 80453=1, 80456=1, 80466=1, 80485=1, 80498=1, 80629=1, 80633=1, 80637=1, 80655=1, 81247=1, 81279=1, 81283=1, 81344=1, 81508=1, 81516=1, 81708=1, 81729=1, 81744=1, 81765=1, 81984=1, 82171=1, 82214=1, 82391=1, 82448=1, 82459=1, 82463=1, 82469=1, 82473=1, 82475=1, 82481=1, 82796=1, 82799=1, 82817=1, 82835=1, 82847=1, 82862=1, 83397=1, 83458=1, 83459=1, 83463=1, 83517=1, 83615=1, 83644=1, 83704=1, 83817=1, 83834=1, 83854=1, 83929=1, 83933=1, 83935=1, 83955=1, 84106=1, 84110=1, 84202=1, 84429=1, 84549=1, 84553=1, 84633=1, 84637=1, 84642=1, 84651=1, 84655=1, 84661=1, 84663=1, 84671=1, 84675=1, 84681=1, 84766=1, 84995=1, 85007=1, 85009=1, 85079=1, 85319=1, 85329=1, 85335=1, 85347=1, 85411=1, 85412=1, 85439=1, 85441=1, 85460=1, 85465=1, 85560=1, 85568=1, 85575=1, 85582=1, 85593=1, 85610=1, 85614=1, 85645=1, 85986=1, 86163=1, 86172=1, 86177=1, 86181=1, 86187=1, 86192=1, 86196=1, 86199=1, 86219=1, 86221=1, 86256=1, 86289=1, 86294=1, 86325=1, 86344=1, 86350=1, 86357=1, 86376=1, 86384=1, 86406=1, 86408=1, 86410=1, 86418=1, 86419=1, 86757=1, 86948=1, 87030=1, 87321=1, 87335=1, 87344=1, 87375=1, 87724=1, 87742=1, 87746=1, 87756=1, 87796=1, 87827=1, 87925=1, 87993=1, 88313=1, 88580=1, 88593=1, 88654=1, 88676=1, 88704=1, 88712=1, 88720=1, 88733=1, 88747=1, 88755=1, 88762=1, 88797=1, 88816=1, 88844=1, 88857=1, 89002=1, 89012=1, 89020=1, 89040=1, 89046=1, 89060=1, 89098=1, 89296=1, 89328=1, 89357=1, 89359=1, 89505=1, 89523=1, 89616=1, 89635=1, 89777=1, 89792=1, 89794=1, 89803=1, 89811=1, 89815=1, 90009=1, 90011=1, 90014=1, 90015=1, 90017=1, 90019=1, 90021=1, 90043=1, 90137=1, 90294=1, 90374=1, 90391=1, 90413=1, 90418=1, 90439=1, 90441=1, 90444=1, 90451=1, 90462=1, 90466=1, 90467=1, 90475=1, 90480=1, 90482=1, 90506=1, 90509=1, 90536=1, 90675=1, 90939=1, 90987=1, 91010=1, 91280=1, 91314=1, 91324=1, 91351=1, 91376=1, 91392=1, 91395=1, 91403=1, 91638=1, 91901=1, 91903=1, 91905=1, 91910=1, 91948=1, 91952=1, 91956=1, 91992=1, 91994=1, 92023=1, 92027=1, 92178=1, 92187=1, 92190=1, 92193=1, 92209=1, 92212=1, 92218=1, 92229=1, 92232=1, 92237=1, 92253=1, 92349=1, 92567=1, 92585=1, 92620=1, 92664=1, 92681=1, 92717=1, 92765=1, 92777=1, 92780=1, 92789=1, 92792=1, 92873=1, 92876=1, 92886=1, 92888=1, 92891=1, 92895=1, 92900=1, 92911=1, 92912=1, 92973=1, 93010=1, 93012=1, 93095=1, 93184=1, 93208=1, 93235=1, 93238=1, 93241=1, 93244=1, 93262=1, 93335=1, 93341=1, 93354=1, 93359=1, 93364=1, 93366=1, 93382=1, 93386=1, 93680=1, 93700=1, 93899=1, 93936=1, 94239=1, 94250=1, 94252=1, 94264=1, 94312=1, 94324=1, 94508=1, 94781=1, 94820=1, 95054=1, 95074=1, 95082=1, 95132=1, 95328=1, 95348=1, 95395=1, 95625=1, 95678=1, 95700=1, 95708=1, 95963=1, 95993=1, 95995=1, 96418=1, 96470=1, 96479=1, 96487=1, 96508=1, 96514=1, 96526=1, 96608=1, 96983=1, 97133=1, 97193=1, 97196=1, 97213=1, 97226=1, 97307=1, 97325=1, 97331=1, 97334=1, 97374=1, 97378=1, 97392=1, 97471=1, 97617=1, 97641=1, 97749=1, 98000=1, 98127=1, 98134=1, 98145=1, 98241=1, 98319=1, 98943=1, 99019=1, 99211=1, 99229=1, 99230=1, 99233=1, 99273=1, 99281=1, 99286=1, 99729=1, 99789=1, 99828=1, 99875=1, 99880=1, 99988=1, 100006=1, 100147=1, 100167=1, 100207=1, 100229=1, 100230=1, 100231=1, 100239=1, 100325=1, 100333=1, 100788=1, 100944=1, 101071=1, 101099=1, 101104=1, 101177=1, 101274=1, 101280=1, 101284=1, 101304=1, 101306=1, 101472=1, 101496=1, 101502=1, 101508=1, 101914=1, 101928=1, 101930=1, 102052=1, 102085=1, 102094=1, 102245=1, 102721=1, 102835=1, 102947=1, 102956=1, 102996=1, 103020=1, 103084=1, 103089=1, 103134=1, 103209=1, 103451=1, 103465=1, 103489=1, 103579=1, 103652=1, 103689=1, 103693=1, 103739=1, 103769=1, 103783=1, 103821=1, 103823=1, 103826=1, 103830=1, 103834=1, 104000=1, 104004=1, 104015=1, 104047=1, 104076=1, 104398=1, 104400=1, 104702=1, 104711=1, 104791=1, 104831=1, 104847=1, 104861=1, 104868=1, 104943=1, 104974=1, 105046=1, 105356=1, 105357=1, 105377=1, 105579=1, 105592=1, 105735=1, 105978=1, 105985=1, 106031=1, 106032=1, 106033=1, 106037=1, 106040=1, 106278=1, 106279=1, 106428=1, 106452=1, 106485=1, 106574=1, 106809=1, 106833=1, 106839=1, 106893=1, 106989=1, 106995=1, 107249=1, 107289=1, 107310=1, 107323=1, 107356=1, 107358=1, 107431=1, 107508=1, 107513=1, 107607=1, 107864=1, 107877=1, 107970=1, 108168=1, 108183=1, 108329=1, 108340=1, 108424=1, 108431=1, 108435=1, 108488=1, 108492=1, 108874=1, 108906=1, 108930=1, 108952=1, 108975=1, 108999=1, 109023=1, 109030=1, 109032=1, 109046=1, 109355=1, 109358=1, 109364=1, 109367=1, 109370=1, 109510=1, 109547=1, 109549=1, 109711=1, 109721=1, 109731=1, 109749=1, 109751=1, 109754=1, 109761=1, 109768=1, 109810=1, 109817=1, 109824=1, 109852=1, 109891=1, 109894=1, 110063=1, 110080=1, 110084=1, 110315=1, 110331=1, 110655=1, 110691=1, 110768=1, 110784=1, 111024=1, 111050=1, 111120=1, 111144=1, 111544=1, 111554=1, 111558=1, 111581=1, 111784=1, 111808=1, 111845=1, 111848=1, 111852=1, 111856=1, 111864=1, 111868=1, 111872=1, 111889=1, 111896=1, 111900=1, 111920=1, 112033=1, 112521=1, 112527=1, 112530=1, 112549=1, 112555=1, 112557=1, 112830=1, 112985=1, 112991=1, 113021=1, 113153=1, 113204=1, 113223=1, 113458=1, 113464=1, 113498=1, 113530=1, 113533=1, 113585=1, 113626=1, 113628=1, 113630=1, 113648=1, 113652=1, 113655=1, 113657=1, 113660=1, 113662=1, 113665=1, 113674=1, 113686=1, 113692=1, 113698=1, 113701=1, 113752=1, 113753=1, 113767=1, 113788=1, 113792=1, 113816=1, 114014=1, 114021=1, 114028=1, 114102=1, 114158=1, 114170=1, 114219=1, 114412=1, 114414=1, 114426=1, 114437=1, 114438=1, 114440=1, 114456=1, 114463=1, 114473=1, 114476=1, 114482=1, 114488=1, 114489=1, 114495=1, 114496=1, 114499=1, 114512=1, 114516=1, 114527=1, 114542=1, 114554=1, 114557=1, 114559=1, 114568=1, 114570=1, 114576=1, 114586=1, 114587=1, 114589=1, 114591=1, 114595=1, 114596=1, 114600=1, 114603=1, 114607=1, 114619=1, 114620=1, 114630=1, 114633=1, 114634=1, 114640=1, 114653=1, 114695=1, 114699=1, 114748=1, 114755=1, 114760=1, 114768=1, 114773=1, 114800=1, 114808=1, 114841=1, 115060=1, 115283=1, 115554=1, 115601=1, 115612=1, 115664=1, 115688=1, 115692=1, 115695=1, 115697=1, 115713=1, 115716=1, 115718=1, 115721=1, 115734=1, 115745=1, 115748=1, 115764=1, 115771=1, 115773=1, 115780=1, 116262=1, 116266=1, 116284=1, 116294=1, 116308=1, 116316=1, 116318=1, 116554=1, 116574=1, 116579=1, 116601=1, 116616=1, 116630=1, 116638=1, 116646=1, 116650=1, 116653=1, 116655=1, 116668=1, 116678=1, 116683=1, 116701=1, 116702=1, 116703=1, 116896=1, 117361=1, 117367=1, 117370=1, 117382=1, 117394=1, 117397=1, 117529=1, 117542=1, 117584=1, 117636=1, 117638=1, 117644=1, 117656=1, 117736=1, 117751=1, 117782=1, 117837=1, 117871=1, 118072=1, 118181=1, 118185=1, 118198=1, 118204=1, 118206=1, 118303=1, 118372=1, 118378=1, 118414=1, 118427=1, 118511=1, 118534=1, 118559=1, 118576=1, 118582=1, 118587=1, 118598=1, 118604=1, 118612=1, 118613=1, 118626=1, 118628=1, 118632=1, 118634=1, 118643=1, 118648=1, 118703=1, 118720=1, 118836=1, 118858=1, 118908=1, 118974=1, 119125=1, 119278=1, 119437=1, 119445=1, 119625=1, 119628=1, 119634=1, 119659=1, 119669=1, 119691=1, 119721=1, 119728=1, 119730=1, 119741=1, 119742=1, 119797=1, 119813=1, 119822=1, 119823=1, 119826=1, 119842=1, 119854=1, 119857=1, 119865=1, 120173=1, 120185=1, 120599=1, 120605=1, 120615=1, 120617=1, 120627=1, 120631=1, 120637=1, 120647=1, 120659=1, 120711=1, 120719=1, 120724=1, 120770=1, 120798=1, 120805=1, 121101=1, 121176=1, 121219=1, 121227=1, 121244=1, 121259=1, 121261=1, 121629=1, 121638=1, 121685=1, 121686=1, 121689=1, 121696=1, 121697=1, 121717=1, 121782=1, 121811=1, 122515=1, 122516=1, 122528=1, 122549=1, 122567=1, 122645=1, 122767=1, 122768=1, 122772=1, 122774=1, 122775=1, 122779=1, 122780=1, 122783=1, 122796=1, 122811=1, 122812=1, 122958=1, 123024=1, 123220=1, 123224=1, 123378=1, 123391=1, 123486=1, 123502=1, 123519=1, 123577=1, 123588=1, 123600=1, 123602=1, 123604=1, 123673=1, 123724=1, 123752=1, 123800=1, 123958=1, 124342=1, 124398=1, 124495=1, 124499=1, 124505=1, 124519=1, 124529=1, 124536=1, 124738=1, 124774=1, 124782=1, 124784=1, 125481=1, 125487=1, 125493=1, 125575=1, 125661=1, 125879=1, 125917=1, 126169=1, 126199=1, 126202=1, 126358=1, 126372=1, 126518=1, 126533=1, 126539=1, 126541=1, 126544=1, 126729=1, 126757=1, 126759=1, 126921=1, 127152=1, 127161=1, 127167=1, 127206=1, 127209=1, 127214=1, 127216=1, 127219=1, 127221=1, 127224=1, 127228=1, 127232=1, 127234=1, 127243=1, 127251=1, 127256=1, 127261=1, 127268=1, 127664=1, 127682=1, 127697=1, 127740=1, 127767=1, 127788=1, 127800=1, 127813=1, 127828=1, 127864=1, 128153=1, 128183=1, 128185=1, 128192=1, 128204=1, 128206=1, 128207=1, 128213=1, 128216=1, 128227=1, 128228=1, 128230=1, 128234=1, 128243=1, 128253=1, 128254=1, 128255=1, 128540=1, 128546=1, 128567=1, 128569=1, 128611=1, 128627=1, 128635=1, 128641=1, 128643=1, 128651=1, 128657=1, 128659=1, 128661=1, 128663=1, 128862=1, 128873=1, 128880=1, 128892=1, 128898=1, 128902=1, 128906=1, 128912=1, 128929=1, 128945=1, 128972=1, 128989=1, 129047=1, 129076=1, 129133=1, 129139=1, 129141=1, 129155=1, 129157=1, 129158=1, 129166=1, 129172=1, 129195=1, 129198=1, 129206=1, 129387=1, 129395=1, 129401=1, 129447=1, 129452=1, 129465=1, 129472=1, 129692=1, 129693=1, 129709=1, 129710=1, 129712=1, 129735=1, 129744=1, 129745=1, 129756=1, 129760=1, 129771=1, 129847=1, 129870=1, 129880=1, 129882=1, 129888=1, 129916=1, 129922=1, 129924=1, 129931=1, 129938=1, 129944=1, 129965=1, 129989=1, 130015=1, 130114=1, 130126=1, 130211=1, 130251=1, 130265=1, 130278=1, 130307=1, 130335=1, 130340=1, 130348=1, 130361=1, 130393=1, 130396=1, 130500=1, 130504=1, 130534=1, 130612=1, 130620=1, 130752=1, 130760=1, 130761=1, 130763=1, 130774=1, 130782=1, 130784=1, 130792=1, 130793=1, 130795=1, 130802=1, 130810=1, 130860=1, 130869=1, 130875=1, 130905=1, 130965=1, 131043=1, 131135=1, 131270=1, 131419=1, 131481=1, 131827=1, 131851=1, 131861=1, 131975=1, 131979=1, 131987=1, 132007=1, 132011=1, 132019=1, 132052=1, 132157=1, 132241=1, 132473=1, 132481=1, 132499=1, 132507=1, 132543=1, 132583=1, 132872=1, 132911=1, 132926=1, 132957=1, 132960=1, 133071=1, 133079=1, 133143=1, 133367=1, 133415=1, 133640=1, 133780=1, 133786=1, 133806=1, 134034=1, 134047=1, 134104=1, 134138=1, 134141=1, 134297=1, 134345=1, 134673=1, 134697=1, 134715=1, 134719=1, 134721=1, 134737=1, 134747=1, 134749=1, 134755=1, 134761=1, 134763=1, 134767=1, 134781=1, 134787=1, 134789=1, 134828=1, 134830=1, 134832=1, 134928=1, 135027=1, 135773=1, 135775=1, 135777=1, 135788=1, 135808=1, 135877=1, 135881=1, 135883=1, 135906=1, 135951=1, 135981=1, 136002=1, 136125=1, 136131=1, 136198=1, 136204=1, 136334=1, 136335=1, 136399=1, 136786=1, 136795=1, 136799=1, 136833=1, 136841=1, 136845=1, 136855=1, 136870=1, 136906=1, 136927=1, 136931=1, 136935=1, 136937=1, 136991=1, 136998=1, 137016=1, 137025=1, 137047=1, 137048=1, 137083=1, 137096=1, 137143=1, 137619=1, 137697=1, 137723=1, 137780=1, 137792=1, 137801=1, 137810=1, 137813=1, 137819=1, 137976=1, 137978=1, 137980=1, 138148=1, 138181=1, 138191=1, 138193=1, 138210=1, 138448=1, 138485=1, 138654=1, 138682=1, 138854=1, 138858=1, 138862=1, 138867=1, 138871=1, 138873=1, 138875=1, 138877=1, 138881=1, 138883=1, 138885=1, 138895=1, 138907=1, 138910=1, 138953=1, 138958=1, 139010=1, 139046=1, 139054=1, 139060=1, 139330=1, 139473=1, 139503=1, 139528=1, 139532=1, 139590=1, 139838=1, 140051=1, 140071=1, 140110=1, 140120=1, 140140=1, 140143=1, 140187=1, 140436=1, 140477=1, 140516=1, 141007=1, 141017=1, 141045=1, 141105=1, 141384=1, 141391=1, 141468=1, 141475=1}
Interrupted probabilistic random walk after 2284 steps, run timeout after 30088 ms. (steps per millisecond=0 ) properties seen :{356=1, 1420=1, 6736=1, 6764=1, 9275=1, 10276=1, 10365=1, 11947=1, 18561=1, 31957=1, 35056=1, 37425=1, 38349=1, 42692=1, 53179=1, 69474=1, 119450=1}
Probabilistic random walk after 2284 steps, saw 1920 distinct states, run finished after 30090 ms. (steps per millisecond=0 ) properties seen :{356=1, 1420=1, 6736=1, 6764=1, 9275=1, 10276=1, 10365=1, 11947=1, 18561=1, 31957=1, 35056=1, 37425=1, 38349=1, 42692=1, 53179=1, 69474=1, 119450=1}
Running SMT prover for 138861 properties.
[2022-05-23 07:55:39] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
// Phase 1: matrix 81238 rows 1381 cols
[2022-05-23 07:55:39] [INFO ] Computed 19 place invariants in 497 ms
[2022-05-23 07:56:05] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 138861 Parikh solutions to 1 different solutions.
Support contains 1380 out of 1381 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1381/1381 places, 144369/144369 transitions.
Applied a total of 0 rules in 953 ms. Remains 1381 /1381 variables (removed 0) and now considering 144369/144369 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1381/1381 places, 144369/144369 transitions.
[2022-05-23 07:56:14] [INFO ] Flatten gal took : 6056 ms
[2022-05-23 07:56:19] [INFO ] Flatten gal took : 5252 ms
[2022-05-23 07:56:20] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2563382403250752244.gal : 558 ms
[2022-05-23 07:56:21] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality1127311436395250091.prop : 284 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/ReachabilityCardinality2563382403250752244.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality1127311436395250091.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/ReachabilityCardinality2563382403250752244.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality1127311436395250091.prop --nowitness --gen-order FOLLOW
Detected timeout of ITS tools.
[2022-05-23 07:56:42] [INFO ] Flatten gal took : 4912 ms
[2022-05-23 07:56:42] [INFO ] Applying decomposition
[2022-05-23 07:56:47] [INFO ] Flatten gal took : 5235 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/graph15281787644465957600.txt, -o, /tmp/graph15281787644465957600.bin, -w, /tmp/graph15281787644465957600.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/graph15281787644465957600.bin, -l, -1, -v, -w, /tmp/graph15281787644465957600.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-23 07:57:03] [INFO ] Decomposing Gal with order
[2022-05-23 07:57:03] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-23 07:57:17] [INFO ] Removed a total of 435321 redundant transitions.
[2022-05-23 07:57:19] [INFO ] Flatten gal took : 8941 ms
[2022-05-23 07:57:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 2175 labels/synchronizations in 15168 ms.
[2022-05-23 07:57:53] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality636402602039048825.gal : 451 ms
[2022-05-23 07:57:53] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11493859588134505911.prop : 312 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/ReachabilityCardinality636402602039048825.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality11493859588134505911.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/ReachabilityCardinality636402602039048825.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality11493859588134505911.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin1495016725458990681
[2022-05-23 07:58:11] [INFO ] Built C files in 2314ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin1495016725458990681
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/ltsmin1495016725458990681]
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/ltsmin1495016725458990681] 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/ltsmin1495016725458990681] 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 1482 steps, including 0 resets, run timeout after 30008 ms. (steps per millisecond=0 ) properties seen :{144=1, 152=1, 184=1, 238=1, 372=1, 378=1, 449=1, 503=1, 577=1, 612=1, 660=1, 842=1, 1045=1, 1146=1, 1152=1, 1158=1, 1171=1, 1194=1, 1266=1, 1434=1, 1460=1, 1478=1, 1522=1, 1541=1, 1552=1, 1629=1, 1846=1, 2009=1, 2124=1, 2134=1, 2236=1, 2389=1, 2563=1, 2574=1, 2577=1, 2585=1, 2587=1, 2594=1, 2600=1, 2613=1, 2821=1, 2822=1, 2826=1, 2845=1, 2846=1, 2849=1, 2869=1, 2879=1, 2881=1, 2934=1, 2946=1, 2992=1, 3001=1, 3117=1, 3606=1, 3657=1, 3660=1, 3687=1, 3719=1, 3723=1, 3848=1, 3862=1, 3883=1, 3889=1, 3924=1, 3962=1, 3983=1, 4010=1, 4026=1, 4142=1, 4233=1, 4245=1, 4672=1, 4763=1, 4807=1, 4955=1, 4989=1, 4992=1, 5001=1, 5024=1, 5038=1, 5053=1, 5065=1, 5068=1, 5071=1, 5301=1, 5383=1, 5424=1, 5426=1, 5552=1, 5562=1, 5572=1, 5638=1, 5652=1, 5725=1, 5728=1, 5743=1, 5753=1, 5794=1, 5796=1, 5848=1, 5862=1, 6095=1, 6127=1, 6130=1, 6177=1, 6349=1, 6384=1, 6478=1, 6506=1, 6597=1, 6603=1, 6642=1, 6895=1, 7275=1, 7982=1, 7999=1, 8045=1, 8059=1, 8063=1, 8081=1, 8085=1, 8089=1, 8093=1, 8223=1, 8231=1, 8533=1, 8873=1, 8888=1, 8938=1, 8962=1, 8981=1, 9113=1, 9115=1, 9129=1, 9164=1, 9166=1, 9180=1, 9184=1, 9207=1, 9282=1, 9286=1, 9302=1, 9479=1, 9498=1, 9804=1, 9832=1, 9851=1, 9862=1, 9866=1, 9873=1, 9876=1, 9901=1, 9905=1, 9922=1, 9966=1, 9998=1, 10049=1, 10073=1, 10097=1, 10314=1, 10339=1, 10495=1, 10650=1, 10671=1, 10694=1, 10735=1, 10792=1, 10817=1, 10889=1, 10918=1, 10939=1, 11111=1, 11446=1, 11449=1, 11455=1, 11488=1, 11515=1, 11536=1, 11715=1, 11742=1, 11836=1, 11958=1, 12220=1, 12229=1, 12398=1, 12429=1, 12434=1, 12450=1, 12492=1, 12500=1, 12561=1, 12584=1, 13307=1, 13327=1, 13339=1, 13424=1, 13435=1, 13436=1, 13529=1, 13541=1, 13684=1, 14078=1, 14115=1, 14138=1, 14171=1, 14309=1, 14315=1, 14338=1, 14677=1, 14702=1, 14719=1, 14748=1, 14783=1, 14847=1, 14902=1, 15316=1, 15459=1, 15471=1, 15646=1, 15727=1, 15729=1, 15737=1, 16191=1, 16262=1, 16516=1, 16538=1, 16557=1, 16564=1, 16743=1, 16749=1, 16767=1, 16838=1, 17155=1, 17243=1, 17278=1, 17330=1, 17395=1, 17489=1, 17727=1, 17992=1, 18028=1, 18094=1, 18466=1, 18483=1, 18525=1, 18529=1, 18556=1, 18813=1, 18977=1, 19019=1, 19025=1, 19158=1, 19303=1, 19393=1, 19421=1, 19490=1, 19508=1, 19511=1, 19518=1, 19539=1, 19544=1, 19550=1, 19561=1, 19579=1, 19585=1, 19684=1, 19795=1, 19923=1, 19941=1, 19962=1, 20035=1, 20056=1, 20083=1, 20205=1, 20286=1, 20403=1, 20425=1, 20541=1, 20609=1, 20635=1, 20652=1, 20668=1, 20687=1, 20712=1, 20823=1, 20828=1, 20832=1, 20850=1, 20947=1, 21147=1, 21151=1, 21154=1, 21156=1, 21162=1, 21167=1, 21177=1, 21479=1, 21510=1, 21520=1, 21524=1, 21563=1, 21635=1, 21664=1, 21665=1, 21676=1, 22155=1, 22179=1, 22206=1, 22252=1, 22288=1, 22300=1, 22404=1, 22842=1, 22866=1, 22918=1, 23233=1, 23254=1, 23470=1, 23913=1, 23915=1, 23961=1, 23964=1, 23969=1, 24039=1, 24050=1, 24432=1, 24434=1, 24460=1, 24476=1, 25011=1, 25025=1, 25028=1, 25421=1, 25489=1, 25494=1, 25530=1, 25538=1, 25773=1, 25984=1, 26003=1, 26153=1, 26248=1, 26264=1, 26324=1, 26330=1, 26335=1, 26645=1, 26673=1, 26681=1, 26863=1, 27036=1, 27109=1, 27111=1, 27483=1, 27502=1, 27520=1, 27526=1, 27823=1, 27895=1, 27915=1, 27937=1, 28003=1, 28006=1, 28014=1, 28037=1, 28099=1, 28133=1, 28140=1, 28458=1, 28502=1, 28671=1, 28695=1, 28711=1, 28739=1, 28753=1, 28841=1, 28887=1, 28914=1, 28994=1, 29076=1, 29102=1, 29138=1, 29166=1, 29185=1, 29197=1, 29262=1, 29267=1, 29277=1, 29284=1, 29423=1, 29457=1, 29478=1, 29841=1, 29925=1, 30263=1, 30281=1, 30289=1, 30340=1, 30475=1, 30580=1, 30732=1, 30780=1, 30784=1, 30794=1, 30909=1, 30947=1, 30973=1, 31008=1, 31011=1, 31022=1, 31036=1, 31087=1, 31227=1, 31385=1, 31413=1, 31426=1, 31551=1, 31569=1, 31590=1, 31643=1, 31650=1, 31786=1, 31836=1, 31874=1, 31877=1, 31883=1, 31905=1, 31908=1, 31914=1, 31916=1, 31927=1, 31929=1, 32014=1, 32027=1, 32246=1, 32466=1, 32501=1, 32530=1, 32540=1, 32546=1, 32560=1, 32575=1, 32660=1, 32769=1, 32773=1, 32828=1, 32939=1, 33157=1, 33251=1, 33259=1, 33286=1, 33408=1, 33459=1, 33475=1, 33481=1, 33521=1, 33575=1, 33612=1, 33662=1, 33670=1, 33671=1, 33673=1, 33687=1, 33883=1, 33923=1, 33969=1, 33993=1, 34007=1, 34078=1, 34114=1, 34152=1, 34160=1, 34200=1, 34270=1, 34282=1, 34347=1, 34507=1, 34867=1, 35008=1, 35030=1, 35040=1, 35186=1, 35201=1, 35289=1, 35545=1, 35576=1, 35609=1, 35808=1, 35979=1, 35999=1, 36338=1, 36443=1, 36684=1, 36717=1, 36719=1, 36732=1, 36734=1, 36736=1, 36743=1, 36745=1, 36779=1, 36834=1, 36852=1, 36862=1, 36868=1, 36903=1, 37091=1, 37102=1, 37109=1, 37350=1, 37432=1, 37489=1, 37501=1, 37516=1, 37676=1, 37684=1, 37707=1, 37738=1, 37760=1, 37762=1, 37845=1, 37922=1, 38136=1, 38163=1, 38165=1, 38483=1, 38489=1, 38747=1, 38749=1, 38751=1, 38761=1, 38813=1, 38845=1, 38855=1, 38856=1, 38861=1, 38906=1, 39219=1, 39519=1, 39615=1, 39784=1, 39801=1, 39816=1, 39822=1, 39849=1, 39851=1, 39901=1, 39902=1, 39932=1, 39950=1, 39953=1, 40035=1, 40109=1, 40120=1, 40137=1, 40186=1, 40231=1, 40239=1, 40246=1, 40278=1, 40281=1, 40294=1, 40618=1, 40852=1, 40875=1, 40989=1, 41001=1, 41153=1, 41227=1, 41233=1, 41481=1, 41622=1, 41642=1, 41659=1, 41667=1, 41859=1, 41934=1, 41937=1, 42021=1, 42036=1, 42041=1, 42079=1, 42082=1, 42084=1, 42099=1, 42107=1, 42116=1, 42117=1, 42128=1, 42140=1, 42148=1, 42160=1, 42178=1, 42190=1, 42259=1, 42286=1, 42329=1, 42441=1, 42688=1, 42731=1, 42733=1, 42738=1, 42743=1, 42745=1, 42747=1, 42759=1, 42765=1, 42859=1, 42861=1, 42865=1, 42871=1, 42873=1, 42929=1, 43009=1, 43052=1, 43065=1, 43099=1, 43105=1, 43106=1, 43108=1, 43109=1, 43111=1, 43122=1, 43131=1, 43242=1, 43284=1, 43318=1, 43345=1, 43363=1, 43761=1, 43838=1, 43951=1, 43965=1, 44035=1, 44338=1, 44485=1, 44502=1, 44508=1, 44538=1, 44551=1, 44708=1, 44840=1, 44907=1, 44910=1, 45144=1, 45148=1, 45165=1, 45262=1, 45398=1, 45489=1, 45525=1, 45643=1, 45725=1, 45752=1, 45776=1, 45780=1, 45782=1, 45792=1, 45955=1, 45967=1, 45975=1, 45995=1, 45998=1, 46093=1, 46132=1, 46217=1, 46339=1, 46349=1, 46422=1, 46434=1, 46766=1, 46768=1, 46776=1, 46837=1, 46842=1, 46910=1, 46942=1, 46944=1, 46951=1, 46975=1, 46989=1, 47028=1, 47090=1, 47105=1, 47119=1, 47137=1, 47154=1, 47560=1, 47872=1, 47878=1, 47880=1, 47907=1, 48021=1, 48028=1, 48041=1, 48051=1, 48072=1, 48093=1, 48121=1, 48127=1, 48146=1, 48241=1, 48598=1, 48611=1, 48770=1, 49004=1, 49007=1, 49016=1, 49072=1, 49085=1, 49110=1, 49112=1, 49116=1, 49248=1, 49314=1, 49340=1, 49707=1, 49731=1, 49769=1, 49793=1, 49901=1, 50168=1, 50193=1, 50216=1, 50277=1, 50279=1, 50289=1, 50292=1, 50412=1, 50670=1, 50725=1, 50790=1, 50933=1, 51130=1, 51132=1, 51138=1, 51140=1, 51152=1, 51156=1, 51201=1, 51221=1, 51256=1, 51271=1, 51300=1, 51303=1, 51331=1, 51347=1, 51541=1, 51567=1, 51836=1, 51860=1, 51884=1, 52002=1, 52054=1, 52087=1, 52163=1, 52169=1, 52177=1, 52233=1, 52298=1, 52968=1, 52981=1, 52991=1, 53035=1, 53502=1, 53513=1, 53525=1, 53984=1, 54342=1, 54405=1, 54569=1, 54633=1, 54867=1, 54869=1, 54870=1, 54871=1, 54872=1, 54876=1, 54916=1, 54919=1, 55076=1, 55100=1, 55404=1, 55446=1, 55448=1, 55719=1, 55849=1, 55862=1, 55931=1, 56172=1, 56174=1, 56276=1, 56501=1, 56504=1, 56523=1, 56633=1, 56636=1, 56708=1, 57135=1, 57154=1, 57159=1, 57174=1, 57178=1, 57250=1, 57774=1, 57932=1, 57942=1, 57984=1, 58019=1, 58023=1, 58034=1, 58059=1, 58062=1, 58859=1, 58871=1, 58928=1, 58934=1, 58960=1, 58999=1, 59009=1, 59295=1, 59304=1, 59307=1, 59622=1, 59646=1, 59804=1, 59871=1, 60195=1, 60296=1, 60319=1, 60334=1, 60468=1, 60646=1, 60654=1, 60688=1, 60734=1, 60749=1, 60774=1, 60873=1, 61330=1, 61332=1, 61338=1, 61368=1, 61373=1, 61437=1, 61596=1, 61609=1, 61612=1, 61849=1, 62154=1, 62186=1, 62494=1, 62794=1, 62795=1, 62798=1, 63011=1, 63032=1, 63168=1, 63182=1, 63185=1, 63193=1, 63202=1, 63209=1, 63221=1, 63362=1, 63667=1, 63739=1, 63760=1, 63894=1, 63907=1, 63919=1, 63933=1, 63937=1, 63943=1, 63944=1, 64114=1, 64327=1, 64371=1, 64391=1, 64393=1, 64399=1, 64420=1, 64421=1, 64641=1, 64667=1, 64676=1, 64731=1, 64919=1, 64921=1, 65093=1, 65099=1, 65133=1, 65155=1, 65398=1, 65411=1, 65485=1, 65489=1, 65495=1, 65531=1, 65535=1, 65541=1, 65549=1, 65552=1, 65927=1, 65931=1, 65955=1, 65986=1, 65998=1, 66058=1, 66135=1, 66328=1, 66368=1, 66395=1, 66419=1, 66554=1, 66564=1, 66577=1, 66581=1, 66586=1, 66740=1, 66743=1, 66849=1, 66922=1, 67080=1, 67091=1, 67099=1, 67102=1, 67135=1, 67176=1, 67177=1, 67225=1, 67641=1, 67645=1, 67746=1, 68345=1, 68347=1, 68484=1, 68646=1, 68679=1, 68691=1, 68707=1, 68723=1, 69006=1, 69038=1, 69042=1, 69048=1, 69056=1, 69154=1, 69203=1, 69375=1, 69392=1, 69394=1, 69508=1, 69637=1, 69656=1, 69661=1, 69662=1, 69668=1, 69669=1, 69686=1, 69760=1, 69900=1, 69965=1, 70144=1, 70196=1, 70220=1, 70253=1, 70267=1, 70676=1, 70801=1, 70947=1, 70950=1, 70953=1, 70955=1, 70972=1, 70985=1, 70990=1, 71261=1, 71294=1, 71428=1, 71431=1, 71511=1, 71538=1, 71603=1, 71633=1, 71636=1, 71639=1, 71717=1, 71719=1, 71720=1, 71741=1, 71775=1, 71941=1, 72182=1, 72190=1, 72225=1, 72235=1, 72242=1, 72310=1, 72422=1, 72451=1, 72460=1, 72602=1, 72616=1, 72669=1, 72690=1, 72825=1, 72906=1, 72909=1, 73070=1, 73093=1, 73116=1, 73134=1, 73156=1, 73321=1, 73323=1, 73344=1, 73355=1, 73384=1, 73424=1, 73555=1, 73622=1, 73624=1, 73632=1, 73637=1, 73752=1, 73871=1, 73905=1, 74167=1, 74176=1, 74178=1, 74204=1, 74275=1, 74279=1, 74291=1, 74297=1, 74351=1, 74385=1, 74477=1, 74558=1, 74590=1, 74670=1, 74824=1, 74870=1, 74906=1, 74916=1, 74929=1, 74945=1, 75002=1, 75455=1, 75542=1, 75546=1, 75550=1, 75630=1, 75947=1, 75948=1, 76268=1, 76281=1, 76520=1, 76588=1, 77198=1, 77610=1, 77667=1, 77699=1, 77935=1, 78148=1, 78151=1, 78234=1, 78250=1, 78285=1, 78295=1, 78297=1, 78310=1, 78311=1, 78340=1, 78666=1, 78955=1, 78962=1, 78982=1, 78985=1, 79136=1, 79152=1, 79886=1, 79964=1, 80013=1, 80268=1, 80315=1, 80375=1, 80378=1, 80426=1, 80447=1, 80477=1, 80491=1, 80809=1, 80845=1, 80856=1, 81194=1, 81234=1, 81245=1, 81312=1, 81334=1, 81689=1, 81857=1, 81882=1, 81900=1, 81935=1, 82190=1, 82208=1, 82276=1, 82278=1, 82282=1, 82338=1, 82354=1, 82391=1, 82410=1, 82424=1, 82455=1, 82463=1, 82493=1, 82569=1, 82642=1, 82673=1, 82679=1, 82693=1, 82697=1, 82899=1, 83053=1, 83056=1, 83058=1, 83071=1, 83073=1, 83124=1, 83227=1, 83229=1, 83307=1, 83313=1, 83331=1, 83335=1, 83361=1, 83418=1, 83441=1, 83467=1, 83481=1, 83534=1, 83571=1, 83736=1, 83775=1, 83779=1, 83790=1, 83811=1, 83828=1, 83831=1, 83839=1, 83842=1, 83845=1, 83870=1, 83877=1, 83903=1, 83978=1, 84113=1, 84172=1, 84225=1, 84279=1, 84299=1, 84472=1, 84586=1, 84597=1, 84610=1, 84629=1, 84639=1, 84702=1, 84717=1, 84735=1, 84753=1, 84759=1, 84795=1, 85070=1, 85073=1, 85134=1, 85158=1, 85168=1, 85224=1, 85227=1, 85730=1, 85762=1, 85910=1, 85975=1, 85985=1, 86004=1, 86097=1, 86105=1, 86141=1, 86199=1, 86200=1, 86201=1, 86209=1, 86211=1, 86215=1, 86449=1, 86483=1, 86523=1, 86628=1, 86923=1, 86967=1, 87271=1, 87302=1, 87339=1, 87355=1, 87379=1, 87381=1, 87396=1, 87671=1, 87711=1, 87757=1, 87778=1, 87791=1, 87795=1, 87812=1, 87832=1, 87902=1, 87988=1, 88120=1, 88189=1, 88327=1, 88347=1, 88388=1, 88715=1, 88771=1, 88856=1, 89524=1, 89533=1, 89572=1, 89635=1, 89726=1, 89918=1, 89921=1, 89942=1, 89965=1, 89966=1, 89968=1, 90196=1, 90224=1, 90232=1, 90233=1, 90239=1, 90330=1, 90338=1, 90354=1, 90418=1, 90484=1, 90486=1, 90488=1, 90492=1, 90508=1, 90514=1, 90549=1, 90620=1, 90626=1, 90764=1, 90802=1, 90850=1, 90908=1, 90962=1, 90997=1, 91044=1, 91067=1, 91077=1, 91164=1, 91170=1, 91171=1, 91270=1, 91448=1, 91486=1, 92360=1, 92397=1, 92398=1, 92526=1, 92562=1, 92563=1, 93587=1, 93591=1, 93604=1, 93852=1, 93906=1, 93910=1, 93960=1, 93963=1, 93964=1, 94161=1, 94194=1, 94623=1, 94642=1, 94810=1, 94845=1, 94866=1, 95181=1, 95336=1, 95357=1, 95364=1, 95366=1, 95376=1, 95381=1, 95424=1, 95434=1, 95449=1, 95467=1, 95775=1, 96209=1, 96258=1, 96259=1, 96265=1, 96338=1, 96359=1, 96376=1, 96539=1, 97109=1, 97369=1, 97384=1, 97418=1, 97422=1, 97482=1, 97902=1, 97913=1, 97946=1, 97985=1, 98175=1, 98189=1, 98196=1, 98360=1, 98364=1, 98385=1, 98406=1, 98416=1, 98546=1, 98557=1, 98564=1, 98572=1, 99075=1, 99119=1, 99128=1, 99131=1, 99134=1, 99146=1, 99158=1, 99212=1, 99235=1, 99435=1, 99438=1, 99448=1, 99464=1, 99466=1, 99468=1, 99582=1, 99629=1, 99633=1, 99668=1, 99694=1, 99706=1, 99720=1, 99724=1, 99745=1, 99756=1, 99867=1, 99871=1, 99892=1, 100055=1, 100066=1, 100077=1, 100212=1, 100217=1, 100663=1, 100815=1, 100826=1, 100860=1, 100861=1, 101045=1, 101168=1, 101211=1, 101223=1, 101238=1, 101250=1, 101681=1, 101704=1, 101911=1, 102036=1, 102079=1, 102094=1, 102098=1, 102106=1, 102108=1, 102447=1, 102470=1, 102759=1, 102762=1, 102855=1, 102859=1, 102899=1, 102909=1, 102916=1, 103003=1, 103059=1, 103094=1, 103125=1, 103134=1, 103162=1, 103183=1, 103193=1, 103213=1, 103344=1, 103345=1, 103357=1, 103412=1, 103446=1, 103452=1, 103484=1, 103491=1, 103500=1, 103537=1, 103671=1, 103746=1, 104125=1, 104161=1, 104187=1, 104209=1, 104420=1, 104515=1, 104539=1, 104572=1, 104580=1, 104582=1, 104602=1, 104898=1, 104944=1, 104988=1, 104994=1, 105083=1, 105135=1, 105139=1, 105147=1, 105153=1, 105155=1, 105307=1, 105479=1, 105485=1, 105489=1, 105518=1, 105635=1, 105645=1, 105651=1, 105664=1, 105706=1, 105742=1, 105744=1, 105950=1, 105981=1, 106229=1, 106241=1, 106249=1, 106256=1, 106268=1, 106270=1, 106272=1, 106283=1, 106285=1, 106292=1, 106313=1, 106340=1, 106358=1, 106420=1, 106480=1, 106489=1, 106546=1, 106643=1, 106647=1, 106816=1, 106916=1, 106980=1, 107002=1, 107024=1, 107027=1, 107052=1, 107057=1, 107061=1, 107063=1, 107075=1, 107088=1, 107094=1, 107252=1, 107253=1, 107353=1, 107365=1, 107376=1, 107387=1, 107416=1, 107455=1, 107487=1, 107555=1, 107776=1, 107784=1, 107878=1, 107900=1, 107916=1, 107952=1, 108292=1, 108306=1, 108326=1, 108394=1, 108403=1, 108409=1, 108422=1, 108427=1, 108430=1, 108665=1, 108705=1, 108735=1, 108750=1, 108759=1, 108790=1, 108835=1, 108865=1, 108887=1, 108975=1, 109067=1, 109124=1, 109129=1, 109155=1, 109177=1, 109197=1, 109199=1, 109327=1, 109473=1, 109482=1, 109483=1, 109491=1, 109505=1, 109506=1, 109511=1, 109553=1, 109596=1, 109788=1, 109797=1, 109868=1, 109912=1, 109946=1, 110126=1, 110211=1, 110677=1, 110715=1, 110722=1, 110844=1, 110906=1, 110995=1, 111010=1, 111046=1, 111065=1, 111175=1, 111189=1, 111191=1, 111366=1, 111454=1, 111456=1, 111491=1, 111498=1, 111626=1, 111660=1, 111670=1, 111961=1, 111997=1, 112012=1, 112023=1, 112397=1, 112412=1, 112425=1, 112443=1, 112452=1, 112454=1, 112469=1, 112493=1, 112517=1, 112612=1, 112661=1, 112702=1, 112810=1, 112815=1, 112823=1, 112889=1, 112919=1, 112928=1, 112978=1, 113176=1, 113267=1, 113328=1, 113352=1, 113354=1, 113504=1, 113588=1, 113592=1, 113604=1, 113610=1, 113624=1, 113630=1, 113642=1, 113651=1, 113657=1, 113987=1, 113993=1, 114131=1, 114172=1, 114197=1, 114413=1, 114425=1, 114435=1, 114441=1, 114460=1, 114461=1, 114467=1, 114525=1, 114716=1, 114719=1, 114762=1, 114771=1, 115215=1, 115223=1, 115229=1, 115357=1, 115359=1, 115404=1, 115464=1, 115466=1, 115471=1, 115498=1, 115511=1, 115544=1, 115558=1, 115569=1, 115770=1, 115812=1, 116166=1, 116322=1, 116333=1, 116347=1, 116349=1, 116366=1, 116393=1, 116397=1, 116399=1, 116401=1, 116413=1, 116431=1, 116435=1, 116442=1, 116443=1, 116451=1, 116455=1, 116555=1, 116578=1, 116730=1, 117031=1, 117340=1, 117352=1, 117366=1, 117367=1, 117401=1, 117416=1, 117421=1, 117454=1, 117460=1, 117475=1, 117496=1, 117506=1, 117592=1, 117600=1, 117609=1, 117624=1, 117742=1, 117865=1, 117889=1, 118139=1, 118367=1, 118394=1, 118461=1, 118492=1, 118520=1, 118545=1, 118592=1, 118594=1, 118607=1, 118698=1, 118776=1, 118911=1, 118924=1, 118983=1, 118992=1, 119007=1, 119359=1, 119422=1, 119424=1, 119448=1, 119480=1, 119508=1, 119529=1, 119776=1, 119799=1, 119951=1, 119963=1, 120011=1, 120116=1, 120231=1, 120246=1, 120251=1, 120257=1, 120324=1, 120481=1, 120495=1, 120502=1, 120506=1, 120508=1, 120515=1, 120537=1, 120595=1, 120652=1, 120747=1, 120760=1, 120788=1, 120799=1, 121353=1, 121386=1, 121418=1, 121465=1, 121510=1, 121532=1, 121915=1, 122020=1, 122135=1, 122394=1, 122457=1, 122466=1, 122475=1, 122486=1, 122498=1, 122518=1, 122599=1, 122683=1, 122692=1, 122725=1, 122934=1, 122964=1, 122985=1, 122991=1, 123143=1, 123618=1, 123622=1, 123646=1, 123812=1, 123858=1, 123889=1, 123895=1, 123928=1, 124328=1, 124376=1, 124384=1, 124385=1, 124391=1, 124393=1, 124394=1, 124402=1, 124404=1, 124408=1, 124410=1, 124411=1, 124433=1, 124814=1, 124815=1, 124866=1, 124877=1, 124902=1, 124973=1, 125020=1, 125061=1, 125113=1, 125291=1, 125293=1, 125312=1, 125355=1, 125372=1, 125375=1, 125390=1, 125399=1, 125400=1, 125492=1, 125520=1, 125811=1, 125818=1, 125821=1, 125823=1, 125844=1, 125848=1, 125852=1, 125858=1, 125911=1, 126001=1, 126017=1, 126083=1, 126175=1, 126189=1, 126193=1, 126226=1, 126228=1, 126230=1, 126232=1, 126236=1, 126243=1, 126502=1, 126512=1, 126514=1, 126516=1, 126532=1, 126749=1, 126778=1, 126863=1, 126869=1, 126875=1, 126887=1, 126993=1, 127033=1, 127046=1, 127197=1, 127229=1, 127235=1, 127240=1, 127279=1, 127300=1, 127321=1, 127338=1, 127483=1, 127490=1, 127505=1, 127661=1, 127687=1, 127716=1, 127736=1, 127926=1, 128072=1, 128144=1, 128181=1, 128207=1, 128223=1, 128229=1, 128298=1, 128966=1, 129034=1, 129435=1, 129439=1, 129463=1, 129467=1, 129707=1, 130010=1, 130018=1, 130051=1, 130061=1, 130081=1, 130284=1, 130286=1, 130363=1, 130366=1, 130425=1, 130431=1, 130442=1, 130477=1, 130497=1, 130638=1, 130731=1, 130743=1, 130788=1, 130791=1, 130827=1, 130833=1, 130836=1, 130868=1, 130871=1, 130877=1, 130891=1, 130900=1, 130915=1, 131098=1, 131119=1, 131301=1, 131443=1, 131492=1, 131498=1, 131525=1, 131531=1, 132064=1, 132085=1, 132158=1, 132196=1, 132207=1, 132250=1, 132314=1, 132840=1, 132913=1, 133086=1, 133251=1, 133317=1, 133381=1, 133459=1, 133525=1, 133528=1, 133976=1, 134262=1, 134402=1, 134418=1, 134464=1, 134490=1, 134510=1, 134516=1, 134571=1, 134586=1, 134751=1, 134975=1, 134991=1, 135108=1, 135114=1, 135123=1, 135175=1, 135220=1, 135329=1, 135364=1, 135407=1, 135531=1, 135551=1, 135560=1, 135797=1, 135862=1, 136054=1, 136090=1, 136146=1, 136272=1, 136313=1, 136326=1, 136394=1, 136400=1, 136410=1, 136421=1, 136424=1, 136506=1, 136552=1, 136553=1, 136555=1, 136707=1, 136871=1, 136913=1, 136917=1, 136979=1, 137386=1, 137453=1, 137499=1, 137521=1, 137568=1, 137680=1, 137716=1, 137736=1, 137751=1, 137761=1, 137770=1, 137898=1, 138034=1, 138163=1, 138380=1, 138399=1, 138452=1, 138678=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2708 ms. (steps per millisecond=0 ) properties (out of 136888) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3324 ms. (steps per millisecond=0 ) properties (out of 136888) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3250 ms. (steps per millisecond=0 ) properties (out of 136888) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3025 ms. (steps per millisecond=0 ) properties (out of 136888) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3043 ms. (steps per millisecond=0 ) properties (out of 136887) seen :1
Interrupted Best-First random walk after 938 steps, including 2 resets, run timeout after 5006 ms. (steps per millisecond=0 ) properties seen :{}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3444 ms. (steps per millisecond=0 ) properties (out of 136886) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3152 ms. (steps per millisecond=0 ) properties (out of 136886) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3071 ms. (steps per millisecond=0 ) properties (out of 136886) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2972 ms. (steps per millisecond=0 ) properties (out of 136886) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3016 ms. (steps per millisecond=0 ) properties (out of 136886) seen :0
Interrupted Best-First random walk after 911 steps, including 2 resets, run timeout after 5006 ms. (steps per millisecond=0 ) properties seen :{}
Interrupted Best-First random walk after 980 steps, including 2 resets, run timeout after 5013 ms. (steps per millisecond=0 ) properties seen :{}
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 4483 ms. (steps per millisecond=0 ) properties (out of 136886) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2710 ms. (steps per millisecond=0 ) properties (out of 136886) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2590 ms. (steps per millisecond=0 ) properties (out of 136886) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2876 ms. (steps per millisecond=0 ) properties (out of 136886) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2810 ms. (steps per millisecond=0 ) properties (out of 136886) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3057 ms. (steps per millisecond=0 ) properties (out of 136886) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2733 ms. (steps per millisecond=0 ) properties (out of 136886) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2786 ms. (steps per millisecond=0 ) properties (out of 136886) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2911 ms. (steps per millisecond=0 ) properties (out of 136886) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3551 ms. (steps per millisecond=0 ) properties (out of 136886) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2784 ms. (steps per millisecond=0 ) properties (out of 136886) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4130 ms. (steps per millisecond=0 ) properties (out of 136885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3115 ms. (steps per millisecond=0 ) properties (out of 136885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2467 ms. (steps per millisecond=0 ) properties (out of 136885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2578 ms. (steps per millisecond=0 ) properties (out of 136885) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2597 ms. (steps per millisecond=0 ) properties (out of 136885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2198 ms. (steps per millisecond=0 ) properties (out of 136885) 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 136885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2499 ms. (steps per millisecond=0 ) properties (out of 136885) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2557 ms. (steps per millisecond=0 ) properties (out of 136885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2627 ms. (steps per millisecond=0 ) properties (out of 136885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2544 ms. (steps per millisecond=0 ) properties (out of 136885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3764 ms. (steps per millisecond=0 ) properties (out of 136885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2607 ms. (steps per millisecond=0 ) properties (out of 136885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2944 ms. (steps per millisecond=0 ) properties (out of 136885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2783 ms. (steps per millisecond=0 ) properties (out of 136885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2681 ms. (steps per millisecond=0 ) properties (out of 136885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2676 ms. (steps per millisecond=0 ) properties (out of 136885) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 4627 ms. (steps per millisecond=0 ) properties (out of 136885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2557 ms. (steps per millisecond=0 ) properties (out of 136885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2455 ms. (steps per millisecond=0 ) properties (out of 136885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2642 ms. (steps per millisecond=0 ) properties (out of 136885) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2774 ms. (steps per millisecond=0 ) properties (out of 136885) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2644 ms. (steps per millisecond=0 ) properties (out of 136884) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2823 ms. (steps per millisecond=0 ) properties (out of 136884) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2840 ms. (steps per millisecond=0 ) properties (out of 136884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2780 ms. (steps per millisecond=0 ) properties (out of 136884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2827 ms. (steps per millisecond=0 ) properties (out of 136884) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2778 ms. (steps per millisecond=0 ) properties (out of 136884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3133 ms. (steps per millisecond=0 ) properties (out of 136884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3344 ms. (steps per millisecond=0 ) properties (out of 136884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3316 ms. (steps per millisecond=0 ) properties (out of 136884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3197 ms. (steps per millisecond=0 ) properties (out of 136884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3367 ms. (steps per millisecond=0 ) properties (out of 136884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3329 ms. (steps per millisecond=0 ) properties (out of 136884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4971 ms. (steps per millisecond=0 ) properties (out of 136884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4975 ms. (steps per millisecond=0 ) properties (out of 136884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2846 ms. (steps per millisecond=0 ) properties (out of 136884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2789 ms. (steps per millisecond=0 ) properties (out of 136884) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2714 ms. (steps per millisecond=0 ) properties (out of 136884) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2867 ms. (steps per millisecond=0 ) properties (out of 136883) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2695 ms. (steps per millisecond=0 ) properties (out of 136883) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2977 ms. (steps per millisecond=0 ) properties (out of 136883) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2834 ms. (steps per millisecond=0 ) properties (out of 136883) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2952 ms. (steps per millisecond=0 ) properties (out of 136883) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2814 ms. (steps per millisecond=0 ) properties (out of 136881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2951 ms. (steps per millisecond=0 ) properties (out of 136881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2866 ms. (steps per millisecond=0 ) properties (out of 136881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2977 ms. (steps per millisecond=0 ) properties (out of 136881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2702 ms. (steps per millisecond=0 ) properties (out of 136881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2910 ms. (steps per millisecond=0 ) properties (out of 136881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3461 ms. (steps per millisecond=0 ) properties (out of 136881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3637 ms. (steps per millisecond=0 ) properties (out of 136881) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 3630 ms. (steps per millisecond=0 ) properties (out of 136881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3480 ms. (steps per millisecond=0 ) properties (out of 136881) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3342 ms. (steps per millisecond=0 ) properties (out of 136881) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 3260 ms. (steps per millisecond=0 ) properties (out of 136881) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 3194 ms. (steps per millisecond=0 ) properties (out of 136880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2995 ms. (steps per millisecond=0 ) properties (out of 136880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3358 ms. (steps per millisecond=0 ) properties (out of 136880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2918 ms. (steps per millisecond=0 ) properties (out of 136880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2845 ms. (steps per millisecond=0 ) properties (out of 136880) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3071 ms. (steps per millisecond=0 ) properties (out of 136880) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2888 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2823 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3062 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3075 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2877 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2880 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3111 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4039 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Interrupted Best-First random walk after 997 steps, including 2 resets, run timeout after 5028 ms. (steps per millisecond=0 ) properties seen :{}
Interrupted Best-First random walk after 872 steps, including 2 resets, run timeout after 5004 ms. (steps per millisecond=0 ) properties seen :{}
Interrupted Best-First random walk after 836 steps, including 2 resets, run timeout after 5011 ms. (steps per millisecond=0 ) properties seen :{}
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 4529 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3560 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3473 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3415 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3339 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3259 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3550 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3135 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3190 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3008 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2919 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2582 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2817 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2851 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2773 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2922 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2970 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2628 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2749 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2927 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2940 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2959 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3050 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2673 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2829 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2681 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2856 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2882 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2574 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2620 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2761 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2964 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2759 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2686 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2764 ms. (steps per millisecond=0 ) properties (out of 136879) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3658 ms. (steps per millisecond=0 ) properties (out of 136879) seen :24
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2906 ms. (steps per millisecond=0 ) properties (out of 136855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2835 ms. (steps per millisecond=0 ) properties (out of 136855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2676 ms. (steps per millisecond=0 ) properties (out of 136855) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2919 ms. (steps per millisecond=0 ) properties (out of 136855) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2699 ms. (steps per millisecond=0 ) properties (out of 136854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2602 ms. (steps per millisecond=0 ) properties (out of 136854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2597 ms. (steps per millisecond=0 ) properties (out of 136854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2810 ms. (steps per millisecond=0 ) properties (out of 136854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3030 ms. (steps per millisecond=0 ) properties (out of 136854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3112 ms. (steps per millisecond=0 ) properties (out of 136854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3001 ms. (steps per millisecond=0 ) properties (out of 136854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2817 ms. (steps per millisecond=0 ) properties (out of 136854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2970 ms. (steps per millisecond=0 ) properties (out of 136854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3248 ms. (steps per millisecond=0 ) properties (out of 136854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3126 ms. (steps per millisecond=0 ) properties (out of 136854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3323 ms. (steps per millisecond=0 ) properties (out of 136854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3189 ms. (steps per millisecond=0 ) properties (out of 136854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3164 ms. (steps per millisecond=0 ) properties (out of 136854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3212 ms. (steps per millisecond=0 ) properties (out of 136854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2961 ms. (steps per millisecond=0 ) properties (out of 136854) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2943 ms. (steps per millisecond=0 ) properties (out of 136854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2934 ms. (steps per millisecond=0 ) properties (out of 136854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2823 ms. (steps per millisecond=0 ) properties (out of 136854) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2938 ms. (steps per millisecond=0 ) properties (out of 136854) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4027 ms. (steps per millisecond=0 ) properties (out of 136854) seen :14
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3012 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2706 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2899 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2967 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2832 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3235 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2839 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2998 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2936 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2982 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4026 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Interrupted Best-First random walk after 842 steps, including 2 resets, run timeout after 5018 ms. (steps per millisecond=0 ) properties seen :{}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4222 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2993 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2834 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2879 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2925 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 3096 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2747 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2757 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2818 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2894 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2917 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2949 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3482 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2778 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2846 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2933 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2592 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2793 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2623 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2739 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2853 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2642 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3015 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2935 ms. (steps per millisecond=0 ) properties (out of 136840) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3057 ms. (steps per millisecond=0 ) properties (out of 136840) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2950 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2925 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3107 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 4153 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Interrupted Best-First random walk after 946 steps, including 2 resets, run timeout after 5010 ms. (steps per millisecond=0 ) properties seen :{}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3645 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3584 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2825 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2838 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2805 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2774 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2925 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2791 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2774 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2785 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2643 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2879 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2849 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2777 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2936 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2706 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2675 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2921 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2757 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2635 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2827 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2624 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2585 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2805 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2694 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2673 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2788 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2893 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2881 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2788 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2609 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2939 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2777 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 2734 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2809 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2739 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2840 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2701 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2689 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2724 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2837 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2785 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2884 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 2671 ms. (steps per millisecond=0 ) properties (out of 136839) seen :0
Interrupted probabilistic random walk after 1551 steps, run timeout after 30051 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 1551 steps, saw 1305 distinct states, run finished after 30056 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 136839 properties.
[2022-05-23 08:11:36] [INFO ] Flow matrix only has 81238 transitions (discarded 63131 similar events)
// Phase 1: matrix 81238 rows 1381 cols
[2022-05-23 08:11:37] [INFO ] Computed 19 place invariants in 914 ms
[2022-05-23 08:12:00] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.

BK_STOP 1653293524815

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2021"
echo " Input is RERS17pb115-PT-2, 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 r198-tajo-165281579300097"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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