Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-input.r132-oct2-155403939200043.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-3954
Executing tool win2018
Input is PolyORBNT-PT-S05J80, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r132-oct2-155403939200043
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.3M
-rw-r--r-- 1 mcc users 12K Feb 12 09:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 42K Feb 12 09:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 41K Feb 8 10:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 138K Feb 8 10:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 106 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 344 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 19K Feb 5 00:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 51K Feb 5 00:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 26K Feb 4 22:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 86K Feb 4 22:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 26K Feb 4 13:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 4 13:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 17K Feb 1 08:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 1 08:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 4 22:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 11K Feb 4 22:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 7 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 2.7M Mar 10 17:31 model.pnml

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1554070057944

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBNT-PT-S05J80 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBNT-PT-S05J80 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ PolyORBNT-PT-S05J80 @ 3569 seconds
lola: LoLA will run for 3569 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3539/65536 symbol table entries, 197 collisions
lola: preprocessing...
lola: Size of bit vector: 38048
lola: finding significant places
lola: 1189 places, 2350 transitions, 1007 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2168 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-PT-S05J80-UpperBounds.task
lola: MAX(place_782_1) : MAX(f2_0 + f2_1 + f2_2 + f2_3 + f2_4 + f2_5 + f2_6 + f2_7 + f2_8 + f2_9 + f2_10 + f2_11 + f2_12 + f2_13 + f2_14 + f2_15 + f2_16 + f2_17 + f2_18 + f2_19 + f2_20 + f2_21 + f2_22 + f2_23 + f2_24 + f2_25 + f2_26 + f2_27 + f2_28 + f2_29 + f2_30 + f2_31 + f2_32 + f2_33 + f2_34 + f2_35 + f2_36 + f2_37 + f2_38 + f2_39 + f2_40 + f2_41 + f2_42 + f2_43 + f2_44 + f2_45 + f2_46 + f2_47 + f2_48 + f2_49 + f2_50 + f2_51 + f2_52 + f2_53 + f2_54 + f2_55 + f2_56 + f2_57 + f2_58 + f2_59 + f2_60 + f2_61 + f2_62 + f2_63 + f2_64 + f2_65 + f2_66 + f2_67 + f2_68 + f2_69 + f2_70 + f2_71 + f2_72 + f2_73 + f2_74 + f2_75 + f2_76 + f2_77 + f2_78 + f2_79 + f2_80) : MAX(f3_10 + f3_11 + f3_12 + f3_13 + f3_14 + f3_15 + f3_16 + f3_17 + f3_18 + f3_19 + f3_20 + f3_21 + f3_22 + f3_23 + f3_24 + f3_25 + f3_26 + f3_27 + f3_28 + f3_29 + f3_30 + f3_31 + f3_32 + f3_33 + f3_34 + f3_35 + f3_36 + f3_37 + f3_38 + f3_39 + f3_40 + f3_41 + f3_42 + f3_43 + f3_44 + f3_45 + f3_46 + f3_47 + f3_48 + f3_49 + f3_50 + f3_51 + f3_52 + f3_53 + f3_54 + f3_55 + f3_56 + f3_57 + f3_58 + f3_59 + f3_60 + f3_61 + f3_62 + f3_63 + f3_64 + f3_65 + f3_66 + f3_67 + f3_68 + f3_69 + f3_70 + f3_71 + f3_72 + f3_73 + f3_74 + f3_75 + f3_76 + f3_77 + f3_78 + f3_79 + f3_80 + f3_0 + f3_1 + f3_2 + f3_3 + f3_4 + f3_5 + f3_6 + f3_7 + f3_8 + f3_9) : MAX(place_482_1_1 + place_482_1_2 + place_482_1_3 + place_482_1_4 + place_482_1_5) : MAX(DataOnSrc_5 + DataOnSrc_4 + DataOnSrc_3 + DataOnSrc_2 + DataOnSrc_1) : MAX(cSources) : MAX(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5) : MAX(f1_0 + f1_1 + f1_2 + f1_3 + f1_4 + f1_5 + f1_6 + f1_7 + f1_8 + f1_9 + f1_10 + f1_11 + f1_12 + f1_13 + f1_14 + f1_15 + f1_16 + f1_17 + f1_18 + f1_19 + f1_20 + f1_21 + f1_22 + f1_23 + f1_24 + f1_25 + f1_26 + f1_27 + f1_28 + f1_29 + f1_30 + f1_31 + f1_32 + f1_33 + f1_34 + f1_35 + f1_36 + f1_37 + f1_38 + f1_39 + f1_40 + f1_41 + f1_42 + f1_43 + f1_44 + f1_45 + f1_46 + f1_47 + f1_48 + f1_49 + f1_50 + f1_51 + f1_52 + f1_53 + f1_54 + f1_55 + f1_56 + f1_57 + f1_58 + f1_59 + f1_60 + f1_61 + f1_62 + f1_63 + f1_64 + f1_65 + f1_66 + f1_67 + f1_68 + f1_69 + f1_70 + f1_71 + f1_72 + f1_73 + f1_74 + f1_75 + f1_76 + f1_77 + f1_78 + f1_79 + f1_80) : MAX(CreatedJobs_26_4) : MAX(FetchJobE_1_17) : MAX(f1_59) : MAX(CreatedJobs_27_2) : MAX(AvailableJobId_13) : MAX(QueueJobB_1_42) : MAX(f1_2) : MAX(CreatedJobs_37_3)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(place_782_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(place_782_1)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 2 markings, 1 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J80-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cSources)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cSources)
lola: processed formula length: 13
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 10
lola: SUBRESULT
lola: result: 10
lola: produced by: state space
lola: The maximum value of the given expression is 10
lola: 0 markings, 0 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J80-UpperBounds-5 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 253 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_26_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_26_4)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 12 markings, 11 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J80-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(FetchJobE_1_17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(FetchJobE_1_17)
lola: processed formula length: 19
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: 68551 markings, 79413 edges, 13710 markings/sec, 0 secs
lola: 150768 markings, 186429 edges, 16443 markings/sec, 5 secs
lola: 242543 markings, 299673 edges, 18355 markings/sec, 10 secs
lola: 333338 markings, 416464 edges, 18159 markings/sec, 15 secs
lola: 396677 markings, 517345 edges, 12668 markings/sec, 20 secs
lola: 451090 markings, 606885 edges, 10883 markings/sec, 25 secs
lola: 506534 markings, 705759 edges, 11089 markings/sec, 30 secs
lola: 577969 markings, 790090 edges, 14287 markings/sec, 35 secs
lola: 660536 markings, 897274 edges, 16513 markings/sec, 40 secs
lola: 750903 markings, 1009008 edges, 18073 markings/sec, 45 secs
lola: 839180 markings, 1123953 edges, 17655 markings/sec, 50 secs
lola: 897715 markings, 1219300 edges, 11707 markings/sec, 55 secs
lola: 951938 markings, 1308841 edges, 10845 markings/sec, 60 secs
lola: 1007670 markings, 1405495 edges, 11146 markings/sec, 65 secs
lola: 1077562 markings, 1488632 edges, 13978 markings/sec, 70 secs
lola: 1159480 markings, 1594685 edges, 16384 markings/sec, 75 secs
lola: 1248861 markings, 1705404 edges, 17876 markings/sec, 80 secs
lola: 1337112 markings, 1820439 edges, 17650 markings/sec, 85 secs
lola: 1394428 markings, 1914215 edges, 11463 markings/sec, 90 secs
lola: 1448458 markings, 2003432 edges, 10806 markings/sec, 95 secs
lola: 1504102 markings, 2099902 edges, 11129 markings/sec, 100 secs
lola: 1574470 markings, 2184200 edges, 14074 markings/sec, 105 secs
lola: 1660425 markings, 2294910 edges, 17191 markings/sec, 110 secs
lola: 1751543 markings, 2408218 edges, 18224 markings/sec, 115 secs
lola: 1839014 markings, 2527265 edges, 17494 markings/sec, 120 secs
lola: 1891293 markings, 2613321 edges, 10456 markings/sec, 125 secs
lola: 1945218 markings, 2703716 edges, 10785 markings/sec, 130 secs
lola: 2004770 markings, 2797198 edges, 11910 markings/sec, 135 secs
lola: 2076480 markings, 2890301 edges, 14342 markings/sec, 140 secs
lola: 2164628 markings, 2998051 edges, 17630 markings/sec, 145 secs
lola: 2255792 markings, 3112291 edges, 18233 markings/sec, 150 secs
lola: 2335262 markings, 3226977 edges, 15894 markings/sec, 155 secs
lola: 2389520 markings, 3314866 edges, 10852 markings/sec, 160 secs
lola: 2443833 markings, 3408402 edges, 10863 markings/sec, 165 secs
lola: 2509294 markings, 3499412 edges, 13092 markings/sec, 170 secs
lola: 2585347 markings, 3598783 edges, 15211 markings/sec, 175 secs
lola: 2673261 markings, 3706794 edges, 17583 markings/sec, 180 secs
lola: 2763336 markings, 3820991 edges, 18015 markings/sec, 185 secs
lola: 2832655 markings, 3926863 edges, 13864 markings/sec, 190 secs
lola: 2886207 markings, 4014180 edges, 10710 markings/sec, 195 secs
lola: 2939030 markings, 4110014 edges, 10565 markings/sec, 200 secs
lola: 3009437 markings, 4197405 edges, 14081 markings/sec, 205 secs
lola: 3093064 markings, 4306359 edges, 16725 markings/sec, 210 secs
lola: 3184577 markings, 4419669 edges, 18303 markings/sec, 215 secs
lola: 3273690 markings, 4537283 edges, 17823 markings/sec, 220 secs
lola: 3329924 markings, 4630374 edges, 11247 markings/sec, 225 secs
lola: 3385026 markings, 4722747 edges, 11020 markings/sec, 230 secs
lola: 3447073 markings, 4819035 edges, 12409 markings/sec, 235 secs
lola: 3521943 markings, 4916131 edges, 14974 markings/sec, 240 secs
lola: 3612955 markings, 5027866 edges, 18202 markings/sec, 245 secs
lola: 3705278 markings, 5144643 edges, 18465 markings/sec, 250 secs
lola: 3777677 markings, 5254012 edges, 14480 markings/sec, 255 secs
lola: 3832323 markings, 5343402 edges, 10929 markings/sec, 260 secs
lola: 3885713 markings, 5443488 edges, 10678 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown 10 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 503456 KB
lola: time consumption: 298 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 272 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(f1_59)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(f1_59)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 14 markings, 13 edges

FORMULA PolyORBNT-PT-S05J80-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_27_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_27_2)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 19 markings, 18 edges

