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-171774432200190.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-18, examination is OneSafe
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r614-tall-171774432200190
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 125M
-rw-r--r-- 1 mcc users 3.1M Jun 7 06:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15M Jun 7 06:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9M Jun 7 06:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 8.9M Jun 7 06:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 58K Jun 7 06:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 172K 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.4M Jun 7 06:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 7 06:26 NewModel
-rw-r--r-- 1 mcc users 8.3M Jun 7 06:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 38M Jun 7 06:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.1M Jun 7 06:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 27M Jun 7 06:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 135K Jun 7 06:43 UpperBounds.txt
-rw-r--r-- 1 mcc users 321K 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 8.3M 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 1717781661685

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: 8734
[lola][I] state equation: 4
[lola][I] symmetry: 3
[lola][I] reporting
[lola][I] not produced: 8724
[lola][I] state equation: 11
[lola][I] symmetry: 6
[lola][I] reporting
[lola][I] not produced: 8715
[lola][I] state equation: 17
[lola][I] symmetry: 9
[lola][I] reporting
[lola][I] not produced: 8705
[lola][I] state equation: 24
[lola][I] symmetry: 12
[lola][I] reporting
[lola][I] not produced: 8695
[lola][I] state equation: 31
[lola][I] symmetry: 15
[lola][I] reporting
[lola][I] not produced: 8665
[lola][I] state equation: 38
[lola][I] symmetry: 38
[lola][I] reporting
[lola][I] not produced: 8645
[lola][I] state equation: 46
[lola][I] symmetry: 50
[lola][I] reporting
[lola][I] not produced: 8626
[lola][I] state equation: 53
[lola][I] symmetry: 62
[lola][I] reporting
[lola][I] not produced: 8607
[lola][I] state equation: 60
[lola][I] symmetry: 74
[lola][I] reporting
[lola][I] not produced: 8583
[lola][I] state equation: 68
[lola][I] symmetry: 90
[lola][I] reporting
[lola][I] not produced: 8564
[lola][I] state equation: 75
[lola][I] symmetry: 102
[lola][I] reporting
[lola][I] not produced: 8545
[lola][I] state equation: 82
[lola][I] symmetry: 114
[lola][I] reporting
[lola][I] not produced: 8525
[lola][I] state equation: 90
[lola][I] symmetry: 126
[lola][I] reporting
[lola][I] not produced: 8503
[lola][I] state equation: 97
[lola][I] symmetry: 141
[lola][I] reporting
[lola][I] not produced: 8474
[lola][I] state equation: 105
[lola][I] symmetry: 162
[lola][I] reporting
[lola][I] not produced: 8455
[lola][I] state equation: 112
[lola][I] symmetry: 174
[lola][I] reporting
[lola][I] not produced: 8429
[lola][I] state equation: 119
[lola][I] symmetry: 193
[lola][I] reporting
[lola][I] not produced: 8407
[lola][I] state equation: 126
[lola][I] symmetry: 208
[lola][I] reporting
[lola][I] not produced: 8385
[lola][I] state equation: 133
[lola][I] symmetry: 223
[lola][I] reporting
[lola][I] not produced: 8369
[lola][I] state equation: 140
[lola][I] symmetry: 232
[lola][I] reporting
[lola][I] not produced: 8359
[lola][I] state equation: 147
[lola][I] symmetry: 235
[lola][I] reporting
[lola][I] not produced: 8330
[lola][I] state equation: 154
[lola][I] symmetry: 257
[lola][I] reporting
[lola][I] not produced: 8301
[lola][I] state equation: 161
[lola][I] symmetry: 279
[lola][I] reporting
[lola][I] not produced: 8282
[lola][I] state equation: 168
[lola][I] symmetry: 291
[lola][I] reporting
[lola][I] not produced: 8266
[lola][I] state equation: 175
[lola][I] symmetry: 300
[lola][I] reporting
[lola][I] not produced: 8256
[lola][I] state equation: 182
[lola][I] symmetry: 303
[lola][I] reporting
[lola][I] not produced: 8230
[lola][I] state equation: 190
[lola][I] symmetry: 321
[lola][I] reporting
[lola][I] not produced: 8208
[lola][I] state equation: 197
[lola][I] symmetry: 336
[lola][I] reporting
[lola][I] not produced: 8179
[lola][I] state equation: 204
[lola][I] symmetry: 358
[lola][I] reporting
[lola][I] not produced: 8158
[lola][I] state equation: 212
[lola][I] symmetry: 371
[lola][I] reporting
[lola][I] not produced: 8148
[lola][I] state equation: 219
[lola][I] symmetry: 374
[lola][I] reporting
[lola][I] not produced: 8125
[lola][I] state equation: 227
[lola][I] symmetry: 389
[lola][I] reporting
[lola][I] not produced: 8118
[lola][I] state equation: 234
[lola][I] symmetry: 389
[lola][I] reporting
[lola][I] not produced: 8108
[lola][I] state equation: 241
[lola][I] symmetry: 392
[lola][I] reporting
[lola][I] not produced: 8102
[lola][I] state equation: 247
[lola][I] symmetry: 392
[lola][I] reporting
[lola][I] not produced: 8092
[lola][I] state equation: 254
[lola][I] symmetry: 395
[lola][I] reporting
[lola][I] not produced: 8082
[lola][I] state equation: 261
[lola][I] symmetry: 398
[lola][I] reporting
[lola][I] not produced: 8071
[lola][I] state equation: 269
[lola][I] symmetry: 401
[lola][I] reporting
[lola][I] not produced: 8065
[lola][I] state equation: 275
[lola][I] symmetry: 401
[lola][I] reporting
[lola][I] not produced: 8058
[lola][I] state equation: 282
[lola][I] symmetry: 401
[lola][I] reporting
[lola][I] not produced: 8048
[lola][I] state equation: 289
[lola][I] symmetry: 404
[lola][I] reporting
[lola][I] not produced: 8020
[lola][I] state equation: 296
[lola][I] symmetry: 425
[lola][I] reporting
[lola][I] not produced: 8013
[lola][I] state equation: 303
[lola][I] symmetry: 425
[lola][I] reporting
[lola][I] not produced: 7988
[lola][I] state equation: 310
[lola][I] symmetry: 443
[lola][I] reporting
[lola][I] not produced: 7970
[lola][I] state equation: 316
[lola][I] symmetry: 455
[lola][I] reporting
[lola][I] not produced: 7956
[lola][I] state equation: 323
[lola][I] symmetry: 462
[lola][I] reporting
[lola][I] not produced: 7924
[lola][I] state equation: 330
[lola][I] symmetry: 487
[lola][I] reporting
[lola][I] not produced: 7911
[lola][I] state equation: 337
[lola][I] symmetry: 493
[lola][I] reporting
[lola][I] not produced: 7892
[lola][I] state equation: 344
[lola][I] symmetry: 505
[lola][I] reporting
[lola][I] not produced: 7856
[lola][I] state equation: 352
[lola][I] symmetry: 533
[lola][I] reporting
[lola][I] not produced: 7828
[lola][I] state equation: 359
[lola][I] symmetry: 554
[lola][I] reporting
[lola][I] not produced: 7815
[lola][I] state equation: 366
[lola][I] symmetry: 560
[lola][I] reporting
[lola][I] not produced: 7804
[lola][I] state equation: 374
[lola][I] symmetry: 563
[lola][I] reporting
[lola][I] not produced: 7797
[lola][I] state equation: 381
[lola][I] symmetry: 563
[lola][I] reporting
[lola][I] not produced: 7786
[lola][I] state equation: 389
[lola][I] symmetry: 566
[lola][I] reporting
[lola][I] not produced: 7776
[lola][I] state equation: 396
[lola][I] symmetry: 569
[lola][I] reporting
[lola][I] not produced: 7767
[lola][I] state equation: 402
[lola][I] symmetry: 572
[lola][I] reporting
[lola][I] not produced: 7760
[lola][I] state equation: 409
[lola][I] symmetry: 572
[lola][I] reporting
[lola][I] not produced: 7750
[lola][I] state equation: 416
[lola][I] symmetry: 575
[lola][I] reporting
[lola][I] not produced: 7740
[lola][I] state equation: 423
[lola][I] symmetry: 578
[lola][I] reporting
[lola][I] not produced: 7733
[lola][I] state equation: 430
[lola][I] symmetry: 578
[lola][I] reporting
[lola][I] not produced: 7723
[lola][I] state equation: 437
[lola][I] symmetry: 581
[lola][I] reporting
[lola][I] not produced: 7713
[lola][I] state equation: 444
[lola][I] symmetry: 584
[lola][I] reporting
[lola][I] not produced: 7703
[lola][I] state equation: 451
[lola][I] symmetry: 587
[lola][I] reporting
[lola][I] not produced: 7696
[lola][I] state equation: 458
[lola][I] symmetry: 587
[lola][I] reporting
[lola][I] not produced: 7686
[lola][I] state equation: 465
[lola][I] symmetry: 590
[lola][I] reporting
[lola][I] not produced: 7679
[lola][I] state equation: 472
[lola][I] symmetry: 590
[lola][I] reporting
[lola][I] not produced: 7669
[lola][I] state equation: 479
[lola][I] symmetry: 593
[lola][I] reporting
[lola][I] not produced: 7663
[lola][I] state equation: 485
[lola][I] symmetry: 593
[lola][I] reporting
[lola][I] not produced: 7656
[lola][I] state equation: 492
[lola][I] symmetry: 593
[lola][I] reporting
[lola][I] not produced: 7646
[lola][I] state equation: 499
[lola][I] symmetry: 596
[lola][I] reporting
[lola][I] not produced: 7639
[lola][I] state equation: 506
[lola][I] symmetry: 596
[lola][I] reporting
[lola][I] not produced: 7626
[lola][I] state equation: 513
[lola][I] symmetry: 602
[lola][I] reporting
[lola][I] not produced: 7619
[lola][I] state equation: 520
[lola][I] symmetry: 602
[lola][I] reporting
[lola][I] not produced: 7609
[lola][I] state equation: 527
[lola][I] symmetry: 605
[lola][I] reporting
[lola][I] not produced: 7599
[lola][I] state equation: 534
[lola][I] symmetry: 608
[lola][I] reporting
[lola][I] not produced: 7571
[lola][I] state equation: 541
[lola][I] symmetry: 629
[lola][I] reporting
[lola][I] not produced: 7543
[lola][I] state equation: 548
[lola][I] symmetry: 650
[lola][I] reporting
[lola][I] not produced: 7519
[lola][I] state equation: 554
[lola][I] symmetry: 668
[lola][I] reporting
[lola][I] not produced: 7487
[lola][I] state equation: 561
[lola][I] symmetry: 693
[lola][I] reporting
[lola][I] not produced: 7465
[lola][I] state equation: 568
[lola][I] symmetry: 708
[lola][I] reporting
[lola][I] not produced: 7446
[lola][I] state equation: 575
[lola][I] symmetry: 720
[lola][I] reporting
[lola][I] not produced: 7431
[lola][I] state equation: 581
[lola][I] symmetry: 729
[lola][I] reporting
[lola][I] not produced: 7412
[lola][I] state equation: 588
[lola][I] symmetry: 741
[lola][I] reporting
[lola][I] not produced: 7386
[lola][I] state equation: 595
[lola][I] symmetry: 760
[lola][I] reporting
[lola][I] not produced: 7370
[lola][I] state equation: 602
[lola][I] symmetry: 769
[lola][I] reporting
[lola][I] not produced: 7357
[lola][I] state equation: 609
[lola][I] symmetry: 775
[lola][I] reporting
[lola][I] not produced: 7350
[lola][I] state equation: 616
[lola][I] symmetry: 775
[lola][I] reporting
[lola][I] not produced: 7341
[lola][I] state equation: 622
[lola][I] symmetry: 778
[lola][I] reporting
[lola][I] not produced: 7331
[lola][I] state equation: 629
[lola][I] symmetry: 781
[lola][I] reporting
[lola][I] not produced: 7324
[lola][I] state equation: 636
[lola][I] symmetry: 781
[lola][I] reporting
[lola][I] not produced: 7314
[lola][I] state equation: 643
[lola][I] symmetry: 784
[lola][I] reporting
[lola][I] not produced: 7307
[lola][I] state equation: 650
[lola][I] symmetry: 784
[lola][I] reporting
[lola][I] not produced: 7301
[lola][I] state equation: 656
[lola][I] symmetry: 784
[lola][I] reporting
[lola][I] not produced: 7291
[lola][I] state equation: 663
[lola][I] symmetry: 787
[lola][I] reporting
[lola][I] not produced: 7269
[lola][I] state equation: 670
[lola][I] symmetry: 802
[lola][I] reporting
[lola][I] not produced: 7250
[lola][I] state equation: 677
[lola][I] symmetry: 814
[lola][I] reporting
[lola][I] not produced: 7240
[lola][I] state equation: 684
[lola][I] symmetry: 817
[lola][I] reporting
[lola][I] not produced: 7233
[lola][I] state equation: 691
[lola][I] symmetry: 817
[lola][I] reporting
[lola][I] not produced: 7227
[lola][I] state equation: 697
[lola][I] symmetry: 817
[lola][I] reporting
[lola][I] not produced: 7195
[lola][I] state equation: 704
[lola][I] symmetry: 842
[lola][I] reporting
[lola][I] not produced: 7176
[lola][I] state equation: 711
[lola][I] symmetry: 854
[lola][I] reporting
[lola][I] not produced: 7169
[lola][I] state equation: 718
[lola][I] symmetry: 854
[lola][I] reporting
[lola][I] not produced: 7164
[lola][I] state equation: 723
[lola][I] symmetry: 854
[lola][I] reporting
[lola][I] not produced: 7156
[lola][I] state equation: 728
[lola][I] symmetry: 857
[lola][I] reporting
[lola][I] not produced: 7148
[lola][I] state equation: 733
[lola][I] symmetry: 860
[lola][I] reporting
[lola][I] not produced: 7124
[lola][I] state equation: 739
[lola][I] symmetry: 878
[lola][I] reporting
[lola][I] not produced: 7113
[lola][I] state equation: 744
[lola][I] symmetry: 884
[lola][I] reporting
[lola][I] not produced: 7105
[lola][I] state equation: 749
[lola][I] symmetry: 887
[lola][I] reporting
[lola][I] not produced: 7100
[lola][I] state equation: 754
[lola][I] symmetry: 887
[lola][I] reporting
[lola][I] not produced: 7092
[lola][I] state equation: 759
[lola][I] symmetry: 890
[lola][I] reporting
[lola][I] not produced: 7072
[lola][I] state equation: 764
[lola][I] symmetry: 905
[lola][I] reporting
[lola][I] not produced: 7048
[lola][I] state equation: 769
[lola][I] symmetry: 924
[lola][I] reporting
[lola][I] not produced: 7040
[lola][I] state equation: 774
[lola][I] symmetry: 927
[lola][I] reporting
[lola][I] not produced: 7035
[lola][I] state equation: 779
[lola][I] symmetry: 927
[lola][I] reporting
[lola][I] not produced: 7030
[lola][I] state equation: 784
[lola][I] symmetry: 927
[lola][I] reporting
[lola][I] not produced: 7016
[lola][I] state equation: 789
[lola][I] symmetry: 936
[lola][I] reporting
[lola][I] not produced: 7011
[lola][I] state equation: 794
[lola][I] symmetry: 936
[lola][I] reporting
[lola][I] not produced: 7006
[lola][I] state equation: 799
[lola][I] symmetry: 936
[lola][I] reporting
[lola][I] not produced: 6998
[lola][I] state equation: 804
[lola][I] symmetry: 939
[lola][I] reporting
[lola][I] not produced: 6993
[lola][I] state equation: 809
[lola][I] symmetry: 939
[lola][I] reporting
[lola][I] not produced: 6985
[lola][I] state equation: 814
[lola][I] symmetry: 942
[lola][I] reporting
[lola][I] not produced: 6980
[lola][I] state equation: 819
[lola][I] symmetry: 942
[lola][I] reporting
[lola][I] not produced: 6976
[lola][I] state equation: 823
[lola][I] symmetry: 942
[lola][I] reporting
[lola][I] not produced: 6971
[lola][I] state equation: 828
[lola][I] symmetry: 942
[lola][I] reporting
[lola][I] not produced: 6966
[lola][I] state equation: 833
[lola][I] symmetry: 942
[lola][I] reporting
[lola][I] not produced: 6961
[lola][I] state equation: 838
[lola][I] symmetry: 942
[lola][I] reporting
[lola][I] not produced: 6953
[lola][I] state equation: 843
[lola][I] symmetry: 945
[lola][I] reporting
[lola][I] not produced: 6942
[lola][I] state equation: 848
[lola][I] symmetry: 951
[lola][I] reporting
[lola][I] not produced: 6937
[lola][I] state equation: 853
[lola][I] symmetry: 951
[lola][I] reporting
[lola][I] not produced: 6932
[lola][I] state equation: 858
[lola][I] symmetry: 951
[lola][I] reporting
[lola][I] not produced: 6927
[lola][I] state equation: 863
[lola][I] symmetry: 951
[lola][I] reporting
[lola][I] not produced: 6919
[lola][I] state equation: 868
[lola][I] symmetry: 954
[lola][I] reporting
[lola][I] not produced: 6914
[lola][I] state equation: 873
[lola][I] symmetry: 954
[lola][I] reporting
[lola][I] not produced: 6909
[lola][I] state equation: 878
[lola][I] symmetry: 954
[lola][I] reporting
[lola][I] not produced: 6904
[lola][I] state equation: 883
[lola][I] symmetry: 954
[lola][I] reporting
[lola][I] not produced: 6899
[lola][I] state equation: 888
[lola][I] symmetry: 954
[lola][I] reporting
[lola][I] not produced: 6891
[lola][I] state equation: 893
[lola][I] symmetry: 957
[lola][I] reporting
[lola][I] not produced: 6885
[lola][I] state equation: 899
[lola][I] symmetry: 957
[lola][I] reporting
[lola][I] not produced: 6878
[lola][I] state equation: 906
[lola][I] symmetry: 957
[lola][I] reporting
[lola][I] not produced: 6872
[lola][I] state equation: 912
[lola][I] symmetry: 957
[lola][I] reporting
[lola][I] not produced: 6862
[lola][I] state equation: 919
[lola][I] symmetry: 960
[lola][I] reporting
[lola][I] not produced: 6854
[lola][I] state equation: 927
[lola][I] symmetry: 960
[lola][I] reporting
[lola][I] not produced: 6847
[lola][I] state equation: 934
[lola][I] symmetry: 960
[lola][I] reporting
[lola][I] not produced: 6837
[lola][I] state equation: 941
[lola][I] symmetry: 963
[lola][I] reporting
[lola][I] not produced: 6827
[lola][I] state equation: 948
[lola][I] symmetry: 966
[lola][I] reporting
[lola][I] not produced: 6818
[lola][I] state equation: 954
[lola][I] symmetry: 969
[lola][I] reporting
[lola][I] not produced: 6811
[lola][I] state equation: 961
[lola][I] symmetry: 969
[lola][I] reporting
[lola][I] not produced: 6804
[lola][I] state equation: 968
[lola][I] symmetry: 969
[lola][I] reporting
[lola][I] not produced: 6795
[lola][I] state equation: 974
[lola][I] symmetry: 972
[lola][I] reporting
[lola][I] not produced: 6788
[lola][I] state equation: 981
[lola][I] symmetry: 972
[lola][I] reporting
[lola][I] not produced: 6781
[lola][I] state equation: 988
[lola][I] symmetry: 972
[lola][I] reporting
[lola][I] not produced: 6773
[lola][I] state equation: 996
[lola][I] symmetry: 972
[lola][I] reporting
[lola][I] not produced: 6764
[lola][I] state equation: 1002
[lola][I] symmetry: 975
[lola][I] reporting
[lola][I] not produced: 6753
[lola][I] state equation: 1010
[lola][I] symmetry: 978
[lola][I] reporting
[lola][I] not produced: 6743
[lola][I] state equation: 1017
[lola][I] symmetry: 981
[lola][I] reporting
[lola][I] not produced: 6737
[lola][I] state equation: 1023
[lola][I] symmetry: 981
[lola][I] reporting
[lola][I] not produced: 6730
[lola][I] state equation: 1030
[lola][I] symmetry: 981
[lola][I] reporting
[lola][I] not produced: 6721
[lola][I] state equation: 1036
[lola][I] symmetry: 984
[lola][I] reporting
[lola][I] not produced: 6714
[lola][I] state equation: 1043
[lola][I] symmetry: 984
[lola][I] reporting
[lola][I] not produced: 6705
[lola][I] state equation: 1049
[lola][I] symmetry: 987
[lola][I] reporting
[lola][I] not produced: 6694
[lola][I] state equation: 1057
[lola][I] symmetry: 990
[lola][I] reporting
[lola][I] not produced: 6687
[lola][I] state equation: 1064
[lola][I] symmetry: 990
[lola][I] reporting
[lola][I] not produced: 6680
[lola][I] state equation: 1071
[lola][I] symmetry: 990
[lola][I] reporting
[lola][I] not produced: 6670
[lola][I] state equation: 1078
[lola][I] symmetry: 993
[lola][I] reporting
[lola][I] not produced: 6664
[lola][I] state equation: 1084
[lola][I] symmetry: 993
[lola][I] reporting
[lola][I] not produced: 6654
[lola][I] state equation: 1091
[lola][I] symmetry: 996
[lola][I] reporting
[lola][I] not produced: 6647
[lola][I] state equation: 1098
[lola][I] symmetry: 996
[lola][I] reporting
[lola][I] not produced: 6640
[lola][I] state equation: 1105
[lola][I] symmetry: 996
[lola][I] reporting
[lola][I] not produced: 6629
[lola][I] state equation: 1113
[lola][I] symmetry: 999
[lola][I] reporting
[lola][I] not produced: 6619
[lola][I] state equation: 1120
[lola][I] symmetry: 1002
[lola][I] reporting
[lola][I] not produced: 6609
[lola][I] state equation: 1127
[lola][I] symmetry: 1005
[lola][I] reporting
[lola][I] not produced: 6602
[lola][I] state equation: 1134
[lola][I] symmetry: 1005
[lola][I] reporting
[lola][I] not produced: 6592
[lola][I] state equation: 1141
[lola][I] symmetry: 1008
[lola][I] reporting
[lola][I] not produced: 6581
[lola][I] state equation: 1149
[lola][I] symmetry: 1011
[lola][I] reporting
[lola][I] not produced: 6575
[lola][I] state equation: 1155
[lola][I] symmetry: 1011
[lola][I] reporting
[lola][I] not produced: 6568
[lola][I] state equation: 1162
[lola][I] symmetry: 1011
[lola][I] reporting
[lola][I] not produced: 6558
[lola][I] state equation: 1169
[lola][I] symmetry: 1014
[lola][I] reporting
[lola][I] not produced: 6548
[lola][I] state equation: 1176
[lola][I] symmetry: 1017
[lola][I] reporting
[lola][I] not produced: 6541
[lola][I] state equation: 1183
[lola][I] symmetry: 1017
[lola][I] reporting
[lola][I] not produced: 6535
[lola][I] state equation: 1189
[lola][I] symmetry: 1017
[lola][I] reporting
[lola][I] not produced: 6525
[lola][I] state equation: 1196
[lola][I] symmetry: 1020
[lola][I] reporting
[lola][I] not produced: 6519
[lola][I] state equation: 1202
[lola][I] symmetry: 1020
[lola][I] reporting
[lola][I] not produced: 6509
[lola][I] state equation: 1209
[lola][I] symmetry: 1023
[lola][I] reporting
[lola][I] not produced: 6502
[lola][I] state equation: 1216
[lola][I] symmetry: 1023
[lola][I] reporting
[lola][I] not produced: 6496
[lola][I] state equation: 1222
[lola][I] symmetry: 1023
[lola][I] reporting
[lola][I] not produced: 6489
[lola][I] state equation: 1229
[lola][I] symmetry: 1023
[lola][I] reporting
[lola][I] not produced: 6480
[lola][I] state equation: 1235
[lola][I] symmetry: 1026
[lola][I] reporting
[lola][I] not produced: 6473
[lola][I] state equation: 1242
[lola][I] symmetry: 1026
[lola][I] reporting
[lola][I] not produced: 6463
[lola][I] state equation: 1249
[lola][I] symmetry: 1029
[lola][I] reporting
[lola][I] not produced: 6453
[lola][I] state equation: 1256
[lola][I] symmetry: 1032
[lola][I] reporting
[lola][I] not produced: 6447
[lola][I] state equation: 1262
[lola][I] symmetry: 1032
[lola][I] reporting
[lola][I] not produced: 6440
[lola][I] state equation: 1269
[lola][I] symmetry: 1032
[lola][I] reporting
[lola][I] not produced: 6430
[lola][I] state equation: 1276
[lola][I] symmetry: 1035
[lola][I] reporting
[lola][I] not produced: 6423
[lola][I] state equation: 1283
[lola][I] symmetry: 1035
[lola][I] reporting
[lola][I] not produced: 6416
[lola][I] state equation: 1290
[lola][I] symmetry: 1035
[lola][I] reporting
[lola][I] not produced: 6410
[lola][I] state equation: 1296
[lola][I] symmetry: 1035
[lola][I] reporting
[lola][I] not produced: 6399
[lola][I] state equation: 1304
[lola][I] symmetry: 1038
[lola][I] reporting
[lola][I] not produced: 6390
[lola][I] state equation: 1310
[lola][I] symmetry: 1041
[lola][I] reporting
[lola][I] not produced: 6381
[lola][I] state equation: 1316
[lola][I] symmetry: 1044
[lola][I] reporting
[lola][I] not produced: 6375
[lola][I] state equation: 1322
[lola][I] symmetry: 1044
[lola][I] reporting
[lola][I] not produced: 6367
[lola][I] state equation: 1330
[lola][I] symmetry: 1044
[lola][I] reporting
[lola][I] not produced: 6357
[lola][I] state equation: 1337
[lola][I] symmetry: 1047
[lola][I] reporting
[lola][I] not produced: 6351
[lola][I] state equation: 1343
[lola][I] symmetry: 1047
[lola][I] reporting
[lola][I] not produced: 6342
[lola][I] state equation: 1349
[lola][I] symmetry: 1050
[lola][I] reporting
[lola][I] not produced: 6335
[lola][I] state equation: 1356
[lola][I] symmetry: 1050
[lola][I] reporting
[lola][I] not produced: 6328
[lola][I] state equation: 1363
[lola][I] symmetry: 1050
[lola][I] reporting
[lola][I] not produced: 6319
[lola][I] state equation: 1369
[lola][I] symmetry: 1053
[lola][I] reporting
[lola][I] not produced: 6310
[lola][I] state equation: 1375
[lola][I] symmetry: 1056
[lola][I] reporting
[lola][I] not produced: 6304
[lola][I] state equation: 1381
[lola][I] symmetry: 1056
[lola][I] reporting
[lola][I] not produced: 6298
[lola][I] state equation: 1387
[lola][I] symmetry: 1056
[lola][I] reporting
[lola][I] not produced: 6291
[lola][I] state equation: 1394
[lola][I] symmetry: 1056
[lola][I] reporting
[lola][I] not produced: 6282
[lola][I] state equation: 1400
[lola][I] symmetry: 1059
[lola][I] reporting
[lola][I] not produced: 6263
[lola][I] state equation: 1407
[lola][I] symmetry: 1071
[lola][I] reporting
[lola][I] not produced: 6248
[lola][I] state equation: 1413
[lola][I] symmetry: 1080
[lola][I] reporting
[lola][I] not produced: 6230
[lola][I] state equation: 1419
[lola][I] symmetry: 1092
[lola][I] reporting
[lola][I] not produced: 6211
[lola][I] state equation: 1426
[lola][I] symmetry: 1104
[lola][I] reporting
[lola][I] not produced: 6196
[lola][I] state equation: 1432
[lola][I] symmetry: 1113
[lola][I] reporting
[lola][I] not produced: 6173
[lola][I] state equation: 1438
[lola][I] symmetry: 1130
[lola][I] reporting
[lola][I] not produced: 6154
[lola][I] state equation: 1445
[lola][I] symmetry: 1142
[lola][I] reporting
[lola][I] not produced: 6139
[lola][I] state equation: 1451
[lola][I] symmetry: 1151
[lola][I] reporting
[lola][I] not produced: 6123
[lola][I] state equation: 1458
[lola][I] symmetry: 1160
[lola][I] reporting
[lola][I] not produced: 6111
[lola][I] state equation: 1464
[lola][I] symmetry: 1166
[lola][I] reporting
[lola][I] not produced: 6088
[lola][I] state equation: 1471
[lola][I] symmetry: 1182
[lola][I] reporting
[lola][I] not produced: 6076
[lola][I] state equation: 1477
[lola][I] symmetry: 1188
[lola][I] reporting
[lola][I] not produced: 6060
[lola][I] state equation: 1484
[lola][I] symmetry: 1197
[lola][I] reporting
[lola][I] not produced: 6044
[lola][I] state equation: 1491
[lola][I] symmetry: 1206
[lola][I] reporting
[lola][I] not produced: 6032
[lola][I] state equation: 1497
[lola][I] symmetry: 1212
[lola][I] reporting
[lola][I] not produced: 6019
[lola][I] state equation: 1504
[lola][I] symmetry: 1218
[lola][I] reporting
[lola][I] not produced: 6001
[lola][I] state equation: 1510
[lola][I] symmetry: 1230
[lola][I] reporting
[lola][I] not produced: 5985
[lola][I] state equation: 1517
[lola][I] symmetry: 1239
[lola][I] reporting
[lola][I] not produced: 5972
[lola][I] state equation: 1524
[lola][I] symmetry: 1245
[lola][I] reporting
[lola][I] not produced: 5956
[lola][I] state equation: 1531
[lola][I] symmetry: 1254
[lola][I] reporting
[lola][I] not produced: 5936
[lola][I] state equation: 1538
[lola][I] symmetry: 1267
[lola][I] reporting
[lola][I] not produced: 5923
[lola][I] state equation: 1545
[lola][I] symmetry: 1273
[lola][I] reporting
[lola][I] not produced: 5910
[lola][I] state equation: 1552
[lola][I] symmetry: 1279
[lola][I] reporting
[lola][I] not produced: 5900
[lola][I] state equation: 1559
[lola][I] symmetry: 1282
[lola][I] reporting
[lola][I] not produced: 5893
[lola][I] state equation: 1566
[lola][I] symmetry: 1282
[lola][I] reporting
[lola][I] not produced: 5885
[lola][I] state equation: 1574
[lola][I] symmetry: 1282
[lola][I] reporting
[lola][I] not produced: 5875
[lola][I] state equation: 1581
[lola][I] symmetry: 1285
[lola][I] reporting
[lola][I] not produced: 5859
[lola][I] state equation: 1588
[lola][I] symmetry: 1294
[lola][I] reporting
[lola][I] not produced: 5832
[lola][I] state equation: 1596
[lola][I] symmetry: 1313
[lola][I] reporting
[lola][I] not produced: 5803
[lola][I] state equation: 1603
[lola][I] symmetry: 1335
[lola][I] reporting
[lola][I] not produced: 5775
[lola][I] state equation: 1610
[lola][I] symmetry: 1356
[lola][I] reporting
[lola][I] not produced: 5739
[lola][I] state equation: 1618
[lola][I] symmetry: 1384
[lola][I] reporting
[lola][I] not produced: 5711
[lola][I] state equation: 1625
[lola][I] symmetry: 1405
[lola][I] reporting
[lola][I] not produced: 5692
[lola][I] state equation: 1632
[lola][I] symmetry: 1417
[lola][I] reporting
[lola][I] not produced: 5685
[lola][I] state equation: 1639
[lola][I] symmetry: 1417
[lola][I] reporting
[lola][I] not produced: 5677
[lola][I] state equation: 1647
[lola][I] symmetry: 1417
[lola][I] reporting
[lola][I] not produced: 5667
[lola][I] state equation: 1654
[lola][I] symmetry: 1420
[lola][I] reporting
[lola][I] not produced: 5660
[lola][I] state equation: 1661
[lola][I] symmetry: 1420
[lola][I] reporting
[lola][I] not produced: 5653
[lola][I] state equation: 1668
[lola][I] symmetry: 1420
[lola][I] reporting
[lola][I] not produced: 5646
[lola][I] state equation: 1675
[lola][I] symmetry: 1420
[lola][I] reporting
[lola][I] not produced: 5636
[lola][I] state equation: 1682
[lola][I] symmetry: 1423
[lola][I] reporting
[lola][I] not produced: 5629
[lola][I] state equation: 1689
[lola][I] symmetry: 1423
[lola][I] reporting
[lola][I] not produced: 5622
[lola][I] state equation: 1696
[lola][I] symmetry: 1423
[lola][I] reporting
[lola][I] not produced: 5615
[lola][I] state equation: 1703
[lola][I] symmetry: 1423
[lola][I] reporting
[lola][I] not produced: 5604
[lola][I] state equation: 1711
[lola][I] symmetry: 1426
[lola][I] reporting
[lola][I] not produced: 5597
[lola][I] state equation: 1718
[lola][I] symmetry: 1426
[lola][I] reporting
[lola][I] not produced: 5587
[lola][I] state equation: 1725
[lola][I] symmetry: 1429
[lola][I] reporting
[lola][I] not produced: 5577
[lola][I] state equation: 1732
[lola][I] symmetry: 1432
[lola][I] reporting
[lola][I] not produced: 5570
[lola][I] state equation: 1739
[lola][I] symmetry: 1432
[lola][I] reporting
[lola][I] not produced: 5562
[lola][I] state equation: 1747
[lola][I] symmetry: 1432
[lola][I] reporting
[lola][I] not produced: 5556
[lola][I] state equation: 1753
[lola][I] symmetry: 1432
[lola][I] reporting
[lola][I] not produced: 5546
[lola][I] state equation: 1760
[lola][I] symmetry: 1435
[lola][I] reporting
[lola][I] not produced: 5536
[lola][I] state equation: 1767
[lola][I] symmetry: 1438
[lola][I] reporting
[lola][I] not produced: 5529
[lola][I] state equation: 1774
[lola][I] symmetry: 1438
[lola][I] reporting
[lola][I] not produced: 5522
[lola][I] state equation: 1781
[lola][I] symmetry: 1438
[lola][I] reporting
[lola][I] not produced: 5512
[lola][I] state equation: 1788
[lola][I] symmetry: 1441
[lola][I] reporting
[lola][I] not produced: 5501
[lola][I] state equation: 1796
[lola][I] symmetry: 1444
[lola][I] reporting
[lola][I] not produced: 5491
[lola][I] state equation: 1803
[lola][I] symmetry: 1447
[lola][I] reporting
[lola][I] not produced: 5478
[lola][I] state equation: 1810
[lola][I] symmetry: 1453
[lola][I] reporting
[lola][I] not produced: 5456
[lola][I] state equation: 1817
[lola][I] symmetry: 1468
[lola][I] reporting
[lola][I] not produced: 5434
[lola][I] state equation: 1824
[lola][I] symmetry: 1483
[lola][I] reporting
[lola][I] not produced: 5420
[lola][I] state equation: 1832
[lola][I] symmetry: 1489
[lola][I] reporting
[lola][I] not produced: 5388
[lola][I] state equation: 1839
[lola][I] symmetry: 1514
[lola][I] reporting
[lola][I] not produced: 5356
[lola][I] state equation: 1847
[lola][I] symmetry: 1538
[lola][I] reporting
[lola][I] not produced: 5328
[lola][I] state equation: 1854
[lola][I] symmetry: 1559
[lola][I] reporting
[lola][I] not produced: 5300
[lola][I] state equation: 1861
[lola][I] symmetry: 1580
[lola][I] reporting
[lola][I] not produced: 5272
[lola][I] state equation: 1868
[lola][I] symmetry: 1601
[lola][I] reporting
[lola][I] not produced: 5242
[lola][I] state equation: 1876
[lola][I] symmetry: 1623
[lola][I] reporting
[lola][I] not produced: 5235
[lola][I] state equation: 1883
[lola][I] symmetry: 1623
[lola][I] reporting
[lola][I] not produced: 5221
[lola][I] state equation: 1891
[lola][I] symmetry: 1629
[lola][I] reporting
[lola][I] not produced: 5211
[lola][I] state equation: 1898
[lola][I] symmetry: 1632
[lola][I] reporting
[lola][I] not produced: 5204
[lola][I] state equation: 1905
[lola][I] symmetry: 1632
[lola][I] reporting
[lola][I] not produced: 5197
[lola][I] state equation: 1912
[lola][I] symmetry: 1632
[lola][I] reporting
[lola][I] not produced: 5190
[lola][I] state equation: 1919
[lola][I] symmetry: 1632
[lola][I] reporting
[lola][I] not produced: 5180
[lola][I] state equation: 1926
[lola][I] symmetry: 1635
[lola][I] reporting
[lola][I] not produced: 5173
[lola][I] state equation: 1933
[lola][I] symmetry: 1635
[lola][I] reporting
[lola][I] not produced: 5165
[lola][I] state equation: 1941
[lola][I] symmetry: 1635
[lola][I] reporting
[lola][I] not produced: 5155
[lola][I] state equation: 1948
[lola][I] symmetry: 1638
[lola][I] reporting
[lola][I] not produced: 5148
[lola][I] state equation: 1955
[lola][I] symmetry: 1638
[lola][I] reporting
[lola][I] not produced: 5134
[lola][I] state equation: 1963
[lola][I] symmetry: 1644
[lola][I] reporting
[lola][I] not produced: 5120
[lola][I] state equation: 1970
[lola][I] symmetry: 1651
[lola][I] reporting
[lola][I] not produced: 5113
[lola][I] state equation: 1977
[lola][I] symmetry: 1651
[lola][I] reporting
[lola][I] not produced: 5103
[lola][I] state equation: 1984
[lola][I] symmetry: 1654
[lola][I] reporting
[lola][I] not produced: 5087
[lola][I] state equation: 1991
[lola][I] symmetry: 1663
[lola][I] reporting
[lola][I] not produced: 5074
[lola][I] state equation: 1998
[lola][I] symmetry: 1669
[lola][I] reporting
[lola][I] not produced: 5055
[lola][I] state equation: 2005
[lola][I] symmetry: 1681
[lola][I] reporting
[lola][I] not produced: 5035
[lola][I] state equation: 2013
[lola][I] symmetry: 1693
[lola][I] reporting
[lola][I] not produced: 5016
[lola][I] state equation: 2020
[lola][I] symmetry: 1705
[lola][I] reporting
[lola][I] not produced: 5002
[lola][I] state equation: 2028
[lola][I] symmetry: 1711
[lola][I] reporting
[lola][I] not produced: 4995
[lola][I] state equation: 2035
[lola][I] symmetry: 1711
[lola][I] reporting
[lola][I] not produced: 4981
[lola][I] state equation: 2043
[lola][I] symmetry: 1717
[lola][I] reporting
[lola][I] not produced: 4974
[lola][I] state equation: 2050
[lola][I] symmetry: 1717
[lola][I] reporting
[lola][I] not produced: 4966
[lola][I] state equation: 2058
[lola][I] symmetry: 1717
[lola][I] reporting
[lola][I] not produced: 4956
[lola][I] state equation: 2065
[lola][I] symmetry: 1720
[lola][I] reporting
[lola][I] not produced: 4949
[lola][I] state equation: 2072
[lola][I] symmetry: 1720
[lola][I] reporting
[lola][I] not produced: 4939
[lola][I] state equation: 2079
[lola][I] symmetry: 1723
[lola][I] reporting
[lola][I] not produced: 4933
[lola][I] state equation: 2085
[lola][I] symmetry: 1723
[lola][I] reporting
[lola][I] not produced: 4927
[lola][I] state equation: 2091
[lola][I] symmetry: 1723
[lola][I] reporting
[lola][I] not produced: 4917
[lola][I] state equation: 2098
[lola][I] symmetry: 1726
[lola][I] reporting
[lola][I] not produced: 4909
[lola][I] state equation: 2106
[lola][I] symmetry: 1726
[lola][I] reporting
[lola][I] not produced: 4902
[lola][I] state equation: 2113
[lola][I] symmetry: 1726
[lola][I] reporting
[lola][I] not produced: 4892
[lola][I] state equation: 2120
[lola][I] symmetry: 1729
[lola][I] reporting
[lola][I] not produced: 4884
[lola][I] state equation: 2128
[lola][I] symmetry: 1729
[lola][I] reporting
[lola][I] not produced: 4877
[lola][I] state equation: 2135
[lola][I] symmetry: 1729
[lola][I] reporting
[lola][I] not produced: 4867
[lola][I] state equation: 2142
[lola][I] symmetry: 1732
[lola][I] reporting
[lola][I] not produced: 4857
[lola][I] state equation: 2149
[lola][I] symmetry: 1735
[lola][I] reporting
[lola][I] not produced: 4847
[lola][I] state equation: 2156
[lola][I] symmetry: 1738
[lola][I] reporting
[lola][I] not produced: 4840
[lola][I] state equation: 2163
[lola][I] symmetry: 1738
[lola][I] reporting
[lola][I] not produced: 4833
[lola][I] state equation: 2170
[lola][I] symmetry: 1738
[lola][I] reporting
[lola][I] not produced: 4822
[lola][I] state equation: 2178
[lola][I] symmetry: 1741
[lola][I] reporting
[lola][I] not produced: 4809
[lola][I] state equation: 2185
[lola][I] symmetry: 1747
[lola][I] reporting
[lola][I] not produced: 4802
[lola][I] state equation: 2192
[lola][I] symmetry: 1747
[lola][I] reporting
[lola][I] not produced: 4794
[lola][I] state equation: 2200
[lola][I] symmetry: 1747
[lola][I] reporting
[lola][I] not produced: 4787
[lola][I] state equation: 2207
[lola][I] symmetry: 1747
[lola][I] reporting
[lola][I] not produced: 4780
[lola][I] state equation: 2214
[lola][I] symmetry: 1747
[lola][I] reporting
[lola][I] not produced: 4770
[lola][I] state equation: 2221
[lola][I] symmetry: 1750
[lola][I] reporting
[lola][I] not produced: 4760
[lola][I] state equation: 2228
[lola][I] symmetry: 1753
[lola][I] reporting
[lola][I] not produced: 4752
[lola][I] state equation: 2236
[lola][I] symmetry: 1753
[lola][I] reporting
[lola][I] not produced: 4745
[lola][I] state equation: 2243
[lola][I] symmetry: 1753
[lola][I] reporting
[lola][I] not produced: 4734
[lola][I] state equation: 2251
[lola][I] symmetry: 1756
[lola][I] reporting
[lola][I] not produced: 4727
[lola][I] state equation: 2258
[lola][I] symmetry: 1756
[lola][I] reporting
[lola][I] not produced: 4717
[lola][I] state equation: 2265
[lola][I] symmetry: 1759
[lola][I] reporting
[lola][I] not produced: 4709
[lola][I] state equation: 2273
[lola][I] symmetry: 1759
[lola][I] reporting
[lola][I] not produced: 4702
[lola][I] state equation: 2280
[lola][I] symmetry: 1759
[lola][I] reporting
[lola][I] not produced: 4696
[lola][I] state equation: 2286
[lola][I] symmetry: 1759
[lola][I] reporting
[lola][I] not produced: 4685
[lola][I] state equation: 2294
[lola][I] symmetry: 1762
[lola][I] reporting
[lola][I] not produced: 4678
[lola][I] state equation: 2301
[lola][I] symmetry: 1762
[lola][I] reporting
[lola][I] not produced: 4671
[lola][I] state equation: 2308
[lola][I] symmetry: 1762
[lola][I] reporting
[lola][I] not produced: 4663
[lola][I] state equation: 2316
[lola][I] symmetry: 1762
[lola][I] reporting
[lola][I] not produced: 4656
[lola][I] state equation: 2323
[lola][I] symmetry: 1762
[lola][I] reporting
[lola][I] not produced: 4646
[lola][I] state equation: 2330
[lola][I] symmetry: 1765
[lola][I] reporting
[lola][I] not produced: 4638
[lola][I] state equation: 2338
[lola][I] symmetry: 1765
[lola][I] reporting
[lola][I] not produced: 4631
[lola][I] state equation: 2345
[lola][I] symmetry: 1765
[lola][I] reporting
[lola][I] not produced: 4624
[lola][I] state equation: 2352
[lola][I] symmetry: 1765
[lola][I] reporting
[lola][I] not produced: 4613
[lola][I] state equation: 2360
[lola][I] symmetry: 1768
[lola][I] reporting
[lola][I] not produced: 4603
[lola][I] state equation: 2367
[lola][I] symmetry: 1771
[lola][I] reporting
[lola][I] not produced: 4596
[lola][I] state equation: 2374
[lola][I] symmetry: 1771
[lola][I] reporting
[lola][I] not produced: 4587
[lola][I] state equation: 2380
[lola][I] symmetry: 1774
[lola][I] reporting
[lola][I] not produced: 4580
[lola][I] state equation: 2387
[lola][I] symmetry: 1774
[lola][I] reporting
[lola][I] not produced: 4571
[lola][I] state equation: 2393
[lola][I] symmetry: 1777
[lola][I] reporting
[lola][I] not produced: 4564
[lola][I] state equation: 2400
[lola][I] symmetry: 1777
[lola][I] reporting
[lola][I] not produced: 4554
[lola][I] state equation: 2407
[lola][I] symmetry: 1780
[lola][I] reporting
[lola][I] not produced: 4544
[lola][I] state equation: 2414
[lola][I] symmetry: 1783
[lola][I] reporting
[lola][I] not produced: 4537
[lola][I] state equation: 2421
[lola][I] symmetry: 1783

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-18"
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-18, 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-171774432200190"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BlocksWorld-PT-18.tgz
mv BlocksWorld-PT-18 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 ;