About the Execution of LoLA for FlexibleBarrier-PT-18b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4897.443 | 1800000.00 | 7196720.00 | 12.50 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r180-tall-167838867800353.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-18b, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r180-tall-167838867800353
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 6.6K Feb 25 12:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 25 12:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 12:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 12:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 12:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 104K Feb 25 12:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 12:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 95K Feb 25 12:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:07 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.2M 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 1679417689859
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-18b
Not applying reductions.
Model is PT
StableMarking PT
starting LoLA
BK_INPUT FlexibleBarrier-PT-18b
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: 16393216 kB
MemFree: 11414672 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16146756 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 p3190
sara: try reading problem file stateEquationProblem-ConstantPlace-470.sara.
lola: LAUNCH SYMM
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 3058
lola: find path: 850
lola: goal oriented search: 59
lola: symmetry: 403
lola: reporting
lola: not produced: 2922
lola: find path: 957
lola: goal oriented search: 59
lola: symmetry: 432
lola: reporting
lola: not produced: 2715
lola: find path: 1073
lola: goal oriented search: 59
lola: symmetry: 523
lola: STATE EQUATION TRIES PLACE p2758
sara: try reading problem file stateEquationProblem-ConstantPlace-3165.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2538
lola: state equation: 1
lola: find path: 1166
lola: goal oriented search: 59
lola: symmetry: 606
lola: STATE EQUATION TRIES PLACE p325
sara: try reading problem file stateEquationProblem-ConstantPlace-1405.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2393
lola: state equation: 2
lola: find path: 1235
lola: goal oriented search: 59
lola: symmetry: 681
lola: STATE EQUATION TRIES PLACE p262
sara: try reading problem file stateEquationProblem-ConstantPlace-1152.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2319
lola: state equation: 3
lola: find path: 1279
lola: goal oriented search: 59
lola: symmetry: 710
lola: STATE EQUATION TRIES PLACE p3135
sara: try reading problem file stateEquationProblem-ConstantPlace-415.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2259
lola: state equation: 4
lola: find path: 1315
lola: goal oriented search: 59
lola: symmetry: 733
lola: reporting
lola: not produced: 2203
lola: state equation: 4
lola: find path: 1344
lola: goal oriented search: 59
lola: symmetry: 760
lola: reporting
lola: not produced: 2173
lola: state equation: 4
lola: find path: 1356
lola: goal oriented search: 59
lola: symmetry: 778
lola: STATE EQUATION TRIES PLACE p3043
sara: try reading problem file stateEquationProblem-ConstantPlace-313.sara.
lola: reporting
lola: not produced: 2101
lola: state equation: 5
lola: find path: 1398
lola: goal oriented search: 59
lola: symmetry: 807
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2011
lola: state equation: 5
lola: find path: 1452
lola: goal oriented search: 59
lola: symmetry: 843
lola: reporting
lola: not produced: 1981
lola: state equation: 5
lola: find path: 1464
lola: goal oriented search: 59
lola: symmetry: 861
lola: reporting
lola: not produced: 1900
lola: state equation: 5
lola: find path: 1513
lola: goal oriented search: 59
lola: symmetry: 893
lola: reporting
lola: not produced: 1854
lola: state equation: 5
lola: find path: 1536
lola: goal oriented search: 59
lola: symmetry: 916
lola: reporting
lola: not produced: 1784
lola: state equation: 5
lola: find path: 1566
lola: goal oriented search: 59
lola: symmetry: 956
lola: reporting
lola: not produced: 1704
lola: state equation: 5
lola: find path: 1608
lola: goal oriented search: 59
lola: symmetry: 994
lola: reporting
lola: not produced: 1684
lola: state equation: 5
lola: find path: 1620
lola: goal oriented search: 59
lola: symmetry: 1002
lola: reporting
lola: not produced: 1634
lola: state equation: 5
lola: find path: 1650
lola: goal oriented search: 59
lola: symmetry: 1022
lola: STATE EQUATION TRIES PLACE p628
sara: try reading problem file stateEquationProblem-ConstantPlace-2608.sara.
lola: reporting
lola: not produced: 1614
lola: state equation: 6
lola: find path: 1662
lola: goal oriented search: 59
lola: symmetry: 1029
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2308
sara: try reading problem file stateEquationProblem-ConstantPlace-1518.sara.
lola: reporting
lola: not produced: 1572
lola: state equation: 7
lola: find path: 1680
lola: goal oriented search: 59
lola: symmetry: 1052
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1552
lola: state equation: 7
lola: find path: 1692
lola: goal oriented search: 59
lola: symmetry: 1060
lola: reporting
lola: not produced: 1454
lola: state equation: 7
lola: find path: 1733
lola: goal oriented search: 59
lola: symmetry: 1117
lola: STATE EQUATION TRIES PLACE p1244
sara: try reading problem file stateEquationProblem-ConstantPlace-2500.sara.
lola: reporting
lola: not produced: 1432
lola: state equation: 8
lola: find path: 1745
lola: goal oriented search: 59
lola: symmetry: 1126
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3269
sara: try reading problem file stateEquationProblem-ConstantPlace-549.sara.
lola: reporting
lola: not produced: 1400
lola: state equation: 9
lola: find path: 1757
lola: goal oriented search: 59
lola: symmetry: 1145
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1390
lola: state equation: 9
lola: find path: 1763
lola: goal oriented search: 59
lola: symmetry: 1149
lola: reporting
lola: not produced: 1370
lola: state equation: 9
lola: find path: 1769
lola: goal oriented search: 59
lola: symmetry: 1163
lola: reporting
lola: not produced: 1340
lola: state equation: 9
lola: find path: 1787
lola: goal oriented search: 59
lola: symmetry: 1175
lola: reporting
lola: not produced: 1320
lola: state equation: 9
lola: find path: 1799
lola: goal oriented search: 59
lola: symmetry: 1183
lola: reporting
lola: not produced: 1282
lola: state equation: 9
lola: find path: 1816
lola: goal oriented search: 59
lola: symmetry: 1204
lola: reporting
lola: not produced: 1272
lola: state equation: 9
lola: find path: 1822
lola: goal oriented search: 59
lola: symmetry: 1208
lola: reporting
lola: not produced: 1258
lola: state equation: 9
lola: find path: 1832
lola: goal oriented search: 59
lola: symmetry: 1212
lola: reporting
lola: not produced: 1238
lola: state equation: 9
lola: find path: 1844
lola: goal oriented search: 59
lola: symmetry: 1220
lola: STATE EQUATION TRIES PLACE p4052
sara: try reading problem file stateEquationProblem-ConstantPlace-4122.sara.
lola: reporting
lola: not produced: 1227
lola: state equation: 10
lola: find path: 1850
lola: goal oriented search: 59
lola: symmetry: 1224
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1207
lola: state equation: 10
lola: find path: 1862
lola: goal oriented search: 59
lola: symmetry: 1232
lola: reporting
lola: not produced: 1157
lola: state equation: 10
lola: find path: 1880
lola: goal oriented search: 59
lola: symmetry: 1264
lola: reporting
lola: not produced: 1127
lola: state equation: 10
lola: find path: 1898
lola: goal oriented search: 59
lola: symmetry: 1276
lola: reporting
lola: not produced: 1107
lola: state equation: 10
lola: find path: 1910
lola: goal oriented search: 59
lola: symmetry: 1284
lola: reporting
lola: not produced: 1097
lola: state equation: 10
lola: find path: 1916
lola: goal oriented search: 59
lola: symmetry: 1288
lola: reporting
lola: not produced: 1047
lola: state equation: 10
lola: find path: 1946
lola: goal oriented search: 59
lola: symmetry: 1308
lola: reporting
lola: not produced: 1017
lola: state equation: 10
lola: find path: 1964
lola: goal oriented search: 59
lola: symmetry: 1320
lola: reporting
lola: not produced: 977
lola: state equation: 10
lola: find path: 1982
lola: goal oriented search: 59
lola: symmetry: 1342
lola: reporting
lola: not produced: 967
lola: state equation: 10
lola: find path: 1988
lola: goal oriented search: 59
lola: symmetry: 1346
lola: reporting
lola: not produced: 947
lola: state equation: 10
lola: find path: 2000
lola: goal oriented search: 59
lola: symmetry: 1354
lola: STATE EQUATION TRIES PLACE p3847
sara: try reading problem file stateEquationProblem-ConstantPlace-2343.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 945
lola: state equation: 11
lola: find path: 2000
lola: goal oriented search: 59
lola: symmetry: 1355
lola: STATE EQUATION TRIES PLACE p944
sara: try reading problem file stateEquationProblem-ConstantPlace-3624.sara.
lola: reporting
lola: not produced: 893
lola: state equation: 12
lola: find path: 2024
lola: goal oriented search: 59
lola: symmetry: 1382
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3544
sara: try reading problem file stateEquationProblem-ConstantPlace-1237.sara.
lola: reporting
lola: not produced: 881
lola: state equation: 13
lola: find path: 2030
lola: goal oriented search: 59
lola: symmetry: 1387
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 871
lola: state equation: 13
lola: find path: 2036
lola: goal oriented search: 59
lola: symmetry: 1391
lola: reporting
lola: not produced: 851
lola: state equation: 13
lola: find path: 2048
lola: goal oriented search: 59
lola: symmetry: 1399
lola: reporting
lola: not produced: 851
lola: state equation: 13
lola: find path: 2048
lola: goal oriented search: 59
lola: symmetry: 1399
lola: reporting
lola: not produced: 833
lola: state equation: 13
lola: find path: 2059
lola: goal oriented search: 59
lola: symmetry: 1406
lola: reporting
lola: not produced: 833
lola: state equation: 13
lola: find path: 2059
lola: goal oriented search: 59
lola: symmetry: 1406
lola: reporting
lola: not produced: 814
lola: state equation: 13
lola: find path: 2070
lola: goal oriented search: 59
lola: symmetry: 1414
lola: reporting
lola: not produced: 794
lola: state equation: 13
lola: find path: 2082
lola: goal oriented search: 59
lola: symmetry: 1422
lola: reporting
lola: not produced: 784
lola: state equation: 13
lola: find path: 2088
lola: goal oriented search: 59
lola: symmetry: 1426
lola: reporting
lola: not produced: 754
lola: state equation: 13
lola: find path: 2106
lola: goal oriented search: 59
lola: symmetry: 1438
lola: reporting
lola: not produced: 754
lola: state equation: 13
lola: find path: 2106
lola: goal oriented search: 59
lola: symmetry: 1438
lola: STATE EQUATION TRIES PLACE p2129
sara: try reading problem file stateEquationProblem-ConstantPlace-969.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 743
lola: state equation: 14
lola: find path: 2112
lola: goal oriented search: 59
lola: symmetry: 1442
lola: STATE EQUATION TRIES PLACE p4334
sara: try reading problem file stateEquationProblem-ConstantPlace-237.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 742
lola: state equation: 15
lola: find path: 2112
lola: goal oriented search: 59
lola: symmetry: 1442
lola: reporting
lola: not produced: 722
lola: state equation: 15
lola: find path: 2124
lola: goal oriented search: 59
lola: symmetry: 1450
lola: STATE EQUATION TRIES PLACE p2680
sara: try reading problem file stateEquationProblem-ConstantPlace-2910.sara.
lola: reporting
lola: not produced: 711
lola: state equation: 16
lola: find path: 2130
lola: goal oriented search: 59
lola: symmetry: 1454
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 711
lola: state equation: 16
lola: find path: 2130
lola: goal oriented search: 59
lola: symmetry: 1454
lola: reporting
lola: not produced: 678
lola: state equation: 16
lola: find path: 2145
lola: goal oriented search: 59
lola: symmetry: 1472
lola: reporting
lola: not produced: 670
lola: state equation: 16
lola: find path: 2150
lola: goal oriented search: 59
lola: symmetry: 1475
lola: reporting
lola: not produced: 660
lola: state equation: 16
lola: find path: 2156
lola: goal oriented search: 59
lola: symmetry: 1479
lola: reporting
lola: not produced: 660
lola: state equation: 16
lola: find path: 2156
lola: goal oriented search: 59
lola: symmetry: 1479
lola: STATE EQUATION TRIES PLACE p2531
sara: try reading problem file stateEquationProblem-ConstantPlace-2374.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 648
lola: state equation: 17
lola: find path: 2162
lola: goal oriented search: 59
lola: symmetry: 1484
lola: STATE EQUATION TRIES PLACE p1124
sara: try reading problem file stateEquationProblem-ConstantPlace-2047.sara.
lola: reporting
lola: not produced: 646
lola: state equation: 18
lola: find path: 2162
lola: goal oriented search: 59
lola: symmetry: 1485
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3505
sara: try reading problem file stateEquationProblem-ConstantPlace-1145.sara.
lola: reporting
lola: not produced: 636
lola: state equation: 19
lola: find path: 2167
lola: goal oriented search: 59
lola: symmetry: 1489
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 636
lola: state equation: 19
lola: find path: 2167
lola: goal oriented search: 59
lola: symmetry: 1489
lola: STATE EQUATION TRIES PLACE p1344
sara: try reading problem file stateEquationProblem-ConstantPlace-2900.sara.
lola: reporting
lola: not produced: 634
lola: state equation: 20
lola: find path: 2167
lola: goal oriented search: 59
lola: symmetry: 1490
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 606
lola: state equation: 20
lola: find path: 2178
lola: goal oriented search: 59
lola: symmetry: 1507
lola: STATE EQUATION TRIES PLACE p2434
sara: try reading problem file stateEquationProblem-ConstantPlace-1983.sara.
lola: reporting
lola: not produced: 574
lola: state equation: 21
lola: find path: 2196
lola: goal oriented search: 59
lola: symmetry: 1520
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p866
sara: try reading problem file stateEquationProblem-ConstantPlace-3346.sara.
lola: reporting
lola: not produced: 572
lola: state equation: 22
lola: find path: 2196
lola: goal oriented search: 59
lola: symmetry: 1521
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 572
lola: state equation: 22
lola: find path: 2196
lola: goal oriented search: 59
lola: symmetry: 1521
lola: STATE EQUATION TRIES PLACE p3142
sara: try reading problem file stateEquationProblem-ConstantPlace-422.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 560
lola: state equation: 23
lola: find path: 2202
lola: goal oriented search: 59
lola: symmetry: 1526
lola: reporting
lola: not produced: 552
lola: state equation: 23
lola: find path: 2207
lola: goal oriented search: 59
lola: symmetry: 1529
lola: STATE EQUATION TRIES PLACE p654
sara: try reading problem file stateEquationProblem-ConstantPlace-2634.sara.
lola: reporting
lola: not produced: 550
lola: state equation: 24
lola: find path: 2207
lola: goal oriented search: 59
lola: symmetry: 1530
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3124
sara: try reading problem file stateEquationProblem-ConstantPlace-404.sara.
lola: reporting
lola: not produced: 549
lola: state equation: 25
lola: find path: 2207
lola: goal oriented search: 59
lola: symmetry: 1530
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 549
lola: state equation: 25
lola: find path: 2207
lola: goal oriented search: 59
lola: symmetry: 1530
lola: reporting
lola: not produced: 549
lola: state equation: 25
lola: find path: 2207
lola: goal oriented search: 59
lola: symmetry: 1530
lola: reporting
lola: not produced: 549
lola: state equation: 25
lola: find path: 2207
lola: goal oriented search: 59
lola: symmetry: 1530
lola: reporting
lola: not produced: 541
lola: state equation: 25
lola: find path: 2212
lola: goal oriented search: 59
lola: symmetry: 1533
lola: reporting
lola: not produced: 531
lola: state equation: 25
lola: find path: 2218
lola: goal oriented search: 59
lola: symmetry: 1537
lola: reporting
lola: not produced: 521
lola: state equation: 25
lola: find path: 2224
lola: goal oriented search: 59
lola: symmetry: 1541
lola: reporting
lola: not produced: 521
lola: state equation: 25
lola: find path: 2224
lola: goal oriented search: 59
lola: symmetry: 1541
lola: STATE EQUATION TRIES PLACE p2888
lola: reporting
lola: not produced: 492
lola: state equation: 26
lola: find path: 2235
lola: goal oriented search: 59
lola: symmetry: 1558
sara: try reading problem file stateEquationProblem-ConstantPlace-3525.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3258
sara: try reading problem file stateEquationProblem-ConstantPlace-538.sara.
lola: reporting
lola: not produced: 491
lola: state equation: 27
lola: find path: 2235
lola: goal oriented search: 59
lola: symmetry: 1558
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 491
lola: state equation: 27
lola: find path: 2235
lola: goal oriented search: 59
lola: symmetry: 1558
lola: reporting
lola: not produced: 481
lola: state equation: 27
lola: find path: 2241
lola: goal oriented search: 59
lola: symmetry: 1562
lola: reporting
lola: not produced: 481
lola: state equation: 27
lola: find path: 2241
lola: goal oriented search: 59
lola: symmetry: 1562
lola: reporting
lola: not produced: 481
lola: state equation: 27
lola: find path: 2241
lola: goal oriented search: 59
lola: symmetry: 1562
lola: reporting
lola: not produced: 481
lola: state equation: 27
lola: find path: 2241
lola: goal oriented search: 59
lola: symmetry: 1562
lola: reporting
lola: not produced: 471
lola: state equation: 27
lola: find path: 2247
lola: goal oriented search: 59
lola: symmetry: 1566
lola: reporting
lola: not produced: 451
lola: state equation: 27
lola: find path: 2259
lola: goal oriented search: 59
lola: symmetry: 1574
lola: reporting
lola: not produced: 451
lola: state equation: 27
lola: find path: 2259
lola: goal oriented search: 59
lola: symmetry: 1574
lola: reporting
lola: not produced: 451
lola: state equation: 27
lola: find path: 2259
lola: goal oriented search: 59
lola: symmetry: 1574
lola: reporting
lola: not produced: 451
lola: state equation: 27
lola: find path: 2259
lola: goal oriented search: 59
lola: symmetry: 1574
lola: reporting
lola: not produced: 451
lola: state equation: 27
lola: find path: 2259
lola: goal oriented search: 59
lola: symmetry: 1574
lola: reporting
lola: not produced: 451
lola: state equation: 27
lola: find path: 2259
lola: goal oriented search: 59
lola: symmetry: 1574
lola: reporting
lola: not produced: 451
lola: state equation: 27
lola: find path: 2259
lola: goal oriented search: 59
lola: symmetry: 1574
lola: reporting
lola: not produced: 451
lola: state equation: 27
lola: find path: 2259
lola: goal oriented search: 59
lola: symmetry: 1574
lola: reporting
lola: not produced: 451
lola: state equation: 27
lola: find path: 2259
lola: goal oriented search: 59
lola: symmetry: 1574
lola: reporting
lola: not produced: 451
lola: state equation: 27
lola: find path: 2259
lola: goal oriented search: 59
lola: symmetry: 1574
lola: reporting
lola: not produced: 451
lola: state equation: 27
lola: find path: 2259
lola: goal oriented search: 59
lola: symmetry: 1574
lola: reporting
lola: not produced: 451
lola: state equation: 27
lola: find path: 2259
lola: goal oriented search: 59
lola: symmetry: 1574
lola: reporting
lola: not produced: 451
lola: state equation: 27
lola: find path: 2259
lola: goal oriented search: 59
lola: symmetry: 1574
lola: reporting
lola: not produced: 451
lola: state equation: 27
lola: find path: 2259
lola: goal oriented search: 59
lola: symmetry: 1574
lola: reporting
lola: not produced: 451
lola: state equation: 27
lola: find path: 2259
lola: goal oriented search: 59
lola: symmetry: 1574
lola: reporting
lola: not produced: 451
lola: state equation: 27
lola: find path: 2259
lola: goal oriented search: 59
lola: symmetry: 1574
lola: reporting
lola: not produced: 431
lola: state equation: 27
lola: find path: 2271
lola: goal oriented search: 59
lola: symmetry: 1582
lola: reporting
lola: not produced: 421
lola: state equation: 27
lola: find path: 2277
lola: goal oriented search: 59
lola: symmetry: 1586
lola: reporting
lola: not produced: 421
lola: state equation: 27
lola: find path: 2277
lola: goal oriented search: 59
lola: symmetry: 1586
lola: reporting
lola: not produced: 421
lola: state equation: 27
lola: find path: 2277
lola: goal oriented search: 59
lola: symmetry: 1586
lola: reporting
lola: not produced: 421
lola: state equation: 27
lola: find path: 2277
lola: goal oriented search: 59
lola: symmetry: 1586
lola: reporting
lola: not produced: 421
lola: state equation: 27
lola: find path: 2277
lola: goal oriented search: 59
lola: symmetry: 1586
lola: reporting
lola: not produced: 403
lola: state equation: 27
lola: find path: 2288
lola: goal oriented search: 59
lola: symmetry: 1593
lola: reporting
lola: not produced: 403
lola: state equation: 27
lola: find path: 2288
lola: goal oriented search: 59
lola: symmetry: 1593
lola: reporting
lola: not produced: 403
lola: state equation: 27
lola: find path: 2288
lola: goal oriented search: 59
lola: symmetry: 1593
lola: reporting
lola: not produced: 403
lola: state equation: 27
lola: find path: 2288
lola: goal oriented search: 59
lola: symmetry: 1593
lola: reporting
lola: not produced: 403
lola: state equation: 27
lola: find path: 2288
lola: goal oriented search: 59
lola: symmetry: 1593
lola: reporting
lola: not produced: 403
lola: state equation: 27
lola: find path: 2288
lola: goal oriented search: 59
lola: symmetry: 1593
lola: reporting
lola: not produced: 403
lola: state equation: 27
lola: find path: 2288
lola: goal oriented search: 59
lola: symmetry: 1593
lola: reporting
lola: not produced: 403
lola: state equation: 27
lola: find path: 2288
lola: goal oriented search: 59
lola: symmetry: 1593
lola: STATE EQUATION TRIES PLACE p770
lola: reporting
lola: not produced: 402
lola: state equation: 28
lola: find path: 2288
lola: goal oriented search: 59
lola: symmetry: 1593
sara: try reading problem file stateEquationProblem-ConstantPlace-3050.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p982
lola: reporting
lola: not produced: 400
lola: state equation: 29
lola: find path: 2288
lola: goal oriented search: 59
lola: symmetry: 1594
sara: try reading problem file stateEquationProblem-ConstantPlace-3692.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2972
lola: reporting
lola: not produced: 399
lola: state equation: 30
lola: find path: 2288
lola: goal oriented search: 59
lola: symmetry: 1594
sara: try reading problem file stateEquationProblem-ConstantPlace-3883.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 399
lola: state equation: 30
lola: find path: 2288
lola: goal oriented search: 59
lola: symmetry: 1594
lola: reporting
lola: not produced: 399
lola: state equation: 30
lola: find path: 2288
lola: goal oriented search: 59
lola: symmetry: 1594
lola: reporting
lola: not produced: 399
lola: state equation: 30
lola: find path: 2288
lola: goal oriented search: 59
lola: symmetry: 1594
lola: reporting
lola: not produced: 399
lola: state equation: 30
lola: find path: 2288
lola: goal oriented search: 59
lola: symmetry: 1594
lola: STATE EQUATION TRIES PLACE p2318
sara: try reading problem file stateEquationProblem-ConstantPlace-1548.sara.
lola: reporting
lola: not produced: 395
lola: state equation: 31
lola: find path: 2288
lola: goal oriented search: 59
lola: symmetry: 1597
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 395
lola: state equation: 31
lola: find path: 2288
lola: goal oriented search: 59
lola: symmetry: 1597
lola: reporting
lola: not produced: 395
lola: state equation: 31
lola: find path: 2288
lola: goal oriented search: 59
lola: symmetry: 1597
lola: reporting
lola: not produced: 395
lola: state equation: 31
lola: find path: 2288
lola: goal oriented search: 59
lola: symmetry: 1597
lola: reporting
lola: not produced: 395
lola: state equation: 31
lola: find path: 2288
lola: goal oriented search: 59
lola: symmetry: 1597
lola: reporting
lola: not produced: 389
lola: state equation: 31
lola: find path: 2291
lola: goal oriented search: 59
lola: symmetry: 1600
lola: STATE EQUATION TRIES PLACE p3128
sara: try reading problem file stateEquationProblem-ConstantPlace-408.sara.
lola: reporting
lola: not produced: 385
lola: state equation: 32
lola: find path: 2291
lola: goal oriented search: 59
lola: symmetry: 1603
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 375
lola: state equation: 32
lola: find path: 2297
lola: goal oriented search: 59
lola: symmetry: 1607
lola: reporting
lola: not produced: 375
lola: state equation: 32
lola: find path: 2297
lola: goal oriented search: 59
lola: symmetry: 1607
lola: reporting
lola: not produced: 375
lola: state equation: 32
lola: find path: 2297
lola: goal oriented search: 59
lola: symmetry: 1607
lola: reporting
lola: not produced: 375
lola: state equation: 32
lola: find path: 2297
lola: goal oriented search: 59
lola: symmetry: 1607
lola: STATE EQUATION TRIES PLACE p663
sara: try reading problem file stateEquationProblem-ConstantPlace-2653.sara.
lola: reporting
lola: not produced: 374
lola: state equation: 33
lola: find path: 2297
lola: goal oriented search: 59
lola: symmetry: 1607
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2862
sara: try reading problem file stateEquationProblem-ConstantPlace-3473.sara.
lola: reporting
lola: not produced: 373
lola: state equation: 34
lola: find path: 2297
lola: goal oriented search: 59
lola: symmetry: 1607
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2508
sara: try reading problem file stateEquationProblem-ConstantPlace-2318.sara.
lola: reporting
lola: not produced: 371
lola: state equation: 35
lola: find path: 2297
lola: goal oriented search: 59
lola: symmetry: 1608
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 371
lola: state equation: 35
lola: find path: 2297
lola: goal oriented search: 59
lola: symmetry: 1608
lola: reporting
lola: not produced: 371
lola: state equation: 35
lola: find path: 2297
lola: goal oriented search: 59
lola: symmetry: 1608
lola: reporting
lola: not produced: 371
lola: state equation: 35
lola: find path: 2297
lola: goal oriented search: 59
lola: symmetry: 1608
lola: reporting
lola: not produced: 371
lola: state equation: 35
lola: find path: 2297
lola: goal oriented search: 59
lola: symmetry: 1608
lola: reporting
lola: not produced: 371
lola: state equation: 35
lola: find path: 2297
lola: goal oriented search: 59
lola: symmetry: 1608
lola: reporting
lola: not produced: 371
lola: state equation: 35
lola: find path: 2297
lola: goal oriented search: 59
lola: symmetry: 1608
lola: STATE EQUATION TRIES PLACE p2130
sara: try reading problem file stateEquationProblem-ConstantPlace-972.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 369
lola: state equation: 36
lola: find path: 2297
lola: goal oriented search: 59
lola: symmetry: 1609
lola: STATE EQUATION TRIES PLACE p1310
sara: try reading problem file stateEquationProblem-ConstantPlace-2805.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 368
lola: state equation: 37
lola: find path: 2297
lola: goal oriented search: 59
lola: symmetry: 1609
lola: STATE EQUATION TRIES PLACE p1144
sara: try reading problem file stateEquationProblem-ConstantPlace-2100.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 367
lola: state equation: 38
lola: find path: 2297
lola: goal oriented search: 59
lola: symmetry: 1609
lola: STATE EQUATION TRIES PLACE p758
sara: try reading problem file stateEquationProblem-ConstantPlace-3038.sara.
lola: reporting
lola: not produced: 366
lola: state equation: 39
lola: find path: 2297
lola: goal oriented search: 59
lola: symmetry: 1609
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p992
sara: try reading problem file stateEquationProblem-ConstantPlace-3722.sara.
lola: reporting
lola: not produced: 364
lola: state equation: 40
lola: find path: 2297
lola: goal oriented search: 59
lola: symmetry: 1610
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3494
sara: try reading problem file stateEquationProblem-ConstantPlace-1037.sara.
lola: reporting
lola: not produced: 363
lola: state equation: 41
lola: find path: 2297
lola: goal oriented search: 59
lola: symmetry: 1610
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 363
lola: state equation: 41
lola: find path: 2297
lola: goal oriented search: 59
lola: symmetry: 1610
lola: reporting
lola: not produced: 355
lola: state equation: 41
lola: find path: 2302
lola: goal oriented search: 59
lola: symmetry: 1613
lola: reporting
lola: not produced: 355
lola: state equation: 41
lola: find path: 2302
lola: goal oriented search: 59
lola: symmetry: 1613
lola: reporting
lola: not produced: 353
lola: state equation: 41
lola: find path: 2304
lola: goal oriented search: 59
lola: symmetry: 1613
lola: reporting
lola: not produced: 353
lola: state equation: 41
lola: find path: 2304
lola: goal oriented search: 59
lola: symmetry: 1613
lola: reporting
lola: not produced: 350
lola: state equation: 41
lola: find path: 2306
lola: goal oriented search: 59
lola: symmetry: 1614
lola: reporting
lola: not produced: 350
lola: state equation: 41
lola: find path: 2306
lola: goal oriented search: 59
lola: symmetry: 1614
lola: STATE EQUATION TRIES PLACE p326
sara: try reading problem file stateEquationProblem-ConstantPlace-1406.sara.
lola: reporting
lola: not produced: 349
lola: state equation: 42
lola: find path: 2306
lola: goal oriented search: 59
lola: symmetry: 1614
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p335
sara: try reading problem file stateEquationProblem-ConstantPlace-1415.sara.
lola: reporting
lola: not produced: 347
lola: state equation: 43
lola: find path: 2306
lola: goal oriented search: 59
lola: symmetry: 1615
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3182
sara: try reading problem file stateEquationProblem-ConstantPlace-462.sara.
lola: reporting
lola: not produced: 325
lola: state equation: 44
lola: find path: 2318
lola: goal oriented search: 59
lola: symmetry: 1624
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 317
lola: state equation: 44
lola: find path: 2323
lola: goal oriented search: 59
lola: symmetry: 1627
lola: reporting
lola: not produced: 317
lola: state equation: 44
lola: find path: 2323
lola: goal oriented search: 59
lola: symmetry: 1627
lola: STATE EQUATION TRIES PLACE p2291
sara: try reading problem file stateEquationProblem-ConstantPlace-1371.sara.
lola: reporting
lola: not produced: 315
lola: state equation: 45
lola: find path: 2323
lola: goal oriented search: 59
lola: symmetry: 1628
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 315
lola: state equation: 45
lola: find path: 2323
lola: goal oriented search: 59
lola: symmetry: 1628
lola: reporting
lola: not produced: 315
lola: state equation: 45
lola: find path: 2323
lola: goal oriented search: 59
lola: symmetry: 1628
lola: reporting
lola: not produced: 315
lola: state equation: 45
lola: find path: 2323
lola: goal oriented search: 59
lola: symmetry: 1628
lola: reporting
lola: not produced: 315
lola: state equation: 45
lola: find path: 2323
lola: goal oriented search: 59
lola: symmetry: 1628
lola: reporting
lola: not produced: 315
lola: state equation: 45
lola: find path: 2323
lola: goal oriented search: 59
lola: symmetry: 1628
lola: reporting
lola: not produced: 315
lola: state equation: 45
lola: find path: 2323
lola: goal oriented search: 59
lola: symmetry: 1628
lola: reporting
lola: not produced: 315
lola: state equation: 45
lola: find path: 2323
lola: goal oriented search: 59
lola: symmetry: 1628
lola: reporting
lola: not produced: 315
lola: state equation: 45
lola: find path: 2323
lola: goal oriented search: 59
lola: symmetry: 1628
lola: STATE EQUATION TRIES PLACE p3193
sara: try reading problem file stateEquationProblem-ConstantPlace-473.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 314
lola: state equation: 46
lola: find path: 2323
lola: goal oriented search: 59
lola: symmetry: 1628
lola: reporting
lola: not produced: 314
lola: state equation: 46
lola: find path: 2323
lola: goal oriented search: 59
lola: symmetry: 1628
lola: reporting
lola: not produced: 304
lola: state equation: 46
lola: find path: 2329
lola: goal oriented search: 59
lola: symmetry: 1632
lola: reporting
lola: not produced: 304
lola: state equation: 46
lola: find path: 2329
lola: goal oriented search: 59
lola: symmetry: 1632
lola: reporting
lola: not produced: 299
lola: state equation: 46
lola: find path: 2332
lola: goal oriented search: 59
lola: symmetry: 1634
lola: reporting
lola: not produced: 299
lola: state equation: 46
lola: find path: 2332
lola: goal oriented search: 59
lola: symmetry: 1634
lola: STATE EQUATION TRIES PLACE p2667
sara: try reading problem file stateEquationProblem-ConstantPlace-2882.sara.
lola: reporting
lola: not produced: 298
lola: state equation: 47
lola: find path: 2332
lola: goal oriented search: 59
lola: symmetry: 1634
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 298
lola: state equation: 47
lola: find path: 2332
lola: goal oriented search: 59
lola: symmetry: 1634
lola: reporting
lola: not produced: 298
lola: state equation: 47
lola: find path: 2332
lola: goal oriented search: 59
lola: symmetry: 1634
lola: reporting
lola: not produced: 296
lola: state equation: 47
lola: find path: 2334
lola: goal oriented search: 59
lola: symmetry: 1634
lola: reporting
lola: not produced: 278
lola: state equation: 47
lola: find path: 2345
lola: goal oriented search: 59
lola: symmetry: 1641
lola: reporting
lola: not produced: 278
lola: state equation: 47
lola: find path: 2345
lola: goal oriented search: 59
lola: symmetry: 1641
lola: reporting
lola: not produced: 278
lola: state equation: 47
lola: find path: 2345
lola: goal oriented search: 59
lola: symmetry: 1641
lola: STATE EQUATION TRIES PLACE p138
sara: try reading problem file stateEquationProblem-ConstantPlace-818.sara.
lola: reporting
lola: not produced: 278
lola: state equation: 48
lola: find path: 2345
lola: goal oriented search: 59
lola: symmetry: 1640
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3219
sara: try reading problem file stateEquationProblem-ConstantPlace-499.sara.
lola: reporting
lola: not produced: 274
lola: state equation: 49
lola: find path: 2345
lola: goal oriented search: 59
lola: symmetry: 1643
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 274
lola: state equation: 49
lola: find path: 2345
lola: goal oriented search: 59
lola: symmetry: 1643
lola: reporting
lola: not produced: 274
lola: state equation: 49
lola: find path: 2345
lola: goal oriented search: 59
lola: symmetry: 1643
lola: reporting
lola: not produced: 274
lola: state equation: 49
lola: find path: 2345
lola: goal oriented search: 59
lola: symmetry: 1643
lola: reporting
lola: not produced: 274
lola: state equation: 49
lola: find path: 2345
lola: goal oriented search: 59
lola: symmetry: 1643
lola: reporting
lola: not produced: 264
lola: state equation: 49
lola: find path: 2351
lola: goal oriented search: 59
lola: symmetry: 1647
lola: reporting
lola: not produced: 264
lola: state equation: 49
lola: find path: 2351
lola: goal oriented search: 59
lola: symmetry: 1647
lola: reporting
lola: not produced: 264
lola: state equation: 49
lola: find path: 2351
lola: goal oriented search: 59
lola: symmetry: 1647
lola: reporting
lola: not produced: 262
lola: state equation: 49
lola: find path: 2353
lola: goal oriented search: 59
lola: symmetry: 1647
lola: reporting
lola: not produced: 262
lola: state equation: 49
lola: find path: 2353
lola: goal oriented search: 59
lola: symmetry: 1647
lola: reporting
lola: not produced: 262
lola: state equation: 49
lola: find path: 2353
lola: goal oriented search: 59
lola: symmetry: 1647
lola: reporting
lola: not produced: 262
lola: state equation: 49
lola: find path: 2353
lola: goal oriented search: 59
lola: symmetry: 1647
lola: STATE EQUATION TRIES PLACE p648
sara: try reading problem file stateEquationProblem-ConstantPlace-2628.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 261
lola: state equation: 50
lola: find path: 2353
lola: goal oriented search: 59
lola: symmetry: 1647
lola: STATE EQUATION TRIES PLACE p865
sara: try reading problem file stateEquationProblem-ConstantPlace-3345.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 260
lola: state equation: 51
lola: find path: 2353
lola: goal oriented search: 59
lola: symmetry: 1647
lola: STATE EQUATION TRIES PLACE p1290
sara: try reading problem file stateEquationProblem-ConstantPlace-2570.sara.
lola: reporting
lola: not produced: 250
lola: state equation: 52
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1653
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p489
sara: try reading problem file stateEquationProblem-ConstantPlace-1899.sara.
lola: reporting
lola: not produced: 248
lola: state equation: 53
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1654
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2456
sara: try reading problem file stateEquationProblem-ConstantPlace-2049.sara.
lola: reporting
lola: not produced: 247
lola: state equation: 54
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1654
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 247
lola: state equation: 54
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1654
lola: STATE EQUATION TRIES PLACE p614
sara: try reading problem file stateEquationProblem-ConstantPlace-2594.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 246
lola: state equation: 55
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1654
lola: STATE EQUATION TRIES PLACE p1143
sara: try reading problem file stateEquationProblem-ConstantPlace-2098.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 244
lola: state equation: 56
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1655
lola: reporting
lola: not produced: 244
lola: state equation: 56
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1655
lola: STATE EQUATION TRIES PLACE p1474
sara: try reading problem file stateEquationProblem-ConstantPlace-3254.sara.
lola: reporting
lola: not produced: 243
lola: state equation: 57
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1655
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2675
sara: try reading problem file stateEquationProblem-ConstantPlace-2899.sara.
lola: reporting
lola: not produced: 242
lola: state equation: 58
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1655
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 242
lola: state equation: 58
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1655
lola: reporting
lola: not produced: 242
lola: state equation: 58
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1655
lola: reporting
lola: not produced: 242
lola: state equation: 58
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1655
lola: reporting
lola: not produced: 242
lola: state equation: 58
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1655
lola: reporting
lola: not produced: 242
lola: state equation: 58
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1655
lola: STATE EQUATION TRIES PLACE p664
sara: try reading problem file stateEquationProblem-ConstantPlace-2654.sara.
lola: reporting
lola: not produced: 240
lola: state equation: 59
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1656
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1347
sara: try reading problem file stateEquationProblem-ConstantPlace-2906.sara.
lola: reporting
lola: not produced: 239
lola: state equation: 60
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1656
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 239
lola: state equation: 60
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1656
lola: STATE EQUATION TRIES PLACE p1975
sara: try reading problem file stateEquationProblem-ConstantPlace-75.sara.
lola: reporting
lola: not produced: 237
lola: state equation: 61
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1657
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3939
sara: try reading problem file stateEquationProblem-ConstantPlace-2717.sara.
lola: reporting
lola: not produced: 236
lola: state equation: 62
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1657
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p854
sara: try reading problem file stateEquationProblem-ConstantPlace-3334.sara.
lola: reporting
lola: not produced: 235
lola: state equation: 63
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1657
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 235
lola: state equation: 63
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1657
lola: STATE EQUATION TRIES PLACE p2165
sara: try reading problem file stateEquationProblem-ConstantPlace-1042.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 233
lola: state equation: 64
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1658
lola: reporting
lola: not produced: 233
lola: state equation: 64
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1658
lola: reporting
lola: not produced: 233
lola: state equation: 64
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1658
sara: warning, failure of lp_solve (at job 20)
lola: reporting
lola: not produced: 233
lola: state equation: 64
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1658
lola: reporting
lola: not produced: 233
lola: state equation: 64
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1658
lola: reporting
lola: not produced: 233
lola: state equation: 64
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1658
lola: reporting
lola: not produced: 233
lola: state equation: 64
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1658
lola: STATE EQUATION TRIES PLACE p1156
sara: try reading problem file stateEquationProblem-ConstantPlace-2124.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 231
lola: state equation: 65
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1659
lola: STATE EQUATION TRIES PLACE p1966
sara: try reading problem file stateEquationProblem-ConstantPlace-66.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 230
lola: state equation: 66
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1659
lola: STATE EQUATION TRIES PLACE p1021
sara: try reading problem file stateEquationProblem-ConstantPlace-1638.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 229
lola: state equation: 67
lola: find path: 2356
lola: goal oriented search: 59
lola: symmetry: 1659
lola: STATE EQUATION TRIES PLACE p1674
sara: try reading problem file stateEquationProblem-ConstantPlace-3944.sara.
lola: reporting
lola: not produced: 217
lola: state equation: 68
lola: find path: 2362
lola: goal oriented search: 59
lola: symmetry: 1664
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 217
lola: state equation: 68
lola: find path: 2362
lola: goal oriented search: 59
lola: symmetry: 1664
lola: reporting
lola: not produced: 217
lola: state equation: 68
lola: find path: 2362
lola: goal oriented search: 59
lola: symmetry: 1664
lola: STATE EQUATION TRIES PLACE p2783
sara: try reading problem file stateEquationProblem-ConstantPlace-3215.sara.
lola: reporting
lola: not produced: 215
lola: state equation: 69
lola: find path: 2362
lola: goal oriented search: 59
lola: symmetry: 1665
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 215
lola: state equation: 69
lola: find path: 2362
lola: goal oriented search: 59
lola: symmetry: 1665
lola: reporting
lola: not produced: 215
lola: state equation: 69
lola: find path: 2362
lola: goal oriented search: 59
lola: symmetry: 1665
lola: reporting
lola: not produced: 215
lola: state equation: 69
lola: find path: 2362
lola: goal oriented search: 59
lola: symmetry: 1665
lola: reporting
lola: not produced: 215
lola: state equation: 69
lola: find path: 2362
lola: goal oriented search: 59
lola: symmetry: 1665
lola: reporting
lola: not produced: 215
lola: state equation: 69
lola: find path: 2362
lola: goal oriented search: 59
lola: symmetry: 1665
lola: reporting
lola: not produced: 215
lola: state equation: 69
lola: find path: 2362
lola: goal oriented search: 59
lola: symmetry: 1665
lola: STATE EQUATION TRIES PLACE p1155
sara: try reading problem file stateEquationProblem-ConstantPlace-2122.sara.
lola: reporting
lola: not produced: 214
lola: state equation: 70
lola: find path: 2362
lola: goal oriented search: 59
lola: symmetry: 1665
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3169
sara: try reading problem file stateEquationProblem-ConstantPlace-449.sara.
lola: reporting
lola: not produced: 213
lola: state equation: 71
lola: find path: 2362
lola: goal oriented search: 59
lola: symmetry: 1665
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 213
lola: state equation: 71
lola: find path: 2362
lola: goal oriented search: 59
lola: symmetry: 1665
lola: reporting
lola: not produced: 213
lola: state equation: 71
lola: find path: 2362
lola: goal oriented search: 59
lola: symmetry: 1665
lola: reporting
lola: not produced: 213
lola: state equation: 71
lola: find path: 2362
lola: goal oriented search: 59
lola: symmetry: 1665
lola: reporting
lola: not produced: 213
lola: state equation: 71
lola: find path: 2362
lola: goal oriented search: 59
lola: symmetry: 1665
lola: reporting
lola: not produced: 211
lola: state equation: 71
lola: find path: 2364
lola: goal oriented search: 59
lola: symmetry: 1665
lola: reporting
lola: not produced: 211
lola: state equation: 71
lola: find path: 2364
lola: goal oriented search: 59
lola: symmetry: 1665
lola: reporting
lola: not produced: 211
lola: state equation: 71
lola: find path: 2364
lola: goal oriented search: 59
lola: symmetry: 1665
lola: STATE EQUATION TRIES PLACE p1020
sara: try reading problem file stateEquationProblem-ConstantPlace-1635.sara.
lola: reporting
lola: not produced: 210
lola: state equation: 72
lola: find path: 2364
lola: goal oriented search: 59
lola: symmetry: 1665
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 210
lola: state equation: 72
lola: find path: 2364
lola: goal oriented search: 59
lola: symmetry: 1665
lola: STATE EQUATION TRIES PLACE p1472
sara: try reading problem file stateEquationProblem-ConstantPlace-3252.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 208
lola: state equation: 73
lola: find path: 2364
lola: goal oriented search: 59
lola: symmetry: 1666
lola: STATE EQUATION TRIES PLACE p1800
sara: try reading problem file stateEquationProblem-ConstantPlace-4170.sara.
lola: reporting
lola: not produced: 207
lola: state equation: 74
lola: find path: 2364
lola: goal oriented search: 59
lola: symmetry: 1666
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 207
lola: state equation: 74
lola: find path: 2364
lola: goal oriented search: 59
lola: symmetry: 1666
lola: STATE EQUATION TRIES PLACE p3170
sara: try reading problem file stateEquationProblem-ConstantPlace-450.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 206
lola: state equation: 75
lola: find path: 2364
lola: goal oriented search: 59
lola: symmetry: 1666
lola: reporting
lola: not produced: 206
lola: state equation: 75
lola: find path: 2364
lola: goal oriented search: 59
lola: symmetry: 1666
lola: reporting
lola: not produced: 206
lola: state equation: 75
lola: find path: 2364
lola: goal oriented search: 59
lola: symmetry: 1666
lola: STATE EQUATION TRIES PLACE p2336
sara: try reading problem file stateEquationProblem-ConstantPlace-1589.sara.
lola: reporting
lola: not produced: 198
lola: state equation: 76
lola: find path: 2368
lola: goal oriented search: 59
lola: symmetry: 1669
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 198
lola: state equation: 76
lola: find path: 2368
lola: goal oriented search: 59
lola: symmetry: 1669
lola: reporting
lola: not produced: 198
lola: state equation: 76
lola: find path: 2368
lola: goal oriented search: 59
lola: symmetry: 1669
lola: reporting
lola: not produced: 198
lola: state equation: 76
lola: find path: 2368
lola: goal oriented search: 59
lola: symmetry: 1669
lola: reporting
lola: not produced: 198
lola: state equation: 76
lola: find path: 2368
lola: goal oriented search: 59
lola: symmetry: 1669
lola: reporting
lola: not produced: 198
lola: state equation: 76
lola: find path: 2368
lola: goal oriented search: 59
lola: symmetry: 1669
lola: reporting
lola: not produced: 198
lola: state equation: 76
lola: find path: 2368
lola: goal oriented search: 59
lola: symmetry: 1669
lola: reporting
lola: not produced: 198
lola: state equation: 76
lola: find path: 2368
lola: goal oriented search: 59
lola: symmetry: 1669
lola: STATE EQUATION TRIES PLACE p3265
sara: try reading problem file stateEquationProblem-ConstantPlace-545.sara.
lola: reporting
lola: not produced: 196
lola: state equation: 77
lola: find path: 2368
lola: goal oriented search: 59
lola: symmetry: 1670
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 196
lola: state equation: 77
lola: find path: 2368
lola: goal oriented search: 59
lola: symmetry: 1670
lola: STATE EQUATION TRIES PLACE p484
sara: try reading problem file stateEquationProblem-ConstantPlace-1894.sara.
lola: reporting
lola: not produced: 194
lola: state equation: 78
lola: find path: 2368
lola: goal oriented search: 59
lola: symmetry: 1671
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1351
sara: try reading problem file stateEquationProblem-ConstantPlace-2914.sara.
lola: reporting
lola: not produced: 193
lola: state equation: 79
lola: find path: 2368
lola: goal oriented search: 59
lola: symmetry: 1671
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1307
sara: try reading problem file stateEquationProblem-ConstantPlace-2796.sara.
lola: reporting
lola: not produced: 191
lola: state equation: 80
lola: find path: 2368
lola: goal oriented search: 59
lola: symmetry: 1672
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 191
lola: state equation: 80
lola: find path: 2368
lola: goal oriented search: 59
lola: symmetry: 1672
lola: reporting
lola: not produced: 191
lola: state equation: 80
lola: find path: 2368
lola: goal oriented search: 59
lola: symmetry: 1672
lola: STATE EQUATION TRIES PLACE p1140
sara: try reading problem file stateEquationProblem-ConstantPlace-2092.sara.
lola: reporting
lola: not produced: 190
lola: state equation: 81
lola: find path: 2368
lola: goal oriented search: 59
lola: symmetry: 1672
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3238
sara: try reading problem file stateEquationProblem-ConstantPlace-518.sara.
lola: reporting
lola: not produced: 189
lola: state equation: 82
lola: find path: 2368
lola: goal oriented search: 59
lola: symmetry: 1672
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 189
lola: state equation: 82
lola: find path: 2368
lola: goal oriented search: 59
lola: symmetry: 1672
lola: reporting
lola: not produced: 189
lola: state equation: 82
lola: find path: 2368
lola: goal oriented search: 59
lola: symmetry: 1672
lola: reporting
lola: not produced: 189
lola: state equation: 82
lola: find path: 2368
lola: goal oriented search: 59
lola: symmetry: 1672
lola: reporting
lola: not produced: 189
lola: state equation: 82
lola: find path: 2368
lola: goal oriented search: 59
lola: symmetry: 1672
lola: reporting
lola: not produced: 189
lola: state equation: 82
lola: find path: 2368
lola: goal oriented search: 59
lola: symmetry: 1672
lola: reporting
lola: not produced: 189
lola: state equation: 82
lola: find path: 2368
lola: goal oriented search: 59
lola: symmetry: 1672
lola: reporting
lola: not produced: 189
lola: state equation: 82
lola: find path: 2368
lola: goal oriented search: 59
lola: symmetry: 1672
lola: reporting
lola: not produced: 189
lola: state equation: 82
lola: find path: 2368
lola: goal oriented search: 59
lola: symmetry: 1672
lola: STATE EQUATION TRIES PLACE p2467
sara: try reading problem file stateEquationProblem-ConstantPlace-2082.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 188
lola: state equation: 83
lola: find path: 2368
lola: goal oriented search: 59
lola: symmetry: 1672
lola: STATE EQUATION TRIES PLACE p2801
sara: try reading problem file stateEquationProblem-ConstantPlace-3371.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 181
lola: state equation: 84
lola: find path: 2372
lola: goal oriented search: 59
lola: symmetry: 1674
lola: reporting
lola: not produced: 174
lola: state equation: 84
lola: find path: 2376
lola: goal oriented search: 59
lola: symmetry: 1677
lola: STATE EQUATION TRIES PLACE p3255
sara: try reading problem file stateEquationProblem-ConstantPlace-535.sara.
lola: reporting
lola: not produced: 172
lola: state equation: 85
lola: find path: 2376
lola: goal oriented search: 59
lola: symmetry: 1678
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 171
lola: state equation: 85
lola: find path: 2377
lola: goal oriented search: 59
lola: symmetry: 1678
lola: reporting
lola: not produced: 171
lola: state equation: 85
lola: find path: 2377
lola: goal oriented search: 59
lola: symmetry: 1678
lola: reporting
lola: not produced: 171
lola: state equation: 85
lola: find path: 2377
lola: goal oriented search: 59
lola: symmetry: 1678
lola: reporting
lola: not produced: 171
lola: state equation: 85
lola: find path: 2377
lola: goal oriented search: 59
lola: symmetry: 1678
lola: STATE EQUATION TRIES PLACE p750
sara: try reading problem file stateEquationProblem-ConstantPlace-3030.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 169
lola: state equation: 86
lola: find path: 2377
lola: goal oriented search: 59
lola: symmetry: 1679
lola: STATE EQUATION TRIES PLACE p3263
sara: try reading problem file stateEquationProblem-ConstantPlace-543.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 167
lola: state equation: 87
lola: find path: 2377
lola: goal oriented search: 59
lola: symmetry: 1680
lola: reporting
lola: not produced: 167
lola: state equation: 87
lola: find path: 2377
lola: goal oriented search: 59
lola: symmetry: 1680
lola: reporting
lola: not produced: 158
lola: state equation: 87
lola: find path: 2382
lola: goal oriented search: 59
lola: symmetry: 1684
lola: reporting
lola: not produced: 158
lola: state equation: 87
lola: find path: 2382
lola: goal oriented search: 59
lola: symmetry: 1684
lola: reporting
lola: not produced: 158
lola: state equation: 87
lola: find path: 2382
lola: goal oriented search: 59
lola: symmetry: 1684
lola: reporting
lola: not produced: 158
lola: state equation: 87
lola: find path: 2382
lola: goal oriented search: 59
lola: symmetry: 1684
lola: reporting
lola: not produced: 158
lola: state equation: 87
lola: find path: 2382
lola: goal oriented search: 59
lola: symmetry: 1684
lola: reporting
lola: not produced: 158
lola: state equation: 87
lola: find path: 2382
lola: goal oriented search: 59
lola: symmetry: 1684
lola: STATE EQUATION TRIES PLACE p606
sara: try reading problem file stateEquationProblem-ConstantPlace-2586.sara.
lola: reporting
lola: not produced: 152
lola: state equation: 88
lola: find path: 2385
lola: goal oriented search: 59
lola: symmetry: 1686
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p4347
sara: try reading problem file stateEquationProblem-ConstantPlace-263.sara.
lola: reporting
lola: not produced: 150
lola: state equation: 89
lola: find path: 2385
lola: goal oriented search: 59
lola: symmetry: 1687
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p336
sara: try reading problem file stateEquationProblem-ConstantPlace-1416.sara.
lola: reporting
lola: not produced: 148
lola: state equation: 90
lola: find path: 2385
lola: goal oriented search: 59
lola: symmetry: 1688
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3240
sara: try reading problem file stateEquationProblem-ConstantPlace-520.sara.
lola: reporting
lola: not produced: 146
lola: state equation: 91
lola: find path: 2385
lola: goal oriented search: 59
lola: symmetry: 1689
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 146
lola: state equation: 91
lola: find path: 2385
lola: goal oriented search: 59
lola: symmetry: 1689
lola: reporting
lola: not produced: 146
lola: state equation: 91
lola: find path: 2385
lola: goal oriented search: 59
lola: symmetry: 1689
lola: STATE EQUATION TRIES PLACE p3195
sara: try reading problem file stateEquationProblem-ConstantPlace-475.sara.
lola: reporting
lola: not produced: 139
lola: state equation: 92
lola: find path: 2388
lola: goal oriented search: 59
lola: symmetry: 1692
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 139
lola: state equation: 92
lola: find path: 2388
lola: goal oriented search: 59
lola: symmetry: 1692
lola: reporting
lola: not produced: 139
lola: state equation: 92
lola: find path: 2388
lola: goal oriented search: 59
lola: symmetry: 1692
lola: STATE EQUATION TRIES PLACE p766
sara: try reading problem file stateEquationProblem-ConstantPlace-3046.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 137
lola: state equation: 93
lola: find path: 2388
lola: goal oriented search: 59
lola: symmetry: 1693
lola: STATE EQUATION TRIES PLACE p1186
sara: try reading problem file stateEquationProblem-ConstantPlace-2166.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 135
lola: state equation: 94
lola: find path: 2388
lola: goal oriented search: 59
lola: symmetry: 1694
lola: STATE EQUATION TRIES PLACE p3254
sara: try reading problem file stateEquationProblem-ConstantPlace-534.sara.
lola: reporting
lola: not produced: 133
lola: state equation: 95
lola: find path: 2388
lola: goal oriented search: 59
lola: symmetry: 1695
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 133
lola: state equation: 95
lola: find path: 2388
lola: goal oriented search: 59
lola: symmetry: 1695
lola: reporting
lola: not produced: 133
lola: state equation: 95
lola: find path: 2388
lola: goal oriented search: 59
lola: symmetry: 1695
lola: reporting
lola: not produced: 133
lola: state equation: 95
lola: find path: 2388
lola: goal oriented search: 59
lola: symmetry: 1695
lola: reporting
lola: not produced: 133
lola: state equation: 95
lola: find path: 2388
lola: goal oriented search: 59
lola: symmetry: 1695
lola: reporting
lola: not produced: 133
lola: state equation: 95
lola: find path: 2388
lola: goal oriented search: 59
lola: symmetry: 1695
lola: reporting
lola: not produced: 133
lola: state equation: 95
lola: find path: 2388
lola: goal oriented search: 59
lola: symmetry: 1695
lola: reporting
lola: not produced: 133
lola: state equation: 95
lola: find path: 2388
lola: goal oriented search: 59
lola: symmetry: 1695
lola: reporting
lola: not produced: 133
lola: state equation: 95
lola: find path: 2388
lola: goal oriented search: 59
lola: symmetry: 1695
lola: reporting
lola: not produced: 128
lola: state equation: 95
lola: find path: 2391
lola: goal oriented search: 59
lola: symmetry: 1697
lola: reporting
lola: not produced: 128
lola: state equation: 95
lola: find path: 2391
lola: goal oriented search: 59
lola: symmetry: 1697
lola: reporting
lola: not produced: 128
lola: state equation: 95
lola: find path: 2391
lola: goal oriented search: 59
lola: symmetry: 1697
lola: reporting
lola: not produced: 128
lola: state equation: 95
lola: find path: 2391
lola: goal oriented search: 59
lola: symmetry: 1697
lola: reporting
lola: not produced: 128
lola: state equation: 95
lola: find path: 2391
lola: goal oriented search: 59
lola: symmetry: 1697
lola: reporting
lola: not produced: 128
lola: state equation: 95
lola: find path: 2391
lola: goal oriented search: 59
lola: symmetry: 1697
lola: reporting
lola: not produced: 128
lola: state equation: 95
lola: find path: 2391
lola: goal oriented search: 59
lola: symmetry: 1697
lola: reporting
lola: not produced: 128
lola: state equation: 95
lola: find path: 2391
lola: goal oriented search: 59
lola: symmetry: 1697
lola: reporting
lola: not produced: 128
lola: state equation: 95
lola: find path: 2391
lola: goal oriented search: 59
lola: symmetry: 1697
lola: reporting
lola: not produced: 128
lola: state equation: 95
lola: find path: 2391
lola: goal oriented search: 59
lola: symmetry: 1697
lola: reporting
lola: not produced: 128
lola: state equation: 95
lola: find path: 2391
lola: goal oriented search: 59
lola: symmetry: 1697
lola: reporting
lola: not produced: 128
lola: state equation: 95
lola: find path: 2391
lola: goal oriented search: 59
lola: symmetry: 1697
lola: reporting
lola: not produced: 128
lola: state equation: 95
lola: find path: 2391
lola: goal oriented search: 59
lola: symmetry: 1697
lola: reporting
lola: not produced: 128
lola: state equation: 95
lola: find path: 2391
lola: goal oriented search: 59
lola: symmetry: 1697
lola: reporting
lola: not produced: 128
lola: state equation: 95
lola: find path: 2391
lola: goal oriented search: 59
lola: symmetry: 1697
lola: reporting
lola: not produced: 128
lola: state equation: 95
lola: find path: 2391
lola: goal oriented search: 59
lola: symmetry: 1697
lola: reporting
lola: not produced: 128
lola: state equation: 95
lola: find path: 2391
lola: goal oriented search: 59
lola: symmetry: 1697
lola: reporting
lola: not produced: 128
lola: state equation: 95
lola: find path: 2391
lola: goal oriented search: 59
lola: symmetry: 1697
lola: reporting
lola: not produced: 128
lola: state equation: 95
lola: find path: 2391
lola: goal oriented search: 59
lola: symmetry: 1697
lola: reporting
lola: not produced: 128
lola: state equation: 95
lola: find path: 2391
lola: goal oriented search: 59
lola: symmetry: 1697
lola: reporting
lola: not produced: 128
lola: state equation: 95
lola: find path: 2391
lola: goal oriented search: 59
lola: symmetry: 1697
lola: reporting
lola: not produced: 128
lola: state equation: 95
lola: find path: 2391
lola: goal oriented search: 59
lola: symmetry: 1697
lola: reporting
lola: not produced: 125
lola: state equation: 95
lola: find path: 2393
lola: goal oriented search: 59
lola: symmetry: 1698
lola: reporting
lola: not produced: 125
lola: state equation: 95
lola: find path: 2393
lola: goal oriented search: 59
lola: symmetry: 1698
lola: STATE EQUATION TRIES PLACE p980
sara: try reading problem file stateEquationProblem-ConstantPlace-3690.sara.
lola: reporting
lola: not produced: 124
lola: state equation: 96
lola: find path: 2393
lola: goal oriented search: 59
lola: symmetry: 1698
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p487
sara: try reading problem file stateEquationProblem-ConstantPlace-1897.sara.
lola: reporting
lola: not produced: 123
lola: state equation: 97
lola: find path: 2393
lola: goal oriented search: 59
lola: symmetry: 1698
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 123
lola: state equation: 97
lola: find path: 2393
lola: goal oriented search: 59
lola: symmetry: 1698
lola: reporting
lola: not produced: 117
lola: state equation: 97
lola: find path: 2397
lola: goal oriented search: 59
lola: symmetry: 1700
lola: STATE EQUATION TRIES PLACE p828
sara: try reading problem file stateEquationProblem-ConstantPlace-3308.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 116
lola: state equation: 98
lola: find path: 2397
lola: goal oriented search: 59
lola: symmetry: 1700
lola: STATE EQUATION TRIES PLACE p2795
sara: try reading problem file stateEquationProblem-ConstantPlace-3239.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 115
lola: state equation: 99
lola: find path: 2397
lola: goal oriented search: 59
lola: symmetry: 1700
lola: STATE EQUATION TRIES PLACE p1638
sara: try reading problem file stateEquationProblem-ConstantPlace-3878.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 114
lola: state equation: 100
lola: find path: 2397
lola: goal oriented search: 59
lola: symmetry: 1700
lola: STATE EQUATION TRIES PLACE p1309
sara: try reading problem file stateEquationProblem-ConstantPlace-2799.sara.
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1296
sara: try reading problem file stateEquationProblem-ConstantPlace-2576.sara.
lola: reporting
lola: not produced: 112
lola: state equation: 102
lola: find path: 2397
lola: goal oriented search: 59
lola: symmetry: 1700
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p827
sara: try reading problem file stateEquationProblem-ConstantPlace-3307.sara.
lola: reporting
lola: not produced: 110
lola: state equation: 103
lola: find path: 2397
lola: goal oriented search: 59
lola: symmetry: 1701
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1801
sara: try reading problem file stateEquationProblem-ConstantPlace-4171.sara.
lola: reporting
lola: not produced: 109
lola: state equation: 104
lola: find path: 2397
lola: goal oriented search: 59
lola: symmetry: 1701
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p1796
sara: try reading problem file stateEquationProblem-ConstantPlace-4066.sara.
lola: caught signal Terminated - aborting LoLA
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Time elapsed: 1800 secs. Pages in use: 428
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-18b"
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-18b, 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-167838867800353"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-18b.tgz
mv FlexibleBarrier-PT-18b 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 ;