Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r176-tajo-158987871800371.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-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 itslola
Input is PolyORBLF-COL-S06J04T06, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r176-tajo-158987871800371
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 344K
-rw-r--r-- 1 mcc users 4.6K Apr 12 05:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 12 05:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 11 05:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 11 05:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.0K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Apr 10 12:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 10 12:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 9 18:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 9 18:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Apr 10 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 154K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLCardinality-00
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLCardinality-01
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLCardinality-02
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLCardinality-03
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLCardinality-04
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLCardinality-05
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLCardinality-06
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLCardinality-07
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLCardinality-08
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLCardinality-09
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLCardinality-10
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLCardinality-11
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLCardinality-12
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLCardinality-13
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLCardinality-14
FORMULA_NAME PolyORBLF-COL-S06J04T06-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1591147691539

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 01:28:14] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-03 01:28:14] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 01:28:14] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
[2020-06-03 01:28:15] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 972 ms
[2020-06-03 01:28:15] [INFO ] sort/places :
D4->DisablePollingE,DisablePollingB,Insert_Source_B,P_1119,P_2579,
Threads->AwakeTasks,IdleTasks,NotifyEventJobQueuedE,QueueJobE,P_2321,TryAllocateOneTaskE,TryAllocateOneTaskB,P_2318,EnablePollingE,EnablePollingB,FetchJobB,ScheduleTaskE_Check,ScheduleTaskB,Abort_Check_Sources_E,Abort_Check_Sources_B,NotifyEventSourceAddedB,Insert_Source_E,NotifyEventSourceAddedE,P_1113,ProcessingEvt,P_1155,nyo,P_1158,P_1159,P_1160,NotifyEventEndOfCheckSourcesB,NotifyEventEndOfCheckSourcesE,Check_Sources_B,Check_Sources_E,Idle,NotifyEventJobCompletedE,NotifyEventJobCompletedB,RunE,RunB,Perform_Work_E,Try_Check_Sources_B,Try_Check_Sources_E,P_1617,ScheduleTaskE_Idle,
D6->CreatedJobs,
Jobs->P_1725,P_1724,P_1712,AvailableJobId,
Dot->cJobCnt,JobCnt,cBlockedTasks,PollingAbort,cPollingAbort,BlockedTasks,MarkerWrite,P_1727,P_1726,MarkerRead,P_1717,P_1716,CanInjectEvent,SigAbort,NoSigAbort,P_1093,P_1095,P_1097,P_1099,cSources,cIsMonitoring,IsMonitoring,cIdleTasks,ORB_Lock,
Sources->DataOnSrc,PlaceSources,ModifiedSrc,AbourtToModifySrc,
D1->NotifyEventJobQueuedB,QueueJobB,FetchJobE,ScheduleTaskE_Work,

[2020-06-03 01:28:15] [INFO ] ms2 symmetric to ms1 in transition T_1124
[2020-06-03 01:28:15] [INFO ] ms3 symmetric to ms2 in transition T_1125
[2020-06-03 01:28:15] [INFO ] ms2 symmetric to ms1 in transition T_1125
[2020-06-03 01:28:15] [INFO ] ms3 symmetric to ms4 in transition T_1126
[2020-06-03 01:28:15] [INFO ] ms4 symmetric to ms2 in transition T_1126
[2020-06-03 01:28:15] [INFO ] ms2 symmetric to ms1 in transition T_1126
[2020-06-03 01:28:15] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 632 PT places and 10560.0 transition bindings in 35 ms.
[2020-06-03 01:28:15] [INFO ] Computed order based on color domains.
[2020-06-03 01:28:15] [INFO ] Unfolded HLPN to a Petri net with 632 places and 2430 transitions in 60 ms.
[2020-06-03 01:28:15] [INFO ] Unfolded HLPN properties in 1 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 139 ms.
Incomplete random walk after 100000 steps, including 599 resets, run finished after 963 ms. (steps per millisecond=103 ) properties seen :[1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 0, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0]
[2020-06-03 01:28:16] [INFO ] Flow matrix only has 2394 transitions (discarded 36 similar events)
// Phase 1: matrix 2394 rows 632 cols
[2020-06-03 01:28:16] [INFO ] Computed 54 place invariants in 152 ms
[2020-06-03 01:28:16] [INFO ] [Real]Absence check using 18 positive place invariants in 39 ms returned sat
[2020-06-03 01:28:17] [INFO ] [Real]Absence check using 18 positive and 36 generalized place invariants in 84 ms returned unsat
[2020-06-03 01:28:17] [INFO ] [Real]Absence check using 18 positive place invariants in 21 ms returned sat
[2020-06-03 01:28:17] [INFO ] [Real]Absence check using 18 positive and 36 generalized place invariants in 40 ms returned unsat
[2020-06-03 01:28:17] [INFO ] [Real]Absence check using 18 positive place invariants in 21 ms returned sat
[2020-06-03 01:28:17] [INFO ] [Real]Absence check using 18 positive and 36 generalized place invariants in 11 ms returned unsat
[2020-06-03 01:28:17] [INFO ] [Real]Absence check using 18 positive place invariants in 17 ms returned sat
[2020-06-03 01:28:17] [INFO ] [Real]Absence check using 18 positive and 36 generalized place invariants in 55 ms returned unsat
[2020-06-03 01:28:17] [INFO ] [Real]Absence check using 18 positive place invariants in 15 ms returned sat
[2020-06-03 01:28:17] [INFO ] [Real]Absence check using 18 positive and 36 generalized place invariants in 73 ms returned unsat
[2020-06-03 01:28:17] [INFO ] [Real]Absence check using 18 positive place invariants in 29 ms returned sat
[2020-06-03 01:28:17] [INFO ] [Real]Absence check using 18 positive and 36 generalized place invariants in 14 ms returned unsat
[2020-06-03 01:28:17] [INFO ] [Real]Absence check using 18 positive place invariants in 27 ms returned sat
[2020-06-03 01:28:17] [INFO ] [Real]Absence check using 18 positive and 36 generalized place invariants in 17 ms returned unsat
[2020-06-03 01:28:18] [INFO ] [Real]Absence check using 18 positive place invariants in 27 ms returned sat
[2020-06-03 01:28:18] [INFO ] [Real]Absence check using 18 positive and 36 generalized place invariants in 50 ms returned unsat
[2020-06-03 01:28:18] [INFO ] [Real]Absence check using 18 positive place invariants in 26 ms returned sat
[2020-06-03 01:28:18] [INFO ] [Real]Absence check using 18 positive and 36 generalized place invariants in 68 ms returned unsat
[2020-06-03 01:28:18] [INFO ] [Real]Absence check using 18 positive place invariants in 26 ms returned unsat
[2020-06-03 01:28:18] [INFO ] [Real]Absence check using 18 positive place invariants in 55 ms returned sat
[2020-06-03 01:28:18] [INFO ] [Real]Absence check using 18 positive and 36 generalized place invariants in 79 ms returned unsat
[2020-06-03 01:28:18] [INFO ] [Real]Absence check using 18 positive place invariants in 16 ms returned sat
[2020-06-03 01:28:18] [INFO ] [Real]Absence check using 18 positive and 36 generalized place invariants in 46 ms returned unsat
Successfully simplified 12 atomic propositions for a total of 12 simplifications.
[2020-06-03 01:28:19] [INFO ] Initial state reduction rules for CTL removed 6 formulas.
[2020-06-03 01:28:19] [INFO ] Flatten gal took : 514 ms
[2020-06-03 01:28:19] [INFO ] Initial state reduction rules for CTL removed 6 formulas.
[2020-06-03 01:28:19] [INFO ] Flatten gal took : 268 ms
FORMULA PolyORBLF-COL-S06J04T06-CTLCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA PolyORBLF-COL-S06J04T06-CTLCardinality-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA PolyORBLF-COL-S06J04T06-CTLCardinality-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA PolyORBLF-COL-S06J04T06-CTLCardinality-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA PolyORBLF-COL-S06J04T06-CTLCardinality-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA PolyORBLF-COL-S06J04T06-CTLCardinality-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-03 01:28:19] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLCardinality.sr.xml took 7 ms.
[2020-06-03 01:28:19] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 52 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLCardinality @ PolyORBLF-COL-S06J04T06 @ 3570 seconds
check_solution: Variable C14 = -2.24272751932e+307 is below its lower bound 0
check_solution: Variable C366 = -0.858725547791 is below its lower bound 0
check_solution: Variable C412 = -2.24272751932e+307 is below its lower bound 0
check_solution: Variable C810 = -2.24272751932e+307 is below its lower bound 0
check_solution: Variable C1162 = -0.835486888886 is below its lower bound 0
check_solution: Variable C1208 = -2.24272751932e+307 is below its lower bound 0
check_solution: Variable C1606 = -2.24272751932e+307 is below its lower bound 0
check_solution: Variable C2004 = -2.24272751932e+307 is below its lower bound 0
check_solution: Variable C2402 = -2.24272751932e+307 is below its lower bound 0
check_solution: Variable C2800 = -2.24272751932e+307 is below its lower bound 0

Seriously low accuracy found ||*|| = 2.24273e+307 (rel. error 2.24273e+307)

FORMULA PolyORBLF-COL-S06J04T06-CTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBLF-COL-S06J04T06-CTLCardinality-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBLF-COL-S06J04T06-CTLCardinality-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBLF-COL-S06J04T06-CTLCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBLF-COL-S06J04T06-CTLCardinality-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBLF-COL-S06J04T06-CTLCardinality-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBLF-COL-S06J04T06-CTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA PolyORBLF-COL-S06J04T06-CTLCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLCardinality @ PolyORBLF-COL-S06J04T06

