About the Execution of LoLA for CloudReconfiguration-PT-319
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3725.907 | 1800000.00 | 7176619.00 | 12.90 | [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/fko/mcc2021-input.r049-oct2-162038304300388.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool lola
Input is CloudReconfiguration-PT-319, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-162038304300388
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1008K
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 102K May 10 09:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.7K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 86K May 10 09:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Mar 28 15:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Mar 28 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 28 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 23 03:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K Mar 23 03:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 22 12:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 22 12:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 661K May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME StableMarking
=== Now, execution of the tool begins
BK_START 1620655240619
starting LoLA
BK_INPUT CloudReconfiguration-PT-319
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: StableMarking
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: STATE EQUATION TRIES PLACE p355
sara: try reading problem file stateEquationProblem-ConstantPlace-665.sara.
lola: LAUNCH SYMM
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1757
lola: find path: 307
lola: goal oriented search: 478
lola: symmetry: 45
lola: reporting
lola: not produced: 1670
lola: find path: 387
lola: goal oriented search: 478
lola: symmetry: 52
lola: reporting
lola: not produced: 1652
lola: find path: 405
lola: goal oriented search: 478
lola: symmetry: 52
lola: reporting
lola: not produced: 1602
lola: find path: 449
lola: goal oriented search: 478
lola: symmetry: 58
lola: reporting
lola: not produced: 1593
lola: find path: 457
lola: goal oriented search: 478
lola: symmetry: 59
lola: reporting
lola: not produced: 1583
lola: find path: 467
lola: goal oriented search: 478
lola: symmetry: 59
lola: reporting
lola: not produced: 1556
lola: find path: 485
lola: goal oriented search: 478
lola: symmetry: 68
lola: reporting
lola: not produced: 1556
lola: find path: 485
lola: goal oriented search: 478
lola: symmetry: 68
lola: reporting
lola: not produced: 1549
lola: find path: 492
lola: goal oriented search: 478
lola: symmetry: 68
lola: reporting
lola: not produced: 1507
lola: find path: 533
lola: goal oriented search: 478
lola: symmetry: 69
lola: reporting
lola: not produced: 1506
lola: find path: 534
lola: goal oriented search: 478
lola: symmetry: 69
lola: reporting
lola: not produced: 1502
lola: find path: 537
lola: goal oriented search: 478
lola: symmetry: 70
lola: reporting
lola: not produced: 1478
lola: find path: 561
lola: goal oriented search: 478
lola: symmetry: 70
lola: reporting
lola: not produced: 1461
lola: find path: 577
lola: goal oriented search: 478
lola: symmetry: 71
lola: reporting
lola: not produced: 1459
lola: find path: 579
lola: goal oriented search: 478
lola: symmetry: 71
lola: reporting
lola: not produced: 1458
lola: find path: 580
lola: goal oriented search: 478
lola: symmetry: 71
lola: reporting
lola: not produced: 1451
lola: find path: 587
lola: goal oriented search: 478
lola: symmetry: 71
lola: reporting
lola: not produced: 1441
lola: find path: 597
lola: goal oriented search: 478
lola: symmetry: 71
lola: reporting
lola: not produced: 1439
lola: find path: 599
lola: goal oriented search: 478
lola: symmetry: 71
lola: reporting
lola: not produced: 1434
lola: find path: 604
lola: goal oriented search: 478
lola: symmetry: 71
lola: reporting
lola: not produced: 1428
lola: find path: 610
lola: goal oriented search: 478
lola: symmetry: 71
lola: reporting
lola: not produced: 1423
lola: find path: 615
lola: goal oriented search: 478
lola: symmetry: 71
lola: reporting
lola: not produced: 1423
lola: find path: 615
lola: goal oriented search: 478
lola: symmetry: 71
lola: reporting
lola: not produced: 1423
lola: find path: 615
lola: goal oriented search: 478
lola: symmetry: 71
lola: reporting
lola: not produced: 1423
lola: find path: 615
lola: goal oriented search: 478
lola: symmetry: 71
lola: reporting
lola: not produced: 1423
lola: find path: 615
lola: goal oriented search: 478
lola: symmetry: 71
lola: reporting
lola: not produced: 1423
lola: find path: 615
lola: goal oriented search: 478
lola: symmetry: 71
lola: reporting
lola: not produced: 1423
lola: find path: 615
lola: goal oriented search: 478
lola: symmetry: 71
lola: reporting
lola: not produced: 1423
lola: find path: 615
lola: goal oriented search: 478
lola: symmetry: 71
lola: reporting
lola: not produced: 1419
lola: find path: 619
lola: goal oriented search: 478
lola: symmetry: 71
lola: reporting
lola: not produced: 1416
lola: find path: 622
lola: goal oriented search: 478
lola: symmetry: 71
lola: reporting
lola: not produced: 1416
lola: find path: 622
lola: goal oriented search: 478
lola: symmetry: 71
lola: reporting
lola: not produced: 1404
lola: find path: 631
lola: goal oriented search: 478
lola: symmetry: 74
lola: reporting
lola: not produced: 1399
lola: find path: 636
lola: goal oriented search: 478
lola: symmetry: 74
lola: reporting
lola: not produced: 1397
lola: find path: 638
lola: goal oriented search: 478
lola: symmetry: 74
lola: reporting
lola: not produced: 1397
lola: find path: 638
lola: goal oriented search: 478
lola: symmetry: 74
lola: reporting
lola: not produced: 1397
lola: find path: 638
lola: goal oriented search: 478
lola: symmetry: 74
lola: reporting
lola: not produced: 1396
lola: find path: 639
lola: goal oriented search: 478
lola: symmetry: 74
lola: reporting
lola: not produced: 1364
lola: find path: 671
lola: goal oriented search: 478
lola: symmetry: 74
lola: reporting
lola: not produced: 1363
lola: find path: 672
lola: goal oriented search: 478
lola: symmetry: 74
lola: reporting
lola: not produced: 1362
lola: find path: 673
lola: goal oriented search: 478
lola: symmetry: 74
lola: reporting
lola: not produced: 1360
lola: find path: 675
lola: goal oriented search: 478
lola: symmetry: 74
lola: reporting
lola: not produced: 1360
lola: find path: 675
lola: goal oriented search: 478
lola: symmetry: 74
lola: reporting
lola: not produced: 1355
lola: find path: 680
lola: goal oriented search: 478
lola: symmetry: 74
lola: reporting
lola: not produced: 1354
lola: find path: 681
lola: goal oriented search: 478
lola: symmetry: 74
lola: reporting
lola: not produced: 1354
lola: find path: 681
lola: goal oriented search: 478
lola: symmetry: 74
lola: reporting
lola: not produced: 1352
lola: find path: 683
lola: goal oriented search: 478
lola: symmetry: 74
lola: reporting
lola: not produced: 1348
lola: find path: 687
lola: goal oriented search: 478
lola: symmetry: 74
lola: reporting
lola: not produced: 1345
lola: find path: 689
lola: goal oriented search: 478
lola: symmetry: 75
lola: reporting
lola: not produced: 1339
lola: find path: 695
lola: goal oriented search: 478
lola: symmetry: 75
lola: reporting
lola: not produced: 1339
lola: find path: 695
lola: goal oriented search: 478
lola: symmetry: 75
lola: reporting
lola: not produced: 1316
lola: find path: 718
lola: goal oriented search: 478
lola: symmetry: 75
lola: reporting
lola: not produced: 1302
lola: find path: 732
lola: goal oriented search: 478
lola: symmetry: 75
lola: reporting
lola: not produced: 1299
lola: find path: 735
lola: goal oriented search: 478
lola: symmetry: 75
lola: reporting
lola: not produced: 1282
lola: find path: 740
lola: goal oriented search: 478
lola: symmetry: 87
lola: reporting
lola: not produced: 1267
lola: find path: 755
lola: goal oriented search: 478
lola: symmetry: 87
lola: reporting
lola: not produced: 1266
lola: find path: 756
lola: goal oriented search: 478
lola: symmetry: 87
lola: reporting
lola: not produced: 1264
lola: find path: 758
lola: goal oriented search: 478
lola: symmetry: 87
lola: reporting
lola: not produced: 1264
lola: find path: 758
lola: goal oriented search: 478
lola: symmetry: 87
lola: reporting
lola: not produced: 1257
lola: find path: 765
lola: goal oriented search: 478
lola: symmetry: 87
lola: reporting
lola: not produced: 1256
lola: find path: 766
lola: goal oriented search: 478
lola: symmetry: 87
lola: reporting
lola: not produced: 1256
lola: find path: 766
lola: goal oriented search: 478
lola: symmetry: 87
lola: reporting
lola: not produced: 1254
lola: find path: 768
lola: goal oriented search: 478
lola: symmetry: 87
lola: reporting
lola: not produced: 1253
lola: find path: 769
lola: goal oriented search: 478
lola: symmetry: 87
lola: reporting
lola: not produced: 1251
lola: find path: 771
lola: goal oriented search: 478
lola: symmetry: 87
lola: reporting
lola: not produced: 1247
lola: find path: 775
lola: goal oriented search: 478
lola: symmetry: 87
lola: reporting
lola: not produced: 1247
lola: find path: 775
lola: goal oriented search: 478
lola: symmetry: 87
lola: reporting
lola: not produced: 1247
lola: find path: 775
lola: goal oriented search: 478
lola: symmetry: 87
lola: reporting
lola: not produced: 1247
lola: find path: 775
lola: goal oriented search: 478
lola: symmetry: 87
lola: reporting
lola: not produced: 1245
lola: find path: 777
lola: goal oriented search: 478
lola: symmetry: 87
lola: reporting
lola: not produced: 1245
lola: find path: 777
lola: goal oriented search: 478
lola: symmetry: 87
lola: reporting
lola: not produced: 1243
lola: find path: 779
lola: goal oriented search: 478
lola: symmetry: 87
lola: reporting
lola: not produced: 1243
lola: find path: 779
lola: goal oriented search: 478
lola: symmetry: 87
lola: reporting
lola: not produced: 1240
lola: find path: 781
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1240
lola: find path: 781
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1240
lola: find path: 781
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1240
lola: find path: 781
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1228
lola: find path: 793
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1228
lola: find path: 793
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1228
lola: find path: 793
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1227
lola: find path: 794
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1227
lola: find path: 794
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1226
lola: find path: 795
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1224
lola: find path: 797
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1223
lola: find path: 798
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1223
lola: find path: 798
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1220
lola: find path: 801
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1220
lola: find path: 801
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1220
lola: find path: 801
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1220
lola: find path: 801
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1220
lola: find path: 801
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1220
lola: find path: 801
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1217
lola: find path: 804
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1217
lola: find path: 804
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1206
lola: find path: 815
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1206
lola: find path: 815
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1206
lola: find path: 815
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1206
lola: find path: 815
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1206
lola: find path: 815
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1204
lola: find path: 817
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1198
lola: find path: 823
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1195
lola: find path: 826
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1195
lola: find path: 826
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1193
lola: find path: 828
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1193
lola: find path: 828
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1193
lola: find path: 828
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1193
lola: find path: 828
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1193
lola: find path: 828
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1193
lola: find path: 828
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1193
lola: find path: 828
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1192
lola: find path: 829
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1185
lola: find path: 836
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1185
lola: find path: 836
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1185
lola: find path: 836
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1184
lola: find path: 837
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1184
lola: find path: 837
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1177
lola: find path: 844
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1177
lola: find path: 844
lola: goal oriented search: 478
lola: symmetry: 88
lola: reporting
lola: not produced: 1174
lola: find path: 846
lola: goal oriented search: 478
lola: symmetry: 89
lola: reporting
lola: not produced: 1174
lola: find path: 846
lola: goal oriented search: 478
lola: symmetry: 89
lola: reporting
lola: not produced: 1173
lola: find path: 847
lola: goal oriented search: 478
lola: symmetry: 89
lola: reporting
lola: not produced: 1173
lola: find path: 847
lola: goal oriented search: 478
lola: symmetry: 89
lola: reporting
lola: not produced: 1173
lola: find path: 847
lola: goal oriented search: 478
lola: symmetry: 89
lola: reporting
lola: not produced: 1173
lola: find path: 847
lola: goal oriented search: 478
lola: symmetry: 89
lola: reporting
lola: not produced: 1173
lola: find path: 847
lola: goal oriented search: 478
lola: symmetry: 89
lola: reporting
lola: not produced: 1173
lola: find path: 847
lola: goal oriented search: 478
lola: symmetry: 89
lola: reporting
lola: not produced: 1173
lola: find path: 847
lola: goal oriented search: 478
lola: symmetry: 89
lola: reporting
lola: not produced: 1173
lola: find path: 847
lola: goal oriented search: 478
lola: symmetry: 89
lola: reporting
lola: not produced: 1173
lola: find path: 847
lola: goal oriented search: 478
lola: symmetry: 89
lola: reporting
lola: not produced: 1173
lola: find path: 847
lola: goal oriented search: 478
lola: symmetry: 89
lola: reporting
lola: not produced: 1173
lola: find path: 847
lola: goal oriented search: 478
lola: symmetry: 89
lola: reporting
lola: not produced: 1173
lola: find path: 847
lola: goal oriented search: 478
lola: symmetry: 89
lola: reporting
lola: not produced: 1173
lola: find path: 847
lola: goal oriented search: 478
lola: symmetry: 89
lola: reporting
lola: not produced: 1173
lola: find path: 847
lola: goal oriented search: 478
lola: symmetry: 89
lola: reporting
lola: not produced: 1173
lola: find path: 847
lola: goal oriented search: 478
lola: symmetry: 89
lola: reporting
lola: not produced: 1173
lola: find path: 847
lola: goal oriented search: 478
lola: symmetry: 89
lola: reporting
lola: not produced: 1173
lola: find path: 847
lola: goal oriented search: 478
lola: symmetry: 89
lola: reporting
lola: not produced: 1173
lola: find path: 847
lola: goal oriented search: 478
lola: symmetry: 89
lola: reporting
lola: not produced: 1173
lola: find path: 847
lola: goal oriented search: 478
lola: symmetry: 89
lola: reporting
lola: not produced: 1173
lola: find path: 847
lola: goal oriented search: 478
lola: symmetry: 89
lola: reporting
lola: not produced: 1173
lola: find path: 847
lola: goal oriented search: 478
lola: symmetry: 89
lola: reporting
lola: not produced: 1173
lola: find path: 847
lola: goal oriented search: 478
lola: symmetry: 89
lola: reporting
lola: not produced: 1173
lola: find path: 847
lola: goal oriented search: 478
lola: symmetry: 89
lola: reporting
lola: not produced: 1171
lola: find path: 848
lola: goal oriented search: 478
lola: symmetry: 90
lola: reporting
lola: not produced: 1171
lola: find path: 848
lola: goal oriented search: 478
lola: symmetry: 90
lola: reporting
lola: not produced: 1171
lola: find path: 848
lola: goal oriented search: 478
lola: symmetry: 90
lola: reporting
lola: not produced: 1151
lola: find path: 868
lola: goal oriented search: 478
lola: symmetry: 90
lola: reporting
lola: not produced: 1149
lola: find path: 869
lola: goal oriented search: 478
lola: symmetry: 91
lola: reporting
lola: not produced: 1149
lola: find path: 869
lola: goal oriented search: 478
lola: symmetry: 91
lola: reporting
lola: not produced: 1149
lola: find path: 869
lola: goal oriented search: 478
lola: symmetry: 91
lola: reporting
lola: not produced: 1138
lola: find path: 880
lola: goal oriented search: 478
lola: symmetry: 91
lola: reporting
lola: not produced: 1138
lola: find path: 880
lola: goal oriented search: 478
lola: symmetry: 91
lola: reporting
lola: not produced: 1127
lola: find path: 891
lola: goal oriented search: 478
lola: symmetry: 91
lola: reporting
lola: not produced: 1127
lola: find path: 891
lola: goal oriented search: 478
lola: symmetry: 91
lola: reporting
lola: not produced: 1116
lola: find path: 902
lola: goal oriented search: 478
lola: symmetry: 91
lola: reporting
lola: not produced: 1115
lola: find path: 903
lola: goal oriented search: 478
lola: symmetry: 91
lola: reporting
lola: not produced: 1100
lola: find path: 916
lola: goal oriented search: 478
lola: symmetry: 93
lola: reporting
lola: not produced: 1100
lola: find path: 916
lola: goal oriented search: 478
lola: symmetry: 93
lola: reporting
lola: not produced: 1100
lola: find path: 916
lola: goal oriented search: 478
lola: symmetry: 93
lola: reporting
lola: not produced: 1086
lola: find path: 929
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1084
lola: find path: 931
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1084
lola: find path: 931
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1084
lola: find path: 931
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1078
lola: find path: 937
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1078
lola: find path: 937
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1078
lola: find path: 937
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1078
lola: find path: 937
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1078
lola: find path: 937
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1078
lola: find path: 937
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1077
lola: find path: 938
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1077
lola: find path: 938
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1077
lola: find path: 938
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1077
lola: find path: 938
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1077
lola: find path: 938
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1071
lola: find path: 944
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1071
lola: find path: 944
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1071
lola: find path: 944
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1071
lola: find path: 944
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1071
lola: find path: 944
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1071
lola: find path: 944
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1071
lola: find path: 944
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1071
lola: find path: 944
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1070
lola: find path: 945
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1070
lola: find path: 945
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1070
lola: find path: 945
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1070
lola: find path: 945
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1070
lola: find path: 945
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1070
lola: find path: 945
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1070
lola: find path: 945
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1070
lola: find path: 945
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1070
lola: find path: 945
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1070
lola: find path: 945
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1070
lola: find path: 945
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1070
lola: find path: 945
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1070
lola: find path: 945
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1070
lola: find path: 945
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1067
lola: find path: 948
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1067
lola: find path: 948
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1067
lola: find path: 948
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1067
lola: find path: 948
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1067
lola: find path: 948
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1067
lola: find path: 948
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1056
lola: find path: 959
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1056
lola: find path: 959
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1055
lola: find path: 960
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1055
lola: find path: 960
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1055
lola: find path: 960
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1055
lola: find path: 960
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1055
lola: find path: 960
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1054
lola: find path: 961
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1052
lola: find path: 963
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1052
lola: find path: 963
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1052
lola: find path: 963
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1052
lola: find path: 963
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1052
lola: find path: 963
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1052
lola: find path: 963
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1052
lola: find path: 963
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1052
lola: find path: 963
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1052
lola: find path: 963
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1052
lola: find path: 963
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1052
lola: find path: 963
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1051
lola: find path: 964
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1051
lola: find path: 964
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1044
lola: find path: 971
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1044
lola: find path: 971
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1041
lola: find path: 974
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1041
lola: find path: 974
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1041
lola: find path: 974
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1041
lola: find path: 974
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1041
lola: find path: 974
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1041
lola: find path: 974
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1041
lola: find path: 974
lola: goal oriented search: 478
lola: symmetry: 94
lola: reporting
lola: not produced: 1041
lola: find path: 974
lola: goal oriented search: 478
lola: symmetry: 94
lola: STATE EQUATION TRIES PLACE p98
sara: try reading problem file stateEquationProblem-ConstantPlace-2305.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1041
lola: state equation: 1
lola: find path: 974
lola: goal oriented search: 477
lola: symmetry: 94
lola: reporting
lola: not produced: 1036
lola: state equation: 1
lola: find path: 979
lola: goal oriented search: 477
lola: symmetry: 94
lola: reporting
lola: not produced: 1036
lola: state equation: 1
lola: find path: 979
lola: goal oriented search: 477
lola: symmetry: 94
lola: STATE EQUATION TRIES PLACE p1361
sara: try reading problem file stateEquationProblem-ConstantPlace-1658.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1034
lola: state equation: 2
lola: find path: 979
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1034
lola: state equation: 2
lola: find path: 979
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1034
lola: state equation: 2
lola: find path: 979
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1034
lola: state equation: 2
lola: find path: 979
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1034
lola: state equation: 2
lola: find path: 979
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1034
lola: state equation: 2
lola: find path: 979
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1034
lola: state equation: 2
lola: find path: 979
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1031
lola: state equation: 2
lola: find path: 982
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1031
lola: state equation: 2
lola: find path: 982
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1031
lola: state equation: 2
lola: find path: 982
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1031
lola: state equation: 2
lola: find path: 982
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1031
lola: state equation: 2
lola: find path: 982
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1031
lola: state equation: 2
lola: find path: 982
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1030
lola: state equation: 2
lola: find path: 983
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1030
lola: state equation: 2
lola: find path: 983
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1030
lola: state equation: 2
lola: find path: 983
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1030
lola: state equation: 2
lola: find path: 983
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1030
lola: state equation: 2
lola: find path: 983
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1030
lola: state equation: 2
lola: find path: 983
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1030
lola: state equation: 2
lola: find path: 983
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1030
lola: state equation: 2
lola: find path: 983
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1030
lola: state equation: 2
lola: find path: 983
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1030
lola: state equation: 2
lola: find path: 983
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1030
lola: state equation: 2
lola: find path: 983
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1030
lola: state equation: 2
lola: find path: 983
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1030
lola: state equation: 2
lola: find path: 983
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1030
lola: state equation: 2
lola: find path: 983
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1030
lola: state equation: 2
lola: find path: 983
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1030
lola: state equation: 2
lola: find path: 983
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1030
lola: state equation: 2
lola: find path: 983
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1030
lola: state equation: 2
lola: find path: 983
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1030
lola: state equation: 2
lola: find path: 983
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1030
lola: state equation: 2
lola: find path: 983
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1030
lola: state equation: 2
lola: find path: 983
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1030
lola: state equation: 2
lola: find path: 983
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1030
lola: state equation: 2
lola: find path: 983
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1030
lola: state equation: 2
lola: find path: 983
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1030
lola: state equation: 2
lola: find path: 983
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1029
lola: state equation: 2
lola: find path: 984
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1029
lola: state equation: 2
lola: find path: 984
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1029
lola: state equation: 2
lola: find path: 984
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1029
lola: state equation: 2
lola: find path: 984
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1029
lola: state equation: 2
lola: find path: 984
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1029
lola: state equation: 2
lola: find path: 984
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1026
lola: state equation: 2
lola: find path: 987
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1026
lola: state equation: 2
lola: find path: 987
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1026
lola: state equation: 2
lola: find path: 987
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1026
lola: state equation: 2
lola: find path: 987
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1026
lola: state equation: 2
lola: find path: 987
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1026
lola: state equation: 2
lola: find path: 987
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1026
lola: state equation: 2
lola: find path: 987
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1026
lola: state equation: 2
lola: find path: 987
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1020
lola: state equation: 2
lola: find path: 993
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1020
lola: state equation: 2
lola: find path: 993
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1020
lola: state equation: 2
lola: find path: 993
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1020
lola: state equation: 2
lola: find path: 993
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1020
lola: state equation: 2
lola: find path: 993
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1020
lola: state equation: 2
lola: find path: 993
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1020
lola: state equation: 2
lola: find path: 993
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1020
lola: state equation: 2
lola: find path: 993
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1020
lola: state equation: 2
lola: find path: 993
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1020
lola: state equation: 2
lola: find path: 993
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1020
lola: state equation: 2
lola: find path: 993
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1020
lola: state equation: 2
lola: find path: 993
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1020
lola: state equation: 2
lola: find path: 993
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1020
lola: state equation: 2
lola: find path: 993
lola: goal oriented search: 477
lola: symmetry: 95
lola: reporting
lola: not produced: 1018
lola: state equation: 2
lola: find path: 994
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 1018
lola: state equation: 2
lola: find path: 994
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 1004
lola: state equation: 2
lola: find path: 1008
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 1004
lola: state equation: 2
lola: find path: 1008
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 1004
lola: state equation: 2
lola: find path: 1008
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 1004
lola: state equation: 2
lola: find path: 1008
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 1004
lola: state equation: 2
lola: find path: 1008
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 1004
lola: state equation: 2
lola: find path: 1008
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 1004
lola: state equation: 2
lola: find path: 1008
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 1004
lola: state equation: 2
lola: find path: 1008
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 1004
lola: state equation: 2
lola: find path: 1008
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 1004
lola: state equation: 2
lola: find path: 1008
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 1000
lola: state equation: 2
lola: find path: 1012
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 999
lola: state equation: 2
lola: find path: 1013
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 999
lola: state equation: 2
lola: find path: 1013
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 999
lola: state equation: 2
lola: find path: 1013
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 999
lola: state equation: 2
lola: find path: 1013
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 998
lola: state equation: 2
lola: find path: 1014
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 998
lola: state equation: 2
lola: find path: 1014
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 998
lola: state equation: 2
lola: find path: 1014
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 997
lola: state equation: 2
lola: find path: 1015
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 997
lola: state equation: 2
lola: find path: 1015
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 997
lola: state equation: 2
lola: find path: 1015
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 997
lola: state equation: 2
lola: find path: 1015
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 997
lola: state equation: 2
lola: find path: 1015
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 997
lola: state equation: 2
lola: find path: 1015
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 997
lola: state equation: 2
lola: find path: 1015
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 997
lola: state equation: 2
lola: find path: 1015
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 997
lola: state equation: 2
lola: find path: 1015
lola: goal oriented search: 477
lola: symmetry: 96
lola: reporting
lola: not produced: 995
lola: state equation: 2
lola: find path: 1016
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 995
lola: state equation: 2
lola: find path: 1016
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 995
lola: state equation: 2
lola: find path: 1016
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 995
lola: state equation: 2
lola: find path: 1016
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 995
lola: state equation: 2
lola: find path: 1016
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 995
lola: state equation: 2
lola: find path: 1016
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 995
lola: state equation: 2
lola: find path: 1016
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 989
lola: state equation: 2
lola: find path: 1022
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 989
lola: state equation: 2
lola: find path: 1022
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 989
lola: state equation: 2
lola: find path: 1022
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 965
lola: state equation: 2
lola: find path: 1046
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 965
lola: state equation: 2
lola: find path: 1046
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 965
lola: state equation: 2
lola: find path: 1046
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 964
lola: state equation: 2
lola: find path: 1047
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 964
lola: state equation: 2
lola: find path: 1047
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 964
lola: state equation: 2
lola: find path: 1047
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 964
lola: state equation: 2
lola: find path: 1047
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 963
lola: state equation: 2
lola: find path: 1048
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 963
lola: state equation: 2
lola: find path: 1048
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 953
lola: state equation: 2
lola: find path: 1058
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 953
lola: state equation: 2
lola: find path: 1058
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 952
lola: state equation: 2
lola: find path: 1059
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 952
lola: state equation: 2
lola: find path: 1059
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 952
lola: state equation: 2
lola: find path: 1059
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 952
lola: state equation: 2
lola: find path: 1059
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 952
lola: state equation: 2
lola: find path: 1059
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 952
lola: state equation: 2
lola: find path: 1059
lola: goal oriented search: 477
lola: symmetry: 97
lola: reporting
lola: not produced: 948
lola: state equation: 2
lola: find path: 1062
lola: goal oriented search: 477
lola: symmetry: 98
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="CloudReconfiguration-PT-319"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool lola"
echo " Input is CloudReconfiguration-PT-319, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r049-oct2-162038304300388"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-319.tgz
mv CloudReconfiguration-PT-319 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;