About the Execution of LoLA for FlexibleBarrier-PT-14b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 569.052 | 820278.00 | 3279220.00 | 17.50 | F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r106-smll-162075340600058.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/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 FlexibleBarrier-PT-14b, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r106-smll-162075340600058
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 106K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.8K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 88K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 16:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 28 16:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 16:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 23 11:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 23 11:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 22 19:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 22 19:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 09:15 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 726K 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 1622902821091
starting LoLA
BK_INPUT FlexibleBarrier-PT-14b
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: StableMarking
FORMULA StableMarking FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1622903641369
--------------------
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 p690
sara: try reading problem file stateEquationProblem-ConstantPlace-1610.sara.
lola: LAUNCH SYMM
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1652
lola: find path: 716
lola: symmetry: 310
lola: STATE EQUATION TRIES PLACE p1074
sara: try reading problem file stateEquationProblem-ConstantPlace-884.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1456
lola: state equation: 1
lola: find path: 811
lola: symmetry: 410
lola: reporting
lola: not produced: 1319
lola: state equation: 1
lola: find path: 872
lola: symmetry: 486
lola: reporting
lola: not produced: 1207
lola: state equation: 1
lola: find path: 922
lola: symmetry: 548
lola: reporting
lola: not produced: 1101
lola: state equation: 1
lola: find path: 976
lola: symmetry: 600
lola: STATE EQUATION TRIES PLACE p1504
sara: try reading problem file stateEquationProblem-ConstantPlace-2092.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1050
lola: state equation: 2
lola: find path: 1007
lola: symmetry: 619
lola: STATE EQUATION TRIES PLACE p987
sara: try reading problem file stateEquationProblem-ConstantPlace-2305.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2551
sara: try reading problem file stateEquationProblem-ConstantPlace-1381.sara.
lola: reporting
lola: not produced: 966
lola: state equation: 4
lola: find path: 1037
lola: symmetry: 671
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 916
lola: state equation: 4
lola: find path: 1061
lola: symmetry: 697
lola: reporting
lola: not produced: 876
lola: state equation: 4
lola: find path: 1085
lola: symmetry: 713
lola: reporting
lola: not produced: 828
lola: state equation: 4
lola: find path: 1113
lola: symmetry: 733
lola: reporting
lola: not produced: 818
lola: state equation: 4
lola: find path: 1119
lola: symmetry: 737
lola: reporting
lola: not produced: 766
lola: state equation: 4
lola: find path: 1145
lola: symmetry: 763
lola: reporting
lola: not produced: 726
lola: state equation: 4
lola: find path: 1169
lola: symmetry: 779
lola: reporting
lola: not produced: 664
lola: state equation: 4
lola: find path: 1201
lola: symmetry: 809
lola: reporting
lola: not produced: 634
lola: state equation: 4
lola: find path: 1219
lola: symmetry: 821
lola: reporting
lola: not produced: 604
lola: state equation: 4
lola: find path: 1231
lola: symmetry: 839
lola: reporting
lola: not produced: 564
lola: state equation: 4
lola: find path: 1249
lola: symmetry: 861
lola: reporting
lola: not produced: 544
lola: state equation: 4
lola: find path: 1261
lola: symmetry: 869
sara: warning, failure of lp_solve (at job 241)
lola: reporting
lola: not produced: 534
lola: state equation: 4
lola: find path: 1267
lola: symmetry: 873
lola: reporting
lola: not produced: 514
lola: state equation: 4
lola: find path: 1279
lola: symmetry: 881
lola: reporting
lola: not produced: 484
lola: state equation: 4
lola: find path: 1297
lola: symmetry: 893
lola: reporting
lola: not produced: 444
lola: state equation: 4
lola: find path: 1315
lola: symmetry: 915
lola: reporting
lola: not produced: 414
lola: state equation: 4
lola: find path: 1333
lola: symmetry: 927
lola: STATE EQUATION TRIES PLACE p984
sara: try reading problem file stateEquationProblem-ConstantPlace-2302.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 374
lola: state equation: 5
lola: find path: 1356
lola: symmetry: 943
lola: STATE EQUATION TRIES PLACE p1613
sara: try reading problem file stateEquationProblem-ConstantPlace-2381.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 360
lola: state equation: 6
lola: find path: 1364
lola: symmetry: 948
lola: reporting
lola: not produced: 350
lola: state equation: 6
lola: find path: 1370
lola: symmetry: 952
lola: reporting
lola: not produced: 350
lola: state equation: 6
lola: find path: 1370
lola: symmetry: 952
lola: reporting
lola: not produced: 348
lola: state equation: 6
lola: find path: 1372
lola: symmetry: 952
lola: STATE EQUATION TRIES PLACE p1575
sara: try reading problem file stateEquationProblem-ConstantPlace-2163.sara.
lola: reporting
lola: not produced: 346
lola: state equation: 7
lola: find path: 1372
lola: symmetry: 953
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1024
sara: try reading problem file stateEquationProblem-ConstantPlace-790.sara.
lola: reporting
lola: not produced: 325
lola: state equation: 8
lola: find path: 1384
lola: symmetry: 961
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1634
sara: try reading problem file stateEquationProblem-ConstantPlace-2412.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 323
lola: state equation: 9
lola: find path: 1384
lola: symmetry: 962
lola: STATE EQUATION TRIES PLACE p1118
sara: try reading problem file stateEquationProblem-ConstantPlace-1078.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 303
lola: state equation: 10
lola: find path: 1395
lola: symmetry: 970
lola: STATE EQUATION TRIES PLACE p1724
sara: try reading problem file stateEquationProblem-ConstantPlace-2502.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 301
lola: state equation: 11
lola: find path: 1395
lola: symmetry: 971
lola: reporting
lola: not produced: 301
lola: state equation: 11
lola: find path: 1395
lola: symmetry: 971
lola: STATE EQUATION TRIES PLACE p1762
sara: try reading problem file stateEquationProblem-ConstantPlace-2540.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 289
lola: state equation: 12
lola: find path: 1401
lola: symmetry: 976
lola: STATE EQUATION TRIES PLACE p2587
sara: try reading problem file stateEquationProblem-ConstantPlace-1453.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2662
sara: try reading problem file stateEquationProblem-ConstantPlace-1703.sara.
lola: reporting
lola: not produced: 286
lola: state equation: 14
lola: find path: 1401
lola: symmetry: 977
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 278
lola: state equation: 14
lola: find path: 1406
lola: symmetry: 980
lola: reporting
lola: not produced: 278
lola: state equation: 14
lola: find path: 1406
lola: symmetry: 980
lola: reporting
lola: not produced: 278
lola: state equation: 14
lola: find path: 1406
lola: symmetry: 980
lola: reporting
lola: not produced: 250
lola: state equation: 14
lola: find path: 1423
lola: symmetry: 991
lola: reporting
lola: not produced: 230
lola: state equation: 14
lola: find path: 1435
lola: symmetry: 999
lola: reporting
lola: not produced: 210
lola: state equation: 14
lola: find path: 1447
lola: symmetry: 1007
lola: reporting
lola: not produced: 210
lola: state equation: 14
lola: find path: 1447
lola: symmetry: 1007
lola: reporting
lola: not produced: 192
lola: state equation: 14
lola: find path: 1458
lola: symmetry: 1014
lola: reporting
lola: not produced: 192
lola: state equation: 14
lola: find path: 1458
lola: symmetry: 1014
lola: STATE EQUATION TRIES PLACE p2591
lola: reporting
lola: not produced: 190
lola: state equation: 15
lola: find path: 1459
lola: symmetry: 1014
sara: try reading problem file stateEquationProblem-ConstantPlace-1461.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p400
sara: try reading problem file stateEquationProblem-ConstantPlace-910.sara.
lola: reporting
lola: not produced: 189
lola: state equation: 16
lola: find path: 1459
lola: symmetry: 1014
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1678
sara: try reading problem file stateEquationProblem-ConstantPlace-2456.sara.
lola: reporting
lola: not produced: 188
lola: state equation: 17
lola: find path: 1459
lola: symmetry: 1014
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1376
sara: try reading problem file stateEquationProblem-ConstantPlace-1764.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 186
lola: state equation: 18
lola: find path: 1459
lola: symmetry: 1015
lola: STATE EQUATION TRIES PLACE p1181
sara: try reading problem file stateEquationProblem-ConstantPlace-1191.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p508
sara: try reading problem file stateEquationProblem-ConstantPlace-1218.sara.
lola: reporting
lola: not produced: 183
lola: state equation: 20
lola: find path: 1459
lola: symmetry: 1016
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2585
sara: try reading problem file stateEquationProblem-ConstantPlace-1449.sara.
lola: reporting
lola: not produced: 181
lola: state equation: 21
lola: find path: 1459
lola: symmetry: 1017
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p928
sara: try reading problem file stateEquationProblem-ConstantPlace-2216.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 179
lola: state equation: 22
lola: find path: 1459
lola: symmetry: 1018
lola: STATE EQUATION TRIES PLACE p2656
sara: try reading problem file stateEquationProblem-ConstantPlace-1691.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1572
sara: try reading problem file stateEquationProblem-ConstantPlace-2160.sara.
lola: reporting
lola: not produced: 167
lola: state equation: 24
lola: find path: 1465
lola: symmetry: 1022
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2527
sara: try reading problem file stateEquationProblem-ConstantPlace-1337.sara.
lola: reporting
lola: not produced: 166
lola: state equation: 25
lola: find path: 1465
lola: symmetry: 1022
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p904
sara: try reading problem file stateEquationProblem-ConstantPlace-2192.sara.
lola: reporting
lola: not produced: 165
lola: state equation: 26
lola: find path: 1465
lola: symmetry: 1022
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2578
sara: try reading problem file stateEquationProblem-ConstantPlace-1435.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 156
lola: state equation: 27
lola: find path: 1469
lola: symmetry: 1026
lola: STATE EQUATION TRIES PLACE p574
sara: try reading problem file stateEquationProblem-ConstantPlace-1284.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 144
lola: state equation: 28
lola: find path: 1475
lola: symmetry: 1031
lola: STATE EQUATION TRIES PLACE p258
sara: try reading problem file stateEquationProblem-ConstantPlace-468.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p255
sara: try reading problem file stateEquationProblem-ConstantPlace-465.sara.
lola: reporting
lola: not produced: 142
lola: state equation: 30
lola: find path: 1474
lola: symmetry: 1032
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 142
lola: state equation: 30
lola: find path: 1474
lola: symmetry: 1032
lola: STATE EQUATION TRIES PLACE p1649
sara: try reading problem file stateEquationProblem-ConstantPlace-2427.sara.
lola: reporting
lola: not produced: 140
lola: state equation: 31
lola: find path: 1474
lola: symmetry: 1033
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 140
lola: state equation: 31
lola: find path: 1474
lola: symmetry: 1033
lola: STATE EQUATION TRIES PLACE p2570
sara: try reading problem file stateEquationProblem-ConstantPlace-1420.sara.
lola: reporting
lola: not produced: 138
lola: state equation: 32
lola: find path: 1474
lola: symmetry: 1034
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2231
sara: try reading problem file stateEquationProblem-ConstantPlace-541.sara.
lola: reporting
lola: not produced: 136
lola: state equation: 33
lola: find path: 1474
lola: symmetry: 1035
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2655
sara: try reading problem file stateEquationProblem-ConstantPlace-1689.sara.
lola: reporting
lola: not produced: 135
lola: state equation: 34
lola: find path: 1474
lola: symmetry: 1035
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2456
sara: try reading problem file stateEquationProblem-ConstantPlace-1091.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 133
lola: state equation: 35
lola: find path: 1474
lola: symmetry: 1036
lola: STATE EQUATION TRIES PLACE p1050
sara: try reading problem file stateEquationProblem-ConstantPlace-842.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 132
lola: state equation: 36
lola: find path: 1474
lola: symmetry: 1036
lola: STATE EQUATION TRIES PLACE p252
sara: try reading problem file stateEquationProblem-ConstantPlace-462.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1796
sara: try reading problem file stateEquationProblem-ConstantPlace-2574.sara.
lola: reporting
lola: not produced: 122
lola: state equation: 38
lola: find path: 1478
lola: symmetry: 1040
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p918
sara: try reading problem file stateEquationProblem-ConstantPlace-2206.sara.
lola: reporting
lola: not produced: 121
lola: state equation: 39
lola: find path: 1478
lola: symmetry: 1040
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1111
sara: try reading problem file stateEquationProblem-ConstantPlace-1064.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 120
lola: state equation: 40
lola: find path: 1478
lola: symmetry: 1040
lola: STATE EQUATION TRIES PLACE p1380
sara: try reading problem file stateEquationProblem-ConstantPlace-1768.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 112
lola: state equation: 41
lola: find path: 1482
lola: symmetry: 1043
lola: STATE EQUATION TRIES PLACE p1176
sara: try reading problem file stateEquationProblem-ConstantPlace-1186.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1180
sara: try reading problem file stateEquationProblem-ConstantPlace-1190.sara.
lola: reporting
lola: not produced: 109
lola: state equation: 43
lola: find path: 1482
lola: symmetry: 1044
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 109
lola: state equation: 43
lola: find path: 1482
lola: symmetry: 1044
lola: STATE EQUATION TRIES PLACE p2455
sara: try reading problem file stateEquationProblem-ConstantPlace-1089.sara.
lola: reporting
lola: not produced: 108
lola: state equation: 44
lola: find path: 1482
lola: symmetry: 1044
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1308
sara: try reading problem file stateEquationProblem-ConstantPlace-1658.sara.
lola: reporting
lola: not produced: 100
lola: state equation: 45
lola: find path: 1486
lola: symmetry: 1047
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p519
sara: try reading problem file stateEquationProblem-ConstantPlace-1229.sara.
lola: reporting
lola: not produced: 99
lola: state equation: 46
lola: find path: 1486
lola: symmetry: 1047
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 99
lola: state equation: 46
lola: find path: 1486
lola: symmetry: 1047
lola: STATE EQUATION TRIES PLACE p2457
sara: try reading problem file stateEquationProblem-ConstantPlace-1093.sara.
lola: reporting
lola: not produced: 98
lola: state equation: 47
lola: find path: 1486
lola: symmetry: 1047
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1795
sara: try reading problem file stateEquationProblem-ConstantPlace-2573.sara.
lola: reporting
lola: not produced: 97
lola: state equation: 48
lola: find path: 1486
lola: symmetry: 1047
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1191
sara: try reading problem file stateEquationProblem-ConstantPlace-1201.sara.
lola: reporting
lola: not produced: 96
lola: state equation: 49
lola: find path: 1486
lola: symmetry: 1047
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1690
sara: try reading problem file stateEquationProblem-ConstantPlace-2468.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1719
sara: try reading problem file stateEquationProblem-ConstantPlace-2497.sara.
lola: reporting
lola: not produced: 93
lola: state equation: 51
lola: find path: 1486
lola: symmetry: 1048
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1047
sara: try reading problem file stateEquationProblem-ConstantPlace-836.sara.
lola: reporting
lola: not produced: 92
lola: state equation: 52
lola: find path: 1486
lola: symmetry: 1048
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 88
lola: state equation: 52
lola: find path: 1488
lola: symmetry: 1050
lola: reporting
lola: not produced: 88
lola: state equation: 52
lola: find path: 1488
lola: symmetry: 1050
lola: STATE EQUATION TRIES PLACE p1383
sara: try reading problem file stateEquationProblem-ConstantPlace-1771.sara.
lola: reporting
lola: not produced: 87
lola: state equation: 53
lola: find path: 1488
lola: symmetry: 1050
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p256
sara: try reading problem file stateEquationProblem-ConstantPlace-466.sara.
lola: reporting
lola: not produced: 85
lola: state equation: 54
lola: find path: 1488
lola: symmetry: 1051
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 85
lola: state equation: 54
lola: find path: 1488
lola: symmetry: 1051
lola: STATE EQUATION TRIES PLACE p1696
sara: try reading problem file stateEquationProblem-ConstantPlace-2474.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 83
lola: state equation: 55
lola: find path: 1488
lola: symmetry: 1052
lola: STATE EQUATION TRIES PLACE p1704
sara: try reading problem file stateEquationProblem-ConstantPlace-2482.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1513
sara: try reading problem file stateEquationProblem-ConstantPlace-2101.sara.
lola: reporting
lola: not produced: 80
lola: state equation: 57
lola: find path: 1488
lola: symmetry: 1053
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 73
lola: state equation: 57
lola: find path: 1492
lola: symmetry: 1056
lola: STATE EQUATION TRIES PLACE p399
sara: try reading problem file stateEquationProblem-ConstantPlace-719.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p651
sara: try reading problem file stateEquationProblem-ConstantPlace-1561.sara.
lola: reporting
lola: not produced: 72
lola: state equation: 59
lola: find path: 1492
lola: symmetry: 1055
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 72
lola: state equation: 59
lola: find path: 1492
lola: symmetry: 1055
lola: reporting
lola: not produced: 72
lola: state equation: 59
lola: find path: 1492
lola: symmetry: 1055
lola: STATE EQUATION TRIES PLACE p1059
sara: try reading problem file stateEquationProblem-ConstantPlace-859.sara.
lola: reporting
lola: not produced: 71
lola: state equation: 60
lola: find path: 1492
lola: symmetry: 1055
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p653
sara: try reading problem file stateEquationProblem-ConstantPlace-1563.sara.
lola: reporting
lola: not produced: 66
lola: state equation: 61
lola: find path: 1494
lola: symmetry: 1057
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2670
sara: try reading problem file stateEquationProblem-ConstantPlace-1720.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 63
lola: state equation: 62
lola: find path: 1496
lola: symmetry: 1057
lola: STATE EQUATION TRIES PLACE p531
sara: try reading problem file stateEquationProblem-ConstantPlace-1241.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1313
sara: try reading problem file stateEquationProblem-ConstantPlace-1668.sara.
lola: reporting
lola: not produced: 61
lola: state equation: 64
lola: find path: 1496
lola: symmetry: 1057
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1048
sara: try reading problem file stateEquationProblem-ConstantPlace-838.sara.
lola: reporting
lola: not produced: 60
lola: state equation: 65
lola: find path: 1496
lola: symmetry: 1057
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p521
sara: try reading problem file stateEquationProblem-ConstantPlace-1231.sara.
lola: reporting
lola: not produced: 59
lola: state equation: 66
lola: find path: 1496
lola: symmetry: 1057
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p783
sara: try reading problem file stateEquationProblem-ConstantPlace-1871.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 58
lola: state equation: 67
lola: find path: 1496
lola: symmetry: 1057
lola: reporting
lola: not produced: 58
lola: state equation: 67
lola: find path: 1496
lola: symmetry: 1057
lola: STATE EQUATION TRIES PLACE p1793
sara: try reading problem file stateEquationProblem-ConstantPlace-2571.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 57
lola: state equation: 68
lola: find path: 1496
lola: symmetry: 1057
lola: STATE EQUATION TRIES PLACE p125
sara: try reading problem file stateEquationProblem-ConstantPlace-235.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 56
lola: state equation: 69
lola: find path: 1496
lola: symmetry: 1057
lola: STATE EQUATION TRIES PLACE p1312
sara: try reading problem file stateEquationProblem-ConstantPlace-1666.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 54
lola: state equation: 70
lola: find path: 1496
lola: symmetry: 1058
lola: STATE EQUATION TRIES PLACE p2657
sara: try reading problem file stateEquationProblem-ConstantPlace-1693.sara.
lola: reporting
lola: not produced: 53
lola: state equation: 71
lola: find path: 1496
lola: symmetry: 1058
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1708
sara: try reading problem file stateEquationProblem-ConstantPlace-2486.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 52
lola: state equation: 72
lola: find path: 1496
lola: symmetry: 1058
lola: STATE EQUATION TRIES PLACE p785
sara: try reading problem file stateEquationProblem-ConstantPlace-1873.sara.
lola: reporting
lola: not produced: 51
lola: state equation: 73
lola: find path: 1496
lola: symmetry: 1058
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p652
sara: try reading problem file stateEquationProblem-ConstantPlace-1562.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 50
lola: state equation: 74
lola: find path: 1496
lola: symmetry: 1058
lola: STATE EQUATION TRIES PLACE p388
sara: try reading problem file stateEquationProblem-ConstantPlace-698.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 49
lola: state equation: 75
lola: find path: 1496
lola: symmetry: 1058
lola: STATE EQUATION TRIES PLACE p1311
sara: try reading problem file stateEquationProblem-ConstantPlace-1664.sara.
lola: reporting
lola: not produced: 48
lola: state equation: 76
lola: find path: 1496
lola: symmetry: 1058
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 48
lola: state equation: 76
lola: find path: 1496
lola: symmetry: 1058
lola: STATE EQUATION TRIES PLACE p384
sara: try reading problem file stateEquationProblem-ConstantPlace-694.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1182
sara: try reading problem file stateEquationProblem-ConstantPlace-1192.sara.
lola: reporting
lola: not produced: 46
lola: state equation: 78
lola: find path: 1496
lola: symmetry: 1058
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1709
sara: try reading problem file stateEquationProblem-ConstantPlace-2487.sara.
lola: reporting
lola: not produced: 45
lola: state equation: 79
lola: find path: 1496
lola: symmetry: 1058
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1192
sara: try reading problem file stateEquationProblem-ConstantPlace-1202.sara.
lola: reporting
lola: not produced: 44
lola: state equation: 80
lola: find path: 1496
lola: symmetry: 1058
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1444
sara: try reading problem file stateEquationProblem-ConstantPlace-1932.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 43
lola: state equation: 81
lola: find path: 1496
lola: symmetry: 1058
lola: reporting
lola: not produced: 43
lola: state equation: 81
lola: find path: 1496
lola: symmetry: 1058
lola: STATE EQUATION TRIES PLACE p784
sara: try reading problem file stateEquationProblem-ConstantPlace-1872.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p915
sara: try reading problem file stateEquationProblem-ConstantPlace-2203.sara.
lola: reporting
lola: not produced: 41
lola: state equation: 83
lola: find path: 1496
lola: symmetry: 1058
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 41
lola: state equation: 83
lola: find path: 1496
lola: symmetry: 1058
lola: reporting
lola: not produced: 41
lola: state equation: 83
lola: find path: 1496
lola: symmetry: 1058
lola: STATE EQUATION TRIES PLACE p532
sara: try reading problem file stateEquationProblem-ConstantPlace-1242.sara.
lola: reporting
lola: not produced: 40
lola: state equation: 84
lola: find path: 1496
lola: symmetry: 1058
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p795
sara: try reading problem file stateEquationProblem-ConstantPlace-1883.sara.
lola: reporting
lola: not produced: 39
lola: state equation: 85
lola: find path: 1496
lola: symmetry: 1058
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2586
sara: try reading problem file stateEquationProblem-ConstantPlace-1451.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2669
sara: try reading problem file stateEquationProblem-ConstantPlace-1717.sara.
lola: reporting
lola: not produced: 37
lola: state equation: 87
lola: find path: 1496
lola: symmetry: 1058
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 37
lola: state equation: 87
lola: find path: 1496
lola: symmetry: 1058
lola: STATE EQUATION TRIES PLACE p916
sara: try reading problem file stateEquationProblem-ConstantPlace-2204.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 36
lola: state equation: 88
lola: find path: 1496
lola: symmetry: 1058
lola: reporting
lola: not produced: 36
lola: state equation: 88
lola: find path: 1496
lola: symmetry: 1058
lola: STATE EQUATION TRIES PLACE p389
sara: try reading problem file stateEquationProblem-ConstantPlace-699.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1710
sara: try reading problem file stateEquationProblem-ConstantPlace-2488.sara.
lola: reporting
lola: not produced: 34
lola: state equation: 90
lola: find path: 1496
lola: symmetry: 1058
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p522
sara: try reading problem file stateEquationProblem-ConstantPlace-1232.sara.
lola: reporting
lola: not produced: 33
lola: state equation: 91
lola: find path: 1496
lola: symmetry: 1058
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1780
sara: try reading problem file stateEquationProblem-ConstantPlace-2558.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1179
lola: reporting
lola: not produced: 30
lola: state equation: 93
lola: find path: 1496
lola: symmetry: 1059
sara: try reading problem file stateEquationProblem-ConstantPlace-1189.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 30
lola: state equation: 93
lola: find path: 1496
lola: symmetry: 1059
lola: reporting
lola: not produced: 30
lola: state equation: 93
lola: find path: 1496
lola: symmetry: 1059
lola: reporting
lola: not produced: 30
lola: state equation: 93
lola: find path: 1496
lola: symmetry: 1059
lola: reporting
lola: not produced: 30
lola: state equation: 93
lola: find path: 1496
lola: symmetry: 1059
lola: STATE EQUATION TRIES PLACE p917
sara: try reading problem file stateEquationProblem-ConstantPlace-2205.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 29
lola: state equation: 94
lola: find path: 1496
lola: symmetry: 1059
lola: STATE EQUATION TRIES PLACE p520
sara: try reading problem file stateEquationProblem-ConstantPlace-1230.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 28
lola: state equation: 95
lola: find path: 1496
lola: symmetry: 1059
lola: STATE EQUATION TRIES PLACE p912
sara: try reading problem file stateEquationProblem-ConstantPlace-2200.sara.
lola: reporting
lola: not produced: 27
lola: state equation: 96
lola: find path: 1496
lola: symmetry: 1059
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1577
sara: try reading problem file stateEquationProblem-ConstantPlace-2165.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 26
lola: state equation: 97
lola: find path: 1496
lola: symmetry: 1059
lola: STATE EQUATION TRIES PLACE p786
sara: try reading problem file stateEquationProblem-ConstantPlace-1874.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1576
sara: try reading problem file stateEquationProblem-ConstantPlace-2164.sara.
lola: reporting
lola: not produced: 24
lola: state equation: 99
lola: find path: 1496
lola: symmetry: 1059
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1049
sara: try reading problem file stateEquationProblem-ConstantPlace-839.sara.
lola: reporting
lola: not produced: 23
lola: state equation: 100
lola: find path: 1496
lola: symmetry: 1059
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1720
sara: try reading problem file stateEquationProblem-ConstantPlace-2498.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 22
lola: state equation: 101
lola: find path: 1496
lola: symmetry: 1059
lola: STATE EQUATION TRIES PLACE p648
sara: try reading problem file stateEquationProblem-ConstantPlace-1558.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1445
sara: try reading problem file stateEquationProblem-ConstantPlace-1933.sara.
lola: reporting
lola: not produced: 20
lola: state equation: 103
lola: find path: 1496
lola: symmetry: 1059
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1455
sara: try reading problem file stateEquationProblem-ConstantPlace-1943.sara.
lola: reporting
lola: not produced: 19
lola: state equation: 104
lola: find path: 1496
lola: symmetry: 1059
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p796
sara: try reading problem file stateEquationProblem-ConstantPlace-1884.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p780
sara: try reading problem file stateEquationProblem-ConstantPlace-1868.sara.
lola: reporting
lola: not produced: 17
lola: state equation: 106
lola: find path: 1496
lola: symmetry: 1059
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1578
sara: try reading problem file stateEquationProblem-ConstantPlace-2166.sara.
lola: reporting
lola: not produced: 16
lola: state equation: 107
lola: find path: 1496
lola: symmetry: 1059
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1314
sara: try reading problem file stateEquationProblem-ConstantPlace-1670.sara.
lola: reporting
lola: not produced: 15
lola: state equation: 108
lola: find path: 1496
lola: symmetry: 1059
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2667
sara: try reading problem file stateEquationProblem-ConstantPlace-1713.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 14
lola: state equation: 109
lola: find path: 1496
lola: symmetry: 1059
lola: STATE EQUATION TRIES PLACE p1790
lola: reporting
lola: not produced: 13
lola: state equation: 110
lola: find path: 1496
lola: symmetry: 1059
sara: try reading problem file stateEquationProblem-ConstantPlace-2568.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p654
sara: try reading problem file stateEquationProblem-ConstantPlace-1564.sara.
lola: reporting
lola: not produced: 12
lola: state equation: 111
lola: find path: 1496
lola: symmetry: 1059
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1060
sara: try reading problem file stateEquationProblem-ConstantPlace-862.sara.
lola: reporting
lola: not produced: 11
lola: state equation: 112
lola: find path: 1496
lola: symmetry: 1059
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1707
sara: try reading problem file stateEquationProblem-ConstantPlace-2485.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 10
lola: state equation: 113
lola: find path: 1496
lola: symmetry: 1059
lola: reporting
lola: not produced: 10
lola: state equation: 113
lola: find path: 1496
lola: symmetry: 1059
lola: reporting
lola: not produced: 10
lola: state equation: 113
lola: find path: 1496
lola: symmetry: 1059
lola: reporting
lola: not produced: 10
lola: state equation: 113
lola: find path: 1496
lola: symmetry: 1059
lola: STATE EQUATION TRIES PLACE p1794
sara: try reading problem file stateEquationProblem-ConstantPlace-2572.sara.
lola: reporting
lola: not produced: 9
lola: state equation: 114
lola: find path: 1496
lola: symmetry: 1059
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p927
lola: reporting
lola: not produced: 8
lola: state equation: 115
lola: find path: 1496
lola: symmetry: 1059
sara: try reading problem file stateEquationProblem-ConstantPlace-2215.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1443
sara: try reading problem file stateEquationProblem-ConstantPlace-1931.sara.
lola: reporting
lola: not produced: 7
lola: state equation: 116
lola: find path: 1496
lola: symmetry: 1059
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 7
lola: state equation: 116
lola: find path: 1496
lola: symmetry: 1059
lola: reporting
lola: not produced: 7
lola: state equation: 116
lola: find path: 1496
lola: symmetry: 1059
lola: reporting
lola: not produced: 7
lola: state equation: 116
lola: find path: 1496
lola: symmetry: 1059
lola: reporting
lola: not produced: 7
lola: state equation: 116
lola: find path: 1496
lola: symmetry: 1059
lola: STATE EQUATION TRIES PLACE p390
sara: try reading problem file stateEquationProblem-ConstantPlace-710.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1044
sara: try reading problem file stateEquationProblem-ConstantPlace-830.sara.
lola: reporting
lola: not produced: 5
lola: state equation: 118
lola: find path: 1496
lola: symmetry: 1059
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p387
sara: try reading problem file stateEquationProblem-ConstantPlace-697.sara.
lola: reporting
lola: not produced: 4
lola: state equation: 119
lola: find path: 1496
lola: symmetry: 1059
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4
lola: state equation: 119
lola: find path: 1496
lola: symmetry: 1059
lola: STATE EQUATION TRIES PLACE p1440
sara: try reading problem file stateEquationProblem-ConstantPlace-1928.sara.
lola: reporting
lola: not produced: 3
lola: state equation: 120
lola: find path: 1496
lola: symmetry: 1059
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p516
sara: try reading problem file stateEquationProblem-ConstantPlace-1226.sara.
lola: reporting
lola: not produced: 2
lola: state equation: 121
lola: find path: 1496
lola: symmetry: 1059
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1456
sara: try reading problem file stateEquationProblem-ConstantPlace-1944.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1
lola: state equation: 122
lola: find path: 1496
lola: symmetry: 1059
lola: The net does not have constant places
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="FlexibleBarrier-PT-14b"
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 FlexibleBarrier-PT-14b, 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 r106-smll-162075340600058"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-14b.tgz
mv FlexibleBarrier-PT-14b 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 ;