{
"exit":
{
"memory": 6046552,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 8,
"visible_transitions": 0
},
"processed": "((p100 + p101 + p102 + p103 + p98 + p99 + 1 <= p356) AND (p1 <= 0))",
"processed_size": 67,
"rewrites": 11
},
"result":
{
"preliminary_value": "yes yes unknown yes no no no no no unknown "
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 48
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "eventual_occurrence_from_all_states",
"workflow": "stateequation"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 3062/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 20224
lola: finding significant places
lola: 632 places, 2430 transitions, 578 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from CTLCardinality.xml
lola: E (F (((p355 <= p274 + p275 + p276 + p277 + p278 + p279) AND (1 <= p250 + p251 + p252 + p253 + p254) AND (p353 <= p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197)))) : (E (G (A (F ((p116 + p117 + p118 + p119 + p120 + p121 <= p8 + p9 + p13 + p12 + p11 + p10))))) AND E (((1 <= 0) U (p93 + p92 + p94 + p95 + p96 + p97 <= 1)))) : A ((A (G ((2 <= p206 + p207 + p208 + p209 + p210))) U E (G ((p206 + p207 + p208 + p209 + p210 <= p502 + p503 + p504 + p505 + p506 + p507))))) : E (F ((p554 + p555 + p556 + p557 + p558 + p559 + 1 <= p104 + p105 + p106 + p107 + p108 + p109))) : A (F ((E (G ((p546 + p547 + p548 + p549 + p550 + p551 <= p243))) AND (1 <= p274 + p275 + p276 + p277 + p278 + p279)))) : A (G (A (X (((p125 <= p552) AND (p2 + p3 + p4 + p5 + p6 + p7 <= p472 + p473 + p474 + p475 + p476 + p477)))))) : (A (((p514 + p515 + p516 + p517 + p518 + p519 <= p554 + p555 + p556 + p557 + p558 + p559) U (p125 <= 0))) AND E (F (((p602 + p603 + p604 + p605 + p606 + p607 + p608 + p609 + p610 + p611 + p612 + p613 + p614 + p615 + p616 + p617 + p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631 + 1 <= p199) OR (p294 + p295 + p296 + p297 + p298 + p299 + 1 <= p211 + p212 + p213 + p214 + p215 + p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 + p225 + p226 + p227 + p228 + p229 + p230 + p231 + p232 + p233 + p234 + p235 + p236 + p237 + p238 + p239 + p240))))) : A (F ((p466 + p467 + p468 + p469 + p470 + p471 + 1 <= p116 + p117 + p118 + p119 + p120 + p121))) : (A (F (A (G ((p90 + p89 + p88 + p87 + p86 + p91 <= p274 + p275 + p276 + p277 + p278 + p279))))) OR NOT(E (F (((p255 + p256 + p257 + p258 + p259 + p260 <= p280 + p281 + p282 + p283 + p284 + p285) OR (1 <= p268 + p269 + p270 + p271 + p272 + p273)))))) : A (G (A (F (((p356 <= p100 + p101 + p102 + p103 + p98 + p99) OR (1 <= p1))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:183
lola: rewrite Frontend/Parser/formula_rewrite.k:479
lola: rewrite Frontend/Parser/formula_rewrite.k:398
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 335 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (G (((p125 <= p552) AND (p2 + p3 + p4 + p5 + p6 + p7 <= p472 + p473 + p474 + p475 + p476 + p477))))))
lola: ========================================
lola: SUBTASK
lola: checking invariance from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:624
lola: rewrite Frontend/Parser/formula_rewrite.k:753
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p552 + 1 <= p125) OR (p472 + p473 + p474 + p475 + p476 + p477 + 1 <= p2 + p3 + p4 + p5 + p6 + p7))
lola: processed formula length: 101
lola: 10 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p552 + 1 <= p125) OR (p472 + p473 + p474 + p475 + p476 + p477 + 1 <= p2 + p3 + p4 + p5 + p6 + p7))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EXEF
lola: The predicate is not invariant from successors.
lola: 10 markings, 9 edges
lola: ========================================
lola: subprocess 1 will run for 372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((p554 + p555 + p556 + p557 + p558 + p559 + 1 <= p104 + p105 + p106 + p107 + p108 + p109)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((p554 + p555 + p556 + p557 + p558 + p559 + 1 <= p104 + p105 + p106 + p107 + p108 + p109)))
lola: processed formula length: 96
lola: 8 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p554 + p555 + p556 + p557 + p558 + p559 + 1 <= p104 + p105 + p106 + p107 + p108 + p109)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 9 markings, 8 edges
lola: ========================================
lola: subprocess 2 will run for 419 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p355 <= p274 + p275 + p276 + p277 + p278 + p279) AND (1 <= p250 + p251 + p252 + p253 + p254) AND (p353 <= p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((p355 <= p274 + p275 + p276 + p277 + p278 + p279) AND (1 <= p250 + p251 + p252 + p253 + p254) AND (p353 <= p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197))))
lola: processed formula length: 367
lola: 8 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p355 <= p274 + p275 + p276 + p277 + p278 + p279) AND (1 <= p250 + p251 + p252 + p253 + p254) AND (p353 <= p162 + p163 + p164 + p165 + p166 + p167 + p168 + p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p186 + p187 + p188 + p189 + p190 + p191 + p192 + p193 + p194 + p195 + p196 + p197))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 53 markings, 52 edges
lola: ========================================
lola: subprocess 3 will run for 479 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (F (((p356 <= p100 + p101 + p102 + p103 + p98 + p99) OR (1 <= p1))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence from all states
lola: rewrite Frontend/Parser/formula_rewrite.k:599
lola: rewrite Frontend/Parser/formula_rewrite.k:634
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p100 + p101 + p102 + p103 + p98 + p99 + 1 <= p356) AND (p1 <= 0))
lola: processed formula length: 67
lola: 11 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p356 <= p100 + p101 + p102 + p103 + p98 + p99) OR (1 <= p1))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((p100 + p101 + p102 + p103 + p98 + p99 + 1 <= p356) AND (p1 <= 0))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-3-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-3-0.sara.
lola: state equation: write sara problem file to CTLCardinality-3-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-3-1.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic

lola: state equation 1: solution produced

