About the Execution of LoLA for MultiCrashLeafsetExtension-PT-S32C08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10125.523 | 1800000.00 | 5156374.00 | 3508.90 | [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-162124162800477.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-S32C08, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r296-tall-162124162800477
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 55M
-rw-r--r-- 1 mcc users 40K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 133K May 15 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 32K May 15 08:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 109K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.2K May 12 07:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 12 07:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.0K May 12 07:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 12 07:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 08:13 NewModel
-rw-r--r-- 1 mcc users 4.7K May 11 19:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 11 19:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.4K May 11 16:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K May 11 16:21 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 55M 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 1621250728120
starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S32C08
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 Node11IsNotRespondingToNode8ToReplaceNode15
sara: try reading problem file stateEquationProblem-QuasiLiveness-20546.sara.
lola: reporting
lola: not produced: 32610
lola: reporting
lola: not produced: 32610
lola: reporting
lola: not produced: 32610
lola: reporting
lola: not produced: 32610
lola: reporting
lola: not produced: 32610
lola: reporting
lola: not produced: 32610
lola: reporting
lola: not produced: 32610
lola: reporting
lola: not produced: 32610
lola: reporting
lola: not produced: 32610
lola: reporting
lola: not produced: 32610
lola: reporting
lola: not produced: 32610
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 31081
lola: find path: 1464
lola: goal oriented search: 65
lola: reporting
lola: not produced: 27836
lola: find path: 3112
lola: goal oriented search: 1662
lola: reporting
lola: not produced: 25574
lola: find path: 4030
lola: goal oriented search: 3006
lola: reporting
lola: not produced: 24560
lola: find path: 4786
lola: goal oriented search: 3264
lola: reporting
lola: not produced: 23803
lola: find path: 5483
lola: goal oriented search: 3324
lola: reporting
lola: not produced: 23224
lola: find path: 6058
lola: goal oriented search: 3328
lola: reporting
lola: not produced: 22861
lola: find path: 6421
lola: goal oriented search: 3328
lola: reporting
lola: not produced: 22492
lola: find path: 6790
lola: goal oriented search: 3328
lola: reporting
lola: not produced: 22193
lola: find path: 7089
lola: goal oriented search: 3328
lola: reporting
lola: not produced: 21891
lola: find path: 7381
lola: goal oriented search: 3338
lola: reporting
lola: not produced: 21647
lola: find path: 7625
lola: goal oriented search: 3338
lola: reporting
lola: not produced: 21448
lola: find path: 7824
lola: goal oriented search: 3338
lola: reporting
lola: not produced: 21254
lola: find path: 8018
lola: goal oriented search: 3338
lola: reporting
lola: not produced: 20978
lola: find path: 8217
lola: goal oriented search: 3415
lola: reporting
lola: not produced: 20780
lola: find path: 8415
lola: goal oriented search: 3415
lola: reporting
lola: not produced: 20650
lola: find path: 8545
lola: goal oriented search: 3415
lola: reporting
lola: not produced: 20484
lola: find path: 8711
lola: goal oriented search: 3415
lola: reporting
lola: not produced: 20358
lola: find path: 8837
lola: goal oriented search: 3415
lola: reporting
lola: not produced: 20256
lola: find path: 8939
lola: goal oriented search: 3415
lola: reporting
lola: not produced: 20129
lola: find path: 9054
lola: goal oriented search: 3427
lola: reporting
lola: not produced: 20017
lola: find path: 9166
lola: goal oriented search: 3427
lola: reporting
lola: not produced: 19932
lola: find path: 9251
lola: goal oriented search: 3427
lola: reporting
lola: not produced: 19850
lola: find path: 9333
lola: goal oriented search: 3427
lola: reporting
lola: not produced: 19744
lola: find path: 9389
lola: goal oriented search: 3477
lola: reporting
lola: not produced: 19688
lola: find path: 9431
lola: goal oriented search: 3491
lola: reporting
lola: not produced: 19632
lola: find path: 9477
lola: goal oriented search: 3501
lola: reporting
lola: not produced: 19581
lola: find path: 9522
lola: goal oriented search: 3507
lola: reporting
lola: not produced: 19515
lola: find path: 9588
lola: goal oriented search: 3507
lola: reporting
lola: not produced: 19459
lola: find path: 9644
lola: goal oriented search: 3507
lola: reporting
lola: not produced: 19404
lola: find path: 9699
lola: goal oriented search: 3507
lola: reporting
lola: not produced: 19352
lola: find path: 9751
lola: goal oriented search: 3507
lola: reporting
lola: not produced: 19310
lola: find path: 9793
lola: goal oriented search: 3507
lola: reporting
lola: not produced: 19257
lola: find path: 9846
lola: goal oriented search: 3507
lola: reporting
lola: not produced: 19182
lola: find path: 9921
lola: goal oriented search: 3507
lola: reporting
lola: not produced: 19116
lola: find path: 9985
lola: goal oriented search: 3509
lola: reporting
lola: not produced: 19074
lola: find path: 10027
lola: goal oriented search: 3509
lola: reporting
lola: not produced: 19030
lola: find path: 10071
lola: goal oriented search: 3509
lola: reporting
lola: not produced: 18984
lola: find path: 10117
lola: goal oriented search: 3509
lola: reporting
lola: not produced: 18943
lola: find path: 10158
lola: goal oriented search: 3509
lola: reporting
lola: not produced: 18905
lola: find path: 10196
lola: goal oriented search: 3509
lola: reporting
lola: not produced: 18864
lola: find path: 10237
lola: goal oriented search: 3509
lola: reporting
lola: not produced: 18816
lola: find path: 10285
lola: goal oriented search: 3509
lola: reporting
lola: not produced: 18772
lola: find path: 10329
lola: goal oriented search: 3509
lola: reporting
lola: not produced: 18742
lola: find path: 10359
lola: goal oriented search: 3509
lola: reporting
lola: not produced: 18695
lola: find path: 10406
lola: goal oriented search: 3509
lola: reporting
lola: not produced: 18662
lola: find path: 10439
lola: goal oriented search: 3509
lola: reporting
lola: not produced: 18628
lola: find path: 10473
lola: goal oriented search: 3509
lola: reporting
lola: not produced: 18600
lola: find path: 10501
lola: goal oriented search: 3509
lola: reporting
lola: not produced: 18560
lola: find path: 10535
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 18517
lola: find path: 10578
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 18476
lola: find path: 10619
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 18439
lola: find path: 10656
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 18408
lola: find path: 10687
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 18369
lola: find path: 10726
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 18339
lola: find path: 10756
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 18309
lola: find path: 10786
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 18273
lola: find path: 10822
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 18233
lola: find path: 10862
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 18212
lola: find path: 10883
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 18196
lola: find path: 10899
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 18177
lola: find path: 10918
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 18145
lola: find path: 10950
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 18110
lola: find path: 10985
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 18085
lola: find path: 11010
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 18065
lola: find path: 11030
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 18041
lola: find path: 11054
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 18013
lola: find path: 11082
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17991
lola: find path: 11104
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17985
lola: find path: 11110
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17973
lola: find path: 11122
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17961
lola: find path: 11134
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17947
lola: find path: 11148
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17934
lola: find path: 11161
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17912
lola: find path: 11183
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17904
lola: find path: 11191
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17886
lola: find path: 11209
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17872
lola: find path: 11223
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17861
lola: find path: 11234
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17855
lola: find path: 11240
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17844
lola: find path: 11251
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17832
lola: find path: 11263
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17816
lola: find path: 11279
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17798
lola: find path: 11297
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17778
lola: find path: 11317
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17758
lola: find path: 11337
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17748
lola: find path: 11347
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17728
lola: find path: 11367
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17720
lola: find path: 11375
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17714
lola: find path: 11381
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17689
lola: find path: 11406
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17671
lola: find path: 11424
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17650
lola: find path: 11445
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17634
lola: find path: 11461
lola: goal oriented search: 3515
lola: reporting
lola: not produced: 17624
lola: find path: 11467
lola: goal oriented search: 3519
lola: reporting
lola: not produced: 17508
lola: find path: 11489
lola: goal oriented search: 3613
lola: reporting
lola: not produced: 17488
lola: find path: 11497
lola: goal oriented search: 3625
lola: reporting
lola: not produced: 17464
lola: find path: 11521
lola: goal oriented search: 3625
lola: reporting
lola: not produced: 17460
lola: find path: 11525
lola: goal oriented search: 3625
lola: reporting
lola: not produced: 17450
lola: find path: 11535
lola: goal oriented search: 3625
lola: reporting
lola: not produced: 17442
lola: find path: 11543
lola: goal oriented search: 3625
lola: reporting
lola: not produced: 17424
lola: find path: 11561
lola: goal oriented search: 3625
lola: reporting
lola: not produced: 17420
lola: find path: 11565
lola: goal oriented search: 3625
lola: reporting
lola: not produced: 17399
lola: find path: 11586
lola: goal oriented search: 3625
lola: reporting
lola: not produced: 17381
lola: find path: 11604
lola: goal oriented search: 3625
lola: reporting
lola: not produced: 17357
lola: find path: 11628
lola: goal oriented search: 3625
lola: reporting
lola: not produced: 17338
lola: find path: 11647
lola: goal oriented search: 3625
lola: reporting
lola: not produced: 17324
lola: find path: 11661
lola: goal oriented search: 3625
lola: reporting
lola: not produced: 17318
lola: find path: 11667
lola: goal oriented search: 3625
lola: reporting
lola: not produced: 17304
lola: find path: 11681
lola: goal oriented search: 3625
lola: reporting
lola: not produced: 17297
lola: find path: 11688
lola: goal oriented search: 3625
lola: reporting
lola: not produced: 17281
lola: find path: 11704
lola: goal oriented search: 3625
lola: reporting
lola: not produced: 17265
lola: find path: 11720
lola: goal oriented search: 3625
lola: reporting
lola: not produced: 17243
lola: find path: 11742
lola: goal oriented search: 3625
lola: reporting
lola: not produced: 17229
lola: find path: 11750
lola: goal oriented search: 3631
lola: reporting
lola: not produced: 17219
lola: find path: 11760
lola: goal oriented search: 3631
lola: reporting
lola: not produced: 17211
lola: find path: 11768
lola: goal oriented search: 3631
lola: reporting
lola: not produced: 17199
lola: find path: 11780
lola: goal oriented search: 3631
lola: reporting
lola: not produced: 17187
lola: find path: 11792
lola: goal oriented search: 3631
lola: reporting
lola: not produced: 17183
lola: find path: 11796
lola: goal oriented search: 3631
lola: reporting
lola: not produced: 17173
lola: find path: 11806
lola: goal oriented search: 3631
lola: reporting
lola: not produced: 17160
lola: find path: 11819
lola: goal oriented search: 3631
lola: reporting
lola: not produced: 17144
lola: find path: 11835
lola: goal oriented search: 3631
lola: reporting
lola: not produced: 17136
lola: find path: 11843
lola: goal oriented search: 3631
lola: reporting
lola: not produced: 17125
lola: find path: 11854
lola: goal oriented search: 3631
lola: reporting
lola: not produced: 17107
lola: find path: 11872
lola: goal oriented search: 3631
lola: reporting
lola: not produced: 17100
lola: find path: 11879
lola: goal oriented search: 3631
lola: reporting
lola: not produced: 17088
lola: find path: 11891
lola: goal oriented search: 3631
lola: reporting
lola: not produced: 17078
lola: find path: 11901
lola: goal oriented search: 3631
lola: reporting
lola: not produced: 17076
lola: find path: 11903
lola: goal oriented search: 3631
lola: reporting
lola: not produced: 17064
lola: find path: 11915
lola: goal oriented search: 3631
lola: reporting
lola: not produced: 17058
lola: find path: 11921
lola: goal oriented search: 3631
lola: reporting
lola: not produced: 17050
lola: find path: 11929
lola: goal oriented search: 3631
lola: reporting
lola: not produced: 17038
lola: find path: 11941
lola: goal oriented search: 3631
lola: reporting
lola: not produced: 16999
lola: find path: 11945
lola: goal oriented search: 3666
lola: reporting
lola: not produced: 16987
lola: find path: 11957
lola: goal oriented search: 3666
lola: reporting
lola: not produced: 16979
lola: find path: 11965
lola: goal oriented search: 3666
lola: reporting
lola: not produced: 16973
lola: find path: 11971
lola: goal oriented search: 3666
lola: reporting
lola: not produced: 16969
lola: find path: 11975
lola: goal oriented search: 3666
lola: reporting
lola: not produced: 16936
lola: find path: 11981
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16922
lola: find path: 11995
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16920
lola: find path: 11997
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16915
lola: find path: 12002
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16909
lola: find path: 12008
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16909
lola: find path: 12008
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16901
lola: find path: 12016
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16892
lola: find path: 12025
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16888
lola: find path: 12029
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16877
lola: find path: 12040
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16869
lola: find path: 12048
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16863
lola: find path: 12054
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16859
lola: find path: 12058
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16853
lola: find path: 12064
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16849
lola: find path: 12068
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16838
lola: find path: 12079
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16832
lola: find path: 12085
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16825
lola: find path: 12092
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16819
lola: find path: 12098
lola: goal oriented search: 3693
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 16813
lola: find path: 12104
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16807
lola: find path: 12110
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16797
lola: find path: 12120
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16791
lola: find path: 12126
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16781
lola: find path: 12136
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16773
lola: find path: 12144
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16767
lola: find path: 12150
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16764
lola: find path: 12153
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16758
lola: find path: 12159
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16754
lola: find path: 12163
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16744
lola: find path: 12173
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16738
lola: find path: 12179
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16736
lola: find path: 12181
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16728
lola: find path: 12189
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16724
lola: find path: 12193
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16718
lola: find path: 12199
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16708
lola: find path: 12209
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16700
lola: find path: 12217
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16694
lola: find path: 12223
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16694
lola: find path: 12223
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16690
lola: find path: 12227
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16686
lola: find path: 12231
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16678
lola: find path: 12239
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16665
lola: find path: 12252
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16657
lola: find path: 12260
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16645
lola: find path: 12272
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16639
lola: find path: 12278
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16635
lola: find path: 12282
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16629
lola: find path: 12288
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16627
lola: find path: 12290
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16625
lola: find path: 12292
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16621
lola: find path: 12296
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16616
lola: find path: 12301
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16615
lola: find path: 12302
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16609
lola: find path: 12308
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16601
lola: find path: 12316
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16601
lola: find path: 12316
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16589
lola: find path: 12328
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16583
lola: find path: 12334
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16579
lola: find path: 12338
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16573
lola: find path: 12344
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16571
lola: find path: 12346
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16567
lola: find path: 12350
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16559
lola: find path: 12358
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16557
lola: find path: 12360
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16553
lola: find path: 12364
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16547
lola: find path: 12370
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16546
lola: find path: 12371
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16538
lola: find path: 12379
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16536
lola: find path: 12381
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16532
lola: find path: 12385
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16524
lola: find path: 12393
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16518
lola: find path: 12399
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16512
lola: find path: 12405
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16506
lola: find path: 12411
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16498
lola: find path: 12419
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16494
lola: find path: 12423
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16492
lola: find path: 12425
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16484
lola: find path: 12433
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16480
lola: find path: 12437
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16476
lola: find path: 12441
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16474
lola: find path: 12443
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16470
lola: find path: 12447
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16466
lola: find path: 12451
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16464
lola: find path: 12453
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16460
lola: find path: 12457
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16454
lola: find path: 12463
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16450
lola: find path: 12467
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16448
lola: find path: 12469
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16444
lola: find path: 12473
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16444
lola: find path: 12473
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16444
lola: find path: 12473
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16442
lola: find path: 12475
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16436
lola: find path: 12481
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16428
lola: find path: 12489
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16428
lola: find path: 12489
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16422
lola: find path: 12495
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16418
lola: find path: 12499
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16416
lola: find path: 12501
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16411
lola: find path: 12506
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16407
lola: find path: 12510
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16403
lola: find path: 12514
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16400
lola: find path: 12517
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16392
lola: find path: 12525
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16384
lola: find path: 12533
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16378
lola: find path: 12539
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16374
lola: find path: 12543
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16372
lola: find path: 12545
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16372
lola: find path: 12545
lola: goal oriented search: 3693
lola: reporting
lola: not produced: 16345
lola: find path: 12551
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16337
lola: find path: 12559
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16329
lola: find path: 12567
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16319
lola: find path: 12577
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16313
lola: find path: 12583
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16309
lola: find path: 12587
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16309
lola: find path: 12587
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16299
lola: find path: 12597
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16293
lola: find path: 12603
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16285
lola: find path: 12611
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16275
lola: find path: 12621
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16271
lola: find path: 12625
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16267
lola: find path: 12629
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16257
lola: find path: 12639
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16245
lola: find path: 12651
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16241
lola: find path: 12655
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16239
lola: find path: 12657
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16237
lola: find path: 12659
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16235
lola: find path: 12661
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16233
lola: find path: 12663
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16231
lola: find path: 12665
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16223
lola: find path: 12673
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16221
lola: find path: 12675
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16213
lola: find path: 12683
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16213
lola: find path: 12683
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16211
lola: find path: 12685
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16207
lola: find path: 12689
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16205
lola: find path: 12691
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16201
lola: find path: 12695
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16199
lola: find path: 12697
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16197
lola: find path: 12699
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16193
lola: find path: 12703
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16187
lola: find path: 12709
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16185
lola: find path: 12711
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16183
lola: find path: 12713
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16177
lola: find path: 12719
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16175
lola: find path: 12721
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16169
lola: find path: 12727
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16167
lola: find path: 12729
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16165
lola: find path: 12731
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16163
lola: find path: 12733
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16157
lola: find path: 12739
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16157
lola: find path: 12739
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16151
lola: find path: 12745
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16143
lola: find path: 12753
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16141
lola: find path: 12755
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16141
lola: find path: 12755
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16139
lola: find path: 12757
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16135
lola: find path: 12761
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16135
lola: find path: 12761
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16135
lola: find path: 12761
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16131
lola: find path: 12765
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16125
lola: find path: 12771
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16115
lola: find path: 12781
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16113
lola: find path: 12783
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16109
lola: find path: 12787
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16105
lola: find path: 12791
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16105
lola: find path: 12791
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16097
lola: find path: 12799
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16093
lola: find path: 12803
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16089
lola: find path: 12807
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16089
lola: find path: 12807
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16087
lola: find path: 12809
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16085
lola: find path: 12811
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16081
lola: find path: 12815
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16079
lola: find path: 12817
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16079
lola: find path: 12817
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16071
lola: find path: 12825
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16069
lola: find path: 12827
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16069
lola: find path: 12827
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16069
lola: find path: 12827
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16069
lola: find path: 12827
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16065
lola: find path: 12831
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16061
lola: find path: 12835
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16053
lola: find path: 12843
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16051
lola: find path: 12845
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16049
lola: find path: 12847
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16047
lola: find path: 12849
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16045
lola: find path: 12851
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16043
lola: find path: 12853
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16037
lola: find path: 12859
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16033
lola: find path: 12863
lola: goal oriented search: 3714
lola: reporting
lola: not produced: 16031
lola: find path: 12865
lola: goal oriented search: 3714
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-S32C08"
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-S32C08, 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-162124162800477"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C08.tgz
mv MultiCrashLeafsetExtension-PT-S32C08 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 ;