Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 21M
-rw-r--r-- 1 mcc users 42K Feb 12 10:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 119K Feb 12 10:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 524K Feb 8 12:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.5M Feb 8 12:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 106 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 344 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 6.1K Feb 5 00:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 5 00:43 LTLCardinality.xml
-rw-r--r-- 1 mcc users 39K Feb 4 22:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 122K Feb 4 22:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 39K Feb 4 13:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 106K Feb 4 13:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 17K Feb 1 10:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 1 10:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.1K Feb 4 22:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.5K Feb 4 22:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 7 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 19M Mar 10 17:31 model.pnml

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1554070600184

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBNT-PT-S10J60 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBNT-PT-S10J60 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ PolyORBNT-PT-S10J60 @ 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: 14154/65536 symbol table entries, 4750 collisions
lola: preprocessing...
lola: Size of bit vector: 39488
lola: finding significant places
lola: 1234 places, 12920 transitions, 1082 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3498 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-PT-S10J60-UpperBounds.task
lola: MAX(place_500_1) : MAX(Schedule_Task_E_1_PerformWork_10 + Schedule_Task_E_1_PerformWork_11 + Schedule_Task_E_1_PerformWork_12 + Schedule_Task_E_1_PerformWork_13 + Schedule_Task_E_1_PerformWork_14 + Schedule_Task_E_1_PerformWork_15 + Schedule_Task_E_1_PerformWork_16 + Schedule_Task_E_1_PerformWork_17 + Schedule_Task_E_1_PerformWork_18 + Schedule_Task_E_1_PerformWork_19 + Schedule_Task_E_1_PerformWork_20 + Schedule_Task_E_1_PerformWork_21 + Schedule_Task_E_1_PerformWork_22 + Schedule_Task_E_1_PerformWork_23 + Schedule_Task_E_1_PerformWork_24 + Schedule_Task_E_1_PerformWork_25 + Schedule_Task_E_1_PerformWork_26 + Schedule_Task_E_1_PerformWork_27 + Schedule_Task_E_1_PerformWork_28 + Schedule_Task_E_1_PerformWork_29 + Schedule_Task_E_1_PerformWork_30 + Schedule_Task_E_1_PerformWork_31 + Schedule_Task_E_1_PerformWork_32 + Schedule_Task_E_1_PerformWork_33 + Schedule_Task_E_1_PerformWork_34 + Schedule_Task_E_1_PerformWork_35 + Schedule_Task_E_1_PerformWork_36 + Schedule_Task_E_1_PerformWork_37 + Schedule_Task_E_1_PerformWork_38 + Schedule_Task_E_1_PerformWork_39 + Schedule_Task_E_1_PerformWork_40 + Schedule_Task_E_1_PerformWork_41 + Schedule_Task_E_1_PerformWork_42 + Schedule_Task_E_1_PerformWork_43 + Schedule_Task_E_1_PerformWork_44 + Schedule_Task_E_1_PerformWork_45 + Schedule_Task_E_1_PerformWork_46 + Schedule_Task_E_1_PerformWork_47 + Schedule_Task_E_1_PerformWork_48 + Schedule_Task_E_1_PerformWork_49 + Schedule_Task_E_1_PerformWork_50 + Schedule_Task_E_1_PerformWork_51 + Schedule_Task_E_1_PerformWork_52 + Schedule_Task_E_1_PerformWork_53 + Schedule_Task_E_1_PerformWork_54 + Schedule_Task_E_1_PerformWork_55 + Schedule_Task_E_1_PerformWork_56 + Schedule_Task_E_1_PerformWork_57 + Schedule_Task_E_1_PerformWork_58 + Schedule_Task_E_1_PerformWork_59 + Schedule_Task_E_1_PerformWork_60 + Schedule_Task_E_1_CheckSource_0 + Schedule_Task_E_1_PerformWork_0 + Schedule_Task_E_1_PerformWork_1 + Schedule_Task_E_1_PerformWork_2 + Schedule_Task_E_1_PerformWork_3 + Schedule_Task_E_1_PerformWork_4 + Schedule_Task_E_1_PerformWork_5 + Schedule_Task_E_1_PerformWork_6 + Schedule_Task_E_1_PerformWork_7 + Schedule_Task_E_1_PerformWork_8 + Schedule_Task_E_1_PerformWork_9) : MAX(place_522_1) : MAX(Check_Sources_E_1) : MAX(place_460) : MAX(mo1) : MAX(place_482_1_10 + place_482_1_1 + place_482_1_2 + place_482_1_3 + place_482_1_4 + place_482_1_5 + place_482_1_6 + place_482_1_7 + place_482_1_8 + place_482_1_9) : MAX(mi3) : MAX(CreatedJobs_47_3) : MAX(mi1) : MAX(QueueJobB_1_17) : MAX(FetchJobE_1_27) : MAX(Schedule_Task_E_1_PerformWork_42) : MAX(Schedule_Task_E_1_PerformWork_59) : MAX(CreatedJobs_26_2) : MAX(FetchJobE_1_44)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 218 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-S10J60-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-S10J60-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 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-S10J60-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: 10265 markings, 48580 edges, 2053 markings/sec, 30 secs
lola: 20461 markings, 103190 edges, 2039 markings/sec, 35 secs
lola: 30999 markings, 152984 edges, 2108 markings/sec, 40 secs
lola: 41456 markings, 205201 edges, 2091 markings/sec, 45 secs
lola: 51873 markings, 256964 edges, 2083 markings/sec, 50 secs
lola: 62372 markings, 308049 edges, 2100 markings/sec, 55 secs
lola: 72686 markings, 360563 edges, 2063 markings/sec, 60 secs
lola: 83209 markings, 410985 edges, 2105 markings/sec, 65 secs
lola: 93644 markings, 462391 edges, 2087 markings/sec, 70 secs
lola: 104085 markings, 515483 edges, 2088 markings/sec, 75 secs
lola: 114673 markings, 566113 edges, 2118 markings/sec, 80 secs
lola: 125050 markings, 618207 edges, 2075 markings/sec, 85 secs
lola: 135562 markings, 669964 edges, 2102 markings/sec, 90 secs
lola: 146014 markings, 720865 edges, 2090 markings/sec, 95 secs
lola: 156389 markings, 774375 edges, 2075 markings/sec, 100 secs
lola: 166996 markings, 824545 edges, 2121 markings/sec, 105 secs
lola: 177450 markings, 876291 edges, 2091 markings/sec, 110 secs
lola: 187831 markings, 928707 edges, 2076 markings/sec, 115 secs
lola: 198454 markings, 979801 edges, 2125 markings/sec, 120 secs
lola: 208981 markings, 1032600 edges, 2105 markings/sec, 125 secs
lola: 219557 markings, 1084742 edges, 2115 markings/sec, 130 secs
lola: 230259 markings, 1137005 edges, 2140 markings/sec, 135 secs
lola: 240812 markings, 1190449 edges, 2111 markings/sec, 140 secs
lola: 251514 markings, 1242428 edges, 2140 markings/sec, 145 secs
lola: 262120 markings, 1294077 edges, 2121 markings/sec, 150 secs
lola: 272643 markings, 1348311 edges, 2105 markings/sec, 155 secs
lola: 283300 markings, 1398861 edges, 2131 markings/sec, 160 secs
lola: 293865 markings, 1450902 edges, 2113 markings/sec, 165 secs
lola: 304386 markings, 1504690 edges, 2104 markings/sec, 170 secs
lola: 314976 markings, 1555058 edges, 2118 markings/sec, 175 secs
lola: 325599 markings, 1608143 edges, 2125 markings/sec, 180 secs
lola: 336067 markings, 1660263 edges, 2094 markings/sec, 185 secs
lola: 346410 markings, 1710367 edges, 2069 markings/sec, 190 secs
lola: 356814 markings, 1763423 edges, 2081 markings/sec, 195 secs
lola: 367390 markings, 1814158 edges, 2115 markings/sec, 200 secs
lola: 377892 markings, 1865749 edges, 2100 markings/sec, 205 secs
lola: 388013 markings, 1917103 edges, 2024 markings/sec, 210 secs
lola: 399140 markings, 1969342 edges, 2225 markings/sec, 215 secs
lola: 411375 markings, 2024419 edges, 2447 markings/sec, 220 secs
lola: 423849 markings, 2080521 edges, 2495 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 98552 KB
lola: time consumption: 310 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 232 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Check_Sources_E_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Check_Sources_E_1)
lola: processed formula length: 22
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J60-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: 8 markings, 7 edges
lola: ========================================

