Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2021-input.r182-tajo-162089422400138.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool lola
Input is RERS17pb114-PT-4, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r182-tajo-162089422400138
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 96K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 25K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 127K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 28 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 10:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 10:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Mar 25 13:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 25 13:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 08:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 08:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 2 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 73M May 5 16:51 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

FORMULA_NAME StableMarking

=== Now, execution of the tool begins

BK_START 1621290365608

starting LoLA
BK_INPUT RERS17pb114-PT-4
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: StableMarking

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p404
lola: STATE EQUATION TRIES PLACE p848
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1317
lola: STATE EQUATION TRIES PLACE p168
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p616
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p777
lola: STATE EQUATION TRIES PLACE p303
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p401
lola: STATE EQUATION TRIES PLACE p1362
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1426
lola: STATE EQUATION TRIES PLACE p318
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p141
lola: STATE EQUATION TRIES PLACE p1365
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p636
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p211
lola: STATE EQUATION TRIES PLACE p1404
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1271
lola: STATE EQUATION TRIES PLACE p699
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p462
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p596
lola: STATE EQUATION TRIES PLACE p988
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p57
lola: STATE EQUATION TRIES PLACE p708
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p958
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1400
lola: STATE EQUATION TRIES PLACE p884
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p62
lola: STATE EQUATION TRIES PLACE p244
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p522
lola: 0 generators; 1020306 candidates remain ( 0%), 0 secs
lola: STATE EQUATION TRIES PLACE p88
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p613
lola: 0 generators; 1020306 candidates remain ( 0%), 5 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p406
lola: 0 generators; 1020306 candidates remain ( 0%), 10 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1274
lola: 0 generators; 1020306 candidates remain ( 0%), 15 secs
lola: STATE EQUATION TRIES PLACE p1281
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p295
lola: 0 generators; 1020306 candidates remain ( 0%), 20 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p350
lola: 0 generators; 1020306 candidates remain ( 0%), 25 secs
lola: STATE EQUATION TRIES PLACE p577
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p51
lola: 0 generators; 1020306 candidates remain ( 0%), 30 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1315
lola: 0 generators; 1020306 candidates remain ( 0%), 35 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p228
lola: STATE EQUATION TRIES PLACE p926
lola: 0 generators; 1020306 candidates remain ( 0%), 40 secs
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p267
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p235
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p8
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p649
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1396
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p370
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p282
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p869
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1369
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p130
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p510
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1034
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p691
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p940
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p416
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p973
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1334
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p277
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p33
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p19
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1091
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p50
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p780
lola: reporting
lola: not produced: 1429
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1094
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p586
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p733
lola: STATE EQUATION TRIES PLACE p223
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p405
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p1087
lola: STATE EQUATION TRIES PLACE p979
lola: reporting
lola: not produced: 1429
lola: STATE EQUATION TRIES PLACE p859
lola: STATE EQUATION TRIES PLACE p484
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p638
lola: STATE EQUATION TRIES PLACE p35
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1180
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p231
lola: STATE EQUATION TRIES PLACE p628
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p654
lola: STATE EQUATION TRIES PLACE p744
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p545
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1427
lola: STATE EQUATION TRIES PLACE p1303
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p602
lola: STATE EQUATION TRIES PLACE p230
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1361
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p540
lola: STATE EQUATION TRIES PLACE p490
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p857
lola: STATE EQUATION TRIES PLACE p833
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p345
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p751
lola: STATE EQUATION TRIES PLACE p697
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p580
lola: STATE EQUATION TRIES PLACE p358
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1034
lola: STATE EQUATION TRIES PLACE p888
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p142
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p910
lola: STATE EQUATION TRIES PLACE p92
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p426
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p962
lola: STATE EQUATION TRIES PLACE p582
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1211
lola: STATE EQUATION TRIES PLACE p85
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p539
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1311
lola: STATE EQUATION TRIES PLACE p1019
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p319
lola: STATE EQUATION TRIES PLACE p50
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p826
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1040
lola: STATE EQUATION TRIES PLACE p1113
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p804
lola: STATE EQUATION TRIES PLACE p533
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p778
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p85
lola: STATE EQUATION TRIES PLACE p1208
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1346
lola: STATE EQUATION TRIES PLACE p1411
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p398
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1039
lola: STATE EQUATION TRIES PLACE p206
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p241
lola: STATE EQUATION TRIES PLACE p1215
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p533
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p386
lola: STATE EQUATION TRIES PLACE p965
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1222
lola: STATE EQUATION TRIES PLACE p1114
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p915
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p874
lola: STATE EQUATION TRIES PLACE p1168
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1005
lola: STATE EQUATION TRIES PLACE p684
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p746
lola: STATE EQUATION TRIES PLACE p762
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1427
lola: STATE EQUATION TRIES PLACE p1100
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1102
lola: STATE EQUATION TRIES PLACE p1239
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p893
lola: STATE EQUATION TRIES PLACE p504
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p643
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p500
lola: STATE EQUATION TRIES PLACE p314
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1207
lola: STATE EQUATION TRIES PLACE p48
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p930
lola: STATE EQUATION TRIES PLACE p817
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p931
lola: STATE EQUATION TRIES PLACE p34
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p238
lola: STATE EQUATION TRIES PLACE p1438
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p843
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1045
lola: STATE EQUATION TRIES PLACE p788
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p316
lola: STATE EQUATION TRIES PLACE p346
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1243
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p910
lola: STATE EQUATION TRIES PLACE p754
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1347
lola: STATE EQUATION TRIES PLACE p850
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1002
lola: STATE EQUATION TRIES PLACE p1256
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1180
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p440
lola: STATE EQUATION TRIES PLACE p638
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p170
lola: STATE EQUATION TRIES PLACE p500
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1198
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p74
lola: STATE EQUATION TRIES PLACE p1113
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p224
lola: STATE EQUATION TRIES PLACE p664
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p239
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p754
lola: STATE EQUATION TRIES PLACE p152
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p197
lola: STATE EQUATION TRIES PLACE p889
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p312
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1085
lola: STATE EQUATION TRIES PLACE p208
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p563
lola: STATE EQUATION TRIES PLACE p355
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1045
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1197
lola: STATE EQUATION TRIES PLACE p915
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1083
lola: STATE EQUATION TRIES PLACE p1205
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p965
lola: STATE EQUATION TRIES PLACE p203
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p939
lola: STATE EQUATION TRIES PLACE p350
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1102
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1369
lola: STATE EQUATION TRIES PLACE p1245
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p976
lola: STATE EQUATION TRIES PLACE p400
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p649
lola: STATE EQUATION TRIES PLACE p805
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1058
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1201
lola: STATE EQUATION TRIES PLACE p777
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p915
lola: STATE EQUATION TRIES PLACE p701
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p511
lola: STATE EQUATION TRIES PLACE p849
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p430
lola: STATE EQUATION TRIES PLACE p560
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p216
lola: STATE EQUATION TRIES PLACE p1254
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p703
lola: STATE EQUATION TRIES PLACE p891
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1057
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p963
lola: STATE EQUATION TRIES PLACE p982
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1422
lola: STATE EQUATION TRIES PLACE p650
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p711
lola: STATE EQUATION TRIES PLACE p808
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p896
lola: STATE EQUATION TRIES PLACE p34
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p503
lola: STATE EQUATION TRIES PLACE p965
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p801
lola: STATE EQUATION TRIES PLACE p1047
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p528
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1100
lola: STATE EQUATION TRIES PLACE p1041
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1141
lola: STATE EQUATION TRIES PLACE p986
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p698
lola: STATE EQUATION TRIES PLACE p381
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1239
lola: STATE EQUATION TRIES PLACE p1018
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p400
lola: STATE EQUATION TRIES PLACE p1176
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p935
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1218
lola: STATE EQUATION TRIES PLACE p250
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p852
lola: STATE EQUATION TRIES PLACE p224
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p83
lola: STATE EQUATION TRIES PLACE p666
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1427
lola: STATE EQUATION TRIES PLACE p1097
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p491
lola: STATE EQUATION TRIES PLACE p398
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p920
lola: STATE EQUATION TRIES PLACE p33
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1305
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p911
lola: STATE EQUATION TRIES PLACE p1151
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1055
lola: STATE EQUATION TRIES PLACE p314
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p268
lola: STATE EQUATION TRIES PLACE p48
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p196
lola: STATE EQUATION TRIES PLACE p460
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p401
lola: STATE EQUATION TRIES PLACE p888
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p846
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p760
lola: STATE EQUATION TRIES PLACE p288
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1332
lola: STATE EQUATION TRIES PLACE p603
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p986
lola: STATE EQUATION TRIES PLACE p459
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p952
lola: STATE EQUATION TRIES PLACE p350
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p724
lola: STATE EQUATION TRIES PLACE p443
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p283
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1287
lola: STATE EQUATION TRIES PLACE p1440
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p35
lola: STATE EQUATION TRIES PLACE p395
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1359
lola: STATE EQUATION TRIES PLACE p793
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1039
lola: STATE EQUATION TRIES PLACE p596
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p889
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p581
lola: STATE EQUATION TRIES PLACE p606
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p978
lola: STATE EQUATION TRIES PLACE p919
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p636
lola: STATE EQUATION TRIES PLACE p82
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1303
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1018
lola: STATE EQUATION TRIES PLACE p702
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1061
lola: STATE EQUATION TRIES PLACE p666
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p664
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p354
lola: STATE EQUATION TRIES PLACE p427
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1021
lola: STATE EQUATION TRIES PLACE p464
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p614
lola: STATE EQUATION TRIES PLACE p404
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p833
lola: STATE EQUATION TRIES PLACE p1150
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p578
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p564
lola: STATE EQUATION TRIES PLACE p976
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1418
lola: STATE EQUATION TRIES PLACE p1001
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p628
lola: STATE EQUATION TRIES PLACE p1305
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p170
lola: STATE EQUATION TRIES PLACE p1272
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p642
lola: STATE EQUATION TRIES PLACE p965
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1241
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1000
lola: STATE EQUATION TRIES PLACE p491
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1286
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1045
lola: STATE EQUATION TRIES PLACE p814
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1219
lola: STATE EQUATION TRIES PLACE p877
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p208
lola: STATE EQUATION TRIES PLACE p316
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1057
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p931
lola: STATE EQUATION TRIES PLACE p355
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p895
lola: STATE EQUATION TRIES PLACE p201
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p661
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1126
lola: STATE EQUATION TRIES PLACE p1221
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p21
lola: STATE EQUATION TRIES PLACE p900
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p838
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p831
lola: STATE EQUATION TRIES PLACE p895
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p330
lola: STATE EQUATION TRIES PLACE p1005
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p648
lola: STATE EQUATION TRIES PLACE p1359
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p695
lola: STATE EQUATION TRIES PLACE p564
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1189
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p696
lola: STATE EQUATION TRIES PLACE p480
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p548
lola: STATE EQUATION TRIES PLACE p396
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p901
lola: STATE EQUATION TRIES PLACE p829
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p335
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p673
lola: STATE EQUATION TRIES PLACE p875
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p57
lola: STATE EQUATION TRIES PLACE p1003
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p647
lola: STATE EQUATION TRIES PLACE p92
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p282
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1419
lola: STATE EQUATION TRIES PLACE p1005
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1369
lola: STATE EQUATION TRIES PLACE p664
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p698
lola: STATE EQUATION TRIES PLACE p507
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1422
lola: STATE EQUATION TRIES PLACE p510
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1105
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p353
lola: STATE EQUATION TRIES PLACE p1020
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1030
lola: STATE EQUATION TRIES PLACE p898
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p314
lola: STATE EQUATION TRIES PLACE p1049
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p31
lola: STATE EQUATION TRIES PLACE p596
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p468
lola: STATE EQUATION TRIES PLACE p796
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p604
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p189
lola: STATE EQUATION TRIES PLACE p541
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p754
lola: STATE EQUATION TRIES PLACE p49
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p699
lola: STATE EQUATION TRIES PLACE p1055
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p205
lola: STATE EQUATION TRIES PLACE p100
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p380
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p115
lola: STATE EQUATION TRIES PLACE p1419
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1002
lola: STATE EQUATION TRIES PLACE p1020
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1370
lola: STATE EQUATION TRIES PLACE p1440
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p828
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p847
lola: STATE EQUATION TRIES PLACE p1221
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p759
lola: STATE EQUATION TRIES PLACE p1352
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p580
lola: STATE EQUATION TRIES PLACE p763
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p390
lola: STATE EQUATION TRIES PLACE p625
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p695
lola: STATE EQUATION TRIES PLACE p1433
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p350
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p762
lola: STATE EQUATION TRIES PLACE p1164
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p653
lola: STATE EQUATION TRIES PLACE p1055
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1270
lola: STATE EQUATION TRIES PLACE p1433
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p182
lola: STATE EQUATION TRIES PLACE p964
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p695
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p793
lola: STATE EQUATION TRIES PLACE p1138
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p994
lola: STATE EQUATION TRIES PLACE p227
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p769
lola: STATE EQUATION TRIES PLACE p4
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p424
lola: STATE EQUATION TRIES PLACE p1411
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p563
lola: STATE EQUATION TRIES PLACE p414
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p650
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1415
lola: STATE EQUATION TRIES PLACE p380
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p580
lola: STATE EQUATION TRIES PLACE p398
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1263
lola: STATE EQUATION TRIES PLACE p993
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1415
lola: STATE EQUATION TRIES PLACE p427
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p360
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1250
lola: STATE EQUATION TRIES PLACE p979
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1045
lola: STATE EQUATION TRIES PLACE p1207
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p622
lola: STATE EQUATION TRIES PLACE p947
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p511
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p848
lola: STATE EQUATION TRIES PLACE p239
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p540
lola: STATE EQUATION TRIES PLACE p1361
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p604
lola: STATE EQUATION TRIES PLACE p1272
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p197
lola: STATE EQUATION TRIES PLACE p101
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1025
lola: STATE EQUATION TRIES PLACE p867
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1110
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p587
lola: STATE EQUATION TRIES PLACE p1422
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p465
lola: STATE EQUATION TRIES PLACE p355
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1001
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p279
lola: STATE EQUATION TRIES PLACE p312
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p202
lola: STATE EQUATION TRIES PLACE p927
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p379
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1089
lola: STATE EQUATION TRIES PLACE p249
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1160
lola: STATE EQUATION TRIES PLACE p132
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p381
lola: STATE EQUATION TRIES PLACE p845
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p553
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p750
lola: STATE EQUATION TRIES PLACE p439
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p102
lola: STATE EQUATION TRIES PLACE p1298
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p965
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p798
lola: STATE EQUATION TRIES PLACE p132
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p100
lola: STATE EQUATION TRIES PLACE p596
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p495
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1174
lola: STATE EQUATION TRIES PLACE p1295
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1305
lola: STATE EQUATION TRIES PLACE p642
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1263
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1196
lola: STATE EQUATION TRIES PLACE p1111
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p495
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1022
lola: STATE EQUATION TRIES PLACE p416
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p238
lola: STATE EQUATION TRIES PLACE p608
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p1014
lola: reporting
lola: not produced: 768
lola: goal oriented search: 661
lola: STATE EQUATION TRIES PLACE p878

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="RERS17pb114-PT-4"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool lola"
echo " Input is RERS17pb114-PT-4, 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 r182-tajo-162089422400138"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-4.tgz
mv RERS17pb114-PT-4 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 '' StableMarking.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;