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 23M
-rw-r--r-- 1 mcc users 29K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 87K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 742K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 2.1M 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 15K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 39K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 242K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 681K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 54K 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 267K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 718K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.5K 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 18M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is PolyORBNT-PT-S10J40, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r124-smll-152673527200380
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1527269975239

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBNT-PT-S10J40 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBNT-PT-S10J40 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ PolyORBNT-PT-S10J40 @ 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: 13194/65536 symbol table entries, 4678 collisions
lola: preprocessing...
lola: Size of bit vector: 27328
lola: finding significant places
lola: 854 places, 12340 transitions, 742 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2698 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-PT-S10J40-UpperBounds.task
lola: MAX(Perform_Work_B_1_0 + Perform_Work_B_1_1 + Perform_Work_B_1_2 + Perform_Work_B_1_3 + Perform_Work_B_1_4 + Perform_Work_B_1_5 + Perform_Work_B_1_6 + Perform_Work_B_1_7 + Perform_Work_B_1_8 + Perform_Work_B_1_9 + Perform_Work_B_1_10 + Perform_Work_B_1_11 + Perform_Work_B_1_12 + Perform_Work_B_1_13 + Perform_Work_B_1_14 + Perform_Work_B_1_15 + Perform_Work_B_1_16 + Perform_Work_B_1_17 + Perform_Work_B_1_18 + Perform_Work_B_1_19 + Perform_Work_B_1_20 + Perform_Work_B_1_21 + Perform_Work_B_1_22 + Perform_Work_B_1_23 + Perform_Work_B_1_24 + Perform_Work_B_1_25 + Perform_Work_B_1_26 + Perform_Work_B_1_27 + Perform_Work_B_1_28 + Perform_Work_B_1_29 + Perform_Work_B_1_30 + Perform_Work_B_1_31 + Perform_Work_B_1_32 + Perform_Work_B_1_33 + Perform_Work_B_1_34 + Perform_Work_B_1_35 + Perform_Work_B_1_36 + Perform_Work_B_1_37 + Perform_Work_B_1_38 + Perform_Work_B_1_39 + Perform_Work_B_1_40) : MAX(Perform_Work_E_1) : MAX(JobCnt) : MAX(place_518_1) : MAX(place_500_1) : MAX(place_521_1) : MAX(mi1) : MAX(place_522_1) : MAX(CreatedJobs_38_9) : MAX(CreatedJobs_0_4) : MAX(f3_27) : MAX(Perform_Work_B_1_22) : MAX(QueueJobB_1_8) : MAX(f3_17) : MAX(CreatedJobs_33_8) : MAX(AvailableJobId_4)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Perform_Work_E_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Perform_Work_E_1)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J40-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: 2822 markings, 3128 edges, 564 markings/sec, 0 secs
lola: 11579 markings, 13184 edges, 1751 markings/sec, 5 secs
lola: 20261 markings, 23779 edges, 1736 markings/sec, 10 secs
lola: 30293 markings, 37501 edges, 2006 markings/sec, 15 secs
lola: 41646 markings, 51323 edges, 2271 markings/sec, 20 secs
lola: 52877 markings, 65174 edges, 2246 markings/sec, 25 secs
lola: 64216 markings, 79317 edges, 2268 markings/sec, 30 secs
lola: 75442 markings, 93711 edges, 2245 markings/sec, 35 secs
lola: 86659 markings, 109468 edges, 2243 markings/sec, 40 secs
lola: 93156 markings, 120472 edges, 1299 markings/sec, 45 secs
lola: 99481 markings, 130658 edges, 1265 markings/sec, 50 secs
lola: 105724 markings, 140907 edges, 1249 markings/sec, 55 secs
lola: 111992 markings, 151459 edges, 1254 markings/sec, 60 secs
lola: 118224 markings, 162775 edges, 1246 markings/sec, 65 secs
lola: 126100 markings, 174659 edges, 1575 markings/sec, 70 secs
lola: 134891 markings, 184878 edges, 1758 markings/sec, 75 secs
lola: 143548 markings, 196141 edges, 1731 markings/sec, 80 secs
lola: 154548 markings, 210395 edges, 2200 markings/sec, 85 secs
lola: 165799 markings, 224178 edges, 2250 markings/sec, 90 secs
lola: 177118 markings, 238171 edges, 2264 markings/sec, 95 secs
lola: 188353 markings, 252310 edges, 2247 markings/sec, 100 secs
lola: 199551 markings, 266860 edges, 2240 markings/sec, 105 secs
lola: 209314 markings, 281999 edges, 1953 markings/sec, 110 secs
lola: 215588 markings, 292043 edges, 1255 markings/sec, 115 secs
lola: 221845 markings, 302175 edges, 1251 markings/sec, 120 secs
lola: 228157 markings, 312576 edges, 1262 markings/sec, 125 secs
lola: 234401 markings, 323272 edges, 1249 markings/sec, 130 secs
lola: 240565 markings, 335832 edges, 1233 markings/sec, 135 secs
lola: 249378 markings, 346165 edges, 1763 markings/sec, 140 secs
lola: 258068 markings, 356493 edges, 1738 markings/sec, 145 secs
lola: 267380 markings, 369415 edges, 1862 markings/sec, 150 secs
lola: 278518 markings, 383076 edges, 2228 markings/sec, 155 secs
lola: 289802 markings, 396862 edges, 2257 markings/sec, 160 secs
lola: 301022 markings, 410849 edges, 2244 markings/sec, 165 secs
lola: 312246 markings, 425046 edges, 2245 markings/sec, 170 secs
lola: 323470 markings, 439937 edges, 2245 markings/sec, 175 secs
lola: 331701 markings, 453371 edges, 1646 markings/sec, 180 secs
lola: 337944 markings, 463438 edges, 1249 markings/sec, 185 secs
lola: 344142 markings, 473563 edges, 1240 markings/sec, 190 secs
lola: 350439 markings, 484042 edges, 1259 markings/sec, 195 secs
lola: 356689 markings, 494976 edges, 1250 markings/sec, 200 secs
lola: 363703 markings, 507482 edges, 1403 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 107420 KB
lola: time consumption: 355 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(JobCnt)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(JobCnt)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J40-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: 2906 markings, 3670 edges, 581 markings/sec, 30 secs
lola: 5846 markings, 7401 edges, 588 markings/sec, 35 secs
lola: 8421 markings, 14258 edges, 515 markings/sec, 40 secs
lola: 11315 markings, 18596 edges, 579 markings/sec, 45 secs
lola: 14247 markings, 22317 edges, 586 markings/sec, 50 secs
lola: 16852 markings, 29011 edges, 521 markings/sec, 55 secs
lola: 19589 markings, 33346 edges, 547 markings/sec, 60 secs
lola: 22362 markings, 36884 edges, 555 markings/sec, 65 secs
lola: 24924 markings, 43134 edges, 512 markings/sec, 70 secs
lola: 27566 markings, 47699 edges, 528 markings/sec, 75 secs
lola: 30352 markings, 51211 edges, 557 markings/sec, 80 secs
lola: 32963 markings, 57191 edges, 522 markings/sec, 85 secs
lola: 35558 markings, 62035 edges, 519 markings/sec, 90 secs
lola: 38326 markings, 65563 edges, 554 markings/sec, 95 secs
lola: 40963 markings, 71306 edges, 527 markings/sec, 100 secs
lola: 43528 markings, 76318 edges, 513 markings/sec, 105 secs
lola: 46325 markings, 79846 edges, 559 markings/sec, 110 secs
lola: 48991 markings, 85494 edges, 533 markings/sec, 115 secs
lola: 51541 markings, 90638 edges, 510 markings/sec, 120 secs
lola: 54327 markings, 94151 edges, 557 markings/sec, 125 secs
lola: 57015 markings, 99825 edges, 538 markings/sec, 130 secs
lola: 59580 markings, 104928 edges, 513 markings/sec, 135 secs
lola: 62360 markings, 108473 edges, 556 markings/sec, 140 secs
lola: 65036 markings, 114153 edges, 535 markings/sec, 145 secs
lola: 67600 markings, 119193 edges, 513 markings/sec, 150 secs
lola: 70380 markings, 122738 edges, 556 markings/sec, 155 secs
lola: 73023 markings, 128564 edges, 529 markings/sec, 160 secs
lola: 75629 markings, 133442 edges, 521 markings/sec, 165 secs
lola: 78405 markings, 136983 edges, 555 markings/sec, 170 secs
lola: 81009 markings, 142978 edges, 521 markings/sec, 175 secs
lola: 83654 markings, 147688 edges, 529 markings/sec, 180 secs
lola: 86453 markings, 151226 edges, 560 markings/sec, 185 secs
lola: 89006 markings, 157570 edges, 511 markings/sec, 190 secs
lola: 91729 markings, 161914 edges, 545 markings/sec, 195 secs
lola: 94514 markings, 165464 edges, 557 markings/sec, 200 secs
lola: 97001 markings, 172573 edges, 497 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 78120 KB
lola: time consumption: 569 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(place_518_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(place_518_1)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J40-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: 6141 markings, 6905 edges, 1228 markings/sec, 0 secs
lola: 14101 markings, 16165 edges, 1592 markings/sec, 5 secs
lola: 21978 markings, 26108 edges, 1575 markings/sec, 10 secs
lola: 31315 markings, 38696 edges, 1867 markings/sec, 15 secs
lola: 41107 markings, 50675 edges, 1958 markings/sec, 20 secs
lola: 51046 markings, 62913 edges, 1988 markings/sec, 25 secs
lola: 60827 markings, 75070 edges, 1956 markings/sec, 30 secs
lola: 70695 markings, 87555 edges, 1974 markings/sec, 35 secs
lola: 80476 markings, 100391 edges, 1956 markings/sec, 40 secs
lola: 89027 markings, 113890 edges, 1710 markings/sec, 45 secs
lola: 94831 markings, 123132 edges, 1161 markings/sec, 50 secs
lola: 100707 markings, 132598 edges, 1175 markings/sec, 55 secs
lola: 106459 markings, 142134 edges, 1150 markings/sec, 60 secs
lola: 112297 markings, 152016 edges, 1168 markings/sec, 65 secs
lola: 118138 markings, 162596 edges, 1168 markings/sec, 70 secs
lola: 125254 markings, 173679 edges, 1423 markings/sec, 75 secs
lola: 133231 markings, 182893 edges, 1595 markings/sec, 80 secs
lola: 141125 markings, 192648 edges, 1579 markings/sec, 85 secs
lola: 150172 markings, 205055 edges, 1809 markings/sec, 90 secs
lola: 159895 markings, 216963 edges, 1945 markings/sec, 95 secs
lola: 169759 markings, 229052 edges, 1973 markings/sec, 100 secs
lola: 179518 markings, 241192 edges, 1952 markings/sec, 105 secs
lola: 189297 markings, 253511 edges, 1956 markings/sec, 110 secs
lola: 199029 markings, 266165 edges, 1946 markings/sec, 115 secs
lola: 208326 markings, 280338 edges, 1859 markings/sec, 120 secs
lola: 214054 markings, 289551 edges, 1146 markings/sec, 125 secs
lola: 219853 markings, 298928 edges, 1160 markings/sec, 130 secs
lola: 225678 markings, 308450 edges, 1165 markings/sec, 135 secs
lola: 231530 markings, 318264 edges, 1170 markings/sec, 140 secs
lola: 237321 markings, 328579 edges, 1158 markings/sec, 145 secs
lola: 244047 markings, 340068 edges, 1345 markings/sec, 150 secs
lola: 251958 markings, 349191 edges, 1582 markings/sec, 155 secs
lola: 259913 markings, 358804 edges, 1591 markings/sec, 160 secs
lola: 268556 markings, 370846 edges, 1729 markings/sec, 165 secs
lola: 278338 markings, 382816 edges, 1956 markings/sec, 170 secs
lola: 288082 markings, 394798 edges, 1949 markings/sec, 175 secs
lola: 297815 markings, 406836 edges, 1947 markings/sec, 180 secs
lola: 307597 markings, 419068 edges, 1956 markings/sec, 185 secs
lola: 317342 markings, 431645 edges, 1949 markings/sec, 190 secs
lola: 327046 markings, 445343 edges, 1941 markings/sec, 195 secs
lola: 333200 markings, 455781 edges, 1231 markings/sec, 200 secs
lola: 338951 markings, 465080 edges, 1150 markings/sec, 205 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 101704 KB
lola: time consumption: 783 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(place_500_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(place_500_1)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J40-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: 9 markings, 8 edges
lola: ========================================

FORMULA PolyORBNT-PT-S10J40-UpperBounds-4 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(place_521_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(place_521_1)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J40-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: 8437 markings, 9564 edges, 1687 markings/sec, 30 secs
lola: 16877 markings, 19532 edges, 1688 markings/sec, 35 secs
lola: 25709 markings, 31957 edges, 1766 markings/sec, 40 secs
lola: 36805 markings, 45418 edges, 2219 markings/sec, 45 secs
lola: 47876 markings, 58989 edges, 2214 markings/sec, 50 secs
lola: 59050 markings, 72833 edges, 2235 markings/sec, 55 secs
lola: 70046 markings, 86757 edges, 2199 markings/sec, 60 secs
lola: 81105 markings, 101214 edges, 2212 markings/sec, 65 secs
lola: 89964 markings, 115363 edges, 1772 markings/sec, 70 secs
lola: 96154 markings, 125289 edges, 1238 markings/sec, 75 secs
lola: 102309 markings, 135279 edges, 1231 markings/sec, 80 secs
lola: 108485 markings, 145519 edges, 1235 markings/sec, 85 secs
lola: 114688 markings, 156187 edges, 1241 markings/sec, 90 secs
lola: 121003 markings, 168892 edges, 1263 markings/sec, 95 secs
lola: 129645 markings, 178715 edges, 1728 markings/sec, 100 secs
lola: 138207 markings, 188928 edges, 1712 markings/sec, 105 secs
lola: 147395 markings, 201717 edges, 1838 markings/sec, 110 secs
lola: 158431 markings, 215174 edges, 2207 markings/sec, 115 secs
lola: 169510 markings, 228751 edges, 2216 markings/sec, 120 secs
lola: 180597 markings, 242545 edges, 2217 markings/sec, 125 secs
lola: 191652 markings, 256507 edges, 2211 markings/sec, 130 secs
lola: 202630 markings, 271056 edges, 2196 markings/sec, 135 secs
lola: 210933 markings, 284572 edges, 1661 markings/sec, 140 secs
lola: 217100 markings, 294463 edges, 1233 markings/sec, 145 secs
lola: 223237 markings, 304439 edges, 1227 markings/sec, 150 secs
lola: 229450 markings, 314749 edges, 1243 markings/sec, 155 secs
lola: 235588 markings, 325417 edges, 1228 markings/sec, 160 secs
lola: 242223 markings, 338003 edges, 1327 markings/sec, 165 secs
lola: 250802 markings, 347806 edges, 1716 markings/sec, 170 secs
lola: 259331 markings, 358066 edges, 1706 markings/sec, 175 secs
lola: 268702 markings, 371023 edges, 1874 markings/sec, 180 secs
lola: 279735 markings, 384517 edges, 2207 markings/sec, 185 secs
lola: 290700 markings, 398017 edges, 2193 markings/sec, 190 secs
lola: 301717 markings, 411658 edges, 2203 markings/sec, 195 secs
lola: 312613 markings, 425485 edges, 2179 markings/sec, 200 secs
lola: 323541 markings, 440008 edges, 2186 markings/sec, 205 secs
lola: 331569 markings, 453179 edges, 1606 markings/sec, 210 secs
lola: 337713 markings, 463041 edges, 1229 markings/sec, 215 secs
lola: 343858 markings, 473039 edges, 1229 markings/sec, 220 secs
lola: 349976 markings, 483258 edges, 1224 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 102584 KB
lola: time consumption: 1016 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(mi1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(mi1)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J40-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: 5389 markings, 9904 edges, 1078 markings/sec, 30 secs
lola: 10684 markings, 19859 edges, 1059 markings/sec, 35 secs
lola: 15979 markings, 29974 edges, 1059 markings/sec, 40 secs
lola: 21297 markings, 39902 edges, 1064 markings/sec, 45 secs
lola: 26506 markings, 49921 edges, 1042 markings/sec, 50 secs
lola: 31779 markings, 60007 edges, 1055 markings/sec, 55 secs
lola: 36960 markings, 70184 edges, 1036 markings/sec, 60 secs
lola: 42208 markings, 80414 edges, 1050 markings/sec, 65 secs
lola: 47322 markings, 90721 edges, 1023 markings/sec, 70 secs
lola: 52526 markings, 101287 edges, 1041 markings/sec, 75 secs
lola: 57785 markings, 112244 edges, 1052 markings/sec, 80 secs
lola: 62958 markings, 123329 edges, 1035 markings/sec, 85 secs
lola: 68111 markings, 135370 edges, 1031 markings/sec, 90 secs
lola: 73296 markings, 151701 edges, 1037 markings/sec, 95 secs
lola: 78308 markings, 161959 edges, 1002 markings/sec, 100 secs
lola: 83549 markings, 172348 edges, 1048 markings/sec, 105 secs
lola: 88833 markings, 182839 edges, 1057 markings/sec, 110 secs
lola: 94076 markings, 193333 edges, 1049 markings/sec, 115 secs
lola: 99279 markings, 203794 edges, 1041 markings/sec, 120 secs
lola: 104608 markings, 214397 edges, 1066 markings/sec, 125 secs
lola: 109714 markings, 224504 edges, 1021 markings/sec, 130 secs
lola: 114987 markings, 235172 edges, 1055 markings/sec, 135 secs
lola: 120045 markings, 245616 edges, 1012 markings/sec, 140 secs
lola: 125374 markings, 256165 edges, 1066 markings/sec, 145 secs
lola: 130470 markings, 266880 edges, 1019 markings/sec, 150 secs
lola: 135805 markings, 277668 edges, 1067 markings/sec, 155 secs
lola: 141028 markings, 288495 edges, 1045 markings/sec, 160 secs
lola: 146230 markings, 299341 edges, 1040 markings/sec, 165 secs
lola: 151411 markings, 310292 edges, 1036 markings/sec, 170 secs
lola: 156586 markings, 321161 edges, 1035 markings/sec, 175 secs
lola: 161746 markings, 332385 edges, 1032 markings/sec, 180 secs
lola: 167073 markings, 343978 edges, 1065 markings/sec, 185 secs
lola: 172244 markings, 355719 edges, 1034 markings/sec, 190 secs
lola: 177354 markings, 367772 edges, 1022 markings/sec, 195 secs
lola: 182467 markings, 381682 edges, 1023 markings/sec, 200 secs
lola: 186216 markings, 394066 edges, 750 markings/sec, 205 secs
lola: 189481 markings, 402877 edges, 653 markings/sec, 210 secs
lola: 192810 markings, 411827 edges, 666 markings/sec, 215 secs
lola: 196179 markings, 420858 edges, 674 markings/sec, 220 secs
lola: 199557 markings, 429917 edges, 676 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 91524 KB
lola: time consumption: 1248 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(place_522_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(place_522_1)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J40-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: 7245 markings, 32592 edges, 1449 markings/sec, 30 secs
lola: 14356 markings, 73055 edges, 1422 markings/sec, 35 secs
lola: 22346 markings, 110655 edges, 1598 markings/sec, 40 secs
lola: 29908 markings, 147713 edges, 1512 markings/sec, 45 secs
lola: 37566 markings, 185563 edges, 1532 markings/sec, 50 secs
lola: 45659 markings, 226713 edges, 1619 markings/sec, 55 secs
lola: 53059 markings, 264243 edges, 1480 markings/sec, 60 secs
lola: 61021 markings, 301749 edges, 1592 markings/sec, 65 secs
lola: 68985 markings, 340799 edges, 1593 markings/sec, 70 secs
lola: 76536 markings, 377880 edges, 1510 markings/sec, 75 secs
lola: 84681 markings, 419610 edges, 1629 markings/sec, 80 secs
lola: 93084 markings, 460109 edges, 1681 markings/sec, 85 secs
lola: 100505 markings, 496344 edges, 1484 markings/sec, 90 secs
lola: 108456 markings, 535407 edges, 1590 markings/sec, 95 secs
lola: 117008 markings, 579294 edges, 1710 markings/sec, 100 secs
lola: 125046 markings, 618188 edges, 1608 markings/sec, 105 secs
lola: 133568 markings, 659714 edges, 1704 markings/sec, 110 secs
lola: 141731 markings, 700392 edges, 1633 markings/sec, 115 secs
lola: 149783 markings, 742247 edges, 1610 markings/sec, 120 secs
lola: 158362 markings, 781831 edges, 1716 markings/sec, 125 secs
lola: 166507 markings, 822040 edges, 1629 markings/sec, 130 secs
lola: 174167 markings, 860523 edges, 1532 markings/sec, 135 secs
lola: 182085 markings, 901669 edges, 1584 markings/sec, 140 secs
lola: 190596 markings, 940994 edges, 1702 markings/sec, 145 secs
lola: 198398 markings, 979597 edges, 1560 markings/sec, 150 secs
lola: 206200 markings, 1018603 edges, 1560 markings/sec, 155 secs
lola: 214510 markings, 1061341 edges, 1662 markings/sec, 160 secs
lola: 222974 markings, 1100872 edges, 1693 markings/sec, 165 secs
lola: 230226 markings, 1136770 edges, 1450 markings/sec, 170 secs
lola: 237504 markings, 1172540 edges, 1456 markings/sec, 175 secs
lola: 244782 markings, 1208863 edges, 1456 markings/sec, 180 secs
lola: 252022 markings, 1245164 edges, 1448 markings/sec, 185 secs
lola: 259223 markings, 1281754 edges, 1440 markings/sec, 190 secs
lola: 266863 markings, 1317749 edges, 1528 markings/sec, 195 secs
lola: 275993 markings, 1358678 edges, 1826 markings/sec, 200 secs
lola: 285078 markings, 1399446 edges, 1817 markings/sec, 205 secs
lola: 294024 markings, 1439696 edges, 1789 markings/sec, 210 secs
lola: 303262 markings, 1481142 edges, 1848 markings/sec, 215 secs
lola: 312189 markings, 1521183 edges, 1785 markings/sec, 220 secs
lola: 320727 markings, 1559460 edges, 1708 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 82208 KB
lola: time consumption: 1480 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_38_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_38_9)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J40-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: 39 markings, 38 edges

FORMULA PolyORBNT-PT-S10J40-UpperBounds-8 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 8 will run for 260 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_0_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_0_4)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J40-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: 8801 markings, 9947 edges, 1760 markings/sec, 30 secs
lola: 17523 markings, 20324 edges, 1744 markings/sec, 35 secs
lola: 26861 markings, 33276 edges, 1868 markings/sec, 40 secs
lola: 38064 markings, 46993 edges, 2241 markings/sec, 45 secs
lola: 49402 markings, 60867 edges, 2268 markings/sec, 50 secs
lola: 60650 markings, 74854 edges, 2250 markings/sec, 55 secs
lola: 71948 markings, 89171 edges, 2260 markings/sec, 60 secs
lola: 83265 markings, 104252 edges, 2263 markings/sec, 65 secs
lola: 91344 markings, 117526 edges, 1616 markings/sec, 70 secs
lola: 97564 markings, 127574 edges, 1244 markings/sec, 75 secs
lola: 103903 markings, 137855 edges, 1268 markings/sec, 80 secs
lola: 110159 markings, 148327 edges, 1251 markings/sec, 85 secs
lola: 116434 markings, 159350 edges, 1255 markings/sec, 90 secs
lola: 123628 markings, 171823 edges, 1439 markings/sec, 95 secs
lola: 132401 markings, 181925 edges, 1755 markings/sec, 100 secs
lola: 141149 markings, 192685 edges, 1750 markings/sec, 105 secs
lola: 151418 markings, 206577 edges, 2054 markings/sec, 110 secs
lola: 162625 markings, 220316 edges, 2241 markings/sec, 115 secs
lola: 173914 markings, 234242 edges, 2258 markings/sec, 120 secs
lola: 185195 markings, 248303 edges, 2256 markings/sec, 125 secs
lola: 196450 markings, 262760 edges, 2251 markings/sec, 130 secs
lola: 207620 markings, 279303 edges, 2234 markings/sec, 135 secs
lola: 213952 markings, 289335 edges, 1266 markings/sec, 140 secs
lola: 219888 markings, 298981 edges, 1187 markings/sec, 145 secs
lola: 226078 markings, 309133 edges, 1238 markings/sec, 150 secs
lola: 232372 markings, 319691 edges, 1259 markings/sec, 155 secs
lola: 238528 markings, 330915 edges, 1231 markings/sec, 160 secs
lola: 246354 markings, 342714 edges, 1565 markings/sec, 165 secs
lola: 255046 markings, 352815 edges, 1738 markings/sec, 170 secs
lola: 263648 markings, 363941 edges, 1720 markings/sec, 175 secs
lola: 274368 markings, 377956 edges, 2144 markings/sec, 180 secs
lola: 285497 markings, 391618 edges, 2226 markings/sec, 185 secs
lola: 296584 markings, 405312 edges, 2217 markings/sec, 190 secs
lola: 307787 markings, 419333 edges, 2241 markings/sec, 195 secs
lola: 318897 markings, 433707 edges, 2222 markings/sec, 200 secs
lola: 329027 markings, 449138 edges, 2026 markings/sec, 205 secs
lola: 335188 markings, 459026 edges, 1232 markings/sec, 210 secs
lola: 341440 markings, 469151 edges, 1250 markings/sec, 215 secs
lola: 347591 markings, 479273 edges, 1230 markings/sec, 220 secs
lola: 353819 markings, 489833 edges, 1246 markings/sec, 225 secs
lola: 359969 markings, 501448 edges, 1230 markings/sec, 230 secs
lola: 368308 markings, 512744 edges, 1668 markings/sec, 235 secs
lola: 376669 markings, 522637 edges, 1672 markings/sec, 240 secs
lola: 384988 markings, 534402 edges, 1664 markings/sec, 245 secs
lola: 396048 markings, 547908 edges, 2212 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 1 unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 108828 KB
lola: time consumption: 1743 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 260 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(f3_27)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(f3_27)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J40-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: 6070 markings, 9679 edges, 1214 markings/sec, 30 secs
lola: 14629 markings, 20914 edges, 1712 markings/sec, 35 secs
lola: 23182 markings, 32029 edges, 1711 markings/sec, 40 secs
lola: 31776 markings, 43149 edges, 1719 markings/sec, 45 secs
lola: 37952 markings, 62459 edges, 1235 markings/sec, 50 secs
lola: 44150 markings, 73400 edges, 1240 markings/sec, 55 secs
lola: 50005 markings, 83968 edges, 1171 markings/sec, 60 secs
lola: 56273 markings, 95031 edges, 1254 markings/sec, 65 secs
lola: 62582 markings, 106266 edges, 1262 markings/sec, 70 secs
lola: 69151 markings, 117819 edges, 1314 markings/sec, 75 secs
lola: 75385 markings, 129121 edges, 1247 markings/sec, 80 secs
lola: 81843 markings, 140753 edges, 1292 markings/sec, 85 secs
lola: 88189 markings, 152579 edges, 1269 markings/sec, 90 secs
lola: 94407 markings, 164355 edges, 1244 markings/sec, 95 secs
lola: 100774 markings, 176522 edges, 1273 markings/sec, 100 secs
lola: 107167 markings, 189208 edges, 1279 markings/sec, 105 secs
lola: 113370 markings, 202108 edges, 1241 markings/sec, 110 secs
lola: 119654 markings, 216518 edges, 1257 markings/sec, 115 secs
lola: 125551 markings, 236506 edges, 1179 markings/sec, 120 secs
lola: 130021 markings, 246289 edges, 894 markings/sec, 125 secs
lola: 134569 markings, 256222 edges, 910 markings/sec, 130 secs
lola: 138748 markings, 265969 edges, 836 markings/sec, 135 secs
lola: 143246 markings, 276065 edges, 900 markings/sec, 140 secs
lola: 147745 markings, 286291 edges, 900 markings/sec, 145 secs
lola: 152296 markings, 296669 edges, 910 markings/sec, 150 secs
lola: 156918 markings, 307161 edges, 924 markings/sec, 155 secs
lola: 161445 markings, 317853 edges, 905 markings/sec, 160 secs
lola: 165979 markings, 328562 edges, 907 markings/sec, 165 secs
lola: 170343 markings, 339367 edges, 873 markings/sec, 170 secs
lola: 174850 markings, 351062 edges, 901 markings/sec, 175 secs
lola: 179361 markings, 363822 edges, 902 markings/sec, 180 secs
lola: 184052 markings, 380649 edges, 938 markings/sec, 185 secs
lola: 190976 markings, 390895 edges, 1385 markings/sec, 190 secs
lola: 199650 markings, 402290 edges, 1735 markings/sec, 195 secs
lola: 208316 markings, 413485 edges, 1733 markings/sec, 200 secs
lola: 216236 markings, 433130 edges, 1584 markings/sec, 205 secs
lola: 222548 markings, 444050 edges, 1262 markings/sec, 210 secs
lola: 228755 markings, 455138 edges, 1241 markings/sec, 215 secs
lola: 234671 markings, 465829 edges, 1183 markings/sec, 220 secs
lola: 241055 markings, 477074 edges, 1277 markings/sec, 225 secs
lola: 247593 markings, 488555 edges, 1308 markings/sec, 230 secs
lola: 254021 markings, 500025 edges, 1286 markings/sec, 235 secs
lola: 260417 markings, 511594 edges, 1279 markings/sec, 240 secs
lola: 266680 markings, 523226 edges, 1253 markings/sec, 245 secs
lola: 273215 markings, 535334 edges, 1307 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 1 unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 100356 KB
lola: time consumption: 2003 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 261 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Perform_Work_B_1_22)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Perform_Work_B_1_22)
lola: processed formula length: 24
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J40-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: 6634 markings, 7474 edges, 1327 markings/sec, 0 secs
lola: 15266 markings, 17560 edges, 1726 markings/sec, 5 secs
lola: 23796 markings, 28997 edges, 1706 markings/sec, 10 secs
lola: 34823 markings, 43021 edges, 2205 markings/sec, 15 secs
lola: 46028 markings, 56746 edges, 2241 markings/sec, 20 secs
lola: 57161 markings, 70539 edges, 2227 markings/sec, 25 secs
lola: 68366 markings, 84601 edges, 2241 markings/sec, 30 secs
lola: 79627 markings, 99234 edges, 2252 markings/sec, 35 secs
lola: 89144 markings, 114061 edges, 1903 markings/sec, 40 secs
lola: 95352 markings, 124011 edges, 1242 markings/sec, 45 secs
lola: 101527 markings, 134028 edges, 1235 markings/sec, 50 secs
lola: 107747 markings, 144238 edges, 1244 markings/sec, 55 secs
lola: 113897 markings, 154812 edges, 1230 markings/sec, 60 secs
lola: 120091 markings, 166996 edges, 1239 markings/sec, 65 secs
lola: 128696 markings, 177633 edges, 1721 markings/sec, 70 secs
lola: 137359 markings, 187849 edges, 1733 markings/sec, 75 secs
lola: 146267 markings, 200354 edges, 1782 markings/sec, 80 secs
lola: 157508 markings, 214011 edges, 2248 markings/sec, 85 secs
lola: 168730 markings, 227792 edges, 2244 markings/sec, 90 secs
lola: 179860 markings, 241611 edges, 2226 markings/sec, 95 secs
lola: 191076 markings, 255799 edges, 2243 markings/sec, 100 secs
lola: 202233 markings, 270513 edges, 2231 markings/sec, 105 secs
lola: 210606 markings, 283975 edges, 1675 markings/sec, 110 secs
lola: 216853 markings, 293987 edges, 1249 markings/sec, 115 secs
lola: 222944 markings, 303914 edges, 1218 markings/sec, 120 secs
lola: 229144 markings, 314215 edges, 1240 markings/sec, 125 secs
lola: 235313 markings, 324905 edges, 1234 markings/sec, 130 secs
lola: 241792 markings, 337555 edges, 1296 markings/sec, 135 secs
lola: 250464 markings, 347450 edges, 1734 markings/sec, 140 secs
lola: 259084 markings, 357771 edges, 1724 markings/sec, 145 secs
lola: 268533 markings, 370820 edges, 1890 markings/sec, 150 secs
lola: 279753 markings, 384546 edges, 2244 markings/sec, 155 secs
lola: 290915 markings, 398241 edges, 2232 markings/sec, 160 secs
lola: 302115 markings, 412212 edges, 2240 markings/sec, 165 secs
lola: 313297 markings, 426378 edges, 2236 markings/sec, 170 secs
lola: 324502 markings, 441395 edges, 2241 markings/sec, 175 secs
lola: 332151 markings, 454152 edges, 1530 markings/sec, 180 secs
lola: 338413 markings, 464180 edges, 1252 markings/sec, 185 secs
lola: 344550 markings, 474244 edges, 1227 markings/sec, 190 secs
lola: 350836 markings, 484683 edges, 1257 markings/sec, 195 secs
lola: 357014 markings, 495588 edges, 1236 markings/sec, 200 secs
lola: 364136 markings, 507960 edges, 1424 markings/sec, 205 secs
lola: 372702 markings, 517902 edges, 1713 markings/sec, 210 secs
lola: 381330 markings, 528648 edges, 1726 markings/sec, 215 secs
lola: 391694 markings, 542586 edges, 2073 markings/sec, 220 secs
lola: 402819 markings, 556227 edges, 2225 markings/sec, 225 secs
lola: 413886 markings, 569897 edges, 2213 markings/sec, 230 secs
lola: 425032 markings, 583929 edges, 2229 markings/sec, 235 secs
lola: 436169 markings, 598439 edges, 2227 markings/sec, 240 secs
lola: 445649 markings, 613219 edges, 1896 markings/sec, 245 secs
lola: 451858 markings, 623172 edges, 1242 markings/sec, 250 secs
lola: 458017 markings, 633200 edges, 1232 markings/sec, 255 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 1 unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 118024 KB
lola: time consumption: 2264 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 261 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(QueueJobB_1_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(QueueJobB_1_8)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J40-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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 40 markings, 39 edges
lola: ========================================

FORMULA PolyORBNT-PT-S10J40-UpperBounds-12 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(f3_17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(f3_17)
lola: processed formula length: 10
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J40-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: 6393 markings, 10208 edges, 1279 markings/sec, 30 secs
lola: 15879 markings, 22455 edges, 1897 markings/sec, 35 secs
lola: 25296 markings, 34820 edges, 1883 markings/sec, 40 secs
lola: 33864 markings, 55308 edges, 1714 markings/sec, 45 secs
lola: 40693 markings, 67177 edges, 1366 markings/sec, 50 secs
lola: 47606 markings, 79239 edges, 1383 markings/sec, 55 secs
lola: 54376 markings, 91287 edges, 1354 markings/sec, 60 secs
lola: 61415 markings, 103726 edges, 1408 markings/sec, 65 secs
lola: 68176 markings, 115826 edges, 1352 markings/sec, 70 secs
lola: 75121 markings, 128291 edges, 1389 markings/sec, 75 secs
lola: 81949 markings, 140658 edges, 1366 markings/sec, 80 secs
lola: 88200 markings, 152596 edges, 1250 markings/sec, 85 secs
lola: 95142 markings, 165619 edges, 1388 markings/sec, 90 secs
lola: 101926 markings, 178776 edges, 1357 markings/sec, 95 secs
lola: 108763 markings, 192520 edges, 1367 markings/sec, 100 secs
lola: 115625 markings, 207104 edges, 1372 markings/sec, 105 secs
lola: 122286 markings, 223333 edges, 1332 markings/sec, 110 secs
lola: 127793 markings, 241390 edges, 1101 markings/sec, 115 secs
lola: 132584 markings, 251911 edges, 958 markings/sec, 120 secs
lola: 137436 markings, 262702 edges, 970 markings/sec, 125 secs
lola: 142293 markings, 273480 edges, 971 markings/sec, 130 secs
lola: 147098 markings, 284331 edges, 961 markings/sec, 135 secs
lola: 151873 markings, 295325 edges, 955 markings/sec, 140 secs
lola: 156500 markings, 306130 edges, 925 markings/sec, 145 secs
lola: 161149 markings, 317160 edges, 930 markings/sec, 150 secs
lola: 166041 markings, 328808 edges, 978 markings/sec, 155 secs
lola: 170851 markings, 340749 edges, 962 markings/sec, 160 secs
lola: 175630 markings, 353184 edges, 956 markings/sec, 165 secs
lola: 180343 markings, 366938 edges, 943 markings/sec, 170 secs
lola: 185354 markings, 382937 edges, 1002 markings/sec, 175 secs
lola: 193625 markings, 394439 edges, 1654 markings/sec, 180 secs
lola: 203065 markings, 406638 edges, 1888 markings/sec, 185 secs
lola: 212386 markings, 418902 edges, 1864 markings/sec, 190 secs
lola: 219411 markings, 438794 edges, 1405 markings/sec, 195 secs
lola: 226275 markings, 450736 edges, 1373 markings/sec, 200 secs
lola: 233076 markings, 462744 edges, 1360 markings/sec, 205 secs
lola: 240187 markings, 475092 edges, 1422 markings/sec, 210 secs
lola: 246941 markings, 487135 edges, 1351 markings/sec, 215 secs
lola: 253839 markings, 499504 edges, 1380 markings/sec, 220 secs
lola: 260645 markings, 511794 edges, 1361 markings/sec, 225 secs
lola: 266645 markings, 523180 edges, 1200 markings/sec, 230 secs
lola: 273666 markings, 536076 edges, 1404 markings/sec, 235 secs
lola: 280524 markings, 549117 edges, 1372 markings/sec, 240 secs
lola: 287351 markings, 562513 edges, 1365 markings/sec, 245 secs
lola: 294137 markings, 576399 edges, 1357 markings/sec, 250 secs
lola: 300927 markings, 591470 edges, 1358 markings/sec, 255 secs
lola: 307415 markings, 610310 edges, 1298 markings/sec, 260 secs
lola: 312158 markings, 623570 edges, 949 markings/sec, 265 secs
lola: 317097 markings, 634284 edges, 988 markings/sec, 270 secs
lola: 321802 markings, 644872 edges, 941 markings/sec, 275 secs
lola: 326602 markings, 655647 edges, 960 markings/sec, 280 secs
lola: 331381 markings, 666549 edges, 956 markings/sec, 285 secs
lola: 336287 markings, 677599 edges, 981 markings/sec, 290 secs
lola: 340747 markings, 688219 edges, 892 markings/sec, 295 secs
lola: 345502 markings, 699453 edges, 951 markings/sec, 300 secs
lola: 350328 markings, 711099 edges, 965 markings/sec, 305 secs
lola: 355134 markings, 723144 edges, 961 markings/sec, 310 secs
lola: 359919 markings, 735970 edges, 957 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 1 unknown unknown unknown 1 unknown unknown unknown 1 unknown unknown unknown
lola: memory consumption: 109976 KB
lola: time consumption: 2601 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_33_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_33_8)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J40-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: 39 markings, 38 edges
lola: ========================================

FORMULA PolyORBNT-PT-S10J40-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 476 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(AvailableJobId_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(AvailableJobId_4)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J40-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: 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
lola: ========================================

FORMULA PolyORBNT-PT-S10J40-UpperBounds-15 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 944 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Perform_Work_B_1_0 + Perform_Work_B_1_1 + Perform_Work_B_1_2 + Perform_Work_B_1_3 + Perform_Work_B_1_4 + Perform_Work_B_1_5 + Perform_Work_B_1_6 + Perform_Work_B_1_7 + Perform_Work_B_1_8 + Perform_Work_B_1_9 + Perform_Work_B_1_10 + Perform_Work_B_1_11 + Perform_Work_B_1_12 + Perform_Work_B_1_13 + Perform_Work_B_1_14 + Perform_Work_B_1_15 + Perform_Work_B_1_16 + Perform_Work_B_1_17 + Perform_Wo... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Perform_Work_B_1_0 + Perform_Work_B_1_1 + Perform_Work_B_1_2 + Perform_Work_B_1_3 + Perform_Work_B_1_4 + Perform_Work_B_1_5 + Perform_Work_B_1_6 + Perform_Work_B_1_7 + Perform_Work_B_1_8 + Perform_Work_B_1_9 + Perform_Work_B_1_10 + Perform_Work_B_1_11 + Perform_Work_B_1_12 + Perform_Work_B_1_13 + Perform_Work_B_1_14 + Perform_Work_B_1_15 + Perform_Work_B_1_16 + Perform_Work_B_1_17 + Perform_Wo... (shortened)
lola: processed formula length: 894
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J40-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: Structural Bound: 1
lola: 3457 markings, 3845 edges, 691 markings/sec, 5 secs
lola: 12168 markings, 13900 edges, 1742 markings/sec, 10 secs
lola: 20855 markings, 24574 edges, 1737 markings/sec, 15 secs
lola: 31073 markings, 38406 edges, 2044 markings/sec, 20 secs
lola: 42326 markings, 52203 edges, 2251 markings/sec, 25 secs
lola: 53650 markings, 66174 edges, 2265 markings/sec, 30 secs
lola: 64878 markings, 80167 edges, 2246 markings/sec, 35 secs
lola: 76138 markings, 94624 edges, 2252 markings/sec, 40 secs
lola: 87301 markings, 110934 edges, 2233 markings/sec, 45 secs
lola: 93635 markings, 121172 edges, 1267 markings/sec, 50 secs
lola: 99825 markings, 131213 edges, 1238 markings/sec, 55 secs
lola: 106145 markings, 141560 edges, 1264 markings/sec, 60 secs
lola: 112358 markings, 152109 edges, 1243 markings/sec, 65 secs
lola: 118615 markings, 163562 edges, 1251 markings/sec, 70 secs
lola: 126643 markings, 175282 edges, 1606 markings/sec, 75 secs
lola: 135408 markings, 185516 edges, 1753 markings/sec, 80 secs
lola: 144099 markings, 197114 edges, 1738 markings/sec, 85 secs
lola: 155197 markings, 211247 edges, 2220 markings/sec, 90 secs
lola: 166441 markings, 225028 edges, 2249 markings/sec, 95 secs
lola: 177733 markings, 238952 edges, 2258 markings/sec, 100 secs
lola: 189021 markings, 253148 edges, 2258 markings/sec, 105 secs
lola: 200234 markings, 267774 edges, 2243 markings/sec, 110 secs
lola: 209791 markings, 282675 edges, 1911 markings/sec, 115 secs
lola: 216059 markings, 292719 edges, 1254 markings/sec, 120 secs
lola: 222331 markings, 302910 edges, 1254 markings/sec, 125 secs
lola: 228589 markings, 313264 edges, 1252 markings/sec, 130 secs
lola: 234790 markings, 323980 edges, 1240 markings/sec, 135 secs
lola: 241153 markings, 336831 edges, 1273 markings/sec, 140 secs
lola: 249545 markings, 346396 edges, 1678 markings/sec, 145 secs
lola: 258334 markings, 356812 edges, 1758 markings/sec, 150 secs
lola: 266735 markings, 368636 edges, 1680 markings/sec, 155 secs
lola: 278086 markings, 382465 edges, 2270 markings/sec, 160 secs
lola: 289272 markings, 396256 edges, 2237 markings/sec, 165 secs
lola: 300552 markings, 410207 edges, 2256 markings/sec, 170 secs
lola: 311738 markings, 424369 edges, 2237 markings/sec, 175 secs
lola: 322980 markings, 439253 edges, 2248 markings/sec, 180 secs
lola: 331344 markings, 452864 edges, 1673 markings/sec, 185 secs
lola: 337665 markings, 462978 edges, 1264 markings/sec, 190 secs
lola: 343926 markings, 473203 edges, 1252 markings/sec, 195 secs
lola: 350168 markings, 483601 edges, 1248 markings/sec, 200 secs
lola: 356420 markings, 494502 edges, 1250 markings/sec, 205 secs
lola: 363336 markings, 507083 edges, 1383 markings/sec, 210 secs
lola: 372140 markings, 517203 edges, 1761 markings/sec, 215 secs
lola: 380852 markings, 527968 edges, 1742 markings/sec, 220 secs
lola: 391209 markings, 542006 edges, 2071 markings/sec, 225 secs
lola: 402413 markings, 555730 edges, 2241 markings/sec, 230 secs
lola: 413559 markings, 569541 edges, 2229 markings/sec, 235 secs
lola: 424723 markings, 583564 edges, 2233 markings/sec, 240 secs
lola: 435895 markings, 598033 edges, 2234 markings/sec, 245 secs
lola: 445526 markings, 613042 edges, 1926 markings/sec, 250 secs
lola: 451794 markings, 623081 edges, 1254 markings/sec, 255 secs
lola: 458041 markings, 633250 edges, 1249 markings/sec, 260 secs
lola: 464191 markings, 643523 edges, 1230 markings/sec, 265 secs
lola: 470416 markings, 654342 edges, 1245 markings/sec, 270 secs
lola: 476879 markings, 666535 edges, 1293 markings/sec, 275 secs
lola: 485648 markings, 676606 edges, 1754 markings/sec, 280 secs
lola: 494375 markings, 687286 edges, 1745 markings/sec, 285 secs
lola: 504479 markings, 701031 edges, 2021 markings/sec, 290 secs
lola: 515662 markings, 714754 edges, 2237 markings/sec, 295 secs
lola: 526893 markings, 728611 edges, 2246 markings/sec, 300 secs
lola: 536784 markings, 741022 edges, 1978 markings/sec, 305 secs
lola: 548026 markings, 755524 edges, 2248 markings/sec, 310 secs
lola: 558659 markings, 771555 edges, 2127 markings/sec, 315 secs
lola: 564913 markings, 781601 edges, 1251 markings/sec, 320 secs
lola: 571177 markings, 791748 edges, 1253 markings/sec, 325 secs
lola: 577438 markings, 802123 edges, 1252 markings/sec, 330 secs
lola: 583736 markings, 812981 edges, 1260 markings/sec, 335 secs
lola: 590291 markings, 825815 edges, 1311 markings/sec, 340 secs
lola: 599144 markings, 835960 edges, 1771 markings/sec, 345 secs
lola: 607953 markings, 846658 edges, 1762 markings/sec, 350 secs
lola: 618032 markings, 860472 edges, 2016 markings/sec, 355 secs
lola: 629336 markings, 874292 edges, 2261 markings/sec, 360 secs
lola: 640598 markings, 888221 edges, 2252 markings/sec, 365 secs
lola: 651901 markings, 902383 edges, 2261 markings/sec, 370 secs
lola: 663152 markings, 916936 edges, 2250 markings/sec, 375 secs
lola: 673377 markings, 932527 edges, 2045 markings/sec, 380 secs
lola: 679662 markings, 942625 edges, 1257 markings/sec, 385 secs
lola: 685860 markings, 952766 edges, 1240 markings/sec, 390 secs
lola: 692114 markings, 963153 edges, 1251 markings/sec, 395 secs
lola: 698396 markings, 974025 edges, 1256 markings/sec, 400 secs
lola: 705094 markings, 986722 edges, 1340 markings/sec, 405 secs
lola: 713935 markings, 996921 edges, 1768 markings/sec, 410 secs
lola: 722748 markings, 1007927 edges, 1763 markings/sec, 415 secs
lola: 733377 markings, 1022160 edges, 2126 markings/sec, 420 secs
lola: 744572 markings, 1035982 edges, 2239 markings/sec, 425 secs
lola: 755904 markings, 1050041 edges, 2266 markings/sec, 430 secs
lola: 767124 markings, 1064273 edges, 2244 markings/sec, 435 secs
lola: 778377 markings, 1079360 edges, 2251 markings/sec, 440 secs
lola: 786223 markings, 1092375 edges, 1569 markings/sec, 445 secs
lola: 792475 markings, 1102515 edges, 1250 markings/sec, 450 secs
lola: 798679 markings, 1112795 edges, 1241 markings/sec, 455 secs
lola: 804963 markings, 1123507 edges, 1257 markings/sec, 460 secs
lola: 811148 markings, 1135520 edges, 1237 markings/sec, 465 secs
lola: 819847 markings, 1146609 edges, 1740 markings/sec, 470 secs
lola: 828636 markings, 1157239 edges, 1758 markings/sec, 475 secs
lola: 838602 markings, 1170915 edges, 1993 markings/sec, 480 secs
lola: 849892 markings, 1184764 edges, 2258 markings/sec, 485 secs
lola: 861076 markings, 1198671 edges, 2237 markings/sec, 490 secs
lola: 872424 markings, 1212925 edges, 2270 markings/sec, 495 secs
lola: 883656 markings, 1227665 edges, 2246 markings/sec, 500 secs
lola: 892737 markings, 1242090 edges, 1816 markings/sec, 505 secs
lola: 898989 markings, 1252222 edges, 1250 markings/sec, 510 secs
lola: 905260 markings, 1262487 edges, 1254 markings/sec, 515 secs
lola: 911556 markings, 1273104 edges, 1259 markings/sec, 520 secs
lola: 917769 markings, 1284412 edges, 1243 markings/sec, 525 secs
lola: 925573 markings, 1296119 edges, 1561 markings/sec, 530 secs
lola: 934296 markings, 1306448 edges, 1745 markings/sec, 535 secs
lola: 943434 markings, 1319199 edges, 1828 markings/sec, 540 secs
lola: 954658 markings, 1332963 edges, 2245 markings/sec, 545 secs
lola: 965901 markings, 1346858 edges, 2249 markings/sec, 550 secs
lola: 977189 markings, 1360969 edges, 2258 markings/sec, 555 secs
lola: 988355 markings, 1375363 edges, 2233 markings/sec, 560 secs
lola: 998953 markings, 1391298 edges, 2120 markings/sec, 565 secs
lola: 1005110 markings, 1401246 edges, 1231 markings/sec, 570 secs
lola: 1011412 markings, 1411453 edges, 1260 markings/sec, 575 secs
lola: 1017558 markings, 1421763 edges, 1229 markings/sec, 580 secs
lola: 1023772 markings, 1432623 edges, 1243 markings/sec, 585 secs
lola: 1030740 markings, 1445091 edges, 1394 markings/sec, 590 secs
lola: 1039533 markings, 1455341 edges, 1759 markings/sec, 595 secs
lola: 1048211 markings, 1467045 edges, 1736 markings/sec, 600 secs
lola: 1059449 markings, 1481288 edges, 2248 markings/sec, 605 secs
lola: 1070651 markings, 1495132 edges, 2240 markings/sec, 610 secs
lola: 1081817 markings, 1509132 edges, 2233 markings/sec, 615 secs
lola: 1093009 markings, 1523612 edges, 2238 markings/sec, 620 secs
lola: 1103016 markings, 1538854 edges, 2001 markings/sec, 625 secs
lola: 1109327 markings, 1548947 edges, 1262 markings/sec, 630 secs
lola: 1115234 markings, 1558688 edges, 1181 markings/sec, 635 secs
lola: 1121022 markings, 1568401 edges, 1158 markings/sec, 640 secs
lola: 1127263 markings, 1579490 edges, 1248 markings/sec, 645 secs
lola: 1134692 markings, 1591699 edges, 1486 markings/sec, 650 secs
lola: 1143500 markings, 1602069 edges, 1762 markings/sec, 655 secs
lola: 1152531 markings, 1614741 edges, 1806 markings/sec, 660 secs
lola: 1163792 markings, 1628518 edges, 2252 markings/sec, 665 secs
lola: 1175100 markings, 1642505 edges, 2262 markings/sec, 670 secs
lola: 1186330 markings, 1656664 edges, 2246 markings/sec, 675 secs
lola: 1197076 markings, 1670666 edges, 2149 markings/sec, 680 secs
lola: 1206730 markings, 1685697 edges, 1931 markings/sec, 685 secs
lola: 1212979 markings, 1695834 edges, 1250 markings/sec, 690 secs
lola: 1219221 markings, 1706146 edges, 1248 markings/sec, 695 secs
lola: 1225445 markings, 1716715 edges, 1245 markings/sec, 700 secs
lola: 1231695 markings, 1728430 edges, 1250 markings/sec, 705 secs
lola: 1240079 markings, 1739974 edges, 1677 markings/sec, 710 secs
lola: 1248903 markings, 1750665 edges, 1765 markings/sec, 715 secs
lola: 1258895 markings, 1764415 edges, 1998 markings/sec, 720 secs
lola: 1269438 markings, 1777342 edges, 2109 markings/sec, 725 secs
lola: 1280157 markings, 1790708 edges, 2144 markings/sec, 730 secs
lola: 1291368 markings, 1804887 edges, 2242 markings/sec, 735 secs
lola: 1302558 markings, 1819736 edges, 2238 markings/sec, 740 secs
lola: 1310750 markings, 1833198 edges, 1638 markings/sec, 745 secs
lola: 1316946 markings, 1843288 edges, 1239 markings/sec, 750 secs
lola: 1323181 markings, 1853585 edges, 1247 markings/sec, 755 secs
lola: 1329362 markings, 1864212 edges, 1236 markings/sec, 760 secs
lola: 1335691 markings, 1877014 edges, 1266 markings/sec, 765 secs
lola: 1344497 markings, 1887201 edges, 1761 markings/sec, 770 secs
lola: 1353119 markings, 1898279 edges, 1724 markings/sec, 775 secs
lola: 1363904 markings, 1912551 edges, 2157 markings/sec, 780 secs
lola: 1375053 markings, 1926367 edges, 2230 markings/sec, 785 secs
lola: 1386216 markings, 1940400 edges, 2233 markings/sec, 790 secs
lola: 1397379 markings, 1954887 edges, 2233 markings/sec, 795 secs
lola: 1407082 markings, 1969964 edges, 1941 markings/sec, 800 secs
lola: 1413317 markings, 1980074 edges, 1247 markings/sec, 805 secs
lola: 1419505 markings, 1990328 edges, 1238 markings/sec, 810 secs
lola: 1425695 markings, 2000940 edges, 1238 markings/sec, 815 secs
lola: 1431845 markings, 2013786 edges, 1230 markings/sec, 820 secs
lola: 1440621 markings, 2023939 edges, 1755 markings/sec, 825 secs
lola: 1449316 markings, 2034892 edges, 1739 markings/sec, 830 secs
lola: 1459874 markings, 2049044 edges, 2112 markings/sec, 835 secs
lola: 1471047 markings, 2062843 edges, 2235 markings/sec, 840 secs
lola: 1482220 markings, 2076883 edges, 2235 markings/sec, 845 secs
lola: 1493407 markings, 2091374 edges, 2237 markings/sec, 850 secs
lola: 1503470 markings, 2106815 edges, 2013 markings/sec, 855 secs
lola: 1509200 markings, 2116135 edges, 1146 markings/sec, 860 secs
lola: 1515471 markings, 2126422 edges, 1254 markings/sec, 865 secs
lola: 1521646 markings, 2136969 edges, 1235 markings/sec, 870 secs
lola: 1527840 markings, 2148738 edges, 1239 markings/sec, 875 secs
lola: 1536307 markings, 2160093 edges, 1693 markings/sec, 880 secs
lola: 1544936 markings, 2170792 edges, 1726 markings/sec, 885 secs
lola: 1555175 markings, 2184724 edges, 2048 markings/sec, 890 secs
lola: 1566376 markings, 2198573 edges, 2240 markings/sec, 895 secs
lola: 1577615 markings, 2212584 edges, 2248 markings/sec, 900 secs
lola: 1588750 markings, 2226927 edges, 2227 markings/sec, 905 secs
lola: 1599418 markings, 2242948 edges, 2134 markings/sec, 910 secs
lola: 1605593 markings, 2252952 edges, 1235 markings/sec, 915 secs
lola: 1611805 markings, 2263190 edges, 1242 markings/sec, 920 secs
lola: 1617690 markings, 2273181 edges, 1177 markings/sec, 925 secs
lola: 1622593 markings, 2282040 edges, 981 markings/sec, 930 secs
lola: 1630098 markings, 2294120 edges, 1501 markings/sec, 935 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 1 unknown unknown unknown 1 unknown unknown unknown 1 unknown 1 1
lola: memory consumption: 251664 KB
lola: time consumption: 3569 seconds
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: MAX(Perform_Work_E_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Perform_Work_E_1)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J40-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: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 1 unknown unknown unknown 1 unknown unknown unknown 1 unknown 1 1
lola:
preliminary result: unknown unknown unknown unknown 1 unknown unknown unknown 1 unknown unknown unknown 1 unknown 1 1
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown 1 unknown unknown unknown 1 unknown unknown unknown 1 unknown 1 1
lola: memory consumption: 71136 KB
lola: time consumption: 3569 seconds
lola: memory consumption: 71136 KB
lola: time consumption: 3569 seconds

BK_STOP 1527273545646

--------------------
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-S10J40"
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-S10J40.tgz
mv PolyORBNT-PT-S10J40 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-S10J40, 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-152673527200380"
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 ;