About the Execution of LoLA for FlexibleBarrier-PT-20b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2030.100 | 1800000.00 | 7189784.00 | 15.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r180-tall-167838867800363.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lola
Input is FlexibleBarrier-PT-20b, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r180-tall-167838867800363
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 7.1K Feb 25 12:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 25 12:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 12:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 12:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:08 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:08 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:08 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:08 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 25 12:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 171K Feb 25 12:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Feb 25 12:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 12:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:08 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:08 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.5M Mar 5 18:22 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 1679417778967
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=FlexibleBarrier-PT-20b
Not applying reductions.
Model is PT
StableMarking PT
starting LoLA
BK_INPUT FlexibleBarrier-PT-20b
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
GlobalProperty: StableMarking
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393232 kB
MemFree: 14370368 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16198508 kB
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 p1005
sara: try reading problem file stateEquationProblem-ConstantPlace-2219.sara.
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 3925
lola: find path: 762
lola: goal oriented search: 198
lola: symmetry: 487
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1180
sara: try reading problem file stateEquationProblem-ConstantPlace-2790.sara.
lola: reporting
lola: not produced: 3799
lola: state equation: 1
lola: find path: 880
lola: goal oriented search: 198
lola: symmetry: 494
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 3723
lola: state equation: 1
lola: find path: 931
lola: goal oriented search: 198
lola: symmetry: 519
lola: STATE EQUATION TRIES PLACE p4529
sara: try reading problem file stateEquationProblem-ConstantPlace-639.sara.
lola: reporting
lola: not produced: 3540
lola: state equation: 2
lola: find path: 1039
lola: goal oriented search: 198
lola: symmetry: 593
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 3422
lola: state equation: 2
lola: find path: 1111
lola: goal oriented search: 198
lola: symmetry: 639
lola: reporting
lola: not produced: 3347
lola: state equation: 2
lola: find path: 1146
lola: goal oriented search: 198
lola: symmetry: 679
lola: reporting
lola: not produced: 3270
lola: state equation: 2
lola: find path: 1189
lola: goal oriented search: 198
lola: symmetry: 713
lola: reporting
lola: not produced: 3138
lola: state equation: 2
lola: find path: 1251
lola: goal oriented search: 198
lola: symmetry: 783
lola: STATE EQUATION TRIES PLACE p2366
sara: try reading problem file stateEquationProblem-ConstantPlace-2309.sara.
lola: reporting
lola: not produced: 3125
lola: state equation: 3
lola: find path: 1258
lola: goal oriented search: 198
lola: symmetry: 788
lola: reporting
lola: not produced: 3114
lola: state equation: 3
lola: find path: 1265
lola: goal oriented search: 198
lola: symmetry: 792
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 3032
lola: state equation: 3
lola: find path: 1315
lola: goal oriented search: 198
lola: symmetry: 824
lola: reporting
lola: not produced: 2975
lola: state equation: 3
lola: find path: 1352
lola: goal oriented search: 198
lola: symmetry: 844
lola: reporting
lola: not produced: 2915
lola: state equation: 3
lola: find path: 1388
lola: goal oriented search: 198
lola: symmetry: 868
lola: reporting
lola: not produced: 2812
lola: state equation: 3
lola: find path: 1451
lola: goal oriented search: 198
lola: symmetry: 908
lola: reporting
lola: not produced: 2781
lola: state equation: 3
lola: find path: 1470
lola: goal oriented search: 198
lola: symmetry: 920
lola: reporting
lola: not produced: 2741
lola: state equation: 3
lola: find path: 1494
lola: goal oriented search: 198
lola: symmetry: 936
lola: reporting
lola: not produced: 2701
lola: state equation: 3
lola: find path: 1512
lola: goal oriented search: 198
lola: symmetry: 958
lola: reporting
lola: not produced: 2621
lola: state equation: 3
lola: find path: 1554
lola: goal oriented search: 198
lola: symmetry: 996
lola: reporting
lola: not produced: 2561
lola: state equation: 3
lola: find path: 1590
lola: goal oriented search: 198
lola: symmetry: 1020
lola: reporting
lola: not produced: 2511
lola: state equation: 3
lola: find path: 1608
lola: goal oriented search: 198
lola: symmetry: 1052
lola: STATE EQUATION TRIES PLACE p409
sara: try reading problem file stateEquationProblem-ConstantPlace-2419.sara.
lola: reporting
lola: not produced: 2477
lola: state equation: 4
lola: find path: 1626
lola: goal oriented search: 198
lola: symmetry: 1067
lola: reporting
lola: not produced: 2467
lola: state equation: 4
lola: find path: 1632
lola: goal oriented search: 198
lola: symmetry: 1071
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2437
lola: state equation: 4
lola: find path: 1650
lola: goal oriented search: 198
lola: symmetry: 1083
lola: reporting
lola: not produced: 2427
lola: state equation: 4
lola: find path: 1656
lola: goal oriented search: 198
lola: symmetry: 1087
lola: STATE EQUATION TRIES PLACE p5241
sara: try reading problem file stateEquationProblem-ConstantPlace-4841.sara.
lola: reporting
lola: not produced: 2385
lola: state equation: 5
lola: find path: 1680
lola: goal oriented search: 198
lola: symmetry: 1104
lola: reporting
lola: not produced: 2385
lola: state equation: 5
lola: find path: 1680
lola: goal oriented search: 198
lola: symmetry: 1104
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2385
lola: state equation: 5
lola: find path: 1680
lola: goal oriented search: 198
lola: symmetry: 1104
lola: reporting
lola: not produced: 2355
lola: state equation: 5
lola: find path: 1692
lola: goal oriented search: 198
lola: symmetry: 1122
lola: STATE EQUATION TRIES PLACE p3664
sara: try reading problem file stateEquationProblem-ConstantPlace-2205.sara.
lola: reporting
lola: not produced: 2308
lola: state equation: 6
lola: find path: 1709
lola: goal oriented search: 198
lola: symmetry: 1151
lola: reporting
lola: not produced: 2275
lola: state equation: 6
lola: find path: 1730
lola: goal oriented search: 198
lola: symmetry: 1163
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2264
lola: state equation: 6
lola: find path: 1737
lola: goal oriented search: 198
lola: symmetry: 1167
lola: reporting
lola: not produced: 2254
lola: state equation: 6
lola: find path: 1743
lola: goal oriented search: 198
lola: symmetry: 1171
lola: reporting
lola: not produced: 2244
lola: state equation: 6
lola: find path: 1749
lola: goal oriented search: 198
lola: symmetry: 1175
lola: STATE EQUATION TRIES PLACE p1214
sara: try reading problem file stateEquationProblem-ConstantPlace-3047.sara.
lola: reporting
lola: not produced: 2220
lola: state equation: 7
lola: find path: 1761
lola: goal oriented search: 198
lola: symmetry: 1186
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p4517
sara: try reading problem file stateEquationProblem-ConstantPlace-627.sara.
lola: reporting
lola: not produced: 2190
lola: state equation: 8
lola: find path: 1774
lola: goal oriented search: 198
lola: symmetry: 1202
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2160
lola: state equation: 8
lola: find path: 1786
lola: goal oriented search: 198
lola: symmetry: 1220
lola: reporting
lola: not produced: 2137
lola: state equation: 8
lola: find path: 1801
lola: goal oriented search: 198
lola: symmetry: 1228
lola: reporting
lola: not produced: 2097
lola: state equation: 8
lola: find path: 1819
lola: goal oriented search: 198
lola: symmetry: 1250
lola: reporting
lola: not produced: 2077
lola: state equation: 8
lola: find path: 1831
lola: goal oriented search: 198
lola: symmetry: 1258
lola: STATE EQUATION TRIES PLACE p3986
sara: try reading problem file stateEquationProblem-ConstantPlace-3475.sara.
lola: reporting
lola: not produced: 2025
lola: state equation: 9
lola: find path: 1855
lola: goal oriented search: 198
lola: symmetry: 1285
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1995
lola: state equation: 9
lola: find path: 1873
lola: goal oriented search: 198
lola: symmetry: 1297
lola: reporting
lola: not produced: 1985
lola: state equation: 9
lola: find path: 1879
lola: goal oriented search: 198
lola: symmetry: 1301
lola: reporting
lola: not produced: 1975
lola: state equation: 9
lola: find path: 1885
lola: goal oriented search: 198
lola: symmetry: 1305
lola: reporting
lola: not produced: 1945
lola: state equation: 9
lola: find path: 1897
lola: goal oriented search: 198
lola: symmetry: 1323
lola: reporting
lola: not produced: 1905
lola: state equation: 9
lola: find path: 1921
lola: goal oriented search: 198
lola: symmetry: 1339
lola: reporting
lola: not produced: 1865
lola: state equation: 9
lola: find path: 1945
lola: goal oriented search: 198
lola: symmetry: 1355
lola: reporting
lola: not produced: 1845
lola: state equation: 9
lola: find path: 1957
lola: goal oriented search: 198
lola: symmetry: 1363
lola: reporting
lola: not produced: 1835
lola: state equation: 9
lola: find path: 1963
lola: goal oriented search: 198
lola: symmetry: 1367
lola: reporting
lola: not produced: 1815
lola: state equation: 9
lola: find path: 1969
lola: goal oriented search: 198
lola: symmetry: 1381
lola: reporting
lola: not produced: 1785
lola: state equation: 9
lola: find path: 1987
lola: goal oriented search: 198
lola: symmetry: 1393
lola: reporting
lola: not produced: 1775
lola: state equation: 9
lola: find path: 1993
lola: goal oriented search: 198
lola: symmetry: 1397
lola: reporting
lola: not produced: 1775
lola: state equation: 9
lola: find path: 1993
lola: goal oriented search: 198
lola: symmetry: 1397
lola: reporting
lola: not produced: 1765
lola: state equation: 9
lola: find path: 1999
lola: goal oriented search: 198
lola: symmetry: 1401
lola: reporting
lola: not produced: 1737
lola: state equation: 9
lola: find path: 2016
lola: goal oriented search: 198
lola: symmetry: 1412
lola: STATE EQUATION TRIES PLACE p949
sara: try reading problem file stateEquationProblem-ConstantPlace-4459.sara.
lola: reporting
lola: not produced: 1696
lola: state equation: 10
lola: find path: 2040
lola: goal oriented search: 198
lola: symmetry: 1428
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1686
lola: state equation: 10
lola: find path: 2046
lola: goal oriented search: 198
lola: symmetry: 1432
lola: STATE EQUATION TRIES PLACE p4626
sara: try reading problem file stateEquationProblem-ConstantPlace-836.sara.
lola: reporting
lola: not produced: 1664
lola: state equation: 11
lola: find path: 2052
lola: goal oriented search: 198
lola: symmetry: 1447
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1614
lola: state equation: 11
lola: find path: 2076
lola: goal oriented search: 198
lola: symmetry: 1473
lola: STATE EQUATION TRIES PLACE p3220
sara: try reading problem file stateEquationProblem-ConstantPlace-682.sara.
lola: reporting
lola: not produced: 1573
lola: state equation: 12
lola: find path: 2094
lola: goal oriented search: 198
lola: symmetry: 1495
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p4872
sara: try reading problem file stateEquationProblem-ConstantPlace-1733.sara.
lola: reporting
lola: not produced: 1551
lola: state equation: 13
lola: find path: 2106
lola: goal oriented search: 198
lola: symmetry: 1504
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1541
lola: state equation: 13
lola: find path: 2112
lola: goal oriented search: 198
lola: symmetry: 1508
lola: STATE EQUATION TRIES PLACE p1089
sara: try reading problem file stateEquationProblem-ConstantPlace-2399.sara.
lola: reporting
lola: not produced: 1539
lola: state equation: 14
lola: find path: 2112
lola: goal oriented search: 198
lola: symmetry: 1509
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2334
sara: try reading problem file stateEquationProblem-ConstantPlace-2210.sara.
lola: reporting
lola: not produced: 1528
lola: state equation: 15
lola: find path: 2118
lola: goal oriented search: 198
lola: symmetry: 1513
lola: reporting
lola: not produced: 1498
lola: state equation: 15
lola: find path: 2136
lola: goal oriented search: 198
lola: symmetry: 1525
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1958
sara: try reading problem file stateEquationProblem-ConstantPlace-58.sara.
lola: reporting
lola: not produced: 1477
lola: state equation: 16
lola: find path: 2148
lola: goal oriented search: 198
lola: symmetry: 1533
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1486
sara: try reading problem file stateEquationProblem-ConstantPlace-3896.sara.
lola: reporting
lola: not produced: 1465
lola: state equation: 17
lola: find path: 2154
lola: goal oriented search: 198
lola: symmetry: 1538
lola: reporting
lola: not produced: 1455
lola: state equation: 17
lola: find path: 2160
lola: goal oriented search: 198
lola: symmetry: 1542
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1109
lola: reporting
lola: not produced: 1453
lola: state equation: 18
lola: find path: 2160
lola: goal oriented search: 198
lola: symmetry: 1543
sara: try reading problem file stateEquationProblem-ConstantPlace-2629.sara.
lola: reporting
lola: not produced: 1453
lola: state equation: 18
lola: find path: 2160
lola: goal oriented search: 198
lola: symmetry: 1543
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1423
lola: state equation: 18
lola: find path: 2178
lola: goal oriented search: 198
lola: symmetry: 1555
lola: STATE EQUATION TRIES PLACE p5286
sara: try reading problem file stateEquationProblem-ConstantPlace-4886.sara.
lola: reporting
lola: not produced: 1409
lola: state equation: 19
lola: find path: 2184
lola: goal oriented search: 198
lola: symmetry: 1562
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1409
lola: state equation: 19
lola: find path: 2184
lola: goal oriented search: 198
lola: symmetry: 1562
lola: reporting
lola: not produced: 1399
lola: state equation: 19
lola: find path: 2190
lola: goal oriented search: 198
lola: symmetry: 1566
lola: reporting
lola: not produced: 1399
lola: state equation: 19
lola: find path: 2190
lola: goal oriented search: 198
lola: symmetry: 1566
lola: reporting
lola: not produced: 1389
lola: state equation: 19
lola: find path: 2196
lola: goal oriented search: 198
lola: symmetry: 1570
lola: reporting
lola: not produced: 1369
lola: state equation: 19
lola: find path: 2202
lola: goal oriented search: 198
lola: symmetry: 1584
lola: reporting
lola: not produced: 1369
lola: state equation: 19
lola: find path: 2202
lola: goal oriented search: 198
lola: symmetry: 1584
lola: reporting
lola: not produced: 1359
lola: state equation: 19
lola: find path: 2208
lola: goal oriented search: 198
lola: symmetry: 1588
lola: reporting
lola: not produced: 1349
lola: state equation: 19
lola: find path: 2214
lola: goal oriented search: 198
lola: symmetry: 1592
lola: reporting
lola: not produced: 1349
lola: state equation: 19
lola: find path: 2214
lola: goal oriented search: 198
lola: symmetry: 1592
lola: reporting
lola: not produced: 1349
lola: state equation: 19
lola: find path: 2214
lola: goal oriented search: 198
lola: symmetry: 1592
lola: reporting
lola: not produced: 1349
lola: state equation: 19
lola: find path: 2214
lola: goal oriented search: 198
lola: symmetry: 1592
lola: reporting
lola: not produced: 1339
lola: state equation: 19
lola: find path: 2220
lola: goal oriented search: 198
lola: symmetry: 1596
lola: reporting
lola: not produced: 1339
lola: state equation: 19
lola: find path: 2220
lola: goal oriented search: 198
lola: symmetry: 1596
lola: reporting
lola: not produced: 1319
lola: state equation: 19
lola: find path: 2232
lola: goal oriented search: 198
lola: symmetry: 1604
lola: reporting
lola: not produced: 1309
lola: state equation: 19
lola: find path: 2238
lola: goal oriented search: 198
lola: symmetry: 1608
lola: reporting
lola: not produced: 1299
lola: state equation: 19
lola: find path: 2244
lola: goal oriented search: 198
lola: symmetry: 1612
lola: reporting
lola: not produced: 1289
lola: state equation: 19
lola: find path: 2250
lola: goal oriented search: 198
lola: symmetry: 1616
lola: reporting
lola: not produced: 1279
lola: state equation: 19
lola: find path: 2256
lola: goal oriented search: 198
lola: symmetry: 1620
lola: reporting
lola: not produced: 1279
lola: state equation: 19
lola: find path: 2256
lola: goal oriented search: 198
lola: symmetry: 1620
lola: reporting
lola: not produced: 1269
lola: state equation: 19
lola: find path: 2262
lola: goal oriented search: 198
lola: symmetry: 1624
lola: reporting
lola: not produced: 1249
lola: state equation: 19
lola: find path: 2268
lola: goal oriented search: 198
lola: symmetry: 1638
lola: reporting
lola: not produced: 1230
lola: state equation: 19
lola: find path: 2279
lola: goal oriented search: 198
lola: symmetry: 1646
lola: reporting
lola: not produced: 1230
lola: state equation: 19
lola: find path: 2279
lola: goal oriented search: 198
lola: symmetry: 1646
lola: reporting
lola: not produced: 1230
lola: state equation: 19
lola: find path: 2279
lola: goal oriented search: 198
lola: symmetry: 1646
lola: reporting
lola: not produced: 1206
lola: state equation: 19
lola: find path: 2292
lola: goal oriented search: 198
lola: symmetry: 1657
lola: reporting
lola: not produced: 1206
lola: state equation: 19
lola: find path: 2292
lola: goal oriented search: 198
lola: symmetry: 1657
lola: reporting
lola: not produced: 1206
lola: state equation: 19
lola: find path: 2292
lola: goal oriented search: 198
lola: symmetry: 1657
lola: reporting
lola: not produced: 1206
lola: state equation: 19
lola: find path: 2292
lola: goal oriented search: 198
lola: symmetry: 1657
lola: reporting
lola: not produced: 1188
lola: state equation: 19
lola: find path: 2303
lola: goal oriented search: 198
lola: symmetry: 1664
lola: reporting
lola: not produced: 1188
lola: state equation: 19
lola: find path: 2303
lola: goal oriented search: 198
lola: symmetry: 1664
lola: reporting
lola: not produced: 1178
lola: state equation: 19
lola: find path: 2309
lola: goal oriented search: 198
lola: symmetry: 1668
lola: reporting
lola: not produced: 1168
lola: state equation: 19
lola: find path: 2315
lola: goal oriented search: 198
lola: symmetry: 1672
lola: reporting
lola: not produced: 1158
lola: state equation: 19
lola: find path: 2321
lola: goal oriented search: 198
lola: symmetry: 1676
lola: reporting
lola: not produced: 1158
lola: state equation: 19
lola: find path: 2321
lola: goal oriented search: 198
lola: symmetry: 1676
lola: reporting
lola: not produced: 1138
lola: state equation: 19
lola: find path: 2333
lola: goal oriented search: 198
lola: symmetry: 1684
lola: reporting
lola: not produced: 1128
lola: state equation: 19
lola: find path: 2339
lola: goal oriented search: 198
lola: symmetry: 1688
lola: reporting
lola: not produced: 1128
lola: state equation: 19
lola: find path: 2339
lola: goal oriented search: 198
lola: symmetry: 1688
lola: reporting
lola: not produced: 1108
lola: state equation: 19
lola: find path: 2351
lola: goal oriented search: 198
lola: symmetry: 1696
lola: reporting
lola: not produced: 1088
lola: state equation: 19
lola: find path: 2363
lola: goal oriented search: 198
lola: symmetry: 1704
lola: reporting
lola: not produced: 1088
lola: state equation: 19
lola: find path: 2363
lola: goal oriented search: 198
lola: symmetry: 1704
lola: reporting
lola: not produced: 1088
lola: state equation: 19
lola: find path: 2363
lola: goal oriented search: 198
lola: symmetry: 1704
lola: reporting
lola: not produced: 1076
lola: state equation: 19
lola: find path: 2371
lola: goal oriented search: 198
lola: symmetry: 1708
lola: reporting
lola: not produced: 1056
lola: state equation: 19
lola: find path: 2383
lola: goal oriented search: 198
lola: symmetry: 1716
lola: reporting
lola: not produced: 1056
lola: state equation: 19
lola: find path: 2383
lola: goal oriented search: 198
lola: symmetry: 1716
lola: reporting
lola: not produced: 1056
lola: state equation: 19
lola: find path: 2383
lola: goal oriented search: 198
lola: symmetry: 1716
lola: STATE EQUATION TRIES PLACE p3530
sara: try reading problem file stateEquationProblem-ConstantPlace-1692.sara.
lola: reporting
lola: not produced: 1055
lola: state equation: 20
lola: find path: 2383
lola: goal oriented search: 198
lola: symmetry: 1716
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1045
lola: state equation: 20
lola: find path: 2389
lola: goal oriented search: 198
lola: symmetry: 1720
lola: STATE EQUATION TRIES PLACE p4112
sara: try reading problem file stateEquationProblem-ConstantPlace-5284.sara.
lola: reporting
lola: not produced: 1044
lola: state equation: 21
lola: find path: 2389
lola: goal oriented search: 198
lola: symmetry: 1720
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1044
lola: state equation: 21
lola: find path: 2389
lola: goal oriented search: 198
lola: symmetry: 1720
lola: reporting
lola: not produced: 1024
lola: state equation: 21
lola: find path: 2395
lola: goal oriented search: 198
lola: symmetry: 1734
lola: reporting
lola: not produced: 1024
lola: state equation: 21
lola: find path: 2395
lola: goal oriented search: 198
lola: symmetry: 1734
lola: STATE EQUATION TRIES PLACE p1269
sara: try reading problem file stateEquationProblem-ConstantPlace-3179.sara.
lola: reporting
lola: not produced: 1022
lola: state equation: 22
lola: find path: 2395
lola: goal oriented search: 198
lola: symmetry: 1735
lola: reporting
lola: not produced: 1004
lola: state equation: 22
lola: find path: 2406
lola: goal oriented search: 198
lola: symmetry: 1742
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3125
sara: try reading problem file stateEquationProblem-ConstantPlace-492.sara.
lola: reporting
lola: not produced: 983
lola: state equation: 23
lola: find path: 2418
lola: goal oriented search: 198
lola: symmetry: 1750
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 973
lola: state equation: 23
lola: find path: 2424
lola: goal oriented search: 198
lola: symmetry: 1754
lola: reporting
lola: not produced: 963
lola: state equation: 23
lola: find path: 2430
lola: goal oriented search: 198
lola: symmetry: 1758
lola: reporting
lola: not produced: 963
lola: state equation: 23
lola: find path: 2430
lola: goal oriented search: 198
lola: symmetry: 1758
lola: reporting
lola: not produced: 953
lola: state equation: 23
lola: find path: 2436
lola: goal oriented search: 198
lola: symmetry: 1762
lola: reporting
lola: not produced: 923
lola: state equation: 23
lola: find path: 2454
lola: goal oriented search: 198
lola: symmetry: 1774
lola: reporting
lola: not produced: 913
lola: state equation: 23
lola: find path: 2460
lola: goal oriented search: 198
lola: symmetry: 1778
lola: reporting
lola: not produced: 903
lola: state equation: 23
lola: find path: 2466
lola: goal oriented search: 198
lola: symmetry: 1782
lola: reporting
lola: not produced: 903
lola: state equation: 23
lola: find path: 2466
lola: goal oriented search: 198
lola: symmetry: 1782
lola: STATE EQUATION TRIES PLACE p4502
sara: try reading problem file stateEquationProblem-ConstantPlace-612.sara.
lola: reporting
lola: not produced: 901
lola: state equation: 24
lola: find path: 2466
lola: goal oriented search: 198
lola: symmetry: 1783
lola: reporting
lola: not produced: 901
lola: state equation: 24
lola: find path: 2466
lola: goal oriented search: 198
lola: symmetry: 1783
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 892
lola: state equation: 24
lola: find path: 2471
lola: goal oriented search: 198
lola: symmetry: 1787
lola: STATE EQUATION TRIES PLACE p4191
sara: try reading problem file stateEquationProblem-ConstantPlace-4277.sara.
lola: reporting
lola: not produced: 890
lola: state equation: 25
lola: find path: 2471
lola: goal oriented search: 198
lola: symmetry: 1788
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 890
lola: state equation: 25
lola: find path: 2471
lola: goal oriented search: 198
lola: symmetry: 1788
lola: reporting
lola: not produced: 880
lola: state equation: 25
lola: find path: 2477
lola: goal oriented search: 198
lola: symmetry: 1792
lola: reporting
lola: not produced: 880
lola: state equation: 25
lola: find path: 2477
lola: goal oriented search: 198
lola: symmetry: 1792
lola: reporting
lola: not produced: 880
lola: state equation: 25
lola: find path: 2477
lola: goal oriented search: 198
lola: symmetry: 1792
lola: reporting
lola: not produced: 880
lola: state equation: 25
lola: find path: 2477
lola: goal oriented search: 198
lola: symmetry: 1792
lola: reporting
lola: not produced: 880
lola: state equation: 25
lola: find path: 2477
lola: goal oriented search: 198
lola: symmetry: 1792
lola: reporting
lola: not produced: 880
lola: state equation: 25
lola: find path: 2477
lola: goal oriented search: 198
lola: symmetry: 1792
lola: reporting
lola: not produced: 880
lola: state equation: 25
lola: find path: 2477
lola: goal oriented search: 198
lola: symmetry: 1792
lola: reporting
lola: not produced: 870
lola: state equation: 25
lola: find path: 2483
lola: goal oriented search: 198
lola: symmetry: 1796
lola: STATE EQUATION TRIES PLACE p3239
sara: try reading problem file stateEquationProblem-ConstantPlace-719.sara.
lola: reporting
lola: not produced: 869
lola: state equation: 26
lola: find path: 2483
lola: goal oriented search: 198
lola: symmetry: 1796
lola: reporting
lola: not produced: 869
lola: state equation: 26
lola: find path: 2483
lola: goal oriented search: 198
lola: symmetry: 1796
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2355
sara: try reading problem file stateEquationProblem-ConstantPlace-2276.sara.
lola: reporting
lola: not produced: 868
lola: state equation: 27
lola: find path: 2483
lola: goal oriented search: 198
lola: symmetry: 1796
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 868
lola: state equation: 27
lola: find path: 2483
lola: goal oriented search: 198
lola: symmetry: 1796
lola: reporting
lola: not produced: 868
lola: state equation: 27
lola: find path: 2483
lola: goal oriented search: 198
lola: symmetry: 1796
lola: STATE EQUATION TRIES PLACE p1942
sara: try reading problem file stateEquationProblem-ConstantPlace-42.sara.
lola: reporting
lola: not produced: 866
lola: state equation: 28
lola: find path: 2483
lola: goal oriented search: 198
lola: symmetry: 1797
lola: reporting
lola: not produced: 866
lola: state equation: 28
lola: find path: 2483
lola: goal oriented search: 198
lola: symmetry: 1797
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1414
sara: try reading problem file stateEquationProblem-ConstantPlace-3770.sara.
lola: reporting
lola: not produced: 864
lola: state equation: 29
lola: find path: 2483
lola: goal oriented search: 198
lola: symmetry: 1798
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 856
lola: state equation: 29
lola: find path: 2488
lola: goal oriented search: 198
lola: symmetry: 1801
lola: STATE EQUATION TRIES PLACE p482
sara: try reading problem file stateEquationProblem-ConstantPlace-2522.sara.
lola: reporting
lola: not produced: 854
lola: state equation: 30
lola: find path: 2488
lola: goal oriented search: 198
lola: symmetry: 1802
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p4205
sara: try reading problem file stateEquationProblem-ConstantPlace-105.sara.
lola: reporting
lola: not produced: 842
lola: state equation: 31
lola: find path: 2494
lola: goal oriented search: 198
lola: symmetry: 1807
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 842
lola: state equation: 31
lola: find path: 2494
lola: goal oriented search: 198
lola: symmetry: 1807
lola: reporting
lola: not produced: 832
lola: state equation: 31
lola: find path: 2500
lola: goal oriented search: 198
lola: symmetry: 1811
lola: reporting
lola: not produced: 832
lola: state equation: 31
lola: find path: 2500
lola: goal oriented search: 198
lola: symmetry: 1811
lola: reporting
lola: not produced: 832
lola: state equation: 31
lola: find path: 2500
lola: goal oriented search: 198
lola: symmetry: 1811
lola: reporting
lola: not produced: 832
lola: state equation: 31
lola: find path: 2500
lola: goal oriented search: 198
lola: symmetry: 1811
lola: reporting
lola: not produced: 832
lola: state equation: 31
lola: find path: 2500
lola: goal oriented search: 198
lola: symmetry: 1811
lola: reporting
lola: not produced: 824
lola: state equation: 31
lola: find path: 2505
lola: goal oriented search: 198
lola: symmetry: 1814
lola: reporting
lola: not produced: 815
lola: state equation: 31
lola: find path: 2510
lola: goal oriented search: 198
lola: symmetry: 1818
lola: reporting
lola: not produced: 815
lola: state equation: 31
lola: find path: 2510
lola: goal oriented search: 198
lola: symmetry: 1818
lola: reporting
lola: not produced: 798
lola: state equation: 31
lola: find path: 2520
lola: goal oriented search: 198
lola: symmetry: 1825
lola: STATE EQUATION TRIES PLACE p3462
sara: try reading problem file stateEquationProblem-ConstantPlace-1397.sara.
lola: reporting
lola: not produced: 787
lola: state equation: 32
lola: find path: 2526
lola: goal oriented search: 198
lola: symmetry: 1829
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 787
lola: state equation: 32
lola: find path: 2526
lola: goal oriented search: 198
lola: symmetry: 1829
lola: reporting
lola: not produced: 777
lola: state equation: 32
lola: find path: 2532
lola: goal oriented search: 198
lola: symmetry: 1833
lola: reporting
lola: not produced: 777
lola: state equation: 32
lola: find path: 2532
lola: goal oriented search: 198
lola: symmetry: 1833
lola: reporting
lola: not produced: 777
lola: state equation: 32
lola: find path: 2532
lola: goal oriented search: 198
lola: symmetry: 1833
lola: reporting
lola: not produced: 777
lola: state equation: 32
lola: find path: 2532
lola: goal oriented search: 198
lola: symmetry: 1833
lola: reporting
lola: not produced: 777
lola: state equation: 32
lola: find path: 2532
lola: goal oriented search: 198
lola: symmetry: 1833
lola: STATE EQUATION TRIES PLACE p1794
sara: try reading problem file stateEquationProblem-ConstantPlace-4994.sara.
lola: reporting
lola: not produced: 775
lola: state equation: 33
lola: find path: 2532
lola: goal oriented search: 198
lola: symmetry: 1834
lola: reporting
lola: not produced: 767
lola: state equation: 33
lola: find path: 2537
lola: goal oriented search: 198
lola: symmetry: 1837
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p4436
sara: try reading problem file stateEquationProblem-ConstantPlace-451.sara.
lola: reporting
lola: not produced: 756
lola: state equation: 34
lola: find path: 2543
lola: goal oriented search: 198
lola: symmetry: 1841
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 756
lola: state equation: 34
lola: find path: 2543
lola: goal oriented search: 198
lola: symmetry: 1841
lola: reporting
lola: not produced: 738
lola: state equation: 34
lola: find path: 2554
lola: goal oriented search: 198
lola: symmetry: 1848
lola: reporting
lola: not produced: 728
lola: state equation: 34
lola: find path: 2560
lola: goal oriented search: 198
lola: symmetry: 1852
lola: reporting
lola: not produced: 728
lola: state equation: 34
lola: find path: 2560
lola: goal oriented search: 198
lola: symmetry: 1852
lola: reporting
lola: not produced: 718
lola: state equation: 34
lola: find path: 2566
lola: goal oriented search: 198
lola: symmetry: 1856
lola: reporting
lola: not produced: 708
lola: state equation: 34
lola: find path: 2572
lola: goal oriented search: 198
lola: symmetry: 1860
lola: reporting
lola: not produced: 708
lola: state equation: 34
lola: find path: 2572
lola: goal oriented search: 198
lola: symmetry: 1860
lola: reporting
lola: not produced: 708
lola: state equation: 34
lola: find path: 2572
lola: goal oriented search: 198
lola: symmetry: 1860
lola: reporting
lola: not produced: 708
lola: state equation: 34
lola: find path: 2572
lola: goal oriented search: 198
lola: symmetry: 1860
lola: reporting
lola: not produced: 708
lola: state equation: 34
lola: find path: 2572
lola: goal oriented search: 198
lola: symmetry: 1860
lola: reporting
lola: not produced: 708
lola: state equation: 34
lola: find path: 2572
lola: goal oriented search: 198
lola: symmetry: 1860
lola: reporting
lola: not produced: 690
lola: state equation: 34
lola: find path: 2583
lola: goal oriented search: 198
lola: symmetry: 1867
lola: reporting
lola: not produced: 690
lola: state equation: 34
lola: find path: 2583
lola: goal oriented search: 198
lola: symmetry: 1867
lola: reporting
lola: not produced: 680
lola: state equation: 34
lola: find path: 2589
lola: goal oriented search: 198
lola: symmetry: 1871
lola: STATE EQUATION TRIES PLACE p1450
sara: try reading problem file stateEquationProblem-ConstantPlace-3842.sara.
lola: reporting
lola: not produced: 669
lola: state equation: 35
lola: find path: 2595
lola: goal oriented search: 198
lola: symmetry: 1875
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 669
lola: state equation: 35
lola: find path: 2595
lola: goal oriented search: 198
lola: symmetry: 1875
lola: STATE EQUATION TRIES PLACE p358
sara: try reading problem file stateEquationProblem-ConstantPlace-1998.sara.
lola: reporting
lola: not produced: 658
lola: state equation: 36
lola: find path: 2601
lola: goal oriented search: 198
lola: symmetry: 1879
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 658
lola: state equation: 36
lola: find path: 2601
lola: goal oriented search: 198
lola: symmetry: 1879
lola: STATE EQUATION TRIES PLACE p4485
sara: try reading problem file stateEquationProblem-ConstantPlace-549.sara.
lola: reporting
lola: not produced: 639
lola: state equation: 37
lola: find path: 2611
lola: goal oriented search: 198
lola: symmetry: 1887
lola: reporting
lola: not produced: 639
lola: state equation: 37
lola: find path: 2611
lola: goal oriented search: 198
lola: symmetry: 1887
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 609
lola: state equation: 37
lola: find path: 2623
lola: goal oriented search: 198
lola: symmetry: 1905
lola: reporting
lola: not produced: 609
lola: state equation: 37
lola: find path: 2623
lola: goal oriented search: 198
lola: symmetry: 1905
lola: reporting
lola: not produced: 609
lola: state equation: 37
lola: find path: 2623
lola: goal oriented search: 198
lola: symmetry: 1905
lola: reporting
lola: not produced: 609
lola: state equation: 37
lola: find path: 2623
lola: goal oriented search: 198
lola: symmetry: 1905
lola: reporting
lola: not produced: 599
lola: state equation: 37
lola: find path: 2629
lola: goal oriented search: 198
lola: symmetry: 1909
lola: reporting
lola: not produced: 577
lola: state equation: 37
lola: find path: 2639
lola: goal oriented search: 198
lola: symmetry: 1921
lola: reporting
lola: not produced: 577
lola: state equation: 37
lola: find path: 2639
lola: goal oriented search: 198
lola: symmetry: 1921
lola: reporting
lola: not produced: 577
lola: state equation: 37
lola: find path: 2639
lola: goal oriented search: 198
lola: symmetry: 1921
lola: reporting
lola: not produced: 569
lola: state equation: 37
lola: find path: 2644
lola: goal oriented search: 198
lola: symmetry: 1924
sara: warning, failure of lp_solve (at job 86)
lola: reporting
lola: not produced: 569
lola: state equation: 37
lola: find path: 2644
lola: goal oriented search: 198
lola: symmetry: 1924
lola: reporting
lola: not produced: 569
lola: state equation: 37
lola: find path: 2644
lola: goal oriented search: 198
lola: symmetry: 1924
lola: reporting
lola: not produced: 569
lola: state equation: 37
lola: find path: 2644
lola: goal oriented search: 198
lola: symmetry: 1924
lola: reporting
lola: not produced: 569
lola: state equation: 37
lola: find path: 2644
lola: goal oriented search: 198
lola: symmetry: 1924
lola: reporting
lola: not produced: 569
lola: state equation: 37
lola: find path: 2644
lola: goal oriented search: 198
lola: symmetry: 1924
lola: reporting
lola: not produced: 569
lola: state equation: 37
lola: find path: 2644
lola: goal oriented search: 198
lola: symmetry: 1924
lola: reporting
lola: not produced: 569
lola: state equation: 37
lola: find path: 2644
lola: goal oriented search: 198
lola: symmetry: 1924
lola: reporting
lola: not produced: 559
lola: state equation: 37
lola: find path: 2650
lola: goal oriented search: 198
lola: symmetry: 1928
lola: reporting
lola: not produced: 559
lola: state equation: 37
lola: find path: 2650
lola: goal oriented search: 198
lola: symmetry: 1928
lola: reporting
lola: not produced: 559
lola: state equation: 37
lola: find path: 2650
lola: goal oriented search: 198
lola: symmetry: 1928
lola: reporting
lola: not produced: 559
lola: state equation: 37
lola: find path: 2650
lola: goal oriented search: 198
lola: symmetry: 1928
lola: reporting
lola: not produced: 559
lola: state equation: 37
lola: find path: 2650
lola: goal oriented search: 198
lola: symmetry: 1928
lola: reporting
lola: not produced: 559
lola: state equation: 37
lola: find path: 2650
lola: goal oriented search: 198
lola: symmetry: 1928
lola: reporting
lola: not produced: 549
lola: state equation: 37
lola: find path: 2656
lola: goal oriented search: 198
lola: symmetry: 1932
lola: reporting
lola: not produced: 549
lola: state equation: 37
lola: find path: 2656
lola: goal oriented search: 198
lola: symmetry: 1932
lola: reporting
lola: not produced: 549
lola: state equation: 37
lola: find path: 2656
lola: goal oriented search: 198
lola: symmetry: 1932
lola: reporting
lola: not produced: 549
lola: state equation: 37
lola: find path: 2656
lola: goal oriented search: 198
lola: symmetry: 1932
lola: reporting
lola: not produced: 539
lola: state equation: 37
lola: find path: 2662
lola: goal oriented search: 198
lola: symmetry: 1936
lola: reporting
lola: not produced: 539
lola: state equation: 37
lola: find path: 2662
lola: goal oriented search: 198
lola: symmetry: 1936
lola: reporting
lola: not produced: 539
lola: state equation: 37
lola: find path: 2662
lola: goal oriented search: 198
lola: symmetry: 1936
lola: reporting
lola: not produced: 539
lola: state equation: 37
lola: find path: 2662
lola: goal oriented search: 198
lola: symmetry: 1936
lola: reporting
lola: not produced: 539
lola: state equation: 37
lola: find path: 2662
lola: goal oriented search: 198
lola: symmetry: 1936
lola: reporting
lola: not produced: 539
lola: state equation: 37
lola: find path: 2662
lola: goal oriented search: 198
lola: symmetry: 1936
lola: reporting
lola: not produced: 539
lola: state equation: 37
lola: find path: 2662
lola: goal oriented search: 198
lola: symmetry: 1936
lola: reporting
lola: not produced: 539
lola: state equation: 37
lola: find path: 2662
lola: goal oriented search: 198
lola: symmetry: 1936
lola: reporting
lola: not produced: 539
lola: state equation: 37
lola: find path: 2662
lola: goal oriented search: 198
lola: symmetry: 1936
lola: reporting
lola: not produced: 539
lola: state equation: 37
lola: find path: 2662
lola: goal oriented search: 198
lola: symmetry: 1936
lola: reporting
lola: not produced: 529
lola: state equation: 37
lola: find path: 2668
lola: goal oriented search: 198
lola: symmetry: 1940
lola: reporting
lola: not produced: 529
lola: state equation: 37
lola: find path: 2668
lola: goal oriented search: 198
lola: symmetry: 1940
lola: reporting
lola: not produced: 529
lola: state equation: 37
lola: find path: 2668
lola: goal oriented search: 198
lola: symmetry: 1940
lola: STATE EQUATION TRIES PLACE p2339
sara: try reading problem file stateEquationProblem-ConstantPlace-2227.sara.
lola: reporting
lola: not produced: 528
lola: state equation: 38
lola: find path: 2668
lola: goal oriented search: 198
lola: symmetry: 1940
lola: reporting
lola: not produced: 528
lola: state equation: 38
lola: find path: 2668
lola: goal oriented search: 198
lola: symmetry: 1940
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2517
sara: try reading problem file stateEquationProblem-ConstantPlace-2976.sara.
lola: reporting
lola: not produced: 517
lola: state equation: 39
lola: find path: 2674
lola: goal oriented search: 198
lola: symmetry: 1944
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 517
lola: state equation: 39
lola: find path: 2674
lola: goal oriented search: 198
lola: symmetry: 1944
lola: reporting
lola: not produced: 517
lola: state equation: 39
lola: find path: 2674
lola: goal oriented search: 198
lola: symmetry: 1944
lola: reporting
lola: not produced: 517
lola: state equation: 39
lola: find path: 2674
lola: goal oriented search: 198
lola: symmetry: 1944
lola: reporting
lola: not produced: 517
lola: state equation: 39
lola: find path: 2674
lola: goal oriented search: 198
lola: symmetry: 1944
lola: reporting
lola: not produced: 517
lola: state equation: 39
lola: find path: 2674
lola: goal oriented search: 198
lola: symmetry: 1944
lola: STATE EQUATION TRIES PLACE p3238
sara: try reading problem file stateEquationProblem-ConstantPlace-718.sara.
lola: reporting
lola: not produced: 516
lola: state equation: 40
lola: find path: 2674
lola: goal oriented search: 198
lola: symmetry: 1944
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 516
lola: state equation: 40
lola: find path: 2674
lola: goal oriented search: 198
lola: symmetry: 1944
lola: reporting
lola: not produced: 506
lola: state equation: 40
lola: find path: 2680
lola: goal oriented search: 198
lola: symmetry: 1948
lola: reporting
lola: not produced: 506
lola: state equation: 40
lola: find path: 2680
lola: goal oriented search: 198
lola: symmetry: 1948
lola: STATE EQUATION TRIES PLACE p1230
sara: try reading problem file stateEquationProblem-ConstantPlace-3095.sara.
lola: reporting
lola: not produced: 505
lola: state equation: 41
lola: find path: 2680
lola: goal oriented search: 198
lola: symmetry: 1948
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1797
sara: try reading problem file stateEquationProblem-ConstantPlace-4997.sara.
lola: reporting
lola: not produced: 503
lola: state equation: 42
lola: find path: 2680
lola: goal oriented search: 198
lola: symmetry: 1949
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 503
lola: state equation: 42
lola: find path: 2680
lola: goal oriented search: 198
lola: symmetry: 1949
lola: reporting
lola: not produced: 495
lola: state equation: 42
lola: find path: 2683
lola: goal oriented search: 198
lola: symmetry: 1954
lola: reporting
lola: not produced: 495
lola: state equation: 42
lola: find path: 2683
lola: goal oriented search: 198
lola: symmetry: 1954
lola: STATE EQUATION TRIES PLACE p1246
sara: try reading problem file stateEquationProblem-ConstantPlace-3134.sara.
lola: reporting
lola: not produced: 494
lola: state equation: 43
lola: find path: 2683
lola: goal oriented search: 198
lola: symmetry: 1954
lola: reporting
lola: not produced: 494
lola: state equation: 43
lola: find path: 2683
lola: goal oriented search: 198
lola: symmetry: 1954
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1254
sara: try reading problem file stateEquationProblem-ConstantPlace-3150.sara.
lola: reporting
lola: not produced: 492
lola: state equation: 44
lola: find path: 2683
lola: goal oriented search: 198
lola: symmetry: 1955
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p4531
sara: try reading problem file stateEquationProblem-ConstantPlace-641.sara.
lola: reporting
lola: not produced: 491
lola: state equation: 45
lola: find path: 2683
lola: goal oriented search: 198
lola: symmetry: 1955
lola: reporting
lola: not produced: 491
lola: state equation: 45
lola: find path: 2683
lola: goal oriented search: 198
lola: symmetry: 1955
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 491
lola: state equation: 45
lola: find path: 2683
lola: goal oriented search: 198
lola: symmetry: 1955
lola: reporting
lola: not produced: 491
lola: state equation: 45
lola: find path: 2683
lola: goal oriented search: 198
lola: symmetry: 1955
lola: reporting
lola: not produced: 481
lola: state equation: 45
lola: find path: 2689
lola: goal oriented search: 198
lola: symmetry: 1959
lola: reporting
lola: not produced: 471
lola: state equation: 45
lola: find path: 2695
lola: goal oriented search: 198
lola: symmetry: 1963
lola: reporting
lola: not produced: 471
lola: state equation: 45
lola: find path: 2695
lola: goal oriented search: 198
lola: symmetry: 1963
lola: reporting
lola: not produced: 471
lola: state equation: 45
lola: find path: 2695
lola: goal oriented search: 198
lola: symmetry: 1963
lola: reporting
lola: not produced: 471
lola: state equation: 45
lola: find path: 2695
lola: goal oriented search: 198
lola: symmetry: 1963
lola: reporting
lola: not produced: 471
lola: state equation: 45
lola: find path: 2695
lola: goal oriented search: 198
lola: symmetry: 1963
lola: reporting
lola: not produced: 461
lola: state equation: 45
lola: find path: 2701
lola: goal oriented search: 198
lola: symmetry: 1967
lola: reporting
lola: not produced: 461
lola: state equation: 45
lola: find path: 2701
lola: goal oriented search: 198
lola: symmetry: 1967
lola: reporting
lola: not produced: 461
lola: state equation: 45
lola: find path: 2701
lola: goal oriented search: 198
lola: symmetry: 1967
lola: STATE EQUATION TRIES PLACE p3630
sara: try reading problem file stateEquationProblem-ConstantPlace-2092.sara.
lola: reporting
lola: not produced: 460
lola: state equation: 46
lola: find path: 2701
lola: goal oriented search: 198
lola: symmetry: 1967
lola: reporting
lola: not produced: 460
lola: state equation: 46
lola: find path: 2701
lola: goal oriented search: 198
lola: symmetry: 1967
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 460
lola: state equation: 46
lola: find path: 2701
lola: goal oriented search: 198
lola: symmetry: 1967
lola: reporting
lola: not produced: 460
lola: state equation: 46
lola: find path: 2701
lola: goal oriented search: 198
lola: symmetry: 1967
lola: reporting
lola: not produced: 460
lola: state equation: 46
lola: find path: 2701
lola: goal oriented search: 198
lola: symmetry: 1967
lola: reporting
lola: not produced: 450
lola: state equation: 46
lola: find path: 2707
lola: goal oriented search: 198
lola: symmetry: 1971
lola: reporting
lola: not produced: 450
lola: state equation: 46
lola: find path: 2707
lola: goal oriented search: 198
lola: symmetry: 1971
lola: reporting
lola: not produced: 450
lola: state equation: 46
lola: find path: 2707
lola: goal oriented search: 198
lola: symmetry: 1971
lola: reporting
lola: not produced: 450
lola: state equation: 46
lola: find path: 2707
lola: goal oriented search: 198
lola: symmetry: 1971
lola: reporting
lola: not produced: 440
lola: state equation: 46
lola: find path: 2713
lola: goal oriented search: 198
lola: symmetry: 1975
lola: reporting
lola: not produced: 440
lola: state equation: 46
lola: find path: 2713
lola: goal oriented search: 198
lola: symmetry: 1975
lola: reporting
lola: not produced: 440
lola: state equation: 46
lola: find path: 2713
lola: goal oriented search: 198
lola: symmetry: 1975
lola: reporting
lola: not produced: 440
lola: state equation: 46
lola: find path: 2713
lola: goal oriented search: 198
lola: symmetry: 1975
lola: STATE EQUATION TRIES PLACE p4211
sara: try reading problem file stateEquationProblem-ConstantPlace-111.sara.
lola: reporting
lola: not produced: 438
lola: state equation: 47
lola: find path: 2713
lola: goal oriented search: 198
lola: symmetry: 1976
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 438
lola: state equation: 47
lola: find path: 2713
lola: goal oriented search: 198
lola: symmetry: 1976
lola: reporting
lola: not produced: 438
lola: state equation: 47
lola: find path: 2713
lola: goal oriented search: 198
lola: symmetry: 1976
lola: reporting
lola: not produced: 438
lola: state equation: 47
lola: find path: 2713
lola: goal oriented search: 198
lola: symmetry: 1976
lola: reporting
lola: not produced: 438
lola: state equation: 47
lola: find path: 2713
lola: goal oriented search: 198
lola: symmetry: 1976
lola: reporting
lola: not produced: 438
lola: state equation: 47
lola: find path: 2713
lola: goal oriented search: 198
lola: symmetry: 1976
lola: reporting
lola: not produced: 438
lola: state equation: 47
lola: find path: 2713
lola: goal oriented search: 198
lola: symmetry: 1976
lola: reporting
lola: not produced: 438
lola: state equation: 47
lola: find path: 2713
lola: goal oriented search: 198
lola: symmetry: 1976
lola: reporting
lola: not produced: 438
lola: state equation: 47
lola: find path: 2713
lola: goal oriented search: 198
lola: symmetry: 1976
lola: STATE EQUATION TRIES PLACE p3325
sara: try reading problem file stateEquationProblem-ConstantPlace-892.sara.
lola: reporting
lola: not produced: 437
lola: state equation: 48
lola: find path: 2713
lola: goal oriented search: 198
lola: symmetry: 1976
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 437
lola: state equation: 48
lola: find path: 2713
lola: goal oriented search: 198
lola: symmetry: 1976
lola: STATE EQUATION TRIES PLACE p2763
sara: try reading problem file stateEquationProblem-ConstantPlace-3805.sara.
lola: reporting
lola: not produced: 435
lola: state equation: 49
lola: find path: 2713
lola: goal oriented search: 198
lola: symmetry: 1977
lola: reporting
lola: not produced: 435
lola: state equation: 49
lola: find path: 2713
lola: goal oriented search: 198
lola: symmetry: 1977
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 435
lola: state equation: 49
lola: find path: 2713
lola: goal oriented search: 198
lola: symmetry: 1977
lola: reporting
lola: not produced: 435
lola: state equation: 49
lola: find path: 2713
lola: goal oriented search: 198
lola: symmetry: 1977
lola: STATE EQUATION TRIES PLACE p1979
sara: try reading problem file stateEquationProblem-ConstantPlace-79.sara.
lola: reporting
lola: not produced: 433
lola: state equation: 50
lola: find path: 2713
lola: goal oriented search: 198
lola: symmetry: 1978
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 433
lola: state equation: 50
lola: find path: 2713
lola: goal oriented search: 198
lola: symmetry: 1978
lola: STATE EQUATION TRIES PLACE p162
sara: try reading problem file stateEquationProblem-ConstantPlace-1222.sara.
lola: reporting
lola: not produced: 432
lola: state equation: 51
lola: find path: 2713
lola: goal oriented search: 198
lola: symmetry: 1978
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3273
sara: try reading problem file stateEquationProblem-ConstantPlace-783.sara.
lola: reporting
lola: not produced: 428
lola: state equation: 52
lola: find path: 2713
lola: goal oriented search: 198
lola: symmetry: 1981
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 428
lola: state equation: 52
lola: find path: 2713
lola: goal oriented search: 198
lola: symmetry: 1981
lola: reporting
lola: not produced: 428
lola: state equation: 52
lola: find path: 2713
lola: goal oriented search: 198
lola: symmetry: 1981
lola: reporting
lola: not produced: 419
lola: state equation: 52
lola: find path: 2718
lola: goal oriented search: 198
lola: symmetry: 1985
lola: reporting
lola: not produced: 419
lola: state equation: 52
lola: find path: 2718
lola: goal oriented search: 198
lola: symmetry: 1985
lola: reporting
lola: not produced: 419
lola: state equation: 52
lola: find path: 2718
lola: goal oriented search: 198
lola: symmetry: 1985
lola: reporting
lola: not produced: 419
lola: state equation: 52
lola: find path: 2718
lola: goal oriented search: 198
lola: symmetry: 1985
lola: reporting
lola: not produced: 419
lola: state equation: 52
lola: find path: 2718
lola: goal oriented search: 198
lola: symmetry: 1985
lola: reporting
lola: not produced: 419
lola: state equation: 52
lola: find path: 2718
lola: goal oriented search: 198
lola: symmetry: 1985
lola: reporting
lola: not produced: 419
lola: state equation: 52
lola: find path: 2718
lola: goal oriented search: 198
lola: symmetry: 1985
lola: reporting
lola: not produced: 419
lola: state equation: 52
lola: find path: 2718
lola: goal oriented search: 198
lola: symmetry: 1985
lola: STATE EQUATION TRIES PLACE p2752
sara: try reading problem file stateEquationProblem-ConstantPlace-3783.sara.
lola: reporting
lola: not produced: 417
lola: state equation: 53
lola: find path: 2718
lola: goal oriented search: 198
lola: symmetry: 1986
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 417
lola: state equation: 53
lola: find path: 2718
lola: goal oriented search: 198
lola: symmetry: 1986
lola: reporting
lola: not produced: 417
lola: state equation: 53
lola: find path: 2718
lola: goal oriented search: 198
lola: symmetry: 1986
lola: reporting
lola: not produced: 417
lola: state equation: 53
lola: find path: 2718
lola: goal oriented search: 198
lola: symmetry: 1986
sara: warning, failure of lp_solve (at job 29)
lola: reporting
lola: not produced: 417
lola: state equation: 53
lola: find path: 2718
lola: goal oriented search: 198
lola: symmetry: 1986
lola: reporting
lola: not produced: 407
lola: state equation: 53
lola: find path: 2724
lola: goal oriented search: 198
lola: symmetry: 1990
lola: reporting
lola: not produced: 407
lola: state equation: 53
lola: find path: 2724
lola: goal oriented search: 198
lola: symmetry: 1990
lola: reporting
lola: not produced: 407
lola: state equation: 53
lola: find path: 2724
lola: goal oriented search: 198
lola: symmetry: 1990
lola: reporting
lola: not produced: 407
lola: state equation: 53
lola: find path: 2724
lola: goal oriented search: 198
lola: symmetry: 1990
lola: STATE EQUATION TRIES PLACE p4260
sara: try reading problem file stateEquationProblem-ConstantPlace-160.sara.
lola: reporting
lola: not produced: 405
lola: state equation: 54
lola: find path: 2724
lola: goal oriented search: 198
lola: symmetry: 1991
lola: reporting
lola: not produced: 405
lola: state equation: 54
lola: find path: 2724
lola: goal oriented search: 198
lola: symmetry: 1991
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 405
lola: state equation: 54
lola: find path: 2724
lola: goal oriented search: 198
lola: symmetry: 1991
lola: reporting
lola: not produced: 405
lola: state equation: 54
lola: find path: 2724
lola: goal oriented search: 198
lola: symmetry: 1991
lola: reporting
lola: not produced: 405
lola: state equation: 54
lola: find path: 2724
lola: goal oriented search: 198
lola: symmetry: 1991
lola: reporting
lola: not produced: 405
lola: state equation: 54
lola: find path: 2724
lola: goal oriented search: 198
lola: symmetry: 1991
lola: reporting
lola: not produced: 405
lola: state equation: 54
lola: find path: 2724
lola: goal oriented search: 198
lola: symmetry: 1991
lola: reporting
lola: not produced: 405
lola: state equation: 54
lola: find path: 2724
lola: goal oriented search: 198
lola: symmetry: 1991
lola: reporting
lola: not produced: 405
lola: state equation: 54
lola: find path: 2724
lola: goal oriented search: 198
lola: symmetry: 1991
lola: reporting
lola: not produced: 405
lola: state equation: 54
lola: find path: 2724
lola: goal oriented search: 198
lola: symmetry: 1991
lola: reporting
lola: not produced: 405
lola: state equation: 54
lola: find path: 2724
lola: goal oriented search: 198
lola: symmetry: 1991
lola: reporting
lola: not produced: 405
lola: state equation: 54
lola: find path: 2724
lola: goal oriented search: 198
lola: symmetry: 1991
lola: reporting
lola: not produced: 405
lola: state equation: 54
lola: find path: 2724
lola: goal oriented search: 198
lola: symmetry: 1991
lola: reporting
lola: not produced: 405
lola: state equation: 54
lola: find path: 2724
lola: goal oriented search: 198
lola: symmetry: 1991
lola: STATE EQUATION TRIES PLACE p4511
sara: try reading problem file stateEquationProblem-ConstantPlace-621.sara.
lola: reporting
lola: not produced: 396
lola: state equation: 55
lola: find path: 2729
lola: goal oriented search: 198
lola: symmetry: 1994
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 396
lola: state equation: 55
lola: find path: 2729
lola: goal oriented search: 198
lola: symmetry: 1994
lola: reporting
lola: not produced: 386
lola: state equation: 55
lola: find path: 2735
lola: goal oriented search: 198
lola: symmetry: 1998
lola: reporting
lola: not produced: 386
lola: state equation: 55
lola: find path: 2735
lola: goal oriented search: 198
lola: symmetry: 1998
lola: reporting
lola: not produced: 386
lola: state equation: 55
lola: find path: 2735
lola: goal oriented search: 198
lola: symmetry: 1998
lola: reporting
lola: not produced: 386
lola: state equation: 55
lola: find path: 2735
lola: goal oriented search: 198
lola: symmetry: 1998
lola: reporting
lola: not produced: 386
lola: state equation: 55
lola: find path: 2735
lola: goal oriented search: 198
lola: symmetry: 1998
lola: reporting
lola: not produced: 386
lola: state equation: 55
lola: find path: 2735
lola: goal oriented search: 198
lola: symmetry: 1998
lola: reporting
lola: not produced: 377
lola: state equation: 55
lola: find path: 2740
lola: goal oriented search: 198
lola: symmetry: 2002
lola: reporting
lola: not produced: 367
lola: state equation: 55
lola: find path: 2746
lola: goal oriented search: 198
lola: symmetry: 2006
lola: reporting
lola: not produced: 367
lola: state equation: 55
lola: find path: 2746
lola: goal oriented search: 198
lola: symmetry: 2006
lola: STATE EQUATION TRIES PLACE p2337
sara: try reading problem file stateEquationProblem-ConstantPlace-2222.sara.
lola: reporting
lola: not produced: 366
lola: state equation: 56
lola: find path: 2746
lola: goal oriented search: 198
lola: symmetry: 2006
lola: reporting
lola: not produced: 359
lola: state equation: 56
lola: find path: 2750
lola: goal oriented search: 198
lola: symmetry: 2009
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 349
lola: state equation: 56
lola: find path: 2756
lola: goal oriented search: 198
lola: symmetry: 2013
lola: reporting
lola: not produced: 349
lola: state equation: 56
lola: find path: 2756
lola: goal oriented search: 198
lola: symmetry: 2013
lola: reporting
lola: not produced: 349
lola: state equation: 56
lola: find path: 2756
lola: goal oriented search: 198
lola: symmetry: 2013
lola: reporting
lola: not produced: 349
lola: state equation: 56
lola: find path: 2756
lola: goal oriented search: 198
lola: symmetry: 2013
lola: reporting
lola: not produced: 349
lola: state equation: 56
lola: find path: 2756
lola: goal oriented search: 198
lola: symmetry: 2013
lola: reporting
lola: not produced: 349
lola: state equation: 56
lola: find path: 2756
lola: goal oriented search: 198
lola: symmetry: 2013
lola: reporting
lola: not produced: 349
lola: state equation: 56
lola: find path: 2756
lola: goal oriented search: 198
lola: symmetry: 2013
lola: reporting
lola: not produced: 349
lola: state equation: 56
lola: find path: 2756
lola: goal oriented search: 198
lola: symmetry: 2013
lola: STATE EQUATION TRIES PLACE p2764
sara: try reading problem file stateEquationProblem-ConstantPlace-3807.sara.
lola: reporting
lola: not produced: 348
lola: state equation: 57
lola: find path: 2756
lola: goal oriented search: 198
lola: symmetry: 2013
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 338
lola: state equation: 57
lola: find path: 2762
lola: goal oriented search: 198
lola: symmetry: 2017
lola: reporting
lola: not produced: 338
lola: state equation: 57
lola: find path: 2762
lola: goal oriented search: 198
lola: symmetry: 2017
lola: STATE EQUATION TRIES PLACE p3270
lola: reporting
lola: not produced: 336
lola: state equation: 58
lola: find path: 2762
lola: goal oriented search: 198
lola: symmetry: 2018
sara: try reading problem file stateEquationProblem-ConstantPlace-780.sara.
lola: caught signal Terminated - aborting LoLA
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Time elapsed: 1800 secs. Pages in use: 137
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-20b"
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-5348"
echo " Executing tool lola"
echo " Input is FlexibleBarrier-PT-20b, 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 r180-tall-167838867800363"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-20b.tgz
mv FlexibleBarrier-PT-20b 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 ;