fond
Model Checking Contest 2021
11th edition, Paris, France, June 23, 2021
Execution of r296-tall-162124162800493
Last Updated
Jun 28, 2021

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
16218.596 1784521.00 6544482.00 1231.20 [undef] Cannot compute

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-162124162800493.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 StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r296-tall-162124162800493
=====================================================================

--------------------
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 StableMarking

=== Now, execution of the tool begins

BK_START 1621252573155

starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S32C11
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: StableMarking

BK_STOP 1621254357676

--------------------
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 PLACE Node25HasAskedItsLeafSetToRx0ToReplaceNode24
sara: try reading problem file stateEquationProblem-ConstantPlace-17261.sara.
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: reporting
lola: not produced: 34403
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 29689
lola: find path: 2515
lola: symmetry: 2199
lola: reporting
lola: not produced: 25565
lola: find path: 4578
lola: symmetry: 4260
lola: reporting
lola: not produced: 23483
lola: find path: 5619
lola: symmetry: 5301
lola: reporting
lola: not produced: 21999
lola: find path: 6364
lola: symmetry: 6040
lola: reporting
lola: not produced: 20785
lola: find path: 6971
lola: symmetry: 6647
lola: reporting
lola: not produced: 19787
lola: find path: 7470
lola: symmetry: 7146
lola: reporting
lola: not produced: 19049
lola: find path: 7839
lola: symmetry: 7515
lola: reporting
lola: not produced: 18189
lola: find path: 8269
lola: symmetry: 7945
lola: reporting
lola: not produced: 17557
lola: find path: 8585
lola: symmetry: 8261
lola: reporting
lola: not produced: 16897
lola: find path: 8915
lola: symmetry: 8591
lola: reporting
lola: not produced: 16489
lola: find path: 9119
lola: symmetry: 8795
lola: reporting
lola: not produced: 16105
lola: find path: 9311
lola: symmetry: 8987
lola: reporting
lola: not produced: 15815
lola: find path: 9456
lola: symmetry: 9132
lola: reporting
lola: not produced: 15521
lola: find path: 9603
lola: symmetry: 9279
lola: reporting
lola: not produced: 15287
lola: find path: 9720
lola: symmetry: 9396
lola: reporting
lola: not produced: 15031
lola: find path: 9848
lola: symmetry: 9524
lola: reporting
lola: not produced: 14849
lola: find path: 9939
lola: symmetry: 9615
lola: reporting
lola: not produced: 14743
lola: find path: 9992
lola: symmetry: 9668
lola: reporting
lola: not produced: 14523
lola: find path: 10102
lola: symmetry: 9778
lola: reporting
lola: not produced: 14339
lola: find path: 10194
lola: symmetry: 9870
lola: reporting
lola: not produced: 14211
lola: find path: 10258
lola: symmetry: 9934
lola: reporting
lola: not produced: 14075
lola: find path: 10326
lola: symmetry: 10002
lola: reporting
lola: not produced: 13925
lola: find path: 10401
lola: symmetry: 10077
lola: reporting
lola: not produced: 13787
lola: find path: 10470
lola: symmetry: 10146
lola: reporting
lola: not produced: 13671
lola: find path: 10528
lola: symmetry: 10204
lola: reporting
lola: not produced: 13527
lola: find path: 10600
lola: symmetry: 10276
lola: reporting
lola: not produced: 13377
lola: find path: 10675
lola: symmetry: 10351
lola: reporting
lola: not produced: 13291
lola: find path: 10718
lola: symmetry: 10394
lola: reporting
lola: not produced: 13195
lola: find path: 10766
lola: symmetry: 10442
lola: reporting
lola: not produced: 13107
lola: find path: 10810
lola: symmetry: 10486
lola: reporting
lola: not produced: 12997
lola: find path: 10865
lola: symmetry: 10541
lola: reporting
lola: not produced: 12913
lola: find path: 10907
lola: symmetry: 10583
lola: reporting
lola: not produced: 12793
lola: find path: 10967
lola: symmetry: 10643
lola: reporting
lola: not produced: 12719
lola: find path: 11004
lola: symmetry: 10680
lola: reporting
lola: not produced: 12649
lola: find path: 11039
lola: symmetry: 10715
lola: reporting
lola: not produced: 12573
lola: find path: 11077
lola: symmetry: 10753
lola: reporting
lola: not produced: 12489
lola: find path: 11119
lola: symmetry: 10795
lola: reporting
lola: not produced: 12459
lola: find path: 11134
lola: symmetry: 10810
lola: reporting
lola: not produced: 12427
lola: find path: 11150
lola: symmetry: 10826
lola: reporting
lola: not produced: 12375
lola: find path: 11176
lola: symmetry: 10852
lola: reporting
lola: not produced: 12311
lola: find path: 11208
lola: symmetry: 10884
lola: reporting
lola: not produced: 12263
lola: find path: 11232
lola: symmetry: 10908
lola: reporting
lola: not produced: 12203
lola: find path: 11262
lola: symmetry: 10938
lola: reporting
lola: not produced: 12135
lola: find path: 11296
lola: symmetry: 10972
lola: reporting
lola: not produced: 12105
lola: find path: 11311
lola: symmetry: 10987
lola: reporting
lola: not produced: 12067
lola: find path: 11330
lola: symmetry: 11006
lola: reporting
lola: not produced: 11999
lola: find path: 11364
lola: symmetry: 11040
lola: reporting
lola: not produced: 11943
lola: find path: 11392
lola: symmetry: 11068
lola: reporting
lola: not produced: 11907
lola: find path: 11410
lola: symmetry: 11086
lola: reporting
lola: not produced: 11869
lola: find path: 11429
lola: symmetry: 11105
lola: reporting
lola: not produced: 11841
lola: find path: 11443
lola: symmetry: 11119
lola: reporting
lola: not produced: 11811
lola: find path: 11458
lola: symmetry: 11134
lola: reporting
lola: not produced: 11771
lola: find path: 11478
lola: symmetry: 11154
lola: reporting
lola: not produced: 11729
lola: find path: 11499
lola: symmetry: 11175
lola: reporting
lola: not produced: 11695
lola: find path: 11516
lola: symmetry: 11192
lola: reporting
lola: not produced: 11679
lola: find path: 11524
lola: symmetry: 11200
lola: reporting
lola: not produced: 11629
lola: find path: 11549
lola: symmetry: 11225
lola: reporting
lola: not produced: 11609
lola: find path: 11559
lola: symmetry: 11235
lola: reporting
lola: not produced: 11575
lola: find path: 11576
lola: symmetry: 11252
lola: reporting
lola: not produced: 11543
lola: find path: 11592
lola: symmetry: 11268
lola: reporting
lola: not produced: 11519
lola: find path: 11604
lola: symmetry: 11280
lola: reporting
lola: not produced: 11491
lola: find path: 11618
lola: symmetry: 11294
lola: reporting
lola: not produced: 11447
lola: find path: 11640
lola: symmetry: 11316
lola: reporting
lola: not produced: 11419
lola: find path: 11654
lola: symmetry: 11330
lola: reporting
lola: not produced: 11395
lola: find path: 11666
lola: symmetry: 11342
lola: reporting
lola: not produced: 11349
lola: find path: 11689
lola: symmetry: 11365
lola: reporting
lola: not produced: 11331
lola: find path: 11698
lola: symmetry: 11374
lola: reporting
lola: not produced: 11295
lola: find path: 11716
lola: symmetry: 11392
lola: reporting
lola: not produced: 11267
lola: find path: 11730
lola: symmetry: 11406
lola: reporting
lola: not produced: 11243
lola: find path: 11742
lola: symmetry: 11418
lola: reporting
lola: not produced: 11217
lola: find path: 11755
lola: symmetry: 11431
lola: reporting
lola: not produced: 11197
lola: find path: 11765
lola: symmetry: 11441
lola: reporting
lola: not produced: 11193
lola: find path: 11767
lola: symmetry: 11443
lola: reporting
lola: not produced: 11189
lola: find path: 11769
lola: symmetry: 11445
lola: reporting
lola: not produced: 11165
lola: find path: 11781
lola: symmetry: 11457
lola: reporting
lola: not produced: 11161
lola: find path: 11783
lola: symmetry: 11459
lola: reporting
lola: not produced: 11099
lola: find path: 11814
lola: symmetry: 11490
lola: reporting
lola: not produced: 11075
lola: find path: 11826
lola: symmetry: 11502
lola: reporting
lola: not produced: 11069
lola: find path: 11829
lola: symmetry: 11505
lola: reporting
lola: not produced: 11037
lola: find path: 11845
lola: symmetry: 11521
lola: reporting
lola: not produced: 11009
lola: find path: 11859
lola: symmetry: 11535
lola: reporting
lola: not produced: 10981
lola: find path: 11873
lola: symmetry: 11549
lola: reporting
lola: not produced: 10951
lola: find path: 11888
lola: symmetry: 11564
lola: reporting
lola: not produced: 10941
lola: find path: 11893
lola: symmetry: 11569
lola: reporting
lola: not produced: 10933
lola: find path: 11897
lola: symmetry: 11573
lola: reporting
lola: not produced: 10927
lola: find path: 11900
lola: symmetry: 11576
lola: reporting
lola: not produced: 10897
lola: find path: 11915
lola: symmetry: 11591
lola: reporting
lola: not produced: 10879
lola: find path: 11924
lola: symmetry: 11600
lola: reporting
lola: not produced: 10851
lola: find path: 11938
lola: symmetry: 11614
lola: reporting
lola: not produced: 10835
lola: find path: 11946
lola: symmetry: 11622
lola: reporting
lola: not produced: 10805
lola: find path: 11961
lola: symmetry: 11637
lola: reporting
lola: not produced: 10785
lola: find path: 11971
lola: symmetry: 11647
lola: reporting
lola: not produced: 10777
lola: find path: 11975
lola: symmetry: 11651
lola: reporting
lola: not produced: 10765
lola: find path: 11981
lola: symmetry: 11657
lola: reporting
lola: not produced: 10745
lola: find path: 11991
lola: symmetry: 11667
lola: reporting
lola: not produced: 10729
lola: find path: 11999
lola: symmetry: 11675
lola: reporting
lola: not produced: 10713
lola: find path: 12007
lola: symmetry: 11683
lola: reporting
lola: not produced: 10683
lola: find path: 12022
lola: symmetry: 11698
lola: reporting
lola: not produced: 10659
lola: find path: 12034
lola: symmetry: 11710
lola: reporting
lola: not produced: 10641
lola: find path: 12043
lola: symmetry: 11719
lola: reporting
lola: not produced: 10617
lola: find path: 12055
lola: symmetry: 11731
lola: reporting
lola: not produced: 10601
lola: find path: 12063
lola: symmetry: 11739
lola: reporting
lola: not produced: 10589
lola: find path: 12069
lola: symmetry: 11745
lola: reporting
lola: not produced: 10579
lola: find path: 12074
lola: symmetry: 11750
lola: reporting
lola: not produced: 10567
lola: find path: 12080
lola: symmetry: 11756
lola: reporting
lola: not produced: 10549
lola: find path: 12089
lola: symmetry: 11765
lola: reporting
lola: not produced: 10533
lola: find path: 12097
lola: symmetry: 11773
lola: reporting
lola: not produced: 10525
lola: find path: 12101
lola: symmetry: 11777
lola: reporting
lola: not produced: 10513
lola: find path: 12107
lola: symmetry: 11783
lola: reporting
lola: not produced: 10489
lola: find path: 12119
lola: symmetry: 11795
lola: reporting
lola: not produced: 10465
lola: find path: 12131
lola: symmetry: 11807
lola: reporting
lola: not produced: 10461
lola: find path: 12133
lola: symmetry: 11809
lola: reporting
lola: not produced: 10461
lola: find path: 12133
lola: symmetry: 11809
lola: reporting
lola: not produced: 10457
lola: find path: 12135
lola: symmetry: 11811
lola: reporting
lola: not produced: 10453
lola: find path: 12137
lola: symmetry: 11813
lola: reporting
lola: not produced: 10449
lola: find path: 12139
lola: symmetry: 11815
lola: reporting
lola: not produced: 10441
lola: find path: 12143
lola: symmetry: 11819
lola: reporting
lola: not produced: 10433
lola: find path: 12147
lola: symmetry: 11823
lola: reporting
lola: not produced: 10425
lola: find path: 12151
lola: symmetry: 11827
lola: reporting
lola: not produced: 10415
lola: find path: 12156
lola: symmetry: 11832
lola: reporting
lola: not produced: 10405
lola: find path: 12161
lola: symmetry: 11837
lola: reporting
lola: not produced: 10405
lola: find path: 12161
lola: symmetry: 11837
lola: reporting
lola: not produced: 10401
lola: find path: 12163
lola: symmetry: 11839
lola: reporting
lola: not produced: 10397
lola: find path: 12165
lola: symmetry: 11841
lola: reporting
lola: not produced: 10389
lola: find path: 12169
lola: symmetry: 11845
lola: reporting
lola: not produced: 10377
lola: find path: 12175
lola: symmetry: 11851
lola: reporting
lola: not produced: 10369
lola: find path: 12179
lola: symmetry: 11855
lola: reporting
lola: not produced: 10365
lola: find path: 12181
lola: symmetry: 11857
lola: reporting
lola: not produced: 10365
lola: find path: 12181
lola: symmetry: 11857
lola: reporting
lola: not produced: 10361
lola: find path: 12183
lola: symmetry: 11859
lola: reporting
lola: not produced: 10361
lola: find path: 12183
lola: symmetry: 11859
lola: reporting
lola: not produced: 10361
lola: find path: 12183
lola: symmetry: 11859
lola: reporting
lola: not produced: 10357
lola: find path: 12185
lola: symmetry: 11861
lola: reporting
lola: not produced: 10357
lola: find path: 12185
lola: symmetry: 11861
lola: reporting
lola: not produced: 10349
lola: find path: 12189
lola: symmetry: 11865
lola: reporting
lola: not produced: 10341
lola: find path: 12193
lola: symmetry: 11869
lola: reporting
lola: not produced: 10333
lola: find path: 12197
lola: symmetry: 11873
lola: reporting
lola: not produced: 10323
lola: find path: 12202
lola: symmetry: 11878
lola: reporting
lola: not produced: 10319
lola: find path: 12204
lola: symmetry: 11880
lola: reporting
lola: not produced: 10291
lola: find path: 12218
lola: symmetry: 11894
lola: reporting
lola: not produced: 10291
lola: find path: 12218
lola: symmetry: 11894
lola: reporting
lola: not produced: 10283
lola: find path: 12222
lola: symmetry: 11898
lola: reporting
lola: not produced: 10283
lola: find path: 12222
lola: symmetry: 11898
lola: reporting
lola: not produced: 10275
lola: find path: 12226
lola: symmetry: 11902
lola: reporting
lola: not produced: 10273
lola: find path: 12227
lola: symmetry: 11903
lola: reporting
lola: not produced: 10273
lola: find path: 12227
lola: symmetry: 11903
lola: reporting
lola: not produced: 10265
lola: find path: 12231
lola: symmetry: 11907
lola: reporting
lola: not produced: 10265
lola: find path: 12231
lola: symmetry: 11907
lola: reporting
lola: not produced: 10233
lola: find path: 12247
lola: symmetry: 11923
lola: reporting
lola: not produced: 10229
lola: find path: 12249
lola: symmetry: 11925
lola: reporting
lola: not produced: 10223
lola: find path: 12252
lola: symmetry: 11928
lola: reporting
lola: not produced: 10219
lola: find path: 12254
lola: symmetry: 11930
lola: reporting
lola: not produced: 10215
lola: find path: 12256
lola: symmetry: 11932
lola: reporting
lola: not produced: 10215
lola: find path: 12256
lola: symmetry: 11932
lola: reporting
lola: not produced: 10207
lola: find path: 12260
lola: symmetry: 11936
lola: reporting
lola: not produced: 10203
lola: find path: 12262
lola: symmetry: 11938
lola: reporting
lola: not produced: 10199
lola: find path: 12264
lola: symmetry: 11940
lola: reporting
lola: not produced: 10195
lola: find path: 12266
lola: symmetry: 11942
lola: reporting
lola: not produced: 10187
lola: find path: 12270
lola: symmetry: 11946
lola: reporting
lola: not produced: 10187
lola: find path: 12270
lola: symmetry: 11946
lola: reporting
lola: not produced: 10187
lola: find path: 12270
lola: symmetry: 11946
lola: reporting
lola: not produced: 10177
lola: find path: 12275
lola: symmetry: 11951
lola: reporting
lola: not produced: 10167
lola: find path: 12280
lola: symmetry: 11956
lola: reporting
lola: not produced: 10145
lola: find path: 12291
lola: symmetry: 11967
lola: reporting
lola: not produced: 10135
lola: find path: 12296
lola: symmetry: 11972
lola: reporting
lola: not produced: 10129
lola: find path: 12299
lola: symmetry: 11975
lola: reporting
lola: not produced: 10115
lola: find path: 12306
lola: symmetry: 11982
lola: reporting
lola: not produced: 10107
lola: find path: 12310
lola: symmetry: 11986
lola: reporting
lola: not produced: 10095
lola: find path: 12316
lola: symmetry: 11992
lola: reporting
lola: not produced: 10095
lola: find path: 12316
lola: symmetry: 11992
lola: reporting
lola: not produced: 10079
lola: find path: 12324
lola: symmetry: 12000
lola: reporting
lola: not produced: 10075
lola: find path: 12326
lola: symmetry: 12002
lola: reporting
lola: not produced: 10075
lola: find path: 12326
lola: symmetry: 12002
lola: reporting
lola: not produced: 10075
lola: find path: 12326
lola: symmetry: 12002
lola: reporting
lola: not produced: 10071
lola: find path: 12328
lola: symmetry: 12004
lola: reporting
lola: not produced: 10061
lola: find path: 12333
lola: symmetry: 12009
lola: reporting
lola: not produced: 10057
lola: find path: 12335
lola: symmetry: 12011
lola: reporting
lola: not produced: 10057
lola: find path: 12335
lola: symmetry: 12011
lola: reporting
lola: not produced: 10049
lola: find path: 12339
lola: symmetry: 12015
lola: reporting
lola: not produced: 10049
lola: find path: 12339
lola: symmetry: 12015
lola: reporting
lola: not produced: 10037
lola: find path: 12345
lola: symmetry: 12021
lola: reporting
lola: not produced: 10031
lola: find path: 12348
lola: symmetry: 12024
lola: reporting
lola: not produced: 10027
lola: find path: 12350
lola: symmetry: 12026
lola: reporting
lola: not produced: 10019
lola: find path: 12354
lola: symmetry: 12030
lola: reporting
lola: not produced: 10007
lola: find path: 12360
lola: symmetry: 12036
lola: reporting
lola: not produced: 10003
lola: find path: 12362
lola: symmetry: 12038
lola: reporting
lola: not produced: 9995
lola: find path: 12366
lola: symmetry: 12042
lola: reporting
lola: not produced: 9995
lola: find path: 12366
lola: symmetry: 12042
lola: reporting
lola: not produced: 9995
lola: find path: 12366
lola: symmetry: 12042
lola: reporting
lola: not produced: 9991
lola: find path: 12368
lola: symmetry: 12044
lola: reporting
lola: not produced: 9987
lola: find path: 12370
lola: symmetry: 12046
lola: reporting
lola: not produced: 9983
lola: find path: 12372
lola: symmetry: 12048
lola: reporting
lola: not produced: 9971
lola: find path: 12378
lola: symmetry: 12054
lola: reporting
lola: not produced: 9967
lola: find path: 12380
lola: symmetry: 12056
lola: reporting
lola: not produced: 9967
lola: find path: 12380
lola: symmetry: 12056
lola: reporting
lola: not produced: 9963
lola: find path: 12382
lola: symmetry: 12058
lola: reporting
lola: not produced: 9955
lola: find path: 12386
lola: symmetry: 12062
lola: reporting
lola: not produced: 9935
lola: find path: 12396
lola: symmetry: 12072
lola: reporting
lola: not produced: 9933
lola: find path: 12397
lola: symmetry: 12073
lola: reporting
lola: not produced: 9929
lola: find path: 12399
lola: symmetry: 12075
lola: reporting
lola: not produced: 9915
lola: find path: 12406
lola: symmetry: 12082
lola: reporting
lola: not produced: 9905
lola: find path: 12411
lola: symmetry: 12087
lola: reporting
lola: not produced: 9903
lola: find path: 12412
lola: symmetry: 12088
lola: reporting
lola: not produced: 9903
lola: find path: 12412
lola: symmetry: 12088
lola: reporting
lola: not produced: 9899
lola: find path: 12414
lola: symmetry: 12090
lola: reporting
lola: not produced: 9895
lola: find path: 12416
lola: symmetry: 12092
lola: reporting
lola: not produced: 9895
lola: find path: 12416
lola: symmetry: 12092
lola: reporting
lola: not produced: 9895
lola: find path: 12416
lola: symmetry: 12092
lola: reporting
lola: not produced: 9895
lola: find path: 12416
lola: symmetry: 12092
lola: reporting
lola: not produced: 9891
lola: find path: 12418
lola: symmetry: 12094
lola: reporting
lola: not produced: 9891
lola: find path: 12418
lola: symmetry: 12094
lola: reporting
lola: not produced: 9871
lola: find path: 12428
lola: symmetry: 12104
lola: reporting
lola: not produced: 9861
lola: find path: 12433
lola: symmetry: 12109
lola: reporting
lola: not produced: 9861
lola: find path: 12433
lola: symmetry: 12109
lola: reporting
lola: not produced: 9861
lola: find path: 12433
lola: symmetry: 12109
lola: reporting
lola: not produced: 9851
lola: find path: 12438
lola: symmetry: 12114
lola: reporting
lola: not produced: 9843
lola: find path: 12442
lola: symmetry: 12118
lola: reporting
lola: not produced: 9837
lola: find path: 12445
lola: symmetry: 12121
lola: reporting
lola: not produced: 9833
lola: find path: 12447
lola: symmetry: 12123
lola: reporting
lola: not produced: 9825
lola: find path: 12451
lola: symmetry: 12127
lola: reporting
lola: not produced: 9825
lola: find path: 12451
lola: symmetry: 12127
lola: reporting
lola: not produced: 9825
lola: find path: 12451
lola: symmetry: 12127
lola: reporting
lola: not produced: 9809
lola: find path: 12459
lola: symmetry: 12135
lola: reporting
lola: not produced: 9809
lola: find path: 12459
lola: symmetry: 12135
lola: reporting
lola: not produced: 9805
lola: find path: 12461
lola: symmetry: 12137
lola: reporting
lola: not produced: 9801
lola: find path: 12463
lola: symmetry: 12139
lola: reporting
lola: not produced: 9797
lola: find path: 12465
lola: symmetry: 12141
lola: reporting
lola: not produced: 9785
lola: find path: 12471
lola: symmetry: 12147
lola: reporting
lola: not produced: 9785
lola: find path: 12471
lola: symmetry: 12147
lola: reporting
lola: not produced: 9769
lola: find path: 12479
lola: symmetry: 12155
lola: reporting
lola: not produced: 9769
lola: find path: 12479
lola: symmetry: 12155
lola: reporting
lola: not produced: 9761
lola: find path: 12483
lola: symmetry: 12159
lola: reporting
lola: not produced: 9761
lola: find path: 12483
lola: symmetry: 12159
lola: reporting
lola: not produced: 9757
lola: find path: 12485
lola: symmetry: 12161
lola: reporting
lola: not produced: 9749
lola: find path: 12489
lola: symmetry: 12165
lola: reporting
lola: not produced: 9749
lola: find path: 12489
lola: symmetry: 12165
lola: reporting
lola: not produced: 9741
lola: find path: 12493
lola: symmetry: 12169
lola: reporting
lola: not produced: 9737
lola: find path: 12495
lola: symmetry: 12171
lola: reporting
lola: not produced: 9737
lola: find path: 12495
lola: symmetry: 12171
lola: reporting
lola: not produced: 9737
lola: find path: 12495
lola: symmetry: 12171
lola: reporting
lola: not produced: 9733
lola: find path: 12497
lola: symmetry: 12173
lola: reporting
lola: not produced: 9733
lola: find path: 12497
lola: symmetry: 12173
lola: reporting
lola: not produced: 9729
lola: find path: 12499
lola: symmetry: 12175
lola: reporting
lola: not produced: 9725
lola: find path: 12501
lola: symmetry: 12177
lola: reporting
lola: not produced: 9717
lola: find path: 12505
lola: symmetry: 12181
lola: reporting
lola: not produced: 9711
lola: find path: 12508
lola: symmetry: 12184
lola: reporting
lola: not produced: 9709
lola: find path: 12509
lola: symmetry: 12185
lola: reporting
lola: not produced: 9701
lola: find path: 12513
lola: symmetry: 12189
lola: reporting
lola: not produced: 9697
lola: find path: 12515
lola: symmetry: 12191
lola: reporting
lola: not produced: 9697
lola: find path: 12515
lola: symmetry: 12191
lola: reporting
lola: not produced: 9685
lola: find path: 12521
lola: symmetry: 12197
lola: reporting
lola: not produced: 9685
lola: find path: 12521
lola: symmetry: 12197
lola: reporting
lola: not produced: 9681
lola: find path: 12523
lola: symmetry: 12199
lola: reporting
lola: not produced: 9677
lola: find path: 12525
lola: symmetry: 12201
lola: reporting
lola: not produced: 9677
lola: find path: 12525
lola: symmetry: 12201
lola: reporting
lola: not produced: 9677
lola: find path: 12525
lola: symmetry: 12201
lola: reporting
lola: not produced: 9673
lola: find path: 12527
lola: symmetry: 12203
lola: reporting
lola: not produced: 9673
lola: find path: 12527
lola: symmetry: 12203
lola: reporting
lola: not produced: 9669
lola: find path: 12529
lola: symmetry: 12205
lola: reporting
lola: not produced: 9661
lola: find path: 12533
lola: symmetry: 12209
lola: reporting
lola: not produced: 9661
lola: find path: 12533
lola: symmetry: 12209
lola: reporting
lola: not produced: 9657
lola: find path: 12535
lola: symmetry: 12211
lola: reporting
lola: not produced: 9657
lola: find path: 12535
lola: symmetry: 12211
lola: reporting
lola: not produced: 9653
lola: find path: 12537
lola: symmetry: 12213
lola: reporting
lola: not produced: 9653
lola: find path: 12537
lola: symmetry: 12213
lola: reporting
lola: not produced: 9653
lola: find path: 12537
lola: symmetry: 12213
lola: reporting
lola: not produced: 9649
lola: find path: 12539
lola: symmetry: 12215
lola: reporting
lola: not produced: 9649
lola: find path: 12539
lola: symmetry: 12215
lola: reporting
lola: not produced: 9649
lola: find path: 12539
lola: symmetry: 12215
lola: reporting
lola: not produced: 9649
lola: find path: 12539
lola: symmetry: 12215
lola: reporting
lola: not produced: 9649
lola: find path: 12539
lola: symmetry: 12215
lola: reporting
lola: not produced: 9639
lola: find path: 12544
lola: symmetry: 12220
lola: reporting
lola: not produced: 9635
lola: find path: 12546
lola: symmetry: 12222
lola: reporting
lola: not produced: 9631
lola: find path: 12548
lola: symmetry: 12224
lola: reporting
lola: not produced: 9627
lola: find path: 12550
lola: symmetry: 12226
lola: reporting
lola: not produced: 9627
lola: find path: 12550
lola: symmetry: 12226
lola: reporting
lola: not produced: 9623
lola: find path: 12552
lola: symmetry: 12228
lola: reporting
lola: not produced: 9619
lola: find path: 12554
lola: symmetry: 12230
lola: reporting
lola: not produced: 9615
lola: find path: 12556
lola: symmetry: 12232
lola: reporting
lola: not produced: 9611
lola: find path: 12558
lola: symmetry: 12234
lola: reporting
lola: not produced: 9607
lola: find path: 12560
lola: symmetry: 12236
lola: reporting
lola: not produced: 9607
lola: find path: 12560
lola: symmetry: 12236
lola: reporting
lola: not produced: 9597
lola: find path: 12565
lola: symmetry: 12241
lola: reporting
lola: not produced: 9597
lola: find path: 12565
lola: symmetry: 12241
lola: reporting
lola: not produced: 9597
lola: find path: 12565
lola: symmetry: 12241
lola: reporting
lola: not produced: 9593
lola: find path: 12567
lola: symmetry: 12243
lola: reporting
lola: not produced: 9589
lola: find path: 12569
lola: symmetry: 12245
lola: reporting
lola: not produced: 9587
lola: find path: 12570
lola: symmetry: 12246
lola: reporting
lola: not produced: 9587
lola: find path: 12570
lola: symmetry: 12246
lola: reporting
lola: not produced: 9587
lola: find path: 12570
lola: symmetry: 12246
lola: reporting
lola: not produced: 9583
lola: find path: 12572
lola: symmetry: 12248
lola: reporting
lola: not produced: 9583
lola: find path: 12572
lola: symmetry: 12248
lola: reporting
lola: not produced: 9583
lola: find path: 12572
lola: symmetry: 12248
lola: reporting
lola: not produced: 9575
lola: find path: 12576
lola: symmetry: 12252
lola: reporting
lola: not produced: 9565
lola: find path: 12581
lola: symmetry: 12257
lola: reporting
lola: not produced: 9561
lola: find path: 12583
lola: symmetry: 12259
lola: reporting
lola: not produced: 9557
lola: find path: 12585
lola: symmetry: 12261
lola: reporting
lola: not produced: 9553
lola: find path: 12587
lola: symmetry: 12263
lola: reporting
lola: not produced: 9549
lola: find path: 12589
lola: symmetry: 12265
lola: reporting
lola: not produced: 9545
lola: find path: 12591
lola: symmetry: 12267
lola: reporting
lola: not produced: 9545
lola: find path: 12591
lola: symmetry: 12267
lola: reporting
lola: not produced: 9541
lola: find path: 12593
lola: symmetry: 12269
lola: reporting
lola: not produced: 9537
lola: find path: 12595
lola: symmetry: 12271
lola: reporting
lola: not produced: 9537
lola: find path: 12595
lola: symmetry: 12271
lola: Failed to get new memory from operating system
/home/mcc/BenchKit/BenchKit_head.sh: line 62: 412 Segmentation fault lola --conf=$BIN_DIR/configfiles/globalconf --check=StableMarking $DIR/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-S32C11"
export BK_EXAMINATION="StableMarking"
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 StableMarking"
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-162124162800493"
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 [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "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 [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "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 "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.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 '' StableMarking.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
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 ;