FORMULA PolyORBNT-PT-S10J60-UpperBounds-3 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(place_460)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(place_460)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J60-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: 10257 markings, 48201 edges, 2051 markings/sec, 30 secs
lola: 20503 markings, 102831 edges, 2049 markings/sec, 35 secs
lola: 31055 markings, 151996 edges, 2110 markings/sec, 40 secs
lola: 41517 markings, 203660 edges, 2092 markings/sec, 45 secs
lola: 51943 markings, 255095 edges, 2085 markings/sec, 50 secs
lola: 62466 markings, 305621 edges, 2105 markings/sec, 55 secs
lola: 72826 markings, 357821 edges, 2072 markings/sec, 60 secs
lola: 83436 markings, 408380 edges, 2122 markings/sec, 65 secs
lola: 93996 markings, 459614 edges, 2112 markings/sec, 70 secs
lola: 104452 markings, 513057 edges, 2091 markings/sec, 75 secs
lola: 115013 markings, 562275 edges, 2112 markings/sec, 80 secs
lola: 125555 markings, 614326 edges, 2108 markings/sec, 85 secs
lola: 135979 markings, 665883 edges, 2085 markings/sec, 90 secs
lola: 146502 markings, 716375 edges, 2105 markings/sec, 95 secs
lola: 157010 markings, 768776 edges, 2102 markings/sec, 100 secs
lola: 167484 markings, 819276 edges, 2095 markings/sec, 105 secs
lola: 177928 markings, 869735 edges, 2089 markings/sec, 110 secs
lola: 188210 markings, 921947 edges, 2056 markings/sec, 115 secs
lola: 198681 markings, 970991 edges, 2094 markings/sec, 120 secs
lola: 208972 markings, 1022305 edges, 2058 markings/sec, 125 secs
lola: 219296 markings, 1072471 edges, 2065 markings/sec, 130 secs
lola: 229776 markings, 1123033 edges, 2096 markings/sec, 135 secs
lola: 240089 markings, 1175971 edges, 2063 markings/sec, 140 secs
lola: 250496 markings, 1224223 edges, 2081 markings/sec, 145 secs
lola: 260867 markings, 1275626 edges, 2074 markings/sec, 150 secs
lola: 271359 markings, 1327117 edges, 2098 markings/sec, 155 secs
lola: 281865 markings, 1377617 edges, 2101 markings/sec, 160 secs
lola: 292230 markings, 1430101 edges, 2073 markings/sec, 165 secs
lola: 302828 markings, 1480250 edges, 2120 markings/sec, 170 secs
lola: 313286 markings, 1531208 edges, 2092 markings/sec, 175 secs
lola: 323707 markings, 1583923 edges, 2084 markings/sec, 180 secs
lola: 334164 markings, 1633093 edges, 2091 markings/sec, 185 secs
lola: 344365 markings, 1684152 edges, 2040 markings/sec, 190 secs
lola: 354736 markings, 1734283 edges, 2074 markings/sec, 195 secs
lola: 364895 markings, 1783423 edges, 2032 markings/sec, 200 secs
lola: 375163 markings, 1835007 edges, 2054 markings/sec, 205 secs
lola: 385349 markings, 1883440 edges, 2037 markings/sec, 210 secs
lola: 395392 markings, 1935236 edges, 2009 markings/sec, 215 secs
lola: 407249 markings, 1989783 edges, 2371 markings/sec, 220 secs
lola: 419208 markings, 2044719 edges, 2392 markings/sec, 225 secs
lola: 430956 markings, 2098995 edges, 2350 markings/sec, 230 secs
lola: 442718 markings, 2153344 edges, 2352 markings/sec, 235 secs
lola: 454525 markings, 2207819 edges, 2361 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 100336 KB
lola: time consumption: 561 seconds
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 100956 KB
lola: time consumption: 562 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(mo1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(mo1)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J60-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: 8309 markings, 9752 edges, 1662 markings/sec, 30 secs
lola: 16555 markings, 19141 edges, 1649 markings/sec, 35 secs
lola: 24774 markings, 28644 edges, 1644 markings/sec, 40 secs
lola: 32931 markings, 38281 edges, 1631 markings/sec, 45 secs
lola: 40915 markings, 47970 edges, 1597 markings/sec, 50 secs
lola: 48965 markings, 58320 edges, 1610 markings/sec, 55 secs
lola: 57770 markings, 72301 edges, 1761 markings/sec, 60 secs
lola: 68899 markings, 85762 edges, 2226 markings/sec, 65 secs
lola: 79329 markings, 98596 edges, 2086 markings/sec, 70 secs
lola: 90113 markings, 111739 edges, 2157 markings/sec, 75 secs
lola: 100730 markings, 124772 edges, 2123 markings/sec, 80 secs
lola: 111387 markings, 137808 edges, 2131 markings/sec, 85 secs
lola: 122095 markings, 151134 edges, 2142 markings/sec, 90 secs
lola: 132705 markings, 164296 edges, 2122 markings/sec, 95 secs
lola: 143410 markings, 177611 edges, 2141 markings/sec, 100 secs
lola: 153922 markings, 190905 edges, 2102 markings/sec, 105 secs
lola: 164485 markings, 204383 edges, 2113 markings/sec, 110 secs
lola: 174991 markings, 218034 edges, 2101 markings/sec, 115 secs
lola: 185614 markings, 232157 edges, 2125 markings/sec, 120 secs
lola: 196147 markings, 247182 edges, 2107 markings/sec, 125 secs
lola: 204003 markings, 261229 edges, 1571 markings/sec, 130 secs
lola: 209639 markings, 270323 edges, 1127 markings/sec, 135 secs
lola: 215393 markings, 279486 edges, 1151 markings/sec, 140 secs
lola: 221114 markings, 288728 edges, 1144 markings/sec, 145 secs
lola: 226821 markings, 297949 edges, 1141 markings/sec, 150 secs
lola: 232645 markings, 307450 edges, 1165 markings/sec, 155 secs
lola: 238311 markings, 316710 edges, 1133 markings/sec, 160 secs
lola: 244022 markings, 326129 edges, 1142 markings/sec, 165 secs
lola: 249720 markings, 335646 edges, 1140 markings/sec, 170 secs
lola: 255415 markings, 345342 edges, 1139 markings/sec, 175 secs
lola: 261081 markings, 355137 edges, 1133 markings/sec, 180 secs
lola: 266802 markings, 365353 edges, 1144 markings/sec, 185 secs
lola: 272519 markings, 376284 edges, 1143 markings/sec, 190 secs
lola: 278956 markings, 389740 edges, 1287 markings/sec, 195 secs
lola: 287170 markings, 399025 edges, 1643 markings/sec, 200 secs
lola: 295235 markings, 408256 edges, 1613 markings/sec, 205 secs
lola: 303327 markings, 417690 edges, 1618 markings/sec, 210 secs
lola: 311523 markings, 427433 edges, 1639 markings/sec, 215 secs
lola: 319641 markings, 437384 edges, 1624 markings/sec, 220 secs
lola: 327859 markings, 448312 edges, 1644 markings/sec, 225 secs
lola: 337122 markings, 462411 edges, 1853 markings/sec, 230 secs
lola: 347872 markings, 475397 edges, 2150 markings/sec, 235 secs
lola: 358351 markings, 488211 edges, 2096 markings/sec, 240 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 133372 KB
lola: time consumption: 812 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(mi3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(mi3)
lola: processed formula length: 8
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J60-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: 19 markings, 18 edges
lola: ========================================

FORMULA PolyORBNT-PT-S10J60-UpperBounds-7 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 274 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-S10J60-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: 8181 markings, 9702 edges, 1636 markings/sec, 30 secs
lola: 16315 markings, 18945 edges, 1627 markings/sec, 35 secs
lola: 24337 markings, 28248 edges, 1604 markings/sec, 40 secs
lola: 32390 markings, 37699 edges, 1611 markings/sec, 45 secs
lola: 40348 markings, 47405 edges, 1592 markings/sec, 50 secs
lola: 48476 markings, 57746 edges, 1626 markings/sec, 55 secs
lola: 56716 markings, 71055 edges, 1648 markings/sec, 60 secs
lola: 67306 markings, 84003 edges, 2118 markings/sec, 65 secs
lola: 77968 markings, 96921 edges, 2132 markings/sec, 70 secs
lola: 88276 markings, 109582 edges, 2062 markings/sec, 75 secs
lola: 98767 markings, 122459 edges, 2098 markings/sec, 80 secs
lola: 109272 markings, 135309 edges, 2101 markings/sec, 85 secs
lola: 119826 markings, 148375 edges, 2111 markings/sec, 90 secs
lola: 130402 markings, 161486 edges, 2115 markings/sec, 95 secs
lola: 140930 markings, 174641 edges, 2106 markings/sec, 100 secs
lola: 151473 markings, 187916 edges, 2109 markings/sec, 105 secs
lola: 162245 markings, 201632 edges, 2154 markings/sec, 110 secs
lola: 172963 markings, 215434 edges, 2144 markings/sec, 115 secs
lola: 183721 markings, 229730 edges, 2152 markings/sec, 120 secs
lola: 194310 markings, 244565 edges, 2118 markings/sec, 125 secs
lola: 203088 markings, 259957 edges, 1756 markings/sec, 130 secs
lola: 208868 markings, 269144 edges, 1156 markings/sec, 135 secs
lola: 214569 markings, 278325 edges, 1140 markings/sec, 140 secs
lola: 220321 markings, 287570 edges, 1150 markings/sec, 145 secs
lola: 226214 markings, 297037 edges, 1179 markings/sec, 150 secs
lola: 231845 markings, 306269 edges, 1126 markings/sec, 155 secs
lola: 237686 markings, 315817 edges, 1168 markings/sec, 160 secs
lola: 243436 markings, 325307 edges, 1150 markings/sec, 165 secs
lola: 249152 markings, 334868 edges, 1143 markings/sec, 170 secs
lola: 254959 markings, 344681 edges, 1161 markings/sec, 175 secs
lola: 260678 markings, 354531 edges, 1144 markings/sec, 180 secs
lola: 266382 markings, 364770 edges, 1141 markings/sec, 185 secs
lola: 272055 markings, 375561 edges, 1135 markings/sec, 190 secs
lola: 278182 markings, 388951 edges, 1225 markings/sec, 195 secs
lola: 286298 markings, 398158 edges, 1623 markings/sec, 200 secs
lola: 294468 markings, 407504 edges, 1634 markings/sec, 205 secs
lola: 302531 markings, 416859 edges, 1613 markings/sec, 210 secs
lola: 310692 markings, 426503 edges, 1632 markings/sec, 215 secs
lola: 318834 markings, 436452 edges, 1628 markings/sec, 220 secs
lola: 326897 markings, 447078 edges, 1613 markings/sec, 225 secs
lola: 336126 markings, 461217 edges, 1846 markings/sec, 230 secs
lola: 346586 markings, 474014 edges, 2092 markings/sec, 235 secs
lola: 357453 markings, 487253 edges, 2173 markings/sec, 240 secs
lola: 368217 markings, 500378 edges, 2153 markings/sec, 245 secs
lola: 378849 markings, 513466 edges, 2126 markings/sec, 250 secs
lola: 389652 markings, 526719 edges, 2161 markings/sec, 255 secs
lola: 400355 markings, 540000 edges, 2141 markings/sec, 260 secs
lola: 411012 markings, 553234 edges, 2131 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 1 unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 145048 KB
lola: time consumption: 1103 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 274 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-S10J60-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

FORMULA PolyORBNT-PT-S10J60-UpperBounds-9 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 8 will run for 307 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(QueueJobB_1_17)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(QueueJobB_1_17)
lola: processed formula length: 19
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J60-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: 8305 markings, 9352 edges, 1661 markings/sec, 30 secs
lola: 16698 markings, 18910 edges, 1679 markings/sec, 35 secs
lola: 25135 markings, 28629 edges, 1687 markings/sec, 40 secs
lola: 33425 markings, 38433 edges, 1658 markings/sec, 45 secs
lola: 41667 markings, 48539 edges, 1648 markings/sec, 50 secs
lola: 50018 markings, 59412 edges, 1670 markings/sec, 55 secs
lola: 59261 markings, 73638 edges, 1849 markings/sec, 60 secs
lola: 69815 markings, 86605 edges, 2111 markings/sec, 65 secs
lola: 80607 markings, 99634 edges, 2158 markings/sec, 70 secs
lola: 91208 markings, 112601 edges, 2120 markings/sec, 75 secs
lola: 101909 markings, 125726 edges, 2140 markings/sec, 80 secs
lola: 112439 markings, 138794 edges, 2106 markings/sec, 85 secs
lola: 123391 markings, 152299 edges, 2190 markings/sec, 90 secs
lola: 134118 markings, 165667 edges, 2145 markings/sec, 95 secs
lola: 145058 markings, 179353 edges, 2188 markings/sec, 100 secs
lola: 155794 markings, 192893 edges, 2147 markings/sec, 105 secs
lola: 166595 markings, 206711 edges, 2160 markings/sec, 110 secs
lola: 177276 markings, 220627 edges, 2136 markings/sec, 115 secs
lola: 187933 markings, 235009 edges, 2131 markings/sec, 120 secs
lola: 198515 markings, 250751 edges, 2116 markings/sec, 125 secs
lola: 205326 markings, 262979 edges, 1362 markings/sec, 130 secs
lola: 210919 markings, 272013 edges, 1119 markings/sec, 135 secs
lola: 216652 markings, 281229 edges, 1147 markings/sec, 140 secs
lola: 222483 markings, 290589 edges, 1166 markings/sec, 145 secs
lola: 228315 markings, 300080 edges, 1166 markings/sec, 150 secs
lola: 234251 markings, 309740 edges, 1187 markings/sec, 155 secs
lola: 240071 markings, 319331 edges, 1164 markings/sec, 160 secs
lola: 246158 markings, 329428 edges, 1217 markings/sec, 165 secs
lola: 252253 markings, 339679 edges, 1219 markings/sec, 170 secs
lola: 258336 markings, 350077 edges, 1217 markings/sec, 175 secs
lola: 264461 markings, 360857 edges, 1225 markings/sec, 180 secs
lola: 270480 markings, 372014 edges, 1204 markings/sec, 185 secs
lola: 276381 markings, 386054 edges, 1180 markings/sec, 190 secs
lola: 285168 markings, 396320 edges, 1757 markings/sec, 195 secs
lola: 293740 markings, 406163 edges, 1714 markings/sec, 200 secs
lola: 302378 markings, 416163 edges, 1728 markings/sec, 205 secs
lola: 311025 markings, 426360 edges, 1729 markings/sec, 210 secs
lola: 319334 markings, 436602 edges, 1662 markings/sec, 215 secs
lola: 327719 markings, 447774 edges, 1677 markings/sec, 220 secs
lola: 337254 markings, 462085 edges, 1907 markings/sec, 225 secs
lola: 348104 markings, 475329 edges, 2170 markings/sec, 230 secs
lola: 358992 markings, 488561 edges, 2178 markings/sec, 235 secs
lola: 369733 markings, 501708 edges, 2148 markings/sec, 240 secs
lola: 380483 markings, 514920 edges, 2150 markings/sec, 245 secs
lola: 391162 markings, 528091 edges, 2136 markings/sec, 250 secs
lola: 402317 markings, 541900 edges, 2231 markings/sec, 255 secs
lola: 413510 markings, 555886 edges, 2239 markings/sec, 260 secs
lola: 424544 markings, 569759 edges, 2207 markings/sec, 265 secs
lola: 435616 markings, 583776 edges, 2214 markings/sec, 270 secs
lola: 446609 markings, 597911 edges, 2199 markings/sec, 275 secs
lola: 457419 markings, 612106 edges, 2162 markings/sec, 280 secs
lola: 468245 markings, 627018 edges, 2165 markings/sec, 285 secs
lola: 479124 markings, 644404 edges, 2176 markings/sec, 290 secs
lola: 491658 markings, 659101 edges, 2507 markings/sec, 295 secs
lola: 504308 markings, 673955 edges, 2530 markings/sec, 300 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 1 unknown unknown unknown 1 unknown 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 158428 KB
lola: time consumption: 1418 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 307 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(FetchJobE_1_27)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(FetchJobE_1_27)
lola: processed formula length: 19
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J60-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: 8290 markings, 9726 edges, 1658 markings/sec, 30 secs
lola: 16605 markings, 19211 edges, 1663 markings/sec, 35 secs
lola: 24828 markings, 28719 edges, 1645 markings/sec, 40 secs
lola: 33222 markings, 38606 edges, 1679 markings/sec, 45 secs
lola: 41583 markings, 48797 edges, 1672 markings/sec, 50 secs
lola: 49898 markings, 59597 edges, 1663 markings/sec, 55 secs
lola: 58731 markings, 73402 edges, 1767 markings/sec, 60 secs
lola: 69770 markings, 86890 edges, 2208 markings/sec, 65 secs
lola: 80688 markings, 100133 edges, 2184 markings/sec, 70 secs
lola: 91480 markings, 113331 edges, 2158 markings/sec, 75 secs
lola: 102431 markings, 126800 edges, 2190 markings/sec, 80 secs
lola: 113225 markings, 140073 edges, 2159 markings/sec, 85 secs
lola: 124198 markings, 153689 edges, 2195 markings/sec, 90 secs
lola: 135091 markings, 167208 edges, 2179 markings/sec, 95 secs
lola: 145895 markings, 180762 edges, 2161 markings/sec, 100 secs
lola: 156698 markings, 194431 edges, 2161 markings/sec, 105 secs
lola: 167283 markings, 207994 edges, 2117 markings/sec, 110 secs
lola: 178073 markings, 222074 edges, 2158 markings/sec, 115 secs
lola: 188906 markings, 236712 edges, 2167 markings/sec, 120 secs
lola: 199589 markings, 252938 edges, 2137 markings/sec, 125 secs
lola: 205905 markings, 264370 edges, 1263 markings/sec, 130 secs
lola: 211858 markings, 273820 edges, 1191 markings/sec, 135 secs
lola: 217709 markings, 283214 edges, 1170 markings/sec, 140 secs
lola: 223487 markings, 292568 edges, 1156 markings/sec, 145 secs
lola: 229410 markings, 302047 edges, 1185 markings/sec, 150 secs
lola: 235236 markings, 311582 edges, 1165 markings/sec, 155 secs
lola: 241033 markings, 321207 edges, 1159 markings/sec, 160 secs
lola: 246909 markings, 330936 edges, 1175 markings/sec, 165 secs
lola: 252669 markings, 340642 edges, 1152 markings/sec, 170 secs
lola: 258474 markings, 350587 edges, 1161 markings/sec, 175 secs
lola: 264241 markings, 360724 edges, 1153 markings/sec, 180 secs
lola: 270147 markings, 371622 edges, 1181 markings/sec, 185 secs
lola: 276054 markings, 384396 edges, 1181 markings/sec, 190 secs
lola: 284281 markings, 395764 edges, 1645 markings/sec, 195 secs
lola: 292688 markings, 405336 edges, 1681 markings/sec, 200 secs
lola: 301095 markings, 415043 edges, 1681 markings/sec, 205 secs
lola: 309453 markings, 424897 edges, 1672 markings/sec, 210 secs
lola: 317922 markings, 435230 edges, 1694 markings/sec, 215 secs
lola: 326392 markings, 446263 edges, 1694 markings/sec, 220 secs
lola: 335765 markings, 460668 edges, 1875 markings/sec, 225 secs
lola: 346618 markings, 473967 edges, 2171 markings/sec, 230 secs
lola: 357594 markings, 487322 edges, 2195 markings/sec, 235 secs
lola: 368564 markings, 500739 edges, 2194 markings/sec, 240 secs
lola: 379482 markings, 514127 edges, 2184 markings/sec, 245 secs
lola: 390666 markings, 527894 edges, 2237 markings/sec, 250 secs
lola: 401727 markings, 541589 edges, 2212 markings/sec, 255 secs
lola: 412679 markings, 555209 edges, 2190 markings/sec, 260 secs
lola: 423714 markings, 569046 edges, 2207 markings/sec, 265 secs
lola: 434712 markings, 583030 edges, 2200 markings/sec, 270 secs
lola: 445706 markings, 597119 edges, 2199 markings/sec, 275 secs
lola: 456585 markings, 611384 edges, 2176 markings/sec, 280 secs
lola: 467404 markings, 626146 edges, 2164 markings/sec, 285 secs
lola: 477727 markings, 643500 edges, 2065 markings/sec, 290 secs
lola: 483558 markings, 652876 edges, 1166 markings/sec, 295 secs
lola: 489485 markings, 662342 edges, 1185 markings/sec, 300 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 1 unknown unknown unknown 1 unknown 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 150860 KB
lola: time consumption: 1725 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 307 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Schedule_Task_E_1_PerformWork_42)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Schedule_Task_E_1_PerformWork_42)
lola: processed formula length: 37
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J60-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: 2496 markings, 3186 edges, 499 markings/sec, 0 secs
lola: 11159 markings, 13014 edges, 1733 markings/sec, 5 secs
lola: 19837 markings, 22962 edges, 1736 markings/sec, 10 secs
lola: 28602 markings, 33136 edges, 1753 markings/sec, 15 secs
lola: 37278 markings, 43501 edges, 1735 markings/sec, 20 secs
lola: 45924 markings, 54303 edges, 1729 markings/sec, 25 secs
lola: 54536 markings, 66705 edges, 1722 markings/sec, 30 secs
lola: 65452 markings, 81683 edges, 2183 markings/sec, 35 secs
lola: 76871 markings, 95576 edges, 2284 markings/sec, 40 secs
lola: 88186 markings, 109417 edges, 2263 markings/sec, 45 secs
lola: 99594 markings, 123289 edges, 2282 markings/sec, 50 secs
lola: 110911 markings, 137294 edges, 2263 markings/sec, 55 secs
lola: 122274 markings, 151315 edges, 2273 markings/sec, 60 secs
lola: 133771 markings, 165546 edges, 2299 markings/sec, 65 secs
lola: 145087 markings, 179741 edges, 2263 markings/sec, 70 secs
lola: 156172 markings, 193753 edges, 2217 markings/sec, 75 secs
lola: 167272 markings, 207983 edges, 2220 markings/sec, 80 secs
lola: 178423 markings, 222526 edges, 2230 markings/sec, 85 secs
lola: 189515 markings, 237561 edges, 2218 markings/sec, 90 secs
lola: 200467 markings, 254818 edges, 2190 markings/sec, 95 secs
lola: 206724 markings, 265531 edges, 1251 markings/sec, 100 secs
lola: 212687 markings, 275087 edges, 1193 markings/sec, 105 secs
lola: 218716 markings, 284764 edges, 1206 markings/sec, 110 secs
lola: 224563 markings, 294310 edges, 1169 markings/sec, 115 secs
lola: 230625 markings, 304140 edges, 1212 markings/sec, 120 secs
lola: 236598 markings, 313903 edges, 1195 markings/sec, 125 secs
lola: 242691 markings, 323901 edges, 1219 markings/sec, 130 secs
lola: 248615 markings, 333832 edges, 1185 markings/sec, 135 secs
lola: 254607 markings, 343943 edges, 1198 markings/sec, 140 secs
lola: 260619 markings, 354316 edges, 1202 markings/sec, 145 secs
lola: 266626 markings, 364985 edges, 1201 markings/sec, 150 secs
lola: 272511 markings, 376270 edges, 1177 markings/sec, 155 secs
lola: 279242 markings, 390055 edges, 1346 markings/sec, 160 secs
lola: 287729 markings, 399678 edges, 1697 markings/sec, 165 secs
lola: 296168 markings, 409376 edges, 1688 markings/sec, 170 secs
lola: 304680 markings, 419281 edges, 1702 markings/sec, 175 secs
lola: 313180 markings, 429439 edges, 1700 markings/sec, 180 secs
lola: 321716 markings, 440021 edges, 1707 markings/sec, 185 secs
lola: 330307 markings, 452109 edges, 1718 markings/sec, 190 secs
lola: 341182 markings, 467279 edges, 2175 markings/sec, 195 secs
lola: 352562 markings, 481113 edges, 2276 markings/sec, 200 secs
lola: 363936 markings, 495014 edges, 2275 markings/sec, 205 secs
lola: 375117 markings, 508823 edges, 2236 markings/sec, 210 secs
lola: 386672 markings, 522940 edges, 2311 markings/sec, 215 secs
lola: 398034 markings, 536992 edges, 2272 markings/sec, 220 secs
lola: 409297 markings, 551000 edges, 2253 markings/sec, 225 secs
lola: 420670 markings, 565217 edges, 2275 markings/sec, 230 secs
lola: 432024 markings, 579613 edges, 2271 markings/sec, 235 secs
lola: 443396 markings, 594137 edges, 2274 markings/sec, 240 secs
lola: 454679 markings, 608853 edges, 2257 markings/sec, 245 secs
lola: 465936 markings, 624101 edges, 2251 markings/sec, 250 secs
lola: 477066 markings, 642066 edges, 2226 markings/sec, 255 secs
lola: 483274 markings, 652320 edges, 1242 markings/sec, 260 secs
lola: 489320 markings, 661979 edges, 1209 markings/sec, 265 secs
lola: 495257 markings, 671615 edges, 1187 markings/sec, 270 secs
lola: 501260 markings, 681250 edges, 1201 markings/sec, 275 secs
lola: 507215 markings, 690963 edges, 1191 markings/sec, 280 secs
lola: 513278 markings, 700842 edges, 1213 markings/sec, 285 secs
lola: 519238 markings, 710716 edges, 1192 markings/sec, 290 secs
lola: 525265 markings, 720742 edges, 1205 markings/sec, 295 secs
lola: 531289 markings, 730907 edges, 1205 markings/sec, 300 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 1 unknown unknown unknown 1 unknown 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 156884 KB
lola: time consumption: 2032 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 307 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Schedule_Task_E_1_PerformWork_59)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Schedule_Task_E_1_PerformWork_59)
lola: processed formula length: 37
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J60-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: 1246 markings, 1819 edges, 249 markings/sec, 0 secs
lola: 9947 markings, 11589 edges, 1740 markings/sec, 5 secs
lola: 18402 markings, 21305 edges, 1691 markings/sec, 10 secs
lola: 26961 markings, 31228 edges, 1712 markings/sec, 15 secs
lola: 35560 markings, 41413 edges, 1720 markings/sec, 20 secs
lola: 44063 markings, 51908 edges, 1701 markings/sec, 25 secs
lola: 52548 markings, 63423 edges, 1697 markings/sec, 30 secs
lola: 62669 markings, 78260 edges, 2024 markings/sec, 35 secs
lola: 73935 markings, 91894 edges, 2253 markings/sec, 40 secs
lola: 85058 markings, 105473 edges, 2225 markings/sec, 45 secs
lola: 96227 markings, 119177 edges, 2234 markings/sec, 50 secs
lola: 107278 markings, 132762 edges, 2210 markings/sec, 55 secs
lola: 118449 markings, 146616 edges, 2234 markings/sec, 60 secs
lola: 129642 markings, 160412 edges, 2239 markings/sec, 65 secs
lola: 140815 markings, 174441 edges, 2235 markings/sec, 70 secs
lola: 152029 markings, 188492 edges, 2243 markings/sec, 75 secs
lola: 163219 markings, 202752 edges, 2238 markings/sec, 80 secs
lola: 174403 markings, 217230 edges, 2237 markings/sec, 85 secs
lola: 185702 markings, 232265 edges, 2260 markings/sec, 90 secs
lola: 196591 markings, 247866 edges, 2178 markings/sec, 95 secs
lola: 204475 markings, 262009 edges, 1577 markings/sec, 100 secs
lola: 210505 markings, 271558 edges, 1206 markings/sec, 105 secs
lola: 216417 markings, 281057 edges, 1182 markings/sec, 110 secs
lola: 222235 markings, 290546 edges, 1164 markings/sec, 115 secs
lola: 228300 markings, 300258 edges, 1213 markings/sec, 120 secs
lola: 234253 markings, 309975 edges, 1191 markings/sec, 125 secs
lola: 240150 markings, 319753 edges, 1179 markings/sec, 130 secs
lola: 246132 markings, 329666 edges, 1196 markings/sec, 135 secs
lola: 252154 markings, 339710 edges, 1204 markings/sec, 140 secs
lola: 257998 markings, 349776 edges, 1169 markings/sec, 145 secs
lola: 263949 markings, 360216 edges, 1190 markings/sec, 150 secs
lola: 269842 markings, 371000 edges, 1179 markings/sec, 155 secs
lola: 275700 markings, 383379 edges, 1172 markings/sec, 160 secs
lola: 283797 markings, 395217 edges, 1619 markings/sec, 165 secs
lola: 292241 markings, 404850 edges, 1689 markings/sec, 170 secs
lola: 300758 markings, 414687 edges, 1703 markings/sec, 175 secs
lola: 309270 markings, 424714 edges, 1702 markings/sec, 180 secs
lola: 317775 markings, 435045 edges, 1701 markings/sec, 185 secs
lola: 326300 markings, 446110 edges, 1705 markings/sec, 190 secs
lola: 335582 markings, 460447 edges, 1856 markings/sec, 195 secs
lola: 346618 markings, 473967 edges, 2207 markings/sec, 200 secs
lola: 357822 markings, 487645 edges, 2241 markings/sec, 205 secs
lola: 369101 markings, 501398 edges, 2256 markings/sec, 210 secs
lola: 380567 markings, 515402 edges, 2293 markings/sec, 215 secs
lola: 391692 markings, 529129 edges, 2225 markings/sec, 220 secs
lola: 402902 markings, 543011 edges, 2242 markings/sec, 225 secs
lola: 413967 markings, 556883 edges, 2213 markings/sec, 230 secs
lola: 425327 markings, 571084 edges, 2272 markings/sec, 235 secs
lola: 436657 markings, 585454 edges, 2266 markings/sec, 240 secs
lola: 447927 markings, 599999 edges, 2254 markings/sec, 245 secs
lola: 459134 markings, 614765 edges, 2241 markings/sec, 250 secs
lola: 470348 markings, 630387 edges, 2243 markings/sec, 255 secs
lola: 479577 markings, 646458 edges, 1846 markings/sec, 260 secs
lola: 485714 markings, 656206 edges, 1227 markings/sec, 265 secs
lola: 491737 markings, 665900 edges, 1205 markings/sec, 270 secs
lola: 497735 markings, 675595 edges, 1200 markings/sec, 275 secs
lola: 503907 markings, 685587 edges, 1234 markings/sec, 280 secs
lola: 509998 markings, 695532 edges, 1218 markings/sec, 285 secs
lola: 516194 markings, 705604 edges, 1239 markings/sec, 290 secs
lola: 522336 markings, 715766 edges, 1228 markings/sec, 295 secs
lola: 528371 markings, 725961 edges, 1207 markings/sec, 300 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 1 unknown unknown unknown 1 unknown 1 unknown unknown unknown unknown unknown unknown
lola: memory consumption: 156476 KB
lola: time consumption: 2339 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 307 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CreatedJobs_26_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_26_2)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J60-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: 46 markings, 45 edges
lola: ========================================