lola: state equation 0: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 118649 markings, 134752 edges, 23730 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 239882 markings, 280733 edges, 24247 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 345287 markings, 460132 edges, 21081 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 456820 markings, 650892 edges, 22307 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 573804 markings, 828546 edges, 23397 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 701803 markings, 973663 edges, 25600 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 829785 markings, 1118562 edges, 25596 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 955750 markings, 1272716 edges, 25193 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 1076343 markings, 1449318 edges, 24119 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 1195209 markings, 1623780 edges, 23773 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 1322186 markings, 1771013 edges, 25395 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 1449748 markings, 1920700 edges, 25512 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 1562037 markings, 2117611 edges, 22458 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 1675037 markings, 2307030 edges, 22600 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 1799594 markings, 2464252 edges, 24911 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 1921457 markings, 2633629 edges, 24373 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 2030444 markings, 2834867 edges, 21797 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 2142637 markings, 2998384 edges, 22439 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 2252445 markings, 3177729 edges, 21962 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 2366843 markings, 3368767 edges, 22880 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 2478615 markings, 3551492 edges, 22354 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 2604522 markings, 3702653 edges, 25181 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 2731933 markings, 3851248 edges, 25482 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 2850680 markings, 4019749 edges, 23749 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 2971079 markings, 4184460 edges, 24080 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 3096434 markings, 4335398 edges, 25071 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 3204785 markings, 4540020 edges, 21670 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 3313690 markings, 4723290 edges, 21781 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 3432053 markings, 4901975 edges, 23673 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 3540475 markings, 5098103 edges, 21684 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 3661190 markings, 5264922 edges, 24143 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 3787082 markings, 5417825 edges, 25178 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 3895734 markings, 5626062 edges, 21730 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 4009925 markings, 5809867 edges, 22838 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 4119229 markings, 6011878 edges, 21861 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 4230063 markings, 6201218 edges, 22167 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 4339974 markings, 6402294 edges, 21982 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 4450671 markings, 6593505 edges, 22139 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 4578678 markings, 6745390 edges, 25601 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 4705218 markings, 6900100 edges, 25308 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 4819969 markings, 7086758 edges, 22950 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 4928583 markings, 7282756 edges, 21723 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 5051617 markings, 7445818 edges, 24607 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 5176679 markings, 7604299 edges, 25012 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 5301562 markings, 7767009 edges, 24977 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 5421066 markings, 7935617 edges, 23901 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 5543451 markings, 8101016 edges, 24477 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 5669729 markings, 8256499 edges, 25256 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 5795792 markings, 8413205 edges, 25213 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 5907363 markings, 8597315 edges, 22314 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 6012954 markings, 8788603 edges, 21118 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 6129430 markings, 8950604 edges, 23295 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 6236769 markings, 9142567 edges, 21468 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 6343042 markings, 9329201 edges, 21255 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 6463070 markings, 9485015 edges, 24006 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 6585513 markings, 9636893 edges, 24489 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 6707288 markings, 9797866 edges, 24355 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 6827298 markings, 9948081 edges, 24002 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 6949447 markings, 10113991 edges, 24430 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 7055734 markings, 10309151 edges, 21257 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 7162350 markings, 10493351 edges, 21323 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 7271273 markings, 10636064 edges, 21785 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 7384281 markings, 10781957 edges, 22602 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 7506659 markings, 10945489 edges, 24476 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 7626270 markings, 11105488 edges, 23922 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 7746676 markings, 11256509 edges, 24081 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 7866852 markings, 11420887 edges, 24035 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 7970906 markings, 11620802 edges, 20811 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 8080091 markings, 11801237 edges, 21837 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 8201877 markings, 11958276 edges, 24357 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 8321197 markings, 12114176 edges, 23864 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 8427373 markings, 12309695 edges, 21235 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 8534588 markings, 12494806 edges, 21443 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 8653491 markings, 12651395 edges, 23781 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 8774437 markings, 12809723 edges, 24189 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 8895741 markings, 12964226 edges, 24261 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 9017547 markings, 13123282 edges, 24361 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 9137534 markings, 13291225 edges, 23997 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 9256260 markings, 13455095 edges, 23745 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 9377302 markings, 13613999 edges, 24208 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 9498109 markings, 13783802 edges, 24161 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 9620612 markings, 13953964 edges, 24501 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 9741979 markings, 14117577 edges, 24273 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 9864225 markings, 14287857 edges, 24449 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 9985609 markings, 14449545 edges, 24277 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 10107023 markings, 14613412 edges, 24283 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 10228522 markings, 14779543 edges, 24300 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 10350043 markings, 14940272 edges, 24304 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 10472137 markings, 15104522 edges, 24419 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 10592514 markings, 15267326 edges, 24075 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 10713283 markings, 15434840 edges, 24154 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 10833173 markings, 15618524 edges, 23978 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 10954822 markings, 15777258 edges, 24330 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 11076095 markings, 15944475 edges, 24255 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 11196962 markings, 16109671 edges, 24173 markings/sec, 470 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown unknown yes unknown no unknown unknown unknown unknown
lola: memory consumption: 1249596 KB
lola: time consumption: 696 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 479 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((p466 + p467 + p468 + p469 + p470 + p471 + 1 <= p116 + p117 + p118 + p119 + p120 + p121)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p116 + p117 + p118 + p119 + p120 + p121 <= p466 + p467 + p468 + p469 + p470 + p471)
lola: processed formula length: 84
lola: 10 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p466 + p467 + p468 + p469 + p470 + p471 + 1 <= p116 + p117 + p118 + p119 + p120 + p121)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 28 markings, 27 edges
lola: ========================================
lola: subprocess 5 will run for 574 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((E (G ((p546 + p547 + p548 + p549 + p550 + p551 <= p243))) AND (1 <= p274 + p275 + p276 + p277 + p278 + p279))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: AF((EG((p546 + p547 + p548 + p549 + p550 + p551 <= p243)) AND (1 <= p274 + p275 + p276 + p277 + p278 + p279)))
lola: processed formula length: 110
lola: 9 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 38 markings, 109 edges
lola: ========================================
lola: subprocess 6 will run for 718 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G (A (F ((p116 + p117 + p118 + p119 + p120 + p121 <= p8 + p9 + p13 + p12 + p11 + p10))))) AND (p93 + p92 + p94 + p95 + p96 + p97 <= 1))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 718 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p93 + p92 + p94 + p95 + p96 + p97 <= 1)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p93 + p92 + p94 + p95 + p96 + p97 <= 1)
lola: processed formula length: 40
lola: 7 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 958 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (F ((p116 + p117 + p118 + p119 + p120 + p121 <= p8 + p9 + p13 + p12 + p11 + p10)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: processed formula: EG(AF((p116 + p117 + p118 + p119 + p120 + p121 <= p8 + p9 + p13 + p12 + p11 + p10)))
lola: processed formula length: 84
lola: 9 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 37 markings, 73 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 7 will run for 958 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (((p514 + p515 + p516 + p517 + p518 + p519 <= p554 + p555 + p556 + p557 + p558 + p559) U (p125 <= 0))) AND E (F (((p602 + p603 + p604 + p605 + p606 + p607 + p608 + p609 + p610 + p611 + p612 + p613 + p614 + p615 + p616 + p617 + p618 + p619 + p620 + p621 + p622 + p623 + p624 + p625 + p626 + p627 + p628 + p629 + p630 + p631 + 1 <= p199) OR (p294 + p295 + p296 + p297 + p298 + p299 + 1 <= p211 + p2... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 958 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((p514 + p515 + p516 + p517 + p518 + p519 <= p554 + p555 + p556 + p557 + p558 + p559) U (p125 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:577
lola: rewrite Frontend/Parser/formula_rewrite.k:735
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (((p514 + p515 + p516 + p517 + p518 + p519 <= p554 + p555 + p556 + p557 + p558 + p559) U (p125 <= 0)))
lola: processed formula length: 104
lola: 12 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p514 + p515 + p516 + p517 + p518 + p519 <= p554 + p555 + p556 + p557 + p558 + p559)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-7-0.sara.
sara: place or transition ordering is non-deterministic

lola: state equation 0: solution produced
lola: 70644 markings, 122341 edges, 14129 markings/sec, 0 secs || sara is running 0 secs
lola: 146174 markings, 252918 edges, 15106 markings/sec, 5 secs || sara is running 5 secs
lola: 219753 markings, 380746 edges, 14716 markings/sec, 10 secs || sara is running 10 secs
lola: 285796 markings, 499884 edges, 13209 markings/sec, 15 secs || sara is running 15 secs
lola: 362186 markings, 649358 edges, 15278 markings/sec, 20 secs || sara is running 20 secs
lola: 440753 markings, 803995 edges, 15713 markings/sec, 25 secs || sara is running 25 secs
lola: 518727 markings, 960247 edges, 15595 markings/sec, 30 secs || sara is running 30 secs
lola: 597554 markings, 1112067 edges, 15765 markings/sec, 35 secs || sara is running 35 secs
lola: 675092 markings, 1270487 edges, 15508 markings/sec, 40 secs || sara is running 40 secs
lola: 744754 markings, 1411004 edges, 13932 markings/sec, 45 secs || sara is running 45 secs
lola: 812486 markings, 1552445 edges, 13546 markings/sec, 50 secs || sara is running 50 secs
lola: 888168 markings, 1706086 edges, 15136 markings/sec, 55 secs || sara is running 55 secs
lola: 964354 markings, 1865243 edges, 15237 markings/sec, 60 secs || sara is running 60 secs
lola: 1039230 markings, 2044360 edges, 14975 markings/sec, 65 secs || sara is running 65 secs
lola: 1117582 markings, 2196111 edges, 15670 markings/sec, 70 secs || sara is running 70 secs
lola: 1195587 markings, 2352757 edges, 15601 markings/sec, 75 secs || sara is running 75 secs
lola: 1273184 markings, 2504135 edges, 15519 markings/sec, 80 secs || sara is running 80 secs
lola: 1349435 markings, 2659311 edges, 15250 markings/sec, 85 secs || sara is running 85 secs
lola: 1416992 markings, 2793970 edges, 13511 markings/sec, 90 secs || sara is running 90 secs
lola: 1482759 markings, 2936423 edges, 13153 markings/sec, 95 secs || sara is running 95 secs
lola: 1557160 markings, 3092260 edges, 14880 markings/sec, 100 secs || sara is running 100 secs
lola: 1624476 markings, 3241994 edges, 13463 markings/sec, 105 secs || sara is running 105 secs
lola: 1691681 markings, 3376720 edges, 13441 markings/sec, 110 secs || sara is running 110 secs
lola: 1765569 markings, 3524154 edges, 14778 markings/sec, 115 secs || sara is running 115 secs
lola: 1840113 markings, 3667537 edges, 14909 markings/sec, 120 secs || sara is running 120 secs
lola: 1913798 markings, 3819799 edges, 14737 markings/sec, 125 secs || sara is running 125 secs
lola: 1987377 markings, 3968261 edges, 14716 markings/sec, 130 secs || sara is running 130 secs
lola: 2062464 markings, 4126137 edges, 15017 markings/sec, 135 secs || sara is running 135 secs
lola: 2135108 markings, 4283326 edges, 14529 markings/sec, 140 secs || sara is running 140 secs
lola: 2209257 markings, 4441134 edges, 14830 markings/sec, 145 secs || sara is running 145 secs
lola: 2283031 markings, 4591120 edges, 14755 markings/sec, 150 secs || sara is running 150 secs
lola: 2359727 markings, 4738225 edges, 15339 markings/sec, 155 secs || sara is running 155 secs
lola: 2432596 markings, 4887756 edges, 14574 markings/sec, 160 secs || sara is running 160 secs
lola: 2508362 markings, 5035829 edges, 15153 markings/sec, 165 secs || sara is running 165 secs
lola: 2581824 markings, 5190140 edges, 14692 markings/sec, 170 secs || sara is running 170 secs
lola: 2656342 markings, 5348598 edges, 14904 markings/sec, 175 secs || sara is running 175 secs
lola: 2729898 markings, 5513557 edges, 14711 markings/sec, 180 secs || sara is running 180 secs
lola: 2803453 markings, 5664898 edges, 14711 markings/sec, 185 secs || sara is running 185 secs
lola: 2876918 markings, 5816240 edges, 14693 markings/sec, 190 secs || sara is running 190 secs
lola: 2950387 markings, 5967882 edges, 14694 markings/sec, 195 secs || sara is running 195 secs
lola: 3023738 markings, 6134733 edges, 14670 markings/sec, 200 secs || sara is running 200 secs
lola: 3098385 markings, 6286826 edges, 14929 markings/sec, 205 secs || sara is running 205 secs
lola: 3170233 markings, 6440291 edges, 14370 markings/sec, 210 secs || sara is running 210 secs
lola: 3244423 markings, 6586626 edges, 14838 markings/sec, 215 secs || sara is running 215 secs
lola: 3317807 markings, 6745656 edges, 14677 markings/sec, 220 secs || sara is running 220 secs
lola: 3390642 markings, 6908822 edges, 14567 markings/sec, 225 secs || sara is running 225 secs
lola: 3463115 markings, 7058983 edges, 14495 markings/sec, 230 secs || sara is running 230 secs
lola: 3537115 markings, 7210275 edges, 14800 markings/sec, 235 secs || sara is running 235 secs
lola: 3609836 markings, 7363656 edges, 14544 markings/sec, 240 secs || sara is running 240 secs
lola: 3682438 markings, 7531431 edges, 14520 markings/sec, 245 secs || sara is running 245 secs
lola: 3755903 markings, 7687337 edges, 14693 markings/sec, 250 secs || sara is running 250 secs
lola: 3828267 markings, 7854636 edges, 14473 markings/sec, 255 secs || sara is running 255 secs
lola: 3901193 markings, 8009061 edges, 14585 markings/sec, 260 secs || sara is running 260 secs
lola: 3973866 markings, 8177593 edges, 14535 markings/sec, 265 secs || sara is running 265 secs
lola: 4044636 markings, 8350343 edges, 14154 markings/sec, 270 secs || sara is running 270 secs
lola: 4116291 markings, 8518036 edges, 14331 markings/sec, 275 secs || sara is running 275 secs
lola: 1
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 4176630 markings, 8699614 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 8 will run for 1295 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (A (G ((p90 + p89 + p88 + p87 + p86 + p91 <= p274 + p275 + p276 + p277 + p278 + p279))))) OR A (G (((p280 + p281 + p282 + p283 + p284 + p285 + 1 <= p255 + p256 + p257 + p258 + p259 + p260) AND (p268 + p269 + p270 + p271 + p272 + p273 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 1295 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p280 + p281 + p282 + p283 + p284 + p285 + 1 <= p255 + p256 + p257 + p258 + p259 + p260) AND (p268 + p269 + p270 + p271 + p272 + p273 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (G (((p280 + p281 + p282 + p283 + p284 + p285 + 1 <= p255 + p256 + p257 + p258 + p259 + p260) AND (p268 + p269 + p270 + p271 + p272 + p273 <= 0))))
lola: processed formula length: 149
lola: 9 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p255 + p256 + p257 + p258 + p259 + p260 <= p280 + p281 + p282 + p283 + p284 + p285) OR (1 <= p268 + p269 + p270 + p271 + p272 + p273))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 2590 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (G ((p90 + p89 + p88 + p87 + p86 + p91 <= p274 + p275 + p276 + p277 + p278 + p279)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:594
lola: rewrite Frontend/Parser/formula_rewrite.k:629
lola: rewrite Frontend/Parser/formula_rewrite.k:758
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p274 + p275 + p276 + p277 + p278 + p279 + 1 <= p90 + p89 + p88 + p87 + p86 + p91)
lola: processed formula length: 82
lola: 11 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p90 + p89 + p88 + p87 + p86 + p91 <= p274 + p275 + p276 + p277 + p278 + p279)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (p274 + p275 + p276 + p277 + p278 + p279 + 1 <= p90 + p89 + p88 + p87 + p86 + p91)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EGEF
lola: The predicate is not eventually invariant.
lola: 1196 markings, 2188 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 9 will run for 2589 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G ((p206 + p207 + p208 + p209 + p210 <= p502 + p503 + p504 + p505 + p506 + p507))) OR (A (G ((2 <= p206 + p207 + p208 + p209 + p210))) AND A (F (E (G ((p206 + p207 + p208 + p209 + p210 <= p502 + p503 + p504 + p505 + p506 + p507)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 2589 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((2 <= p206 + p207 + p208 + p209 + p210)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((2 <= p206 + p207 + p208 + p209 + p210)))
lola: processed formula length: 47
lola: 9 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: state equation task get result unparse finished++ id 0
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: formula 0: (p206 + p207 + p208 + p209 + p210 <= 1)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G (A (F (((p356 <= p100 + p101 + p102 + p103 + p98 + p99) OR (1 <= p1))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence from all states
lola: rewrite Frontend/Parser/formula_rewrite.k:599
lola: rewrite Frontend/Parser/formula_rewrite.k:634
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p100 + p101 + p102 + p103 + p98 + p99 + 1 <= p356) AND (p1 <= 0))
lola: processed formula length: 67
lola: 11 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((p100 + p101 + p102 + p103 + p98 + p99 + 1 <= p356) AND (p1 <= 0))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p356 <= p100 + p101 + p102 + p103 + p98 + p99) OR (1 <= p1))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-10-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-10-1.sara.
lola: state equation: write sara problem file to CTLCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-10-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic

lola: state equation 1: solution produced

lola: state equation 0: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 120291 markings, 136631 edges, 24058 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 246618 markings, 291272 edges, 25265 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 360198 markings, 490241 edges, 22716 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 475254 markings, 679319 edges, 23011 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 593935 markings, 851286 edges, 23736 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 721838 markings, 995956 edges, 25581 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 849773 markings, 1141100 edges, 25587 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 971143 markings, 1296727 edges, 24274 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 1075185 markings, 1447661 edges, 20808 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 1177539 markings, 1598559 edges, 20471 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 1286714 markings, 1731278 edges, 21835 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 1406280 markings, 1870828 edges, 23913 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 1523732 markings, 2049265 edges, 23490 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 1635810 markings, 2240963 edges, 22416 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 1738975 markings, 2393761 edges, 20633 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 1866867 markings, 2543688 edges, 25578 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 1960163 markings, 2706357 edges, 18659 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 2044337 markings, 2858481 edges, 16835 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 2152138 markings, 3009423 edges, 21560 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 2242393 markings, 3161276 edges, 18051 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 2334874 markings, 3315740 edges, 18496 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 2440811 markings, 3490763 edges, 21187 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 2561176 markings, 3652219 edges, 24073 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 2688643 markings, 3800085 edges, 25493 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 2811228 markings, 3964141 edges, 24517 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 2930209 markings, 4134098 edges, 23796 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 3056467 markings, 4287938 edges, 25252 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 3170701 markings, 4476102 edges, 22847 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 3279839 markings, 4672740 edges, 21828 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 3400988 markings, 4838949 edges, 24230 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 3508645 markings, 5042871 edges, 21531 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 3624909 markings, 5221695 edges, 23253 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 3752768 markings, 5374288 edges, 25572 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 3865374 markings, 5570758 edges, 22521 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 3973062 markings, 5759933 edges, 21538 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 4086442 markings, 5949864 edges, 22676 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 4193814 markings, 6143906 edges, 21474 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 4299084 markings, 6324020 edges, 21054 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 4399077 markings, 6505016 edges, 19999 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 4517786 markings, 6672610 edges, 23742 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 4644380 markings, 6824071 edges, 25319 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 4767662 markings, 6985485 edges, 24656 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 4875636 markings, 7190103 edges, 21595 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 4990926 markings, 7371544 edges, 23058 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 5117529 markings, 7525870 edges, 25321 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 5242902 markings, 7686399 edges, 25075 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 5364410 markings, 7855275 edges, 24302 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 5483685 markings, 8023260 edges, 23855 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 5610429 markings, 8181972 edges, 25349 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 5736834 markings, 8336454 edges, 25281 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 5860107 markings, 8505559 edges, 24655 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 5968932 markings, 8711916 edges, 21765 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 6084825 markings, 8893972 edges, 23179 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 6202580 markings, 9077473 edges, 23551 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 6312944 markings, 9276717 edges, 22073 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 6433470 markings, 9446322 edges, 24105 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 6560156 markings, 9604495 edges, 25337 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 6686638 markings, 9769907 edges, 25296 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 6798245 markings, 9911837 edges, 22321 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 6914552 markings, 10068394 edges, 23261 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 7026716 markings, 10250809 edges, 22433 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 7136340 markings, 10450184 edges, 21925 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 7257554 markings, 10619485 edges, 24243 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 7382648 markings, 10780005 edges, 25019 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 7509233 markings, 10948788 edges, 25317 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 7633365 markings, 11114453 edges, 24826 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 7759328 markings, 11272895 edges, 25193 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 7881719 markings, 11450093 edges, 24478 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 7990638 markings, 11656001 edges, 21784 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 8107520 markings, 11835621 edges, 23376 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 8233630 markings, 11997889 edges, 25222 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 8355168 markings, 12167422 edges, 24308 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 8464759 markings, 12375033 edges, 21918 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 8581460 markings, 12555712 edges, 23340 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 8706375 markings, 12721751 edges, 24983 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 8832626 markings, 12885254 edges, 25250 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 8960129 markings, 13047421 edges, 25501 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 9085768 markings, 13222893 edges, 25128 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 9211616 markings, 13390657 edges, 25170 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 9337518 markings, 13560447 edges, 25180 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 9461810 markings, 13727967 edges, 24858 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 9588174 markings, 13913039 edges, 25273 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 9714580 markings, 14075223 edges, 25281 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 9840545 markings, 14256309 edges, 25193 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 9950684 markings, 14404288 edges, 22028 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 10065242 markings, 14550685 edges, 22912 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 10188714 markings, 14724359 edges, 24694 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 10315368 markings, 14894588 edges, 25331 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 10440650 markings, 15062273 edges, 25056 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 10565589 markings, 15230952 edges, 24988 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 10690940 markings, 15405137 edges, 25070 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 10815810 markings, 15590180 edges, 24974 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 10941325 markings, 15759519 edges, 25103 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 11059266 markings, 15921135 edges, 23588 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 11176842 markings, 16081336 edges, 23515 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 11293402 markings, 16250554 edges, 23312 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 11419514 markings, 16421138 edges, 25222 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 11534214 markings, 16573306 edges, 22940 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 11651650 markings, 16727420 edges, 23487 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 11775927 markings, 16889255 edges, 24855 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 11901530 markings, 17066464 edges, 25121 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 12011849 markings, 17233205 edges, 22064 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 12126762 markings, 17398302 edges, 22983 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 12250546 markings, 17573271 edges, 24757 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 12369949 markings, 17739244 edges, 23881 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 12477218 markings, 17891729 edges, 21454 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 12590421 markings, 18046785 edges, 22641 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 12713187 markings, 18230114 edges, 24553 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 12837363 markings, 18416501 edges, 24835 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 12962150 markings, 18591954 edges, 24957 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 13087188 markings, 18764451 edges, 25008 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 13212218 markings, 18936857 edges, 25006 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 13337575 markings, 19107151 edges, 25071 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 13461020 markings, 19281301 edges, 24689 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 13570421 markings, 19453581 edges, 21880 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 13684698 markings, 19613390 edges, 22855 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 13808519 markings, 19785637 edges, 24764 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 13922297 markings, 19951725 edges, 22756 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 14035715 markings, 20115252 edges, 22684 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 14159533 markings, 20294286 edges, 24764 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 14282690 markings, 20485600 edges, 24631 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 14407704 markings, 20659312 edges, 25003 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 14522227 markings, 20823602 edges, 22905 markings/sec, 610 secs
lola: sara is running 615 secs || sara is running 615 secs || 14639041 markings, 20993205 edges, 23363 markings/sec, 615 secs
lola: sara is running 620 secs || sara is running 620 secs || 14764281 markings, 21178928 edges, 25048 markings/sec, 620 secs
lola: sara is running 625 secs || sara is running 625 secs || 14889182 markings, 21356779 edges, 24980 markings/sec, 625 secs
lola: sara is running 630 secs || sara is running 630 secs || 15012639 markings, 21552684 edges, 24691 markings/sec, 630 secs
lola: sara is running 635 secs || sara is running 635 secs || 15137356 markings, 21733402 edges, 24943 markings/sec, 635 secs
lola: sara is running 640 secs || sara is running 640 secs || 15262143 markings, 21915381 edges, 24957 markings/sec, 640 secs
lola: sara is running 645 secs || sara is running 645 secs || 15387017 markings, 22090104 edges, 24975 markings/sec, 645 secs
lola: sara is running 650 secs || sara is running 650 secs || 15510497 markings, 22287725 edges, 24696 markings/sec, 650 secs
lola: sara is running 655 secs || sara is running 655 secs || 15634984 markings, 22475577 edges, 24897 markings/sec, 655 secs
lola: sara is running 660 secs || sara is running 660 secs || 15759938 markings, 22651421 edges, 24991 markings/sec, 660 secs
lola: sara is running 665 secs || sara is running 665 secs || 15884075 markings, 22839239 edges, 24827 markings/sec, 665 secs
lola: sara is running 670 secs || sara is running 670 secs || 16008344 markings, 23017757 edges, 24854 markings/sec, 670 secs
lola: sara is running 675 secs || sara is running 675 secs || 16132639 markings, 23199026 edges, 24859 markings/sec, 675 secs
lola: sara is running 680 secs || sara is running 680 secs || 16256458 markings, 23382291 edges, 24764 markings/sec, 680 secs
lola: sara is running 685 secs || sara is running 685 secs || 16379561 markings, 23566844 edges, 24621 markings/sec, 685 secs
lola: sara is running 690 secs || sara is running 690 secs || 16504113 markings, 23741306 edges, 24910 markings/sec, 690 secs
lola: sara is running 695 secs || sara is running 695 secs || 16627821 markings, 23934477 edges, 24742 markings/sec, 695 secs
lola: sara is running 700 secs || sara is running 700 secs || 16751979 markings, 24109845 edges, 24832 markings/sec, 700 secs
lola: sara is running 705 secs || sara is running 705 secs || 16875109 markings, 24297010 edges, 24626 markings/sec, 705 secs
lola: sara is running 710 secs || sara is running 710 secs || 16999082 markings, 24470812 edges, 24795 markings/sec, 710 secs
lola: sara is running 715 secs || sara is running 715 secs || 17121387 markings, 24655664 edges, 24461 markings/sec, 715 secs
lola: sara is running 720 secs || sara is running 720 secs || 17245401 markings, 24835621 edges, 24803 markings/sec, 720 secs
lola: sara is running 725 secs || sara is running 725 secs || 17368432 markings, 25022365 edges, 24606 markings/sec, 725 secs
lola: sara is running 730 secs || sara is running 730 secs || 17492525 markings, 25205659 edges, 24819 markings/sec, 730 secs
lola: sara is running 735 secs || sara is running 735 secs || 17616246 markings, 25388097 edges, 24744 markings/sec, 735 secs
lola: sara is running 740 secs || sara is running 740 secs || 17738849 markings, 25577782 edges, 24521 markings/sec, 740 secs
lola: sara is running 745 secs || sara is running 745 secs || 17861936 markings, 25762991 edges, 24617 markings/sec, 745 secs
lola: sara is running 750 secs || sara is running 750 secs || 17984489 markings, 25958576 edges, 24511 markings/sec, 750 secs
lola: sara is running 755 secs || sara is running 755 secs || 18099318 markings, 26134156 edges, 22966 markings/sec, 755 secs
lola: sara is running 760 secs || sara is running 760 secs || 18216132 markings, 26314329 edges, 23363 markings/sec, 760 secs
lola: sara is running 765 secs || sara is running 765 secs || 18338889 markings, 26500720 edges, 24551 markings/sec, 765 secs
lola: sara is running 770 secs || sara is running 770 secs || 18451056 markings, 26665482 edges, 22433 markings/sec, 770 secs
lola: sara is running 775 secs || sara is running 775 secs || 18567052 markings, 26847973 edges, 23199 markings/sec, 775 secs
lola: sara is running 780 secs || sara is running 780 secs || 18682075 markings, 27033352 edges, 23005 markings/sec, 780 secs
lola: sara is running 785 secs || sara is running 785 secs || 18796772 markings, 27217925 edges, 22939 markings/sec, 785 secs
lola: sara is running 790 secs || sara is running 790 secs || 18912780 markings, 27390222 edges, 23202 markings/sec, 790 secs
lola: sara is running 795 secs || sara is running 795 secs || 19022787 markings, 27561868 edges, 22001 markings/sec, 795 secs
lola: sara is running 800 secs || sara is running 800 secs || 19139268 markings, 27746999 edges, 23296 markings/sec, 800 secs
lola: sara is running 805 secs || sara is running 805 secs || 19258242 markings, 27926151 edges, 23795 markings/sec, 805 secs
lola: sara is running 810 secs || sara is running 810 secs || 19381193 markings, 28113186 edges, 24590 markings/sec, 810 secs
lola: sara is running 815 secs || sara is running 815 secs || 19504109 markings, 28310527 edges, 24583 markings/sec, 815 secs
lola: sara is running 820 secs || sara is running 820 secs || 19627162 markings, 28489782 edges, 24611 markings/sec, 820 secs
lola: sara is running 825 secs || sara is running 825 secs || 19749598 markings, 28677747 edges, 24487 markings/sec, 825 secs
lola: sara is running 830 secs || sara is running 830 secs || 19871578 markings, 28875480 edges, 24396 markings/sec, 830 secs
lola: sara is running 835 secs || sara is running 835 secs || 19989306 markings, 29067973 edges, 23546 markings/sec, 835 secs
lola: sara is running 840 secs || sara is running 840 secs || 20111016 markings, 29260829 edges, 24342 markings/sec, 840 secs
lola: sara is running 845 secs || sara is running 845 secs || 20230417 markings, 29452413 edges, 23880 markings/sec, 845 secs
lola: sara is running 850 secs || sara is running 850 secs || 20353083 markings, 29646901 edges, 24533 markings/sec, 850 secs
lola: sara is running 855 secs || sara is running 855 secs || 20476975 markings, 29824497 edges, 24778 markings/sec, 855 secs
lola: sara is running 860 secs || sara is running 860 secs || 20600118 markings, 30010360 edges, 24629 markings/sec, 860 secs
lola: sara is running 865 secs || sara is running 865 secs || 20723205 markings, 30198836 edges, 24617 markings/sec, 865 secs
lola: sara is running 870 secs || sara is running 870 secs || 20846802 markings, 30387444 edges, 24719 markings/sec, 870 secs
lola: sara is running 875 secs || sara is running 875 secs || 20969581 markings, 30585835 edges, 24556 markings/sec, 875 secs
lola: sara is running 880 secs || sara is running 880 secs || 21093731 markings, 30777447 edges, 24830 markings/sec, 880 secs
lola: sara is running 885 secs || sara is running 885 secs || 21216172 markings, 30976014 edges, 24488 markings/sec, 885 secs
lola: sara is running 890 secs || sara is running 890 secs || 21339746 markings, 31161944 edges, 24715 markings/sec, 890 secs
lola: sara is running 895 secs || sara is running 895 secs || 21463395 markings, 31355455 edges, 24730 markings/sec, 895 secs
lola: sara is running 900 secs || sara is running 900 secs || 21587351 markings, 31546449 edges, 24791 markings/sec, 900 secs
lola: sara is running 905 secs || sara is running 905 secs || 21710121 markings, 31745593 edges, 24554 markings/sec, 905 secs
lola: sara is running 910 secs || sara is running 910 secs || 21832455 markings, 31946209 edges, 24467 markings/sec, 910 secs
lola: sara is running 915 secs || sara is running 915 secs || 21954102 markings, 32140278 edges, 24329 markings/sec, 915 secs
lola: sara is running 920 secs || sara is running 920 secs || 22076308 markings, 32336375 edges, 24441 markings/sec, 920 secs
lola: sara is running 925 secs || sara is running 925 secs || 22199970 markings, 32516373 edges, 24732 markings/sec, 925 secs
lola: sara is running 930 secs || sara is running 930 secs || 22320828 markings, 32700795 edges, 24172 markings/sec, 930 secs
lola: sara is running 935 secs || sara is running 935 secs || 22434304 markings, 32893186 edges, 22695 markings/sec, 935 secs
lola: sara is running 940 secs || sara is running 940 secs || 22557633 markings, 33076946 edges, 24666 markings/sec, 940 secs
lola: sara is running 945 secs || sara is running 945 secs || 22680573 markings, 33266243 edges, 24588 markings/sec, 945 secs
lola: sara is running 950 secs || sara is running 950 secs || 22803046 markings, 33462790 edges, 24495 markings/sec, 950 secs
lola: sara is running 955 secs || sara is running 955 secs || 22925405 markings, 33651518 edges, 24472 markings/sec, 955 secs
lola: sara is running 960 secs || sara is running 960 secs || 23042400 markings, 33827976 edges, 23399 markings/sec, 960 secs
lola: sara is running 965 secs || sara is running 965 secs || 23160192 markings, 34033068 edges, 23558 markings/sec, 965 secs
lola: sara is running 970 secs || sara is running 970 secs || 23282943 markings, 34226364 edges, 24550 markings/sec, 970 secs
lola: sara is running 975 secs || sara is running 975 secs || 23404347 markings, 34428096 edges, 24281 markings/sec, 975 secs
lola: sara is running 980 secs || sara is running 980 secs || 23526377 markings, 34623816 edges, 24406 markings/sec, 980 secs
lola: sara is running 985 secs || sara is running 985 secs || 23647604 markings, 34817470 edges, 24245 markings/sec, 985 secs
lola: sara is running 990 secs || sara is running 990 secs || 23769198 markings, 35018273 edges, 24319 markings/sec, 990 secs
lola: sara is running 995 secs || sara is running 995 secs || 23891294 markings, 35209436 edges, 24419 markings/sec, 995 secs
lola: sara is running 1000 secs || sara is running 1000 secs || 24003397 markings, 35411884 edges, 22421 markings/sec, 1000 secs
lola: sara is running 1005 secs || sara is running 1005 secs || 24113456 markings, 35610600 edges, 22012 markings/sec, 1005 secs
lola: sara is running 1010 secs || sara is running 1010 secs || 24233126 markings, 35805119 edges, 23934 markings/sec, 1010 secs
lola: sara is running 1015 secs || sara is running 1015 secs || 24353868 markings, 36009294 edges, 24148 markings/sec, 1015 secs
lola: sara is running 1020 secs || sara is running 1020 secs || 24476995 markings, 36201779 edges, 24625 markings/sec, 1020 secs
lola: sara is running 1025 secs || sara is running 1025 secs || 24598706 markings, 36395509 edges, 24342 markings/sec, 1025 secs
lola: sara is running 1030 secs || sara is running 1030 secs || 24722294 markings, 36580129 edges, 24718 markings/sec, 1030 secs
lola: sara is running 1035 secs || sara is running 1035 secs || 24843985 markings, 36778055 edges, 24338 markings/sec, 1035 secs
lola: sara is running 1040 secs || sara is running 1040 secs || 24965320 markings, 36976118 edges, 24267 markings/sec, 1040 secs
lola: sara is running 1045 secs || sara is running 1045 secs || 25086624 markings, 37173015 edges, 24261 markings/sec, 1045 secs
lola: sara is running 1050 secs || sara is running 1050 secs || 25209564 markings, 37361229 edges, 24588 markings/sec, 1050 secs
lola: sara is running 1055 secs || sara is running 1055 secs || 25331737 markings, 37555642 edges, 24435 markings/sec, 1055 secs
lola: sara is running 1060 secs || sara is running 1060 secs || 25453636 markings, 37751222 edges, 24380 markings/sec, 1060 secs
lola: sara is running 1065 secs || sara is running 1065 secs || 25576067 markings, 37938754 edges, 24486 markings/sec, 1065 secs
lola: sara is running 1070 secs || sara is running 1070 secs || 25699056 markings, 38130537 edges, 24598 markings/sec, 1070 secs
lola: sara is running 1075 secs || sara is running 1075 secs || 25820605 markings, 38322982 edges, 24310 markings/sec, 1075 secs
lola: sara is running 1080 secs || sara is running 1080 secs || 25941749 markings, 38513547 edges, 24229 markings/sec, 1080 secs
lola: sara is running 1085 secs || sara is running 1085 secs || 26063998 markings, 38700725 edges, 24450 markings/sec, 1085 secs
lola: sara is running 1090 secs || sara is running 1090 secs || 26185470 markings, 38897060 edges, 24294 markings/sec, 1090 secs
lola: sara is running 1095 secs || sara is running 1095 secs || 26307640 markings, 39084633 edges, 24434 markings/sec, 1095 secs
lola: sara is running 1100 secs || sara is running 1100 secs || 26429951 markings, 39275156 edges, 24462 markings/sec, 1100 secs
lola: sara is running 1105 secs || sara is running 1105 secs || 26552690 markings, 39473622 edges, 24548 markings/sec, 1105 secs
lola: sara is running 1110 secs || sara is running 1110 secs || 26674820 markings, 39674548 edges, 24426 markings/sec, 1110 secs
lola: sara is running 1115 secs || sara is running 1115 secs || 26796534 markings, 39873626 edges, 24343 markings/sec, 1115 secs
lola: sara is running 1120 secs || sara is running 1120 secs || 26918939 markings, 40060104 edges, 24481 markings/sec, 1120 secs
lola: sara is running 1125 secs || sara is running 1125 secs || 27042047 markings, 40249194 edges, 24622 markings/sec, 1125 secs
lola: sara is running 1130 secs || sara is running 1130 secs || 27164541 markings, 40441631 edges, 24499 markings/sec, 1130 secs
lola: sara is running 1135 secs || sara is running 1135 secs || 27287860 markings, 40638051 edges, 24664 markings/sec, 1135 secs
lola: sara is running 1140 secs || sara is running 1140 secs || 27410676 markings, 40833979 edges, 24563 markings/sec, 1140 secs
lola: sara is running 1145 secs || sara is running 1145 secs || 27532662 markings, 41025285 edges, 24397 markings/sec, 1145 secs
lola: sara is running 1150 secs || sara is running 1150 secs || 27655114 markings, 41219697 edges, 24490 markings/sec, 1150 secs
lola: sara is running 1155 secs || sara is running 1155 secs || 27777481 markings, 41410186 edges, 24473 markings/sec, 1155 secs
lola: sara is running 1160 secs || sara is running 1160 secs || 27900027 markings, 41602354 edges, 24509 markings/sec, 1160 secs
lola: sara is running 1165 secs || sara is running 1165 secs || 28021271 markings, 41800272 edges, 24249 markings/sec, 1165 secs
lola: sara is running 1170 secs || sara is running 1170 secs || 28143373 markings, 41998150 edges, 24420 markings/sec, 1170 secs
lola: sara is running 1175 secs || sara is running 1175 secs || 28265021 markings, 42195365 edges, 24330 markings/sec, 1175 secs
lola: sara is running 1180 secs || sara is running 1180 secs || 28382031 markings, 42390377 edges, 23402 markings/sec, 1180 secs
lola: sara is running 1185 secs || sara is running 1185 secs || 28504220 markings, 42588139 edges, 24438 markings/sec, 1185 secs
lola: sara is running 1190 secs || sara is running 1190 secs || 28613389 markings, 42766794 edges, 21834 markings/sec, 1190 secs
lola: sara is running 1195 secs || sara is running 1195 secs || 28726414 markings, 42945248 edges, 22605 markings/sec, 1195 secs
lola: sara is running 1200 secs || sara is running 1200 secs || 28845373 markings, 43134226 edges, 23792 markings/sec, 1200 secs
lola: sara is running 1205 secs || sara is running 1205 secs || 28966279 markings, 43327432 edges, 24181 markings/sec, 1205 secs
lola: sara is running 1210 secs || sara is running 1210 secs || 29087327 markings, 43523668 edges, 24210 markings/sec, 1210 secs
lola: sara is running 1215 secs || sara is running 1215 secs || 29208028 markings, 43720692 edges, 24140 markings/sec, 1215 secs
lola: sara is running 1220 secs || sara is running 1220 secs || 29329182 markings, 43923294 edges, 24231 markings/sec, 1220 secs
lola: sara is running 1225 secs || sara is running 1225 secs || 29443573 markings, 44105288 edges, 22878 markings/sec, 1225 secs
lola: sara is running 1230 secs || sara is running 1230 secs || 29558423 markings, 44310036 edges, 22970 markings/sec, 1230 secs
lola: sara is running 1235 secs || sara is running 1235 secs || 29673671 markings, 44501702 edges, 23050 markings/sec, 1235 secs
lola: sara is running 1240 secs || sara is running 1240 secs || 29794300 markings, 44697688 edges, 24126 markings/sec, 1240 secs
lola: sara is running 1245 secs || sara is running 1245 secs || 29912994 markings, 44903276 edges, 23739 markings/sec, 1245 secs
lola: sara is running 1250 secs || sara is running 1250 secs || 30029873 markings, 45108809 edges, 23376 markings/sec, 1250 secs
lola: sara is running 1255 secs || sara is running 1255 secs || 30150141 markings, 45303950 edges, 24054 markings/sec, 1255 secs
lola: sara is running 1260 secs || sara is running 1260 secs || 30271373 markings, 45501982 edges, 24246 markings/sec, 1260 secs
lola: sara is running 1265 secs || sara is running 1265 secs || 30391946 markings, 45690611 edges, 24115 markings/sec, 1265 secs
lola: sara is running 1270 secs || sara is running 1270 secs || 30514036 markings, 45883929 edges, 24418 markings/sec, 1270 secs
lola: sara is running 1275 secs || sara is running 1275 secs || 30635673 markings, 46075056 edges, 24327 markings/sec, 1275 secs
lola: sara is running 1280 secs || sara is running 1280 secs || 30757355 markings, 46271264 edges, 24336 markings/sec, 1280 secs
lola: sara is running 1285 secs || sara is running 1285 secs || 30878797 markings, 46464841 edges, 24288 markings/sec, 1285 secs
lola: sara is running 1290 secs || sara is running 1290 secs || 31000316 markings, 46660335 edges, 24304 markings/sec, 1290 secs
lola: sara is running 1295 secs || sara is running 1295 secs || 31120968 markings, 46858609 edges, 24130 markings/sec, 1295 secs
lola: sara is running 1300 secs || sara is running 1300 secs || 31242365 markings, 47054646 edges, 24279 markings/sec, 1300 secs
lola: sara is running 1305 secs || sara is running 1305 secs || 31363580 markings, 47250659 edges, 24243 markings/sec, 1305 secs
lola: sara is running 1310 secs || sara is running 1310 secs || 31485694 markings, 47435964 edges, 24423 markings/sec, 1310 secs
lola: sara is running 1315 secs || sara is running 1315 secs || 31606300 markings, 47635046 edges, 24121 markings/sec, 1315 secs
lola: sara is running 1320 secs || sara is running 1320 secs || 31726844 markings, 47843732 edges, 24109 markings/sec, 1320 secs
lola: sara is running 1325 secs || sara is running 1325 secs || 31845014 markings, 48020573 edges, 23634 markings/sec, 1325 secs
lola: sara is running 1330 secs || sara is running 1330 secs || 31947295 markings, 48194917 edges, 20456 markings/sec, 1330 secs
lola: sara is running 1335 secs || sara is running 1335 secs || 32058143 markings, 48367883 edges, 22170 markings/sec, 1335 secs
lola: sara is running 1340 secs || sara is running 1340 secs || 32180667 markings, 48551141 edges, 24505 markings/sec, 1340 secs
lola: sara is running 1345 secs || sara is running 1345 secs || 32301250 markings, 48753305 edges, 24117 markings/sec, 1345 secs
lola: sara is running 1350 secs || sara is running 1350 secs || 32421536 markings, 48953222 edges, 24057 markings/sec, 1350 secs
lola: sara is running 1355 secs || sara is running 1355 secs || 32544256 markings, 49143631 edges, 24544 markings/sec, 1355 secs
lola: sara is running 1360 secs || sara is running 1360 secs || 32665514 markings, 49346523 edges, 24252 markings/sec, 1360 secs
lola: sara is running 1365 secs || sara is running 1365 secs || 32787088 markings, 49549032 edges, 24315 markings/sec, 1365 secs
lola: sara is running 1370 secs || sara is running 1370 secs || 32908216 markings, 49747166 edges, 24226 markings/sec, 1370 secs
lola: sara is running 1375 secs || sara is running 1375 secs || 33030277 markings, 49939924 edges, 24412 markings/sec, 1375 secs
lola: sara is running 1380 secs || sara is running 1380 secs || 33142338 markings, 50123081 edges, 22412 markings/sec, 1380 secs
lola: sara is running 1385 secs || sara is running 1385 secs || 33253803 markings, 50305912 edges, 22293 markings/sec, 1385 secs
lola: sara is running 1390 secs || sara is running 1390 secs || 33372575 markings, 50500757 edges, 23754 markings/sec, 1390 secs
lola: sara is running 1395 secs || sara is running 1395 secs || 33494085 markings, 50704040 edges, 24302 markings/sec, 1395 secs
lola: sara is running 1400 secs || sara is running 1400 secs || 33604728 markings, 50889461 edges, 22129 markings/sec, 1400 secs
lola: sara is running 1405 secs || sara is running 1405 secs || 33721439 markings, 51081380 edges, 23342 markings/sec, 1405 secs
lola: sara is running 1410 secs || sara is running 1410 secs || 33839360 markings, 51271082 edges, 23584 markings/sec, 1410 secs
lola: sara is running 1415 secs || sara is running 1415 secs || 33960151 markings, 51474014 edges, 24158 markings/sec, 1415 secs
lola: sara is running 1420 secs || sara is running 1420 secs || 34079249 markings, 51663309 edges, 23820 markings/sec, 1420 secs
lola: sara is running 1425 secs || sara is running 1425 secs || 34185302 markings, 51835346 edges, 21211 markings/sec, 1425 secs
lola: sara is running 1430 secs || sara is running 1430 secs || 34294586 markings, 52013350 edges, 21857 markings/sec, 1430 secs
lola: sara is running 1435 secs || sara is running 1435 secs || 34414486 markings, 52213645 edges, 23980 markings/sec, 1435 secs
lola: sara is running 1440 secs || sara is running 1440 secs || 34525826 markings, 52394429 edges, 22268 markings/sec, 1440 secs
lola: sara is running 1445 secs || sara is running 1445 secs || 34633456 markings, 52569854 edges, 21526 markings/sec, 1445 secs
lola: sara is running 1450 secs || sara is running 1450 secs || 34755858 markings, 52759653 edges, 24480 markings/sec, 1450 secs
lola: sara is running 1455 secs || sara is running 1455 secs || 34876725 markings, 52957279 edges, 24173 markings/sec, 1455 secs
lola: sara is running 1460 secs || sara is running 1460 secs || 34993104 markings, 53151640 edges, 23276 markings/sec, 1460 secs
lola: sara is running 1465 secs || sara is running 1465 secs || 35105608 markings, 53337935 edges, 22501 markings/sec, 1465 secs
lola: sara is running 1470 secs || sara is running 1470 secs || 35220050 markings, 53516591 edges, 22888 markings/sec, 1470 secs
lola: sara is running 1475 secs || sara is running 1475 secs || 35340802 markings, 53713984 edges, 24150 markings/sec, 1475 secs
lola: sara is running 1480 secs || sara is running 1480 secs || 35461250 markings, 53907922 edges, 24090 markings/sec, 1480 secs
lola: sara is running 1485 secs || sara is running 1485 secs || 35581231 markings, 54101539 edges, 23996 markings/sec, 1485 secs
lola: sara is running 1490 secs || sara is running 1490 secs || 35702141 markings, 54296495 edges, 24182 markings/sec, 1490 secs
lola: sara is running 1495 secs || sara is running 1495 secs || 35822844 markings, 54497379 edges, 24141 markings/sec, 1495 secs
lola: sara is running 1500 secs || sara is running 1500 secs || 35943111 markings, 54689158 edges, 24053 markings/sec, 1500 secs
lola: sara is running 1505 secs || sara is running 1505 secs || 36063225 markings, 54892957 edges, 24023 markings/sec, 1505 secs
lola: sara is running 1510 secs || sara is running 1510 secs || 36184772 markings, 55089274 edges, 24309 markings/sec, 1510 secs
lola: sara is running 1515 secs || sara is running 1515 secs || 36305045 markings, 55286285 edges, 24055 markings/sec, 1515 secs
lola: sara is running 1520 secs || sara is running 1520 secs || 36425541 markings, 55477341 edges, 24099 markings/sec, 1520 secs
lola: sara is running 1525 secs || sara is running 1525 secs || 36544093 markings, 55655108 edges, 23710 markings/sec, 1525 secs
lola: sara is running 1530 secs || sara is running 1530 secs || 36650978 markings, 55820705 edges, 21377 markings/sec, 1530 secs
lola: sara is running 1535 secs || sara is running 1535 secs || 36756470 markings, 55991152 edges, 21098 markings/sec, 1535 secs
lola: sara is running 1540 secs || sara is running 1540 secs || 36869537 markings, 56174925 edges, 22613 markings/sec, 1540 secs
lola: sara is running 1545 secs || sara is running 1545 secs || 36989767 markings, 56368207 edges, 24046 markings/sec, 1545 secs
lola: sara is running 1550 secs || sara is running 1550 secs || 37104460 markings, 56558722 edges, 22939 markings/sec, 1550 secs
lola: sara is running 1555 secs || sara is running 1555 secs || 37224301 markings, 56761794 edges, 23968 markings/sec, 1555 secs
lola: sara is running 1560 secs || sara is running 1560 secs || 37343128 markings, 56950464 edges, 23765 markings/sec, 1560 secs
lola: sara is running 1565 secs || sara is running 1565 secs || 37461520 markings, 57151038 edges, 23678 markings/sec, 1565 secs
lola: sara is running 1570 secs || sara is running 1570 secs || 37581752 markings, 57345012 edges, 24046 markings/sec, 1570 secs
lola: sara is running 1575 secs || sara is running 1575 secs || 37694476 markings, 57531700 edges, 22545 markings/sec, 1575 secs
lola: sara is running 1580 secs || sara is running 1580 secs || 37806537 markings, 57715280 edges, 22412 markings/sec, 1580 secs
lola: sara is running 1585 secs || sara is running 1585 secs || 37912459 markings, 57881312 edges, 21184 markings/sec, 1585 secs
lola: sara is running 1590 secs || sara is running 1590 secs || 38027322 markings, 58064833 edges, 22973 markings/sec, 1590 secs
lola: sara is running 1595 secs || sara is running 1595 secs || 38136184 markings, 58245330 edges, 21772 markings/sec, 1595 secs
lola: sara is running 1600 secs || sara is running 1600 secs || 38257118 markings, 58447885 edges, 24187 markings/sec, 1600 secs
lola: sara is running 1605 secs || sara is running 1605 secs || 38378128 markings, 58650862 edges, 24202 markings/sec, 1605 secs
lola: sara is running 1610 secs || sara is running 1610 secs || 38500007 markings, 58842659 edges, 24376 markings/sec, 1610 secs
lola: sara is running 1615 secs || sara is running 1615 secs || 38621491 markings, 59037483 edges, 24297 markings/sec, 1615 secs
lola: sara is running 1620 secs || sara is running 1620 secs || 38741697 markings, 59225297 edges, 24041 markings/sec, 1620 secs
lola: sara is running 1625 secs || sara is running 1625 secs || 38857255 markings, 59414863 edges, 23112 markings/sec, 1625 secs
lola: sara is running 1630 secs || sara is running 1630 secs || 38978190 markings, 59614784 edges, 24187 markings/sec, 1630 secs
lola: sara is running 1635 secs || sara is running 1635 secs || 39098949 markings, 59815989 edges, 24152 markings/sec, 1635 secs
lola: sara is running 1640 secs || sara is running 1640 secs || 39220130 markings, 60017933 edges, 24236 markings/sec, 1640 secs
lola: sara is running 1645 secs || sara is running 1645 secs || 39342456 markings, 60210465 edges, 24465 markings/sec, 1645 secs
lola: sara is running 1650 secs || sara is running 1650 secs || 39464778 markings, 60408350 edges, 24464 markings/sec, 1650 secs
lola: sara is running 1655 secs || sara is running 1655 secs || 39587160 markings, 60604595 edges, 24476 markings/sec, 1655 secs
lola: sara is running 1660 secs || sara is running 1660 secs || 39708193 markings, 60806683 edges, 24207 markings/sec, 1660 secs
lola: sara is running 1665 secs || sara is running 1665 secs || 39828903 markings, 61004868 edges, 24142 markings/sec, 1665 secs
lola: sara is running 1670 secs || sara is running 1670 secs || 39950274 markings, 61199747 edges, 24274 markings/sec, 1670 secs
lola: sara is running 1675 secs || sara is running 1675 secs || 40071106 markings, 61398088 edges, 24166 markings/sec, 1675 secs
lola: sara is running 1680 secs || sara is running 1680 secs || 40191687 markings, 61595771 edges, 24116 markings/sec, 1680 secs
lola: sara is running 1685 secs || sara is running 1685 secs || 40311930 markings, 61795951 edges, 24049 markings/sec, 1685 secs
lola: sara is running 1690 secs || sara is running 1690 secs || 40433189 markings, 61992228 edges, 24252 markings/sec, 1690 secs
lola: sara is running 1695 secs || sara is running 1695 secs || 40552873 markings, 62189081 edges, 23937 markings/sec, 1695 secs
lola: sara is running 1700 secs || sara is running 1700 secs || 40673376 markings, 62388424 edges, 24101 markings/sec, 1700 secs
lola: sara is running 1705 secs || sara is running 1705 secs || 40787250 markings, 62571094 edges, 22775 markings/sec, 1705 secs
lola: sara is running 1710 secs || sara is running 1710 secs || 40908014 markings, 62755273 edges, 24153 markings/sec, 1710 secs
lola: sara is running 1715 secs || sara is running 1715 secs || 41026790 markings, 62955173 edges, 23755 markings/sec, 1715 secs
lola: sara is running 1720 secs || sara is running 1720 secs || 41146942 markings, 63158398 edges, 24030 markings/sec, 1720 secs
lola: sara is running 1725 secs || sara is running 1725 secs || 41268684 markings, 63351348 edges, 24348 markings/sec, 1725 secs
lola: sara is running 1730 secs || sara is running 1730 secs || 41390953 markings, 63542095 edges, 24454 markings/sec, 1730 secs
lola: sara is running 1735 secs || sara is running 1735 secs || 41511984 markings, 63739935 edges, 24206 markings/sec, 1735 secs
lola: sara is running 1740 secs || sara is running 1740 secs || 41633196 markings, 63928809 edges, 24242 markings/sec, 1740 secs
lola: sara is running 1745 secs || sara is running 1745 secs || 41756274 markings, 64121072 edges, 24616 markings/sec, 1745 secs
lola: sara is running 1750 secs || sara is running 1750 secs || 41878482 markings, 64318391 edges, 24442 markings/sec, 1750 secs
lola: sara is running 1755 secs || sara is running 1755 secs || 41998899 markings, 64520163 edges, 24083 markings/sec, 1755 secs
lola: sara is running 1760 secs || sara is running 1760 secs || 42119956 markings, 64724959 edges, 24211 markings/sec, 1760 secs
lola: sara is running 1765 secs || sara is running 1765 secs || 42242163 markings, 64924531 edges, 24441 markings/sec, 1765 secs
lola: sara is running 1770 secs || sara is running 1770 secs || 42364123 markings, 65119992 edges, 24392 markings/sec, 1770 secs
lola: sara is running 1775 secs || sara is running 1775 secs || 42485921 markings, 65316230 edges, 24360 markings/sec, 1775 secs
lola: sara is running 1780 secs || sara is running 1780 secs || 42601293 markings, 65521634 edges, 23074 markings/sec, 1780 secs
lola: sara is running 1785 secs || sara is running 1785 secs || 42723674 markings, 65713780 edges, 24476 markings/sec, 1785 secs
lola: sara is running 1790 secs || sara is running 1790 secs || 42844967 markings, 65920405 edges, 24259 markings/sec, 1790 secs
lola: sara is running 1795 secs || sara is running 1795 secs || 42966320 markings, 66120962 edges, 24271 markings/sec, 1795 secs
lola: sara is running 1800 secs || sara is running 1800 secs || 43088169 markings, 66315571 edges, 24370 markings/sec, 1800 secs
lola: sara is running 1805 secs || sara is running 1805 secs || 43204238 markings, 66506050 edges, 23214 markings/sec, 1805 secs
lola: sara is running 1810 secs || sara is running 1810 secs || 43314693 markings, 66691560 edges, 22091 markings/sec, 1810 secs
lola: sara is running 1815 secs || sara is running 1815 secs || 43423757 markings, 66870260 edges, 21813 markings/sec, 1815 secs
lola: sara is running 1820 secs || sara is running 1820 secs || 43544908 markings, 67069553 edges, 24230 markings/sec, 1820 secs
lola: sara is running 1825 secs || sara is running 1825 secs || 43666253 markings, 67266004 edges, 24269 markings/sec, 1825 secs
lola: sara is running 1830 secs || sara is running 1830 secs || 43788232 markings, 67462586 edges, 24396 markings/sec, 1830 secs
lola: sara is running 1835 secs || sara is running 1835 secs || 43909165 markings, 67661810 edges, 24187 markings/sec, 1835 secs
lola: sara is running 1840 secs || sara is running 1840 secs || 44030433 markings, 67864434 edges, 24254 markings/sec, 1840 secs
lola: sara is running 1845 secs || sara is running 1845 secs || 44151672 markings, 68065667 edges, 24248 markings/sec, 1845 secs
lola: sara is running 1850 secs || sara is running 1850 secs || 44273911 markings, 68263190 edges, 24448 markings/sec, 1850 secs
lola: sara is running 1855 secs || sara is running 1855 secs || 44395278 markings, 68466682 edges, 24273 markings/sec, 1855 secs
lola: sara is running 1860 secs || sara is running 1860 secs || 44516447 markings, 68666687 edges, 24234 markings/sec, 1860 secs
lola: sara is running 1865 secs || sara is running 1865 secs || 44637224 markings, 68872950 edges, 24155 markings/sec, 1865 secs
lola: sara is running 1870 secs || sara is running 1870 secs || 44758594 markings, 69073241 edges, 24274 markings/sec, 1870 secs
lola: sara is running 1875 secs || sara is running 1875 secs || 44879944 markings, 69273849 edges, 24270 markings/sec, 1875 secs
lola: sara is running 1880 secs || sara is running 1880 secs || 45000354 markings, 69485000 edges, 24082 markings/sec, 1880 secs
lola: sara is running 1885 secs || sara is running 1885 secs || 45121189 markings, 69696529 edges, 24167 markings/sec, 1885 secs
lola: sara is running 1890 secs || sara is running 1890 secs || 45242595 markings, 69898961 edges, 24281 markings/sec, 1890 secs
lola: sara is running 1895 secs || sara is running 1895 secs || 45363333 markings, 70095968 edges, 24148 markings/sec, 1895 secs
lola: sara is running 1900 secs || sara is running 1900 secs || 45484427 markings, 70291544 edges, 24219 markings/sec, 1900 secs
lola: sara is running 1905 secs || sara is running 1905 secs || 45605064 markings, 70492494 edges, 24127 markings/sec, 1905 secs
lola: sara is running 1910 secs || sara is running 1910 secs || 45725579 markings, 70695767 edges, 24103 markings/sec, 1910 secs
lola: sara is running 1915 secs || sara is running 1915 secs || 45846008 markings, 70895469 edges, 24086 markings/sec, 1915 secs
lola: sara is running 1920 secs || sara is running 1920 secs || 45967391 markings, 71078035 edges, 24277 markings/sec, 1920 secs
lola: sara is running 1925 secs || sara is running 1925 secs || 46073167 markings, 71254838 edges, 21155 markings/sec, 1925 secs
lola: sara is running 1930 secs || sara is running 1930 secs || 46193618 markings, 71460527 edges, 24090 markings/sec, 1930 secs
lola: sara is running 1935 secs || sara is running 1935 secs || 46314856 markings, 71653696 edges, 24248 markings/sec, 1935 secs
lola: sara is running 1940 secs || sara is running 1940 secs || 46436483 markings, 71858828 edges, 24325 markings/sec, 1940 secs
lola: sara is running 1945 secs || sara is running 1945 secs || 46557697 markings, 72061510 edges, 24243 markings/sec, 1945 secs
lola: sara is running 1950 secs || sara is running 1950 secs || 46678707 markings, 72264093 edges, 24202 markings/sec, 1950 secs
lola: sara is running 1955 secs || sara is running 1955 secs || 46799158 markings, 72467882 edges, 24090 markings/sec, 1955 secs
lola: sara is running 1960 secs || sara is running 1960 secs || 46919606 markings, 72673199 edges, 24090 markings/sec, 1960 secs
lola: sara is running 1965 secs || sara is running 1965 secs || 47040528 markings, 72873526 edges, 24184 markings/sec, 1965 secs
lola: sara is running 1970 secs || sara is running 1970 secs || 47160610 markings, 73071796 edges, 24016 markings/sec, 1970 secs
lola: sara is running 1975 secs || sara is running 1975 secs || 47282572 markings, 73269804 edges, 24392 markings/sec, 1975 secs
lola: sara is running 1980 secs || sara is running 1980 secs || 47403651 markings, 73469791 edges, 24216 markings/sec, 1980 secs
lola: sara is running 1985 secs || sara is running 1985 secs || 47524717 markings, 73665614 edges, 24213 markings/sec, 1985 secs
lola: sara is running 1990 secs || sara is running 1990 secs || 47646535 markings, 73872309 edges, 24364 markings/sec, 1990 secs
lola: sara is running 1995 secs || sara is running 1995 secs || 47767478 markings, 74075910 edges, 24189 markings/sec, 1995 secs
lola: sara is running 2000 secs || sara is running 2000 secs || 47872658 markings, 74256725 edges, 21036 markings/sec, 2000 secs
lola: sara is running 2005 secs || sara is running 2005 secs || 47982879 markings, 74425363 edges, 22044 markings/sec, 2005 secs
lola: sara is running 2010 secs || sara is running 2010 secs || 48102125 markings, 74626302 edges, 23849 markings/sec, 2010 secs
lola: sara is running 2015 secs || sara is running 2015 secs || 48222365 markings, 74826949 edges, 24048 markings/sec, 2015 secs
lola: sara is running 2020 secs || sara is running 2020 secs || 48342178 markings, 75022923 edges, 23963 markings/sec, 2020 secs
lola: sara is running 2025 secs || sara is running 2025 secs || 48461992 markings, 75229305 edges, 23963 markings/sec, 2025 secs
lola: sara is running 2030 secs || sara is running 2030 secs || 48581958 markings, 75432587 edges, 23993 markings/sec, 2030 secs
lola: sara is running 2035 secs || sara is running 2035 secs || 48701057 markings, 75635917 edges, 23820 markings/sec, 2035 secs
lola: sara is running 2040 secs || sara is running 2040 secs || 48820878 markings, 75830795 edges, 23964 markings/sec, 2040 secs
lola: sara is running 2045 secs || sara is running 2045 secs || 48940176 markings, 76036170 edges, 23860 markings/sec, 2045 secs
lola: sara is running 2050 secs || sara is running 2050 secs || 49058771 markings, 76249035 edges, 23719 markings/sec, 2050 secs
lola: sara is running 2055 secs || sara is running 2055 secs || 49173972 markings, 76450702 edges, 23040 markings/sec, 2055 secs
lola: sara is running 2060 secs || sara is running 2060 secs || 49285982 markings, 76653946 edges, 22402 markings/sec, 2060 secs
lola: sara is running 2065 secs || sara is running 2065 secs || 49398785 markings, 76851686 edges, 22561 markings/sec, 2065 secs
lola: sara is running 2070 secs || sara is running 2070 secs || 49516846 markings, 77048789 edges, 23612 markings/sec, 2070 secs
lola: sara is running 2075 secs || sara is running 2075 secs || 49629713 markings, 77248204 edges, 22573 markings/sec, 2075 secs
lola: sara is running 2080 secs || sara is running 2080 secs || 49738936 markings, 77431269 edges, 21845 markings/sec, 2080 secs
lola: sara is running 2085 secs || sara is running 2085 secs || 49851555 markings, 77622235 edges, 22524 markings/sec, 2085 secs
lola: sara is running 2090 secs || sara is running 2090 secs || 49972395 markings, 77818469 edges, 24168 markings/sec, 2090 secs
lola: sara is running 2095 secs || sara is running 2095 secs || 50093286 markings, 78013738 edges, 24178 markings/sec, 2095 secs
lola: sara is running 2100 secs || sara is running 2100 secs || 50207825 markings, 78198464 edges, 22908 markings/sec, 2100 secs
lola: sara is running 2105 secs || sara is running 2105 secs || 50319354 markings, 78384777 edges, 22306 markings/sec, 2105 secs
lola: sara is running 2110 secs || sara is running 2110 secs || 50429417 markings, 78567137 edges, 22013 markings/sec, 2110 secs
lola: sara is running 2115 secs || sara is running 2115 secs || 50545321 markings, 78758771 edges, 23181 markings/sec, 2115 secs
lola: sara is running 2120 secs || sara is running 2120 secs || 50654413 markings, 78938873 edges, 21818 markings/sec, 2120 secs
lola: sara is running 2125 secs || sara is running 2125 secs || 50768305 markings, 79123306 edges, 22778 markings/sec, 2125 secs
lola: sara is running 2130 secs || sara is running 2130 secs || 50887790 markings, 79333119 edges, 23897 markings/sec, 2130 secs
lola: sara is running 2135 secs || sara is running 2135 secs || 51008188 markings, 79543277 edges, 24080 markings/sec, 2135 secs
lola: sara is running 2140 secs || sara is running 2140 secs || 51128497 markings, 79744739 edges, 24062 markings/sec, 2140 secs
lola: sara is running 2145 secs || sara is running 2145 secs || 51241461 markings, 79942440 edges, 22593 markings/sec, 2145 secs
lola: sara is running 2150 secs || sara is running 2150 secs || 51355640 markings, 80137204 edges, 22836 markings/sec, 2150 secs
lola: sara is running 2155 secs || sara is running 2155 secs || 51466615 markings, 80329320 edges, 22195 markings/sec, 2155 secs
lola: sara is running 2160 secs || sara is running 2160 secs || 51586693 markings, 80528060 edges, 24016 markings/sec, 2160 secs
lola: sara is running 2165 secs || sara is running 2165 secs || 51705632 markings, 80735603 edges, 23788 markings/sec, 2165 secs
lola: sara is running 2170 secs || sara is running 2170 secs || 51825903 markings, 80937973 edges, 24054 markings/sec, 2170 secs
lola: sara is running 2175 secs || sara is running 2175 secs || 51945601 markings, 81142639 edges, 23940 markings/sec, 2175 secs
lola: sara is running 2180 secs || sara is running 2180 secs || 52065324 markings, 81327049 edges, 23945 markings/sec, 2180 secs
lola: sara is running 2185 secs || sara is running 2185 secs || 52181180 markings, 81526951 edges, 23171 markings/sec, 2185 secs
lola: sara is running 2190 secs || sara is running 2190 secs || 52286435 markings, 81713469 edges, 21051 markings/sec, 2190 secs
lola: sara is running 2195 secs || sara is running 2195 secs || 52397957 markings, 81905879 edges, 22304 markings/sec, 2195 secs
lola: sara is running 2200 secs || sara is running 2200 secs || 52518538 markings, 82108306 edges, 24116 markings/sec, 2200 secs
lola: sara is running 2205 secs || sara is running 2205 secs || 52631134 markings, 82292319 edges, 22519 markings/sec, 2205 secs
lola: sara is running 2210 secs || sara is running 2210 secs || 52750788 markings, 82491665 edges, 23931 markings/sec, 2210 secs
lola: sara is running 2215 secs || sara is running 2215 secs || 52863857 markings, 82675824 edges, 22614 markings/sec, 2215 secs
lola: sara is running 2220 secs || sara is running 2220 secs || 52983304 markings, 82877424 edges, 23889 markings/sec, 2220 secs
lola: sara is running 2225 secs || sara is running 2225 secs || 53103249 markings, 83071829 edges, 23989 markings/sec, 2225 secs
lola: sara is running 2230 secs || sara is running 2230 secs || 53223469 markings, 83270268 edges, 24044 markings/sec, 2230 secs
lola: sara is running 2235 secs || sara is running 2235 secs || 53344101 markings, 83468232 edges, 24126 markings/sec, 2235 secs
lola: sara is running 2240 secs || sara is running 2240 secs || 53462896 markings, 83677419 edges, 23759 markings/sec, 2240 secs
lola: sara is running 2245 secs || sara is running 2245 secs || 53582757 markings, 83869678 edges, 23972 markings/sec, 2245 secs
lola: sara is running 2250 secs || sara is running 2250 secs || 53701851 markings, 84066979 edges, 23819 markings/sec, 2250 secs
lola: sara is running 2255 secs || sara is running 2255 secs || 53815983 markings, 84268742 edges, 22826 markings/sec, 2255 secs
lola: sara is running 2260 secs || sara is running 2260 secs || 53935314 markings, 84473070 edges, 23866 markings/sec, 2260 secs
lola: sara is running 2265 secs || sara is running 2265 secs || 54056317 markings, 84666377 edges, 24201 markings/sec, 2265 secs
lola: sara is running 2270 secs || sara is running 2270 secs || 54177747 markings, 84855392 edges, 24286 markings/sec, 2270 secs
lola: sara is running 2275 secs || sara is running 2275 secs || 54297874 markings, 85050879 edges, 24025 markings/sec, 2275 secs
lola: sara is running 2280 secs || sara is running 2280 secs || 54418098 markings, 85249358 edges, 24045 markings/sec, 2280 secs
lola: sara is running 2285 secs || sara is running 2285 secs || 54537155 markings, 85456561 edges, 23811 markings/sec, 2285 secs
lola: sara is running 2290 secs || sara is running 2290 secs || 54657219 markings, 85648455 edges, 24013 markings/sec, 2290 secs
lola: sara is running 2295 secs || sara is running 2295 secs || 54776963 markings, 85849701 edges, 23949 markings/sec, 2295 secs
lola: sara is running 2300 secs || sara is running 2300 secs || 54897456 markings, 86051212 edges, 24099 markings/sec, 2300 secs
lola: sara is running 2305 secs || sara is running 2305 secs || 55018296 markings, 86248535 edges, 24168 markings/sec, 2305 secs
lola: sara is running 2310 secs || sara is running 2310 secs || 55138681 markings, 86445296 edges, 24077 markings/sec, 2310 secs
lola: sara is running 2315 secs || sara is running 2315 secs || 55257339 markings, 86646386 edges, 23732 markings/sec, 2315 secs
lola: sara is running 2320 secs || sara is running 2320 secs || 55368727 markings, 86855707 edges, 22278 markings/sec, 2320 secs
lola: sara is running 2325 secs || sara is running 2325 secs || 55487119 markings, 87060791 edges, 23678 markings/sec, 2325 secs
lola: sara is running 2330 secs || sara is running 2330 secs || 55607405 markings, 87263039 edges, 24057 markings/sec, 2330 secs
lola: sara is running 2335 secs || sara is running 2335 secs || 55728788 markings, 87455849 edges, 24277 markings/sec, 2335 secs
lola: sara is running 2340 secs || sara is running 2340 secs || 55848801 markings, 87659752 edges, 24003 markings/sec, 2340 secs
lola: sara is running 2345 secs || sara is running 2345 secs || 55955575 markings, 87842654 edges, 21355 markings/sec, 2345 secs
lola: sara is running 2350 secs || sara is running 2350 secs || 56066822 markings, 88030041 edges, 22249 markings/sec, 2350 secs
lola: sara is running 2355 secs || sara is running 2355 secs || 56181115 markings, 88237563 edges, 22859 markings/sec, 2355 secs
lola: sara is running 2360 secs || sara is running 2360 secs || 56293724 markings, 88448647 edges, 22522 markings/sec, 2360 secs
lola: sara is running 2365 secs || sara is running 2365 secs || 56410095 markings, 88646841 edges, 23274 markings/sec, 2365 secs
lola: sara is running 2370 secs || sara is running 2370 secs || 56532664 markings, 88834997 edges, 24514 markings/sec, 2370 secs
lola: sara is running 2375 secs || sara is running 2375 secs || 56653728 markings, 89031302 edges, 24213 markings/sec, 2375 secs
lola: sara is running 2380 secs || sara is running 2380 secs || 56773910 markings, 89229706 edges, 24036 markings/sec, 2380 secs
lola: sara is running 2385 secs || sara is running 2385 secs || 56895834 markings, 89423615 edges, 24385 markings/sec, 2385 secs
lola: sara is running 2390 secs || sara is running 2390 secs || 57016409 markings, 89628433 edges, 24115 markings/sec, 2390 secs
lola: sara is running 2395 secs || sara is running 2395 secs || 57136688 markings, 89833832 edges, 24056 markings/sec, 2395 secs
lola: sara is running 2400 secs || sara is running 2400 secs || 57257463 markings, 90034647 edges, 24155 markings/sec, 2400 secs
lola: sara is running 2405 secs || sara is running 2405 secs || 57377824 markings, 90231878 edges, 24072 markings/sec, 2405 secs
lola: sara is running 2410 secs || sara is running 2410 secs || 57497525 markings, 90441428 edges, 23940 markings/sec, 2410 secs
lola: sara is running 2415 secs || sara is running 2415 secs || 57616189 markings, 90649338 edges, 23733 markings/sec, 2415 secs
lola: sara is running 2420 secs || sara is running 2420 secs || 57735775 markings, 90851813 edges, 23917 markings/sec, 2420 secs
lola: sara is running 2425 secs || sara is running 2425 secs || 57855034 markings, 91049647 edges, 23852 markings/sec, 2425 secs
lola: sara is running 2430 secs || sara is running 2430 secs || 57975536 markings, 91235718 edges, 24100 markings/sec, 2430 secs
lola: sara is running 2435 secs || sara is running 2435 secs || 58092677 markings, 91430694 edges, 23428 markings/sec, 2435 secs
lola: sara is running 2440 secs || sara is running 2440 secs || 58202920 markings, 91643860 edges, 22049 markings/sec, 2440 secs
lola: sara is running 2445 secs || sara is running 2445 secs || 58322235 markings, 91848136 edges, 23863 markings/sec, 2445 secs
lola: sara is running 2450 secs || sara is running 2450 secs || 58441656 markings, 92048891 edges, 23884 markings/sec, 2450 secs
lola: sara is running 2455 secs || sara is running 2455 secs || 58561515 markings, 92241640 edges, 23972 markings/sec, 2455 secs
lola: sara is running 2460 secs || sara is running 2460 secs || 58681420 markings, 92448352 edges, 23981 markings/sec, 2460 secs
lola: sara is running 2465 secs || sara is running 2465 secs || 58800306 markings, 92639949 edges, 23777 markings/sec, 2465 secs
lola: sara is running 2470 secs || sara is running 2470 secs || 58921003 markings, 92835260 edges, 24139 markings/sec, 2470 secs
lola: sara is running 2475 secs || sara is running 2475 secs || 59041654 markings, 93018324 edges, 24130 markings/sec, 2475 secs
lola: sara is running 2480 secs || sara is running 2480 secs || 59160288 markings, 93219546 edges, 23727 markings/sec, 2480 secs
lola: sara is running 2485 secs || sara is running 2485 secs || 59278713 markings, 93421734 edges, 23685 markings/sec, 2485 secs
lola: sara is running 2490 secs || sara is running 2490 secs || 59398362 markings, 93629720 edges, 23930 markings/sec, 2490 secs
lola: sara is running 2495 secs || sara is running 2495 secs || 59518846 markings, 93825933 edges, 24097 markings/sec, 2495 secs
lola: sara is running 2500 secs || sara is running 2500 secs || 59638429 markings, 94032392 edges, 23917 markings/sec, 2500 secs
lola: sara is running 2505 secs || sara is running 2505 secs || 59757140 markings, 94240630 edges, 23742 markings/sec, 2505 secs
lola: sara is running 2510 secs || sara is running 2510 secs || 59877886 markings, 94437380 edges, 24149 markings/sec, 2510 secs
lola: sara is running 2515 secs || sara is running 2515 secs || 59998048 markings, 94641616 edges, 24032 markings/sec, 2515 secs
lola: sara is running 2520 secs || sara is running 2520 secs || 60118830 markings, 94844637 edges, 24156 markings/sec, 2520 secs
lola: sara is running 2525 secs || sara is running 2525 secs || 60238200 markings, 95047092 edges, 23874 markings/sec, 2525 secs
lola: sara is running 2530 secs || sara is running 2530 secs || 60358335 markings, 95254629 edges, 24027 markings/sec, 2530 secs
lola: sara is running 2535 secs || sara is running 2535 secs || 60478727 markings, 95456266 edges, 24078 markings/sec, 2535 secs
lola: sara is running 2540 secs || sara is running 2540 secs || 60598789 markings, 95641126 edges, 24012 markings/sec, 2540 secs
lola: sara is running 2545 secs || sara is running 2545 secs || 60718307 markings, 95836845 edges, 23904 markings/sec, 2545 secs
lola: sara is running 2550 secs || sara is running 2550 secs || 60838517 markings, 96032552 edges, 24042 markings/sec, 2550 secs
lola: sara is running 2555 secs || sara is running 2555 secs || 60958719 markings, 96239956 edges, 24040 markings/sec, 2555 secs
lola: sara is running 2560 secs || sara is running 2560 secs || 61079580 markings, 96440049 edges, 24172 markings/sec, 2560 secs
lola: sara is running 2565 secs || sara is running 2565 secs || 61199296 markings, 96649350 edges, 23943 markings/sec, 2565 secs
lola: sara is running 2570 secs || sara is running 2570 secs || 61318828 markings, 96853963 edges, 23906 markings/sec, 2570 secs
lola: sara is running 2575 secs || sara is running 2575 secs || 61439210 markings, 97051771 edges, 24076 markings/sec, 2575 secs
lola: sara is running 2580 secs || sara is running 2580 secs || 61560894 markings, 97244618 edges, 24337 markings/sec, 2580 secs
lola: time limit reached - aborting
lola:
preliminary result: yes yes unknown yes no no no no no unknown
lola:
preliminary result: yes yes unknown yes no no no no no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes unknown yes no no no no no unknown
lola: memory consumption: 6046552 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes yes unknown yes no no no no no unknown
lola: memory consumption: 6046552 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
rslt: finished

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

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="PolyORBLF-COL-S06J04T06"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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 itslola"
echo " Input is PolyORBLF-COL-S06J04T06, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r176-tajo-158987871800371"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-COL-S06J04T06.tgz
mv PolyORBLF-COL-S06J04T06 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;