Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
....................
/home/mcc/execution
total 2.8M
-rw-r--r-- 1 mcc users 14K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 50K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 6.9K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 26K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 25K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 75K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 110 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 348 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 53K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 172K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 7 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 2.3M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is PolyORBNT-PT-S05J60, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r124-smll-152673527200352
=====================================================================

--------------------
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-S05J60-UpperBounds-00
FORMULA_NAME PolyORBNT-PT-S05J60-UpperBounds-01
FORMULA_NAME PolyORBNT-PT-S05J60-UpperBounds-02
FORMULA_NAME PolyORBNT-PT-S05J60-UpperBounds-03
FORMULA_NAME PolyORBNT-PT-S05J60-UpperBounds-04
FORMULA_NAME PolyORBNT-PT-S05J60-UpperBounds-05
FORMULA_NAME PolyORBNT-PT-S05J60-UpperBounds-06
FORMULA_NAME PolyORBNT-PT-S05J60-UpperBounds-07
FORMULA_NAME PolyORBNT-PT-S05J60-UpperBounds-08
FORMULA_NAME PolyORBNT-PT-S05J60-UpperBounds-09
FORMULA_NAME PolyORBNT-PT-S05J60-UpperBounds-10
FORMULA_NAME PolyORBNT-PT-S05J60-UpperBounds-11
FORMULA_NAME PolyORBNT-PT-S05J60-UpperBounds-12
FORMULA_NAME PolyORBNT-PT-S05J60-UpperBounds-13
FORMULA_NAME PolyORBNT-PT-S05J60-UpperBounds-14
FORMULA_NAME PolyORBNT-PT-S05J60-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1527236566611

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBNT-PT-S05J60 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBNT-PT-S05J60 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ PolyORBNT-PT-S05J60 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 2879/65536 symbol table entries, 182 collisions
lola: preprocessing...
lola: Size of bit vector: 29088
lola: finding significant places
lola: 909 places, 1970 transitions, 767 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1668 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-PT-S05J60-UpperBounds.task
lola: LP says that atomic proposition is always false: (cJobCnt <= 0)
lola: MAX(place_520_1) : MAX(cJobCnt) : 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_0 + f3_1 + f3_2 + f3_3 + f3_4 + f3_5 + f3_6 + f3_7 + f3_8 + f3_9) : MAX(place_523_1) : MAX(place_458) : MAX(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4 + ModifiedSrc_5) : MAX(TheSour_1 + TheSour_2 + TheSour_3 + TheSour_4 + TheSour_5) : MAX(mi2) : MAX(f2_27) : MAX(CreatedJobs_24_4) : MAX(Perform_Work_B_1_2) : MAX(FetchJobE_1_37) : MAX(CreatedJobs_12_5) : MAX(CreatedJobs_47_3) : MAX(f2_15) : MAX(Perform_Work_B_1_54)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 220 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cJobCnt)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cJobCnt)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J60-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-S05J60-UpperBounds-1 10 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(place_520_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(place_520_1)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J60-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
lola: ========================================

FORMULA PolyORBNT-PT-S05J60-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(place_523_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(place_523_1)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J60-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: 54657 markings, 78723 edges, 10931 markings/sec, 0 secs
lola: 123932 markings, 179689 edges, 13855 markings/sec, 5 secs
lola: 191392 markings, 279980 edges, 13492 markings/sec, 10 secs
lola: 238501 markings, 365839 edges, 9422 markings/sec, 15 secs
lola: 283559 markings, 449416 edges, 9012 markings/sec, 20 secs
lola: 340441 markings, 540129 edges, 11376 markings/sec, 25 secs
lola: 409297 markings, 632524 edges, 13771 markings/sec, 30 secs
lola: 474733 markings, 734750 edges, 13087 markings/sec, 35 secs
lola: 519261 markings, 813800 edges, 8906 markings/sec, 40 secs
lola: 564874 markings, 896090 edges, 9123 markings/sec, 45 secs
lola: 621481 markings, 986704 edges, 11321 markings/sec, 50 secs
lola: 689781 markings, 1078602 edges, 13660 markings/sec, 55 secs
lola: 753848 markings, 1184424 edges, 12813 markings/sec, 60 secs
lola: 797952 markings, 1258230 edges, 8821 markings/sec, 65 secs
lola: 844228 markings, 1340422 edges, 9255 markings/sec, 70 secs
lola: 902778 markings, 1433727 edges, 11710 markings/sec, 75 secs
lola: 971705 markings, 1527559 edges, 13785 markings/sec, 80 secs
lola: 1031580 markings, 1629413 edges, 11975 markings/sec, 85 secs
lola: 1075462 markings, 1704061 edges, 8776 markings/sec, 90 secs
lola: 1124268 markings, 1785055 edges, 9761 markings/sec, 95 secs
lola: 1185125 markings, 1881536 edges, 12171 markings/sec, 100 secs
lola: 1253268 markings, 1975995 edges, 13629 markings/sec, 105 secs
lola: 1307737 markings, 2071898 edges, 10894 markings/sec, 110 secs
lola: 1351375 markings, 2147821 edges, 8728 markings/sec, 115 secs
lola: 1402759 markings, 2228652 edges, 10277 markings/sec, 120 secs
lola: 1466028 markings, 2327167 edges, 12654 markings/sec, 125 secs
lola: 1532687 markings, 2422078 edges, 13332 markings/sec, 130 secs
lola: 1583134 markings, 2513112 edges, 10089 markings/sec, 135 secs
lola: 1626082 markings, 2590768 edges, 8590 markings/sec, 140 secs
lola: 1680291 markings, 2674931 edges, 10842 markings/sec, 145 secs
lola: 1748344 markings, 2775856 edges, 13611 markings/sec, 150 secs
lola: 1814132 markings, 2877462 edges, 13158 markings/sec, 155 secs
lola: 1858525 markings, 2957568 edges, 8879 markings/sec, 160 secs
lola: 1905020 markings, 3039481 edges, 9299 markings/sec, 165 secs
lola: 1964404 markings, 3133933 edges, 11877 markings/sec, 170 secs
lola: 2032625 markings, 3227859 edges, 13644 markings/sec, 175 secs
lola: 2089291 markings, 3326206 edges, 11333 markings/sec, 180 secs
lola: 2132854 markings, 3401715 edges, 8713 markings/sec, 185 secs
lola: 2183954 markings, 3483185 edges, 10220 markings/sec, 190 secs
lola: 2247597 markings, 3582202 edges, 12729 markings/sec, 195 secs
lola: 2314015 markings, 3678012 edges, 13284 markings/sec, 200 secs
lola: 2362824 markings, 3766910 edges, 9762 markings/sec, 205 secs
lola: 2405828 markings, 3849350 edges, 8601 markings/sec, 210 secs
lola: 2463156 markings, 3940392 edges, 11466 markings/sec, 215 secs
lola: 2531506 markings, 4033317 edges, 13670 markings/sec, 220 secs
lola: 2592149 markings, 4136069 edges, 12129 markings/sec, 225 secs
lola: 2636194 markings, 4211723 edges, 8809 markings/sec, 230 secs
lola: 2687125 markings, 4294601 edges, 10186 markings/sec, 235 secs
lola: 2751864 markings, 4395514 edges, 12948 markings/sec, 240 secs
lola: 2818719 markings, 4493062 edges, 13371 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 10 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 314072 KB
lola: time consumption: 290 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 252 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(place_458)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(place_458)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J60-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: 2
lola: SUBRESULT
lola: result: 2
lola: produced by: state space
lola: The maximum value of the given expression is 2
lola: 11 markings, 10 edges
lola: ========================================

FORMULA PolyORBNT-PT-S05J60-UpperBounds-4 2 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(mi2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(mi2)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J60-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: 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-S05J60-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 5 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(f2_27)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(f2_27)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J60-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: 19772 markings, 51177 edges, 3954 markings/sec, 30 secs
lola: 40364 markings, 102436 edges, 4118 markings/sec, 35 secs
lola: 62083 markings, 153242 edges, 4344 markings/sec, 40 secs
lola: 83511 markings, 203186 edges, 4286 markings/sec, 45 secs
lola: 103238 markings, 249363 edges, 3945 markings/sec, 50 secs
lola: 122476 markings, 294409 edges, 3848 markings/sec, 55 secs
lola: 141774 markings, 339626 edges, 3860 markings/sec, 60 secs
lola: 161552 markings, 386112 edges, 3956 markings/sec, 65 secs
lola: 180753 markings, 431081 edges, 3840 markings/sec, 70 secs
lola: 200059 markings, 476318 edges, 3861 markings/sec, 75 secs
lola: 219072 markings, 520742 edges, 3803 markings/sec, 80 secs
lola: 239287 markings, 568315 edges, 4043 markings/sec, 85 secs
lola: 259694 markings, 616044 edges, 4081 markings/sec, 90 secs
lola: 280390 markings, 664756 edges, 4139 markings/sec, 95 secs
lola: 301129 markings, 713479 edges, 4148 markings/sec, 100 secs
lola: 321964 markings, 762451 edges, 4167 markings/sec, 105 secs
lola: 342821 markings, 811367 edges, 4171 markings/sec, 110 secs
lola: 363578 markings, 860347 edges, 4151 markings/sec, 115 secs
lola: 384399 markings, 909318 edges, 4164 markings/sec, 120 secs
lola: 405277 markings, 958449 edges, 4176 markings/sec, 125 secs
lola: 425489 markings, 1006056 edges, 4042 markings/sec, 130 secs
lola: 445811 markings, 1054142 edges, 4064 markings/sec, 135 secs
lola: 466494 markings, 1103042 edges, 4137 markings/sec, 140 secs
lola: 487174 markings, 1151982 edges, 4136 markings/sec, 145 secs
lola: 507169 markings, 1199309 edges, 3999 markings/sec, 150 secs
lola: 527922 markings, 1248731 edges, 4151 markings/sec, 155 secs
lola: 549068 markings, 1299094 edges, 4229 markings/sec, 160 secs
lola: 570029 markings, 1349301 edges, 4192 markings/sec, 165 secs
lola: 590903 markings, 1399776 edges, 4175 markings/sec, 170 secs
lola: 611822 markings, 1450813 edges, 4184 markings/sec, 175 secs
lola: 633410 markings, 1507039 edges, 4318 markings/sec, 180 secs
lola: 656446 markings, 1560370 edges, 4607 markings/sec, 185 secs
lola: 681307 markings, 1615731 edges, 4972 markings/sec, 190 secs
lola: 706847 markings, 1669298 edges, 5108 markings/sec, 195 secs
lola: 732480 markings, 1723432 edges, 5127 markings/sec, 200 secs
lola: 757461 markings, 1775869 edges, 4996 markings/sec, 205 secs
lola: 783204 markings, 1829878 edges, 5149 markings/sec, 210 secs
lola: 808798 markings, 1883600 edges, 5119 markings/sec, 215 secs
lola: 835445 markings, 1939502 edges, 5329 markings/sec, 220 secs
lola: 861865 markings, 1994897 edges, 5284 markings/sec, 225 secs
lola: 888020 markings, 2049767 edges, 5231 markings/sec, 230 secs
lola: 913998 markings, 2104264 edges, 5196 markings/sec, 235 secs
lola: 939546 markings, 2157903 edges, 5110 markings/sec, 240 secs
lola: 965054 markings, 2211427 edges, 5102 markings/sec, 245 secs
lola: 990483 markings, 2264793 edges, 5086 markings/sec, 250 secs
lola: 1013788 markings, 2313728 edges, 4661 markings/sec, 255 secs
lola: 1038944 markings, 2366560 edges, 5031 markings/sec, 260 secs
lola: 1064635 markings, 2420438 edges, 5138 markings/sec, 265 secs
lola: 1091454 markings, 2477065 edges, 5364 markings/sec, 270 secs
lola: 1117517 markings, 2531728 edges, 5213 markings/sec, 275 secs
lola: 1144120 markings, 2587511 edges, 5321 markings/sec, 280 secs
lola: 1169839 markings, 2641480 edges, 5144 markings/sec, 285 secs
lola: 1196036 markings, 2696443 edges, 5239 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 10 unknown unknown 2 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 103824 KB
lola: time consumption: 606 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_24_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_24_4)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J60-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

FORMULA PolyORBNT-PT-S05J60-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 329 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Perform_Work_B_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Perform_Work_B_1_2)
lola: processed formula length: 23
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J60-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: 56561 markings, 70366 edges, 11312 markings/sec, 0 secs
lola: 128540 markings, 158680 edges, 14396 markings/sec, 5 secs
lola: 199000 markings, 251609 edges, 14092 markings/sec, 10 secs
lola: 241253 markings, 321241 edges, 8451 markings/sec, 15 secs
lola: 288884 markings, 400608 edges, 9526 markings/sec, 20 secs
lola: 350696 markings, 478550 edges, 12362 markings/sec, 25 secs
lola: 421697 markings, 566156 edges, 14200 markings/sec, 30 secs
lola: 485647 markings, 655941 edges, 12790 markings/sec, 35 secs
lola: 530649 markings, 729608 edges, 9000 markings/sec, 40 secs
lola: 581535 markings, 805916 edges, 10177 markings/sec, 45 secs
lola: 646516 markings, 888707 edges, 12996 markings/sec, 50 secs
lola: 717709 markings, 977554 edges, 14239 markings/sec, 55 secs
lola: 772369 markings, 1058948 edges, 10932 markings/sec, 60 secs
lola: 817058 markings, 1133534 edges, 8938 markings/sec, 65 secs
lola: 871449 markings, 1209019 edges, 10878 markings/sec, 70 secs
lola: 940291 markings, 1296939 edges, 13768 markings/sec, 75 secs
lola: 1008887 markings, 1384430 edges, 13719 markings/sec, 80 secs
lola: 1057848 markings, 1463352 edges, 9792 markings/sec, 85 secs
lola: 1102979 markings, 1541382 edges, 9026 markings/sec, 90 secs
lola: 1163100 markings, 1616933 edges, 12024 markings/sec, 95 secs
lola: 1233617 markings, 1703984 edges, 14103 markings/sec, 100 secs
lola: 1297497 markings, 1793308 edges, 12776 markings/sec, 105 secs
lola: 1341861 markings, 1866077 edges, 8873 markings/sec, 110 secs
lola: 1392898 markings, 1942220 edges, 10207 markings/sec, 115 secs
lola: 1457787 markings, 2025119 edges, 12978 markings/sec, 120 secs
lola: 1528324 markings, 2113643 edges, 14107 markings/sec, 125 secs
lola: 1582295 markings, 2196282 edges, 10794 markings/sec, 130 secs
lola: 1626415 markings, 2272174 edges, 8824 markings/sec, 135 secs
lola: 1683664 markings, 2349374 edges, 11450 markings/sec, 140 secs
lola: 1755068 markings, 2437249 edges, 14281 markings/sec, 145 secs
lola: 1822128 markings, 2529625 edges, 13412 markings/sec, 150 secs
lola: 1866717 markings, 2602739 edges, 8918 markings/sec, 155 secs
lola: 1917827 markings, 2679121 edges, 10222 markings/sec, 160 secs
lola: 1984075 markings, 2763850 edges, 13250 markings/sec, 165 secs
lola: 2055017 markings, 2853606 edges, 14188 markings/sec, 170 secs
lola: 2106350 markings, 2934626 edges, 10267 markings/sec, 175 secs
lola: 2151349 markings, 3013347 edges, 9000 markings/sec, 180 secs
lola: 2212500 markings, 3090157 edges, 12230 markings/sec, 185 secs
lola: 2283608 markings, 3178254 edges, 14222 markings/sec, 190 secs
lola: 2345372 markings, 3266471 edges, 12353 markings/sec, 195 secs
lola: 2389757 markings, 3340241 edges, 8877 markings/sec, 200 secs
lola: 2443719 markings, 3416723 edges, 10792 markings/sec, 205 secs
lola: 2513460 markings, 3505892 edges, 13948 markings/sec, 210 secs
lola: 2583702 markings, 3599187 edges, 14048 markings/sec, 215 secs
lola: 2629024 markings, 3674315 edges, 9064 markings/sec, 220 secs
lola: 2679727 markings, 3751600 edges, 10141 markings/sec, 225 secs
lola: 2746543 markings, 3837006 edges, 13363 markings/sec, 230 secs
lola: 2817396 markings, 3927144 edges, 14171 markings/sec, 235 secs
lola: 2867634 markings, 4007846 edges, 10048 markings/sec, 240 secs
lola: 2915373 markings, 4086754 edges, 9548 markings/sec, 245 secs
lola: 2979807 markings, 4168556 edges, 12887 markings/sec, 250 secs
lola: 3051888 markings, 4258827 edges, 14416 markings/sec, 255 secs
lola: 3107467 markings, 4343705 edges, 11116 markings/sec, 260 secs
lola: 3152379 markings, 4423939 edges, 8982 markings/sec, 265 secs
lola: 3213041 markings, 4500236 edges, 12132 markings/sec, 270 secs
lola: 3284366 markings, 4588969 edges, 14265 markings/sec, 275 secs
lola: 3342678 markings, 4675005 edges, 11662 markings/sec, 280 secs
lola: 3386696 markings, 4750812 edges, 8804 markings/sec, 285 secs
lola: 3443834 markings, 4828113 edges, 11428 markings/sec, 290 secs
lola: 3514784 markings, 4915924 edges, 14190 markings/sec, 295 secs
lola: 3576131 markings, 5003542 edges, 12269 markings/sec, 300 secs
lola: 3618542 markings, 5074438 edges, 8482 markings/sec, 305 secs
lola: 3671380 markings, 5148792 edges, 10568 markings/sec, 310 secs
lola: 3739844 markings, 5236367 edges, 13693 markings/sec, 315 secs
lola: 3806972 markings, 5327919 edges, 13426 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 10 unknown unknown 2 unknown unknown 1 unknown 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 427060 KB
lola: time consumption: 935 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 329 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(FetchJobE_1_37)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(FetchJobE_1_37)
lola: processed formula length: 19
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J60-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: 54400 markings, 66282 edges, 10880 markings/sec, 0 secs
lola: 127244 markings, 157118 edges, 14569 markings/sec, 5 secs
lola: 198791 markings, 251254 edges, 14309 markings/sec, 10 secs
lola: 244755 markings, 327036 edges, 9193 markings/sec, 15 secs
lola: 293382 markings, 405706 edges, 9725 markings/sec, 20 secs
lola: 356679 markings, 485744 edges, 12659 markings/sec, 25 secs
lola: 428559 markings, 574787 edges, 14376 markings/sec, 30 secs
lola: 490265 markings, 663251 edges, 12341 markings/sec, 35 secs
lola: 535083 markings, 737191 edges, 8964 markings/sec, 40 secs
lola: 587544 markings, 813057 edges, 10492 markings/sec, 45 secs
lola: 653984 markings, 897858 edges, 13288 markings/sec, 50 secs
lola: 722809 markings, 984148 edges, 13765 markings/sec, 55 secs
lola: 777731 markings, 1067565 edges, 10984 markings/sec, 60 secs
lola: 822146 markings, 1142941 edges, 8883 markings/sec, 65 secs
lola: 878343 markings, 1218296 edges, 11239 markings/sec, 70 secs
lola: 949455 markings, 1308315 edges, 14222 markings/sec, 75 secs
lola: 1020086 markings, 1400818 edges, 14126 markings/sec, 80 secs
lola: 1065677 markings, 1476311 edges, 9118 markings/sec, 85 secs
lola: 1113838 markings, 1553871 edges, 9632 markings/sec, 90 secs
lola: 1177164 markings, 1634219 edges, 12665 markings/sec, 95 secs
lola: 1248825 markings, 1723272 edges, 14332 markings/sec, 100 secs
lola: 1308035 markings, 1810215 edges, 11842 markings/sec, 105 secs
lola: 1352888 markings, 1885412 edges, 8971 markings/sec, 110 secs
lola: 1407517 markings, 1960273 edges, 10926 markings/sec, 115 secs
lola: 1475538 markings, 2047003 edges, 13604 markings/sec, 120 secs
lola: 1542694 markings, 2132778 edges, 13431 markings/sec, 125 secs
lola: 1589902 markings, 2208641 edges, 9442 markings/sec, 130 secs
lola: 1632041 markings, 2284473 edges, 8428 markings/sec, 135 secs
lola: 1693053 markings, 2360829 edges, 12202 markings/sec, 140 secs
lola: 1765747 markings, 2450672 edges, 14539 markings/sec, 145 secs
lola: 1829067 markings, 2540698 edges, 12664 markings/sec, 150 secs
lola: 1873601 markings, 2614677 edges, 8907 markings/sec, 155 secs
lola: 1927731 markings, 2691303 edges, 10826 markings/sec, 160 secs
lola: 1996332 markings, 2779068 edges, 13720 markings/sec, 165 secs
lola: 2066564 markings, 2869471 edges, 14046 markings/sec, 170 secs
lola: 2113818 markings, 2947052 edges, 9451 markings/sec, 175 secs
lola: 2161319 markings, 3024717 edges, 9500 markings/sec, 180 secs
lola: 2224346 markings, 3104688 edges, 12605 markings/sec, 185 secs
lola: 2295628 markings, 3193532 edges, 14256 markings/sec, 190 secs
lola: 2352985 markings, 3278778 edges, 11471 markings/sec, 195 secs
lola: 2397144 markings, 3353736 edges, 8832 markings/sec, 200 secs
lola: 2453622 markings, 3432004 edges, 11296 markings/sec, 205 secs
lola: 2525896 markings, 3521490 edges, 14455 markings/sec, 210 secs
lola: 2591721 markings, 3613153 edges, 13165 markings/sec, 215 secs
lola: 2636592 markings, 3687388 edges, 8974 markings/sec, 220 secs
lola: 2690207 markings, 3764415 edges, 10723 markings/sec, 225 secs
lola: 2759903 markings, 3853651 edges, 13939 markings/sec, 230 secs
lola: 2830834 markings, 3946665 edges, 14186 markings/sec, 235 secs
lola: 2876749 markings, 4023126 edges, 9183 markings/sec, 240 secs
lola: 2927726 markings, 4101191 edges, 10195 markings/sec, 245 secs
lola: 2994987 markings, 4187186 edges, 13452 markings/sec, 250 secs
lola: 3066758 markings, 4278516 edges, 14354 markings/sec, 255 secs
lola: 3117461 markings, 4360168 edges, 10141 markings/sec, 260 secs
lola: 3165303 markings, 4438731 edges, 9568 markings/sec, 265 secs
lola: 3229178 markings, 4520042 edges, 12775 markings/sec, 270 secs
lola: 3300909 markings, 4610435 edges, 14346 markings/sec, 275 secs
lola: 3353821 markings, 4693184 edges, 10582 markings/sec, 280 secs
lola: 3399898 markings, 4771644 edges, 9215 markings/sec, 285 secs
lola: 3462261 markings, 4850720 edges, 12473 markings/sec, 290 secs
lola: 3533693 markings, 4940134 edges, 14286 markings/sec, 295 secs
lola: 3588978 markings, 5024334 edges, 11057 markings/sec, 300 secs
lola: 3633429 markings, 5103377 edges, 8890 markings/sec, 305 secs
lola: 3694247 markings, 5180066 edges, 12164 markings/sec, 310 secs
lola: 3765494 markings, 5268682 edges, 14249 markings/sec, 315 secs
lola: 3823472 markings, 5354546 edges, 11596 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 10 unknown unknown 2 unknown unknown 1 unknown 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 428340 KB
lola: time consumption: 1264 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 329 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_12_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_12_5)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J60-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-S05J60-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 384 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_47_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_47_3)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J60-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-S05J60-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 11 will run for 461 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(f2_15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(f2_15)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J60-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
lola: ========================================

FORMULA PolyORBNT-PT-S05J60-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 576 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Perform_Work_B_1_54)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Perform_Work_B_1_54)
lola: processed formula length: 24
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J60-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: 55379 markings, 69068 edges, 11076 markings/sec, 0 secs
lola: 128134 markings, 158145 edges, 14551 markings/sec, 5 secs
lola: 198734 markings, 251129 edges, 14120 markings/sec, 10 secs
lola: 244378 markings, 326482 edges, 9129 markings/sec, 15 secs
lola: 292602 markings, 404813 edges, 9645 markings/sec, 20 secs
lola: 355191 markings, 484019 edges, 12518 markings/sec, 25 secs
lola: 426427 markings, 572074 edges, 14247 markings/sec, 30 secs
lola: 488561 markings, 660515 edges, 12427 markings/sec, 35 secs
lola: 533213 markings, 733975 edges, 8930 markings/sec, 40 secs
lola: 584496 markings, 809398 edges, 10257 markings/sec, 45 secs
lola: 648985 markings, 891800 edges, 12898 markings/sec, 50 secs
lola: 719633 markings, 980074 edges, 14130 markings/sec, 55 secs
lola: 775328 markings, 1063685 edges, 11139 markings/sec, 60 secs
lola: 819459 markings, 1137907 edges, 8826 markings/sec, 65 secs
lola: 874103 markings, 1212425 edges, 10929 markings/sec, 70 secs
lola: 943299 markings, 1300592 edges, 13839 markings/sec, 75 secs
lola: 1013397 markings, 1390718 edges, 14020 markings/sec, 80 secs
lola: 1058672 markings, 1464673 edges, 9055 markings/sec, 85 secs
lola: 1097593 markings, 1535297 edges, 7784 markings/sec, 90 secs
lola: 1156490 markings, 1608957 edges, 11779 markings/sec, 95 secs
lola: 1228109 markings, 1697115 edges, 14324 markings/sec, 100 secs
lola: 1294073 markings, 1787794 edges, 13193 markings/sec, 105 secs
lola: 1336677 markings, 1857292 edges, 8521 markings/sec, 110 secs
lola: 1385926 markings, 1934060 edges, 9850 markings/sec, 115 secs
lola: 1449669 markings, 2015153 edges, 12749 markings/sec, 120 secs
lola: 1520718 markings, 2103829 edges, 14210 markings/sec, 125 secs
lola: 1577719 markings, 2188742 edges, 11400 markings/sec, 130 secs
lola: 1622074 markings, 2263756 edges, 8871 markings/sec, 135 secs
lola: 1677865 markings, 2339595 edges, 11158 markings/sec, 140 secs
lola: 1749070 markings, 2429840 edges, 14241 markings/sec, 145 secs
lola: 1818646 markings, 2524080 edges, 13915 markings/sec, 150 secs
lola: 1863451 markings, 2597153 edges, 8961 markings/sec, 155 secs
lola: 1913576 markings, 2674093 edges, 10025 markings/sec, 160 secs
lola: 1978982 markings, 2757630 edges, 13081 markings/sec, 165 secs
lola: 2050255 markings, 2847318 edges, 14255 markings/sec, 170 secs
lola: 2101831 markings, 2927258 edges, 10315 markings/sec, 175 secs
lola: 2145657 markings, 3005421 edges, 8765 markings/sec, 180 secs
lola: 2205374 markings, 3081465 edges, 11943 markings/sec, 185 secs
lola: 2276245 markings, 3168978 edges, 14174 markings/sec, 190 secs
lola: 2340758 markings, 3259057 edges, 12903 markings/sec, 195 secs
lola: 2384917 markings, 3331771 edges, 8832 markings/sec, 200 secs
lola: 2436648 markings, 3407865 edges, 10346 markings/sec, 205 secs
lola: 2504293 markings, 3494515 edges, 13529 markings/sec, 210 secs
lola: 2575411 markings, 3586016 edges, 14224 markings/sec, 215 secs
lola: 2623489 markings, 3664980 edges, 9616 markings/sec, 220 secs
lola: 2672756 markings, 3743346 edges, 9853 markings/sec, 225 secs
lola: 2738447 markings, 3827030 edges, 13138 markings/sec, 230 secs
lola: 2810140 markings, 3917405 edges, 14339 markings/sec, 235 secs
lola: 2863188 markings, 4000507 edges, 10610 markings/sec, 240 secs
lola: 2909657 markings, 4080209 edges, 9294 markings/sec, 245 secs
lola: 2972766 markings, 4159861 edges, 12622 markings/sec, 250 secs
lola: 3044668 markings, 4249506 edges, 14380 markings/sec, 255 secs
lola: 3102612 markings, 4335776 edges, 11589 markings/sec, 260 secs
lola: 3147166 markings, 4412644 edges, 8911 markings/sec, 265 secs
lola: 3204917 markings, 4490349 edges, 11550 markings/sec, 270 secs
lola: 3276535 markings, 4579076 edges, 14324 markings/sec, 275 secs
lola: 3337847 markings, 4667082 edges, 12262 markings/sec, 280 secs
lola: 3382037 markings, 4741750 edges, 8838 markings/sec, 285 secs
lola: 3436677 markings, 4817403 edges, 10928 markings/sec, 290 secs
lola: 3506937 markings, 4906052 edges, 14052 markings/sec, 295 secs
lola: 3571427 markings, 4995856 edges, 12898 markings/sec, 300 secs
lola: 3615575 markings, 5069185 edges, 8830 markings/sec, 305 secs
lola: 3667786 markings, 5144070 edges, 10442 markings/sec, 310 secs
lola: 3735232 markings, 5230553 edges, 13489 markings/sec, 315 secs
lola: 3803776 markings, 5321569 edges, 13709 markings/sec, 320 secs
lola: 3848202 markings, 5395462 edges, 8885 markings/sec, 325 secs
lola: 3898469 markings, 5471801 edges, 10053 markings/sec, 330 secs
lola: 3965913 markings, 5558382 edges, 13489 markings/sec, 335 secs
lola: 4035959 markings, 5650382 edges, 14009 markings/sec, 340 secs
lola: 4077604 markings, 5720074 edges, 8329 markings/sec, 345 secs
lola: 4127537 markings, 5796861 edges, 9987 markings/sec, 350 secs
lola: 4194237 markings, 5882479 edges, 13340 markings/sec, 355 secs
lola: 4264226 markings, 5973336 edges, 13998 markings/sec, 360 secs
lola: 4310328 markings, 6050238 edges, 9220 markings/sec, 365 secs
lola: 4360628 markings, 6126803 edges, 10060 markings/sec, 370 secs
lola: 4427304 markings, 6212426 edges, 13335 markings/sec, 375 secs
lola: 4496784 markings, 6303010 edges, 13896 markings/sec, 380 secs
lola: 4542344 markings, 6379187 edges, 9112 markings/sec, 385 secs
lola: 4592476 markings, 6455403 edges, 10026 markings/sec, 390 secs
lola: 4659731 markings, 6541956 edges, 13451 markings/sec, 395 secs
lola: 4728119 markings, 6634823 edges, 13678 markings/sec, 400 secs
lola: 4772197 markings, 6708025 edges, 8816 markings/sec, 405 secs
lola: 4824665 markings, 6783962 edges, 10494 markings/sec, 410 secs
lola: 4893560 markings, 6872385 edges, 13779 markings/sec, 415 secs
lola: 4957363 markings, 6961901 edges, 12761 markings/sec, 420 secs
lola: 5001344 markings, 7036079 edges, 8796 markings/sec, 425 secs
lola: 5055840 markings, 7114113 edges, 10899 markings/sec, 430 secs
lola: 5126226 markings, 7201428 edges, 14077 markings/sec, 435 secs
lola: 5186169 markings, 7288328 edges, 11989 markings/sec, 440 secs
lola: 5229845 markings, 7363823 edges, 8735 markings/sec, 445 secs
lola: 5290486 markings, 7445520 edges, 12128 markings/sec, 450 secs
lola: 5362292 markings, 7535692 edges, 14361 markings/sec, 455 secs
lola: 5416419 markings, 7620007 edges, 10825 markings/sec, 460 secs
lola: 5465034 markings, 7698755 edges, 9723 markings/sec, 465 secs
lola: 5531898 markings, 7784489 edges, 13373 markings/sec, 470 secs
lola: 5602258 markings, 7877827 edges, 14072 markings/sec, 475 secs
lola: 5647540 markings, 7954176 edges, 9056 markings/sec, 480 secs
lola: 5701953 markings, 8033065 edges, 10883 markings/sec, 485 secs
lola: 5773279 markings, 8124000 edges, 14265 markings/sec, 490 secs
lola: 5833811 markings, 8212369 edges, 12106 markings/sec, 495 secs
lola: 5878618 markings, 8292352 edges, 8961 markings/sec, 500 secs
lola: 5941040 markings, 8371602 edges, 12484 markings/sec, 505 secs
lola: 6011727 markings, 8461739 edges, 14137 markings/sec, 510 secs
lola: 6060801 markings, 8541875 edges, 9815 markings/sec, 515 secs
lola: 6110690 markings, 8617949 edges, 9978 markings/sec, 520 secs
lola: 6178140 markings, 8705019 edges, 13490 markings/sec, 525 secs
lola: 6241180 markings, 8793908 edges, 12608 markings/sec, 530 secs
lola: 6280970 markings, 8861454 edges, 7958 markings/sec, 535 secs
lola: 6334518 markings, 8938147 edges, 10710 markings/sec, 540 secs
lola: 6404284 markings, 9025253 edges, 13953 markings/sec, 545 secs
lola: 6459540 markings, 9108720 edges, 11051 markings/sec, 550 secs
lola: 6504503 markings, 9185407 edges, 8993 markings/sec, 555 secs
lola: 6568359 markings, 9267260 edges, 12771 markings/sec, 560 secs
lola: 6637381 markings, 9358432 edges, 13804 markings/sec, 565 secs
lola: 6681346 markings, 9433292 edges, 8793 markings/sec, 570 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 10 unknown unknown 2 unknown unknown 1 unknown 1 unknown unknown 1 1 1 unknown
lola: memory consumption: 732448 KB
lola: time consumption: 1841 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 576 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(TheSour_1 + TheSour_2 + TheSour_3 + TheSour_4 + TheSour_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(TheSour_1 + TheSour_2 + TheSour_3 + TheSour_4 + TheSour_5)
lola: processed formula length: 62
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J60-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
lola: ========================================

FORMULA PolyORBNT-PT-S05J60-UpperBounds-6 5 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 864 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-S05J60-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: 60558 markings, 75297 edges, 12112 markings/sec, 30 secs
lola: 132671 markings, 163823 edges, 14423 markings/sec, 35 secs
lola: 201889 markings, 257672 edges, 13844 markings/sec, 40 secs
lola: 246871 markings, 330632 edges, 8996 markings/sec, 45 secs
lola: 295518 markings, 408175 edges, 9729 markings/sec, 50 secs
lola: 358401 markings, 487851 edges, 12577 markings/sec, 55 secs
lola: 429375 markings, 575825 edges, 14195 markings/sec, 60 secs
lola: 490150 markings, 662993 edges, 12155 markings/sec, 65 secs
lola: 534496 markings, 736181 edges, 8869 markings/sec, 70 secs
lola: 585711 markings, 810846 edges, 10243 markings/sec, 75 secs
lola: 650628 markings, 893734 edges, 12983 markings/sec, 80 secs
lola: 720702 markings, 981441 edges, 14015 markings/sec, 85 secs
lola: 775711 markings, 1064364 edges, 11002 markings/sec, 90 secs
lola: 819634 markings, 1138254 edges, 8785 markings/sec, 95 secs
lola: 874153 markings, 1212513 edges, 10904 markings/sec, 100 secs
lola: 943133 markings, 1300391 edges, 13796 markings/sec, 105 secs
lola: 1013058 markings, 1390256 edges, 13985 markings/sec, 110 secs
lola: 1060496 markings, 1467696 edges, 9488 markings/sec, 115 secs
lola: 1106345 markings, 1545216 edges, 9170 markings/sec, 120 secs
lola: 1167061 markings, 1621768 edges, 12143 markings/sec, 125 secs
lola: 1237668 markings, 1709124 edges, 14121 markings/sec, 130 secs
lola: 1299884 markings, 1797130 edges, 12443 markings/sec, 135 secs
lola: 1344108 markings, 1869891 edges, 8845 markings/sec, 140 secs
lola: 1394850 markings, 1944563 edges, 10148 markings/sec, 145 secs
lola: 1459482 markings, 2027205 edges, 12926 markings/sec, 150 secs
lola: 1529517 markings, 2115191 edges, 14007 markings/sec, 155 secs
lola: 1582612 markings, 2196754 edges, 10619 markings/sec, 160 secs
lola: 1626143 markings, 2271603 edges, 8706 markings/sec, 165 secs
lola: 1682655 markings, 2348128 edges, 11302 markings/sec, 170 secs
lola: 1754232 markings, 2436262 edges, 14315 markings/sec, 175 secs
lola: 1821181 markings, 2528114 edges, 13390 markings/sec, 180 secs
lola: 1865399 markings, 2600494 edges, 8844 markings/sec, 185 secs
lola: 1915496 markings, 2676365 edges, 10019 markings/sec, 190 secs
lola: 1980752 markings, 2759768 edges, 13051 markings/sec, 195 secs
lola: 2051078 markings, 2848354 edges, 14065 markings/sec, 200 secs
lola: 2103272 markings, 2929627 edges, 10439 markings/sec, 205 secs
lola: 2146776 markings, 3008154 edges, 8701 markings/sec, 210 secs
lola: 2206403 markings, 3082730 edges, 11925 markings/sec, 215 secs
lola: 2276576 markings, 3169332 edges, 14035 markings/sec, 220 secs
lola: 2340445 markings, 3258603 edges, 12774 markings/sec, 225 secs
lola: 2384517 markings, 3331102 edges, 8814 markings/sec, 230 secs
lola: 2436061 markings, 3407156 edges, 10309 markings/sec, 235 secs
lola: 2503623 markings, 3493727 edges, 13512 markings/sec, 240 secs
lola: 2573976 markings, 3583960 edges, 14071 markings/sec, 245 secs
lola: 2622129 markings, 3662738 edges, 9631 markings/sec, 250 secs
lola: 2670337 markings, 3740531 edges, 9642 markings/sec, 255 secs
lola: 2734868 markings, 3822654 edges, 12906 markings/sec, 260 secs
lola: 2806042 markings, 3912020 edges, 14235 markings/sec, 265 secs
lola: 2859936 markings, 3995146 edges, 10779 markings/sec, 270 secs
lola: 2904456 markings, 4074310 edges, 8904 markings/sec, 275 secs
lola: 2966027 markings, 4151619 edges, 12314 markings/sec, 280 secs
lola: 3037597 markings, 4240451 edges, 14314 markings/sec, 285 secs
lola: 3097846 markings, 4327955 edges, 12050 markings/sec, 290 secs
lola: 3142259 markings, 4403016 edges, 8883 markings/sec, 295 secs
lola: 3197066 markings, 4478891 edges, 10961 markings/sec, 300 secs
lola: 3267640 markings, 4567863 edges, 14115 markings/sec, 305 secs
lola: 3332097 markings, 4657847 edges, 12891 markings/sec, 310 secs
lola: 3376082 markings, 4730977 edges, 8797 markings/sec, 315 secs
lola: 3428462 markings, 4805810 edges, 10476 markings/sec, 320 secs
lola: 3496153 markings, 4892598 edges, 13538 markings/sec, 325 secs
lola: 3564221 markings, 4983474 edges, 13614 markings/sec, 330 secs
lola: 3607927 markings, 5055947 edges, 8741 markings/sec, 335 secs
lola: 3657043 markings, 5130838 edges, 9823 markings/sec, 340 secs
lola: 3721442 markings, 5213422 edges, 12880 markings/sec, 345 secs
lola: 3790158 markings, 5301082 edges, 13743 markings/sec, 350 secs
lola: 3838378 markings, 5379043 edges, 9644 markings/sec, 355 secs
lola: 3884464 markings, 5455179 edges, 9217 markings/sec, 360 secs
lola: 3946769 markings, 5534726 edges, 12461 markings/sec, 365 secs
lola: 4016920 markings, 5623344 edges, 14030 markings/sec, 370 secs
lola: 4067993 markings, 5703988 edges, 10215 markings/sec, 375 secs
lola: 4113681 markings, 5780543 edges, 9138 markings/sec, 380 secs
lola: 4175750 markings, 5859697 edges, 12414 markings/sec, 385 secs
lola: 4245323 markings, 5947274 edges, 13915 markings/sec, 390 secs
lola: 4297088 markings, 6028043 edges, 10353 markings/sec, 395 secs
lola: 4340001 markings, 6102611 edges, 8583 markings/sec, 400 secs
lola: 4400703 markings, 6179592 edges, 12140 markings/sec, 405 secs
lola: 4470386 markings, 6266870 edges, 13937 markings/sec, 410 secs
lola: 4524338 markings, 6349156 edges, 10790 markings/sec, 415 secs
lola: 4567649 markings, 6426173 edges, 8662 markings/sec, 420 secs
lola: 4626013 markings, 6500224 edges, 11673 markings/sec, 425 secs
lola: 4694811 markings, 6586374 edges, 13760 markings/sec, 430 secs
lola: 4749246 markings, 6669249 edges, 10887 markings/sec, 435 secs
lola: 4792950 markings, 6745708 edges, 8741 markings/sec, 440 secs
lola: 4853596 markings, 6822687 edges, 12129 markings/sec, 445 secs
lola: 4922820 markings, 6909752 edges, 13845 markings/sec, 450 secs
lola: 4975387 markings, 6991387 edges, 10513 markings/sec, 455 secs
lola: 5020848 markings, 7068212 edges, 9092 markings/sec, 460 secs
lola: 5082923 markings, 7147361 edges, 12415 markings/sec, 465 secs
lola: 5151156 markings, 7233690 edges, 13647 markings/sec, 470 secs
lola: 5201348 markings, 7313218 edges, 10038 markings/sec, 475 secs
lola: 5247506 markings, 7389416 edges, 9232 markings/sec, 480 secs
lola: 5312344 markings, 7472440 edges, 12968 markings/sec, 485 secs
lola: 5381863 markings, 7562443 edges, 13904 markings/sec, 490 secs
lola: 5428275 markings, 7640063 edges, 9282 markings/sec, 495 secs
lola: 5479122 markings, 7715908 edges, 10169 markings/sec, 500 secs
lola: 5546983 markings, 7803341 edges, 13572 markings/sec, 505 secs
lola: 5610805 markings, 7892817 edges, 12764 markings/sec, 510 secs
lola: 5654726 markings, 7967264 edges, 8784 markings/sec, 515 secs
lola: 5712041 markings, 8047825 edges, 11463 markings/sec, 520 secs
lola: 5783445 markings, 8137018 edges, 14281 markings/sec, 525 secs
lola: 5839829 markings, 8222315 edges, 11277 markings/sec, 530 secs
lola: 5885800 markings, 8300646 edges, 9194 markings/sec, 535 secs
lola: 5949172 markings, 8381758 edges, 12674 markings/sec, 540 secs
lola: 6018696 markings, 8471497 edges, 13905 markings/sec, 545 secs
lola: 6064948 markings, 8548998 edges, 9250 markings/sec, 550 secs
lola: 6115957 markings, 8624747 edges, 10202 markings/sec, 555 secs
lola: 6184216 markings, 8712721 edges, 13652 markings/sec, 560 secs
lola: 6244901 markings, 8800007 edges, 12137 markings/sec, 565 secs
lola: 6287973 markings, 8876096 edges, 8614 markings/sec, 570 secs
lola: 6348048 markings, 8954722 edges, 12015 markings/sec, 575 secs
lola: 6417433 markings, 9042459 edges, 13877 markings/sec, 580 secs
lola: 6468383 markings, 9123353 edges, 10190 markings/sec, 585 secs
lola: 6516418 markings, 9199590 edges, 9607 markings/sec, 590 secs
lola: 6583317 markings, 9286010 edges, 13380 markings/sec, 595 secs
lola: 6647310 markings, 9375981 edges, 12799 markings/sec, 600 secs
lola: 6690611 markings, 9451109 edges, 8660 markings/sec, 605 secs
lola: 6750512 markings, 9531744 edges, 11980 markings/sec, 610 secs
lola: 6820294 markings, 9620397 edges, 13956 markings/sec, 615 secs
lola: 6869260 markings, 9699688 edges, 9793 markings/sec, 620 secs
lola: 6918544 markings, 9775368 edges, 9857 markings/sec, 625 secs
lola: 6985646 markings, 9862186 edges, 13420 markings/sec, 630 secs
lola: 7046633 markings, 9949428 edges, 12197 markings/sec, 635 secs
lola: 7089157 markings, 10025046 edges, 8505 markings/sec, 640 secs
lola: 7150929 markings, 10105687 edges, 12354 markings/sec, 645 secs
lola: 7219989 markings, 10194793 edges, 13812 markings/sec, 650 secs
lola: 7266421 markings, 10272985 edges, 9286 markings/sec, 655 secs
lola: 7319310 markings, 10352483 edges, 10578 markings/sec, 660 secs
lola: 7389816 markings, 10440970 edges, 14101 markings/sec, 665 secs
lola: 7443523 markings, 10524215 edges, 10741 markings/sec, 670 secs
lola: 7491751 markings, 10600838 edges, 9646 markings/sec, 675 secs
lola: 7558133 markings, 10686787 edges, 13276 markings/sec, 680 secs
lola: 7619746 markings, 10774867 edges, 12323 markings/sec, 685 secs
lola: 7663379 markings, 10852662 edges, 8727 markings/sec, 690 secs
lola: 7726707 markings, 10933804 edges, 12666 markings/sec, 695 secs
lola: 7794892 markings, 11026402 edges, 13637 markings/sec, 700 secs
lola: 7838243 markings, 11100649 edges, 8670 markings/sec, 705 secs
lola: 7897217 markings, 11182533 edges, 11795 markings/sec, 710 secs
lola: 7967083 markings, 11272481 edges, 13973 markings/sec, 715 secs
lola: 8013589 markings, 11350907 edges, 9301 markings/sec, 720 secs
lola: 8067406 markings, 11430921 edges, 10763 markings/sec, 725 secs
lola: 8137593 markings, 11519677 edges, 14037 markings/sec, 730 secs
lola: 8188550 markings, 11601365 edges, 10191 markings/sec, 735 secs
lola: 8239052 markings, 11678558 edges, 10100 markings/sec, 740 secs
lola: 8308440 markings, 11768595 edges, 13878 markings/sec, 745 secs
lola: 8361479 markings, 11851536 edges, 10608 markings/sec, 750 secs
lola: 8409899 markings, 11926640 edges, 9684 markings/sec, 755 secs
lola: 8475308 markings, 12011744 edges, 13082 markings/sec, 760 secs
lola: 8530389 markings, 12094943 edges, 11016 markings/sec, 765 secs
lola: 8578051 markings, 12171654 edges, 9532 markings/sec, 770 secs
lola: 8645366 markings, 12259170 edges, 13463 markings/sec, 775 secs
lola: 8703517 markings, 12345506 edges, 11630 markings/sec, 780 secs
lola: 8750840 markings, 12422756 edges, 9465 markings/sec, 785 secs
lola: 8816541 markings, 12508419 edges, 13140 markings/sec, 790 secs
lola: 8872370 markings, 12591585 edges, 11166 markings/sec, 795 secs
lola: 8918246 markings, 12666480 edges, 9175 markings/sec, 800 secs
lola: 8983920 markings, 12752016 edges, 13135 markings/sec, 805 secs
lola: 9042229 markings, 12839279 edges, 11662 markings/sec, 810 secs
lola: 9091848 markings, 12917943 edges, 9924 markings/sec, 815 secs
lola: 9160091 markings, 13007036 edges, 13649 markings/sec, 820 secs
lola: 9214897 markings, 13091784 edges, 10961 markings/sec, 825 secs
lola: 9265055 markings, 13169801 edges, 10032 markings/sec, 830 secs
lola: 9333526 markings, 13259153 edges, 13694 markings/sec, 835 secs
lola: 9383686 markings, 13340769 edges, 10032 markings/sec, 840 secs
lola: 9437361 markings, 13421499 edges, 10735 markings/sec, 845 secs
lola: 9505714 markings, 13509874 edges, 13671 markings/sec, 850 secs
lola: 9551299 markings, 13588454 edges, 9117 markings/sec, 855 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 10 unknown unknown 2 unknown 5 1 unknown 1 unknown unknown 1 1 1 unknown
lola: memory consumption: 1093156 KB
lola: time consumption: 2706 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 864 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: 480
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J60-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: 20012 markings, 51861 edges, 4002 markings/sec, 0 secs
lola: 41257 markings, 104810 edges, 4249 markings/sec, 5 secs
lola: 62606 markings, 155075 edges, 4270 markings/sec, 10 secs
lola: 83882 markings, 205195 edges, 4255 markings/sec, 15 secs
lola: 104954 markings, 254726 edges, 4214 markings/sec, 20 secs
lola: 126023 markings, 304354 edges, 4214 markings/sec, 25 secs
lola: 147056 markings, 354040 edges, 4207 markings/sec, 30 secs
lola: 168126 markings, 403726 edges, 4214 markings/sec, 35 secs
lola: 189119 markings, 453116 edges, 4199 markings/sec, 40 secs
lola: 210075 markings, 502659 edges, 4191 markings/sec, 45 secs
lola: 231031 markings, 552025 edges, 4191 markings/sec, 50 secs
lola: 251941 markings, 601478 edges, 4182 markings/sec, 55 secs
lola: 272868 markings, 650806 edges, 4185 markings/sec, 60 secs
lola: 294001 markings, 700843 edges, 4227 markings/sec, 65 secs
lola: 314943 markings, 750342 edges, 4188 markings/sec, 70 secs
lola: 335428 markings, 798704 edges, 4097 markings/sec, 75 secs
lola: 356245 markings, 847946 edges, 4163 markings/sec, 80 secs
lola: 376933 markings, 896949 edges, 4138 markings/sec, 85 secs
lola: 397701 markings, 946148 edges, 4154 markings/sec, 90 secs
lola: 418474 markings, 995521 edges, 4155 markings/sec, 95 secs
lola: 439211 markings, 1044669 edges, 4147 markings/sec, 100 secs
lola: 459993 markings, 1094138 edges, 4156 markings/sec, 105 secs
lola: 480763 markings, 1143427 edges, 4154 markings/sec, 110 secs
lola: 501525 markings, 1192898 edges, 4152 markings/sec, 115 secs
lola: 522475 markings, 1243014 edges, 4190 markings/sec, 120 secs
lola: 543375 markings, 1293047 edges, 4180 markings/sec, 125 secs
lola: 564328 markings, 1343304 edges, 4191 markings/sec, 130 secs
lola: 585386 markings, 1394016 edges, 4212 markings/sec, 135 secs
lola: 606478 markings, 1445334 edges, 4218 markings/sec, 140 secs
lola: 627670 markings, 1497581 edges, 4238 markings/sec, 145 secs
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 644060 markings, 1541611 edges

FORMULA PolyORBNT-PT-S05J60-UpperBounds-2 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ========================================
lola: ...considering subproblem: MAX(place_523_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(place_523_1)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S05J60-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: 53863 markings, 76531 edges, 10773 markings/sec, 0 secs
lola: 121511 markings, 176254 edges, 13530 markings/sec, 5 secs
lola: 187583 markings, 273297 edges, 13214 markings/sec, 10 secs
lola: 235007 markings, 359820 edges, 9485 markings/sec, 15 secs
lola: 278019 markings, 442431 edges, 8602 markings/sec, 20 secs
lola: 332687 markings, 524827 edges, 10934 markings/sec, 25 secs
lola: 399397 markings, 618766 edges, 13342 markings/sec, 30 secs
lola: 464453 markings, 714599 edges, 13011 markings/sec, 35 secs
lola: 510830 markings, 799383 edges, 9275 markings/sec, 40 secs
lola: 553229 markings, 881406 edges, 8480 markings/sec, 45 secs
lola: 607533 markings, 959963 edges, 10861 markings/sec, 50 secs
lola: 672923 markings, 1055329 edges, 13078 markings/sec, 55 secs
lola: 737949 markings, 1150125 edges, 13005 markings/sec, 60 secs
lola: 785019 markings, 1236088 edges, 9414 markings/sec, 65 secs
lola: 827322 markings, 1314352 edges, 8461 markings/sec, 70 secs
lola: 881010 markings, 1395151 edges, 10738 markings/sec, 75 secs
lola: 947442 markings, 1493565 edges, 13286 markings/sec, 80 secs
lola: 1012543 markings, 1590231 edges, 13020 markings/sec, 85 secs
lola: 1058418 markings, 1674219 edges, 9175 markings/sec, 90 secs
lola: 1101672 markings, 1755565 edges, 8651 markings/sec, 95 secs
lola: 1157110 markings, 1844173 edges, 11088 markings/sec, 100 secs
lola: 1223810 markings, 1933899 edges, 13340 markings/sec, 105 secs
lola: 1287415 markings, 2033160 edges, 12721 markings/sec, 110 secs
lola: 1330674 markings, 2110569 edges, 8652 markings/sec, 115 secs
lola: 1374939 markings, 2190816 edges, 8853 markings/sec, 120 secs
lola: 1430710 markings, 2280247 edges, 11154 markings/sec, 125 secs
lola: 1496801 markings, 2369563 edges, 13218 markings/sec, 130 secs
lola: 1558383 markings, 2472147 edges, 12316 markings/sec, 135 secs
lola: 1601193 markings, 2543973 edges, 8562 markings/sec, 140 secs
lola: 1646410 markings, 2624003 edges, 9043 markings/sec, 145 secs
lola: 1704561 markings, 2716776 edges, 11630 markings/sec, 150 secs
lola: 1771955 markings, 2809258 edges, 13479 markings/sec, 155 secs
lola: 1829020 markings, 2907637 edges, 11413 markings/sec, 160 secs
lola: 1871766 markings, 2981246 edges, 8549 markings/sec, 165 secs
lola: 1920999 markings, 3061259 edges, 9847 markings/sec, 170 secs
lola: 1982915 markings, 3158376 edges, 12383 markings/sec, 175 secs
lola: 2048842 markings, 3251966 edges, 13185 markings/sec, 180 secs
lola: 2099187 markings, 3342630 edges, 10069 markings/sec, 185 secs
lola: 2141597 markings, 3419310 edges, 8482 markings/sec, 190 secs
lola: 2194601 markings, 3500821 edges, 10601 markings/sec, 195 secs
lola: 2259551 markings, 3598565 edges, 12990 markings/sec, 200 secs
lola: 2323997 markings, 3694834 edges, 12889 markings/sec, 205 secs
lola: 2369033 markings, 3777510 edges, 9007 markings/sec, 210 secs
lola: 2413013 markings, 3858478 edges, 8796 markings/sec, 215 secs
lola: 2470800 markings, 3950613 edges, 11557 markings/sec, 220 secs
lola: 2538598 markings, 4043488 edges, 13560 markings/sec, 225 secs
lola: 2595922 markings, 4142321 edges, 11465 markings/sec, 230 secs
lola: 2639189 markings, 4217324 edges, 8653 markings/sec, 235 secs
lola: 2690063 markings, 4298983 edges, 10175 markings/sec, 240 secs
lola: 2754144 markings, 4398576 edges, 12816 markings/sec, 245 secs
lola: 2819532 markings, 4494416 edges, 13078 markings/sec, 250 secs
lola: 2866535 markings, 4580771 edges, 9401 markings/sec, 255 secs
lola: 2910778 markings, 4662226 edges, 8849 markings/sec, 260 secs
lola: 2968455 markings, 4754226 edges, 11535 markings/sec, 265 secs
lola: 3036074 markings, 4846869 edges, 13524 markings/sec, 270 secs
lola: 3093385 markings, 4945565 edges, 11462 markings/sec, 275 secs
lola: 3136481 markings, 5020197 edges, 8619 markings/sec, 280 secs
lola: 3186262 markings, 5100861 edges, 9956 markings/sec, 285 secs
lola: 3249647 markings, 5199642 edges, 12677 markings/sec, 290 secs
lola: 3314733 markings, 5296448 edges, 13017 markings/sec, 295 secs
lola: 3360189 markings, 5380306 edges, 9091 markings/sec, 300 secs
lola: 3405061 markings, 5460616 edges, 8974 markings/sec, 305 secs
lola: 3462660 markings, 5552665 edges, 11520 markings/sec, 310 secs
lola: 3529144 markings, 5645072 edges, 13297 markings/sec, 315 secs
lola: 3582655 markings, 5739697 edges, 10702 markings/sec, 320 secs
lola: 3625195 markings, 5816135 edges, 8508 markings/sec, 325 secs
lola: 3677460 markings, 5899474 edges, 10453 markings/sec, 330 secs
lola: 3743136 markings, 5997143 edges, 13135 markings/sec, 335 secs
lola: 3805658 markings, 6100824 edges, 12504 markings/sec, 340 secs
lola: 3848799 markings, 6174148 edges, 8628 markings/sec, 345 secs
lola: 3896530 markings, 6255026 edges, 9546 markings/sec, 350 secs
lola: 3958840 markings, 6353144 edges, 12462 markings/sec, 355 secs
lola: 4024700 markings, 6449643 edges, 13172 markings/sec, 360 secs
lola: 4071563 markings, 6536160 edges, 9373 markings/sec, 365 secs
lola: 4116889 markings, 6617183 edges, 9065 markings/sec, 370 secs
lola: 4176048 markings, 6710984 edges, 11832 markings/sec, 375 secs
lola: 4241968 markings, 6804323 edges, 13184 markings/sec, 380 secs
lola: 4292784 markings, 6895802 edges, 10163 markings/sec, 385 secs
lola: 4334586 markings, 6976511 edges, 8360 markings/sec, 390 secs
lola: 4389788 markings, 7064916 edges, 11040 markings/sec, 395 secs
lola: 4456091 markings, 7155935 edges, 13261 markings/sec, 400 secs
lola: 4512600 markings, 7253567 edges, 11302 markings/sec, 405 secs
lola: 4554846 markings, 7327903 edges, 8449 markings/sec, 410 secs
lola: 4605471 markings, 7410152 edges, 10125 markings/sec, 415 secs
lola: 4670456 markings, 7509338 edges, 12997 markings/sec, 420 secs
lola: 4730506 markings, 7610433 edges, 12010 markings/sec, 425 secs
lola: 4773032 markings, 7684097 edges, 8505 markings/sec, 430 secs
lola: 4822352 markings, 7764843 edges, 9864 markings/sec, 435 secs
lola: 4885370 markings, 7863253 edges, 12604 markings/sec, 440 secs
lola: 4948041 markings, 7963249 edges, 12534 markings/sec, 445 secs
lola: 4990687 markings, 8039619 edges, 8529 markings/sec, 450 secs
lola: 5038160 markings, 8119536 edges, 9495 markings/sec, 455 secs
lola: 5099372 markings, 8216081 edges, 12242 markings/sec, 460 secs
lola: 5162835 markings, 8310958 edges, 12693 markings/sec, 465 secs
lola: 5207536 markings, 8394001 edges, 8940 markings/sec, 470 secs
lola: 5254136 markings, 8475058 edges, 9320 markings/sec, 475 secs
lola: 5316365 markings, 8573335 edges, 12446 markings/sec, 480 secs
lola: 5381045 markings, 8670718 edges, 12936 markings/sec, 485 secs
lola: 5426142 markings, 8754526 edges, 9019 markings/sec, 490 secs
lola: 5474174 markings, 8836150 edges, 9606 markings/sec, 495 secs
lola: 5536673 markings, 8934707 edges, 12500 markings/sec, 500 secs
lola: 5600479 markings, 9034126 edges, 12761 markings/sec, 505 secs
lola: 5643896 markings, 9113653 edges, 8683 markings/sec, 510 secs
lola: 5693086 markings, 9196007 edges, 9838 markings/sec, 515 secs
lola: 5757350 markings, 9296474 edges, 12853 markings/sec, 520 secs
lola: 5819603 markings, 9400180 edges, 12451 markings/sec, 525 secs
lola: 5862875 markings, 9475194 edges, 8654 markings/sec, 530 secs
lola: 5912731 markings, 9558081 edges, 9971 markings/sec, 535 secs
lola: 5977585 markings, 9658319 edges, 12971 markings/sec, 540 secs
lola: 6035686 markings, 9758018 edges, 11620 markings/sec, 545 secs
lola: 6077813 markings, 9833947 edges, 8425 markings/sec, 550 secs
lola: 6130248 markings, 9926151 edges, 10487 markings/sec, 555 secs
lola: 6196840 markings, 10018741 edges, 13318 markings/sec, 560 secs
lola: 6250234 markings, 10113470 edges, 10679 markings/sec, 565 secs
lola: 6292427 markings, 10193976 edges, 8439 markings/sec, 570 secs
lola: 6349333 markings, 10284537 edges, 11381 markings/sec, 575 secs
lola: 6414502 markings, 10377561 edges, 13034 markings/sec, 580 secs
lola: 6463987 markings, 10467895 edges, 9897 markings/sec, 585 secs
lola: 6508464 markings, 10548474 edges, 8895 markings/sec, 590 secs
lola: 6568864 markings, 10644378 edges, 12080 markings/sec, 595 secs
lola: 6633600 markings, 10743005 edges, 12947 markings/sec, 600 secs
lola: 6677364 markings, 10824879 edges, 8753 markings/sec, 605 secs
lola: 6726450 markings, 10907495 edges, 9817 markings/sec, 610 secs
lola: 6790743 markings, 11007767 edges, 12859 markings/sec, 615 secs
lola: 6847956 markings, 11106469 edges, 11443 markings/sec, 620 secs
lola: 6889755 markings, 11183888 edges, 8360 markings/sec, 625 secs
lola: 6945328 markings, 11276907 edges, 11115 markings/sec, 630 secs
lola: 7010628 markings, 11370009 edges, 13060 markings/sec, 635 secs
lola: 7060265 markings, 11460681 edges, 9927 markings/sec, 640 secs
lola: 7107475 markings, 11541461 edges, 9442 markings/sec, 645 secs
lola: 7180523 markings, 11635650 edges, 14610 markings/sec, 650 secs
lola: 7245196 markings, 11729889 edges, 12935 markings/sec, 655 secs
lola: 7294375 markings, 11811316 edges, 9836 markings/sec, 660 secs
lola: 7366054 markings, 11903579 edges, 14336 markings/sec, 665 secs
lola: 7432242 markings, 11998502 edges, 13238 markings/sec, 670 secs
lola: 7479968 markings, 12079738 edges, 9545 markings/sec, 675 secs
lola: 7550459 markings, 12170091 edges, 14098 markings/sec, 680 secs
lola: 7618984 markings, 12266580 edges, 13705 markings/sec, 685 secs
lola: 7665295 markings, 12348679 edges, 9262 markings/sec, 690 secs
lola: 7724130 markings, 12443125 edges, 11767 markings/sec, 695 secs
lola: 7788418 markings, 12541411 edges, 12858 markings/sec, 700 secs
lola: 7832337 markings, 12624597 edges, 8784 markings/sec, 705 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 10 1 unknown 2 unknown 5 1 unknown 1 unknown unknown 1 1 1 unknown
lola:
preliminary result: 1 10 1 unknown 2 unknown 5 1 unknown 1 unknown unknown 1 1 1 unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 10 1 unknown 2 unknown 5 1 unknown 1 unknown unknown 1 1 1 unknown
lola: memory consumption: 841260 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 21412 KB
lola: time consumption: 3570 seconds

BK_STOP 1527240137026

--------------------
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="PolyORBNT-PT-S05J60"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
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

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBNT-PT-S05J60.tgz
mv PolyORBNT-PT-S05J60 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is PolyORBNT-PT-S05J60, 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 r124-smll-152673527200352"
echo "====================================================================="
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 ;