Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r256-tall-171654365800142.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 lola
Input is MultiCrashLeafsetExtension-PT-S32C12, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r256-tall-171654365800142
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 37M
-rw-r--r-- 1 mcc users 15K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.9K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.6K May 19 07:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K May 19 16:10 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 19 07:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 19 18:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 26K May 14 13:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 150K May 14 13:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 21K May 14 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 95K May 14 13:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 19 07:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K May 19 15:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:43 equiv_col
-rw-r--r-- 1 mcc users 7 May 18 16:43 instance
-rw-r--r-- 1 mcc users 6 May 18 16:43 iscolored
-rw-r--r-- 1 mcc users 37M May 18 16:43 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 1717425194257

starting LoLA
BK_EXAMINATION: QuasiLiveness
BK_TIME_CONFINEMENT: 1800
BK_MEMORY_CONFINEMENT: 16384
BK_BIN_PATH: /home/mcc/BenchKit/bin/
current directory: /home/mcc/execution

BK_STOP 1717426742180

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

[lola][I] LoLA will run for 1800 seconds at most (--timelimit)
[lola][W] unknown unit in memory specification: using default
[lola][I] MEM LIMIT 5
[lola][I] NET
[lola][I] reading net from model.pnml
[lola][I] input: PNML file (--pnmlnet)
[lola][I] reading pnml
[lola][I] PNML file contains place/transition net
[lola][I] closed net file model.pnml
[lola][I] finished parsing
[lola][I] reporting
[lola][I] not produced: 41330
[lola][I] reporting
[lola][I] not produced: 41330
[lola][I] reporting
[lola][I] not produced: 41330
[lola][I] reporting
[lola][I] not produced: 41330
[lola][I] reporting
[lola][I] not produced: 41330
[lola][I] reporting
[lola][I] not produced: 41330
[lola][I] reporting
[lola][I] not produced: 41330
[lola][I] reporting
[lola][I] not produced: 41330
[lola][I] reporting
[lola][I] not produced: 41330
[lola][I] reporting
[lola][I] not produced: 41330
[lola][I] reporting
[lola][I] not produced: 41330
[lola][I] reporting
[lola][I] not produced: 41330
[lola][I] reporting
[lola][I] not produced: 41330
[lola][I] reporting
[lola][I] not produced: 41330
[lola][I] reporting
[lola][I] not produced: 41330
[lola][I] reporting
[lola][I] not produced: 41330
[lola][I] reporting
[lola][I] not produced: 41330
[lola][I] reporting
[lola][I] not produced: 38483
[lola][I] find path: 2556
[lola][I] goal oriented search: 291
[lola][I] reporting
[lola][I] not produced: 36191
[lola][I] find path: 3952
[lola][I] goal oriented search: 1187
[lola][I] reporting
[lola][I] not produced: 34650
[lola][I] find path: 5018
[lola][I] goal oriented search: 1662
[lola][I] reporting
[lola][I] not produced: 33669
[lola][I] find path: 5975
[lola][I] goal oriented search: 1686
[lola][I] reporting
[lola][I] not produced: 32727
[lola][I] find path: 6872
[lola][I] goal oriented search: 1731
[lola][I] reporting
[lola][I] not produced: 31948
[lola][I] find path: 7651
[lola][I] goal oriented search: 1731
[lola][I] reporting
[lola][I] not produced: 31224
[lola][I] find path: 8267
[lola][I] goal oriented search: 1839
[lola][I] reporting
[lola][I] not produced: 30783
[lola][I] find path: 8690
[lola][I] goal oriented search: 1857
[lola][I] reporting
[lola][I] not produced: 30348
[lola][I] find path: 9125
[lola][I] goal oriented search: 1857
[lola][I] reporting
[lola][I] not produced: 29906
[lola][I] find path: 9549
[lola][I] goal oriented search: 1875
[lola][I] reporting
[lola][I] not produced: 29591
[lola][I] find path: 9864
[lola][I] goal oriented search: 1875
[lola][I] reporting
[lola][I] not produced: 29258
[lola][I] find path: 10179
[lola][I] goal oriented search: 1893
[lola][I] reporting
[lola][I] not produced: 28940
[lola][I] find path: 10473
[lola][I] goal oriented search: 1917
[lola][I] reporting
[lola][I] not produced: 28655
[lola][I] find path: 10758
[lola][I] goal oriented search: 1917
[lola][I] reporting
[lola][I] not produced: 28378
[lola][I] find path: 11023
[lola][I] goal oriented search: 1929
[lola][I] reporting
[lola][I] not produced: 28031
[lola][I] find path: 11288
[lola][I] goal oriented search: 2011
[lola][I] reporting
[lola][I] not produced: 27764
[lola][I] find path: 11555
[lola][I] goal oriented search: 2011
[lola][I] reporting
[lola][I] not produced: 27503
[lola][I] find path: 11794
[lola][I] goal oriented search: 2033
[lola][I] reporting
[lola][I] not produced: 27270
[lola][I] find path: 12027
[lola][I] goal oriented search: 2033
[lola][I] reporting
[lola][I] not produced: 26995
[lola][I] find path: 12286
[lola][I] goal oriented search: 2049
[lola][I] reporting
[lola][I] not produced: 26789
[lola][I] find path: 12484
[lola][I] goal oriented search: 2057
[lola][I] reporting
[lola][I] not produced: 26569
[lola][I] find path: 12694
[lola][I] goal oriented search: 2067
[lola][I] reporting
[lola][I] not produced: 26317
[lola][I] find path: 12882
[lola][I] goal oriented search: 2131
[lola][I] reporting
[lola][I] not produced: 26039
[lola][I] find path: 13110
[lola][I] goal oriented search: 2181
[lola][I] reporting
[lola][I] not produced: 25837
[lola][I] find path: 13308
[lola][I] goal oriented search: 2185
[lola][I] reporting
[lola][I] not produced: 25661
[lola][I] find path: 13484
[lola][I] goal oriented search: 2185
[lola][I] reporting
[lola][I] not produced: 25476
[lola][I] find path: 13669
[lola][I] goal oriented search: 2185
[lola][I] reporting
[lola][I] not produced: 25302
[lola][I] find path: 13843
[lola][I] goal oriented search: 2185
[lola][I] reporting
[lola][I] not produced: 25127
[lola][I] find path: 14018
[lola][I] goal oriented search: 2185
[lola][I] reporting
[lola][I] not produced: 24980
[lola][I] find path: 14165
[lola][I] goal oriented search: 2185
[lola][I] reporting
[lola][I] not produced: 24843
[lola][I] find path: 14302
[lola][I] goal oriented search: 2185
[lola][I] reporting
[lola][I] not produced: 24705
[lola][I] find path: 14440
[lola][I] goal oriented search: 2185
[lola][I] reporting
[lola][I] not produced: 24565
[lola][I] find path: 14576
[lola][I] goal oriented search: 2189
[lola][I] reporting
[lola][I] not produced: 24427
[lola][I] find path: 14714
[lola][I] goal oriented search: 2189
[lola][I] reporting
[lola][I] not produced: 24331
[lola][I] find path: 14810
[lola][I] goal oriented search: 2189
[lola][I] reporting
[lola][I] not produced: 24227
[lola][I] find path: 14914
[lola][I] goal oriented search: 2189
[lola][I] reporting
[lola][I] not produced: 24133
[lola][I] find path: 15004
[lola][I] goal oriented search: 2193
[lola][I] reporting
[lola][I] not produced: 24036
[lola][I] find path: 15101
[lola][I] goal oriented search: 2193
[lola][I] reporting
[lola][I] not produced: 23951
[lola][I] find path: 15186
[lola][I] goal oriented search: 2193
[lola][I] reporting
[lola][I] not produced: 23873
[lola][I] find path: 15264
[lola][I] goal oriented search: 2193
[lola][I] reporting
[lola][I] not produced: 23790
[lola][I] find path: 15347
[lola][I] goal oriented search: 2193
[lola][I] reporting
[lola][I] not produced: 23699
[lola][I] find path: 15438
[lola][I] goal oriented search: 2193
[lola][I] reporting
[lola][I] not produced: 23640
[lola][I] find path: 15497
[lola][I] goal oriented search: 2193
[lola][I] reporting
[lola][I] not produced: 23577
[lola][I] find path: 15560
[lola][I] goal oriented search: 2193
[lola][I] reporting
[lola][I] not produced: 23483
[lola][I] find path: 15654
[lola][I] goal oriented search: 2193
[lola][I] reporting
[lola][I] not produced: 23427
[lola][I] find path: 15710
[lola][I] goal oriented search: 2193
[lola][I] reporting
[lola][I] not produced: 23317
[lola][I] find path: 15782
[lola][I] goal oriented search: 2231
[lola][I] reporting
[lola][I] not produced: 23223
[lola][I] find path: 15874
[lola][I] goal oriented search: 2233
[lola][I] reporting
[lola][I] not produced: 23151
[lola][I] find path: 15946
[lola][I] goal oriented search: 2233
[lola][I] reporting
[lola][I] not produced: 23079
[lola][I] find path: 16018
[lola][I] goal oriented search: 2233
[lola][I] reporting
[lola][I] not produced: 23017
[lola][I] find path: 16080
[lola][I] goal oriented search: 2233
[lola][I] reporting
[lola][I] not produced: 22968
[lola][I] find path: 16129
[lola][I] goal oriented search: 2233
[lola][I] reporting
[lola][I] not produced: 22892
[lola][I] find path: 16205
[lola][I] goal oriented search: 2233
[lola][I] reporting
[lola][I] not produced: 22848
[lola][I] find path: 16249
[lola][I] goal oriented search: 2233
[lola][I] reporting
[lola][I] not produced: 22793
[lola][I] find path: 16304
[lola][I] goal oriented search: 2233
[lola][I] reporting
[lola][I] not produced: 22722
[lola][I] find path: 16375
[lola][I] goal oriented search: 2233
[lola][I] reporting
[lola][I] not produced: 22652
[lola][I] find path: 16445
[lola][I] goal oriented search: 2233
[lola][I] reporting
[lola][I] not produced: 22582
[lola][I] find path: 16515
[lola][I] goal oriented search: 2233
[lola][I] reporting
[lola][I] not produced: 22519
[lola][I] find path: 16578
[lola][I] goal oriented search: 2233
[lola][I] reporting
[lola][I] not produced: 22467
[lola][I] find path: 16630
[lola][I] goal oriented search: 2233
[lola][I] reporting
[lola][I] not produced: 22410
[lola][I] find path: 16687
[lola][I] goal oriented search: 2233
[lola][I] reporting
[lola][I] not produced: 22366
[lola][I] find path: 16731
[lola][I] goal oriented search: 2233
[lola][I] reporting
[lola][I] not produced: 22298
[lola][I] find path: 16799
[lola][I] goal oriented search: 2233
[lola][I] reporting
[lola][I] not produced: 22215
[lola][I] find path: 16882
[lola][I] goal oriented search: 2233
[lola][I] reporting
[lola][I] not produced: 22159
[lola][I] find path: 16938
[lola][I] goal oriented search: 2233
[lola][I] reporting
[lola][I] not produced: 22101
[lola][I] find path: 16996
[lola][I] goal oriented search: 2233
[lola][I] reporting
[lola][I] not produced: 22049
[lola][I] find path: 17048
[lola][I] goal oriented search: 2233
[lola][I] reporting
[lola][I] not produced: 21999
[lola][I] find path: 17098
[lola][I] goal oriented search: 2233
[lola][I] reporting
[lola][I] not produced: 21907
[lola][I] find path: 17162
[lola][I] goal oriented search: 2261
[lola][I] reporting
[lola][I] not produced: 21859
[lola][I] find path: 17210
[lola][I] goal oriented search: 2261
[lola][I] reporting
[lola][I] not produced: 21808
[lola][I] find path: 17261
[lola][I] goal oriented search: 2261
[lola][I] reporting
[lola][I] not produced: 21764
[lola][I] find path: 17305
[lola][I] goal oriented search: 2261
[lola][I] reporting
[lola][I] not produced: 21724
[lola][I] find path: 17345
[lola][I] goal oriented search: 2261
[lola][I] reporting
[lola][I] not produced: 21691
[lola][I] find path: 17378
[lola][I] goal oriented search: 2261
[lola][I] reporting
[lola][I] not produced: 21633
[lola][I] find path: 17436
[lola][I] goal oriented search: 2261
[lola][I] reporting
[lola][I] not produced: 21584
[lola][I] find path: 17485
[lola][I] goal oriented search: 2261
[lola][I] reporting
[lola][I] not produced: 21530
[lola][I] find path: 17539
[lola][I] goal oriented search: 2261
[lola][I] reporting
[lola][I] not produced: 21464
[lola][I] find path: 17605
[lola][I] goal oriented search: 2261
[lola][I] reporting
[lola][I] not produced: 21404
[lola][I] find path: 17665
[lola][I] goal oriented search: 2261
[lola][I] reporting
[lola][I] not produced: 21356
[lola][I] find path: 17713
[lola][I] goal oriented search: 2261
[lola][I] reporting
[lola][I] not produced: 21292
[lola][I] find path: 17777
[lola][I] goal oriented search: 2261
[lola][I] reporting
[lola][I] not produced: 21229
[lola][I] find path: 17840
[lola][I] goal oriented search: 2261
[lola][I] reporting
[lola][I] not produced: 21171
[lola][I] find path: 17898
[lola][I] goal oriented search: 2261
[lola][I] reporting
[lola][I] not produced: 21114
[lola][I] find path: 17955
[lola][I] goal oriented search: 2261
[lola][I] reporting
[lola][I] not produced: 21063
[lola][I] find path: 18006
[lola][I] goal oriented search: 2261
[lola][I] reporting
[lola][I] not produced: 21009
[lola][I] find path: 18060
[lola][I] goal oriented search: 2261
[lola][I] reporting
[lola][I] not produced: 20917
[lola][I] find path: 18122
[lola][I] goal oriented search: 2291
[lola][I] reporting
[lola][I] not produced: 20862
[lola][I] find path: 18177
[lola][I] goal oriented search: 2291
[lola][I] reporting
[lola][I] not produced: 20823
[lola][I] find path: 18216
[lola][I] goal oriented search: 2291
[lola][I] reporting
[lola][I] not produced: 20773
[lola][I] find path: 18266
[lola][I] goal oriented search: 2291
[lola][I] reporting
[lola][I] not produced: 20724
[lola][I] find path: 18315
[lola][I] goal oriented search: 2291
[lola][I] reporting
[lola][I] not produced: 20689
[lola][I] find path: 18350
[lola][I] goal oriented search: 2291
[lola][I] reporting
[lola][I] not produced: 20639
[lola][I] find path: 18400
[lola][I] goal oriented search: 2291
[lola][I] reporting
[lola][I] not produced: 20607
[lola][I] find path: 18432
[lola][I] goal oriented search: 2291
[lola][I] reporting
[lola][I] not produced: 20569
[lola][I] find path: 18470
[lola][I] goal oriented search: 2291
[lola][I] reporting
[lola][I] not produced: 20544
[lola][I] find path: 18495
[lola][I] goal oriented search: 2291
[lola][I] reporting
[lola][I] not produced: 20504
[lola][I] find path: 18535
[lola][I] goal oriented search: 2291
[lola][I] reporting
[lola][I] not produced: 20485
[lola][I] find path: 18554
[lola][I] goal oriented search: 2291
[lola][I] reporting
[lola][I] not produced: 20456
[lola][I] find path: 18583
[lola][I] goal oriented search: 2291
[lola][I] reporting
[lola][I] not produced: 20415
[lola][I] find path: 18624
[lola][I] goal oriented search: 2291
[lola][I] reporting
[lola][I] not produced: 20367
[lola][I] find path: 18672
[lola][I] goal oriented search: 2291
[lola][I] reporting
[lola][I] not produced: 20327
[lola][I] find path: 18712
[lola][I] goal oriented search: 2291
[lola][I] reporting
[lola][I] not produced: 20288
[lola][I] find path: 18751
[lola][I] goal oriented search: 2291
[lola][I] reporting
[lola][I] not produced: 20219
[lola][I] find path: 18788
[lola][I] goal oriented search: 2323
[lola][I] reporting
[lola][I] not produced: 20180
[lola][I] find path: 18827
[lola][I] goal oriented search: 2323
[lola][I] reporting
[lola][I] not produced: 20142
[lola][I] find path: 18865
[lola][I] goal oriented search: 2323
[lola][I] reporting
[lola][I] not produced: 20116
[lola][I] find path: 18891
[lola][I] goal oriented search: 2323
[lola][I] reporting
[lola][I] not produced: 20092
[lola][I] find path: 18915
[lola][I] goal oriented search: 2323
[lola][I] reporting
[lola][I] not produced: 20064
[lola][I] find path: 18943
[lola][I] goal oriented search: 2323
[lola][I] reporting
[lola][I] not produced: 20030
[lola][I] find path: 18977
[lola][I] goal oriented search: 2323
[lola][I] reporting
[lola][I] not produced: 20000
[lola][I] find path: 19007
[lola][I] goal oriented search: 2323
[lola][I] reporting
[lola][I] not produced: 19960
[lola][I] find path: 19047
[lola][I] goal oriented search: 2323
[lola][I] reporting
[lola][I] not produced: 19931
[lola][I] find path: 19076
[lola][I] goal oriented search: 2323
[lola][I] reporting
[lola][I] not produced: 19911
[lola][I] find path: 19096
[lola][I] goal oriented search: 2323
[lola][I] reporting
[lola][I] not produced: 19891
[lola][I] find path: 19116
[lola][I] goal oriented search: 2323
[lola][I] reporting
[lola][I] not produced: 19870
[lola][I] find path: 19137
[lola][I] goal oriented search: 2323
[lola][I] reporting
[lola][I] not produced: 19852
[lola][I] find path: 19155
[lola][I] goal oriented search: 2323
[lola][I] reporting
[lola][I] not produced: 19840
[lola][I] find path: 19167
[lola][I] goal oriented search: 2323
[lola][I] reporting
[lola][I] not produced: 19818
[lola][I] find path: 19189
[lola][I] goal oriented search: 2323
[lola][I] reporting
[lola][I] not produced: 19800
[lola][I] find path: 19207
[lola][I] goal oriented search: 2323
[lola][I] reporting
[lola][I] not produced: 19775
[lola][I] find path: 19214
[lola][I] goal oriented search: 2341
[lola][I] reporting
[lola][I] not produced: 19759
[lola][I] find path: 19230
[lola][I] goal oriented search: 2341
[lola][I] reporting
[lola][I] not produced: 19751
[lola][I] find path: 19238
[lola][I] goal oriented search: 2341
[lola][I] reporting
[lola][I] not produced: 19737
[lola][I] find path: 19252
[lola][I] goal oriented search: 2341
[lola][I] reporting
[lola][I] not produced: 19729
[lola][I] find path: 19260
[lola][I] goal oriented search: 2341
[lola][I] reporting
[lola][I] not produced: 19708
[lola][I] find path: 19281
[lola][I] goal oriented search: 2341
[lola][I] reporting
[lola][I] not produced: 19693
[lola][I] find path: 19296
[lola][I] goal oriented search: 2341
[lola][I] reporting
[lola][I] not produced: 19683
[lola][I] find path: 19306
[lola][I] goal oriented search: 2341
[lola][I] reporting
[lola][I] not produced: 19664
[lola][I] find path: 19325
[lola][I] goal oriented search: 2341
[lola][I] reporting
[lola][I] not produced: 19655
[lola][I] find path: 19334
[lola][I] goal oriented search: 2341
[lola][I] reporting
[lola][I] not produced: 19635
[lola][I] find path: 19354
[lola][I] goal oriented search: 2341
[lola][I] reporting
[lola][I] not produced: 19617
[lola][I] find path: 19372
[lola][I] goal oriented search: 2341
[lola][I] reporting
[lola][I] not produced: 19590
[lola][I] find path: 19399
[lola][I] goal oriented search: 2341
[lola][I] reporting
[lola][I] not produced: 19568
[lola][I] find path: 19421
[lola][I] goal oriented search: 2341
[lola][I] reporting
[lola][I] not produced: 19554
[lola][I] find path: 19435
[lola][I] goal oriented search: 2341
[lola][I] reporting
[lola][I] not produced: 19530
[lola][I] find path: 19459
[lola][I] goal oriented search: 2341
[lola][I] reporting
[lola][I] not produced: 19485
[lola][I] find path: 19478
[lola][I] goal oriented search: 2367
[lola][I] reporting
[lola][I] not produced: 19483
[lola][I] find path: 19480
[lola][I] goal oriented search: 2367
[lola][I] reporting
[lola][I] not produced: 19460
[lola][I] find path: 19503
[lola][I] goal oriented search: 2367
[lola][I] reporting
[lola][I] not produced: 19446
[lola][I] find path: 19517
[lola][I] goal oriented search: 2367
[lola][I] reporting
[lola][I] not produced: 19426
[lola][I] find path: 19537
[lola][I] goal oriented search: 2367
[lola][I] reporting
[lola][I] not produced: 19405
[lola][I] find path: 19558
[lola][I] goal oriented search: 2367
[lola][I] reporting
[lola][I] not produced: 19390
[lola][I] find path: 19573
[lola][I] goal oriented search: 2367
[lola][I] reporting
[lola][I] not produced: 19368
[lola][I] find path: 19595
[lola][I] goal oriented search: 2367
[lola][I] reporting
[lola][I] not produced: 19354
[lola][I] find path: 19609
[lola][I] goal oriented search: 2367
[lola][I] reporting
[lola][I] not produced: 19338
[lola][I] find path: 19625
[lola][I] goal oriented search: 2367
[lola][I] reporting
[lola][I] not produced: 19332
[lola][I] find path: 19631
[lola][I] goal oriented search: 2367
[lola][I] reporting
[lola][I] not produced: 19326
[lola][I] find path: 19637
[lola][I] goal oriented search: 2367
[lola][I] reporting
[lola][I] not produced: 19311
[lola][I] find path: 19652
[lola][I] goal oriented search: 2367
[lola][I] reporting
[lola][I] not produced: 19299
[lola][I] find path: 19664
[lola][I] goal oriented search: 2367
[lola][I] reporting
[lola][I] not produced: 19280
[lola][I] find path: 19683
[lola][I] goal oriented search: 2367
[lola][I] reporting
[lola][I] not produced: 19269
[lola][I] find path: 19694
[lola][I] goal oriented search: 2367
[lola][I] reporting
[lola][I] not produced: 19259
[lola][I] find path: 19704
[lola][I] goal oriented search: 2367
[lola][I] reporting
[lola][I] not produced: 19247
[lola][I] find path: 19716
[lola][I] goal oriented search: 2367
[lola][I] reporting
[lola][I] not produced: 19201
[lola][I] find path: 19740
[lola][I] goal oriented search: 2389
[lola][I] reporting
[lola][I] not produced: 19183
[lola][I] find path: 19758
[lola][I] goal oriented search: 2389
[lola][I] reporting
[lola][I] not produced: 19175
[lola][I] find path: 19766
[lola][I] goal oriented search: 2389
[lola][I] reporting
[lola][I] not produced: 19170
[lola][I] find path: 19771
[lola][I] goal oriented search: 2389
[lola][I] reporting
[lola][I] not produced: 19158
[lola][I] find path: 19783
[lola][I] goal oriented search: 2389
[lola][I] reporting
[lola][I] not produced: 19140
[lola][I] find path: 19801
[lola][I] goal oriented search: 2389
[lola][I] reporting
[lola][I] not produced: 19106
[lola][I] find path: 19835
[lola][I] goal oriented search: 2389
[lola][I] reporting
[lola][I] not produced: 19084
[lola][I] find path: 19857
[lola][I] goal oriented search: 2389
[lola][I] reporting
[lola][I] not produced: 19073
[lola][I] find path: 19868
[lola][I] goal oriented search: 2389
[lola][I] reporting
[lola][I] not produced: 19061
[lola][I] find path: 19880
[lola][I] goal oriented search: 2389
[lola][I] reporting
[lola][I] not produced: 19037
[lola][I] find path: 19904
[lola][I] goal oriented search: 2389
[lola][I] reporting
[lola][I] not produced: 19033
[lola][I] find path: 19908
[lola][I] goal oriented search: 2389
[lola][I] reporting
[lola][I] not produced: 19008
[lola][I] find path: 19933
[lola][I] goal oriented search: 2389
[lola][I] reporting
[lola][I] not produced: 18998
[lola][I] find path: 19943
[lola][I] goal oriented search: 2389
[lola][I] reporting
[lola][I] not produced: 18990
[lola][I] find path: 19951
[lola][I] goal oriented search: 2389
[lola][I] reporting
[lola][I] not produced: 18979
[lola][I] find path: 19962
[lola][I] goal oriented search: 2389
[lola][I] reporting
[lola][I] not produced: 18949
[lola][I] find path: 19992
[lola][I] goal oriented search: 2389
[lola][I] reporting
[lola][I] not produced: 18943
[lola][I] find path: 19998
[lola][I] goal oriented search: 2389
[lola][I] reporting
[lola][I] not produced: 18925
[lola][I] find path: 19998
[lola][I] goal oriented search: 2407
[lola][I] reporting
[lola][I] not produced: 18909
[lola][I] find path: 20012
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18895
[lola][I] find path: 20026
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18887
[lola][I] find path: 20034
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18876
[lola][I] find path: 20045
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18871
[lola][I] find path: 20050
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18865
[lola][I] find path: 20056
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18849
[lola][I] find path: 20072
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18840
[lola][I] find path: 20081
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18834
[lola][I] find path: 20087
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18820
[lola][I] find path: 20101
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18810
[lola][I] find path: 20111
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18798
[lola][I] find path: 20123
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18783
[lola][I] find path: 20138
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18777
[lola][I] find path: 20144
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18771
[lola][I] find path: 20150
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18767
[lola][I] find path: 20154
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18765
[lola][I] find path: 20156
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18757
[lola][I] find path: 20164
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18745
[lola][I] find path: 20176
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18739
[lola][I] find path: 20182
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18731
[lola][I] find path: 20190
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18722
[lola][I] find path: 20199
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18710
[lola][I] find path: 20211
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18696
[lola][I] find path: 20225
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18688
[lola][I] find path: 20233
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18673
[lola][I] find path: 20248
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18659
[lola][I] find path: 20262
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18651
[lola][I] find path: 20270
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18641
[lola][I] find path: 20280
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18615
[lola][I] find path: 20306
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18609
[lola][I] find path: 20312
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18596
[lola][I] find path: 20325
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18586
[lola][I] find path: 20335
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18580
[lola][I] find path: 20341
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18568
[lola][I] find path: 20353
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18550
[lola][I] find path: 20371
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18537
[lola][I] find path: 20384
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18527
[lola][I] find path: 20394
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18519
[lola][I] find path: 20402
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18513
[lola][I] find path: 20408
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18507
[lola][I] find path: 20414
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18496
[lola][I] find path: 20425
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18484
[lola][I] find path: 20437
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18479
[lola][I] find path: 20442
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18461
[lola][I] find path: 20460
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18453
[lola][I] find path: 20468
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18439
[lola][I] find path: 20482
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18425
[lola][I] find path: 20496
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18411
[lola][I] find path: 20510
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18406
[lola][I] find path: 20515
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18400
[lola][I] find path: 20521
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18394
[lola][I] find path: 20527
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18382
[lola][I] find path: 20539
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18374
[lola][I] find path: 20547
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18368
[lola][I] find path: 20553
[lola][I] goal oriented search: 2409
[lola][I] reporting
[lola][I] not produced: 18264
[lola][I] find path: 20566
[lola][I] goal oriented search: 2500
[lola][I] reporting
[lola][I] not produced: 18253
[lola][I] find path: 20577
[lola][I] goal oriented search: 2500
[lola][I] reporting
[lola][I] not produced: 18249
[lola][I] find path: 20581
[lola][I] goal oriented search: 2500
[lola][I] reporting
[lola][I] not produced: 18243
[lola][I] find path: 20587
[lola][I] goal oriented search: 2500
[lola][I] reporting
[lola][I] not produced: 18174
[lola][I] find path: 20591
[lola][I] goal oriented search: 2565
[lola][I] reporting
[lola][I] not produced: 18160
[lola][I] find path: 20605
[lola][I] goal oriented search: 2565
[lola][I] reporting
[lola][I] not produced: 18146
[lola][I] find path: 20619
[lola][I] goal oriented search: 2565
[lola][I] reporting
[lola][I] not produced: 18142
[lola][I] find path: 20623
[lola][I] goal oriented search: 2565
[lola][I] reporting
[lola][I] not produced: 18138
[lola][I] find path: 20627
[lola][I] goal oriented search: 2565
[lola][I] reporting
[lola][I] not produced: 18132
[lola][I] find path: 20633
[lola][I] goal oriented search: 2565
[lola][I] reporting
[lola][I] not produced: 18122
[lola][I] find path: 20643
[lola][I] goal oriented search: 2565
[lola][I] reporting
[lola][I] not produced: 18110
[lola][I] find path: 20655
[lola][I] goal oriented search: 2565
[lola][I] reporting
[lola][I] not produced: 18095
[lola][I] find path: 20670
[lola][I] goal oriented search: 2565
[lola][I] reporting
[lola][I] not produced: 18087
[lola][I] find path: 20678
[lola][I] goal oriented search: 2565
[lola][I] reporting
[lola][I] not produced: 18075
[lola][I] find path: 20690
[lola][I] goal oriented search: 2565
[lola][I] reporting
[lola][I] not produced: 18071
[lola][I] find path: 20694
[lola][I] goal oriented search: 2565
[lola][I] reporting
[lola][I] not produced: 18063
[lola][I] find path: 20702
[lola][I] goal oriented search: 2565
[lola][I] reporting
[lola][I] not produced: 18057
[lola][I] find path: 20708
[lola][I] goal oriented search: 2565
[lola][I] reporting
[lola][I] not produced: 18053
[lola][I] find path: 20712
[lola][I] goal oriented search: 2565
[lola][I] reporting
[lola][I] not produced: 18047
[lola][I] find path: 20718
[lola][I] goal oriented search: 2565
[lola][I] reporting
[lola][I] not produced: 18047
[lola][I] find path: 20718
[lola][I] goal oriented search: 2565
[lola][I] reporting
[lola][I] not produced: 18047
[lola][I] find path: 20718
[lola][I] goal oriented search: 2565
[lola][I] reporting
[lola][I] not produced: 18047
[lola][I] find path: 20718
[lola][I] goal oriented search: 2565
[lola][I] reporting
[lola][I] not produced: 18047
[lola][I] find path: 20718
/home/mcc/BenchKit/BenchKit_head.sh: line 57: 405 Killed $BK_TOOL --conf=$LOLA_CONF $LOLA_EXAM $LOLA_VERDICT $LOLA_TIMELIMIT $LOLA_MEMLIMIT model.pnml

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="MultiCrashLeafsetExtension-PT-S32C12"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="lola"
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 lola"
echo " Input is MultiCrashLeafsetExtension-PT-S32C12, 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 r256-tall-171654365800142"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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