About the Execution of LoLA for MultiCrashLeafsetExtension-PT-S32C06
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10123.428 | 1800000.00 | 5156608.00 | 3806.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/mcc2021-input.r296-tall-162124162800467.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-S32C06, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r296-tall-162124162800467
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 47M
-rw-r--r-- 1 mcc users 38K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 129K May 15 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 28K May 15 08:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 89K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.0K May 12 07:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K May 12 07:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K 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 5.3K May 11 19:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 11 19:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K May 11 16:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 11 16:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 12 04:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K May 12 04:40 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 47M 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 1621249366943
starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S32C06
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 Node5InformsHeIsTheNodeMasterToNode5
sara: try reading problem file stateEquationProblem-QuasiLiveness-5717.sara.
lola: reporting
lola: not produced: 28250
lola: reporting
lola: not produced: 28250
lola: reporting
lola: not produced: 28250
lola: reporting
lola: not produced: 28250
lola: reporting
lola: not produced: 28250
lola: reporting
lola: not produced: 28250
lola: reporting
lola: not produced: 28250
lola: reporting
lola: not produced: 28250
lola: reporting
lola: not produced: 28250
lola: reporting
lola: not produced: 28250
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 26320
lola: find path: 1930
lola: reporting
lola: not produced: 22717
lola: find path: 3289
lola: goal oriented search: 2244
lola: reporting
lola: not produced: 21748
lola: find path: 4090
lola: goal oriented search: 2412
lola: reporting
lola: not produced: 21103
lola: find path: 4687
lola: goal oriented search: 2460
lola: reporting
lola: not produced: 20181
lola: find path: 5155
lola: goal oriented search: 2914
lola: reporting
lola: not produced: 19354
lola: find path: 5448
lola: goal oriented search: 3448
lola: reporting
lola: not produced: 19108
lola: find path: 5676
lola: goal oriented search: 3466
lola: reporting
lola: not produced: 18912
lola: find path: 5859
lola: goal oriented search: 3479
lola: reporting
lola: not produced: 18717
lola: find path: 6052
lola: goal oriented search: 3481
lola: reporting
lola: not produced: 18563
lola: find path: 6206
lola: goal oriented search: 3481
lola: reporting
lola: not produced: 18425
lola: find path: 6344
lola: goal oriented search: 3481
lola: reporting
lola: not produced: 18342
lola: find path: 6427
lola: goal oriented search: 3481
lola: reporting
lola: not produced: 18194
lola: find path: 6527
lola: goal oriented search: 3529
lola: reporting
lola: not produced: 18055
lola: find path: 6623
lola: goal oriented search: 3572
lola: reporting
lola: not produced: 17972
lola: find path: 6706
lola: goal oriented search: 3572
lola: reporting
lola: not produced: 17919
lola: find path: 6759
lola: goal oriented search: 3572
lola: reporting
lola: not produced: 17834
lola: find path: 6844
lola: goal oriented search: 3572
lola: reporting
lola: not produced: 17768
lola: find path: 6910
lola: goal oriented search: 3572
lola: reporting
lola: not produced: 17690
lola: find path: 6988
lola: goal oriented search: 3572
lola: reporting
lola: not produced: 17627
lola: find path: 7035
lola: goal oriented search: 3588
lola: reporting
lola: not produced: 17576
lola: find path: 7086
lola: goal oriented search: 3588
lola: reporting
lola: not produced: 17516
lola: find path: 7146
lola: goal oriented search: 3588
lola: reporting
lola: not produced: 17470
lola: find path: 7192
lola: goal oriented search: 3588
lola: reporting
lola: not produced: 17412
lola: find path: 7250
lola: goal oriented search: 3588
lola: reporting
lola: not produced: 17363
lola: find path: 7299
lola: goal oriented search: 3588
lola: reporting
lola: not produced: 17331
lola: find path: 7331
lola: goal oriented search: 3588
lola: reporting
lola: not produced: 17285
lola: find path: 7377
lola: goal oriented search: 3588
lola: reporting
lola: not produced: 17246
lola: find path: 7416
lola: goal oriented search: 3588
lola: reporting
lola: not produced: 17194
lola: find path: 7468
lola: goal oriented search: 3588
lola: reporting
lola: not produced: 17162
lola: find path: 7500
lola: goal oriented search: 3588
lola: reporting
lola: not produced: 17132
lola: find path: 7528
lola: goal oriented search: 3590
lola: reporting
lola: not produced: 16846
lola: find path: 7558
lola: goal oriented search: 3846
lola: reporting
lola: not produced: 16794
lola: find path: 7580
lola: goal oriented search: 3876
lola: reporting
lola: not produced: 16738
lola: find path: 7608
lola: goal oriented search: 3904
lola: reporting
lola: not produced: 16706
lola: find path: 7640
lola: goal oriented search: 3904
lola: reporting
lola: not produced: 16674
lola: find path: 7672
lola: goal oriented search: 3904
lola: reporting
lola: not produced: 16652
lola: find path: 7694
lola: goal oriented search: 3904
lola: reporting
lola: not produced: 16630
lola: find path: 7716
lola: goal oriented search: 3904
lola: reporting
lola: not produced: 16612
lola: find path: 7734
lola: goal oriented search: 3904
lola: reporting
lola: not produced: 16578
lola: find path: 7768
lola: goal oriented search: 3904
lola: reporting
lola: not produced: 16562
lola: find path: 7784
lola: goal oriented search: 3904
lola: reporting
lola: not produced: 16535
lola: find path: 7811
lola: goal oriented search: 3904
lola: reporting
lola: not produced: 16493
lola: find path: 7853
lola: goal oriented search: 3904
lola: reporting
lola: not produced: 16479
lola: find path: 7867
lola: goal oriented search: 3904
lola: reporting
lola: not produced: 16466
lola: find path: 7878
lola: goal oriented search: 3906
lola: reporting
lola: not produced: 16454
lola: find path: 7890
lola: goal oriented search: 3906
lola: reporting
lola: not produced: 16442
lola: find path: 7902
lola: goal oriented search: 3906
lola: reporting
lola: not produced: 16424
lola: find path: 7920
lola: goal oriented search: 3906
lola: reporting
lola: not produced: 16410
lola: find path: 7934
lola: goal oriented search: 3906
lola: reporting
lola: not produced: 16387
lola: find path: 7957
lola: goal oriented search: 3906
lola: reporting
lola: not produced: 16377
lola: find path: 7967
lola: goal oriented search: 3906
lola: reporting
lola: not produced: 16369
lola: find path: 7975
lola: goal oriented search: 3906
lola: reporting
lola: not produced: 16361
lola: find path: 7983
lola: goal oriented search: 3906
lola: reporting
lola: not produced: 16349
lola: find path: 7995
lola: goal oriented search: 3906
lola: reporting
lola: not produced: 16333
lola: find path: 8011
lola: goal oriented search: 3906
lola: reporting
lola: not produced: 16313
lola: find path: 8031
lola: goal oriented search: 3906
lola: reporting
lola: not produced: 16295
lola: find path: 8049
lola: goal oriented search: 3906
lola: reporting
lola: not produced: 16285
lola: find path: 8059
lola: goal oriented search: 3906
lola: reporting
lola: not produced: 16275
lola: find path: 8069
lola: goal oriented search: 3906
lola: reporting
lola: not produced: 16251
lola: find path: 8087
lola: goal oriented search: 3912
lola: reporting
lola: not produced: 16233
lola: find path: 8105
lola: goal oriented search: 3912
lola: reporting
lola: not produced: 16231
lola: find path: 8107
lola: goal oriented search: 3912
lola: reporting
lola: not produced: 16225
lola: find path: 8113
lola: goal oriented search: 3912
lola: reporting
lola: not produced: 16209
lola: find path: 8129
lola: goal oriented search: 3912
lola: reporting
lola: not produced: 16200
lola: find path: 8138
lola: goal oriented search: 3912
lola: reporting
lola: not produced: 16196
lola: find path: 8142
lola: goal oriented search: 3912
lola: reporting
lola: not produced: 16178
lola: find path: 8160
lola: goal oriented search: 3912
lola: reporting
lola: not produced: 16164
lola: find path: 8174
lola: goal oriented search: 3912
lola: reporting
lola: not produced: 16152
lola: find path: 8186
lola: goal oriented search: 3912
lola: reporting
lola: not produced: 16138
lola: find path: 8200
lola: goal oriented search: 3912
lola: reporting
lola: not produced: 16127
lola: find path: 8211
lola: goal oriented search: 3912
lola: reporting
lola: not produced: 16125
lola: find path: 8213
lola: goal oriented search: 3912
lola: reporting
lola: not produced: 16109
lola: find path: 8229
lola: goal oriented search: 3912
lola: reporting
lola: not produced: 16103
lola: find path: 8235
lola: goal oriented search: 3912
lola: reporting
lola: not produced: 16087
lola: find path: 8251
lola: goal oriented search: 3912
lola: reporting
lola: not produced: 16077
lola: find path: 8261
lola: goal oriented search: 3912
lola: reporting
lola: not produced: 16071
lola: find path: 8267
lola: goal oriented search: 3912
lola: reporting
lola: not produced: 16059
lola: find path: 8279
lola: goal oriented search: 3912
lola: reporting
lola: not produced: 16039
lola: find path: 8299
lola: goal oriented search: 3912
lola: reporting
lola: not produced: 16029
lola: find path: 8309
lola: goal oriented search: 3912
lola: reporting
lola: not produced: 16019
lola: find path: 8319
lola: goal oriented search: 3912
lola: reporting
lola: not produced: 16003
lola: find path: 8335
lola: goal oriented search: 3912
lola: reporting
lola: not produced: 15991
lola: find path: 8347
lola: goal oriented search: 3912
lola: reporting
lola: not produced: 15981
lola: find path: 8357
lola: goal oriented search: 3912
lola: reporting
lola: not produced: 15965
lola: find path: 8371
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15953
lola: find path: 8383
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15945
lola: find path: 8391
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15937
lola: find path: 8399
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15931
lola: find path: 8405
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15924
lola: find path: 8412
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15916
lola: find path: 8420
lola: goal oriented search: 3914
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 15903
lola: find path: 8433
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15891
lola: find path: 8445
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15881
lola: find path: 8455
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15875
lola: find path: 8461
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15867
lola: find path: 8469
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15856
lola: find path: 8480
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15850
lola: find path: 8486
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15846
lola: find path: 8490
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15842
lola: find path: 8494
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15838
lola: find path: 8498
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15834
lola: find path: 8502
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15828
lola: find path: 8508
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15818
lola: find path: 8518
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15807
lola: find path: 8529
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15797
lola: find path: 8539
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15795
lola: find path: 8541
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15791
lola: find path: 8545
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15781
lola: find path: 8555
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15769
lola: find path: 8567
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15765
lola: find path: 8571
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15761
lola: find path: 8575
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15755
lola: find path: 8581
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15749
lola: find path: 8587
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15740
lola: find path: 8596
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15724
lola: find path: 8612
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15716
lola: find path: 8620
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15708
lola: find path: 8628
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15706
lola: find path: 8630
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15700
lola: find path: 8636
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15692
lola: find path: 8644
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15688
lola: find path: 8648
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15686
lola: find path: 8650
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15678
lola: find path: 8658
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15672
lola: find path: 8664
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15670
lola: find path: 8666
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15660
lola: find path: 8676
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15650
lola: find path: 8686
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15642
lola: find path: 8694
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15642
lola: find path: 8694
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15640
lola: find path: 8696
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15634
lola: find path: 8702
lola: goal oriented search: 3914
lola: reporting
lola: not produced: 15624
lola: find path: 8710
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15619
lola: find path: 8715
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15615
lola: find path: 8719
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15611
lola: find path: 8723
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15605
lola: find path: 8729
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15597
lola: find path: 8737
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15591
lola: find path: 8743
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15585
lola: find path: 8749
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15579
lola: find path: 8755
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15569
lola: find path: 8765
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15561
lola: find path: 8773
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15557
lola: find path: 8777
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15553
lola: find path: 8781
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15547
lola: find path: 8787
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15547
lola: find path: 8787
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15540
lola: find path: 8794
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15534
lola: find path: 8800
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15530
lola: find path: 8804
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15522
lola: find path: 8812
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15514
lola: find path: 8820
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15510
lola: find path: 8824
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15502
lola: find path: 8832
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15502
lola: find path: 8832
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15494
lola: find path: 8840
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15494
lola: find path: 8840
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15492
lola: find path: 8842
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15482
lola: find path: 8852
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15476
lola: find path: 8858
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15474
lola: find path: 8860
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15470
lola: find path: 8864
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15462
lola: find path: 8872
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15454
lola: find path: 8880
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15446
lola: find path: 8888
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15442
lola: find path: 8892
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15434
lola: find path: 8900
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15426
lola: find path: 8908
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15418
lola: find path: 8916
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15416
lola: find path: 8918
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15412
lola: find path: 8922
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15408
lola: find path: 8926
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15406
lola: find path: 8928
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15404
lola: find path: 8930
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15396
lola: find path: 8938
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15390
lola: find path: 8944
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15382
lola: find path: 8952
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15376
lola: find path: 8958
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15374
lola: find path: 8960
lola: goal oriented search: 3916
lola: reporting
lola: not produced: 15327
lola: find path: 8966
lola: goal oriented search: 3957
lola: reporting
lola: not produced: 15325
lola: find path: 8968
lola: goal oriented search: 3957
lola: reporting
lola: not produced: 15321
lola: find path: 8972
lola: goal oriented search: 3957
lola: reporting
lola: not produced: 15268
lola: find path: 8976
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15264
lola: find path: 8980
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15260
lola: find path: 8984
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15260
lola: find path: 8984
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15256
lola: find path: 8988
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15252
lola: find path: 8992
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15248
lola: find path: 8996
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15244
lola: find path: 9000
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15238
lola: find path: 9006
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15230
lola: find path: 9014
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15224
lola: find path: 9020
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15224
lola: find path: 9020
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15222
lola: find path: 9022
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15220
lola: find path: 9024
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15216
lola: find path: 9028
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15212
lola: find path: 9032
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15204
lola: find path: 9040
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15200
lola: find path: 9044
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15198
lola: find path: 9046
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15198
lola: find path: 9046
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15186
lola: find path: 9058
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15181
lola: find path: 9063
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15181
lola: find path: 9063
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15177
lola: find path: 9067
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15177
lola: find path: 9067
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15176
lola: find path: 9068
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15174
lola: find path: 9070
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15168
lola: find path: 9076
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15166
lola: find path: 9078
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15164
lola: find path: 9080
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15164
lola: find path: 9080
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15162
lola: find path: 9082
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15162
lola: find path: 9082
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15162
lola: find path: 9082
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15158
lola: find path: 9086
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15158
lola: find path: 9086
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15154
lola: find path: 9090
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15148
lola: find path: 9096
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15148
lola: find path: 9096
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15148
lola: find path: 9096
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15144
lola: find path: 9100
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15144
lola: find path: 9100
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15144
lola: find path: 9100
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15144
lola: find path: 9100
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15142
lola: find path: 9102
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15136
lola: find path: 9108
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15134
lola: find path: 9110
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15132
lola: find path: 9112
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15128
lola: find path: 9116
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15124
lola: find path: 9120
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15120
lola: find path: 9124
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15112
lola: find path: 9132
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15107
lola: find path: 9137
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15107
lola: find path: 9137
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15105
lola: find path: 9139
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15101
lola: find path: 9143
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15099
lola: find path: 9145
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15097
lola: find path: 9147
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15095
lola: find path: 9149
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15095
lola: find path: 9149
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15093
lola: find path: 9151
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15089
lola: find path: 9155
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15087
lola: find path: 9157
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15087
lola: find path: 9157
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15087
lola: find path: 9157
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15087
lola: find path: 9157
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15085
lola: find path: 9159
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15083
lola: find path: 9161
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15083
lola: find path: 9161
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15083
lola: find path: 9161
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15081
lola: find path: 9163
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15077
lola: find path: 9167
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15075
lola: find path: 9169
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15075
lola: find path: 9169
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15075
lola: find path: 9169
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15075
lola: find path: 9169
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15075
lola: find path: 9169
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15073
lola: find path: 9171
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15073
lola: find path: 9171
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15073
lola: find path: 9171
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15073
lola: find path: 9171
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15071
lola: find path: 9173
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15071
lola: find path: 9173
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15069
lola: find path: 9175
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15069
lola: find path: 9175
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15067
lola: find path: 9177
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15065
lola: find path: 9179
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15063
lola: find path: 9181
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15063
lola: find path: 9181
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15061
lola: find path: 9183
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15061
lola: find path: 9183
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15061
lola: find path: 9183
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15061
lola: find path: 9183
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15061
lola: find path: 9183
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15061
lola: find path: 9183
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15059
lola: find path: 9185
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15057
lola: find path: 9187
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15057
lola: find path: 9187
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15057
lola: find path: 9187
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15052
lola: find path: 9192
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15050
lola: find path: 9194
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15050
lola: find path: 9194
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15050
lola: find path: 9194
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15050
lola: find path: 9194
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15046
lola: find path: 9198
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15046
lola: find path: 9198
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15044
lola: find path: 9200
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15042
lola: find path: 9202
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15042
lola: find path: 9202
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15042
lola: find path: 9202
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15040
lola: find path: 9204
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15036
lola: find path: 9208
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15036
lola: find path: 9208
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15036
lola: find path: 9208
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15036
lola: find path: 9208
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15034
lola: find path: 9210
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15032
lola: find path: 9212
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15029
lola: find path: 9215
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15029
lola: find path: 9215
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15029
lola: find path: 9215
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15029
lola: find path: 9215
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15027
lola: find path: 9217
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15027
lola: find path: 9217
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15025
lola: find path: 9219
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15023
lola: find path: 9221
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15023
lola: find path: 9221
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15019
lola: find path: 9225
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15019
lola: find path: 9225
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15015
lola: find path: 9229
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15013
lola: find path: 9231
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15013
lola: find path: 9231
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15013
lola: find path: 9231
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15013
lola: find path: 9231
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15009
lola: find path: 9235
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15009
lola: find path: 9235
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15009
lola: find path: 9235
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15009
lola: find path: 9235
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15007
lola: find path: 9237
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15005
lola: find path: 9239
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15005
lola: find path: 9239
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15005
lola: find path: 9239
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15005
lola: find path: 9239
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15003
lola: find path: 9241
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15003
lola: find path: 9241
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15003
lola: find path: 9241
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15003
lola: find path: 9241
lola: goal oriented search: 4006
lola: reporting
lola: not produced: 15003
lola: find path: 9241
lola: goal oriented search: 4006
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-S32C06"
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-S32C06, 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-162124162800467"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C06.tgz
mv MultiCrashLeafsetExtension-PT-S32C06 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 ;