About the Execution of LoLA for MultiCrashLeafsetExtension-PT-S32C09
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16160.884 | 1800000.00 | 6788594.00 | 725.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-162124162800483.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-S32C09, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r296-tall-162124162800483
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 60M
-rw-r--r-- 1 mcc users 67K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 232K May 15 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 24K May 15 08:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 78K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.7K May 12 07:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K 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 19K May 12 07:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 08:13 NewModel
-rw-r--r-- 1 mcc users 4.8K May 11 19:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 11 19:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.3K May 11 16:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 11 16:23 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:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 08:13 equiv_col
-rw-r--r-- 1 mcc users 7 May 12 08:13 instance
-rw-r--r-- 1 mcc users 6 May 12 08:13 iscolored
-rw-r--r-- 1 mcc users 59M May 12 08:13 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME StableMarking
=== Now, execution of the tool begins
BK_START 1621251300089
starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S32C09
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: StableMarking
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 Node29HasTheLeafSetOfRx7ToReplaceNode32
sara: try reading problem file stateEquationProblem-ConstantPlace-363.sara.
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: reporting
lola: not produced: 29767
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 23109
lola: find path: 3441
lola: symmetry: 3217
lola: reporting
lola: not produced: 19583
lola: find path: 5205
lola: symmetry: 4979
lola: reporting
lola: not produced: 17447
lola: find path: 6273
lola: symmetry: 6047
lola: reporting
lola: not produced: 16109
lola: find path: 6943
lola: symmetry: 6715
lola: reporting
lola: not produced: 15049
lola: find path: 7474
lola: symmetry: 7244
lola: reporting
lola: not produced: 14311
lola: find path: 7843
lola: symmetry: 7613
lola: reporting
lola: not produced: 13761
lola: find path: 8118
lola: symmetry: 7888
lola: reporting
lola: not produced: 13357
lola: find path: 8320
lola: symmetry: 8090
lola: reporting
lola: not produced: 12921
lola: find path: 8538
lola: symmetry: 8308
lola: reporting
lola: not produced: 12585
lola: find path: 8706
lola: symmetry: 8476
lola: reporting
lola: not produced: 12363
lola: find path: 8817
lola: symmetry: 8587
lola: reporting
lola: not produced: 12123
lola: find path: 8937
lola: symmetry: 8707
lola: reporting
lola: not produced: 11897
lola: find path: 9050
lola: symmetry: 8820
lola: reporting
lola: not produced: 11763
lola: find path: 9117
lola: symmetry: 8887
lola: reporting
lola: not produced: 11601
lola: find path: 9198
lola: symmetry: 8968
lola: reporting
lola: not produced: 11461
lola: find path: 9268
lola: symmetry: 9038
lola: reporting
lola: not produced: 11341
lola: find path: 9328
lola: symmetry: 9098
lola: reporting
lola: not produced: 11237
lola: find path: 9380
lola: symmetry: 9150
lola: reporting
lola: not produced: 11111
lola: find path: 9443
lola: symmetry: 9213
lola: reporting
lola: not produced: 11009
lola: find path: 9494
lola: symmetry: 9264
lola: reporting
lola: not produced: 10907
lola: find path: 9545
lola: symmetry: 9315
lola: reporting
lola: not produced: 10847
lola: find path: 9575
lola: symmetry: 9345
lola: reporting
lola: not produced: 10747
lola: find path: 9625
lola: symmetry: 9395
lola: reporting
lola: not produced: 10687
lola: find path: 9655
lola: symmetry: 9425
lola: reporting
lola: not produced: 10625
lola: find path: 9686
lola: symmetry: 9456
lola: reporting
lola: not produced: 10553
lola: find path: 9722
lola: symmetry: 9492
lola: reporting
lola: not produced: 10465
lola: find path: 9766
lola: symmetry: 9536
lola: reporting
lola: not produced: 10431
lola: find path: 9783
lola: symmetry: 9553
lola: reporting
lola: not produced: 10381
lola: find path: 9808
lola: symmetry: 9578
lola: reporting
lola: not produced: 10337
lola: find path: 9830
lola: symmetry: 9600
lola: reporting
lola: not produced: 10289
lola: find path: 9854
lola: symmetry: 9624
lola: reporting
lola: not produced: 10253
lola: find path: 9872
lola: symmetry: 9642
lola: reporting
lola: not produced: 10179
lola: find path: 9909
lola: symmetry: 9679
lola: reporting
lola: not produced: 10155
lola: find path: 9921
lola: symmetry: 9691
lola: reporting
lola: not produced: 10121
lola: find path: 9938
lola: symmetry: 9708
lola: reporting
lola: not produced: 10085
lola: find path: 9956
lola: symmetry: 9726
lola: reporting
lola: not produced: 10073
lola: find path: 9962
lola: symmetry: 9732
lola: reporting
lola: not produced: 10057
lola: find path: 9970
lola: symmetry: 9740
lola: reporting
lola: not produced: 10033
lola: find path: 9982
lola: symmetry: 9752
lola: reporting
lola: not produced: 10017
lola: find path: 9990
lola: symmetry: 9760
lola: reporting
lola: not produced: 9991
lola: find path: 10003
lola: symmetry: 9773
lola: reporting
lola: not produced: 9983
lola: find path: 10007
lola: symmetry: 9777
lola: reporting
lola: not produced: 9961
lola: find path: 10018
lola: symmetry: 9788
lola: reporting
lola: not produced: 9957
lola: find path: 10020
lola: symmetry: 9790
lola: reporting
lola: not produced: 9917
lola: find path: 10040
lola: symmetry: 9810
lola: reporting
lola: not produced: 9893
lola: find path: 10052
lola: symmetry: 9822
lola: reporting
lola: not produced: 9885
lola: find path: 10056
lola: symmetry: 9826
lola: reporting
lola: not produced: 9873
lola: find path: 10062
lola: symmetry: 9832
lola: reporting
lola: not produced: 9833
lola: find path: 10082
lola: symmetry: 9852
lola: reporting
lola: not produced: 9815
lola: find path: 10091
lola: symmetry: 9861
lola: reporting
lola: not produced: 9775
lola: find path: 10111
lola: symmetry: 9881
lola: reporting
lola: not produced: 9767
lola: find path: 10115
lola: symmetry: 9885
lola: reporting
lola: not produced: 9767
lola: find path: 10115
lola: symmetry: 9885
lola: reporting
lola: not produced: 9747
lola: find path: 10125
lola: symmetry: 9895
lola: reporting
lola: not produced: 9737
lola: find path: 10130
lola: symmetry: 9900
lola: reporting
lola: not produced: 9719
lola: find path: 10139
lola: symmetry: 9909
lola: reporting
lola: not produced: 9701
lola: find path: 10148
lola: symmetry: 9918
lola: reporting
lola: not produced: 9689
lola: find path: 10154
lola: symmetry: 9924
lola: reporting
lola: not produced: 9655
lola: find path: 10171
lola: symmetry: 9941
lola: reporting
lola: not produced: 9643
lola: find path: 10177
lola: symmetry: 9947
lola: reporting
lola: not produced: 9635
lola: find path: 10181
lola: symmetry: 9951
lola: reporting
lola: not produced: 9631
lola: find path: 10183
lola: symmetry: 9953
lola: reporting
lola: not produced: 9603
lola: find path: 10197
lola: symmetry: 9967
lola: reporting
lola: not produced: 9577
lola: find path: 10210
lola: symmetry: 9980
lola: reporting
lola: not produced: 9565
lola: find path: 10216
lola: symmetry: 9986
lola: reporting
lola: not produced: 9557
lola: find path: 10220
lola: symmetry: 9990
lola: reporting
lola: not produced: 9549
lola: find path: 10224
lola: symmetry: 9994
lola: reporting
lola: not produced: 9541
lola: find path: 10228
lola: symmetry: 9998
lola: reporting
lola: not produced: 9501
lola: find path: 10248
lola: symmetry: 10018
lola: reporting
lola: not produced: 9491
lola: find path: 10253
lola: symmetry: 10023
lola: reporting
lola: not produced: 9483
lola: find path: 10257
lola: symmetry: 10027
lola: reporting
lola: not produced: 9481
lola: find path: 10258
lola: symmetry: 10028
lola: reporting
lola: not produced: 9473
lola: find path: 10262
lola: symmetry: 10032
lola: reporting
lola: not produced: 9457
lola: find path: 10270
lola: symmetry: 10040
lola: reporting
lola: not produced: 9449
lola: find path: 10274
lola: symmetry: 10044
lola: reporting
lola: not produced: 9439
lola: find path: 10279
lola: symmetry: 10049
lola: reporting
lola: not produced: 9419
lola: find path: 10289
lola: symmetry: 10059
lola: reporting
lola: not produced: 9415
lola: find path: 10291
lola: symmetry: 10061
lola: reporting
lola: not produced: 9405
lola: find path: 10296
lola: symmetry: 10066
lola: reporting
lola: not produced: 9401
lola: find path: 10298
lola: symmetry: 10068
lola: reporting
lola: not produced: 9385
lola: find path: 10306
lola: symmetry: 10076
lola: reporting
lola: not produced: 9385
lola: find path: 10306
lola: symmetry: 10076
lola: reporting
lola: not produced: 9377
lola: find path: 10310
lola: symmetry: 10080
lola: reporting
lola: not produced: 9369
lola: find path: 10314
lola: symmetry: 10084
lola: reporting
lola: not produced: 9353
lola: find path: 10322
lola: symmetry: 10092
lola: reporting
lola: not produced: 9331
lola: find path: 10333
lola: symmetry: 10103
lola: reporting
lola: not produced: 9319
lola: find path: 10339
lola: symmetry: 10109
lola: reporting
lola: not produced: 9319
lola: find path: 10339
lola: symmetry: 10109
lola: reporting
lola: not produced: 9295
lola: find path: 10351
lola: symmetry: 10121
lola: reporting
lola: not produced: 9291
lola: find path: 10353
lola: symmetry: 10123
lola: reporting
lola: not produced: 9271
lola: find path: 10363
lola: symmetry: 10133
lola: reporting
lola: not produced: 9259
lola: find path: 10369
lola: symmetry: 10139
lola: reporting
lola: not produced: 9249
lola: find path: 10374
lola: symmetry: 10144
lola: reporting
lola: not produced: 9245
lola: find path: 10376
lola: symmetry: 10146
lola: reporting
lola: not produced: 9233
lola: find path: 10382
lola: symmetry: 10152
lola: reporting
lola: not produced: 9217
lola: find path: 10390
lola: symmetry: 10160
lola: reporting
lola: not produced: 9209
lola: find path: 10394
lola: symmetry: 10164
lola: reporting
lola: not produced: 9185
lola: find path: 10406
lola: symmetry: 10176
lola: reporting
lola: not produced: 9181
lola: find path: 10408
lola: symmetry: 10178
lola: reporting
lola: not produced: 9169
lola: find path: 10414
lola: symmetry: 10184
lola: reporting
lola: not produced: 9157
lola: find path: 10420
lola: symmetry: 10190
lola: reporting
lola: not produced: 9149
lola: find path: 10424
lola: symmetry: 10194
lola: reporting
lola: not produced: 9145
lola: find path: 10426
lola: symmetry: 10196
lola: reporting
lola: not produced: 9141
lola: find path: 10428
lola: symmetry: 10198
lola: reporting
lola: not produced: 9129
lola: find path: 10434
lola: symmetry: 10204
lola: reporting
lola: not produced: 9111
lola: find path: 10443
lola: symmetry: 10213
lola: reporting
lola: not produced: 9093
lola: find path: 10452
lola: symmetry: 10222
lola: reporting
lola: not produced: 9077
lola: find path: 10460
lola: symmetry: 10230
lola: reporting
lola: not produced: 9057
lola: find path: 10470
lola: symmetry: 10240
lola: reporting
lola: not produced: 9057
lola: find path: 10470
lola: symmetry: 10240
lola: reporting
lola: not produced: 9053
lola: find path: 10472
lola: symmetry: 10242
lola: reporting
lola: not produced: 9049
lola: find path: 10474
lola: symmetry: 10244
lola: reporting
lola: not produced: 9041
lola: find path: 10478
lola: symmetry: 10248
lola: reporting
lola: not produced: 9029
lola: find path: 10484
lola: symmetry: 10254
lola: reporting
lola: not produced: 9023
lola: find path: 10487
lola: symmetry: 10257
lola: reporting
lola: not produced: 9017
lola: find path: 10490
lola: symmetry: 10260
lola: reporting
lola: not produced: 9011
lola: find path: 10493
lola: symmetry: 10263
lola: reporting
lola: not produced: 9003
lola: find path: 10497
lola: symmetry: 10267
lola: reporting
lola: not produced: 8991
lola: find path: 10503
lola: symmetry: 10273
lola: reporting
lola: not produced: 8987
lola: find path: 10505
lola: symmetry: 10275
lola: reporting
lola: not produced: 8973
lola: find path: 10512
lola: symmetry: 10282
lola: reporting
lola: not produced: 8973
lola: find path: 10512
lola: symmetry: 10282
lola: reporting
lola: not produced: 8973
lola: find path: 10512
lola: symmetry: 10282
lola: reporting
lola: not produced: 8973
lola: find path: 10512
lola: symmetry: 10282
lola: reporting
lola: not produced: 8969
lola: find path: 10514
lola: symmetry: 10284
lola: reporting
lola: not produced: 8945
lola: find path: 10526
lola: symmetry: 10296
lola: reporting
lola: not produced: 8935
lola: find path: 10531
lola: symmetry: 10301
lola: reporting
lola: not produced: 8935
lola: find path: 10531
lola: symmetry: 10301
lola: reporting
lola: not produced: 8931
lola: find path: 10533
lola: symmetry: 10303
lola: reporting
lola: not produced: 8931
lola: find path: 10533
lola: symmetry: 10303
lola: reporting
lola: not produced: 8927
lola: find path: 10535
lola: symmetry: 10305
lola: reporting
lola: not produced: 8927
lola: find path: 10535
lola: symmetry: 10305
lola: reporting
lola: not produced: 8921
lola: find path: 10538
lola: symmetry: 10308
lola: reporting
lola: not produced: 8921
lola: find path: 10538
lola: symmetry: 10308
lola: reporting
lola: not produced: 8913
lola: find path: 10542
lola: symmetry: 10312
lola: reporting
lola: not produced: 8901
lola: find path: 10548
lola: symmetry: 10318
lola: reporting
lola: not produced: 8885
lola: find path: 10556
lola: symmetry: 10326
lola: reporting
lola: not produced: 8877
lola: find path: 10560
lola: symmetry: 10330
lola: reporting
lola: not produced: 8865
lola: find path: 10566
lola: symmetry: 10336
lola: reporting
lola: not produced: 8861
lola: find path: 10568
lola: symmetry: 10338
lola: reporting
lola: not produced: 8849
lola: find path: 10574
lola: symmetry: 10344
lola: reporting
lola: not produced: 8845
lola: find path: 10576
lola: symmetry: 10346
lola: reporting
lola: not produced: 8841
lola: find path: 10578
lola: symmetry: 10348
lola: reporting
lola: not produced: 8829
lola: find path: 10584
lola: symmetry: 10354
lola: reporting
lola: not produced: 8829
lola: find path: 10584
lola: symmetry: 10354
lola: reporting
lola: not produced: 8823
lola: find path: 10587
lola: symmetry: 10357
lola: reporting
lola: not produced: 8819
lola: find path: 10589
lola: symmetry: 10359
lola: reporting
lola: not produced: 8807
lola: find path: 10595
lola: symmetry: 10365
lola: reporting
lola: not produced: 8799
lola: find path: 10599
lola: symmetry: 10369
lola: reporting
lola: not produced: 8791
lola: find path: 10603
lola: symmetry: 10373
lola: reporting
lola: not produced: 8787
lola: find path: 10605
lola: symmetry: 10375
lola: reporting
lola: not produced: 8771
lola: find path: 10613
lola: symmetry: 10383
lola: reporting
lola: not produced: 8763
lola: find path: 10617
lola: symmetry: 10387
lola: reporting
lola: not produced: 8751
lola: find path: 10623
lola: symmetry: 10393
lola: reporting
lola: not produced: 8743
lola: find path: 10627
lola: symmetry: 10397
lola: reporting
lola: not produced: 8739
lola: find path: 10629
lola: symmetry: 10399
lola: reporting
lola: not produced: 8731
lola: find path: 10633
lola: symmetry: 10403
lola: reporting
lola: not produced: 8727
lola: find path: 10635
lola: symmetry: 10405
lola: reporting
lola: not produced: 8723
lola: find path: 10637
lola: symmetry: 10407
lola: reporting
lola: not produced: 8715
lola: find path: 10641
lola: symmetry: 10411
lola: reporting
lola: not produced: 8715
lola: find path: 10641
lola: symmetry: 10411
lola: reporting
lola: not produced: 8715
lola: find path: 10641
lola: symmetry: 10411
lola: reporting
lola: not produced: 8711
lola: find path: 10643
lola: symmetry: 10413
lola: reporting
lola: not produced: 8707
lola: find path: 10645
lola: symmetry: 10415
lola: reporting
lola: not produced: 8699
lola: find path: 10649
lola: symmetry: 10419
lola: reporting
lola: not produced: 8695
lola: find path: 10651
lola: symmetry: 10421
lola: reporting
lola: not produced: 8691
lola: find path: 10653
lola: symmetry: 10423
lola: reporting
lola: not produced: 8691
lola: find path: 10653
lola: symmetry: 10423
lola: reporting
lola: not produced: 8691
lola: find path: 10653
lola: symmetry: 10423
lola: reporting
lola: not produced: 8691
lola: find path: 10653
lola: symmetry: 10423
lola: reporting
lola: not produced: 8687
lola: find path: 10655
lola: symmetry: 10425
lola: reporting
lola: not produced: 8685
lola: find path: 10656
lola: symmetry: 10426
lola: reporting
lola: not produced: 8681
lola: find path: 10658
lola: symmetry: 10428
lola: reporting
lola: not produced: 8677
lola: find path: 10660
lola: symmetry: 10430
lola: reporting
lola: not produced: 8665
lola: find path: 10666
lola: symmetry: 10436
lola: reporting
lola: not produced: 8665
lola: find path: 10666
lola: symmetry: 10436
lola: reporting
lola: not produced: 8657
lola: find path: 10670
lola: symmetry: 10440
lola: reporting
lola: not produced: 8655
lola: find path: 10671
lola: symmetry: 10441
lola: reporting
lola: not produced: 8655
lola: find path: 10671
lola: symmetry: 10441
lola: reporting
lola: not produced: 8651
lola: find path: 10673
lola: symmetry: 10443
lola: reporting
lola: not produced: 8651
lola: find path: 10673
lola: symmetry: 10443
lola: reporting
lola: not produced: 8643
lola: find path: 10677
lola: symmetry: 10447
lola: reporting
lola: not produced: 8639
lola: find path: 10679
lola: symmetry: 10449
lola: reporting
lola: not produced: 8639
lola: find path: 10679
lola: symmetry: 10449
lola: reporting
lola: not produced: 8639
lola: find path: 10679
lola: symmetry: 10449
lola: reporting
lola: not produced: 8639
lola: find path: 10679
lola: symmetry: 10449
lola: reporting
lola: not produced: 8635
lola: find path: 10681
lola: symmetry: 10451
lola: reporting
lola: not produced: 8629
lola: find path: 10684
lola: symmetry: 10454
lola: reporting
lola: not produced: 8621
lola: find path: 10688
lola: symmetry: 10458
lola: reporting
lola: not produced: 8617
lola: find path: 10690
lola: symmetry: 10460
lola: reporting
lola: not produced: 8617
lola: find path: 10690
lola: symmetry: 10460
lola: reporting
lola: not produced: 8611
lola: find path: 10693
lola: symmetry: 10463
lola: reporting
lola: not produced: 8611
lola: find path: 10693
lola: symmetry: 10463
lola: reporting
lola: not produced: 8611
lola: find path: 10693
lola: symmetry: 10463
lola: reporting
lola: not produced: 8611
lola: find path: 10693
lola: symmetry: 10463
lola: reporting
lola: not produced: 8605
lola: find path: 10696
lola: symmetry: 10466
lola: reporting
lola: not produced: 8605
lola: find path: 10696
lola: symmetry: 10466
lola: reporting
lola: not produced: 8605
lola: find path: 10696
lola: symmetry: 10466
lola: reporting
lola: not produced: 8601
lola: find path: 10698
lola: symmetry: 10468
lola: reporting
lola: not produced: 8601
lola: find path: 10698
lola: symmetry: 10468
lola: reporting
lola: not produced: 8597
lola: find path: 10700
lola: symmetry: 10470
lola: reporting
lola: not produced: 8589
lola: find path: 10704
lola: symmetry: 10474
lola: reporting
lola: not produced: 8589
lola: find path: 10704
lola: symmetry: 10474
lola: reporting
lola: not produced: 8589
lola: find path: 10704
lola: symmetry: 10474
lola: reporting
lola: not produced: 8583
lola: find path: 10707
lola: symmetry: 10477
lola: reporting
lola: not produced: 8579
lola: find path: 10709
lola: symmetry: 10479
lola: reporting
lola: not produced: 8579
lola: find path: 10709
lola: symmetry: 10479
lola: reporting
lola: not produced: 8575
lola: find path: 10711
lola: symmetry: 10481
lola: reporting
lola: not produced: 8573
lola: find path: 10712
lola: symmetry: 10482
lola: reporting
lola: not produced: 8569
lola: find path: 10714
lola: symmetry: 10484
lola: reporting
lola: not produced: 8569
lola: find path: 10714
lola: symmetry: 10484
lola: reporting
lola: not produced: 8569
lola: find path: 10714
lola: symmetry: 10484
lola: reporting
lola: not produced: 8569
lola: find path: 10714
lola: symmetry: 10484
lola: reporting
lola: not produced: 8565
lola: find path: 10716
lola: symmetry: 10486
lola: reporting
lola: not produced: 8561
lola: find path: 10718
lola: symmetry: 10488
lola: reporting
lola: not produced: 8549
lola: find path: 10724
lola: symmetry: 10494
lola: reporting
lola: not produced: 8543
lola: find path: 10727
lola: symmetry: 10497
lola: reporting
lola: not produced: 8535
lola: find path: 10731
lola: symmetry: 10501
lola: reporting
lola: not produced: 8523
lola: find path: 10737
lola: symmetry: 10507
lola: reporting
lola: not produced: 8519
lola: find path: 10739
lola: symmetry: 10509
lola: reporting
lola: not produced: 8515
lola: find path: 10741
lola: symmetry: 10511
lola: reporting
lola: not produced: 8507
lola: find path: 10745
lola: symmetry: 10515
lola: reporting
lola: not produced: 8503
lola: find path: 10747
lola: symmetry: 10517
lola: reporting
lola: not produced: 8497
lola: find path: 10750
lola: symmetry: 10520
lola: reporting
lola: not produced: 8493
lola: find path: 10752
lola: symmetry: 10522
lola: reporting
lola: not produced: 8493
lola: find path: 10752
lola: symmetry: 10522
lola: reporting
lola: not produced: 8493
lola: find path: 10752
lola: symmetry: 10522
lola: reporting
lola: not produced: 8485
lola: find path: 10756
lola: symmetry: 10526
lola: reporting
lola: not produced: 8481
lola: find path: 10758
lola: symmetry: 10528
lola: reporting
lola: not produced: 8467
lola: find path: 10765
lola: symmetry: 10535
lola: reporting
lola: not produced: 8467
lola: find path: 10765
lola: symmetry: 10535
lola: reporting
lola: not produced: 8455
lola: find path: 10771
lola: symmetry: 10541
lola: reporting
lola: not produced: 8439
lola: find path: 10779
lola: symmetry: 10549
lola: reporting
lola: not produced: 8435
lola: find path: 10781
lola: symmetry: 10551
lola: reporting
lola: not produced: 8427
lola: find path: 10785
lola: symmetry: 10555
lola: reporting
lola: not produced: 8427
lola: find path: 10785
lola: symmetry: 10555
lola: reporting
lola: not produced: 8427
lola: find path: 10785
lola: symmetry: 10555
lola: reporting
lola: not produced: 8427
lola: find path: 10785
lola: symmetry: 10555
lola: reporting
lola: not produced: 8427
lola: find path: 10785
lola: symmetry: 10555
lola: reporting
lola: not produced: 8423
lola: find path: 10787
lola: symmetry: 10557
lola: reporting
lola: not produced: 8423
lola: find path: 10787
lola: symmetry: 10557
lola: reporting
lola: not produced: 8423
lola: find path: 10787
lola: symmetry: 10557
lola: reporting
lola: not produced: 8419
lola: find path: 10789
lola: symmetry: 10559
lola: reporting
lola: not produced: 8417
lola: find path: 10790
lola: symmetry: 10560
lola: reporting
lola: not produced: 8415
lola: find path: 10791
lola: symmetry: 10561
lola: reporting
lola: not produced: 8409
lola: find path: 10794
lola: symmetry: 10564
lola: reporting
lola: not produced: 8407
lola: find path: 10795
lola: symmetry: 10565
lola: reporting
lola: not produced: 8403
lola: find path: 10797
lola: symmetry: 10567
lola: reporting
lola: not produced: 8395
lola: find path: 10801
lola: symmetry: 10571
lola: reporting
lola: not produced: 8395
lola: find path: 10801
lola: symmetry: 10571
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 8395
lola: find path: 10801
lola: symmetry: 10571
lola: reporting
lola: not produced: 8395
lola: find path: 10801
lola: symmetry: 10571
lola: reporting
lola: not produced: 8391
lola: find path: 10803
lola: symmetry: 10573
lola: reporting
lola: not produced: 8387
lola: find path: 10805
lola: symmetry: 10575
lola: reporting
lola: not produced: 8381
lola: find path: 10808
lola: symmetry: 10578
lola: reporting
lola: not produced: 8377
lola: find path: 10810
lola: symmetry: 10580
lola: reporting
lola: not produced: 8369
lola: find path: 10814
lola: symmetry: 10584
lola: reporting
lola: not produced: 8365
lola: find path: 10816
lola: symmetry: 10586
lola: reporting
lola: not produced: 8365
lola: find path: 10816
lola: symmetry: 10586
lola: reporting
lola: not produced: 8365
lola: find path: 10816
lola: symmetry: 10586
lola: reporting
lola: not produced: 8357
lola: find path: 10820
lola: symmetry: 10590
lola: reporting
lola: not produced: 8357
lola: find path: 10820
lola: symmetry: 10590
lola: reporting
lola: not produced: 8357
lola: find path: 10820
lola: symmetry: 10590
lola: reporting
lola: not produced: 8353
lola: find path: 10822
lola: symmetry: 10592
lola: reporting
lola: not produced: 8349
lola: find path: 10824
lola: symmetry: 10594
lola: reporting
lola: not produced: 8337
lola: find path: 10830
lola: symmetry: 10600
lola: reporting
lola: not produced: 8337
lola: find path: 10830
lola: symmetry: 10600
lola: reporting
lola: not produced: 8333
lola: find path: 10832
lola: symmetry: 10602
lola: reporting
lola: not produced: 8333
lola: find path: 10832
lola: symmetry: 10602
lola: reporting
lola: not produced: 8329
lola: find path: 10834
lola: symmetry: 10604
lola: reporting
lola: not produced: 8329
lola: find path: 10834
lola: symmetry: 10604
lola: reporting
lola: not produced: 8329
lola: find path: 10834
lola: symmetry: 10604
lola: reporting
lola: not produced: 8315
lola: find path: 10841
lola: symmetry: 10611
lola: reporting
lola: not produced: 8315
lola: find path: 10841
lola: symmetry: 10611
lola: reporting
lola: not produced: 8315
lola: find path: 10841
lola: symmetry: 10611
lola: reporting
lola: not produced: 8315
lola: find path: 10841
lola: symmetry: 10611
lola: reporting
lola: not produced: 8315
lola: find path: 10841
lola: symmetry: 10611
lola: reporting
lola: not produced: 8311
lola: find path: 10843
lola: symmetry: 10613
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
lola: STATE EQUATION TRIES PLACE Node29ThinksNode25ShouldBeNodeMasterToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node31ThinksNode28ShouldBeNodeMasterToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node31ThinksNode2ShouldBeNodeMasterToReplaceNode11
lola: STATE EQUATION TRIES PLACE Rx8HasReceivedTheRequestOfNode3
lola: reporting
lola: not produced: 8311
lola: find path: 10843
lola: symmetry: 10613
lola: STATE EQUATION TRIES PLACE Node25ThinksNode8ShouldBeNodeMasterToReplaceNode24
lola: STATE EQUATION TRIES PLACE Node9ThinksNode21ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node31ThinksNode4ShouldBeNodeMasterToReplaceNode6
lola: STATE EQUATION TRIES PLACE Node27HasAskedItsLeafSetToRx8ToReplaceNode16
lola: reporting
lola: not produced: 8311
lola: find path: 10843
lola: symmetry: 10613
lola: STATE EQUATION TRIES PLACE Node6ThinksNode25ShouldBeNodeMasterToReplaceNode23
lola: STATE EQUATION TRIES PLACE Node28IsTheNodeMaster
lola: STATE EQUATION TRIES PLACE Node24ThinksNode22ShouldBeNodeMasterToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node1ThinksNode6ShouldBeNodeMasterToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node32ThinksNode1ShouldBeNodeMasterToReplaceNode30
lola: reporting
lola: not produced: 8311
lola: find path: 10843
lola: symmetry: 10613
lola: STATE EQUATION TRIES PLACE Node4ThinksNode22ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node31ThinksNode4ShouldBeNodeMasterToReplaceNode22
lola: STATE EQUATION TRIES PLACE Node15HasAskedItsLeafSetToLx7ToReplaceNode3
lola: STATE EQUATION TRIES PLACE Node0ThinksNode5ShouldBeNodeMasterToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node22ThinksNode20ShouldBeNodeMasterToReplaceNode17
lola: reporting
lola: not produced: 8307
lola: find path: 10845
lola: symmetry: 10615
lola: STATE EQUATION TRIES PLACE Node3HasTheLeafSetOfLx8ToReplaceNode2
lola: STATE EQUATION TRIES PLACE Node11HasAskedItsLeafSetToLx8ToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node1ThinksNode28ShouldBeNodeMasterToReplaceNode24
lola: STATE EQUATION TRIES PLACE Node18HasTheLeafSetOfLx8ToReplaceNode12
lola: STATE EQUATION TRIES PLACE Rx8IsActiveInTheLeafSet
lola: reporting
lola: not produced: 8307
lola: find path: 10845
lola: symmetry: 10615
lola: STATE EQUATION TRIES PLACE Node21HasTheLeafSetOfLx8ToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node5ThinksNode26ShouldBeNodeMasterToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node30ThinksNode26ShouldBeNodeMasterToReplaceNode23
lola: STATE EQUATION TRIES PLACE Node0ThinksNode11ShouldBeNodeMasterToReplaceNode14
lola: reporting
lola: not produced: 8303
lola: find path: 10847
lola: symmetry: 10617
lola: STATE EQUATION TRIES PLACE Node4ThinksNode26ShouldBeNodeMasterToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node30ThinksNode4ShouldBeNodeMasterToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node31ThinksNode25ShouldBeNodeMasterToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node0ThinksNode22ShouldBeNodeMasterToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node6ThinksNode9ShouldBeNodeMasterToReplaceNode13
lola: reporting
lola: not produced: 8303
lola: find path: 10847
lola: symmetry: 10617
lola: STATE EQUATION TRIES PLACE Node31ThinksNode23ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node12HasAskedItsLeafSetToLx7ToReplaceNode1
lola: STATE EQUATION TRIES PLACE Node8HasTheLeafSetOfRx8ToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node2ThinksNode22ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node6ThinksNode7ShouldBeNodeMasterToReplaceNode18
lola: reporting
lola: not produced: 8299
lola: find path: 10849
lola: symmetry: 10619
lola: STATE EQUATION TRIES PLACE Node0ThinksNode29ShouldBeNodeMasterToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node8HasTheLeafSetOfRx7ToReplaceNode22
lola: STATE EQUATION TRIES PLACE Node1ThinksNode6ShouldBeNodeMasterToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node8IsNotifiedThatHeIsTheNewMaster
lola: reporting
lola: not produced: 8291
lola: find path: 10853
lola: symmetry: 10623
lola: STATE EQUATION TRIES PLACE Node20HasAskedItsLeafSetToRx8ToReplaceNode24
lola: STATE EQUATION TRIES PLACE Node31HasTheLeafSetOfRx8ToReplaceNode30
lola: STATE EQUATION TRIES PLACE Node2ThinksNode3ShouldBeNodeMasterToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node27ThinksNode12ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node22HasAskedItsLeafSetToLx8ToReplaceNode3
lola: reporting
lola: not produced: 8283
lola: find path: 10857
lola: symmetry: 10627
lola: STATE EQUATION TRIES PLACE Node2ThinksNode3ShouldBeNodeMasterToReplaceNode5
lola: STATE EQUATION TRIES PLACE Node11HasAskedItsLeafSetToRx8ToReplaceNode23
lola: STATE EQUATION TRIES PLACE Node15HasAskedItsLeafSetToLx8ToReplaceNode3
lola: STATE EQUATION TRIES PLACE Node31ThinksNode5ShouldBeNodeMasterToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node2ThinksNode4ShouldBeNodeMasterToReplaceNode25
lola: reporting
lola: not produced: 8283
lola: find path: 10857
lola: symmetry: 10627
lola: STATE EQUATION TRIES PLACE Node24ThinksNode9ShouldBeNodeMasterToReplaceNode23
lola: STATE EQUATION TRIES PLACE LeafSetOfRx8IsSentToNode4
lola: STATE EQUATION TRIES PLACE Node28ThinksNode5ShouldBeNodeMasterToReplaceNode23
lola: STATE EQUATION TRIES PLACE Node0ThinksNode31ShouldBeNodeMasterToReplaceNode29
lola: reporting
lola: not produced: 8283
lola: find path: 10857
lola: symmetry: 10627
lola: STATE EQUATION TRIES PLACE Node28HasTheLeafSetOfLx8ToReplaceNode6
lola: STATE EQUATION TRIES PLACE Node21HasAskedItsLeafSetToRx8ToReplaceNode32
lola: STATE EQUATION TRIES PLACE Node31ThinksNode28ShouldBeNodeMasterToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node2ThinksNode7ShouldBeNodeMasterToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node29ThinksNode4ShouldBeNodeMasterToReplaceNode7
lola: reporting
lola: not produced: 8279
lola: find path: 10859
lola: symmetry: 10629
lola: STATE EQUATION TRIES PLACE Node32ThinksNode28ShouldBeNodeMasterToReplaceNode23
lola: STATE EQUATION TRIES PLACE Node1ThinksNode8ShouldBeNodeMasterToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node30ThinksNode11ShouldBeNodeMasterToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node23HasAskedItsLeafSetToLx8ToReplaceNode1
lola: STATE EQUATION TRIES PLACE Node29ThinksNode6ShouldBeNodeMasterToReplaceNode21
lola: reporting
lola: not produced: 8279
lola: find path: 10859
lola: symmetry: 10629
lola: STATE EQUATION TRIES PLACE Node25HasAskedItsLeafSetToRx7ToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node24HasAskedItsLeafSetToRx7ToReplaceNode21
lola: STATE EQUATION TRIES PLACE RequestOfNode22IsSentToRx8
lola: STATE EQUATION TRIES PLACE Node18HasTheLeafSetOfRx8ToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node31ThinksNode6ShouldBeNodeMasterToReplaceNode10
lola: reporting
lola: not produced: 8279
lola: find path: 10859
lola: symmetry: 10629
lola: STATE EQUATION TRIES PLACE Node5ThinksNode26ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node32ThinksNode26ShouldBeNodeMasterToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node4ThinksNode7ShouldBeNodeMasterToReplaceNode23
lola: STATE EQUATION TRIES PLACE Node15HasAskedItsLeafSetToRx8ToReplaceNode22
lola: reporting
lola: not produced: 8279
lola: find path: 10859
lola: symmetry: 10629
lola: STATE EQUATION TRIES PLACE Node24HasAskedItsLeafSetToRx8ToReplaceNode22
lola: STATE EQUATION TRIES PLACE Node4ThinksNode25ShouldBeNodeMasterToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node31ThinksNode7ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node6HasAskedItsLeafSetToRx7ToReplaceNode23
lola: STATE EQUATION TRIES PLACE Node0ThinksNode4ShouldBeNodeMasterToReplaceNode19
lola: reporting
lola: not produced: 8275
lola: find path: 10861
lola: symmetry: 10631
lola: STATE EQUATION TRIES PLACE Node30ThinksNode22ShouldBeNodeMasterToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node21HasAskedItsLeafSetToLx8ToReplaceNode5
lola: STATE EQUATION TRIES PLACE Node7ThinksNode10ShouldBeNodeMasterToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node11ThinksNode19ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node24ThinksNode9ShouldBeNodeMasterToReplaceNode23
lola: reporting
lola: not produced: 8271
lola: find path: 10863
lola: symmetry: 10633
lola: STATE EQUATION TRIES PLACE Node0ThinksNode2ShouldBeNodeMasterToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node0ThinksNode11ShouldBeNodeMasterToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node18HasAskedItsLeafSetToRx8ToReplaceNode22
lola: STATE EQUATION TRIES PLACE LeafSetOfLx8IsSentToNode24
lola: reporting
lola: not produced: 8263
lola: find path: 10867
lola: symmetry: 10637
lola: STATE EQUATION TRIES PLACE Node30ThinksNode5ShouldBeNodeMasterToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node26ThinksNode7ShouldBeNodeMasterToReplaceNode23
lola: STATE EQUATION TRIES PLACE Node1ThinksNode6ShouldBeNodeMasterToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node5ThinksNode25ShouldBeNodeMasterToReplaceNode23
lola: STATE EQUATION TRIES PLACE Node7HasAskedItsLeafSetToRx8ToReplaceNode18
lola: reporting
lola: not produced: 8259
lola: find path: 10869
lola: symmetry: 10639
lola: STATE EQUATION TRIES PLACE Node24ThinksNode12ShouldBeNodeMasterToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node24HasTheLeafSetOfRx8ToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node24ThinksNode12ShouldBeNodeMasterToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node4HasTheLeafSetOfLx7ToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node5ThinksNode12ShouldBeNodeMasterToReplaceNode16
lola: reporting
lola: not produced: 8259
lola: find path: 10869
lola: symmetry: 10639
lola: STATE EQUATION TRIES PLACE Node24HasAskedItsLeafSetToRx8ToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node31ThinksNode28ShouldBeNodeMasterToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node4ThinksNode23ShouldBeNodeMasterToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node0ThinksNode8ShouldBeNodeMasterToReplaceNode9
lola: reporting
lola: not produced: 8251
lola: find path: 10873
lola: symmetry: 10643
lola: STATE EQUATION TRIES PLACE Node31ThinksNode5ShouldBeNodeMasterToReplaceNode22
lola: STATE EQUATION TRIES PLACE Node11HasAskedItsLeafSetToLx7ToReplaceNode0
lola: STATE EQUATION TRIES PLACE Node30ThinksNode27ShouldBeNodeMasterToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node10ThinksNode21ShouldBeNodeMasterToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node23HasTheLeafSetOfRx8ToReplaceNode30
lola: reporting
lola: not produced: 8251
lola: find path: 10873
lola: symmetry: 10643
lola: STATE EQUATION TRIES PLACE Node11HasTheLeafSetOfRx8ToReplaceNode26
lola: STATE EQUATION TRIES PLACE Node24ThinksNode12ShouldBeNodeMasterToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node29ThinksNode5ShouldBeNodeMasterToReplaceNode24
lola: STATE EQUATION TRIES PLACE Node24ThinksNode22ShouldBeNodeMasterToReplaceNode11
lola: reporting
lola: not produced: 8251
lola: find path: 10873
lola: symmetry: 10643
lola: STATE EQUATION TRIES PLACE Node29ThinksNode5ShouldBeNodeMasterToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node29ThinksNode8ShouldBeNodeMasterToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node27ThinksNode22ShouldBeNodeMasterToReplaceNode15
lola: STATE EQUATION TRIES PLACE Node32ThinksNode21ShouldBeNodeMasterToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node17HasTheLeafSetOfLx8ToReplaceNode13
lola: reporting
lola: not produced: 8249
lola: find path: 10874
lola: symmetry: 10644
lola: STATE EQUATION TRIES PLACE Node25ThinksNode12ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node19HasAskedItsLeafSetToLx8ToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node15HasAskedItsLeafSetToRx8ToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node32ThinksNode26ShouldBeNodeMasterToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node0HasTheLeafSetOfRx8ToReplaceNode31
lola: reporting
lola: not produced: 8249
lola: find path: 10874
lola: symmetry: 10644
lola: STATE EQUATION TRIES PLACE Node2ThinksNode13ShouldBeNodeMasterToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node1ThinksNode5ShouldBeNodeMasterToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node1ThinksNode3ShouldBeNodeMasterToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node31ThinksNode11ShouldBeNodeMasterToReplaceNode15
lola: reporting
lola: not produced: 8245
lola: find path: 10876
lola: symmetry: 10646
lola: STATE EQUATION TRIES PLACE Node31ThinksNode4ShouldBeNodeMasterToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node32ThinksNode11ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node23ThinksNode20ShouldBeNodeMasterToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node26HasAskedItsLeafSetToRx8ToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node23HasAskedItsLeafSetToLx8ToReplaceNode0
lola: reporting
lola: not produced: 8245
lola: find path: 10876
lola: symmetry: 10646
lola: STATE EQUATION TRIES PLACE Node3ThinksNode8ShouldBeNodeMasterToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node7ThinksNode9ShouldBeNodeMasterToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node2ThinksNode9ShouldBeNodeMasterToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node30ThinksNode5ShouldBeNodeMasterToReplaceNode8
lola: STATE EQUATION TRIES PLACE RequestOfNode9IsSentToLx8
lola: reporting
lola: not produced: 8245
lola: find path: 10876
lola: symmetry: 10646
lola: STATE EQUATION TRIES PLACE Node31HasTheLeafSetOfLx8ToReplaceNode6
lola: STATE EQUATION TRIES PLACE Node28ThinksNode7ShouldBeNodeMasterToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node32ThinksNode3ShouldBeNodeMasterToReplaceNode25
lola: STATE EQUATION TRIES PLACE Node2HasAskedItsLeafSetToRx8ToReplaceNode23
lola: reporting
lola: not produced: 8245
lola: find path: 10876
lola: symmetry: 10646
lola: STATE EQUATION TRIES PLACE Node28HasTheLeafSetOfRx8ToReplaceNode31
lola: STATE EQUATION TRIES PLACE Node4ThinksNode26ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node29ThinksNode5ShouldBeNodeMasterToReplaceNode27
lola: STATE EQUATION TRIES PLACE Node29ThinksNode7ShouldBeNodeMasterToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node28ThinksNode26ShouldBeNodeMasterToReplaceNode7
lola: reporting
lola: not produced: 8241
lola: find path: 10878
lola: symmetry: 10648
lola: STATE EQUATION TRIES PLACE LeafSetOfRx8IsSentToNode2
lola: STATE EQUATION TRIES PLACE Node0ThinksNode24ShouldBeNodeMasterToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node8ThinksNode21ShouldBeNodeMasterToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node24HasAskedItsLeafSetToLx8ToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node29ThinksNode9ShouldBeNodeMasterToReplaceNode16
lola: reporting
lola: not produced: 8241
lola: find path: 10878
lola: symmetry: 10648
lola: STATE EQUATION TRIES PLACE Node32ThinksNode28ShouldBeNodeMasterToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node15HasAskedItsLeafSetToRx8ToReplaceNode32
lola: STATE EQUATION TRIES PLACE Node26HasAskedItsLeafSetToLx7ToReplaceNode4
lola: STATE EQUATION TRIES PLACE Node25ThinksNode24ShouldBeNodeMasterToReplaceNode11
lola: reporting
lola: not produced: 8233
lola: find path: 10882
lola: symmetry: 10652
lola: STATE EQUATION TRIES PLACE Node32ThinksNode2ShouldBeNodeMasterToReplaceNode5
lola: STATE EQUATION TRIES PLACE Node31ThinksNode22ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node30ThinksNode19ShouldBeNodeMasterToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node6ThinksNode10ShouldBeNodeMasterToReplaceNode15
lola: STATE EQUATION TRIES PLACE Node0ThinksNode6ShouldBeNodeMasterToReplaceNode15
lola: reporting
lola: not produced: 8233
lola: find path: 10882
lola: symmetry: 10652
lola: STATE EQUATION TRIES PLACE Node29ThinksNode28ShouldBeNodeMasterToReplaceNode5
lola: STATE EQUATION TRIES PLACE Node30ThinksNode11ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node31ThinksNode27ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node25ThinksNode14ShouldBeNodeMasterToReplaceNode16
lola: reporting
lola: not produced: 8233
lola: find path: 10882
lola: symmetry: 10652
lola: STATE EQUATION TRIES PLACE Node13HasAskedItsLeafSetToRx8ToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node31ThinksNode13ShouldBeNodeMasterToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node17HasAskedItsLeafSetToLx8ToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node6ThinksNode8ShouldBeNodeMasterToReplaceNode22
lola: STATE EQUATION TRIES PLACE Node24ThinksNode22ShouldBeNodeMasterToReplaceNode18
lola: reporting
lola: not produced: 8233
lola: find path: 10882
lola: symmetry: 10652
lola: STATE EQUATION TRIES PLACE Node1ThinksNode27ShouldBeNodeMasterToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node29ThinksNode8ShouldBeNodeMasterToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node10HasAskedItsLeafSetToRx8ToReplaceNode32
lola: STATE EQUATION TRIES PLACE Node0ThinksNode2ShouldBeNodeMasterToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node32ThinksNode6ShouldBeNodeMasterToReplaceNode14
lola: reporting
lola: not produced: 8229
lola: find path: 10884
lola: symmetry: 10654
lola: STATE EQUATION TRIES PLACE Node32HasTheLeafSetOfRx7ToReplaceNode31
lola: STATE EQUATION TRIES PLACE Node4ThinksNode27ShouldBeNodeMasterToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node3HasAskedItsLeafSetToRx8ToReplaceNode32
lola: STATE EQUATION TRIES PLACE Node32ThinksNode26ShouldBeNodeMasterToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node31ThinksNode30ShouldBeNodeMasterToReplaceNode12
lola: reporting
lola: not produced: 8229
lola: find path: 10884
lola: symmetry: 10654
lola: STATE EQUATION TRIES PLACE Node24HasTheLeafSetOfRx8ToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node30ThinksNode22ShouldBeNodeMasterToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node13HasTheLeafSetOfLx8ToReplaceNode15
lola: STATE EQUATION TRIES PLACE Node30ThinksNode8ShouldBeNodeMasterToReplaceNode23
lola: reporting
lola: not produced: 8229
lola: find path: 10884
lola: symmetry: 10654
lola: STATE EQUATION TRIES PLACE Node27HasAskedItsLeafSetToRx8ToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node4HasAskedItsLeafSetToLx8ToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node4ThinksNode25ShouldBeNodeMasterToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node27ThinksNode23ShouldBeNodeMasterToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node7ThinksNode21ShouldBeNodeMasterToReplaceNode12
lola: reporting
lola: not produced: 8229
lola: find path: 10884
lola: symmetry: 10654
lola: STATE EQUATION TRIES PLACE Node30ThinksNode23ShouldBeNodeMasterToReplaceNode22
lola: STATE EQUATION TRIES PLACE Node4ThinksNode12ShouldBeNodeMasterToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node30ThinksNode13ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node0ThinksNode10ShouldBeNodeMasterToReplaceNode22
lola: STATE EQUATION TRIES PLACE Node0ThinksNode5ShouldBeNodeMasterToReplaceNode24
lola: reporting
lola: not produced: 8229
lola: find path: 10884
lola: symmetry: 10654
lola: STATE EQUATION TRIES PLACE Node6ThinksNode23ShouldBeNodeMasterToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node1ThinksNode5ShouldBeNodeMasterToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node28ThinksNode11ShouldBeNodeMasterToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node3ThinksNode27ShouldBeNodeMasterToReplaceNode7
lola: reporting
lola: not produced: 8221
lola: find path: 10888
lola: symmetry: 10658
lola: STATE EQUATION TRIES PLACE Node10HasAskedItsLeafSetToLx8ToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node26ThinksNode9ShouldBeNodeMasterToReplaceNode22
lola: STATE EQUATION TRIES PLACE Node32ThinksNode31ShouldBeNodeMasterToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node0ThinksNode25ShouldBeNodeMasterToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node31ThinksNode25ShouldBeNodeMasterToReplaceNode15
lola: reporting
lola: not produced: 8221
lola: find path: 10888
lola: symmetry: 10658
lola: STATE EQUATION TRIES PLACE Node0ThinksNode23ShouldBeNodeMasterToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node13HasAskedItsLeafSetToLx8ToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node11HasTheLeafSetOfRx8ToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node2ThinksNode6ShouldBeNodeMasterToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node25HasTheLeafSetOfLx8ToReplaceNode14
lola: reporting
lola: not produced: 8221
lola: find path: 10888
lola: symmetry: 10658
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-S32C09"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool lola"
echo " Input is MultiCrashLeafsetExtension-PT-S32C09, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r296-tall-162124162800483"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C09.tgz
mv MultiCrashLeafsetExtension-PT-S32C09 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 '
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 ;