FORMULA PolyORBNT-PT-S05J80-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 327 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(AvailableJobId_13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(AvailableJobId_13)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges

FORMULA PolyORBNT-PT-S05J80-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 363 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(QueueJobB_1_42)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(QueueJobB_1_42)
lola: processed formula length: 19
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 15 markings, 14 edges

FORMULA PolyORBNT-PT-S05J80-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 8 will run for 408 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(f1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(f1_2)
lola: processed formula length: 9
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 14 markings, 13 edges

FORMULA PolyORBNT-PT-S05J80-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 9 will run for 467 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_37_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_37_3)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 19 markings, 18 edges

FORMULA PolyORBNT-PT-S05J80-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 545 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5)
lola: processed formula length: 82
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 72682 markings, 84508 edges, 14536 markings/sec, 30 secs
lola: 155451 markings, 192290 edges, 16554 markings/sec, 35 secs
lola: 246907 markings, 305121 edges, 18291 markings/sec, 40 secs
lola: 336629 markings, 421013 edges, 17944 markings/sec, 45 secs
lola: 398461 markings, 520393 edges, 12366 markings/sec, 50 secs
lola: 452662 markings, 609623 edges, 10840 markings/sec, 55 secs
lola: 508267 markings, 707649 edges, 11121 markings/sec, 60 secs
lola: 579050 markings, 791495 edges, 14157 markings/sec, 65 secs
lola: 663724 markings, 901176 edges, 16935 markings/sec, 70 secs
lola: 755835 markings, 1015167 edges, 18422 markings/sec, 75 secs
lola: 845497 markings, 1133069 edges, 17932 markings/sec, 80 secs
lola: 902807 markings, 1227519 edges, 11462 markings/sec, 85 secs
lola: 957348 markings, 1318117 edges, 10908 markings/sec, 90 secs
lola: 1015218 markings, 1414048 edges, 11574 markings/sec, 95 secs
lola: 1085891 markings, 1500150 edges, 14135 markings/sec, 100 secs
lola: 1169609 markings, 1607057 edges, 16744 markings/sec, 105 secs
lola: 1259362 markings, 1718547 edges, 17951 markings/sec, 110 secs
lola: 1346923 markings, 1835177 edges, 17512 markings/sec, 115 secs
lola: 1401032 markings, 1924752 edges, 10822 markings/sec, 120 secs
lola: 1455112 markings, 2014751 edges, 10816 markings/sec, 125 secs
lola: 1513400 markings, 2110465 edges, 11658 markings/sec, 130 secs
lola: 1584060 markings, 2198644 edges, 14132 markings/sec, 135 secs
lola: 1673848 markings, 2311422 edges, 17958 markings/sec, 140 secs
lola: 1766251 markings, 2426907 edges, 18481 markings/sec, 145 secs
lola: 1848710 markings, 2544761 edges, 16492 markings/sec, 150 secs
lola: 1902221 markings, 2631131 edges, 10702 markings/sec, 155 secs
lola: 1956377 markings, 2723702 edges, 10831 markings/sec, 160 secs
lola: 2020282 markings, 2815285 edges, 12781 markings/sec, 165 secs
lola: 2094854 markings, 2912539 edges, 14914 markings/sec, 170 secs
lola: 2182800 markings, 3020507 edges, 17589 markings/sec, 175 secs
lola: 2272403 markings, 3133733 edges, 17921 markings/sec, 180 secs
lola: 2344493 markings, 3241835 edges, 14418 markings/sec, 185 secs
lola: 2397458 markings, 3328076 edges, 10593 markings/sec, 190 secs
lola: 2450266 markings, 3421044 edges, 10562 markings/sec, 195 secs
lola: 2517560 markings, 3509327 edges, 13459 markings/sec, 200 secs
lola: 2594502 markings, 3609971 edges, 15388 markings/sec, 205 secs
lola: 2681175 markings, 3716603 edges, 17335 markings/sec, 210 secs
lola: 2771305 markings, 3831604 edges, 18026 markings/sec, 215 secs
lola: 2837474 markings, 3934573 edges, 13234 markings/sec, 220 secs
lola: 2891092 markings, 4022422 edges, 10724 markings/sec, 225 secs
lola: 2944605 markings, 4121614 edges, 10703 markings/sec, 230 secs
lola: 3016247 markings, 4205999 edges, 14328 markings/sec, 235 secs
lola: 3101830 markings, 4317041 edges, 17117 markings/sec, 240 secs
lola: 3194642 markings, 4432410 edges, 18562 markings/sec, 245 secs
lola: 3283332 markings, 4555503 edges, 17738 markings/sec, 250 secs
lola: 3336517 markings, 4641125 edges, 10637 markings/sec, 255 secs
lola: 3390683 markings, 4732871 edges, 10833 markings/sec, 260 secs
lola: 3453951 markings, 4827010 edges, 12654 markings/sec, 265 secs
lola: 3529408 markings, 4925342 edges, 15091 markings/sec, 270 secs
lola: 3618991 markings, 5035421 edges, 17917 markings/sec, 275 secs
lola: 3708517 markings, 5148816 edges, 17905 markings/sec, 280 secs
lola: 3778080 markings, 5254581 edges, 13913 markings/sec, 285 secs
lola: 3832440 markings, 5343566 edges, 10872 markings/sec, 290 secs
lola: 3885934 markings, 5443712 edges, 10699 markings/sec, 295 secs
lola: 3957491 markings, 5527743 edges, 14311 markings/sec, 300 secs
lola: 4038480 markings, 5633252 edges, 16198 markings/sec, 305 secs
lola: 4127147 markings, 5743145 edges, 17733 markings/sec, 310 secs
lola: 4215912 markings, 5860044 edges, 17753 markings/sec, 315 secs
lola: 4270606 markings, 5950687 edges, 10939 markings/sec, 320 secs
lola: 4324262 markings, 6040100 edges, 10731 markings/sec, 325 secs
lola: 4382269 markings, 6134019 edges, 11601 markings/sec, 330 secs
lola: 4453306 markings, 6226224 edges, 14207 markings/sec, 335 secs
lola: 4541097 markings, 6333961 edges, 17558 markings/sec, 340 secs
lola: 4630469 markings, 6446449 edges, 17874 markings/sec, 345 secs
lola: 4704878 markings, 6556266 edges, 14882 markings/sec, 350 secs
lola: 4757426 markings, 6641983 edges, 10510 markings/sec, 355 secs
lola: 4809636 markings, 6734568 edges, 10442 markings/sec, 360 secs
lola: 4875714 markings, 6820538 edges, 13216 markings/sec, 365 secs
lola: 4952871 markings, 6921559 edges, 15431 markings/sec, 370 secs
lola: 5041244 markings, 7030832 edges, 17675 markings/sec, 375 secs
lola: 5128232 markings, 7143773 edges, 17398 markings/sec, 380 secs
lola: 5186508 markings, 7238503 edges, 11655 markings/sec, 385 secs
lola: 5240035 markings, 7327459 edges, 10705 markings/sec, 390 secs
lola: 5296311 markings, 7421069 edges, 11255 markings/sec, 395 secs
lola: 5364615 markings, 7506751 edges, 13661 markings/sec, 400 secs
lola: 5447801 markings, 7611443 edges, 16637 markings/sec, 405 secs
lola: 5537168 markings, 7723288 edges, 17873 markings/sec, 410 secs
lola: 5615618 markings, 7835841 edges, 15690 markings/sec, 415 secs
lola: 5667434 markings, 7919832 edges, 10363 markings/sec, 420 secs
lola: 5719929 markings, 8010289 edges, 10499 markings/sec, 425 secs
lola: 5782915 markings, 8099195 edges, 12597 markings/sec, 430 secs
lola: 5858979 markings, 8198750 edges, 15213 markings/sec, 435 secs
lola: 5948379 markings, 8309251 edges, 17880 markings/sec, 440 secs
lola: 6036862 markings, 8423840 edges, 17697 markings/sec, 445 secs
lola: 6096766 markings, 8520866 edges, 11981 markings/sec, 450 secs
lola: 6150259 markings, 8610242 edges, 10699 markings/sec, 455 secs
lola: 6208470 markings, 8704127 edges, 11642 markings/sec, 460 secs
lola: 6279803 markings, 8796960 edges, 14267 markings/sec, 465 secs
lola: 6367260 markings, 8904330 edges, 17491 markings/sec, 470 secs
lola: 6456209 markings, 9016889 edges, 17790 markings/sec, 475 secs
lola: 6527118 markings, 9123846 edges, 14182 markings/sec, 480 secs
lola: 6580178 markings, 9210992 edges, 10612 markings/sec, 485 secs
lola: 6632530 markings, 9307959 edges, 10470 markings/sec, 490 secs
lola: 6704073 markings, 9393149 edges, 14309 markings/sec, 495 secs
lola: 6787791 markings, 9501709 edges, 16744 markings/sec, 500 secs
lola: 6879498 markings, 9616397 edges, 18341 markings/sec, 505 secs
lola: 6962561 markings, 9735453 edges, 16613 markings/sec, 510 secs
lola: 7016985 markings, 9823997 edges, 10885 markings/sec, 515 secs
lola: 7070554 markings, 9919011 edges, 10714 markings/sec, 520 secs
lola: 7141893 markings, 10011775 edges, 14268 markings/sec, 525 secs
lola: 7228101 markings, 10123903 edges, 17242 markings/sec, 530 secs
lola: 7321073 markings, 10240191 edges, 18594 markings/sec, 535 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown 10 unknown unknown 1 unknown 1 1 1 1 1 1
lola: caught signal User defined signal 2 - aborting LoLA
lola: memory consumption: 911324 KB
lola:
preliminary result: 1 unknown unknown unknown unknown 10 unknown unknown 1 unknown 1 1 1 1 1 1
lola: time consumption: 844 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 545 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(DataOnSrc_5 + DataOnSrc_4 + DataOnSrc_3 + DataOnSrc_2 + DataOnSrc_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(DataOnSrc_5 + DataOnSrc_4 + DataOnSrc_3 + DataOnSrc_2 + DataOnSrc_1)
lola: processed formula length: 72
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 5
lola: SUBRESULT
lola: result: 5
lola: produced by: state space
lola: The maximum value of the given expression is 5
lola: 0 markings, 0 edges

FORMULA PolyORBNT-PT-S05J80-UpperBounds-4 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 12 will run for 681 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(place_482_1_1 + place_482_1_2 + place_482_1_3 + place_482_1_4 + place_482_1_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(place_482_1_1 + place_482_1_2 + place_482_1_3 + place_482_1_4 + place_482_1_5)
lola: processed formula length: 82
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 4
lola: 48844 markings, 124181 edges, 9769 markings/sec, 0 secs
lola: 132505 markings, 319811 edges, 16732 markings/sec, 5 secs
lola: 215783 markings, 514528 edges, 16656 markings/sec, 10 secs
lola: 299522 markings, 710595 edges, 16748 markings/sec, 15 secs
lola: 383362 markings, 906618 edges, 16768 markings/sec, 20 secs
lola: 465915 markings, 1099651 edges, 16511 markings/sec, 25 secs
lola: 548523 markings, 1292812 edges, 16522 markings/sec, 30 secs
lola: 630563 markings, 1484995 edges, 16408 markings/sec, 35 secs
lola: 713339 markings, 1678554 edges, 16555 markings/sec, 40 secs
lola: 795892 markings, 1871559 edges, 16511 markings/sec, 45 secs
lola: 877940 markings, 2063442 edges, 16410 markings/sec, 50 secs
lola: 960053 markings, 2255474 edges, 16423 markings/sec, 55 secs
lola: 1042400 markings, 2448343 edges, 16469 markings/sec, 60 secs
lola: 1120619 markings, 2664520 edges, 15644 markings/sec, 65 secs
lola: 1213074 markings, 2865409 edges, 18491 markings/sec, 70 secs
lola: 1305587 markings, 3061501 edges, 18503 markings/sec, 75 secs
lola: 1398313 markings, 3258309 edges, 18545 markings/sec, 80 secs
lola: 1490749 markings, 3454349 edges, 18487 markings/sec, 85 secs
lola: 1582758 markings, 3649721 edges, 18402 markings/sec, 90 secs
lola: 1676106 markings, 3847886 edges, 18670 markings/sec, 95 secs
lola: 1769556 markings, 4046434 edges, 18690 markings/sec, 100 secs
lola: 1863243 markings, 4245659 edges, 18737 markings/sec, 105 secs
lola: 1956229 markings, 4443464 edges, 18597 markings/sec, 110 secs
lola: 2048240 markings, 4639291 edges, 18402 markings/sec, 115 secs
lola: 2139708 markings, 4834472 edges, 18294 markings/sec, 120 secs
lola: 2230418 markings, 5028355 edges, 18142 markings/sec, 125 secs
lola: 2320788 markings, 5222232 edges, 18074 markings/sec, 130 secs
lola: 2410401 markings, 5416451 edges, 17923 markings/sec, 135 secs
lola: 2507590 markings, 5617871 edges, 19438 markings/sec, 140 secs
lola: 2620731 markings, 5820901 edges, 22628 markings/sec, 145 secs
lola: 2732281 markings, 6020686 edges, 22310 markings/sec, 150 secs
lola: 2843347 markings, 6219992 edges, 22213 markings/sec, 155 secs
lola: 2952293 markings, 6415883 edges, 21789 markings/sec, 160 secs
lola: 3060621 markings, 6610601 edges, 21666 markings/sec, 165 secs
lola: 3166946 markings, 6801942 edges, 21265 markings/sec, 170 secs
lola: 3271924 markings, 6991016 edges, 20996 markings/sec, 175 secs
lola: 3377374 markings, 7181594 edges, 21090 markings/sec, 180 secs
lola: 3482912 markings, 7372653 edges, 21108 markings/sec, 185 secs
lola: 3589899 markings, 7567512 edges, 21397 markings/sec, 190 secs
lola: 3697925 markings, 7766978 edges, 21605 markings/sec, 195 secs
lola: 3768336 markings, 7898098 edges, 14082 markings/sec, 200 secs
lola: 3814436 markings, 7977392 edges, 9220 markings/sec, 205 secs
lola: 3859642 markings, 8059105 edges, 9041 markings/sec, 210 secs
lola: 3929441 markings, 8220886 edges, 13960 markings/sec, 215 secs
lola: 4018129 markings, 8414705 edges, 17738 markings/sec, 220 secs
lola: 4107886 markings, 8611159 edges, 17951 markings/sec, 225 secs
lola: 4196483 markings, 8805098 edges, 17719 markings/sec, 230 secs
lola: 4285544 markings, 9000057 edges, 17812 markings/sec, 235 secs
lola: 4374551 markings, 9195013 edges, 17801 markings/sec, 240 secs
lola: 4465625 markings, 9394412 edges, 18215 markings/sec, 245 secs
lola: 4556807 markings, 9594515 edges, 18236 markings/sec, 250 secs
lola: 4647951 markings, 9794434 edges, 18229 markings/sec, 255 secs
lola: 4738102 markings, 9992375 edges, 18030 markings/sec, 260 secs
lola: 4827990 markings, 10189796 edges, 17978 markings/sec, 265 secs
lola: 4917098 markings, 10385875 edges, 17822 markings/sec, 270 secs
lola: 5005666 markings, 10581380 edges, 17714 markings/sec, 275 secs
lola: 5093285 markings, 10775288 edges, 17524 markings/sec, 280 secs
lola: 5179880 markings, 10969214 edges, 17319 markings/sec, 285 secs
lola: 5279031 markings, 11171250 edges, 19830 markings/sec, 290 secs
lola: 5390702 markings, 11371158 edges, 22334 markings/sec, 295 secs
lola: 5502012 markings, 11571015 edges, 22262 markings/sec, 300 secs
lola: 5611951 markings, 11768312 edges, 21988 markings/sec, 305 secs
lola: 5720837 markings, 11963638 edges, 21777 markings/sec, 310 secs
lola: 5828923 markings, 12158138 edges, 21617 markings/sec, 315 secs
lola: 5933481 markings, 12346342 edges, 20912 markings/sec, 320 secs
lola: 6038383 markings, 12535440 edges, 20980 markings/sec, 325 secs
lola: 6143293 markings, 12724918 edges, 20982 markings/sec, 330 secs
lola: 6249757 markings, 12917756 edges, 21293 markings/sec, 335 secs
lola: 6356287 markings, 13111779 edges, 21306 markings/sec, 340 secs
lola: 6464299 markings, 13311545 edges, 21602 markings/sec, 345 secs
lola: 6531273 markings, 13435691 edges, 13395 markings/sec, 350 secs
lola: 6577076 markings, 13514565 edges, 9161 markings/sec, 355 secs
lola: 6621649 markings, 13595506 edges, 8915 markings/sec, 360 secs
lola: 6700918 markings, 13749799 edges, 15854 markings/sec, 365 secs
lola: 6799445 markings, 13930452 edges, 19705 markings/sec, 370 secs
lola: 6898807 markings, 14112908 edges, 19872 markings/sec, 375 secs
lola: 6996838 markings, 14292696 edges, 19606 markings/sec, 380 secs
lola: 7096671 markings, 14475981 edges, 19967 markings/sec, 385 secs
lola: 7195255 markings, 14657175 edges, 19717 markings/sec, 390 secs
lola: 7292526 markings, 14835792 edges, 19454 markings/sec, 395 secs
lola: 7388371 markings, 15011456 edges, 19169 markings/sec, 400 secs
lola: 7485987 markings, 15190621 edges, 19523 markings/sec, 405 secs
lola: 7582800 markings, 15368034 edges, 19363 markings/sec, 410 secs
lola: 7682625 markings, 15551670 edges, 19965 markings/sec, 415 secs
lola: 7779830 markings, 15730153 edges, 19441 markings/sec, 420 secs
lola: 7875787 markings, 15906212 edges, 19191 markings/sec, 425 secs
lola: 7972099 markings, 16082831 edges, 19262 markings/sec, 430 secs
lola: 8068931 markings, 16260440 edges, 19366 markings/sec, 435 secs
lola: 8167871 markings, 16442299 edges, 19788 markings/sec, 440 secs
lola: 8262961 markings, 16616927 edges, 19018 markings/sec, 445 secs
lola: 8357918 markings, 16790976 edges, 18991 markings/sec, 450 secs
lola: 8454036 markings, 16968849 edges, 19224 markings/sec, 455 secs
lola: 8549892 markings, 17144671 edges, 19171 markings/sec, 460 secs
lola: 8643614 markings, 17316352 edges, 18744 markings/sec, 465 secs
lola: 8715286 markings, 17584343 edges, 14334 markings/sec, 470 secs
lola: 8810866 markings, 17759424 edges, 19116 markings/sec, 475 secs
lola: 8909497 markings, 17940319 edges, 19726 markings/sec, 480 secs
lola: 9005258 markings, 18116069 edges, 19152 markings/sec, 485 secs
lola: 9099237 markings, 18288205 edges, 18796 markings/sec, 490 secs
lola: 9194334 markings, 18462472 edges, 19019 markings/sec, 495 secs
lola: 9290937 markings, 18639460 edges, 19321 markings/sec, 500 secs
lola: 9384459 markings, 18811177 edges, 18704 markings/sec, 505 secs
lola: 9477904 markings, 18982211 edges, 18689 markings/sec, 510 secs
lola: 9573049 markings, 19156530 edges, 19029 markings/sec, 515 secs
lola: 9671314 markings, 19336904 edges, 19653 markings/sec, 520 secs
lola: 9766275 markings, 19511054 edges, 18992 markings/sec, 525 secs
lola: 9859725 markings, 19682121 edges, 18690 markings/sec, 530 secs
lola: 9954967 markings, 19856636 edges, 19048 markings/sec, 535 secs
lola: 10052998 markings, 20036436 edges, 19606 markings/sec, 540 secs
lola: 10148396 markings, 20211490 edges, 19080 markings/sec, 545 secs
lola: 10241757 markings, 20382430 edges, 18672 markings/sec, 550 secs
lola: 10337097 markings, 20557140 edges, 19068 markings/sec, 555 secs
lola: 10434124 markings, 20736391 edges, 19405 markings/sec, 560 secs
lola: 10528646 markings, 20909517 edges, 18904 markings/sec, 565 secs
lola: 10621609 markings, 21079635 edges, 18593 markings/sec, 570 secs
lola: 10691434 markings, 21344163 edges, 13965 markings/sec, 575 secs
lola: 10788321 markings, 21522119 edges, 19377 markings/sec, 580 secs
lola: 10884727 markings, 21698803 edges, 19281 markings/sec, 585 secs
lola: 10979537 markings, 21872382 edges, 18962 markings/sec, 590 secs
lola: 11076026 markings, 22049276 edges, 19298 markings/sec, 595 secs
lola: 11173422 markings, 22227812 edges, 19479 markings/sec, 600 secs
lola: 11268085 markings, 22401572 edges, 18933 markings/sec, 605 secs
lola: 11361431 markings, 22572463 edges, 18669 markings/sec, 610 secs
lola: 11455967 markings, 22745655 edges, 18907 markings/sec, 615 secs
lola: 11553666 markings, 22924983 edges, 19540 markings/sec, 620 secs
lola: 11649112 markings, 23100016 edges, 19089 markings/sec, 625 secs
lola: 11741851 markings, 23269739 edges, 18548 markings/sec, 630 secs
lola: 11835726 markings, 23441642 edges, 18775 markings/sec, 635 secs
lola: 11933092 markings, 23620523 edges, 19473 markings/sec, 640 secs
lola: 12025306 markings, 23789542 edges, 18443 markings/sec, 645 secs
lola: 12118989 markings, 23961141 edges, 18737 markings/sec, 650 secs
lola: 12215306 markings, 24137653 edges, 19263 markings/sec, 655 secs
lola: 12308712 markings, 24309033 edges, 18681 markings/sec, 660 secs
lola: 12401904 markings, 24480839 edges, 18638 markings/sec, 665 secs
lola: 12497791 markings, 24656525 edges, 19177 markings/sec, 670 secs
lola: 12590534 markings, 24826566 edges, 18549 markings/sec, 675 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown 5 10 unknown unknown 1 unknown 1 1 1 1 1 1
lola: memory consumption: 1127464 KB
lola: time consumption: 1526 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 681 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(f1_0 + f1_1 + f1_2 + f1_3 + f1_4 + f1_5 + f1_6 + f1_7 + f1_8 + f1_9 + f1_10 + f1_11 + f1_12 + f1_13 + f1_14 + f1_15 + f1_16 + f1_17 + f1_18 + f1_19 + f1_20 + f1_21 + f1_22 + f1_23 + f1_24 + f1_25 + f1_26 + f1_27 + f1_28 + f1_29 + f1_30 + f1_31 + f1_32 + f1_33 + f1_34 + f1_35 + f1_36 + f1_37 + f1_38 + f1_39 + f1_40 + f1_41 + f1_42 + f1_43 + f1_44 + f1_45 + f1_46 + f1_47 + f1_48 + f1_49 + f1_50 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(f1_0 + f1_1 + f1_2 + f1_3 + f1_4 + f1_5 + f1_6 + f1_7 + f1_8 + f1_9 + f1_10 + f1_11 + f1_12 + f1_13 + f1_14 + f1_15 + f1_16 + f1_17 + f1_18 + f1_19 + f1_20 + f1_21 + f1_22 + f1_23 + f1_24 + f1_25 + f1_26 + f1_27 + f1_28 + f1_29 + f1_30 + f1_31 + f1_32 + f1_33 + f1_34 + f1_35 + f1_36 + f1_37 + f1_38 + f1_39 + f1_40 + f1_41 + f1_42 + f1_43 + f1_44 + f1_45 + f1_46 + f1_47 + f1_48 + f1_49 + f1_50 ... (shortened)
lola: processed formula length: 640
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 14 markings, 13 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J80-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1021 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(f2_0 + f2_1 + f2_2 + f2_3 + f2_4 + f2_5 + f2_6 + f2_7 + f2_8 + f2_9 + f2_10 + f2_11 + f2_12 + f2_13 + f2_14 + f2_15 + f2_16 + f2_17 + f2_18 + f2_19 + f2_20 + f2_21 + f2_22 + f2_23 + f2_24 + f2_25 + f2_26 + f2_27 + f2_28 + f2_29 + f2_30 + f2_31 + f2_32 + f2_33 + f2_34 + f2_35 + f2_36 + f2_37 + f2_38 + f2_39 + f2_40 + f2_41 + f2_42 + f2_43 + f2_44 + f2_45 + f2_46 + f2_47 + f2_48 + f2_49 + f2_50 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(f2_0 + f2_1 + f2_2 + f2_3 + f2_4 + f2_5 + f2_6 + f2_7 + f2_8 + f2_9 + f2_10 + f2_11 + f2_12 + f2_13 + f2_14 + f2_15 + f2_16 + f2_17 + f2_18 + f2_19 + f2_20 + f2_21 + f2_22 + f2_23 + f2_24 + f2_25 + f2_26 + f2_27 + f2_28 + f2_29 + f2_30 + f2_31 + f2_32 + f2_33 + f2_34 + f2_35 + f2_36 + f2_37 + f2_38 + f2_39 + f2_40 + f2_41 + f2_42 + f2_43 + f2_44 + f2_45 + f2_46 + f2_47 + f2_48 + f2_49 + f2_50 ... (shortened)
lola: processed formula length: 640
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 17 markings, 16 edges

FORMULA PolyORBNT-PT-S05J80-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 2042 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(f3_10 + f3_11 + f3_12 + f3_13 + f3_14 + f3_15 + f3_16 + f3_17 + f3_18 + f3_19 + f3_20 + f3_21 + f3_22 + f3_23 + f3_24 + f3_25 + f3_26 + f3_27 + f3_28 + f3_29 + f3_30 + f3_31 + f3_32 + f3_33 + f3_34 + f3_35 + f3_36 + f3_37 + f3_38 + f3_39 + f3_40 + f3_41 + f3_42 + f3_43 + f3_44 + f3_45 + f3_46 + f3_47 + f3_48 + f3_49 + f3_50 + f3_51 + f3_52 + f3_53 + f3_54 + f3_55 + f3_56 + f3_57 + f3_58 + f3_5... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(f3_10 + f3_11 + f3_12 + f3_13 + f3_14 + f3_15 + f3_16 + f3_17 + f3_18 + f3_19 + f3_20 + f3_21 + f3_22 + f3_23 + f3_24 + f3_25 + f3_26 + f3_27 + f3_28 + f3_29 + f3_30 + f3_31 + f3_32 + f3_33 + f3_34 + f3_35 + f3_36 + f3_37 + f3_38 + f3_39 + f3_40 + f3_41 + f3_42 + f3_43 + f3_44 + f3_45 + f3_46 + f3_47 + f3_48 + f3_49 + f3_50 + f3_51 + f3_52 + f3_53 + f3_54 + f3_55 + f3_56 + f3_57 + f3_58 + f3_5... (shortened)
lola: processed formula length: 640
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J80-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 25222 markings, 65322 edges, 5044 markings/sec, 30 secs
lola: 50480 markings, 128872 edges, 5052 markings/sec, 35 secs
lola: 75745 markings, 188366 edges, 5053 markings/sec, 40 secs
lola: 101023 markings, 247912 edges, 5056 markings/sec, 45 secs
lola: 126329 markings, 307597 edges, 5061 markings/sec, 50 secs
lola: 151582 markings, 367145 edges, 5051 markings/sec, 55 secs
lola: 176795 markings, 426567 edges, 5043 markings/sec, 60 secs
lola: 202021 markings, 486005 edges, 5045 markings/sec, 65 secs
lola: 227240 markings, 545430 edges, 5044 markings/sec, 70 secs
lola: 252437 markings, 604828 edges, 5039 markings/sec, 75 secs
lola: 277647 markings, 664249 edges, 5042 markings/sec, 80 secs
lola: 302882 markings, 723642 edges, 5047 markings/sec, 85 secs
lola: 328000 markings, 782872 edges, 5024 markings/sec, 90 secs
lola: 353297 markings, 842530 edges, 5059 markings/sec, 95 secs
lola: 378509 markings, 902167 edges, 5042 markings/sec, 100 secs
lola: 403602 markings, 961423 edges, 5019 markings/sec, 105 secs
lola: 428737 markings, 1020635 edges, 5027 markings/sec, 110 secs
lola: 454009 markings, 1080289 edges, 5054 markings/sec, 115 secs
lola: 479143 markings, 1139800 edges, 5027 markings/sec, 120 secs
lola: 504230 markings, 1198990 edges, 5017 markings/sec, 125 secs
lola: 529327 markings, 1258426 edges, 5019 markings/sec, 130 secs
lola: 554436 markings, 1317754 edges, 5022 markings/sec, 135 secs
lola: 579553 markings, 1377193 edges, 5023 markings/sec, 140 secs
lola: 604542 markings, 1436219 edges, 4998 markings/sec, 145 secs
lola: 629703 markings, 1495871 edges, 5032 markings/sec, 150 secs
lola: 654849 markings, 1555442 edges, 5029 markings/sec, 155 secs
lola: 679804 markings, 1614413 edges, 4991 markings/sec, 160 secs
lola: 704904 markings, 1673930 edges, 5020 markings/sec, 165 secs
lola: 730037 markings, 1733551 edges, 5027 markings/sec, 170 secs
lola: 755117 markings, 1793087 edges, 5016 markings/sec, 175 secs
lola: 780230 markings, 1852709 edges, 5023 markings/sec, 180 secs
lola: 805283 markings, 1912425 edges, 5011 markings/sec, 185 secs
lola: 830386 markings, 1972018 edges, 5021 markings/sec, 190 secs
lola: 855684 markings, 2032365 edges, 5060 markings/sec, 195 secs
lola: 880775 markings, 2091991 edges, 5018 markings/sec, 200 secs
lola: 905832 markings, 2151823 edges, 5011 markings/sec, 205 secs
lola: 931063 markings, 2212089 edges, 5046 markings/sec, 210 secs
lola: 956154 markings, 2272355 edges, 5018 markings/sec, 215 secs
lola: 981173 markings, 2332184 edges, 5004 markings/sec, 220 secs
lola: 1006455 markings, 2393219 edges, 5056 markings/sec, 225 secs
lola: 1031565 markings, 2453681 edges, 5022 markings/sec, 230 secs
lola: 1056810 markings, 2515051 edges, 5049 markings/sec, 235 secs
lola: 1081927 markings, 2576302 edges, 5023 markings/sec, 240 secs
lola: 1107405 markings, 2639500 edges, 5096 markings/sec, 245 secs
lola: 1132606 markings, 2705880 edges, 5040 markings/sec, 250 secs
lola: 1159808 markings, 2773333 edges, 5440 markings/sec, 255 secs
lola: 1187510 markings, 2835763 edges, 5540 markings/sec, 260 secs
lola: 1217430 markings, 2899794 edges, 5984 markings/sec, 265 secs
lola: 1247370 markings, 2963731 edges, 5988 markings/sec, 270 secs
lola: 1277584 markings, 3028377 edges, 6043 markings/sec, 275 secs
lola: 1307468 markings, 3092082 edges, 5977 markings/sec, 280 secs
lola: 1338162 markings, 3157449 edges, 6139 markings/sec, 285 secs
lola: 1367992 markings, 3221547 edges, 5966 markings/sec, 290 secs
lola: 1397794 markings, 3285224 edges, 5960 markings/sec, 295 secs
lola: 1427485 markings, 3348600 edges, 5938 markings/sec, 300 secs
lola: 1457043 markings, 3411954 edges, 5912 markings/sec, 305 secs
lola: 1486698 markings, 3475295 edges, 5931 markings/sec, 310 secs
lola: 1516452 markings, 3539142 edges, 5951 markings/sec, 315 secs
lola: 1546404 markings, 3603407 edges, 5990 markings/sec, 320 secs
lola: 1576090 markings, 3666998 edges, 5937 markings/sec, 325 secs
lola: 1606012 markings, 3730775 edges, 5984 markings/sec, 330 secs
lola: 1635272 markings, 3793553 edges, 5852 markings/sec, 335 secs
lola: 1664961 markings, 3857258 edges, 5938 markings/sec, 340 secs
lola: 1693285 markings, 3919001 edges, 5665 markings/sec, 345 secs
lola: 1721423 markings, 3980935 edges, 5628 markings/sec, 350 secs
lola: 1751309 markings, 4044972 edges, 5977 markings/sec, 355 secs
lola: 1781316 markings, 4109290 edges, 6001 markings/sec, 360 secs
lola: 1811341 markings, 4173586 edges, 6005 markings/sec, 365 secs
lola: 1841266 markings, 4238106 edges, 5985 markings/sec, 370 secs
lola: 1871212 markings, 4302383 edges, 5989 markings/sec, 375 secs
lola: 1900373 markings, 4365414 edges, 5832 markings/sec, 380 secs
lola: 1929803 markings, 4428505 edges, 5886 markings/sec, 385 secs
lola: 1959146 markings, 4491857 edges, 5869 markings/sec, 390 secs
lola: 1988271 markings, 4554835 edges, 5825 markings/sec, 395 secs
lola: 2017594 markings, 4618059 edges, 5865 markings/sec, 400 secs
lola: 2046651 markings, 4680916 edges, 5811 markings/sec, 405 secs
lola: 2076078 markings, 4744405 edges, 5885 markings/sec, 410 secs
lola: 2105338 markings, 4807655 edges, 5852 markings/sec, 415 secs
lola: 2134581 markings, 4871249 edges, 5849 markings/sec, 420 secs
lola: 2163740 markings, 4934473 edges, 5832 markings/sec, 425 secs
lola: 2193389 markings, 4998680 edges, 5930 markings/sec, 430 secs
lola: 2223273 markings, 5063922 edges, 5977 markings/sec, 435 secs
lola: 2253042 markings, 5128726 edges, 5954 markings/sec, 440 secs
lola: 2282909 markings, 5193979 edges, 5973 markings/sec, 445 secs
lola: 2312682 markings, 5259053 edges, 5955 markings/sec, 450 secs
lola: 2342441 markings, 5324227 edges, 5952 markings/sec, 455 secs
lola: 2372196 markings, 5389719 edges, 5951 markings/sec, 460 secs
lola: 2401799 markings, 5454951 edges, 5921 markings/sec, 465 secs
lola: 2431383 markings, 5520175 edges, 5917 markings/sec, 470 secs
lola: 2460701 markings, 5585627 edges, 5864 markings/sec, 475 secs
lola: 2490104 markings, 5651282 edges, 5881 markings/sec, 480 secs
lola: 2519356 markings, 5717462 edges, 5850 markings/sec, 485 secs
lola: 2548548 markings, 5783985 edges, 5838 markings/sec, 490 secs
lola: 2577699 markings, 5852407 edges, 5830 markings/sec, 495 secs
lola: 2606658 markings, 5924623 edges, 5792 markings/sec, 500 secs
lola: 2638086 markings, 5997997 edges, 6286 markings/sec, 505 secs
lola: 2672797 markings, 6063648 edges, 6942 markings/sec, 510 secs
lola: 2714690 markings, 6135215 edges, 8379 markings/sec, 515 secs
lola: 2756048 markings, 6206003 edges, 8272 markings/sec, 520 secs
lola: 2797523 markings, 6277239 edges, 8295 markings/sec, 525 secs
lola: 2838618 markings, 6347568 edges, 8219 markings/sec, 530 secs
lola: 2880185 markings, 6418930 edges, 8313 markings/sec, 535 secs
lola: 2921333 markings, 6489759 edges, 8230 markings/sec, 540 secs
lola: 2962472 markings, 6560438 edges, 8228 markings/sec, 545 secs
lola: 3003935 markings, 6631499 edges, 8293 markings/sec, 550 secs
lola: 3044819 markings, 6702103 edges, 8177 markings/sec, 555 secs
lola: 3085785 markings, 6772472 edges, 8193 markings/sec, 560 secs
lola: 3126836 markings, 6842917 edges, 8210 markings/sec, 565 secs
lola: 3167841 markings, 6913676 edges, 8201 markings/sec, 570 secs
lola: 3208768 markings, 6984245 edges, 8185 markings/sec, 575 secs
lola: 3249676 markings, 7054743 edges, 8182 markings/sec, 580 secs
lola: 3290461 markings, 7125444 edges, 8157 markings/sec, 585 secs
lola: 3331333 markings, 7196169 edges, 8174 markings/sec, 590 secs
lola: 3372203 markings, 7266548 edges, 8174 markings/sec, 595 secs
lola: 3412494 markings, 7336718 edges, 8058 markings/sec, 600 secs
lola: 3453301 markings, 7407260 edges, 8161 markings/sec, 605 secs
lola: 3493655 markings, 7477777 edges, 8071 markings/sec, 610 secs
lola: 3534290 markings, 7548398 edges, 8127 markings/sec, 615 secs
lola: 3574652 markings, 7618804 edges, 8072 markings/sec, 620 secs
lola: 3615065 markings, 7689403 edges, 8083 markings/sec, 625 secs
lola: 3654990 markings, 7759259 edges, 7985 markings/sec, 630 secs
lola: 3694810 markings, 7829291 edges, 7964 markings/sec, 635 secs
lola: 3734311 markings, 7898852 edges, 7900 markings/sec, 640 secs
lola: 3774677 markings, 7969978 edges, 8073 markings/sec, 645 secs
lola: 3815158 markings, 8041974 edges, 8096 markings/sec, 650 secs
lola: 3855486 markings, 8114170 edges, 8066 markings/sec, 655 secs
lola: 3895190 markings, 8185781 edges, 7941 markings/sec, 660 secs
lola: 3934681 markings, 8257918 edges, 7898 markings/sec, 665 secs
lola: 3973082 markings, 8330211 edges, 7680 markings/sec, 670 secs
lola: 4013599 markings, 8410373 edges, 8103 markings/sec, 675 secs
lola: 4042300 markings, 8485576 edges, 5740 markings/sec, 680 secs
lola: 4066113 markings, 8547437 edges, 4763 markings/sec, 685 secs
lola: 4089728 markings, 8609091 edges, 4723 markings/sec, 690 secs
lola: 4112982 markings, 8670639 edges, 4651 markings/sec, 695 secs
lola: 4136028 markings, 8732502 edges, 4609 markings/sec, 700 secs
lola: 4159150 markings, 8796309 edges, 4624 markings/sec, 705 secs
lola: 4182097 markings, 8864166 edges, 4589 markings/sec, 710 secs
lola: 4206978 markings, 8937881 edges, 4976 markings/sec, 715 secs
lola: 4236021 markings, 8999018 edges, 5809 markings/sec, 720 secs
lola: 4265378 markings, 9059734 edges, 5871 markings/sec, 725 secs
lola: 4294657 markings, 9120516 edges, 5856 markings/sec, 730 secs
lola: 4323978 markings, 9181158 edges, 5864 markings/sec, 735 secs
lola: 4353769 markings, 9243169 edges, 5958 markings/sec, 740 secs
lola: 4383575 markings, 9305016 edges, 5961 markings/sec, 745 secs
lola: 4413516 markings, 9367542 edges, 5988 markings/sec, 750 secs
lola: 4443516 markings, 9429469 edges, 6000 markings/sec, 755 secs
lola: 4473410 markings, 9491687 edges, 5979 markings/sec, 760 secs
lola: 4503117 markings, 9553264 edges, 5941 markings/sec, 765 secs
lola: 4532912 markings, 9615444 edges, 5959 markings/sec, 770 secs
lola: 4562663 markings, 9677548 edges, 5950 markings/sec, 775 secs
lola: 4592525 markings, 9739789 edges, 5972 markings/sec, 780 secs
lola: 4622410 markings, 9801528 edges, 5977 markings/sec, 785 secs
lola: 4652066 markings, 9863348 edges, 5931 markings/sec, 790 secs
lola: 4681843 markings, 9925392 edges, 5955 markings/sec, 795 secs
lola: 4711522 markings, 9987274 edges, 5936 markings/sec, 800 secs
lola: 4740056 markings, 10047554 edges, 5707 markings/sec, 805 secs
lola: 4768327 markings, 10107779 edges, 5654 markings/sec, 810 secs
lola: 4798415 markings, 10170728 edges, 6018 markings/sec, 815 secs
lola: 4828681 markings, 10233718 edges, 6053 markings/sec, 820 secs
lola: 4858923 markings, 10296625 edges, 6048 markings/sec, 825 secs
lola: 4889059 markings, 10359772 edges, 6027 markings/sec, 830 secs
lola: 4919190 markings, 10422624 edges, 6026 markings/sec, 835 secs
lola: 4949007 markings, 10485240 edges, 5963 markings/sec, 840 secs
lola: 4979257 markings, 10548532 edges, 6050 markings/sec, 845 secs
lola: 5009282 markings, 10611725 edges, 6005 markings/sec, 850 secs
lola: 5039464 markings, 10674793 edges, 6036 markings/sec, 855 secs
lola: 5069508 markings, 10738019 edges, 6009 markings/sec, 860 secs
lola: 5099533 markings, 10800836 edges, 6005 markings/sec, 865 secs
lola: 5129622 markings, 10864086 edges, 6018 markings/sec, 870 secs
lola: 5159676 markings, 10927582 edges, 6011 markings/sec, 875 secs
lola: 5189744 markings, 10990574 edges, 6014 markings/sec, 880 secs
lola: 5219697 markings, 11053794 edges, 5991 markings/sec, 885 secs
lola: 5249700 markings, 11117186 edges, 6001 markings/sec, 890 secs
lola: 5279594 markings, 11180339 edges, 5979 markings/sec, 895 secs
lola: 5309439 markings, 11243878 edges, 5969 markings/sec, 900 secs
lola: 5339355 markings, 11307396 edges, 5983 markings/sec, 905 secs
lola: 5369018 markings, 11370648 edges, 5933 markings/sec, 910 secs
lola: 5398873 markings, 11434054 edges, 5971 markings/sec, 915 secs
lola: 5428660 markings, 11497840 edges, 5957 markings/sec, 920 secs
lola: 5458406 markings, 11561591 edges, 5949 markings/sec, 925 secs
lola: 5487912 markings, 11625267 edges, 5901 markings/sec, 930 secs
lola: 5517329 markings, 11689176 edges, 5883 markings/sec, 935 secs
lola: 5546823 markings, 11753631 edges, 5899 markings/sec, 940 secs
lola: 5576286 markings, 11818510 edges, 5893 markings/sec, 945 secs
lola: 5605582 markings, 11883925 edges, 5859 markings/sec, 950 secs
lola: 5634744 markings, 11951178 edges, 5832 markings/sec, 955 secs
lola: 5663292 markings, 12029212 edges, 5710 markings/sec, 960 secs
lola: 5695925 markings, 12093928 edges, 6527 markings/sec, 965 secs
lola: 5733689 markings, 12162243 edges, 7553 markings/sec, 970 secs
lola: 5775457 markings, 12233929 edges, 8354 markings/sec, 975 secs
lola: 5816881 markings, 12304746 edges, 8285 markings/sec, 980 secs
lola: 5858101 markings, 12375449 edges, 8244 markings/sec, 985 secs
lola: 5899222 markings, 12446086 edges, 8224 markings/sec, 990 secs
lola: 5940632 markings, 12517081 edges, 8282 markings/sec, 995 secs
lola: 5981781 markings, 12587445 edges, 8230 markings/sec, 1000 secs
lola: 6023226 markings, 12658558 edges, 8289 markings/sec, 1005 secs
lola: 6064092 markings, 12729162 edges, 8173 markings/sec, 1010 secs
lola: 6105131 markings, 12799713 edges, 8208 markings/sec, 1015 secs
lola: 6146195 markings, 12870141 edges, 8213 markings/sec, 1020 secs
lola: 6187135 markings, 12940829 edges, 8188 markings/sec, 1025 secs
lola: 6228082 markings, 13011476 edges, 8189 markings/sec, 1030 secs
lola: 6269056 markings, 13082115 edges, 8195 markings/sec, 1035 secs
lola: 6310072 markings, 13152746 edges, 8203 markings/sec, 1040 secs
lola: 6350883 markings, 13223487 edges, 8162 markings/sec, 1045 secs
lola: 6391650 markings, 13294029 edges, 8153 markings/sec, 1050 secs
lola: 6432332 markings, 13364404 edges, 8136 markings/sec, 1055 secs
lola: 6472976 markings, 13434938 edges, 8129 markings/sec, 1060 secs
lola: 6513453 markings, 13505234 edges, 8095 markings/sec, 1065 secs
lola: 6554336 markings, 13576192 edges, 8177 markings/sec, 1070 secs
lola: 6594830 markings, 13646882 edges, 8099 markings/sec, 1075 secs
lola: 6635442 markings, 13717718 edges, 8122 markings/sec, 1080 secs
lola: 6676108 markings, 13788591 edges, 8133 markings/sec, 1085 secs
lola: 6716874 markings, 13860267 edges, 8153 markings/sec, 1090 secs
lola: 6757401 markings, 13931516 edges, 8105 markings/sec, 1095 secs
lola: 6797790 markings, 14002720 edges, 8078 markings/sec, 1100 secs
lola: 6838686 markings, 14075167 edges, 8179 markings/sec, 1105 secs
lola: 6879013 markings, 14147072 edges, 8065 markings/sec, 1110 secs
lola: 6919594 markings, 14219694 edges, 8116 markings/sec, 1115 secs
lola: 6959468 markings, 14291888 edges, 7975 markings/sec, 1120 secs
lola: 6999453 markings, 14365573 edges, 7997 markings/sec, 1125 secs
lola: 7039327 markings, 14441907 edges, 7975 markings/sec, 1130 secs
lola: 7077180 markings, 14528598 edges, 7571 markings/sec, 1135 secs
lola: 7101437 markings, 14591264 edges, 4851 markings/sec, 1140 secs
lola: 7125263 markings, 14653362 edges, 4765 markings/sec, 1145 secs
lola: 7148890 markings, 14715426 edges, 4725 markings/sec, 1150 secs
lola: 7172098 markings, 14777077 edges, 4642 markings/sec, 1155 secs
lola: 7195326 markings, 14840310 edges, 4646 markings/sec, 1160 secs
lola: 7218492 markings, 14905781 edges, 4633 markings/sec, 1165 secs
lola: 7242494 markings, 14983403 edges, 4800 markings/sec, 1170 secs
lola: 7271593 markings, 15043557 edges, 5820 markings/sec, 1175 secs
lola: 7300578 markings, 15103624 edges, 5797 markings/sec, 1180 secs
lola: 7329759 markings, 15164646 edges, 5836 markings/sec, 1185 secs
lola: 7359086 markings, 15225166 edges, 5865 markings/sec, 1190 secs
lola: 7388175 markings, 15285485 edges, 5818 markings/sec, 1195 secs
lola: 7417251 markings, 15346280 edges, 5815 markings/sec, 1200 secs
lola: 7446804 markings, 15407253 edges, 5911 markings/sec, 1205 secs
lola: 7476061 markings, 15468202 edges, 5851 markings/sec, 1210 secs
lola: 7505838 markings, 15530032 edges, 5955 markings/sec, 1215 secs
lola: 7535586 markings, 15592115 edges, 5950 markings/sec, 1220 secs
lola: 7565375 markings, 15653631 edges, 5958 markings/sec, 1225 secs
lola: 7595050 markings, 15715453 edges, 5935 markings/sec, 1230 secs
lola: 7624814 markings, 15777481 edges, 5953 markings/sec, 1235 secs
lola: 7654630 markings, 15839584 edges, 5963 markings/sec, 1240 secs
lola: 7684353 markings, 15901255 edges, 5945 markings/sec, 1245 secs
lola: 7714101 markings, 15963315 edges, 5950 markings/sec, 1250 secs
lola: 7743743 markings, 16025112 edges, 5928 markings/sec, 1255 secs
lola: 7772946 markings, 16086315 edges, 5841 markings/sec, 1260 secs
lola: 7800582 markings, 16145665 edges, 5527 markings/sec, 1265 secs
lola: 7830558 markings, 16208125 edges, 5995 markings/sec, 1270 secs
lola: 7860722 markings, 16271006 edges, 6033 markings/sec, 1275 secs
lola: 7890839 markings, 16333789 edges, 6023 markings/sec, 1280 secs
lola: 7920842 markings, 16396795 edges, 6001 markings/sec, 1285 secs
lola: 7950947 markings, 16459446 edges, 6021 markings/sec, 1290 secs
lola: 7980842 markings, 16522103 edges, 5979 markings/sec, 1295 secs
lola: 8010718 markings, 16584952 edges, 5975 markings/sec, 1300 secs
lola: 8040785 markings, 16647505 edges, 6013 markings/sec, 1305 secs
lola: 8070766 markings, 16710358 edges, 5996 markings/sec, 1310 secs
lola: 8100600 markings, 16773016 edges, 5967 markings/sec, 1315 secs
lola: 8130337 markings, 16835374 edges, 5947 markings/sec, 1320 secs
lola: 8160256 markings, 16898492 edges, 5984 markings/sec, 1325 secs
lola: 8190071 markings, 16961153 edges, 5963 markings/sec, 1330 secs
lola: 8219910 markings, 17024248 edges, 5968 markings/sec, 1335 secs
lola: 8249757 markings, 17086794 edges, 5969 markings/sec, 1340 secs
lola: 8279659 markings, 17149953 edges, 5980 markings/sec, 1345 secs
lola: 8309406 markings, 17213069 edges, 5949 markings/sec, 1350 secs
lola: 8338852 markings, 17275558 edges, 5889 markings/sec, 1355 secs
lola: 8368594 markings, 17338340 edges, 5948 markings/sec, 1360 secs
lola: 8398285 markings, 17401491 edges, 5938 markings/sec, 1365 secs
lola: 8427847 markings, 17464784 edges, 5912 markings/sec, 1370 secs
lola: 8457427 markings, 17527781 edges, 5916 markings/sec, 1375 secs
lola: 8486980 markings, 17591113 edges, 5911 markings/sec, 1380 secs
lola: 8516573 markings, 17654926 edges, 5919 markings/sec, 1385 secs
lola: 8546061 markings, 17718535 edges, 5898 markings/sec, 1390 secs
lola: 8575507 markings, 17782967 edges, 5889 markings/sec, 1395 secs
lola: 8604925 markings, 17847284 edges, 5884 markings/sec, 1400 secs
lola: 8634191 markings, 17912644 edges, 5853 markings/sec, 1405 secs
lola: 8663431 markings, 17979205 edges, 5848 markings/sec, 1410 secs
lola: 8692375 markings, 18049529 edges, 5789 markings/sec, 1415 secs
lola: 8723398 markings, 18123595 edges, 6205 markings/sec, 1420 secs
lola: 8758117 markings, 18189196 edges, 6944 markings/sec, 1425 secs
lola: 8799978 markings, 18260790 edges, 8372 markings/sec, 1430 secs
lola: 8841306 markings, 18331571 edges, 8266 markings/sec, 1435 secs
lola: 8882777 markings, 18402762 edges, 8294 markings/sec, 1440 secs
lola: 8923882 markings, 18473138 edges, 8221 markings/sec, 1445 secs
lola: 8965440 markings, 18544443 edges, 8312 markings/sec, 1450 secs
lola: 9006600 markings, 18615215 edges, 8232 markings/sec, 1455 secs
lola: 9047947 markings, 18686115 edges, 8269 markings/sec, 1460 secs
lola: 9089255 markings, 18757129 edges, 8262 markings/sec, 1465 secs
lola: 9130242 markings, 18827686 edges, 8197 markings/sec, 1470 secs
lola: 9171278 markings, 18898315 edges, 8207 markings/sec, 1475 secs
lola: 9211942 markings, 18968231 edges, 8133 markings/sec, 1480 secs
lola: 9252781 markings, 19038735 edges, 8168 markings/sec, 1485 secs
lola: 9293617 markings, 19109158 edges, 8167 markings/sec, 1490 secs
lola: 9334443 markings, 19179513 edges, 8165 markings/sec, 1495 secs
lola: 9374715 markings, 19248918 edges, 8054 markings/sec, 1500 secs
lola: 9415245 markings, 19319242 edges, 8106 markings/sec, 1505 secs
lola: 9455986 markings, 19389658 edges, 8148 markings/sec, 1510 secs
lola: 9495997 markings, 19459014 edges, 8002 markings/sec, 1515 secs
lola: 9536576 markings, 19529534 edges, 8116 markings/sec, 1520 secs
lola: 9577008 markings, 19599793 edges, 8086 markings/sec, 1525 secs
lola: 9617627 markings, 19670418 edges, 8124 markings/sec, 1530 secs
lola: 9657935 markings, 19740733 edges, 8062 markings/sec, 1535 secs
lola: 9698199 markings, 19810989 edges, 8053 markings/sec, 1540 secs
lola: 9738450 markings, 19881548 edges, 8050 markings/sec, 1545 secs
lola: 9779178 markings, 19953099 edges, 8146 markings/sec, 1550 secs
lola: 9819505 markings, 20023930 edges, 8065 markings/sec, 1555 secs
lola: 9859848 markings, 20095411 edges, 8069 markings/sec, 1560 secs
lola: 9900107 markings, 20167004 edges, 8052 markings/sec, 1565 secs
lola: 9940468 markings, 20238979 edges, 8072 markings/sec, 1570 secs
lola: 9980189 markings, 20310729 edges, 7944 markings/sec, 1575 secs
lola: 10020022 markings, 20383422 edges, 7967 markings/sec, 1580 secs
lola: 10058830 markings, 20456185 edges, 7762 markings/sec, 1585 secs
lola: 10100089 markings, 20537934 edges, 8252 markings/sec, 1590 secs
lola: 10129203 markings, 20614324 edges, 5823 markings/sec, 1595 secs
lola: 10153511 markings, 20677408 edges, 4862 markings/sec, 1600 secs
lola: 10177665 markings, 20740530 edges, 4831 markings/sec, 1605 secs
lola: 10201463 markings, 20803582 edges, 4760 markings/sec, 1610 secs
lola: 10225039 markings, 20866999 edges, 4715 markings/sec, 1615 secs
lola: 10248778 markings, 20932714 edges, 4748 markings/sec, 1620 secs
lola: 10272377 markings, 21004616 edges, 4720 markings/sec, 1625 secs
lola: 10309004 markings, 21083063 edges, 7325 markings/sec, 1630 secs
lola: 10348504 markings, 21154024 edges, 7900 markings/sec, 1635 secs
lola: 10387551 markings, 21224573 edges, 7809 markings/sec, 1640 secs
lola: 10427087 markings, 21295449 edges, 7907 markings/sec, 1645 secs
lola: 10466069 markings, 21366046 edges, 7796 markings/sec, 1650 secs
lola: 10505377 markings, 21437215 edges, 7862 markings/sec, 1655 secs
lola: 10544501 markings, 21508088 edges, 7825 markings/sec, 1660 secs
lola: 10581725 markings, 21576447 edges, 7445 markings/sec, 1665 secs
lola: 10621344 markings, 21648931 edges, 7924 markings/sec, 1670 secs
lola: 10661102 markings, 21721531 edges, 7952 markings/sec, 1675 secs
lola: 10700727 markings, 21794406 edges, 7925 markings/sec, 1680 secs
lola: 10740434 markings, 21867638 edges, 7941 markings/sec, 1685 secs
lola: 10779683 markings, 21940843 edges, 7850 markings/sec, 1690 secs
lola: 10818434 markings, 22013013 edges, 7750 markings/sec, 1695 secs
lola: 10856519 markings, 22085312 edges, 7617 markings/sec, 1700 secs
lola: 10894724 markings, 22158326 edges, 7641 markings/sec, 1705 secs
lola: 10932881 markings, 22232748 edges, 7631 markings/sec, 1710 secs
lola: 10971171 markings, 22310358 edges, 7658 markings/sec, 1715 secs
lola: 11008892 markings, 22396979 edges, 7544 markings/sec, 1720 secs
lola: 11049481 markings, 22477079 edges, 8118 markings/sec, 1725 secs
lola: 11091061 markings, 22548469 edges, 8316 markings/sec, 1730 secs
lola: 11132002 markings, 22618641 edges, 8188 markings/sec, 1735 secs
lola: 11173072 markings, 22689120 edges, 8214 markings/sec, 1740 secs
lola: 11213848 markings, 22758979 edges, 8155 markings/sec, 1745 secs
lola: 11254961 markings, 22829506 edges, 8223 markings/sec, 1750 secs
lola: 11295703 markings, 22899511 edges, 8148 markings/sec, 1755 secs
lola: 11337062 markings, 22970165 edges, 8272 markings/sec, 1760 secs
lola: 11377614 markings, 23040240 edges, 8110 markings/sec, 1765 secs
lola: 11417996 markings, 23109755 edges, 8076 markings/sec, 1770 secs
lola: 11458219 markings, 23178752 edges, 8045 markings/sec, 1775 secs
lola: 11498878 markings, 23248966 edges, 8132 markings/sec, 1780 secs
lola: 11539265 markings, 23318688 edges, 8077 markings/sec, 1785 secs
lola: 11579776 markings, 23388559 edges, 8102 markings/sec, 1790 secs
lola: 11620318 markings, 23458416 edges, 8108 markings/sec, 1795 secs
lola: 11660746 markings, 23528468 edges, 8086 markings/sec, 1800 secs
lola: 11701135 markings, 23598412 edges, 8078 markings/sec, 1805 secs
lola: 11741639 markings, 23668220 edges, 8101 markings/sec, 1810 secs
lola: 11781744 markings, 23738061 edges, 8021 markings/sec, 1815 secs
lola: 11822045 markings, 23808088 edges, 8060 markings/sec, 1820 secs
lola: 11862421 markings, 23878239 edges, 8075 markings/sec, 1825 secs
lola: 11902099 markings, 23947585 edges, 7936 markings/sec, 1830 secs
lola: 11942252 markings, 24017652 edges, 8031 markings/sec, 1835 secs
lola: 11982288 markings, 24087481 edges, 8007 markings/sec, 1840 secs
lola: 12022691 markings, 24158186 edges, 8081 markings/sec, 1845 secs
lola: 12062977 markings, 24229040 edges, 8057 markings/sec, 1850 secs
lola: 12102968 markings, 24299718 edges, 7998 markings/sec, 1855 secs
lola: 12142857 markings, 24370652 edges, 7978 markings/sec, 1860 secs
lola: 12182551 markings, 24441206 edges, 7939 markings/sec, 1865 secs
lola: 12222771 markings, 24513566 edges, 8044 markings/sec, 1870 secs
lola: 12262510 markings, 24585504 edges, 7948 markings/sec, 1875 secs
lola: 12301056 markings, 24657214 edges, 7709 markings/sec, 1880 secs
lola: 12341832 markings, 24735078 edges, 8155 markings/sec, 1885 secs
lola: 12377680 markings, 24819683 edges, 7170 markings/sec, 1890 secs
lola: 12402003 markings, 24882786 edges, 4865 markings/sec, 1895 secs
lola: 12426194 markings, 24945809 edges, 4838 markings/sec, 1900 secs
lola: 12450128 markings, 25008962 edges, 4787 markings/sec, 1905 secs
lola: 12473358 markings, 25071171 edges, 4646 markings/sec, 1910 secs
lola: 12496518 markings, 25134762 edges, 4632 markings/sec, 1915 secs
lola: 12519653 markings, 25201826 edges, 4627 markings/sec, 1920 secs
lola: 12550313 markings, 25281086 edges, 6132 markings/sec, 1925 secs
lola: 12588969 markings, 25350488 edges, 7731 markings/sec, 1930 secs
lola: 12628562 markings, 25421399 edges, 7919 markings/sec, 1935 secs
lola: 12667213 markings, 25491356 edges, 7730 markings/sec, 1940 secs
lola: 12706070 markings, 25561009 edges, 7771 markings/sec, 1945 secs
lola: 12744663 markings, 25630942 edges, 7719 markings/sec, 1950 secs
lola: 12783173 markings, 25700751 edges, 7702 markings/sec, 1955 secs
lola: 12819451 markings, 25767438 edges, 7256 markings/sec, 1960 secs
lola: 12858583 markings, 25838338 edges, 7826 markings/sec, 1965 secs
lola: 12897406 markings, 25909715 edges, 7765 markings/sec, 1970 secs
lola: 12936260 markings, 25980962 edges, 7771 markings/sec, 1975 secs
lola: 12975310 markings, 26052737 edges, 7810 markings/sec, 1980 secs
lola: 13013971 markings, 26124248 edges, 7732 markings/sec, 1985 secs
lola: 13052747 markings, 26196544 edges, 7755 markings/sec, 1990 secs
lola: 13091125 markings, 26268736 edges, 7676 markings/sec, 1995 secs
lola: 13129322 markings, 26341123 edges, 7639 markings/sec, 2000 secs
lola: 13167411 markings, 26414515 edges, 7618 markings/sec, 2005 secs
lola: 13205222 markings, 26489625 edges, 7562 markings/sec, 2010 secs
lola: 13242579 markings, 26567489 edges, 7471 markings/sec, 2015 secs
lola: 13280260 markings, 26657748 edges, 7536 markings/sec, 2020 secs
lola: 13320593 markings, 26726943 edges, 8067 markings/sec, 2025 secs
lola: 13361459 markings, 26797124 edges, 8173 markings/sec, 2030 secs
lola: 13399305 markings, 26861669 edges, 7569 markings/sec, 2035 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 unknown unknown 5 10 unknown 1 1 unknown 1 1 1 1 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown unknown 5 10 unknown 1 1 unknown 1 1 1 1 1 1
lola:
preliminary result: 1 1 unknown unknown 5 10 unknown 1 1 unknown 1 1 1 1 1 1
lola: memory consumption: 1307040 KB
lola: time consumption: 3569 seconds
lola: memory consumption: 1307040 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown unknown 5 10 unknown 1 1 unknown 1 1 1 1 1 1

BK_STOP 1554073627282

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

grep: GenericPropertiesVerdict.xml: No such file or directory

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="PolyORBNT-PT-S05J80"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
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-3954"
echo " Executing tool win2018"
echo " Input is PolyORBNT-PT-S05J80, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r132-oct2-155403939200043"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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