Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r614-tall-171774432300200.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool lola
Input is BlocksWorld-PT-20, examination is OneSafe
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r614-tall-171774432300200
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 132M
-rw-r--r-- 1 mcc users 1.9M Jun 7 06:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 8.3M Jun 7 06:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.1M Jun 7 06:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 21M Jun 7 06:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 60K Jun 7 06:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 184K Jun 7 06:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2M Jun 7 06:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.8M Jun 7 06:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 7 06:26 NewModel
-rw-r--r-- 1 mcc users 4.7M Jun 7 06:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22M Jun 7 06:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.1M Jun 7 06:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 41M Jun 7 06:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 162K Jun 7 06:43 UpperBounds.txt
-rw-r--r-- 1 mcc users 388K Jun 7 06:43 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jun 7 06:26 equiv_col
-rw-r--r-- 1 mcc users 3 Jun 7 06:26 instance
-rw-r--r-- 1 mcc users 6 Jun 7 06:26 iscolored
-rw-r--r-- 1 mcc users 11M Jun 7 06:26 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 OneSafe

=== Now, execution of the tool begins

BK_START 1717782748676

starting LoLA
BK_EXAMINATION: OneSafe
BK_TIME_CONFINEMENT: 1800
BK_MEMORY_CONFINEMENT: 16384
BK_BIN_PATH: /home/mcc/BenchKit/bin/
current directory: /home/mcc/execution

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

