About the Execution of LoLA for MultiCrashLeafsetExtension-PT-S32C11
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10350.287 | 1800000.00 | 4869912.00 | 3924.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r296-tall-162124162800492.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool lola
Input is MultiCrashLeafsetExtension-PT-S32C11, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r296-tall-162124162800492
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 68M
-rw-r--r-- 1 mcc users 43K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 146K May 15 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 35K May 15 08:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 118K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.7K May 12 08:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 12 08:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 12 08:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 12 08:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 08:13 NewModel
-rw-r--r-- 1 mcc users 5.2K May 11 19:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 11 19:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.0K May 11 16:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 11 16:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 12 04:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 12 04:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 08:13 equiv_col
-rw-r--r-- 1 mcc users 7 May 12 08:13 instance
-rw-r--r-- 1 mcc users 6 May 12 08:13 iscolored
-rw-r--r-- 1 mcc users 67M May 12 08:13 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 1621252543176
starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S32C11
BK_EXAMINATION: QuasiLiveness
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: QuasiLiveness
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: STATE EQUATION TRIES TRANSITION Node30DetectsThatNode22CanReplaceNode17
sara: try reading problem file stateEquationProblem-QuasiLiveness-11582.sara.
lola: reporting
lola: not produced: 39150
lola: reporting
lola: not produced: 39150
lola: reporting
lola: not produced: 39150
lola: reporting
lola: not produced: 39150
lola: reporting
lola: not produced: 39150
lola: reporting
lola: not produced: 39150
lola: reporting
lola: not produced: 39150
lola: reporting
lola: not produced: 39150
lola: reporting
lola: not produced: 39150
lola: reporting
lola: not produced: 39150
lola: reporting
lola: not produced: 39150
lola: reporting
lola: not produced: 39150
lola: reporting
lola: not produced: 39150
lola: reporting
lola: not produced: 39150
lola: reporting
lola: not produced: 39150
lola: reporting
lola: not produced: 39150
lola: reporting
lola: not produced: 39150
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 37633
lola: find path: 1062
lola: goal oriented search: 455
lola: reporting
lola: not produced: 34119
lola: find path: 3013
lola: goal oriented search: 2018
lola: reporting
lola: not produced: 32271
lola: find path: 4114
lola: goal oriented search: 2765
lola: reporting
lola: not produced: 30967
lola: find path: 5092
lola: goal oriented search: 3091
lola: reporting
lola: not produced: 30059
lola: find path: 6000
lola: goal oriented search: 3091
lola: reporting
lola: not produced: 29493
lola: find path: 6564
lola: goal oriented search: 3093
lola: reporting
lola: not produced: 29033
lola: find path: 7024
lola: goal oriented search: 3093
lola: reporting
lola: not produced: 28531
lola: find path: 7456
lola: goal oriented search: 3163
lola: reporting
lola: not produced: 28157
lola: find path: 7830
lola: goal oriented search: 3163
lola: reporting
lola: not produced: 27785
lola: find path: 8202
lola: goal oriented search: 3163
lola: reporting
lola: not produced: 27455
lola: find path: 8532
lola: goal oriented search: 3163
lola: reporting
lola: not produced: 27124
lola: find path: 8863
lola: goal oriented search: 3163
lola: reporting
lola: not produced: 26785
lola: find path: 9202
lola: goal oriented search: 3163
lola: reporting
lola: not produced: 26433
lola: find path: 9554
lola: goal oriented search: 3163
lola: reporting
lola: not produced: 26113
lola: find path: 9862
lola: goal oriented search: 3175
lola: reporting
lola: not produced: 25850
lola: find path: 10125
lola: goal oriented search: 3175
lola: reporting
lola: not produced: 25592
lola: find path: 10383
lola: goal oriented search: 3175
lola: reporting
lola: not produced: 24766
lola: find path: 10658
lola: goal oriented search: 3726
lola: reporting
lola: not produced: 24562
lola: find path: 10836
lola: goal oriented search: 3752
lola: reporting
lola: not produced: 24343
lola: find path: 10997
lola: goal oriented search: 3810
lola: reporting
lola: not produced: 24180
lola: find path: 11158
lola: goal oriented search: 3812
lola: reporting
lola: not produced: 24005
lola: find path: 11333
lola: goal oriented search: 3812
lola: reporting
lola: not produced: 23864
lola: find path: 11474
lola: goal oriented search: 3812
lola: reporting
lola: not produced: 23734
lola: find path: 11604
lola: goal oriented search: 3812
lola: reporting
lola: not produced: 23557
lola: find path: 11781
lola: goal oriented search: 3812
lola: reporting
lola: not produced: 23417
lola: find path: 11921
lola: goal oriented search: 3812
lola: reporting
lola: not produced: 23245
lola: find path: 12093
lola: goal oriented search: 3812
lola: reporting
lola: not produced: 23110
lola: find path: 12228
lola: goal oriented search: 3812
lola: reporting
lola: not produced: 23016
lola: find path: 12320
lola: goal oriented search: 3814
lola: reporting
lola: not produced: 22916
lola: find path: 12420
lola: goal oriented search: 3814
lola: reporting
lola: not produced: 22785
lola: find path: 12551
lola: goal oriented search: 3814
lola: reporting
lola: not produced: 22674
lola: find path: 12662
lola: goal oriented search: 3814
lola: reporting
lola: not produced: 22562
lola: find path: 12736
lola: goal oriented search: 3852
lola: reporting
lola: not produced: 22454
lola: find path: 12816
lola: goal oriented search: 3880
lola: reporting
lola: not produced: 22379
lola: find path: 12891
lola: goal oriented search: 3880
lola: reporting
lola: not produced: 22260
lola: find path: 13010
lola: goal oriented search: 3880
lola: reporting
lola: not produced: 22168
lola: find path: 13102
lola: goal oriented search: 3880
lola: reporting
lola: not produced: 22096
lola: find path: 13174
lola: goal oriented search: 3880
lola: reporting
lola: not produced: 22035
lola: find path: 13235
lola: goal oriented search: 3880
lola: reporting
lola: not produced: 21954
lola: find path: 13316
lola: goal oriented search: 3880
lola: reporting
lola: not produced: 21878
lola: find path: 13392
lola: goal oriented search: 3880
lola: reporting
lola: not produced: 21824
lola: find path: 13446
lola: goal oriented search: 3880
lola: reporting
lola: not produced: 21732
lola: find path: 13513
lola: goal oriented search: 3905
lola: reporting
lola: not produced: 21670
lola: find path: 13575
lola: goal oriented search: 3905
lola: reporting
lola: not produced: 21613
lola: find path: 13632
lola: goal oriented search: 3905
lola: reporting
lola: not produced: 21522
lola: find path: 13695
lola: goal oriented search: 3933
lola: reporting
lola: not produced: 21480
lola: find path: 13737
lola: goal oriented search: 3933
lola: reporting
lola: not produced: 21418
lola: find path: 13799
lola: goal oriented search: 3933
lola: reporting
lola: not produced: 21354
lola: find path: 13863
lola: goal oriented search: 3933
lola: reporting
lola: not produced: 21296
lola: find path: 13921
lola: goal oriented search: 3933
lola: reporting
lola: not produced: 21229
lola: find path: 13988
lola: goal oriented search: 3933
lola: reporting
lola: not produced: 21148
lola: find path: 14069
lola: goal oriented search: 3933
lola: reporting
lola: not produced: 21093
lola: find path: 14124
lola: goal oriented search: 3933
lola: reporting
lola: not produced: 21030
lola: find path: 14187
lola: goal oriented search: 3933
lola: reporting
lola: not produced: 20974
lola: find path: 14243
lola: goal oriented search: 3933
lola: reporting
lola: not produced: 20895
lola: find path: 14297
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 20860
lola: find path: 14332
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 20796
lola: find path: 14396
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 20758
lola: find path: 14434
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 20710
lola: find path: 14482
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 20663
lola: find path: 14529
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 20607
lola: find path: 14585
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 20569
lola: find path: 14623
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 20522
lola: find path: 14670
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 20489
lola: find path: 14703
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 20459
lola: find path: 14733
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 20425
lola: find path: 14767
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 20392
lola: find path: 14800
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 20348
lola: find path: 14844
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 20326
lola: find path: 14866
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 20300
lola: find path: 14892
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 20279
lola: find path: 14913
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 20228
lola: find path: 14964
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 20200
lola: find path: 14992
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 20164
lola: find path: 15028
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 20118
lola: find path: 15074
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 20088
lola: find path: 15104
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 20062
lola: find path: 15130
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 20036
lola: find path: 15156
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 20002
lola: find path: 15190
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19978
lola: find path: 15214
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19946
lola: find path: 15246
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19910
lola: find path: 15282
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19880
lola: find path: 15312
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19852
lola: find path: 15340
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19806
lola: find path: 15386
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19792
lola: find path: 15400
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19774
lola: find path: 15418
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19753
lola: find path: 15439
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19733
lola: find path: 15459
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19715
lola: find path: 15477
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19701
lola: find path: 15491
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19682
lola: find path: 15510
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19666
lola: find path: 15526
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19634
lola: find path: 15558
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19610
lola: find path: 15582
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19586
lola: find path: 15606
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19570
lola: find path: 15622
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19554
lola: find path: 15638
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19537
lola: find path: 15655
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19512
lola: find path: 15680
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19488
lola: find path: 15704
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19483
lola: find path: 15709
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19467
lola: find path: 15725
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19448
lola: find path: 15744
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19432
lola: find path: 15760
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19422
lola: find path: 15770
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19404
lola: find path: 15788
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19392
lola: find path: 15800
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19386
lola: find path: 15806
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19377
lola: find path: 15815
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19365
lola: find path: 15827
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19343
lola: find path: 15849
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19333
lola: find path: 15859
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19327
lola: find path: 15865
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19308
lola: find path: 15884
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19297
lola: find path: 15895
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19283
lola: find path: 15909
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19261
lola: find path: 15931
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19249
lola: find path: 15943
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19247
lola: find path: 15945
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19243
lola: find path: 15949
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19237
lola: find path: 15955
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19227
lola: find path: 15965
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19215
lola: find path: 15977
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19195
lola: find path: 15997
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19183
lola: find path: 16009
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19165
lola: find path: 16027
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19153
lola: find path: 16039
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19135
lola: find path: 16057
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19113
lola: find path: 16079
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19109
lola: find path: 16083
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19096
lola: find path: 16096
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19096
lola: find path: 16096
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19091
lola: find path: 16101
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19077
lola: find path: 16115
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19056
lola: find path: 16136
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19050
lola: find path: 16142
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19032
lola: find path: 16160
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19022
lola: find path: 16170
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19010
lola: find path: 16182
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 19002
lola: find path: 16190
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18990
lola: find path: 16202
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18978
lola: find path: 16214
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18968
lola: find path: 16224
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18950
lola: find path: 16242
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18948
lola: find path: 16244
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18927
lola: find path: 16265
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18919
lola: find path: 16273
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18915
lola: find path: 16277
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18901
lola: find path: 16291
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18893
lola: find path: 16299
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18889
lola: find path: 16303
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18885
lola: find path: 16307
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18879
lola: find path: 16313
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18871
lola: find path: 16321
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18863
lola: find path: 16329
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18855
lola: find path: 16337
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18841
lola: find path: 16351
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18830
lola: find path: 16362
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18816
lola: find path: 16376
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18806
lola: find path: 16386
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18796
lola: find path: 16396
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18777
lola: find path: 16415
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18760
lola: find path: 16432
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18756
lola: find path: 16436
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18750
lola: find path: 16442
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18742
lola: find path: 16450
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18735
lola: find path: 16457
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18729
lola: find path: 16463
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18723
lola: find path: 16469
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18715
lola: find path: 16477
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18705
lola: find path: 16487
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18699
lola: find path: 16493
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18691
lola: find path: 16501
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18684
lola: find path: 16508
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18682
lola: find path: 16510
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18673
lola: find path: 16519
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18663
lola: find path: 16529
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18659
lola: find path: 16533
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18653
lola: find path: 16539
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18645
lola: find path: 16547
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18641
lola: find path: 16551
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18629
lola: find path: 16563
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18613
lola: find path: 16579
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18605
lola: find path: 16587
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18599
lola: find path: 16593
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18595
lola: find path: 16597
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18580
lola: find path: 16612
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18572
lola: find path: 16620
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18566
lola: find path: 16626
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18560
lola: find path: 16632
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18550
lola: find path: 16642
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18544
lola: find path: 16648
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18534
lola: find path: 16658
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18530
lola: find path: 16662
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18518
lola: find path: 16674
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18504
lola: find path: 16688
lola: goal oriented search: 3958
lola: reporting
lola: not produced: 18456
lola: find path: 16694
lola: goal oriented search: 4000
lola: reporting
lola: not produced: 18451
lola: find path: 16699
lola: goal oriented search: 4000
lola: reporting
lola: not produced: 18439
lola: find path: 16711
lola: goal oriented search: 4000
lola: reporting
lola: not produced: 18428
lola: find path: 16716
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 18413
lola: find path: 16729
lola: goal oriented search: 4008
lola: reporting
lola: not produced: 18407
lola: find path: 16735
lola: goal oriented search: 4008
lola: reporting
lola: not produced: 18399
lola: find path: 16743
lola: goal oriented search: 4008
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 18390
lola: find path: 16752
lola: goal oriented search: 4008
lola: reporting
lola: not produced: 18380
lola: find path: 16762
lola: goal oriented search: 4008
lola: reporting
lola: not produced: 18372
lola: find path: 16770
lola: goal oriented search: 4008
lola: reporting
lola: not produced: 18363
lola: find path: 16779
lola: goal oriented search: 4008
lola: reporting
lola: not produced: 18356
lola: find path: 16786
lola: goal oriented search: 4008
lola: reporting
lola: not produced: 18352
lola: find path: 16790
lola: goal oriented search: 4008
lola: reporting
lola: not produced: 18348
lola: find path: 16794
lola: goal oriented search: 4008
lola: reporting
lola: not produced: 18348
lola: find path: 16794
lola: goal oriented search: 4008
lola: reporting
lola: not produced: 18338
lola: find path: 16804
lola: goal oriented search: 4008
lola: reporting
lola: not produced: 18322
lola: find path: 16818
lola: goal oriented search: 4010
lola: reporting
lola: not produced: 18313
lola: find path: 16827
lola: goal oriented search: 4010
lola: reporting
lola: not produced: 18305
lola: find path: 16835
lola: goal oriented search: 4010
lola: reporting
lola: not produced: 18297
lola: find path: 16843
lola: goal oriented search: 4010
lola: reporting
lola: not produced: 18291
lola: find path: 16849
lola: goal oriented search: 4010
lola: reporting
lola: not produced: 18286
lola: find path: 16854
lola: goal oriented search: 4010
lola: reporting
lola: not produced: 18272
lola: find path: 16868
lola: goal oriented search: 4010
lola: reporting
lola: not produced: 18268
lola: find path: 16872
lola: goal oriented search: 4010
lola: reporting
lola: not produced: 18261
lola: find path: 16879
lola: goal oriented search: 4010
lola: reporting
lola: not produced: 18242
lola: find path: 16898
lola: goal oriented search: 4010
lola: reporting
lola: not produced: 18242
lola: find path: 16898
lola: goal oriented search: 4010
lola: reporting
lola: not produced: 18240
lola: find path: 16898
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18238
lola: find path: 16900
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18234
lola: find path: 16904
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18228
lola: find path: 16910
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18226
lola: find path: 16912
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18218
lola: find path: 16920
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18214
lola: find path: 16924
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18204
lola: find path: 16934
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18200
lola: find path: 16938
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18200
lola: find path: 16938
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18191
lola: find path: 16947
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18186
lola: find path: 16952
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18170
lola: find path: 16968
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18170
lola: find path: 16968
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18162
lola: find path: 16976
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18156
lola: find path: 16982
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18140
lola: find path: 16998
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18140
lola: find path: 16998
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18136
lola: find path: 17002
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18128
lola: find path: 17010
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18124
lola: find path: 17014
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18110
lola: find path: 17028
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18108
lola: find path: 17030
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18098
lola: find path: 17040
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18089
lola: find path: 17049
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18079
lola: find path: 17059
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18071
lola: find path: 17067
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18067
lola: find path: 17071
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18065
lola: find path: 17073
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18059
lola: find path: 17079
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18049
lola: find path: 17089
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18047
lola: find path: 17091
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18035
lola: find path: 17103
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18033
lola: find path: 17105
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18031
lola: find path: 17107
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18012
lola: find path: 17126
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 18001
lola: find path: 17137
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17999
lola: find path: 17139
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17995
lola: find path: 17143
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17991
lola: find path: 17147
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17981
lola: find path: 17157
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17973
lola: find path: 17165
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17969
lola: find path: 17169
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17958
lola: find path: 17180
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17956
lola: find path: 17182
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17952
lola: find path: 17186
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17944
lola: find path: 17194
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17944
lola: find path: 17194
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17922
lola: find path: 17216
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17912
lola: find path: 17226
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17910
lola: find path: 17228
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17908
lola: find path: 17230
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17906
lola: find path: 17232
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17904
lola: find path: 17234
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17902
lola: find path: 17236
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17898
lola: find path: 17240
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17887
lola: find path: 17251
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17887
lola: find path: 17251
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17877
lola: find path: 17261
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17870
lola: find path: 17268
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17866
lola: find path: 17272
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17858
lola: find path: 17280
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17854
lola: find path: 17284
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17847
lola: find path: 17291
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17839
lola: find path: 17299
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17837
lola: find path: 17301
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17833
lola: find path: 17305
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17831
lola: find path: 17307
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17823
lola: find path: 17315
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17813
lola: find path: 17325
lola: goal oriented search: 4012
lola: reporting
lola: not produced: 17809
lola: find path: 17329
lola: goal oriented search: 4012
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-S32C11"
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-4028"
echo " Executing tool lola"
echo " Input is MultiCrashLeafsetExtension-PT-S32C11, 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 r296-tall-162124162800492"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C11.tgz
mv MultiCrashLeafsetExtension-PT-S32C11 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 '
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 ;