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-167856432100578.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-S32C06, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r244-tall-167856432100578
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 25M
-rw-r--r-- 1 mcc users 16K Feb 26 02:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 100K Feb 26 02:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.8K Feb 26 02:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 02:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K Feb 25 16:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 25 16:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 03:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 26 03:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 02:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 36K Feb 26 02:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:25 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 24M 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 StableMarking

=== Now, execution of the tool begins

BK_START 1678702097045

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=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C06
Not applying reductions.
Model is PT
StableMarking PT
starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S32C06
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
GlobalProperty: StableMarking
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393232 kB
MemFree: 3664268 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16147288 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 PLACE Node22ThinksNode13ShouldBeNodeMasterToReplaceNode17
sara: try reading problem file stateEquationProblem-ConstantPlace-16384.sara.
lola: reporting
lola: not produced: 22813
lola: reporting
lola: not produced: 22813
lola: reporting
lola: not produced: 22813
lola: reporting
lola: not produced: 22813
lola: reporting
lola: not produced: 22813
lola: reporting
lola: not produced: 22813
lola: reporting
lola: not produced: 22813
lola: reporting
lola: not produced: 22813
lola: reporting
lola: not produced: 22813
lola: reporting
lola: not produced: 22813
lola: reporting
lola: not produced: 22813
lola: reporting
lola: not produced: 22813
lola: reporting
lola: not produced: 22813
lola: reporting
lola: not produced: 22813
lola: reporting
lola: not produced: 22813
lola: reporting
lola: not produced: 22813
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 16201
lola: find path: 3467
lola: symmetry: 3145
lola: reporting
lola: not produced: 13373
lola: find path: 4882
lola: symmetry: 4558
lola: reporting
lola: not produced: 12027
lola: find path: 5557
lola: symmetry: 5229
lola: reporting
lola: not produced: 11237
lola: find path: 5952
lola: symmetry: 5624
lola: reporting
lola: not produced: 10683
lola: find path: 6229
lola: symmetry: 5901
lola: reporting
lola: not produced: 10295
lola: find path: 6423
lola: symmetry: 6095
lola: reporting
lola: not produced: 10011
lola: find path: 6565
lola: symmetry: 6237
lola: reporting
lola: not produced: 9777
lola: find path: 6682
lola: symmetry: 6354
lola: reporting
lola: not produced: 9557
lola: find path: 6792
lola: symmetry: 6464
lola: reporting
lola: not produced: 9405
lola: find path: 6868
lola: symmetry: 6540
lola: reporting
lola: not produced: 9263
lola: find path: 6939
lola: symmetry: 6611
lola: reporting
lola: not produced: 9163
lola: find path: 6989
lola: symmetry: 6661
lola: reporting
lola: not produced: 9035
lola: find path: 7053
lola: symmetry: 6725
lola: reporting
lola: not produced: 8951
lola: find path: 7095
lola: symmetry: 6767
lola: reporting
lola: not produced: 8879
lola: find path: 7131
lola: symmetry: 6803
lola: reporting
lola: not produced: 8761
lola: find path: 7190
lola: symmetry: 6862
lola: reporting
lola: not produced: 8703
lola: find path: 7219
lola: symmetry: 6891
lola: reporting
lola: not produced: 8643
lola: find path: 7249
lola: symmetry: 6921
lola: reporting
lola: not produced: 8563
lola: find path: 7289
lola: symmetry: 6961
lola: reporting
lola: not produced: 8531
lola: find path: 7305
lola: symmetry: 6977
lola: reporting
lola: not produced: 8489
lola: find path: 7326
lola: symmetry: 6998
lola: reporting
lola: not produced: 8453
lola: find path: 7344
lola: symmetry: 7016
lola: reporting
lola: not produced: 8417
lola: find path: 7362
lola: symmetry: 7034
lola: reporting
lola: not produced: 8389
lola: find path: 7376
lola: symmetry: 7048
lola: reporting
lola: not produced: 8369
lola: find path: 7386
lola: symmetry: 7058
lola: reporting
lola: not produced: 8337
lola: find path: 7402
lola: symmetry: 7074
lola: reporting
lola: not produced: 8309
lola: find path: 7416
lola: symmetry: 7088
lola: reporting
lola: not produced: 8289
lola: find path: 7426
lola: symmetry: 7098
lola: reporting
lola: not produced: 8257
lola: find path: 7442
lola: symmetry: 7114
lola: reporting
lola: not produced: 8225
lola: find path: 7458
lola: symmetry: 7130
lola: reporting
lola: not produced: 8217
lola: find path: 7462
lola: symmetry: 7134
lola: reporting
lola: not produced: 8197
lola: find path: 7472
lola: symmetry: 7144
lola: reporting
lola: not produced: 8165
lola: find path: 7488
lola: symmetry: 7160
lola: reporting
lola: not produced: 8149
lola: find path: 7496
lola: symmetry: 7168
lola: reporting
lola: not produced: 8139
lola: find path: 7501
lola: symmetry: 7173
lola: reporting
lola: not produced: 8135
lola: find path: 7503
lola: symmetry: 7175
lola: reporting
lola: not produced: 8099
lola: find path: 7521
lola: symmetry: 7193
lola: reporting
lola: not produced: 8079
lola: find path: 7531
lola: symmetry: 7203
lola: reporting
lola: not produced: 8067
lola: find path: 7537
lola: symmetry: 7209
lola: reporting
lola: not produced: 8049
lola: find path: 7546
lola: symmetry: 7218
lola: reporting
lola: not produced: 8039
lola: find path: 7551
lola: symmetry: 7223
lola: reporting
lola: not produced: 8023
lola: find path: 7559
lola: symmetry: 7231
lola: reporting
lola: not produced: 8015
lola: find path: 7563
lola: symmetry: 7235
lola: reporting
lola: not produced: 8005
lola: find path: 7568
lola: symmetry: 7240
lola: reporting
lola: not produced: 7995
lola: find path: 7573
lola: symmetry: 7245
lola: reporting
lola: not produced: 7987
lola: find path: 7577
lola: symmetry: 7249
lola: reporting
lola: not produced: 7983
lola: find path: 7579
lola: symmetry: 7251
lola: reporting
lola: not produced: 7963
lola: find path: 7589
lola: symmetry: 7261
lola: reporting
lola: not produced: 7959
lola: find path: 7591
lola: symmetry: 7263
lola: reporting
lola: not produced: 7947
lola: find path: 7597
lola: symmetry: 7269
lola: reporting
lola: not produced: 7925
lola: find path: 7608
lola: symmetry: 7280
lola: reporting
lola: not produced: 7925
lola: find path: 7608
lola: symmetry: 7280
lola: reporting
lola: not produced: 7915
lola: find path: 7613
lola: symmetry: 7285
lola: reporting
lola: not produced: 7901
lola: find path: 7620
lola: symmetry: 7292
lola: reporting
lola: not produced: 7897
lola: find path: 7622
lola: symmetry: 7294
lola: reporting
lola: not produced: 7897
lola: find path: 7622
lola: symmetry: 7294
lola: reporting
lola: not produced: 7883
lola: find path: 7629
lola: symmetry: 7301
lola: reporting
lola: not produced: 7879
lola: find path: 7631
lola: symmetry: 7303
lola: reporting
lola: not produced: 7875
lola: find path: 7633
lola: symmetry: 7305
lola: reporting
lola: not produced: 7865
lola: find path: 7638
lola: symmetry: 7310
lola: reporting
lola: not produced: 7857
lola: find path: 7642
lola: symmetry: 7314
lola: reporting
lola: not produced: 7853
lola: find path: 7644
lola: symmetry: 7316
lola: reporting
lola: not produced: 7849
lola: find path: 7646
lola: symmetry: 7318
lola: reporting
lola: not produced: 7837
lola: find path: 7652
lola: symmetry: 7324
lola: reporting
lola: not produced: 7833
lola: find path: 7654
lola: symmetry: 7326
lola: reporting
lola: not produced: 7829
lola: find path: 7656
lola: symmetry: 7328
lola: reporting
lola: not produced: 7821
lola: find path: 7660
lola: symmetry: 7332
lola: reporting
lola: not produced: 7817
lola: find path: 7662
lola: symmetry: 7334
lola: reporting
lola: not produced: 7813
lola: find path: 7664
lola: symmetry: 7336
lola: reporting
lola: not produced: 7805
lola: find path: 7668
lola: symmetry: 7340
lola: reporting
lola: not produced: 7797
lola: find path: 7672
lola: symmetry: 7344
lola: reporting
lola: not produced: 7793
lola: find path: 7674
lola: symmetry: 7346
lola: reporting
lola: not produced: 7787
lola: find path: 7677
lola: symmetry: 7349
lola: reporting
lola: not produced: 7785
lola: find path: 7678
lola: symmetry: 7350
lola: reporting
lola: not produced: 7781
lola: find path: 7680
lola: symmetry: 7352
lola: reporting
lola: not produced: 7781
lola: find path: 7680
lola: symmetry: 7352
lola: reporting
lola: not produced: 7777
lola: find path: 7682
lola: symmetry: 7354
lola: reporting
lola: not produced: 7769
lola: find path: 7686
lola: symmetry: 7358
lola: reporting
lola: not produced: 7769
lola: find path: 7686
lola: symmetry: 7358
lola: reporting
lola: not produced: 7769
lola: find path: 7686
lola: symmetry: 7358
lola: reporting
lola: not produced: 7769
lola: find path: 7686
lola: symmetry: 7358
lola: reporting
lola: not produced: 7767
lola: find path: 7687
lola: symmetry: 7359
lola: reporting
lola: not produced: 7763
lola: find path: 7689
lola: symmetry: 7361
lola: reporting
lola: not produced: 7763
lola: find path: 7689
lola: symmetry: 7361
lola: reporting
lola: not produced: 7763
lola: find path: 7689
lola: symmetry: 7361
lola: reporting
lola: not produced: 7763
lola: find path: 7689
lola: symmetry: 7361
lola: reporting
lola: not produced: 7763
lola: find path: 7689
lola: symmetry: 7361
lola: reporting
lola: not produced: 7763
lola: find path: 7689
lola: symmetry: 7361
lola: reporting
lola: not produced: 7763
lola: find path: 7689
lola: symmetry: 7361
lola: reporting
lola: not produced: 7761
lola: find path: 7690
lola: symmetry: 7362
lola: reporting
lola: not produced: 7759
lola: find path: 7691
lola: symmetry: 7363
lola: reporting
lola: not produced: 7757
lola: find path: 7692
lola: symmetry: 7364
lola: reporting
lola: not produced: 7753
lola: find path: 7694
lola: symmetry: 7366
lola: reporting
lola: not produced: 7753
lola: find path: 7694
lola: symmetry: 7366
lola: reporting
lola: not produced: 7745
lola: find path: 7698
lola: symmetry: 7370
lola: reporting
lola: not produced: 7745
lola: find path: 7698
lola: symmetry: 7370
lola: reporting
lola: not produced: 7741
lola: find path: 7700
lola: symmetry: 7372
lola: reporting
lola: not produced: 7733
lola: find path: 7704
lola: symmetry: 7376
lola: reporting
lola: not produced: 7733
lola: find path: 7704
lola: symmetry: 7376
lola: reporting
lola: not produced: 7727
lola: find path: 7707
lola: symmetry: 7379
lola: reporting
lola: not produced: 7723
lola: find path: 7709
lola: symmetry: 7381
lola: reporting
lola: not produced: 7723
lola: find path: 7709
lola: symmetry: 7381
lola: reporting
lola: not produced: 7715
lola: find path: 7713
lola: symmetry: 7385
lola: reporting
lola: not produced: 7715
lola: find path: 7713
lola: symmetry: 7385
lola: reporting
lola: not produced: 7711
lola: find path: 7715
lola: symmetry: 7387
lola: reporting
lola: not produced: 7703
lola: find path: 7719
lola: symmetry: 7391
lola: reporting
lola: not produced: 7703
lola: find path: 7719
lola: symmetry: 7391
lola: reporting
lola: not produced: 7703
lola: find path: 7719
lola: symmetry: 7391
lola: reporting
lola: not produced: 7703
lola: find path: 7719
lola: symmetry: 7391
lola: reporting
lola: not produced: 7703
lola: find path: 7719
lola: symmetry: 7391
lola: reporting
lola: not produced: 7699
lola: find path: 7721
lola: symmetry: 7393
lola: reporting
lola: not produced: 7697
lola: find path: 7722
lola: symmetry: 7394
lola: reporting
lola: not produced: 7697
lola: find path: 7722
lola: symmetry: 7394
lola: reporting
lola: not produced: 7697
lola: find path: 7722
lola: symmetry: 7394
lola: reporting
lola: not produced: 7697
lola: find path: 7722
lola: symmetry: 7394
lola: reporting
lola: not produced: 7695
lola: find path: 7723
lola: symmetry: 7395
lola: reporting
lola: not produced: 7695
lola: find path: 7723
lola: symmetry: 7395
lola: reporting
lola: not produced: 7695
lola: find path: 7723
lola: symmetry: 7395
lola: reporting
lola: not produced: 7695
lola: find path: 7723
lola: symmetry: 7395
lola: reporting
lola: not produced: 7691
lola: find path: 7725
lola: symmetry: 7397
lola: reporting
lola: not produced: 7691
lola: find path: 7725
lola: symmetry: 7397
lola: reporting
lola: not produced: 7691
lola: find path: 7725
lola: symmetry: 7397
lola: reporting
lola: not produced: 7691
lola: find path: 7725
lola: symmetry: 7397
lola: reporting
lola: not produced: 7691
lola: find path: 7725
lola: symmetry: 7397
lola: reporting
lola: not produced: 7689
lola: find path: 7726
lola: symmetry: 7398
lola: reporting
lola: not produced: 7685
lola: find path: 7728
lola: symmetry: 7400
lola: reporting
lola: not produced: 7685
lola: find path: 7728
lola: symmetry: 7400
lola: reporting
lola: not produced: 7681
lola: find path: 7730
lola: symmetry: 7402
lola: reporting
lola: not produced: 7681
lola: find path: 7730
lola: symmetry: 7402
lola: reporting
lola: not produced: 7679
lola: find path: 7731
lola: symmetry: 7403
lola: reporting
lola: not produced: 7679
lola: find path: 7731
lola: symmetry: 7403
lola: reporting
lola: not produced: 7679
lola: find path: 7731
lola: symmetry: 7403
lola: reporting
lola: not produced: 7679
lola: find path: 7731
lola: symmetry: 7403
lola: reporting
lola: not produced: 7679
lola: find path: 7731
lola: symmetry: 7403
lola: reporting
lola: not produced: 7677
lola: find path: 7732
lola: symmetry: 7404
lola: reporting
lola: not produced: 7675
lola: find path: 7733
lola: symmetry: 7405
lola: reporting
lola: not produced: 7675
lola: find path: 7733
lola: symmetry: 7405
lola: reporting
lola: not produced: 7675
lola: find path: 7733
lola: symmetry: 7405
lola: reporting
lola: not produced: 7675
lola: find path: 7733
lola: symmetry: 7405
lola: reporting
lola: not produced: 7675
lola: find path: 7733
lola: symmetry: 7405
lola: reporting
lola: not produced: 7675
lola: find path: 7733
lola: symmetry: 7405
lola: reporting
lola: not produced: 7675
lola: find path: 7733
lola: symmetry: 7405
lola: reporting
lola: not produced: 7675
lola: find path: 7733
lola: symmetry: 7405
lola: reporting
lola: not produced: 7675
lola: find path: 7733
lola: symmetry: 7405
lola: reporting
lola: not produced: 7671
lola: find path: 7735
lola: symmetry: 7407
lola: reporting
lola: not produced: 7671
lola: find path: 7735
lola: symmetry: 7407
lola: reporting
lola: not produced: 7667
lola: find path: 7737
lola: symmetry: 7409
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 7667
lola: find path: 7737
lola: symmetry: 7409
lola: reporting
lola: not produced: 7663
lola: find path: 7739
lola: symmetry: 7411
lola: reporting
lola: not produced: 7663
lola: find path: 7739
lola: symmetry: 7411
lola: reporting
lola: not produced: 7663
lola: find path: 7739
lola: symmetry: 7411
lola: reporting
lola: not produced: 7663
lola: find path: 7739
lola: symmetry: 7411
lola: reporting
lola: not produced: 7663
lola: find path: 7739
lola: symmetry: 7411
lola: reporting
lola: not produced: 7661
lola: find path: 7740
lola: symmetry: 7412
lola: reporting
lola: not produced: 7661
lola: find path: 7740
lola: symmetry: 7412
lola: reporting
lola: not produced: 7661
lola: find path: 7740
lola: symmetry: 7412
lola: reporting
lola: not produced: 7659
lola: find path: 7741
lola: symmetry: 7413
lola: reporting
lola: not produced: 7657
lola: find path: 7742
lola: symmetry: 7414
lola: reporting
lola: not produced: 7653
lola: find path: 7744
lola: symmetry: 7416
lola: reporting
lola: not produced: 7651
lola: find path: 7745
lola: symmetry: 7417
lola: reporting
lola: not produced: 7649
lola: find path: 7746
lola: symmetry: 7418
lola: reporting
lola: not produced: 7649
lola: find path: 7746
lola: symmetry: 7418
lola: reporting
lola: not produced: 7649
lola: find path: 7746
lola: symmetry: 7418
lola: reporting
lola: not produced: 7649
lola: find path: 7746
lola: symmetry: 7418
lola: reporting
lola: not produced: 7645
lola: find path: 7748
lola: symmetry: 7420
lola: reporting
lola: not produced: 7645
lola: find path: 7748
lola: symmetry: 7420
lola: reporting
lola: not produced: 7645
lola: find path: 7748
lola: symmetry: 7420
lola: reporting
lola: not produced: 7645
lola: find path: 7748
lola: symmetry: 7420
lola: reporting
lola: not produced: 7645
lola: find path: 7748
lola: symmetry: 7420
lola: reporting
lola: not produced: 7643
lola: find path: 7749
lola: symmetry: 7421
lola: reporting
lola: not produced: 7643
lola: find path: 7749
lola: symmetry: 7421
lola: reporting
lola: not produced: 7643
lola: find path: 7749
lola: symmetry: 7421
lola: reporting
lola: not produced: 7643
lola: find path: 7749
lola: symmetry: 7421
lola: reporting
lola: not produced: 7643
lola: find path: 7749
lola: symmetry: 7421
lola: reporting
lola: not produced: 7643
lola: find path: 7749
lola: symmetry: 7421
lola: reporting
lola: not produced: 7643
lola: find path: 7749
lola: symmetry: 7421
lola: reporting
lola: not produced: 7643
lola: find path: 7749
lola: symmetry: 7421
lola: reporting
lola: not produced: 7643
lola: find path: 7749
lola: symmetry: 7421
lola: reporting
lola: not produced: 7641
lola: find path: 7750
lola: symmetry: 7422
lola: reporting
lola: not produced: 7641
lola: find path: 7750
lola: symmetry: 7422
lola: reporting
lola: not produced: 7641
lola: find path: 7750
lola: symmetry: 7422
lola: reporting
lola: not produced: 7641
lola: find path: 7750
lola: symmetry: 7422
lola: reporting
lola: not produced: 7641
lola: find path: 7750
lola: symmetry: 7422
lola: reporting
lola: not produced: 7641
lola: find path: 7750
lola: symmetry: 7422
lola: reporting
lola: not produced: 7641
lola: find path: 7750
lola: symmetry: 7422
lola: reporting
lola: not produced: 7641
lola: find path: 7750
lola: symmetry: 7422
lola: reporting
lola: not produced: 7641
lola: find path: 7750
lola: symmetry: 7422
lola: reporting
lola: not produced: 7637
lola: find path: 7752
lola: symmetry: 7424
lola: reporting
lola: not produced: 7633
lola: find path: 7754
lola: symmetry: 7426
lola: reporting
lola: not produced: 7633
lola: find path: 7754
lola: symmetry: 7426
lola: reporting
lola: not produced: 7633
lola: find path: 7754
lola: symmetry: 7426
lola: reporting
lola: not produced: 7633
lola: find path: 7754
lola: symmetry: 7426
lola: reporting
lola: not produced: 7633
lola: find path: 7754
lola: symmetry: 7426
lola: reporting
lola: not produced: 7633
lola: find path: 7754
lola: symmetry: 7426
lola: reporting
lola: not produced: 7633
lola: find path: 7754
lola: symmetry: 7426
lola: reporting
lola: not produced: 7633
lola: find path: 7754
lola: symmetry: 7426
lola: reporting
lola: not produced: 7633
lola: find path: 7754
lola: symmetry: 7426
lola: reporting
lola: not produced: 7633
lola: find path: 7754
lola: symmetry: 7426
lola: reporting
lola: not produced: 7627
lola: find path: 7757
lola: symmetry: 7429
lola: reporting
lola: not produced: 7627
lola: find path: 7757
lola: symmetry: 7429
lola: reporting
lola: not produced: 7627
lola: find path: 7757
lola: symmetry: 7429
lola: reporting
lola: not produced: 7627
lola: find path: 7757
lola: symmetry: 7429
lola: reporting
lola: not produced: 7627
lola: find path: 7757
lola: symmetry: 7429
lola: reporting
lola: not produced: 7627
lola: find path: 7757
lola: symmetry: 7429
lola: reporting
lola: not produced: 7627
lola: find path: 7757
lola: symmetry: 7429
lola: reporting
lola: not produced: 7627
lola: find path: 7757
lola: symmetry: 7429
lola: reporting
lola: not produced: 7627
lola: find path: 7757
lola: symmetry: 7429
lola: reporting
lola: not produced: 7627
lola: find path: 7757
lola: symmetry: 7429
lola: reporting
lola: not produced: 7623
lola: find path: 7759
lola: symmetry: 7431
lola: reporting
lola: not produced: 7623
lola: find path: 7759
lola: symmetry: 7431
lola: reporting
lola: not produced: 7619
lola: find path: 7761
lola: symmetry: 7433
lola: reporting
lola: not produced: 7619
lola: find path: 7761
lola: symmetry: 7433
lola: reporting
lola: not produced: 7619
lola: find path: 7761
lola: symmetry: 7433
lola: reporting
lola: not produced: 7617
lola: find path: 7762
lola: symmetry: 7434
lola: reporting
lola: not produced: 7617
lola: find path: 7762
lola: symmetry: 7434
lola: reporting
lola: not produced: 7617
lola: find path: 7762
lola: symmetry: 7434
lola: reporting
lola: not produced: 7617
lola: find path: 7762
lola: symmetry: 7434
lola: reporting
lola: not produced: 7617
lola: find path: 7762
lola: symmetry: 7434
lola: reporting
lola: not produced: 7617
lola: find path: 7762
lola: symmetry: 7434
lola: reporting
lola: not produced: 7617
lola: find path: 7762
lola: symmetry: 7434
lola: reporting
lola: not produced: 7617
lola: find path: 7762
lola: symmetry: 7434
lola: reporting
lola: not produced: 7617
lola: find path: 7762
lola: symmetry: 7434
lola: reporting
lola: not produced: 7615
lola: find path: 7763
lola: symmetry: 7435
lola: reporting
lola: not produced: 7615
lola: find path: 7763
lola: symmetry: 7435
lola: reporting
lola: not produced: 7615
lola: find path: 7763
lola: symmetry: 7435
lola: reporting
lola: not produced: 7615
lola: find path: 7763
lola: symmetry: 7435
lola: reporting
lola: not produced: 7615
lola: find path: 7763
lola: symmetry: 7435
lola: reporting
lola: not produced: 7615
lola: find path: 7763
lola: symmetry: 7435
lola: reporting
lola: not produced: 7615
lola: find path: 7763
lola: symmetry: 7435
lola: reporting
lola: not produced: 7611
lola: find path: 7765
lola: symmetry: 7437
lola: reporting
lola: not produced: 7611
lola: find path: 7765
lola: symmetry: 7437
lola: reporting
lola: not produced: 7611
lola: find path: 7765
lola: symmetry: 7437
lola: reporting
lola: not produced: 7611
lola: find path: 7765
lola: symmetry: 7437
lola: reporting
lola: not produced: 7611
lola: find path: 7765
lola: symmetry: 7437
lola: reporting
lola: not produced: 7607
lola: find path: 7767
lola: symmetry: 7439
lola: reporting
lola: not produced: 7607
lola: find path: 7767
lola: symmetry: 7439
lola: reporting
lola: not produced: 7607
lola: find path: 7767
lola: symmetry: 7439
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7603
lola: find path: 7769
lola: symmetry: 7441
lola: reporting
lola: not produced: 7601
lola: find path: 7770
lola: symmetry: 7442
lola: reporting
lola: not produced: 7601
lola: find path: 7770
lola: symmetry: 7442
lola: reporting
lola: not produced: 7601
lola: find path: 7770
lola: symmetry: 7442
lola: reporting
lola: not produced: 7601
lola: find path: 7770
lola: symmetry: 7442
lola: reporting
lola: not produced: 7601
lola: find path: 7770
lola: symmetry: 7442
lola: reporting
lola: not produced: 7601
lola: find path: 7770
lola: symmetry: 7442
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7599
lola: find path: 7771
lola: symmetry: 7443
lola: reporting
lola: not produced: 7597
lola: find path: 7772
lola: symmetry: 7444
lola: reporting
lola: not produced: 7597
lola: find path: 7772
lola: symmetry: 7444
lola: reporting
lola: not produced: 7597
lola: find path: 7772
lola: symmetry: 7444
lola: reporting
lola: not produced: 7597
lola: find path: 7772
lola: symmetry: 7444
lola: reporting
lola: not produced: 7597
lola: find path: 7772
lola: symmetry: 7444
lola: reporting
lola: not produced: 7597
lola: find path: 7772
lola: symmetry: 7444
lola: reporting
lola: not produced: 7597
lola: find path: 7772
lola: symmetry: 7444
lola: reporting
lola: not produced: 7597
lola: find path: 7772
lola: symmetry: 7444
lola: reporting
lola: not produced: 7597
lola: find path: 7772
lola: symmetry: 7444
lola: reporting
lola: not produced: 7597
lola: find path: 7772
lola: symmetry: 7444
lola: caught signal Terminated - aborting LoLA

FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY


Time elapsed: 1800 secs. Pages in use: 12

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="StableMarking"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lola"
echo " Input is MultiCrashLeafsetExtension-PT-S32C06, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r244-tall-167856432100578"
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 [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StableMarking.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;