About the Execution of LoLA for MultiCrashLeafsetExtension-PT-S32C10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16222.976 | 1800000.00 | 5028703.00 | 12510.30 | [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/mcc2023-input.r244-tall-167856432100597.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lola
Input is MultiCrashLeafsetExtension-PT-S32C10, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r244-tall-167856432100597
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 33M
-rw-r--r-- 1 mcc users 11K Feb 26 03:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 03:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 02:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 02:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K Feb 25 16:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 03:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 26 03:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K Feb 26 03:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 03:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 32M Mar 5 18:22 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 1678704356620
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C10
Not applying reductions.
Model is PT
QuasiLiveness PT
starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S32C10
BK_EXAMINATION: QuasiLiveness
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
GlobalProperty: QuasiLiveness
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 159212 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16304660 kB
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 Node21ReceiveTheLeafSetOfRx7ToReplaceNode25
sara: try reading problem file stateEquationProblem-QuasiLiveness-13859.sara.
lola: reporting
lola: not produced: 36970
lola: reporting
lola: not produced: 36970
lola: reporting
lola: not produced: 36970
lola: reporting
lola: not produced: 36970
lola: reporting
lola: not produced: 36970
lola: reporting
lola: not produced: 36970
lola: reporting
lola: not produced: 36970
lola: reporting
lola: not produced: 36970
lola: reporting
lola: not produced: 36970
lola: reporting
lola: not produced: 36970
lola: reporting
lola: not produced: 36970
lola: reporting
lola: not produced: 36970
lola: reporting
lola: not produced: 36970
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 32029
lola: find path: 3061
lola: goal oriented search: 1880
lola: reporting
lola: not produced: 29535
lola: find path: 4646
lola: goal oriented search: 2789
lola: reporting
lola: not produced: 28319
lola: find path: 5756
lola: goal oriented search: 2895
lola: reporting
lola: not produced: 27353
lola: find path: 6712
lola: goal oriented search: 2905
lola: reporting
lola: not produced: 26578
lola: find path: 7471
lola: goal oriented search: 2921
lola: reporting
lola: not produced: 25986
lola: find path: 8063
lola: goal oriented search: 2921
lola: reporting
lola: not produced: 25418
lola: find path: 8631
lola: goal oriented search: 2921
lola: reporting
lola: not produced: 24948
lola: find path: 9101
lola: goal oriented search: 2921
lola: reporting
lola: not produced: 24548
lola: find path: 9487
lola: goal oriented search: 2935
lola: reporting
lola: not produced: 24122
lola: find path: 9860
lola: goal oriented search: 2988
lola: reporting
lola: not produced: 23820
lola: find path: 10162
lola: goal oriented search: 2988
lola: reporting
lola: not produced: 23514
lola: find path: 10468
lola: goal oriented search: 2988
lola: reporting
lola: not produced: 23274
lola: find path: 10708
lola: goal oriented search: 2988
lola: reporting
lola: not produced: 23095
lola: find path: 10887
lola: goal oriented search: 2988
lola: reporting
lola: not produced: 22846
lola: find path: 11104
lola: goal oriented search: 3020
lola: reporting
lola: not produced: 22641
lola: find path: 11291
lola: goal oriented search: 3038
lola: reporting
lola: not produced: 22090
lola: find path: 11430
lola: goal oriented search: 3450
lola: reporting
lola: not produced: 21937
lola: find path: 11565
lola: goal oriented search: 3468
lola: reporting
lola: not produced: 21813
lola: find path: 11687
lola: goal oriented search: 3470
lola: reporting
lola: not produced: 21700
lola: find path: 11800
lola: goal oriented search: 3470
lola: reporting
lola: not produced: 21596
lola: find path: 11904
lola: goal oriented search: 3470
lola: reporting
lola: not produced: 21467
lola: find path: 12033
lola: goal oriented search: 3470
lola: reporting
lola: not produced: 21360
lola: find path: 12140
lola: goal oriented search: 3470
lola: reporting
lola: not produced: 21255
lola: find path: 12245
lola: goal oriented search: 3470
lola: reporting
lola: not produced: 21161
lola: find path: 12339
lola: goal oriented search: 3470
lola: reporting
lola: not produced: 21072
lola: find path: 12428
lola: goal oriented search: 3470
lola: reporting
lola: not produced: 21004
lola: find path: 12496
lola: goal oriented search: 3470
lola: reporting
lola: not produced: 20888
lola: find path: 12612
lola: goal oriented search: 3470
lola: reporting
lola: not produced: 20800
lola: find path: 12682
lola: goal oriented search: 3488
lola: reporting
lola: not produced: 20716
lola: find path: 12750
lola: goal oriented search: 3504
lola: reporting
lola: not produced: 20607
lola: find path: 12818
lola: goal oriented search: 3545
lola: reporting
lola: not produced: 20537
lola: find path: 12888
lola: goal oriented search: 3545
lola: reporting
lola: not produced: 20462
lola: find path: 12963
lola: goal oriented search: 3545
lola: reporting
lola: not produced: 20402
lola: find path: 13023
lola: goal oriented search: 3545
lola: reporting
lola: not produced: 20361
lola: find path: 13064
lola: goal oriented search: 3545
lola: reporting
lola: not produced: 20297
lola: find path: 13128
lola: goal oriented search: 3545
lola: reporting
lola: not produced: 20209
lola: find path: 13216
lola: goal oriented search: 3545
lola: reporting
lola: not produced: 20133
lola: find path: 13262
lola: goal oriented search: 3575
lola: reporting
lola: not produced: 20074
lola: find path: 13321
lola: goal oriented search: 3575
lola: reporting
lola: not produced: 20020
lola: find path: 13375
lola: goal oriented search: 3575
lola: reporting
lola: not produced: 19988
lola: find path: 13407
lola: goal oriented search: 3575
lola: reporting
lola: not produced: 19956
lola: find path: 13439
lola: goal oriented search: 3575
lola: reporting
lola: not produced: 19903
lola: find path: 13492
lola: goal oriented search: 3575
lola: reporting
lola: not produced: 19853
lola: find path: 13542
lola: goal oriented search: 3575
lola: reporting
lola: not produced: 19809
lola: find path: 13586
lola: goal oriented search: 3575
lola: reporting
lola: not produced: 19757
lola: find path: 13638
lola: goal oriented search: 3575
lola: reporting
lola: not produced: 19700
lola: find path: 13695
lola: goal oriented search: 3575
lola: reporting
lola: not produced: 19649
lola: find path: 13746
lola: goal oriented search: 3575
lola: reporting
lola: not produced: 19588
lola: find path: 13807
lola: goal oriented search: 3575
lola: reporting
lola: not produced: 19549
lola: find path: 13846
lola: goal oriented search: 3575
lola: reporting
lola: not produced: 19529
lola: find path: 13866
lola: goal oriented search: 3575
lola: reporting
lola: not produced: 19481
lola: find path: 13914
lola: goal oriented search: 3575
lola: reporting
lola: not produced: 19449
lola: find path: 13946
lola: goal oriented search: 3575
lola: reporting
lola: not produced: 19418
lola: find path: 13977
lola: goal oriented search: 3575
lola: reporting
lola: not produced: 19357
lola: find path: 14026
lola: goal oriented search: 3587
lola: reporting
lola: not produced: 19296
lola: find path: 14083
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 19277
lola: find path: 14102
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 19255
lola: find path: 14124
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 19231
lola: find path: 14148
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 19202
lola: find path: 14177
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 19143
lola: find path: 14236
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 19096
lola: find path: 14283
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 19055
lola: find path: 14324
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 19018
lola: find path: 14361
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 19002
lola: find path: 14377
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 18969
lola: find path: 14410
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 18941
lola: find path: 14438
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 18923
lola: find path: 14456
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 18899
lola: find path: 14480
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 18876
lola: find path: 14503
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 18846
lola: find path: 14533
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 18826
lola: find path: 14553
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 18814
lola: find path: 14565
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 18790
lola: find path: 14589
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 18762
lola: find path: 14617
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 18738
lola: find path: 14641
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 18722
lola: find path: 14657
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 18702
lola: find path: 14677
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 18686
lola: find path: 14693
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 18660
lola: find path: 14719
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 18650
lola: find path: 14729
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 18640
lola: find path: 14739
lola: goal oriented search: 3591
lola: reporting
lola: not produced: 18601
lola: find path: 14749
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18581
lola: find path: 14769
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18556
lola: find path: 14794
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18542
lola: find path: 14808
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18530
lola: find path: 14820
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18513
lola: find path: 14837
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18503
lola: find path: 14847
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18474
lola: find path: 14876
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18453
lola: find path: 14897
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18439
lola: find path: 14911
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18404
lola: find path: 14946
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18376
lola: find path: 14974
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18351
lola: find path: 14999
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18335
lola: find path: 15015
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18327
lola: find path: 15023
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18315
lola: find path: 15035
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18304
lola: find path: 15046
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18294
lola: find path: 15056
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18286
lola: find path: 15064
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18266
lola: find path: 15084
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18240
lola: find path: 15110
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18225
lola: find path: 15125
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18213
lola: find path: 15137
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18205
lola: find path: 15145
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18187
lola: find path: 15163
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18182
lola: find path: 15168
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18170
lola: find path: 15180
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18168
lola: find path: 15182
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18144
lola: find path: 15206
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18131
lola: find path: 15219
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18121
lola: find path: 15229
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18115
lola: find path: 15235
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18107
lola: find path: 15243
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18095
lola: find path: 15255
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18079
lola: find path: 15271
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18067
lola: find path: 15283
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18057
lola: find path: 15293
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18038
lola: find path: 15312
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18028
lola: find path: 15322
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 18002
lola: find path: 15348
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17984
lola: find path: 15366
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17972
lola: find path: 15378
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17962
lola: find path: 15388
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17952
lola: find path: 15398
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17930
lola: find path: 15420
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17929
lola: find path: 15421
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17927
lola: find path: 15423
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17919
lola: find path: 15431
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17903
lola: find path: 15447
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17903
lola: find path: 15447
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17895
lola: find path: 15455
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17887
lola: find path: 15463
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17873
lola: find path: 15477
lola: goal oriented search: 3620
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 17859
lola: find path: 15491
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17853
lola: find path: 15497
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17840
lola: find path: 15510
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17832
lola: find path: 15518
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17808
lola: find path: 15542
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17802
lola: find path: 15548
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17792
lola: find path: 15558
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17788
lola: find path: 15562
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17778
lola: find path: 15572
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17768
lola: find path: 15582
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17760
lola: find path: 15590
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17756
lola: find path: 15594
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17736
lola: find path: 15614
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17716
lola: find path: 15634
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17706
lola: find path: 15644
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17692
lola: find path: 15658
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17684
lola: find path: 15666
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17672
lola: find path: 15678
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17662
lola: find path: 15688
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17649
lola: find path: 15701
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17647
lola: find path: 15703
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17645
lola: find path: 15705
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17641
lola: find path: 15709
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17635
lola: find path: 15715
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17631
lola: find path: 15719
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17623
lola: find path: 15727
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17619
lola: find path: 15731
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17613
lola: find path: 15737
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17597
lola: find path: 15753
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17595
lola: find path: 15755
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17583
lola: find path: 15767
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17580
lola: find path: 15770
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17568
lola: find path: 15782
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17562
lola: find path: 15788
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17556
lola: find path: 15794
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17540
lola: find path: 15810
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17532
lola: find path: 15818
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17526
lola: find path: 15824
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17522
lola: find path: 15828
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17515
lola: find path: 15835
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17509
lola: find path: 15841
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17501
lola: find path: 15849
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17495
lola: find path: 15855
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17489
lola: find path: 15861
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17485
lola: find path: 15865
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17477
lola: find path: 15873
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17471
lola: find path: 15879
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17465
lola: find path: 15885
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17453
lola: find path: 15897
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17446
lola: find path: 15904
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17438
lola: find path: 15912
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17436
lola: find path: 15914
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17420
lola: find path: 15930
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17418
lola: find path: 15932
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17410
lola: find path: 15940
lola: goal oriented search: 3620
lola: reporting
lola: not produced: 17408
lola: find path: 15940
lola: goal oriented search: 3622
lola: reporting
lola: not produced: 17391
lola: find path: 15955
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17385
lola: find path: 15961
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17381
lola: find path: 15965
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17377
lola: find path: 15969
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17371
lola: find path: 15975
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17359
lola: find path: 15987
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17343
lola: find path: 16003
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17330
lola: find path: 16016
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17328
lola: find path: 16018
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17322
lola: find path: 16024
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17322
lola: find path: 16024
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17317
lola: find path: 16029
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17311
lola: find path: 16035
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17309
lola: find path: 16037
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17309
lola: find path: 16037
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17306
lola: find path: 16040
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17298
lola: find path: 16048
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17290
lola: find path: 16056
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17286
lola: find path: 16060
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17280
lola: find path: 16066
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17270
lola: find path: 16076
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17268
lola: find path: 16078
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17262
lola: find path: 16084
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17254
lola: find path: 16092
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17254
lola: find path: 16092
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17248
lola: find path: 16098
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17248
lola: find path: 16098
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17240
lola: find path: 16106
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17234
lola: find path: 16112
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17232
lola: find path: 16114
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17226
lola: find path: 16120
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17226
lola: find path: 16120
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17221
lola: find path: 16125
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17219
lola: find path: 16127
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17215
lola: find path: 16131
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17213
lola: find path: 16133
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17209
lola: find path: 16137
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17206
lola: find path: 16140
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17204
lola: find path: 16142
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17202
lola: find path: 16144
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17194
lola: find path: 16152
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17190
lola: find path: 16156
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17184
lola: find path: 16162
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17180
lola: find path: 16166
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17174
lola: find path: 16172
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17170
lola: find path: 16176
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17168
lola: find path: 16178
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17166
lola: find path: 16180
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17160
lola: find path: 16186
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17156
lola: find path: 16190
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17152
lola: find path: 16194
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17148
lola: find path: 16198
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17136
lola: find path: 16210
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17122
lola: find path: 16224
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17120
lola: find path: 16226
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17116
lola: find path: 16230
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17114
lola: find path: 16232
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17110
lola: find path: 16236
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17102
lola: find path: 16244
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17100
lola: find path: 16246
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17092
lola: find path: 16254
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17092
lola: find path: 16254
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17084
lola: find path: 16262
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17082
lola: find path: 16264
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17072
lola: find path: 16274
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17060
lola: find path: 16286
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17058
lola: find path: 16288
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17056
lola: find path: 16290
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17054
lola: find path: 16292
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17052
lola: find path: 16294
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17044
lola: find path: 16302
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17042
lola: find path: 16304
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17040
lola: find path: 16306
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17038
lola: find path: 16308
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17036
lola: find path: 16310
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17025
lola: find path: 16321
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17025
lola: find path: 16321
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17023
lola: find path: 16323
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17021
lola: find path: 16325
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17009
lola: find path: 16337
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17005
lola: find path: 16341
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 17001
lola: find path: 16345
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16999
lola: find path: 16347
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16997
lola: find path: 16349
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16997
lola: find path: 16349
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16995
lola: find path: 16351
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16987
lola: find path: 16359
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16985
lola: find path: 16361
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16985
lola: find path: 16361
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16985
lola: find path: 16361
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16985
lola: find path: 16361
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16983
lola: find path: 16363
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16982
lola: find path: 16364
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16980
lola: find path: 16366
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16978
lola: find path: 16368
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16978
lola: find path: 16368
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16978
lola: find path: 16368
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16976
lola: find path: 16370
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16972
lola: find path: 16374
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16970
lola: find path: 16376
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16970
lola: find path: 16376
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16966
lola: find path: 16380
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16962
lola: find path: 16384
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16956
lola: find path: 16390
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16950
lola: find path: 16396
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16942
lola: find path: 16404
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16942
lola: find path: 16404
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16942
lola: find path: 16404
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16942
lola: find path: 16404
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16938
lola: find path: 16408
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16934
lola: find path: 16412
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16930
lola: find path: 16416
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16930
lola: find path: 16416
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16930
lola: find path: 16416
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16928
lola: find path: 16418
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16928
lola: find path: 16418
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16926
lola: find path: 16420
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16922
lola: find path: 16424
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16922
lola: find path: 16424
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16922
lola: find path: 16424
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16912
lola: find path: 16434
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16910
lola: find path: 16436
lola: goal oriented search: 3624
lola: reporting
lola: not produced: 16908
lola: find path: 16438
lola: goal oriented search: 3624
lola: caught signal Terminated - aborting LoLA
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Time elapsed: 1800 secs. Pages in use: 11
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-S32C10"
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-5348"
echo " Executing tool lola"
echo " Input is MultiCrashLeafsetExtension-PT-S32C10, 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 r244-tall-167856432100597"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C10.tgz
mv MultiCrashLeafsetExtension-PT-S32C10 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 ;