[lola][I] LoLA will run for 1800 seconds at most (--timelimit)
[lola][W] unknown unit in memory specification: using default
[lola][I] MEM LIMIT 5
[lola][I] NET
[lola][I] reading net from model.pnml
[lola][I] input: PNML file (--pnmlnet)
[lola][I] reading pnml
[lola][I] PNML file contains place/transition net
[lola][I] closed net file model.pnml
[lola][I] finished parsing
[lola][I] reporting
[lola][I] not produced: 10706
[lola][I] state equation: 4
[lola][I] symmetry: 1
[lola][I] reporting
[lola][I] not produced: 10701
[lola][I] state equation: 8
[lola][I] symmetry: 2
[lola][I] reporting
[lola][I] not produced: 10696
[lola][I] state equation: 13
[lola][I] symmetry: 2
[lola][I] reporting
[lola][I] not produced: 10689
[lola][I] state equation: 18
[lola][I] symmetry: 4
[lola][I] reporting
[lola][I] not produced: 10684
[lola][I] state equation: 23
[lola][I] symmetry: 4
[lola][I] reporting
[lola][I] not produced: 10678
[lola][I] state equation: 28
[lola][I] symmetry: 5
[lola][I] reporting
[lola][I] not produced: 10671
[lola][I] state equation: 33
[lola][I] symmetry: 7
[lola][I] reporting
[lola][I] not produced: 10664
[lola][I] state equation: 37
[lola][I] symmetry: 10
[lola][I] reporting
[lola][I] not produced: 10657
[lola][I] state equation: 42
[lola][I] symmetry: 12
[lola][I] reporting
[lola][I] not produced: 10648
[lola][I] state equation: 47
[lola][I] symmetry: 16
[lola][I] reporting
[lola][I] not produced: 10640
[lola][I] state equation: 52
[lola][I] symmetry: 19
[lola][I] reporting
[lola][I] not produced: 10632
[lola][I] state equation: 57
[lola][I] symmetry: 22
[lola][I] reporting
[lola][I] not produced: 10625
[lola][I] state equation: 62
[lola][I] symmetry: 24
[lola][I] reporting
[lola][I] not produced: 10617
[lola][I] state equation: 67
[lola][I] symmetry: 27
[lola][I] reporting
[lola][I] not produced: 10610
[lola][I] state equation: 71
[lola][I] symmetry: 30
[lola][I] reporting
[lola][I] not produced: 10602
[lola][I] state equation: 76
[lola][I] symmetry: 33
[lola][I] reporting
[lola][I] not produced: 10595
[lola][I] state equation: 80
[lola][I] symmetry: 36
[lola][I] reporting
[lola][I] not produced: 10586
[lola][I] state equation: 85
[lola][I] symmetry: 40
[lola][I] reporting
[lola][I] not produced: 10578
[lola][I] state equation: 90
[lola][I] symmetry: 43
[lola][I] reporting
[lola][I] not produced: 10569
[lola][I] state equation: 95
[lola][I] symmetry: 47
[lola][I] reporting
[lola][I] not produced: 10558
[lola][I] state equation: 101
[lola][I] symmetry: 52
[lola][I] reporting
[lola][I] not produced: 10549
[lola][I] state equation: 106
[lola][I] symmetry: 56
[lola][I] reporting
[lola][I] not produced: 10538
[lola][I] state equation: 112
[lola][I] symmetry: 61
[lola][I] reporting
[lola][I] not produced: 10526
[lola][I] state equation: 118
[lola][I] symmetry: 67
[lola][I] reporting
[lola][I] not produced: 10517
[lola][I] state equation: 123
[lola][I] symmetry: 71
[lola][I] reporting
[lola][I] not produced: 10505
[lola][I] state equation: 129
[lola][I] symmetry: 77
[lola][I] reporting
[lola][I] not produced: 10495
[lola][I] state equation: 135
[lola][I] symmetry: 81
[lola][I] reporting
[lola][I] not produced: 10485
[lola][I] state equation: 141
[lola][I] symmetry: 85
[lola][I] reporting
[lola][I] not produced: 10475
[lola][I] state equation: 146
[lola][I] symmetry: 90
[lola][I] reporting
[lola][I] not produced: 10463
[lola][I] state equation: 152
[lola][I] symmetry: 96
[lola][I] reporting
[lola][I] not produced: 10452
[lola][I] state equation: 158
[lola][I] symmetry: 101
[lola][I] reporting
[lola][I] not produced: 10442
[lola][I] state equation: 164
[lola][I] symmetry: 105
[lola][I] reporting
[lola][I] not produced: 10433
[lola][I] state equation: 170
[lola][I] symmetry: 108
[lola][I] reporting
[lola][I] not produced: 10424
[lola][I] state equation: 176
[lola][I] symmetry: 111
[lola][I] reporting
[lola][I] not produced: 10415
[lola][I] state equation: 182
[lola][I] symmetry: 114
[lola][I] reporting
[lola][I] not produced: 10403
[lola][I] state equation: 188
[lola][I] symmetry: 120
[lola][I] reporting
[lola][I] not produced: 10392
[lola][I] state equation: 194
[lola][I] symmetry: 125
[lola][I] reporting
[lola][I] not produced: 10384
[lola][I] state equation: 200
[lola][I] symmetry: 127
[lola][I] reporting
[lola][I] not produced: 10375
[lola][I] state equation: 206
[lola][I] symmetry: 130
[lola][I] reporting
[lola][I] not produced: 10369
[lola][I] state equation: 212
[lola][I] symmetry: 130
[lola][I] reporting
[lola][I] not produced: 10361
[lola][I] state equation: 218
[lola][I] symmetry: 132
[lola][I] reporting
[lola][I] not produced: 10352
[lola][I] state equation: 224
[lola][I] symmetry: 135
[lola][I] reporting
[lola][I] not produced: 10340
[lola][I] state equation: 230
[lola][I] symmetry: 141
[lola][I] reporting
[lola][I] not produced: 10333
[lola][I] state equation: 235
[lola][I] symmetry: 143
[lola][I] reporting
[lola][I] not produced: 10327
[lola][I] state equation: 239
[lola][I] symmetry: 145
[lola][I] reporting
[lola][I] not produced: 10323
[lola][I] state equation: 243
[lola][I] symmetry: 145
[lola][I] reporting
[lola][I] not produced: 10317
[lola][I] state equation: 248
[lola][I] symmetry: 146
[lola][I] reporting
[lola][I] not produced: 10310
[lola][I] state equation: 252
[lola][I] symmetry: 149
[lola][I] reporting
[lola][I] not produced: 10302
[lola][I] state equation: 256
[lola][I] symmetry: 153
[lola][I] reporting
[lola][I] not produced: 10293
[lola][I] state equation: 261
[lola][I] symmetry: 157
[lola][I] reporting
[lola][I] not produced: 10289
[lola][I] state equation: 265
[lola][I] symmetry: 157
[lola][I] reporting
[lola][I] not produced: 10285
[lola][I] state equation: 269
[lola][I] symmetry: 157
[lola][I] reporting
[lola][I] not produced: 10280
[lola][I] state equation: 274
[lola][I] symmetry: 157
[lola][I] reporting
[lola][I] not produced: 10276
[lola][I] state equation: 278
[lola][I] symmetry: 157
[lola][I] reporting
[lola][I] not produced: 10266
[lola][I] state equation: 283
[lola][I] symmetry: 162
[lola][I] reporting
[lola][I] not produced: 10256
[lola][I] state equation: 288
[lola][I] symmetry: 167
[lola][I] reporting
[lola][I] not produced: 10249
[lola][I] state equation: 293
[lola][I] symmetry: 169
[lola][I] reporting
[lola][I] not produced: 10244
[lola][I] state equation: 298
[lola][I] symmetry: 169
[lola][I] reporting
[lola][I] not produced: 10237
[lola][I] state equation: 303
[lola][I] symmetry: 171
[lola][I] reporting
[lola][I] not produced: 10231
[lola][I] state equation: 308
[lola][I] symmetry: 172
[lola][I] reporting
[lola][I] not produced: 10221
[lola][I] state equation: 313
[lola][I] symmetry: 177
[lola][I] reporting
[lola][I] not produced: 10212
[lola][I] state equation: 318
[lola][I] symmetry: 181
[lola][I] reporting
[lola][I] not produced: 10207
[lola][I] state equation: 323
[lola][I] symmetry: 181
[lola][I] reporting
[lola][I] not produced: 10198
[lola][I] state equation: 328
[lola][I] symmetry: 185
[lola][I] reporting
[lola][I] not produced: 10188
[lola][I] state equation: 333
[lola][I] symmetry: 190
[lola][I] reporting
[lola][I] not produced: 10181
[lola][I] state equation: 338
[lola][I] symmetry: 192
[lola][I] reporting
[lola][I] not produced: 10177
[lola][I] state equation: 342
[lola][I] symmetry: 192
[lola][I] reporting
[lola][I] not produced: 10168
[lola][I] state equation: 347
[lola][I] symmetry: 196
[lola][I] reporting
[lola][I] not produced: 10158
[lola][I] state equation: 352
[lola][I] symmetry: 201
[lola][I] reporting
[lola][I] not produced: 10151
[lola][I] state equation: 357
[lola][I] symmetry: 203
[lola][I] reporting
[lola][I] not produced: 10146
[lola][I] state equation: 362
[lola][I] symmetry: 203
[lola][I] reporting
[lola][I] not produced: 10134
[lola][I] state equation: 368
[lola][I] symmetry: 209
[lola][I] reporting
[lola][I] not produced: 10122
[lola][I] state equation: 374
[lola][I] symmetry: 215
[lola][I] reporting
[lola][I] not produced: 10110
[lola][I] state equation: 380
[lola][I] symmetry: 221
[lola][I] reporting
[lola][I] not produced: 10098
[lola][I] state equation: 386
[lola][I] symmetry: 227
[lola][I] reporting
[lola][I] not produced: 10086
[lola][I] state equation: 392
[lola][I] symmetry: 233
[lola][I] reporting
[lola][I] not produced: 10074
[lola][I] state equation: 398
[lola][I] symmetry: 239
[lola][I] reporting
[lola][I] not produced: 10062
[lola][I] state equation: 404
[lola][I] symmetry: 245
[lola][I] reporting
[lola][I] not produced: 10050
[lola][I] state equation: 410
[lola][I] symmetry: 251
[lola][I] reporting
[lola][I] not produced: 10039
[lola][I] state equation: 416
[lola][I] symmetry: 256
[lola][I] reporting
[lola][I] not produced: 10029
[lola][I] state equation: 422
[lola][I] symmetry: 260
[lola][I] reporting
[lola][I] not produced: 10020
[lola][I] state equation: 428
[lola][I] symmetry: 263
[lola][I] reporting
[lola][I] not produced: 10010
[lola][I] state equation: 434
[lola][I] symmetry: 267
[lola][I] reporting
[lola][I] not produced: 10000
[lola][I] state equation: 440
[lola][I] symmetry: 271
[lola][I] reporting
[lola][I] not produced: 9991
[lola][I] state equation: 446
[lola][I] symmetry: 274
[lola][I] reporting
[lola][I] not produced: 9982
[lola][I] state equation: 452
[lola][I] symmetry: 277
[lola][I] reporting
[lola][I] not produced: 9972
[lola][I] state equation: 458
[lola][I] symmetry: 281
[lola][I] reporting
[lola][I] not produced: 9962
[lola][I] state equation: 464
[lola][I] symmetry: 285
[lola][I] reporting
[lola][I] not produced: 9951
[lola][I] state equation: 470
[lola][I] symmetry: 290
[lola][I] reporting
[lola][I] not produced: 9941
[lola][I] state equation: 476
[lola][I] symmetry: 294
[lola][I] reporting
[lola][I] not produced: 9933
[lola][I] state equation: 481
[lola][I] symmetry: 297
[lola][I] reporting
[lola][I] not produced: 9923
[lola][I] state equation: 487
[lola][I] symmetry: 301
[lola][I] reporting
[lola][I] not produced: 9914
[lola][I] state equation: 493
[lola][I] symmetry: 304
[lola][I] reporting
[lola][I] not produced: 9904
[lola][I] state equation: 499
[lola][I] symmetry: 308
[lola][I] reporting
[lola][I] not produced: 9894
[lola][I] state equation: 505
[lola][I] symmetry: 312
[lola][I] reporting
[lola][I] not produced: 9883
[lola][I] state equation: 511
[lola][I] symmetry: 317
[lola][I] reporting
[lola][I] not produced: 9872
[lola][I] state equation: 517
[lola][I] symmetry: 322
[lola][I] reporting
[lola][I] not produced: 9864
[lola][I] state equation: 523
[lola][I] symmetry: 324
[lola][I] reporting
[lola][I] not produced: 9852
[lola][I] state equation: 529
[lola][I] symmetry: 330
[lola][I] reporting
[lola][I] not produced: 9842
[lola][I] state equation: 535
[lola][I] symmetry: 334
[lola][I] reporting
[lola][I] not produced: 9833
[lola][I] state equation: 541
[lola][I] symmetry: 337
[lola][I] reporting
[lola][I] not produced: 9824
[lola][I] state equation: 546
[lola][I] symmetry: 341
[lola][I] reporting
[lola][I] not produced: 9813
[lola][I] state equation: 552
[lola][I] symmetry: 346
[lola][I] reporting
[lola][I] not produced: 9803
[lola][I] state equation: 558
[lola][I] symmetry: 350
[lola][I] reporting
[lola][I] not produced: 9796
[lola][I] state equation: 563
[lola][I] symmetry: 352
[lola][I] reporting
[lola][I] not produced: 9787
[lola][I] state equation: 569
[lola][I] symmetry: 355
[lola][I] reporting
[lola][I] not produced: 9779
[lola][I] state equation: 575
[lola][I] symmetry: 357
[lola][I] reporting
[lola][I] not produced: 9772
[lola][I] state equation: 580
[lola][I] symmetry: 359
[lola][I] reporting
[lola][I] not produced: 9764
[lola][I] state equation: 586
[lola][I] symmetry: 361
[lola][I] reporting
[lola][I] not produced: 9757
[lola][I] state equation: 592
[lola][I] symmetry: 362
[lola][I] reporting
[lola][I] not produced: 9751
[lola][I] state equation: 597
[lola][I] symmetry: 363
[lola][I] reporting
[lola][I] not produced: 9745
[lola][I] state equation: 603
[lola][I] symmetry: 363
[lola][I] reporting
[lola][I] not produced: 9740
[lola][I] state equation: 608
[lola][I] symmetry: 363
[lola][I] reporting
[lola][I] not produced: 9733
[lola][I] state equation: 614
[lola][I] symmetry: 364
[lola][I] reporting
[lola][I] not produced: 9726
[lola][I] state equation: 620
[lola][I] symmetry: 365
[lola][I] reporting
[lola][I] not produced: 9719
[lola][I] state equation: 626
[lola][I] symmetry: 366
[lola][I] reporting
[lola][I] not produced: 9713
[lola][I] state equation: 631
[lola][I] symmetry: 367
[lola][I] reporting
[lola][I] not produced: 9707
[lola][I] state equation: 637
[lola][I] symmetry: 367
[lola][I] reporting
[lola][I] not produced: 9701
[lola][I] state equation: 643
[lola][I] symmetry: 367
[lola][I] reporting
[lola][I] not produced: 9695
[lola][I] state equation: 648
[lola][I] symmetry: 368
[lola][I] reporting
[lola][I] not produced: 9688
[lola][I] state equation: 654
[lola][I] symmetry: 369
[lola][I] reporting
[lola][I] not produced: 9682
[lola][I] state equation: 660
[lola][I] symmetry: 369
[lola][I] reporting
[lola][I] not produced: 9675
[lola][I] state equation: 665
[lola][I] symmetry: 371
[lola][I] reporting
[lola][I] not produced: 9669
[lola][I] state equation: 671
[lola][I] symmetry: 371
[lola][I] reporting
[lola][I] not produced: 9664
[lola][I] state equation: 676
[lola][I] symmetry: 371
[lola][I] reporting
[lola][I] not produced: 9656
[lola][I] state equation: 682
[lola][I] symmetry: 373
[lola][I] reporting
[lola][I] not produced: 9650
[lola][I] state equation: 688
[lola][I] symmetry: 373
[lola][I] reporting
[lola][I] not produced: 9644
[lola][I] state equation: 694
[lola][I] symmetry: 373
[lola][I] reporting
[lola][I] not produced: 9637
[lola][I] state equation: 700
[lola][I] symmetry: 374
[lola][I] reporting
[lola][I] not produced: 9632
[lola][I] state equation: 705
[lola][I] symmetry: 374
[lola][I] reporting
[lola][I] not produced: 9624
[lola][I] state equation: 711
[lola][I] symmetry: 376
[lola][I] reporting
[lola][I] not produced: 9617
[lola][I] state equation: 717
[lola][I] symmetry: 377
[lola][I] reporting
[lola][I] not produced: 9611
[lola][I] state equation: 723
[lola][I] symmetry: 377
[lola][I] reporting
[lola][I] not produced: 9606
[lola][I] state equation: 728
[lola][I] symmetry: 377
[lola][I] reporting
[lola][I] not produced: 9599
[lola][I] state equation: 734
[lola][I] symmetry: 378
[lola][I] reporting
[lola][I] not produced: 9591
[lola][I] state equation: 740
[lola][I] symmetry: 380
[lola][I] reporting
[lola][I] not produced: 9583
[lola][I] state equation: 746
[lola][I] symmetry: 382
[lola][I] reporting
[lola][I] not produced: 9576
[lola][I] state equation: 752
[lola][I] symmetry: 383
[lola][I] reporting
[lola][I] not produced: 9568
[lola][I] state equation: 758
[lola][I] symmetry: 385
[lola][I] reporting
[lola][I] not produced: 9560
[lola][I] state equation: 764
[lola][I] symmetry: 387
[lola][I] reporting
[lola][I] not produced: 9553
[lola][I] state equation: 770
[lola][I] symmetry: 388
[lola][I] reporting
[lola][I] not produced: 9549
[lola][I] state equation: 774
[lola][I] symmetry: 388
[lola][I] reporting
[lola][I] not produced: 9544
[lola][I] state equation: 778
[lola][I] symmetry: 389
[lola][I] reporting
[lola][I] not produced: 9538
[lola][I] state equation: 782
[lola][I] symmetry: 391
[lola][I] reporting
[lola][I] not produced: 9528
[lola][I] state equation: 787
[lola][I] symmetry: 396
[lola][I] reporting
[lola][I] not produced: 9521
[lola][I] state equation: 791
[lola][I] symmetry: 399
[lola][I] reporting
[lola][I] not produced: 9513
[lola][I] state equation: 796
[lola][I] symmetry: 402
[lola][I] reporting
[lola][I] not produced: 9508
[lola][I] state equation: 800
[lola][I] symmetry: 403
[lola][I] reporting
[lola][I] not produced: 9501
[lola][I] state equation: 805
[lola][I] symmetry: 405
[lola][I] reporting
[lola][I] not produced: 9493
[lola][I] state equation: 809
[lola][I] symmetry: 409
[lola][I] reporting
[lola][I] not produced: 9483
[lola][I] state equation: 814
[lola][I] symmetry: 414
[lola][I] reporting
[lola][I] not produced: 9475
[lola][I] state equation: 818
[lola][I] symmetry: 418
[lola][I] reporting
[lola][I] not produced: 9467
[lola][I] state equation: 822
[lola][I] symmetry: 422
[lola][I] reporting
[lola][I] not produced: 9459
[lola][I] state equation: 827
[lola][I] symmetry: 425
[lola][I] reporting
[lola][I] not produced: 9454
[lola][I] state equation: 831
[lola][I] symmetry: 426
[lola][I] reporting
[lola][I] not produced: 9447
[lola][I] state equation: 835
[lola][I] symmetry: 429
[lola][I] reporting
[lola][I] not produced: 9440
[lola][I] state equation: 840
[lola][I] symmetry: 431
[lola][I] reporting
[lola][I] not produced: 9434
[lola][I] state equation: 844
[lola][I] symmetry: 433
[lola][I] reporting
[lola][I] not produced: 9429
[lola][I] state equation: 848
[lola][I] symmetry: 434
[lola][I] reporting
[lola][I] not produced: 9420
[lola][I] state equation: 853
[lola][I] symmetry: 438
[lola][I] reporting
[lola][I] not produced: 9412
[lola][I] state equation: 857
[lola][I] symmetry: 442
[lola][I] reporting
[lola][I] not produced: 9404
[lola][I] state equation: 861
[lola][I] symmetry: 446
[lola][I] reporting
[lola][I] not produced: 9398
[lola][I] state equation: 865
[lola][I] symmetry: 448
[lola][I] reporting
[lola][I] not produced: 9392
[lola][I] state equation: 869
[lola][I] symmetry: 450
[lola][I] reporting
[lola][I] not produced: 9382
[lola][I] state equation: 874
[lola][I] symmetry: 455
[lola][I] reporting
[lola][I] not produced: 9376
[lola][I] state equation: 878
[lola][I] symmetry: 457
[lola][I] reporting
[lola][I] not produced: 9369
[lola][I] state equation: 882
[lola][I] symmetry: 460
[lola][I] reporting
[lola][I] not produced: 9359
[lola][I] state equation: 887
[lola][I] symmetry: 465
[lola][I] reporting
[lola][I] not produced: 9351
[lola][I] state equation: 891
[lola][I] symmetry: 469
[lola][I] reporting
[lola][I] not produced: 9345
[lola][I] state equation: 895
[lola][I] symmetry: 471
[lola][I] reporting
[lola][I] not produced: 9339
[lola][I] state equation: 899
[lola][I] symmetry: 473
[lola][I] reporting
[lola][I] not produced: 9333
[lola][I] state equation: 903
[lola][I] symmetry: 475
[lola][I] reporting
[lola][I] not produced: 9326
[lola][I] state equation: 908
[lola][I] symmetry: 477
[lola][I] reporting
[lola][I] not produced: 9318
[lola][I] state equation: 912
[lola][I] symmetry: 481
[lola][I] reporting
[lola][I] not produced: 9310
[lola][I] state equation: 916
[lola][I] symmetry: 485
[lola][I] reporting
[lola][I] not produced: 9302
[lola][I] state equation: 920
[lola][I] symmetry: 489
[lola][I] reporting
[lola][I] not produced: 9294
[lola][I] state equation: 925
[lola][I] symmetry: 492
[lola][I] reporting
[lola][I] not produced: 9287
[lola][I] state equation: 929
[lola][I] symmetry: 495
[lola][I] reporting
[lola][I] not produced: 9281
[lola][I] state equation: 933
[lola][I] symmetry: 497
[lola][I] reporting
[lola][I] not produced: 9274
[lola][I] state equation: 938
[lola][I] symmetry: 499
[lola][I] reporting
[lola][I] not produced: 9266
[lola][I] state equation: 942
[lola][I] symmetry: 503
[lola][I] reporting
[lola][I] not produced: 9256
[lola][I] state equation: 947
[lola][I] symmetry: 508
[lola][I] reporting
[lola][I] not produced: 9248
[lola][I] state equation: 951
[lola][I] symmetry: 512
[lola][I] reporting
[lola][I] not produced: 9240
[lola][I] state equation: 955
[lola][I] symmetry: 516
[lola][I] reporting
[lola][I] not produced: 9230
[lola][I] state equation: 960
[lola][I] symmetry: 521
[lola][I] reporting
[lola][I] not produced: 9222
[lola][I] state equation: 964
[lola][I] symmetry: 525
[lola][I] reporting
[lola][I] not produced: 9212
[lola][I] state equation: 969
[lola][I] symmetry: 530
[lola][I] reporting
[lola][I] not produced: 9204
[lola][I] state equation: 973
[lola][I] symmetry: 534
[lola][I] reporting
[lola][I] not produced: 9196
[lola][I] state equation: 977
[lola][I] symmetry: 538
[lola][I] reporting
[lola][I] not produced: 9186
[lola][I] state equation: 982
[lola][I] symmetry: 543
[lola][I] reporting
[lola][I] not produced: 9178
[lola][I] state equation: 986
[lola][I] symmetry: 547
[lola][I] reporting
[lola][I] not produced: 9166
[lola][I] state equation: 992
[lola][I] symmetry: 553
[lola][I] reporting
[lola][I] not produced: 9156
[lola][I] state equation: 997
[lola][I] symmetry: 558
[lola][I] reporting
[lola][I] not produced: 9146
[lola][I] state equation: 1002
[lola][I] symmetry: 563
[lola][I] reporting
[lola][I] not produced: 9136
[lola][I] state equation: 1007
[lola][I] symmetry: 568
[lola][I] reporting
[lola][I] not produced: 9124
[lola][I] state equation: 1013
[lola][I] symmetry: 574
[lola][I] reporting
[lola][I] not produced: 9114
[lola][I] state equation: 1018
[lola][I] symmetry: 579
[lola][I] reporting
[lola][I] not produced: 9102
[lola][I] state equation: 1024
[lola][I] symmetry: 585
[lola][I] reporting
[lola][I] not produced: 9092
[lola][I] state equation: 1029
[lola][I] symmetry: 590
[lola][I] reporting
[lola][I] not produced: 9080
[lola][I] state equation: 1035
[lola][I] symmetry: 596
[lola][I] reporting
[lola][I] not produced: 9070
[lola][I] state equation: 1040
[lola][I] symmetry: 601
[lola][I] reporting
[lola][I] not produced: 9058
[lola][I] state equation: 1046
[lola][I] symmetry: 607
[lola][I] reporting
[lola][I] not produced: 9048
[lola][I] state equation: 1051
[lola][I] symmetry: 612
[lola][I] reporting
[lola][I] not produced: 9038
[lola][I] state equation: 1057
[lola][I] symmetry: 616
[lola][I] reporting
[lola][I] not produced: 9030
[lola][I] state equation: 1062
[lola][I] symmetry: 619
[lola][I] reporting
[lola][I] not produced: 9022
[lola][I] state equation: 1067
[lola][I] symmetry: 622
[lola][I] reporting
[lola][I] not produced: 9012
[lola][I] state equation: 1073
[lola][I] symmetry: 626
[lola][I] reporting
[lola][I] not produced: 9004
[lola][I] state equation: 1078
[lola][I] symmetry: 629
[lola][I] reporting
[lola][I] not produced: 8997
[lola][I] state equation: 1083
[lola][I] symmetry: 631
[lola][I] reporting
[lola][I] not produced: 8990
[lola][I] state equation: 1088
[lola][I] symmetry: 633
[lola][I] reporting
[lola][I] not produced: 8980
[lola][I] state equation: 1094
[lola][I] symmetry: 637
[lola][I] reporting
[lola][I] not produced: 8972
[lola][I] state equation: 1099
[lola][I] symmetry: 640
[lola][I] reporting
[lola][I] not produced: 8961
[lola][I] state equation: 1105
[lola][I] symmetry: 645
[lola][I] reporting
[lola][I] not produced: 8953
[lola][I] state equation: 1110
[lola][I] symmetry: 648
[lola][I] reporting
[lola][I] not produced: 8944
[lola][I] state equation: 1115
[lola][I] symmetry: 652
[lola][I] reporting
[lola][I] not produced: 8936
[lola][I] state equation: 1120
[lola][I] symmetry: 655
[lola][I] reporting
[lola][I] not produced: 8929
[lola][I] state equation: 1125
[lola][I] symmetry: 657
[lola][I] reporting
[lola][I] not produced: 8921
[lola][I] state equation: 1131
[lola][I] symmetry: 659
[lola][I] reporting
[lola][I] not produced: 8912
[lola][I] state equation: 1136
[lola][I] symmetry: 663
[lola][I] reporting
[lola][I] not produced: 8906
[lola][I] state equation: 1141
[lola][I] symmetry: 664
[lola][I] reporting
[lola][I] not produced: 8898
[lola][I] state equation: 1147
[lola][I] symmetry: 666
[lola][I] reporting
[lola][I] not produced: 8891
[lola][I] state equation: 1152
[lola][I] symmetry: 668
[lola][I] reporting
[lola][I] not produced: 8884
[lola][I] state equation: 1157
[lola][I] symmetry: 670
[lola][I] reporting
[lola][I] not produced: 8875
[lola][I] state equation: 1163
[lola][I] symmetry: 673
[lola][I] reporting
[lola][I] not produced: 8867
[lola][I] state equation: 1168
[lola][I] symmetry: 676
[lola][I] reporting
[lola][I] not produced: 8859
[lola][I] state equation: 1174
[lola][I] symmetry: 678
[lola][I] reporting
[lola][I] not produced: 8851
[lola][I] state equation: 1179
[lola][I] symmetry: 681
[lola][I] reporting
[lola][I] not produced: 8844
[lola][I] state equation: 1184
[lola][I] symmetry: 683
[lola][I] reporting
[lola][I] not produced: 8838
[lola][I] state equation: 1190
[lola][I] symmetry: 683
[lola][I] reporting
[lola][I] not produced: 8831
[lola][I] state equation: 1195
[lola][I] symmetry: 685
[lola][I] reporting
[lola][I] not produced: 8824
[lola][I] state equation: 1200
[lola][I] symmetry: 687
[lola][I] reporting
[lola][I] not produced: 8818
[lola][I] state equation: 1206
[lola][I] symmetry: 687
[lola][I] reporting
[lola][I] not produced: 8810
[lola][I] state equation: 1212
[lola][I] symmetry: 689
[lola][I] reporting
[lola][I] not produced: 8803
[lola][I] state equation: 1218
[lola][I] symmetry: 690
[lola][I] reporting
[lola][I] not produced: 8796
[lola][I] state equation: 1224
[lola][I] symmetry: 691
[lola][I] reporting
[lola][I] not produced: 8790
[lola][I] state equation: 1230
[lola][I] symmetry: 691
[lola][I] reporting
[lola][I] not produced: 8784
[lola][I] state equation: 1236
[lola][I] symmetry: 691
[lola][I] reporting
[lola][I] not produced: 8775
[lola][I] state equation: 1243
[lola][I] symmetry: 693
[lola][I] reporting
[lola][I] not produced: 8768
[lola][I] state equation: 1249
[lola][I] symmetry: 694
[lola][I] reporting
[lola][I] not produced: 8761
[lola][I] state equation: 1255
[lola][I] symmetry: 695
[lola][I] reporting
[lola][I] not produced: 8754
[lola][I] state equation: 1262
[lola][I] symmetry: 695
[lola][I] reporting
[lola][I] not produced: 8747
[lola][I] state equation: 1268
[lola][I] symmetry: 696
[lola][I] reporting
[lola][I] not produced: 8740
[lola][I] state equation: 1274
[lola][I] symmetry: 697
[lola][I] reporting
[lola][I] not produced: 8734
[lola][I] state equation: 1280
[lola][I] symmetry: 697
[lola][I] reporting
[lola][I] not produced: 8728
[lola][I] state equation: 1286
[lola][I] symmetry: 697
[lola][I] reporting
[lola][I] not produced: 8722
[lola][I] state equation: 1292
[lola][I] symmetry: 697
[lola][I] reporting
[lola][I] not produced: 8715
[lola][I] state equation: 1298
[lola][I] symmetry: 698
[lola][I] reporting
[lola][I] not produced: 8708
[lola][I] state equation: 1304
[lola][I] symmetry: 699
[lola][I] reporting
[lola][I] not produced: 8703
[lola][I] state equation: 1309
[lola][I] symmetry: 699
[lola][I] reporting
[lola][I] not produced: 8694
[lola][I] state equation: 1315
[lola][I] symmetry: 702
[lola][I] reporting
[lola][I] not produced: 8683
[lola][I] state equation: 1321
[lola][I] symmetry: 707
[lola][I] reporting
[lola][I] not produced: 8673
[lola][I] state equation: 1327
[lola][I] symmetry: 711
[lola][I] reporting
[lola][I] not produced: 8663
[lola][I] state equation: 1333
[lola][I] symmetry: 715
[lola][I] reporting
[lola][I] not produced: 8653
[lola][I] state equation: 1339
[lola][I] symmetry: 719
[lola][I] reporting
[lola][I] not produced: 8641
[lola][I] state equation: 1346
[lola][I] symmetry: 724
[lola][I] reporting
[lola][I] not produced: 8633
[lola][I] state equation: 1353
[lola][I] symmetry: 725
[lola][I] reporting
[lola][I] not produced: 8621
[lola][I] state equation: 1359
[lola][I] symmetry: 731
[lola][I] reporting
[lola][I] not produced: 8610
[lola][I] state equation: 1365
[lola][I] symmetry: 736
[lola][I] reporting
[lola][I] not produced: 8598
[lola][I] state equation: 1372
[lola][I] symmetry: 741
[lola][I] reporting
[lola][I] not produced: 8588
[lola][I] state equation: 1378
[lola][I] symmetry: 745
[lola][I] reporting
[lola][I] not produced: 8577
[lola][I] state equation: 1386
[lola][I] symmetry: 748
[lola][I] reporting
[lola][I] not produced: 8567
[lola][I] state equation: 1393
[lola][I] symmetry: 751
[lola][I] reporting
[lola][I] not produced: 8555
[lola][I] state equation: 1399
[lola][I] symmetry: 757
[lola][I] reporting
[lola][I] not produced: 8544
[lola][I] state equation: 1406
[lola][I] symmetry: 761
[lola][I] reporting
[lola][I] not produced: 8534
[lola][I] state equation: 1412
[lola][I] symmetry: 765
[lola][I] reporting
[lola][I] not produced: 8525
[lola][I] state equation: 1418
[lola][I] symmetry: 768
[lola][I] reporting
[lola][I] not produced: 8516
[lola][I] state equation: 1426
[lola][I] symmetry: 769
[lola][I] reporting
[lola][I] not produced: 8505
[lola][I] state equation: 1433
[lola][I] symmetry: 773
[lola][I] reporting
[lola][I] not produced: 8493
[lola][I] state equation: 1439
[lola][I] symmetry: 779
[lola][I] reporting
[lola][I] not produced: 8485
[lola][I] state equation: 1446
[lola][I] symmetry: 780
[lola][I] reporting
[lola][I] not produced: 8478
[lola][I] state equation: 1452
[lola][I] symmetry: 781
[lola][I] reporting
[lola][I] not produced: 8469
[lola][I] state equation: 1459
[lola][I] symmetry: 783
[lola][I] reporting
[lola][I] not produced: 8461
[lola][I] state equation: 1466
[lola][I] symmetry: 784
[lola][I] reporting
[lola][I] not produced: 8447
[lola][I] state equation: 1473
[lola][I] symmetry: 791
[lola][I] reporting
[lola][I] not produced: 8438
[lola][I] state equation: 1479
[lola][I] symmetry: 794
[lola][I] reporting
[lola][I] not produced: 8430
[lola][I] state equation: 1485
[lola][I] symmetry: 796
[lola][I] reporting
[lola][I] not produced: 8423
[lola][I] state equation: 1492
[lola][I] symmetry: 796
[lola][I] reporting
[lola][I] not produced: 8415
[lola][I] state equation: 1499
[lola][I] symmetry: 797
[lola][I] reporting
[lola][I] not produced: 8404
[lola][I] state equation: 1506
[lola][I] symmetry: 801
[lola][I] reporting
[lola][I] not produced: 8390
[lola][I] state equation: 1513
[lola][I] symmetry: 808
[lola][I] reporting
[lola][I] not produced: 8384
[lola][I] state equation: 1519
[lola][I] symmetry: 808
[lola][I] reporting
[lola][I] not produced: 8376
[lola][I] state equation: 1525
[lola][I] symmetry: 810
[lola][I] reporting
[lola][I] not produced: 8368
[lola][I] state equation: 1532
[lola][I] symmetry: 811
[lola][I] reporting
[lola][I] not produced: 8360
[lola][I] state equation: 1539
[lola][I] symmetry: 812
[lola][I] reporting
[lola][I] not produced: 8349
[lola][I] state equation: 1546
[lola][I] symmetry: 816
[lola][I] reporting
[lola][I] not produced: 8335
[lola][I] state equation: 1553
[lola][I] symmetry: 823
[lola][I] reporting
[lola][I] not produced: 8328
[lola][I] state equation: 1559
[lola][I] symmetry: 824
[lola][I] reporting
[lola][I] not produced: 8320
[lola][I] state equation: 1567
[lola][I] symmetry: 824
[lola][I] reporting
[lola][I] not produced: 8308
[lola][I] state equation: 1574
[lola][I] symmetry: 829
[lola][I] reporting
[lola][I] not produced: 8295
[lola][I] state equation: 1581
[lola][I] symmetry: 835
[lola][I] reporting
[lola][I] not produced: 8288
[lola][I] state equation: 1587
[lola][I] symmetry: 836
[lola][I] reporting
[lola][I] not produced: 8278
[lola][I] state equation: 1595
[lola][I] symmetry: 838
[lola][I] reporting
[lola][I] not produced: 8267
[lola][I] state equation: 1601
[lola][I] symmetry: 843
[lola][I] reporting
[lola][I] not produced: 8254
[lola][I] state equation: 1608
[lola][I] symmetry: 849
[lola][I] reporting
[lola][I] not produced: 8247
[lola][I] state equation: 1614
[lola][I] symmetry: 850
[lola][I] reporting
[lola][I] not produced: 8237
[lola][I] state equation: 1622
[lola][I] symmetry: 852
[lola][I] reporting
[lola][I] not produced: 8225
[lola][I] state equation: 1628
[lola][I] symmetry: 858
[lola][I] reporting
[lola][I] not produced: 8211
[lola][I] state equation: 1635
[lola][I] symmetry: 865
[lola][I] reporting
[lola][I] not produced: 8197
[lola][I] state equation: 1642
[lola][I] symmetry: 872
[lola][I] reporting
[lola][I] not produced: 8191
[lola][I] state equation: 1648
[lola][I] symmetry: 872
[lola][I] reporting
[lola][I] not produced: 8184
[lola][I] state equation: 1655
[lola][I] symmetry: 872
[lola][I] reporting
[lola][I] not produced: 8176
[lola][I] state equation: 1661
[lola][I] symmetry: 874
[lola][I] reporting
[lola][I] not produced: 8169
[lola][I] state equation: 1668
[lola][I] symmetry: 874
[lola][I] reporting
[lola][I] not produced: 8161
[lola][I] state equation: 1675
[lola][I] symmetry: 875
[lola][I] reporting
[lola][I] not produced: 8155
[lola][I] state equation: 1681
[lola][I] symmetry: 875
[lola][I] reporting
[lola][I] not produced: 8146
[lola][I] state equation: 1688
[lola][I] symmetry: 877
[lola][I] reporting
[lola][I] not produced: 8139
[lola][I] state equation: 1694
[lola][I] symmetry: 878
[lola][I] reporting
[lola][I] not produced: 8132
[lola][I] state equation: 1701
[lola][I] symmetry: 878
[lola][I] reporting
[lola][I] not produced: 8125
[lola][I] state equation: 1708
[lola][I] symmetry: 878
[lola][I] reporting
[lola][I] not produced: 8117
[lola][I] state equation: 1714
[lola][I] symmetry: 880
[lola][I] reporting
[lola][I] not produced: 8108
[lola][I] state equation: 1721
[lola][I] symmetry: 882
[lola][I] reporting
[lola][I] not produced: 8099
[lola][I] state equation: 1728
[lola][I] symmetry: 884
[lola][I] reporting
[lola][I] not produced: 8090
[lola][I] state equation: 1734
[lola][I] symmetry: 887
[lola][I] reporting
[lola][I] not produced: 8083
[lola][I] state equation: 1740
[lola][I] symmetry: 888
[lola][I] reporting
[lola][I] not produced: 8075
[lola][I] state equation: 1747
[lola][I] symmetry: 889
[lola][I] reporting
[lola][I] not produced: 8067
[lola][I] state equation: 1753
[lola][I] symmetry: 891
[lola][I] reporting
[lola][I] not produced: 8055
[lola][I] state equation: 1760
[lola][I] symmetry: 896
[lola][I] reporting
[lola][I] not produced: 8046
[lola][I] state equation: 1766
[lola][I] symmetry: 899
[lola][I] reporting
[lola][I] not produced: 8034
[lola][I] state equation: 1772
[lola][I] symmetry: 905
[lola][I] reporting
[lola][I] not produced: 8020
[lola][I] state equation: 1779
[lola][I] symmetry: 912
[lola][I] reporting
[lola][I] not produced: 8010
[lola][I] state equation: 1785
[lola][I] symmetry: 916
[lola][I] reporting
[lola][I] not produced: 7999
[lola][I] state equation: 1791
[lola][I] symmetry: 921
[lola][I] reporting
[lola][I] not produced: 7989
[lola][I] state equation: 1797
[lola][I] symmetry: 925
[lola][I] reporting
[lola][I] not produced: 7978
[lola][I] state equation: 1803
[lola][I] symmetry: 930
[lola][I] reporting
[lola][I] not produced: 7968
[lola][I] state equation: 1809
[lola][I] symmetry: 934
[lola][I] reporting
[lola][I] not produced: 7958
[lola][I] state equation: 1815
[lola][I] symmetry: 938
[lola][I] reporting
[lola][I] not produced: 7945
[lola][I] state equation: 1822
[lola][I] symmetry: 944
[lola][I] reporting
[lola][I] not produced: 7934
[lola][I] state equation: 1828
[lola][I] symmetry: 949
[lola][I] reporting
[lola][I] not produced: 7922
[lola][I] state equation: 1835
[lola][I] symmetry: 954
[lola][I] reporting
[lola][I] not produced: 7910
[lola][I] state equation: 1842
[lola][I] symmetry: 959
[lola][I] reporting
[lola][I] not produced: 7900
[lola][I] state equation: 1848
[lola][I] symmetry: 963
[lola][I] reporting
[lola][I] not produced: 7889
[lola][I] state equation: 1855
[lola][I] symmetry: 967
[lola][I] reporting
[lola][I] not produced: 7877
[lola][I] state equation: 1862
[lola][I] symmetry: 972
[lola][I] reporting
[lola][I] not produced: 7867
[lola][I] state equation: 1868
[lola][I] symmetry: 976
[lola][I] reporting
[lola][I] not produced: 7854
[lola][I] state equation: 1875
[lola][I] symmetry: 982
[lola][I] reporting
[lola][I] not produced: 7841
[lola][I] state equation: 1882
[lola][I] symmetry: 988
[lola][I] reporting
[lola][I] not produced: 7831
[lola][I] state equation: 1889
[lola][I] symmetry: 991
[lola][I] reporting
[lola][I] not produced: 7819
[lola][I] state equation: 1896
[lola][I] symmetry: 996
[lola][I] reporting
[lola][I] not produced: 7808
[lola][I] state equation: 1903
[lola][I] symmetry: 1000
[lola][I] reporting
[lola][I] not produced: 7797
[lola][I] state equation: 1910
[lola][I] symmetry: 1004
[lola][I] reporting
[lola][I] not produced: 7788
[lola][I] state equation: 1916
[lola][I] symmetry: 1007
[lola][I] reporting
[lola][I] not produced: 7776
[lola][I] state equation: 1923
[lola][I] symmetry: 1012
[lola][I] reporting
[lola][I] not produced: 7765
[lola][I] state equation: 1930
[lola][I] symmetry: 1016
[lola][I] reporting
[lola][I] not produced: 7755
[lola][I] state equation: 1937
[lola][I] symmetry: 1019
[lola][I] reporting
[lola][I] not produced: 7744
[lola][I] state equation: 1943
[lola][I] symmetry: 1024
[lola][I] reporting
[lola][I] not produced: 7730
[lola][I] state equation: 1950
[lola][I] symmetry: 1031
[lola][I] reporting
[lola][I] not produced: 7716
[lola][I] state equation: 1957
[lola][I] symmetry: 1038
[lola][I] reporting
[lola][I] not produced: 7702
[lola][I] state equation: 1964
[lola][I] symmetry: 1045
[lola][I] reporting
[lola][I] not produced: 7688
[lola][I] state equation: 1971
[lola][I] symmetry: 1052
[lola][I] reporting
[lola][I] not produced: 7679
[lola][I] state equation: 1978
[lola][I] symmetry: 1054
[lola][I] reporting
[lola][I] not produced: 7671
[lola][I] state equation: 1985
[lola][I] symmetry: 1055
[lola][I] reporting
[lola][I] not produced: 7664
[lola][I] state equation: 1991
[lola][I] symmetry: 1056
[lola][I] reporting
[lola][I] not produced: 7657
[lola][I] state equation: 1998
[lola][I] symmetry: 1056
[lola][I] reporting
[lola][I] not produced: 7651
[lola][I] state equation: 2004
[lola][I] symmetry: 1056
[lola][I] reporting
[lola][I] not produced: 7641
[lola][I] state equation: 2011
[lola][I] symmetry: 1059
[lola][I] reporting
[lola][I] not produced: 7632
[lola][I] state equation: 2018
[lola][I] symmetry: 1061

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="BlocksWorld-PT-20"
export BK_EXAMINATION="OneSafe"
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-5568"
echo " Executing tool lola"
echo " Input is BlocksWorld-PT-20, examination is OneSafe"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r614-tall-171774432300200"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BlocksWorld-PT-20.tgz
mv BlocksWorld-PT-20 execution
cd execution
if [ "OneSafe" = "ReachabilityDeadlock" ] || [ "OneSafe" = "UpperBounds" ] || [ "OneSafe" = "QuasiLiveness" ] || [ "OneSafe" = "StableMarking" ] || [ "OneSafe" = "Liveness" ] || [ "OneSafe" = "OneSafe" ] || [ "OneSafe" = "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 [ "OneSafe" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "OneSafe" != "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 "OneSafe.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property OneSafe.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "OneSafe.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 '' OneSafe.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "OneSafe" = "ReachabilityDeadlock" ] || [ "OneSafe" = "QuasiLiveness" ] || [ "OneSafe" = "StableMarking" ] || [ "OneSafe" = "Liveness" ] || [ "OneSafe" = "OneSafe" ] ; then
echo "FORMULA_NAME OneSafe"
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 ;