FORMULA PolyORBNT-PT-S10J60-UpperBounds-14 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 409 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(FetchJobE_1_44)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(FetchJobE_1_44)
lola: processed formula length: 19
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J60-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: 7244 markings, 8516 edges, 1449 markings/sec, 0 secs
lola: 15870 markings, 18381 edges, 1725 markings/sec, 5 secs
lola: 24624 markings, 28459 edges, 1751 markings/sec, 10 secs
lola: 33276 markings, 38681 edges, 1730 markings/sec, 15 secs
lola: 41900 markings, 49200 edges, 1725 markings/sec, 20 secs
lola: 50574 markings, 60541 edges, 1735 markings/sec, 25 secs
lola: 60299 markings, 75387 edges, 1945 markings/sec, 30 secs
lola: 71789 markings, 89288 edges, 2298 markings/sec, 35 secs
lola: 83147 markings, 103140 edges, 2272 markings/sec, 40 secs
lola: 94379 markings, 116963 edges, 2246 markings/sec, 45 secs
lola: 105767 markings, 130878 edges, 2278 markings/sec, 50 secs
lola: 117089 markings, 144852 edges, 2264 markings/sec, 55 secs
lola: 128584 markings, 159089 edges, 2299 markings/sec, 60 secs
lola: 139874 markings, 173193 edges, 2258 markings/sec, 65 secs
lola: 151225 markings, 187510 edges, 2270 markings/sec, 70 secs
lola: 162521 markings, 201832 edges, 2259 markings/sec, 75 secs
lola: 173828 markings, 216504 edges, 2261 markings/sec, 80 secs
lola: 185065 markings, 231438 edges, 2247 markings/sec, 85 secs
lola: 196274 markings, 247395 edges, 2242 markings/sec, 90 secs
lola: 204461 markings, 261981 edges, 1637 markings/sec, 95 secs
lola: 210590 markings, 271745 edges, 1226 markings/sec, 100 secs
lola: 216602 markings, 281464 edges, 1202 markings/sec, 105 secs
lola: 222690 markings, 291232 edges, 1218 markings/sec, 110 secs
lola: 228765 markings, 301122 edges, 1215 markings/sec, 115 secs
lola: 234869 markings, 311061 edges, 1221 markings/sec, 120 secs
lola: 241015 markings, 321171 edges, 1229 markings/sec, 125 secs
lola: 247086 markings, 331255 edges, 1214 markings/sec, 130 secs
lola: 253188 markings, 341529 edges, 1220 markings/sec, 135 secs
lola: 259262 markings, 351965 edges, 1215 markings/sec, 140 secs
lola: 265333 markings, 362692 edges, 1214 markings/sec, 145 secs
lola: 271401 markings, 374045 edges, 1214 markings/sec, 150 secs
lola: 277649 markings, 388316 edges, 1250 markings/sec, 155 secs
lola: 286387 markings, 398154 edges, 1748 markings/sec, 160 secs
lola: 295057 markings, 408054 edges, 1734 markings/sec, 165 secs
lola: 303695 markings, 418090 edges, 1728 markings/sec, 170 secs
lola: 312356 markings, 428382 edges, 1732 markings/sec, 175 secs
lola: 320936 markings, 439027 edges, 1716 markings/sec, 180 secs
lola: 329450 markings, 450719 edges, 1703 markings/sec, 185 secs
lola: 339609 markings, 465417 edges, 2032 markings/sec, 190 secs
lola: 350823 markings, 479069 edges, 2243 markings/sec, 195 secs
lola: 361947 markings, 492624 edges, 2225 markings/sec, 200 secs
lola: 372968 markings, 506170 edges, 2204 markings/sec, 205 secs
lola: 384204 markings, 519885 edges, 2247 markings/sec, 210 secs
lola: 395296 markings, 533591 edges, 2218 markings/sec, 215 secs
lola: 406546 markings, 547539 edges, 2250 markings/sec, 220 secs
lola: 417616 markings, 561389 edges, 2214 markings/sec, 225 secs
lola: 429015 markings, 575771 edges, 2280 markings/sec, 230 secs
lola: 440308 markings, 590145 edges, 2259 markings/sec, 235 secs
lola: 451599 markings, 604740 edges, 2258 markings/sec, 240 secs
lola: 462927 markings, 619937 edges, 2266 markings/sec, 245 secs
lola: 474111 markings, 636172 edges, 2237 markings/sec, 250 secs
lola: 481606 markings, 649667 edges, 1499 markings/sec, 255 secs
lola: 487567 markings, 659224 edges, 1192 markings/sec, 260 secs
lola: 493686 markings, 668993 edges, 1224 markings/sec, 265 secs
lola: 499674 markings, 678740 edges, 1198 markings/sec, 270 secs
lola: 505862 markings, 688702 edges, 1238 markings/sec, 275 secs
lola: 511896 markings, 698624 edges, 1207 markings/sec, 280 secs
lola: 518110 markings, 708755 edges, 1243 markings/sec, 285 secs
lola: 524108 markings, 718818 edges, 1200 markings/sec, 290 secs
lola: 530173 markings, 729069 edges, 1213 markings/sec, 295 secs
lola: 536234 markings, 739453 edges, 1212 markings/sec, 300 secs
lola: 542311 markings, 750287 edges, 1215 markings/sec, 305 secs
lola: 548310 markings, 761573 edges, 1200 markings/sec, 310 secs
lola: 554851 markings, 775708 edges, 1308 markings/sec, 315 secs
lola: 563577 markings, 785545 edges, 1745 markings/sec, 320 secs
lola: 572233 markings, 795441 edges, 1731 markings/sec, 325 secs
lola: 580867 markings, 805493 edges, 1727 markings/sec, 330 secs
lola: 589451 markings, 815746 edges, 1717 markings/sec, 335 secs
lola: 598072 markings, 826469 edges, 1724 markings/sec, 340 secs
lola: 606663 markings, 838557 edges, 1718 markings/sec, 345 secs
lola: 617485 markings, 853652 edges, 2164 markings/sec, 350 secs
lola: 628733 markings, 867338 edges, 2250 markings/sec, 355 secs
lola: 640007 markings, 881106 edges, 2255 markings/sec, 360 secs
lola: 651207 markings, 894893 edges, 2240 markings/sec, 365 secs
lola: 662578 markings, 908821 edges, 2274 markings/sec, 370 secs
lola: 673912 markings, 922829 edges, 2267 markings/sec, 375 secs
lola: 685201 markings, 936918 edges, 2258 markings/sec, 380 secs
lola: 696532 markings, 951086 edges, 2266 markings/sec, 385 secs
lola: 707922 markings, 965402 edges, 2278 markings/sec, 390 secs
lola: 719106 markings, 979737 edges, 2237 markings/sec, 395 secs
lola: 730308 markings, 994313 edges, 2240 markings/sec, 400 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 unknown unknown 1 unknown unknown unknown 1 unknown 1 unknown unknown unknown unknown 1 unknown
lola: memory consumption: 180920 KB
lola: time consumption: 2751 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 409 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(place_482_1_10 + place_482_1_1 + place_482_1_2 + place_482_1_3 + place_482_1_4 + place_482_1_5 + place_482_1_6 + place_482_1_7 + place_482_1_8 + place_482_1_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(place_482_1_10 + place_482_1_1 + place_482_1_2 + place_482_1_3 + place_482_1_4 + place_482_1_5 + place_482_1_6 + place_482_1_7 + place_482_1_8 + place_482_1_9)
lola: processed formula length: 163
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J60-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: 4
lola: SUBRESULT
lola: result: 4
lola: produced by: state space
lola: The maximum value of the given expression is 4
lola: 38 markings, 37 edges
lola: ========================================

FORMULA PolyORBNT-PT-S10J60-UpperBounds-6 4 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 807 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Schedule_Task_E_1_PerformWork_10 + Schedule_Task_E_1_PerformWork_11 + Schedule_Task_E_1_PerformWork_12 + Schedule_Task_E_1_PerformWork_13 + Schedule_Task_E_1_PerformWork_14 + Schedule_Task_E_1_PerformWork_15 + Schedule_Task_E_1_PerformWork_16 + Schedule_Task_E_1_PerformWork_17 + Schedule_Task_E_1_PerformWork_18 + Schedule_Task_E_1_PerformWork_19 + Schedule_Task_E_1_PerformWork_20 + Schedule_Ta... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Schedule_Task_E_1_PerformWork_10 + Schedule_Task_E_1_PerformWork_11 + Schedule_Task_E_1_PerformWork_12 + Schedule_Task_E_1_PerformWork_13 + Schedule_Task_E_1_PerformWork_14 + Schedule_Task_E_1_PerformWork_15 + Schedule_Task_E_1_PerformWork_16 + Schedule_Task_E_1_PerformWork_17 + Schedule_Task_E_1_PerformWork_18 + Schedule_Task_E_1_PerformWork_19 + Schedule_Task_E_1_PerformWork_20 + Schedule_Ta... (shortened)
lola: processed formula length: 2161
lola: 0 rewrites
lola: closed formula file PolyORBNT-PT-S10J60-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: 4 markings, 3 edges
lola: ========================================

FORMULA PolyORBNT-PT-S10J60-UpperBounds-1 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
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-S10J60-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: 10368 markings, 49253 edges, 2074 markings/sec, 30 secs
lola: 20348 markings, 102394 edges, 1996 markings/sec, 35 secs
lola: 30827 markings, 152080 edges, 2096 markings/sec, 40 secs
lola: 40942 markings, 202982 edges, 2023 markings/sec, 45 secs
lola: 51384 markings, 254281 edges, 2088 markings/sec, 50 secs
lola: 61726 markings, 304825 edges, 2068 markings/sec, 55 secs
lola: 71993 markings, 357374 edges, 2053 markings/sec, 60 secs
lola: 82322 markings, 406408 edges, 2066 markings/sec, 65 secs
lola: 92586 markings, 457988 edges, 2053 markings/sec, 70 secs
lola: 102791 markings, 507862 edges, 2041 markings/sec, 75 secs
lola: 113169 markings, 558701 edges, 2076 markings/sec, 80 secs
lola: 123509 markings, 611497 edges, 2068 markings/sec, 85 secs
lola: 133927 markings, 661204 edges, 2084 markings/sec, 90 secs
lola: 144189 markings, 712885 edges, 2052 markings/sec, 95 secs
lola: 154598 markings, 763952 edges, 2082 markings/sec, 100 secs
lola: 165028 markings, 814852 edges, 2086 markings/sec, 105 secs
lola: 175316 markings, 867538 edges, 2058 markings/sec, 110 secs
lola: 185828 markings, 917400 edges, 2102 markings/sec, 115 secs
lola: 196158 markings, 969134 edges, 2066 markings/sec, 120 secs
lola: 206628 markings, 1020895 edges, 2094 markings/sec, 125 secs
lola: 217027 markings, 1071470 edges, 2080 markings/sec, 130 secs
lola: 227528 markings, 1125343 edges, 2100 markings/sec, 135 secs
lola: 238061 markings, 1175445 edges, 2107 markings/sec, 140 secs
lola: 248461 markings, 1226925 edges, 2080 markings/sec, 145 secs
lola: 258836 markings, 1279277 edges, 2075 markings/sec, 150 secs
lola: 269185 markings, 1329352 edges, 2070 markings/sec, 155 secs
lola: 279337 markings, 1380894 edges, 2030 markings/sec, 160 secs
lola: 289829 markings, 1431156 edges, 2098 markings/sec, 165 secs
lola: 300280 markings, 1482642 edges, 2090 markings/sec, 170 secs
lola: 310608 markings, 1535038 edges, 2066 markings/sec, 175 secs
lola: 321101 markings, 1585395 edges, 2099 markings/sec, 180 secs
lola: 331429 markings, 1637365 edges, 2066 markings/sec, 185 secs
lola: 341836 markings, 1688386 edges, 2081 markings/sec, 190 secs
lola: 352231 markings, 1739115 edges, 2079 markings/sec, 195 secs
lola: 362527 markings, 1791797 edges, 2059 markings/sec, 200 secs
lola: 372973 markings, 1841437 edges, 2089 markings/sec, 205 secs
lola: 383287 markings, 1893215 edges, 2063 markings/sec, 210 secs
lola: 393791 markings, 1944000 edges, 2101 markings/sec, 215 secs
lola: 405585 markings, 1998334 edges, 2359 markings/sec, 220 secs
lola: 417626 markings, 2052389 edges, 2408 markings/sec, 225 secs
lola: 429796 markings, 2107308 edges, 2434 markings/sec, 230 secs
lola: 441887 markings, 2161753 edges, 2418 markings/sec, 235 secs
lola: 453946 markings, 2216245 edges, 2412 markings/sec, 240 secs
lola: 466007 markings, 2270709 edges, 2412 markings/sec, 245 secs
lola: 478103 markings, 2324367 edges, 2419 markings/sec, 250 secs
lola: 489454 markings, 2375841 edges, 2270 markings/sec, 255 secs
lola: 500773 markings, 2425974 edges, 2264 markings/sec, 260 secs
lola: 511800 markings, 2475095 edges, 2205 markings/sec, 265 secs
lola: 522839 markings, 2524723 edges, 2208 markings/sec, 270 secs
lola: 533774 markings, 2574963 edges, 2187 markings/sec, 275 secs
lola: 544796 markings, 2623425 edges, 2204 markings/sec, 280 secs
lola: 555811 markings, 2672639 edges, 2203 markings/sec, 285 secs
lola: 566406 markings, 2721122 edges, 2119 markings/sec, 290 secs
lola: 575924 markings, 2763244 edges, 1904 markings/sec, 295 secs
lola: 585465 markings, 2810986 edges, 1908 markings/sec, 300 secs
lola: 595321 markings, 2856368 edges, 1971 markings/sec, 305 secs
lola: 604970 markings, 2904847 edges, 1930 markings/sec, 310 secs
lola: 614844 markings, 2950210 edges, 1975 markings/sec, 315 secs
lola: 624488 markings, 2998856 edges, 1929 markings/sec, 320 secs
lola: 634421 markings, 3044128 edges, 1987 markings/sec, 325 secs
lola: 644251 markings, 3093579 edges, 1966 markings/sec, 330 secs
lola: 654675 markings, 3141271 edges, 2085 markings/sec, 335 secs
lola: 665198 markings, 3192129 edges, 2105 markings/sec, 340 secs
lola: 675792 markings, 3244388 edges, 2119 markings/sec, 345 secs
lola: 686585 markings, 3294329 edges, 2159 markings/sec, 350 secs
lola: 697317 markings, 3346621 edges, 2146 markings/sec, 355 secs
lola: 707919 markings, 3398368 edges, 2120 markings/sec, 360 secs
lola: 718730 markings, 3448584 edges, 2162 markings/sec, 365 secs
lola: 729373 markings, 3500452 edges, 2129 markings/sec, 370 secs
lola: 740019 markings, 3552219 edges, 2129 markings/sec, 375 secs
lola: 750800 markings, 3602559 edges, 2156 markings/sec, 380 secs
lola: 761430 markings, 3654416 edges, 2126 markings/sec, 385 secs
lola: 772101 markings, 3705880 edges, 2134 markings/sec, 390 secs
lola: 782959 markings, 3757027 edges, 2172 markings/sec, 395 secs
lola: 793744 markings, 3809499 edges, 2157 markings/sec, 400 secs
lola: 804366 markings, 3860722 edges, 2124 markings/sec, 405 secs
lola: 815034 markings, 3911103 edges, 2134 markings/sec, 410 secs
lola: 825882 markings, 3963883 edges, 2170 markings/sec, 415 secs
lola: 836778 markings, 4016468 edges, 2179 markings/sec, 420 secs
lola: 847569 markings, 4067099 edges, 2158 markings/sec, 425 secs
lola: 858275 markings, 4119276 edges, 2141 markings/sec, 430 secs
lola: 868835 markings, 4170097 edges, 2112 markings/sec, 435 secs
lola: 879581 markings, 4220882 edges, 2149 markings/sec, 440 secs
lola: 890324 markings, 4273272 edges, 2149 markings/sec, 445 secs
lola: 901036 markings, 4324553 edges, 2142 markings/sec, 450 secs
lola: 911911 markings, 4376048 edges, 2175 markings/sec, 455 secs
lola: 922287 markings, 4427266 edges, 2075 markings/sec, 460 secs
lola: 932885 markings, 4477178 edges, 2120 markings/sec, 465 secs
lola: 943605 markings, 4528007 edges, 2144 markings/sec, 470 secs
lola: 954095 markings, 4581941 edges, 2098 markings/sec, 475 secs
lola: 966391 markings, 4636388 edges, 2459 markings/sec, 480 secs
lola: 978642 markings, 4691088 edges, 2450 markings/sec, 485 secs
lola: 990930 markings, 4746312 edges, 2458 markings/sec, 490 secs
lola: 1003182 markings, 4801359 edges, 2450 markings/sec, 495 secs
lola: 1015388 markings, 4856499 edges, 2441 markings/sec, 500 secs
lola: 1027564 markings, 4911652 edges, 2435 markings/sec, 505 secs
lola: 1039682 markings, 4966061 edges, 2424 markings/sec, 510 secs
lola: 1051860 markings, 5020102 edges, 2436 markings/sec, 515 secs
lola: 1063990 markings, 5074273 edges, 2426 markings/sec, 520 secs
lola: 1076082 markings, 5128492 edges, 2418 markings/sec, 525 secs
lola: 1088159 markings, 5182785 edges, 2415 markings/sec, 530 secs
lola: 1100240 markings, 5236931 edges, 2416 markings/sec, 535 secs
lola: 1112345 markings, 5291386 edges, 2421 markings/sec, 540 secs
lola: 1124477 markings, 5346106 edges, 2426 markings/sec, 545 secs
lola: 1135959 markings, 5396502 edges, 2296 markings/sec, 550 secs
lola: 1148120 markings, 5451409 edges, 2432 markings/sec, 555 secs
lola: 1160276 markings, 5506390 edges, 2431 markings/sec, 560 secs
lola: 1172437 markings, 5561747 edges, 2432 markings/sec, 565 secs
lola: 1184639 markings, 5615859 edges, 2440 markings/sec, 570 secs
lola: 1196892 markings, 5670517 edges, 2451 markings/sec, 575 secs
lola: 1209096 markings, 5725359 edges, 2441 markings/sec, 580 secs
lola: 1221332 markings, 5780377 edges, 2447 markings/sec, 585 secs
lola: 1233595 markings, 5835857 edges, 2453 markings/sec, 590 secs
lola: 1245809 markings, 5891230 edges, 2443 markings/sec, 595 secs
lola: 1257989 markings, 5946091 edges, 2436 markings/sec, 600 secs
lola: 1270214 markings, 6000441 edges, 2445 markings/sec, 605 secs
lola: 1282390 markings, 6054889 edges, 2435 markings/sec, 610 secs
lola: 1294541 markings, 6109608 edges, 2430 markings/sec, 615 secs
lola: 1306726 markings, 6164270 edges, 2437 markings/sec, 620 secs
lola: 1318909 markings, 6219240 edges, 2437 markings/sec, 625 secs
lola: 1331233 markings, 6275054 edges, 2465 markings/sec, 630 secs
lola: 1343442 markings, 6329968 edges, 2442 markings/sec, 635 secs
lola: 1355722 markings, 6384408 edges, 2456 markings/sec, 640 secs
lola: 1367957 markings, 6439103 edges, 2447 markings/sec, 645 secs
lola: 1380145 markings, 6493938 edges, 2438 markings/sec, 650 secs
lola: 1392301 markings, 6548423 edges, 2431 markings/sec, 655 secs
lola: 1404442 markings, 6603151 edges, 2428 markings/sec, 660 secs
lola: 1416581 markings, 6657898 edges, 2428 markings/sec, 665 secs
lola: 1428698 markings, 6712767 edges, 2423 markings/sec, 670 secs
lola: 1440800 markings, 6766983 edges, 2420 markings/sec, 675 secs
lola: 1452975 markings, 6821040 edges, 2435 markings/sec, 680 secs
lola: 1465176 markings, 6875470 edges, 2440 markings/sec, 685 secs
lola: 1476569 markings, 6926583 edges, 2279 markings/sec, 690 secs
lola: 1488772 markings, 6980959 edges, 2441 markings/sec, 695 secs
lola: 1500904 markings, 7035289 edges, 2426 markings/sec, 700 secs
lola: 1513067 markings, 7090083 edges, 2433 markings/sec, 705 secs
lola: 1525251 markings, 7144819 edges, 2437 markings/sec, 710 secs
lola: 1537432 markings, 7199877 edges, 2436 markings/sec, 715 secs
lola: 1549615 markings, 7255081 edges, 2437 markings/sec, 720 secs
lola: 1561734 markings, 7309892 edges, 2424 markings/sec, 725 secs
lola: 1574103 markings, 7364669 edges, 2474 markings/sec, 730 secs
lola: 1586344 markings, 7419457 edges, 2448 markings/sec, 735 secs
lola: 1598550 markings, 7474363 edges, 2441 markings/sec, 740 secs
lola: 1610731 markings, 7529208 edges, 2436 markings/sec, 745 secs
lola: 1622861 markings, 7584045 edges, 2426 markings/sec, 750 secs
lola: 1634990 markings, 7639007 edges, 2426 markings/sec, 755 secs
lola: 1647131 markings, 7693730 edges, 2428 markings/sec, 760 secs
lola: 1659306 markings, 7747778 edges, 2435 markings/sec, 765 secs
lola: 1671656 markings, 7802774 edges, 2470 markings/sec, 770 secs
lola: 1683908 markings, 7857926 edges, 2450 markings/sec, 775 secs
lola: 1696146 markings, 7912786 edges, 2448 markings/sec, 780 secs
lola: 1708359 markings, 7967924 edges, 2443 markings/sec, 785 secs
lola: 1720517 markings, 8022922 edges, 2432 markings/sec, 790 secs
lola: 1732627 markings, 8077640 edges, 2422 markings/sec, 795 secs
lola: 1744780 markings, 8131495 edges, 2431 markings/sec, 800 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 1 unknown 1 unknown unknown 4 1 unknown 1 unknown unknown unknown unknown 1 unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: 1 1 unknown 1 unknown unknown 4 1 unknown 1 unknown unknown unknown unknown 1 unknown

preliminary result: 1 1 unknown 1 unknown unknown 4 1 unknown 1 unknown unknown unknown unknown 1 unknown
lola: memory consumption: 174484 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 1 unknown 1 unknown unknown 4 1 unknown 1 unknown unknown unknown unknown 1 unknown
lola: memory consumption: 174484 KB
lola: time consumption: 3570 seconds

BK_STOP 1554074170750

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

grep: GenericPropertiesVerdict.xml: No such file or directory

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBNT-PT-S10J60"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="win2018"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool win2018"
echo " Input is PolyORBNT-PT-S10J60, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r132-oct2-155403939200055"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBNT-PT-S10J60.tgz
mv PolyORBNT-PT-S10J60 execution
cd execution
if [ "UpperBounds" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;