About the Execution of LoLA for BlocksWorld-PT-15
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
2112.903 | 1800000.00 | 5406624.00 | 4231.50 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2024-input.r614-tall-171774432200175.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-15, examination is OneSafe
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r614-tall-171774432200175
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 64M
-rw-r--r-- 1 mcc users 1.6M Jun 7 06:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 7.0M Jun 7 06:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.1M Jun 7 06:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 5.7M Jun 7 06:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 36K Jun 7 06:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 117K Jun 7 06:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.3M Jun 7 06:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 4.9M Jun 7 06:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Jun 7 06:26 NewModel
-rw-r--r-- 1 mcc users 1.7M Jun 7 06:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 7.1M Jun 7 06:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.4M Jun 7 06:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 23M Jun 7 06:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 95K Jun 7 06:43 UpperBounds.txt
-rw-r--r-- 1 mcc users 228K 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 5.8M 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 1717780058469
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:
[[35mlola[0m][I] LoLA will run for 1800 seconds at most ([1m[36m--timelimit[0m)
[[35mlola[0m][W] [1m[33munknown unit in memory specification: using default[0m
[[35mlola[0m][I] MEM LIMIT 5
[[35mlola[0m][I] NET
[[35mlola[0m][I] reading [1m[34mnet[0m from [4m[34mmodel.pnml[0m
[[35mlola[0m][I] input: PNML file ([1m[36m--pnmlnet[0m)
[[35mlola[0m][I] reading pnml
[[35mlola[0m][I] PNML file contains place/transition net
[[35mlola[0m][I] closed [1m[34mnet[0m file [4m[34mmodel.pnml[0m
[[35mlola[0m][I] finished parsing
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6153
[[35mlola[0m][I] state equation: 8
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6144
[[35mlola[0m][I] state equation: 17
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6135
[[35mlola[0m][I] state equation: 26
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6125
[[35mlola[0m][I] state equation: 36
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6115
[[35mlola[0m][I] state equation: 46
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6105
[[35mlola[0m][I] state equation: 56
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6095
[[35mlola[0m][I] state equation: 66
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6083
[[35mlola[0m][I] state equation: 78
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6072
[[35mlola[0m][I] state equation: 89
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6061
[[35mlola[0m][I] state equation: 100
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6051
[[35mlola[0m][I] state equation: 110
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6040
[[35mlola[0m][I] state equation: 121
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6030
[[35mlola[0m][I] state equation: 131
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6020
[[35mlola[0m][I] state equation: 141
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6010
[[35mlola[0m][I] state equation: 151
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 6000
[[35mlola[0m][I] state equation: 161
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5989
[[35mlola[0m][I] state equation: 172
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5979
[[35mlola[0m][I] state equation: 182
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5969
[[35mlola[0m][I] state equation: 192
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5959
[[35mlola[0m][I] state equation: 202
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5949
[[35mlola[0m][I] state equation: 212
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5938
[[35mlola[0m][I] state equation: 223
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5928
[[35mlola[0m][I] state equation: 233
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5918
[[35mlola[0m][I] state equation: 243
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5908
[[35mlola[0m][I] state equation: 253
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5898
[[35mlola[0m][I] state equation: 263
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5887
[[35mlola[0m][I] state equation: 274
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5876
[[35mlola[0m][I] state equation: 285
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5866
[[35mlola[0m][I] state equation: 295
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5856
[[35mlola[0m][I] state equation: 305
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5846
[[35mlola[0m][I] state equation: 315
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5836
[[35mlola[0m][I] state equation: 325
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5828
[[35mlola[0m][I] state equation: 333
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5817
[[35mlola[0m][I] state equation: 344
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5807
[[35mlola[0m][I] state equation: 354
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5796
[[35mlola[0m][I] state equation: 365
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5786
[[35mlola[0m][I] state equation: 375
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5775
[[35mlola[0m][I] state equation: 386
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5765
[[35mlola[0m][I] state equation: 396
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5753
[[35mlola[0m][I] state equation: 408
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5743
[[35mlola[0m][I] state equation: 418
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5732
[[35mlola[0m][I] state equation: 429
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5721
[[35mlola[0m][I] state equation: 440
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5711
[[35mlola[0m][I] state equation: 450
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5700
[[35mlola[0m][I] state equation: 461
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5689
[[35mlola[0m][I] state equation: 472
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5679
[[35mlola[0m][I] state equation: 482
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5668
[[35mlola[0m][I] state equation: 493
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5658
[[35mlola[0m][I] state equation: 503
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5647
[[35mlola[0m][I] state equation: 514
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5637
[[35mlola[0m][I] state equation: 524
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5627
[[35mlola[0m][I] state equation: 534
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5618
[[35mlola[0m][I] state equation: 543
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5608
[[35mlola[0m][I] state equation: 553
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5598
[[35mlola[0m][I] state equation: 563
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5588
[[35mlola[0m][I] state equation: 573
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5577
[[35mlola[0m][I] state equation: 584
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5566
[[35mlola[0m][I] state equation: 595
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5556
[[35mlola[0m][I] state equation: 605
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5545
[[35mlola[0m][I] state equation: 616
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5534
[[35mlola[0m][I] state equation: 627
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5524
[[35mlola[0m][I] state equation: 637
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5513
[[35mlola[0m][I] state equation: 648
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5502
[[35mlola[0m][I] state equation: 659
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5491
[[35mlola[0m][I] state equation: 670
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5480
[[35mlola[0m][I] state equation: 681
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5469
[[35mlola[0m][I] state equation: 692
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5458
[[35mlola[0m][I] state equation: 703
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5447
[[35mlola[0m][I] state equation: 714
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5437
[[35mlola[0m][I] state equation: 724
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5426
[[35mlola[0m][I] state equation: 735
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5415
[[35mlola[0m][I] state equation: 746
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5404
[[35mlola[0m][I] state equation: 757
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5394
[[35mlola[0m][I] state equation: 767
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5383
[[35mlola[0m][I] state equation: 778
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5372
[[35mlola[0m][I] state equation: 789
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5362
[[35mlola[0m][I] state equation: 799
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5351
[[35mlola[0m][I] state equation: 810
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5340
[[35mlola[0m][I] state equation: 821
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5329
[[35mlola[0m][I] state equation: 832
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5319
[[35mlola[0m][I] state equation: 842
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5309
[[35mlola[0m][I] state equation: 852
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5298
[[35mlola[0m][I] state equation: 863
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5288
[[35mlola[0m][I] state equation: 873
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5276
[[35mlola[0m][I] state equation: 885
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5266
[[35mlola[0m][I] state equation: 895
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5256
[[35mlola[0m][I] state equation: 905
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5244
[[35mlola[0m][I] state equation: 917
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5233
[[35mlola[0m][I] state equation: 928
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5223
[[35mlola[0m][I] state equation: 938
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5212
[[35mlola[0m][I] state equation: 949
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5200
[[35mlola[0m][I] state equation: 961
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5190
[[35mlola[0m][I] state equation: 971
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5179
[[35mlola[0m][I] state equation: 982
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5169
[[35mlola[0m][I] state equation: 992
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5157
[[35mlola[0m][I] state equation: 1004
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5147
[[35mlola[0m][I] state equation: 1014
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5136
[[35mlola[0m][I] state equation: 1025
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5125
[[35mlola[0m][I] state equation: 1036
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5114
[[35mlola[0m][I] state equation: 1047
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5103
[[35mlola[0m][I] state equation: 1058
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5092
[[35mlola[0m][I] state equation: 1069
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5080
[[35mlola[0m][I] state equation: 1081
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5070
[[35mlola[0m][I] state equation: 1091
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5060
[[35mlola[0m][I] state equation: 1101
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5049
[[35mlola[0m][I] state equation: 1112
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5040
[[35mlola[0m][I] state equation: 1121
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5030
[[35mlola[0m][I] state equation: 1131
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5020
[[35mlola[0m][I] state equation: 1141
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5010
[[35mlola[0m][I] state equation: 1151
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 5000
[[35mlola[0m][I] state equation: 1161
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4990
[[35mlola[0m][I] state equation: 1171
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4980
[[35mlola[0m][I] state equation: 1181
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4970
[[35mlola[0m][I] state equation: 1191
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4960
[[35mlola[0m][I] state equation: 1201
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4950
[[35mlola[0m][I] state equation: 1211
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4940
[[35mlola[0m][I] state equation: 1221
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4930
[[35mlola[0m][I] state equation: 1231
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4920
[[35mlola[0m][I] state equation: 1241
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4910
[[35mlola[0m][I] state equation: 1251
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4901
[[35mlola[0m][I] state equation: 1260
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4891
[[35mlola[0m][I] state equation: 1270
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4881
[[35mlola[0m][I] state equation: 1280
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4871
[[35mlola[0m][I] state equation: 1290
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4861
[[35mlola[0m][I] state equation: 1300
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4851
[[35mlola[0m][I] state equation: 1310
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4842
[[35mlola[0m][I] state equation: 1319
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4834
[[35mlola[0m][I] state equation: 1327
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4825
[[35mlola[0m][I] state equation: 1336
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4814
[[35mlola[0m][I] state equation: 1347
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4804
[[35mlola[0m][I] state equation: 1357
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4794
[[35mlola[0m][I] state equation: 1367
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4783
[[35mlola[0m][I] state equation: 1378
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4774
[[35mlola[0m][I] state equation: 1387
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4764
[[35mlola[0m][I] state equation: 1397
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4753
[[35mlola[0m][I] state equation: 1408
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4743
[[35mlola[0m][I] state equation: 1418
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4733
[[35mlola[0m][I] state equation: 1428
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4722
[[35mlola[0m][I] state equation: 1439
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4712
[[35mlola[0m][I] state equation: 1449
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4702
[[35mlola[0m][I] state equation: 1459
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4692
[[35mlola[0m][I] state equation: 1469
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4682
[[35mlola[0m][I] state equation: 1479
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4673
[[35mlola[0m][I] state equation: 1488
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4663
[[35mlola[0m][I] state equation: 1498
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4653
[[35mlola[0m][I] state equation: 1508
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4644
[[35mlola[0m][I] state equation: 1517
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4634
[[35mlola[0m][I] state equation: 1527
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4624
[[35mlola[0m][I] state equation: 1537
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4614
[[35mlola[0m][I] state equation: 1547
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4605
[[35mlola[0m][I] state equation: 1556
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4595
[[35mlola[0m][I] state equation: 1566
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4586
[[35mlola[0m][I] state equation: 1575
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4577
[[35mlola[0m][I] state equation: 1584
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4567
[[35mlola[0m][I] state equation: 1594
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4558
[[35mlola[0m][I] state equation: 1603
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4549
[[35mlola[0m][I] state equation: 1612
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4539
[[35mlola[0m][I] state equation: 1622
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4529
[[35mlola[0m][I] state equation: 1632
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4520
[[35mlola[0m][I] state equation: 1641
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4510
[[35mlola[0m][I] state equation: 1651
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4501
[[35mlola[0m][I] state equation: 1660
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4491
[[35mlola[0m][I] state equation: 1670
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4481
[[35mlola[0m][I] state equation: 1680
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4472
[[35mlola[0m][I] state equation: 1689
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4463
[[35mlola[0m][I] state equation: 1698
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4453
[[35mlola[0m][I] state equation: 1708
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4443
[[35mlola[0m][I] state equation: 1718
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4434
[[35mlola[0m][I] state equation: 1727
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4424
[[35mlola[0m][I] state equation: 1737
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4415
[[35mlola[0m][I] state equation: 1746
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4405
[[35mlola[0m][I] state equation: 1756
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4396
[[35mlola[0m][I] state equation: 1765
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4386
[[35mlola[0m][I] state equation: 1775
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4377
[[35mlola[0m][I] state equation: 1784
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4368
[[35mlola[0m][I] state equation: 1793
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4359
[[35mlola[0m][I] state equation: 1802
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4349
[[35mlola[0m][I] state equation: 1812
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4340
[[35mlola[0m][I] state equation: 1821
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4331
[[35mlola[0m][I] state equation: 1830
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4321
[[35mlola[0m][I] state equation: 1840
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4312
[[35mlola[0m][I] state equation: 1849
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4302
[[35mlola[0m][I] state equation: 1859
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4293
[[35mlola[0m][I] state equation: 1868
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4283
[[35mlola[0m][I] state equation: 1878
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4274
[[35mlola[0m][I] state equation: 1887
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4265
[[35mlola[0m][I] state equation: 1896
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4255
[[35mlola[0m][I] state equation: 1906
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4245
[[35mlola[0m][I] state equation: 1916
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4236
[[35mlola[0m][I] state equation: 1925
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4226
[[35mlola[0m][I] state equation: 1935
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4217
[[35mlola[0m][I] state equation: 1944
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4207
[[35mlola[0m][I] state equation: 1954
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4197
[[35mlola[0m][I] state equation: 1964
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4187
[[35mlola[0m][I] state equation: 1974
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4177
[[35mlola[0m][I] state equation: 1984
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4167
[[35mlola[0m][I] state equation: 1994
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4157
[[35mlola[0m][I] state equation: 2004
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4148
[[35mlola[0m][I] state equation: 2013
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4138
[[35mlola[0m][I] state equation: 2023
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4129
[[35mlola[0m][I] state equation: 2032
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4119
[[35mlola[0m][I] state equation: 2042
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4110
[[35mlola[0m][I] state equation: 2051
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4100
[[35mlola[0m][I] state equation: 2061
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4090
[[35mlola[0m][I] state equation: 2071
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4081
[[35mlola[0m][I] state equation: 2080
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4072
[[35mlola[0m][I] state equation: 2089
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4063
[[35mlola[0m][I] state equation: 2098
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4054
[[35mlola[0m][I] state equation: 2107
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4045
[[35mlola[0m][I] state equation: 2116
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4037
[[35mlola[0m][I] state equation: 2124
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4029
[[35mlola[0m][I] state equation: 2132
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4020
[[35mlola[0m][I] state equation: 2141
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4010
[[35mlola[0m][I] state equation: 2151
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 4001
[[35mlola[0m][I] state equation: 2160
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3992
[[35mlola[0m][I] state equation: 2169
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3983
[[35mlola[0m][I] state equation: 2178
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3973
[[35mlola[0m][I] state equation: 2188
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3964
[[35mlola[0m][I] state equation: 2197
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3955
[[35mlola[0m][I] state equation: 2206
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3947
[[35mlola[0m][I] state equation: 2214
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3938
[[35mlola[0m][I] state equation: 2223
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3929
[[35mlola[0m][I] state equation: 2232
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3921
[[35mlola[0m][I] state equation: 2240
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3912
[[35mlola[0m][I] state equation: 2249
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3903
[[35mlola[0m][I] state equation: 2258
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3895
[[35mlola[0m][I] state equation: 2266
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3886
[[35mlola[0m][I] state equation: 2275
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3877
[[35mlola[0m][I] state equation: 2284
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3867
[[35mlola[0m][I] state equation: 2294
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3858
[[35mlola[0m][I] state equation: 2303
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3848
[[35mlola[0m][I] state equation: 2313
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3839
[[35mlola[0m][I] state equation: 2322
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3829
[[35mlola[0m][I] state equation: 2332
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3819
[[35mlola[0m][I] state equation: 2342
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3810
[[35mlola[0m][I] state equation: 2351
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3800
[[35mlola[0m][I] state equation: 2361
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3791
[[35mlola[0m][I] state equation: 2370
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3782
[[35mlola[0m][I] state equation: 2379
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3773
[[35mlola[0m][I] state equation: 2388
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3763
[[35mlola[0m][I] state equation: 2398
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3753
[[35mlola[0m][I] state equation: 2408
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3744
[[35mlola[0m][I] state equation: 2417
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3734
[[35mlola[0m][I] state equation: 2427
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3724
[[35mlola[0m][I] state equation: 2437
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3715
[[35mlola[0m][I] state equation: 2446
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3706
[[35mlola[0m][I] state equation: 2455
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3697
[[35mlola[0m][I] state equation: 2464
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3688
[[35mlola[0m][I] state equation: 2473
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3679
[[35mlola[0m][I] state equation: 2482
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3670
[[35mlola[0m][I] state equation: 2491
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3662
[[35mlola[0m][I] state equation: 2499
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3654
[[35mlola[0m][I] state equation: 2507
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3646
[[35mlola[0m][I] state equation: 2515
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3641
[[35mlola[0m][I] state equation: 2520
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3637
[[35mlola[0m][I] state equation: 2524
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3633
[[35mlola[0m][I] state equation: 2528
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3626
[[35mlola[0m][I] state equation: 2535
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3622
[[35mlola[0m][I] state equation: 2539
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3618
[[35mlola[0m][I] state equation: 2543
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3614
[[35mlola[0m][I] state equation: 2547
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3610
[[35mlola[0m][I] state equation: 2551
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3605
[[35mlola[0m][I] state equation: 2556
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3600
[[35mlola[0m][I] state equation: 2561
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3590
[[35mlola[0m][I] state equation: 2571
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3582
[[35mlola[0m][I] state equation: 2579
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3576
[[35mlola[0m][I] state equation: 2585
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3567
[[35mlola[0m][I] state equation: 2594
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3562
[[35mlola[0m][I] state equation: 2599
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3558
[[35mlola[0m][I] state equation: 2603
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3553
[[35mlola[0m][I] state equation: 2608
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3548
[[35mlola[0m][I] state equation: 2613
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3542
[[35mlola[0m][I] state equation: 2619
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3536
[[35mlola[0m][I] state equation: 2625
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3529
[[35mlola[0m][I] state equation: 2632
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3522
[[35mlola[0m][I] state equation: 2639
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3515
[[35mlola[0m][I] state equation: 2646
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3508
[[35mlola[0m][I] state equation: 2653
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3501
[[35mlola[0m][I] state equation: 2660
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3493
[[35mlola[0m][I] state equation: 2668
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3489
[[35mlola[0m][I] state equation: 2672
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3483
[[35mlola[0m][I] state equation: 2678
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3476
[[35mlola[0m][I] state equation: 2685
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3471
[[35mlola[0m][I] state equation: 2690
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3462
[[35mlola[0m][I] state equation: 2699
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3452
[[35mlola[0m][I] state equation: 2709
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3443
[[35mlola[0m][I] state equation: 2718
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3433
[[35mlola[0m][I] state equation: 2728
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3423
[[35mlola[0m][I] state equation: 2738
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3414
[[35mlola[0m][I] state equation: 2747
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3403
[[35mlola[0m][I] state equation: 2758
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3398
[[35mlola[0m][I] state equation: 2763
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3394
[[35mlola[0m][I] state equation: 2767
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3388
[[35mlola[0m][I] state equation: 2773
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3382
[[35mlola[0m][I] state equation: 2779
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3373
[[35mlola[0m][I] state equation: 2788
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3367
[[35mlola[0m][I] state equation: 2794
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3358
[[35mlola[0m][I] state equation: 2803
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3352
[[35mlola[0m][I] state equation: 2809
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3345
[[35mlola[0m][I] state equation: 2816
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3338
[[35mlola[0m][I] state equation: 2823
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3330
[[35mlola[0m][I] state equation: 2831
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3323
[[35mlola[0m][I] state equation: 2838
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3315
[[35mlola[0m][I] state equation: 2846
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3308
[[35mlola[0m][I] state equation: 2853
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3300
[[35mlola[0m][I] state equation: 2861
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3291
[[35mlola[0m][I] state equation: 2870
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3282
[[35mlola[0m][I] state equation: 2879
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3272
[[35mlola[0m][I] state equation: 2889
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3263
[[35mlola[0m][I] state equation: 2898
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3254
[[35mlola[0m][I] state equation: 2907
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3245
[[35mlola[0m][I] state equation: 2916
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3235
[[35mlola[0m][I] state equation: 2926
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3227
[[35mlola[0m][I] state equation: 2934
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3218
[[35mlola[0m][I] state equation: 2943
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3211
[[35mlola[0m][I] state equation: 2950
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3202
[[35mlola[0m][I] state equation: 2959
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3193
[[35mlola[0m][I] state equation: 2968
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3184
[[35mlola[0m][I] state equation: 2977
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3174
[[35mlola[0m][I] state equation: 2987
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3165
[[35mlola[0m][I] state equation: 2996
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3156
[[35mlola[0m][I] state equation: 3005
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3147
[[35mlola[0m][I] state equation: 3014
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3138
[[35mlola[0m][I] state equation: 3023
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3129
[[35mlola[0m][I] state equation: 3032
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3120
[[35mlola[0m][I] state equation: 3041
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3111
[[35mlola[0m][I] state equation: 3050
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3101
[[35mlola[0m][I] state equation: 3060
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3093
[[35mlola[0m][I] state equation: 3068
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3083
[[35mlola[0m][I] state equation: 3078
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3074
[[35mlola[0m][I] state equation: 3087
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3065
[[35mlola[0m][I] state equation: 3096
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3055
[[35mlola[0m][I] state equation: 3106
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3046
[[35mlola[0m][I] state equation: 3115
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3037
[[35mlola[0m][I] state equation: 3124
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3027
[[35mlola[0m][I] state equation: 3134
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3018
[[35mlola[0m][I] state equation: 3143
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 3009
[[35mlola[0m][I] state equation: 3152
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2999
[[35mlola[0m][I] state equation: 3162
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2990
[[35mlola[0m][I] state equation: 3171
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2981
[[35mlola[0m][I] state equation: 3180
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2971
[[35mlola[0m][I] state equation: 3190
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2962
[[35mlola[0m][I] state equation: 3199
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2953
[[35mlola[0m][I] state equation: 3208
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2944
[[35mlola[0m][I] state equation: 3217
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2934
[[35mlola[0m][I] state equation: 3227
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2925
[[35mlola[0m][I] state equation: 3236
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2916
[[35mlola[0m][I] state equation: 3245
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2907
[[35mlola[0m][I] state equation: 3254
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2897
[[35mlola[0m][I] state equation: 3264
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2888
[[35mlola[0m][I] state equation: 3273
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2879
[[35mlola[0m][I] state equation: 3282
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2870
[[35mlola[0m][I] state equation: 3291
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2861
[[35mlola[0m][I] state equation: 3300
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2851
[[35mlola[0m][I] state equation: 3310
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2841
[[35mlola[0m][I] state equation: 3320
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2832
[[35mlola[0m][I] state equation: 3329
[[35mlola[0m][I] reporting
[[35mlola[0m][I] not produced: 2822
[[35mlola[0m][I] state equation: 3339
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-15"
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-15, 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-171774432200175"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BlocksWorld-PT-15.tgz
mv BlocksWorld-PT-15 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 '
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 ;