Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r624-tall-171774436100192.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool gold2023
Input is BlocksWorld-PT-19, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r624-tall-171774436100192
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 167M
-rw-r--r-- 1 mcc users 2.3M Jun 7 06:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 11M Jun 7 06:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1M Jun 7 06:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 17M Jun 7 06:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 63K Jun 7 06:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 196K Jun 7 06:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.5M Jun 7 06:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 5.4M Jun 7 06:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 7 06:26 NewModel
-rw-r--r-- 1 mcc users 9.6M Jun 7 06:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 43M Jun 7 06:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11M Jun 7 06:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56M Jun 7 06:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 282K Jun 7 06:43 UpperBounds.txt
-rw-r--r-- 1 mcc users 678K Jun 7 06:43 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jun 7 06:26 equiv_col
-rw-r--r-- 1 mcc users 3 Jun 7 06:26 instance
-rw-r--r-- 1 mcc users 6 Jun 7 06:26 iscolored
-rw-r--r-- 1 mcc users 9.2M Jun 7 06:26 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 1717778034890

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=gold2023
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=BlocksWorld-PT-19
Not applying reductions.
Model is PT
QuasiLiveness PT
Running Version 202304061127
[2024-06-07 16:33:59] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2024-06-07 16:33:59] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-06-07 16:34:00] [INFO ] Load time of PNML (sax parser for PT used): 556 ms
[2024-06-07 16:34:00] [INFO ] Transformed 9701 places.
[2024-06-07 16:34:00] [INFO ] Transformed 19013 transitions.
[2024-06-07 16:34:00] [INFO ] Found NUPN structural information;
[2024-06-07 16:34:00] [INFO ] Completing missing partition info from NUPN : creating a component with [pred_on_table_0, pred_arm_empty_0, pred_on_table_1, pred_on_table_2, pred_on_table_3, pred_on_table_4, pred_on_table_5, pred_on_table_6, pred_on_table_7, pred_on_table_8, pred_on_table_9, pred_on_table_10, pred_on_table_11, pred_on_table_12, pred_on_table_13, pred_on_table_14, pred_on_table_15, pred_on_table_16, pred_on_table_17, pred_on_table_18, pred_on_table_19, pred_on_table_20, pred_on_table_21, pred_on_table_22, pred_on_table_23, pred_on_table_24, pred_on_table_25, pred_on_table_26, pred_on_table_27, pred_on_table_28, pred_on_table_29, pred_on_table_30, pred_on_table_31, pred_on_table_32, pred_on_table_33, pred_on_table_34, pred_on_table_35, pred_on_table_36, pred_on_table_37, pred_on_table_38, pred_on_table_39, pred_on_table_40, pred_on_table_41, pred_on_table_42, pred_on_table_43, pred_on_table_44, pred_on_table_45, pred_on_table_46, pred_on_table_47, pred_on_table_48, pred_on_table_49, pred_on_table_50, pred_on_table_51, pred_on_table_52, pred_on_table_53, pred_on_table_54, pred_on_table_55, pred_on_table_56, pred_on_table_57, pred_on_table_58, pred_on_table_59, pred_on_table_60, pred_on_table_61, pred_on_table_62, pred_on_table_63, pred_on_table_64, pred_on_table_65, pred_on_table_66, pred_on_table_67, pred_on_table_68, pred_on_table_69, pred_on_table_70, pred_on_table_71, pred_on_table_72, pred_on_table_73, pred_on_table_74, pred_on_table_75, pred_on_table_76, pred_on_table_77, pred_on_table_78, pred_on_table_79, pred_on_table_80, pred_on_table_81, pred_on_table_82, pred_on_table_83, pred_on_table_84, pred_on_table_85, pred_on_table_86, pred_on_table_87, pred_on_table_88, pred_on_table_89, pred_on_table_90, pred_on_table_91, pred_on_table_92, pred_on_table_93, pred_on_table_94, pred_on_table_95, pred_on_table_96]
[2024-06-07 16:34:00] [INFO ] Parsed PT model containing 9701 places and 19013 transitions and 95042 arcs in 763 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 9701/9701 places, 19013/19013 transitions.
Applied a total of 0 rules in 240 ms. Remains 9701 /9701 variables (removed 0) and now considering 19013/19013 (removed 0) transitions.
// Phase 1: matrix 19013 rows 9701 cols
[2024-06-07 16:34:00] [INFO ] Computed 195 invariants in 261 ms
[2024-06-07 16:34:02] [INFO ] Implicit Places using invariants in 1359 ms returned []
Implicit Place search using SMT only with invariants took 1388 ms to find 0 implicit places.
[2024-06-07 16:34:02] [INFO ] Invariant cache hit.
[2024-06-07 16:34:03] [INFO ] Dead Transitions using invariants and state equation in 1026 ms found 0 transitions.
Finished structural reductions in LIVENESS mode , in 1 iterations and 2668 ms. Remains : 9701/9701 places, 19013/19013 transitions.
Discarding 97 transitions out of 19013. Remains 18916
Initial state reduction rules removed 8 formulas.
[2024-06-07 16:34:07] [INFO ] Flatten gal took : 1292 ms
Incomplete random walk after 10000 steps, including 2 resets, run finished after 2495 ms. (steps per millisecond=4 ) properties (out of 18908) seen :887
[2024-06-07 16:34:08] [INFO ] Flatten gal took : 843 ms
[2024-06-07 16:34:10] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14094579348743225692.gal : 224 ms
[2024-06-07 16:34:10] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14805771610139871255.prop : 85 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202304061127/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality14094579348743225692.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality14805771610139871255.prop' '--nowitness' '--gen-order' 'FOLLOW'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202304061127/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...330
Loading property file /tmp/ReachabilityCardinality14805771610139871255.prop.
Interrupted probabilistic random walk after 10691 steps, run timeout after 15007 ms. (steps per millisecond=0 ) properties seen :{212=1, 219=1, 220=1, 226=1, 233=1, 573=1, 1518=1, 2854=1, 3935=1, 3941=1, 3945=1, 3953=1, 3956=1, 3963=1, 3966=1, 3968=1, 3972=1, 3980=1, 3981=1, 3982=1, 3986=1, 4005=1, 4020=1, 4023=1, 4030=1, 4034=1, 4045=1, 4048=1, 4055=1, 4057=1, 4060=1, 4071=1, 4072=1, 4073=1, 4078=1, 4081=1, 4095=1, 4100=1, 4101=1, 4203=1, 4206=1, 4208=1, 4212=1, 4225=1, 4233=1, 4235=1, 4236=1, 4241=1, 4249=1, 4251=1, 4255=1, 4261=1, 4568=1, 4571=1, 4578=1, 4582=1, 4593=1, 4596=1, 4603=1, 4605=1, 4606=1, 4607=1, 4617=1, 4618=1, 4620=1, 4621=1, 4623=1, 4625=1, 4631=1, 4638=1, 4643=1, 4648=1, 5295=1, 5298=1, 5300=1, 5305=1, 5319=1, 5328=1, 5330=1, 5343=1, 5344=1, 5348=1, 5360=1, 5365=1, 5370=1, 5371=1, 5379=1, 5382=1, 5384=1, 5389=1, 5393=1, 5404=1, 5407=1, 5414=1, 5416=1, 5417=1, 5418=1, 5419=1, 5423=1, 5431=1, 5433=1, 5435=1, 5436=1, 5438=1, 5446=1, 5453=1, 5458=1, 5462=1, 5463=1, 5475=1, 5477=1, 5506=1, 5507=1, 5520=1, 5653=1, 5662=1, 5665=1, 5676=1, 5679=1, 5686=1, 5688=1, 5689=1, 5690=1, 5691=1, 5695=1, 5702=1, 5703=1, 5704=1, 5707=1, 5709=1, 5712=1, 5718=1, 5731=1, 5736=1, 5737=1, 5746=1, 5749=1, 5756=1, 5760=1, 5771=1, 5774=1, 5781=1, 5783=1, 5784=1, 5785=1, 5789=1, 5797=1, 5798=1, 5799=1, 5800=1, 5828=1, 5937=1, 5939=1, 5964=1, 5975=1, 6195=1, 6197=1, 6206=1, 6220=1, 6227=1, 6229=1, 6231=1, 6242=1, 6744=1, 6746=1, 6754=1, 6768=1, 6774=1, 6775=1, 6776=1, 6778=1, 6790=1, 6791=1, 6792=1, 6797=1, 6800=1, 7477=1, 7480=1, 7487=1, 7490=1, 7501=1, 7504=1, 7511=1, 7513=1, 7514=1, 7516=1, 7527=1, 7528=1, 7529=1, 7931=1, 7933=1, 7960=1, 7962=1, 7963=1, 8013=1, 8016=1, 8025=1, 8039=1, 8046=1, 8048=1, 8049=1, 8051=1, 8062=1, 8063=1, 8064=1, 8069=1, 8072=1, 8483=1, 8486=1, 8492=1, 8496=1, 8507=1, 8510=1, 8517=1, 8519=1, 8520=1, 8522=1, 8526=1, 8533=1, 8534=1, 8535=1, 8537=1, 8538=1, 9679=1, 9681=1, 9686=1, 9689=1, 9700=1, 9703=1, 9710=1, 9712=1, 9713=1, 9714=1, 9715=1, 9726=1, 9727=1, 9728=1, 9730=1, 9731=1, 9733=1, 9736=1, 9741=1, 9748=1, 9753=1, 9754=1, 9759=1, 9760=1, 9767=1, 9769=1, 9774=1, 9778=1, 9789=1, 9792=1, 9799=1, 9801=1, 9802=1, 9803=1, 9804=1, 9808=1, 9814=1, 9816=1, 9817=1, 9818=1, 9820=1, 9821=1, 9823=1, 9826=1, 9832=1, 9840=1, 9845=1, 9846=1, 9851=1, 9852=1, 10207=1, 10215=1, 10225=1, 10228=1, 10235=1, 10237=1, 10238=1, 10239=1, 10240=1, 10243=1, 10251=1, 10252=1, 10253=1, 10255=1, 10256=1, 10258=1, 10261=1, 10267=1, 10279=1, 10280=1, 10285=1, 10286=1, 10291=1, 10296=1, 10299=1, 10309=1, 10312=1, 10319=1, 10320=1, 10321=1, 10322=1, 10326=1, 10327=1, 10332=1, 10333=1, 10334=1, 10335=1, 10337=1, 10340=1, 10345=1, 10350=1, 10355=1, 10356=1, 10361=1, 10362=1, 10565=1, 10573=1, 10575=1, 10585=1, 10586=1, 10587=1, 10592=1, 10595=1, 10601=1, 10614=1, 10615=1, 10630=1, 10634=1, 10648=1, 10655=1, 10658=1, 10660=1, 10672=1, 10673=1, 10674=1, 10679=1, 10682=1, 10688=1, 10700=1, 10701=1, 10702=1, 11382=1, 11392=1, 11395=1, 11402=1, 11404=1, 11405=1, 11406=1, 11407=1, 11411=1, 11418=1, 11419=1, 11421=1, 11422=1, 11424=1, 11427=1, 11432=1, 11443=1, 11444=1, 11449=1, 11467=1, 11474=1, 11476=1, 11480=1, 11487=1, 11488=1, 11490=1, 11491=1, 11493=1, 11496=1, 11498=1, 11501=1, 11507=1, 11510=1, 11515=1, 11852=1, 11988=1, 11991=1, 11999=1, 12000=1, 12001=1, 12002=1, 12012=1, 12013=1, 12014=1, 12016=1, 12017=1, 12019=1, 12022=1, 12028=1, 12036=1, 12041=1, 12042=1, 12047=1, 12048=1, 12063=1, 12072=1, 12074=1, 12075=1, 12076=1, 12077=1, 12086=1, 12087=1, 12088=1, 12090=1, 12091=1, 12094=1, 12099=1, 12106=1, 12110=1, 12111=1, 12116=1, 12117=1, 13126=1, 13532=1, 13540=1, 13541=1, 13542=1, 13543=1, 13546=1, 13554=1, 13555=1, 13557=1, 13558=1, 13560=1, 13563=1, 13569=1, 13577=1, 13580=1, 13581=1, 13586=1, 13587=1, 13594=1, 13601=1, 13603=1, 13604=1, 13605=1, 13606=1, 13610=1, 13618=1, 13619=1, 13620=1, 13622=1, 13623=1, 13625=1, 13628=1, 13634=1, 13642=1, 13647=1, 13648=1, 13653=1, 13654=1, 13931=1, 13932=1, 13933=1, 13936=1, 13943=1, 13944=1, 13945=1, 13947=1, 13948=1, 13950=1, 13953=1, 13965=1, 13970=1, 13971=1, 13976=1, 13977=1, 13988=1, 13990=1, 13991=1, 13992=1, 13993=1, 13997=1, 14004=1, 14005=1, 14006=1, 14007=1, 14009=1, 14010=1, 14012=1, 14015=1, 14021=1, 14029=1, 14034=1, 14035=1, 14040=1, 14041=1, 14534=1, 14762=1, 14763=1, 14764=1, 14765=1, 14768=1, 14775=1, 14776=1, 14777=1, 14779=1, 14780=1, 14782=1, 14785=1, 14790=1, 14798=1, 14803=1, 14804=1, 14809=1, 14815=1, 14816=1, 14817=1, 14818=1, 14822=1, 14829=1, 14830=1, 14832=1, 14833=1, 14835=1, 14838=1, 14854=1, 14855=1, 14859=1, 14975=1, 14976=1, 14977=1, 14981=1, 14989=1, 14990=1, 14991=1, 14993=1, 14994=1, 14996=1, 14999=1, 15005=1, 15017=1, 15018=1, 15023=1, 15027=1, 15028=1, 15029=1, 15032=1, 15040=1, 15041=1, 15043=1, 15044=1, 15048=1, 15065=1, 15070=1, 15071=1, 15077=1, 15078=1, 15082=1, 15090=1, 15091=1, 15092=1, 15094=1, 15096=1, 15099=1, 15105=1, 15113=1, 15118=1, 15119=1, 15124=1, 15129=1, 15130=1, 15134=1, 15142=1, 15143=1, 15144=1, 15146=1, 15147=1, 15149=1, 15152=1, 15158=1, 15166=1, 15171=1, 15172=1, 15177=1, 15178=1, 15184=1, 15188=1, 15196=1, 15197=1, 15198=1, 15200=1, 15201=1, 15203=1, 15206=1, 15211=1, 15223=1, 15228=1, 15229=1, 15234=1, 15238=1, 15246=1, 15247=1, 15248=1, 15250=1, 15251=1, 15253=1, 15256=1, 15262=1, 15276=1, 15281=1, 15282=1, 15290=1, 15297=1, 15298=1, 15299=1, 15301=1, 15302=1, 15304=1, 15307=1, 15313=1, 15321=1, 15326=1, 15327=1, 15332=1, 15333=1, 15341=1, 15349=1, 15350=1, 15351=1, 15353=1, 15354=1, 15356=1, 15359=1, 15365=1, 15373=1, 15378=1, 15379=1, 15384=1, 15385=1, 15682=1, 15683=1, 15684=1, 15686=1, 15687=1, 15689=1, 15692=1, 15697=1, 15705=1, 15709=1, 15710=1, 15715=1, 15727=1, 15728=1, 15729=1, 15731=1, 15735=1, 15741=1, 15749=1, 15757=1, 15758=1, 16361=1, 16362=1, 16364=1, 16365=1, 16367=1, 16370=1, 16376=1, 16384=1, 16389=1, 16390=1, 16395=1, 16399=1, 16400=1, 16402=1, 16403=1, 16405=1, 16408=1, 16414=1, 16422=1, 16427=1, 16428=1, 16433=1, 16434=1, 16440=1, 16442=1, 16443=1, 16445=1, 16448=1, 16454=1, 16466=1, 16467=1, 16472=1, 16473=1, 16477=1, 16479=1, 16480=1, 16482=1, 16485=1, 16491=1, 16499=1, 16504=1, 16505=1, 16510=1, 16511=1, 16518=1, 16519=1, 16521=1, 16524=1, 16530=1, 16538=1, 16543=1, 16544=1, 16549=1, 16550=1, 16555=1, 16557=1, 16570=1, 16575=1, 16576=1, 16656=1, 16658=1, 16661=1, 16667=1, 16680=1, 16685=1, 16686=1, 16691=1, 16694=1, 16700=1, 16713=1, 16718=1, 16725=1, 16728=1, 16734=1, 16748=1, 16753=1, 16759=1, 16762=1, 16768=1, 16782=1, 16787=1, 16788=1, 16864=1, 16870=1, 16881=1, 16882=1, 16887=1, 16894=1, 16900=1, 16908=1, 16913=1, 16914=1, 16919=1, 16920=1, 17056=1, 17066=1, 17067=1, 17082=1, 17095=1, 17096=1, 17102=1, 17833=1, 17844=1}
Probabilistic random walk after 10691 steps, saw 9289 distinct states, run finished after 15011 ms. (steps per millisecond=0 ) properties seen :758
Running SMT prover for 17212 properties.
[2024-06-07 16:34:26] [INFO ] Invariant cache hit.

BK_STOP 1717778290871

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

+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ QuasiLiveness = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination QuasiLiveness -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 1800

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="BlocksWorld-PT-19"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="gold2023"
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-5568"
echo " Executing tool gold2023"
echo " Input is BlocksWorld-PT-19, 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 r624-tall-171774436100192"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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