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 24M
-rw-r--r-- 1 mcc users 9.8K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 32K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 239K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 732K 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 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 9.0K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 37K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.1K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 32K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 351 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 825K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.6M May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.7K 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 10 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 19M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is PolyORBLF-PT-S06J04T08, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r124-smll-152673527000233
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1527087596701

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBLF-PT-S06J04T08 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBLF-PT-S06J04T08 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ PolyORBLF-PT-S06J04T08 @ 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: 14824/65536 symbol table entries, 9110 collisions
lola: preprocessing...
lola: Size of bit vector: 25920
lola: finding significant places
lola: 810 places, 14014 transitions, 752 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3639 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-PT-S06J04T08-UpperBounds.task
lola: MAX(EnablePollingE_1 + EnablePollingE_2 + EnablePollingE_3 + EnablePollingE_4 + EnablePollingE_5 + EnablePollingE_6 + EnablePollingE_7 + EnablePollingE_8) : MAX(MarkerWrite) : MAX(Check_Sources_E_1 + Check_Sources_E_2 + Check_Sources_E_3 + Check_Sources_E_4 + Check_Sources_E_5 + Check_Sources_E_6 + Check_Sources_E_7 + Check_Sources_E_8) : MAX(NoSigAbort) : MAX(P_1099) : MAX(QueueJobE_1 + QueueJobE_2 + QueueJobE_3 + QueueJobE_4 + QueueJobE_5 + QueueJobE_6 + QueueJobE_7 + QueueJobE_8) : MAX(cIdleTasks) : MAX(P_1727) : MAX(QueueJobB_4_0) : MAX(FetchJobE_1_4) : MAX(Abort_Check_Sources_B_3) : MAX(P_2579_6_3) : MAX(NoSigAbort) : MAX(Insert_Source_B_3_2) : MAX(NotifyEventJobQueuedB_2_3) : MAX(EnablePollingE_2)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 212 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(MarkerWrite)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(MarkerWrite)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T08-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: 10957 markings, 12536 edges, 2191 markings/sec, 30 secs
lola: 21638 markings, 23880 edges, 2136 markings/sec, 35 secs
lola: 32787 markings, 35921 edges, 2230 markings/sec, 40 secs
lola: 44161 markings, 48468 edges, 2275 markings/sec, 45 secs
lola: 55287 markings, 60460 edges, 2225 markings/sec, 50 secs
lola: 66318 markings, 72325 edges, 2206 markings/sec, 55 secs
lola: 77346 markings, 84680 edges, 2206 markings/sec, 60 secs
lola: 88549 markings, 97081 edges, 2241 markings/sec, 65 secs
lola: 99857 markings, 109161 edges, 2262 markings/sec, 70 secs
lola: 111107 markings, 121251 edges, 2250 markings/sec, 75 secs
lola: 122258 markings, 133635 edges, 2230 markings/sec, 80 secs
lola: 133310 markings, 146047 edges, 2210 markings/sec, 85 secs
lola: 143576 markings, 156994 edges, 2053 markings/sec, 90 secs
lola: 153653 markings, 167789 edges, 2015 markings/sec, 95 secs
lola: 163371 markings, 178341 edges, 1944 markings/sec, 100 secs
lola: 174440 markings, 191132 edges, 2214 markings/sec, 105 secs
lola: 185657 markings, 203511 edges, 2243 markings/sec, 110 secs
lola: 196847 markings, 215958 edges, 2238 markings/sec, 115 secs
lola: 208119 markings, 228573 edges, 2254 markings/sec, 120 secs
lola: 218912 markings, 240204 edges, 2159 markings/sec, 125 secs
lola: 228642 markings, 250727 edges, 1946 markings/sec, 130 secs
lola: 239408 markings, 262323 edges, 2153 markings/sec, 135 secs
lola: 250451 markings, 274700 edges, 2209 markings/sec, 140 secs
lola: 261340 markings, 287022 edges, 2178 markings/sec, 145 secs
lola: 272083 markings, 298668 edges, 2149 markings/sec, 150 secs
lola: 282320 markings, 310193 edges, 2047 markings/sec, 155 secs
lola: 292669 markings, 321788 edges, 2070 markings/sec, 160 secs
lola: 304013 markings, 335196 edges, 2269 markings/sec, 165 secs
lola: 314429 markings, 346617 edges, 2083 markings/sec, 170 secs
lola: 325677 markings, 359738 edges, 2250 markings/sec, 175 secs
lola: 336211 markings, 371293 edges, 2107 markings/sec, 180 secs
lola: 347368 markings, 384251 edges, 2231 markings/sec, 185 secs
lola: 358527 markings, 397260 edges, 2232 markings/sec, 190 secs
lola: 370197 markings, 411561 edges, 2334 markings/sec, 195 secs
lola: 380973 markings, 424347 edges, 2155 markings/sec, 200 secs
lola: 391474 markings, 436082 edges, 2100 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: 115160 KB
lola: time consumption: 374 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NoSigAbort)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NoSigAbort)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T08-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: 3522 markings, 11935 edges, 704 markings/sec, 30 secs
lola: 6953 markings, 24192 edges, 686 markings/sec, 35 secs
lola: 10391 markings, 36534 edges, 688 markings/sec, 40 secs
lola: 13823 markings, 48796 edges, 686 markings/sec, 45 secs
lola: 17249 markings, 61053 edges, 685 markings/sec, 50 secs
lola: 20686 markings, 73410 edges, 687 markings/sec, 55 secs
lola: 24120 markings, 85767 edges, 687 markings/sec, 60 secs
lola: 27594 markings, 98400 edges, 695 markings/sec, 65 secs
lola: 31084 markings, 111093 edges, 698 markings/sec, 70 secs
lola: 34569 markings, 123805 edges, 697 markings/sec, 75 secs
lola: 38057 markings, 136420 edges, 698 markings/sec, 80 secs
lola: 41544 markings, 149181 edges, 697 markings/sec, 85 secs
lola: 45034 markings, 162048 edges, 698 markings/sec, 90 secs
lola: 48518 markings, 174627 edges, 697 markings/sec, 95 secs
lola: 52001 markings, 187088 edges, 697 markings/sec, 100 secs
lola: 55481 markings, 199546 edges, 696 markings/sec, 105 secs
lola: 58961 markings, 211980 edges, 696 markings/sec, 110 secs
lola: 62444 markings, 224474 edges, 697 markings/sec, 115 secs
lola: 65923 markings, 237010 edges, 696 markings/sec, 120 secs
lola: 69406 markings, 249570 edges, 697 markings/sec, 125 secs
lola: 72893 markings, 262272 edges, 697 markings/sec, 130 secs
lola: 76377 markings, 275007 edges, 697 markings/sec, 135 secs
lola: 79864 markings, 287617 edges, 697 markings/sec, 140 secs
lola: 83351 markings, 300264 edges, 697 markings/sec, 145 secs
lola: 86839 markings, 313100 edges, 698 markings/sec, 150 secs
lola: 90326 markings, 325924 edges, 697 markings/sec, 155 secs
lola: 93809 markings, 338345 edges, 697 markings/sec, 160 secs
lola: 97296 markings, 350874 edges, 697 markings/sec, 165 secs
lola: 100781 markings, 363313 edges, 697 markings/sec, 170 secs
lola: 104265 markings, 375781 edges, 697 markings/sec, 175 secs
lola: 107750 markings, 388313 edges, 697 markings/sec, 180 secs
lola: 111237 markings, 400848 edges, 697 markings/sec, 185 secs
lola: 114719 markings, 413499 edges, 696 markings/sec, 190 secs
lola: 118200 markings, 426138 edges, 696 markings/sec, 195 secs
lola: 121685 markings, 438865 edges, 697 markings/sec, 200 secs
lola: 124849 markings, 450299 edges, 633 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: 69224 KB
lola: time consumption: 587 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P_1099)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P_1099)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T08-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: 10054 markings, 11330 edges, 2011 markings/sec, 30 secs
lola: 20247 markings, 22082 edges, 2039 markings/sec, 35 secs
lola: 30380 markings, 32705 edges, 2027 markings/sec, 40 secs
lola: 40619 markings, 43523 edges, 2048 markings/sec, 45 secs
lola: 50799 markings, 54261 edges, 2036 markings/sec, 50 secs
lola: 60959 markings, 64937 edges, 2032 markings/sec, 55 secs
lola: 71093 markings, 75571 edges, 2027 markings/sec, 60 secs
lola: 81189 markings, 86227 edges, 2019 markings/sec, 65 secs
lola: 91201 markings, 96744 edges, 2002 markings/sec, 70 secs
lola: 101045 markings, 107241 edges, 1969 markings/sec, 75 secs
lola: 111106 markings, 118046 edges, 2012 markings/sec, 80 secs
lola: 121265 markings, 128822 edges, 2032 markings/sec, 85 secs
lola: 131043 markings, 139593 edges, 1956 markings/sec, 90 secs
lola: 141032 markings, 150605 edges, 1998 markings/sec, 95 secs
lola: 151196 markings, 161524 edges, 2033 markings/sec, 100 secs
lola: 161368 markings, 172851 edges, 2034 markings/sec, 105 secs
lola: 171509 markings, 183628 edges, 2028 markings/sec, 110 secs
lola: 181642 markings, 194361 edges, 2027 markings/sec, 115 secs
lola: 191715 markings, 204901 edges, 2015 markings/sec, 120 secs
lola: 201886 markings, 215613 edges, 2034 markings/sec, 125 secs
lola: 212184 markings, 226721 edges, 2060 markings/sec, 130 secs
lola: 222255 markings, 237228 edges, 2014 markings/sec, 135 secs
lola: 232400 markings, 247868 edges, 2029 markings/sec, 140 secs
lola: 242612 markings, 258747 edges, 2042 markings/sec, 145 secs
lola: 252782 markings, 269630 edges, 2034 markings/sec, 150 secs
lola: 262980 markings, 280517 edges, 2040 markings/sec, 155 secs
lola: 273121 markings, 291330 edges, 2028 markings/sec, 160 secs
lola: 283299 markings, 302321 edges, 2036 markings/sec, 165 secs
lola: 293549 markings, 313230 edges, 2050 markings/sec, 170 secs
lola: 303756 markings, 324073 edges, 2041 markings/sec, 175 secs
lola: 313944 markings, 334952 edges, 2038 markings/sec, 180 secs
lola: 323848 markings, 345536 edges, 1981 markings/sec, 185 secs
lola: 333622 markings, 355817 edges, 1955 markings/sec, 190 secs
lola: 343842 markings, 366568 edges, 2044 markings/sec, 195 secs
lola: 353938 markings, 377279 edges, 2019 markings/sec, 200 secs
lola: 364140 markings, 388200 edges, 2040 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: 113724 KB
lola: time consumption: 800 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(cIdleTasks)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(cIdleTasks)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T08-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: 3947 markings, 12047 edges, 789 markings/sec, 30 secs
lola: 8326 markings, 24336 edges, 876 markings/sec, 35 secs
lola: 11873 markings, 36972 edges, 709 markings/sec, 40 secs
lola: 15530 markings, 49602 edges, 731 markings/sec, 45 secs
lola: 19177 markings, 62571 edges, 729 markings/sec, 50 secs
lola: 22715 markings, 76976 edges, 708 markings/sec, 55 secs
lola: 26279 markings, 91477 edges, 713 markings/sec, 60 secs
lola: 29848 markings, 105946 edges, 714 markings/sec, 65 secs
lola: 33406 markings, 120526 edges, 712 markings/sec, 70 secs
lola: 36936 markings, 135007 edges, 706 markings/sec, 75 secs
lola: 40433 markings, 149222 edges, 699 markings/sec, 80 secs
lola: 43905 markings, 163334 edges, 694 markings/sec, 85 secs
lola: 47446 markings, 177740 edges, 708 markings/sec, 90 secs
lola: 50985 markings, 192186 edges, 708 markings/sec, 95 secs
lola: 54524 markings, 206671 edges, 708 markings/sec, 100 secs
lola: 58147 markings, 216341 edges, 725 markings/sec, 105 secs
lola: 61848 markings, 220813 edges, 740 markings/sec, 110 secs
lola: 65517 markings, 227574 edges, 734 markings/sec, 115 secs
lola: 68946 markings, 252213 edges, 686 markings/sec, 120 secs
lola: 72314 markings, 276396 edges, 674 markings/sec, 125 secs
lola: 75941 markings, 287430 edges, 725 markings/sec, 130 secs
lola: 79481 markings, 306303 edges, 708 markings/sec, 135 secs
lola: 83041 markings, 323071 edges, 712 markings/sec, 140 secs
lola: 86541 markings, 338083 edges, 700 markings/sec, 145 secs
lola: 90062 markings, 350648 edges, 704 markings/sec, 150 secs
lola: 93525 markings, 366811 edges, 693 markings/sec, 155 secs
lola: 96991 markings, 379151 edges, 693 markings/sec, 160 secs
lola: 100509 markings, 393719 edges, 704 markings/sec, 165 secs
lola: 104000 markings, 409319 edges, 698 markings/sec, 170 secs
lola: 107420 markings, 424622 edges, 684 markings/sec, 175 secs
lola: 110889 markings, 439035 edges, 694 markings/sec, 180 secs
lola: 114330 markings, 453573 edges, 688 markings/sec, 185 secs
lola: 117839 markings, 468134 edges, 702 markings/sec, 190 secs
lola: 121379 markings, 482815 edges, 708 markings/sec, 195 secs
lola: 124952 markings, 494656 edges, 715 markings/sec, 200 secs
lola: 128498 markings, 510988 edges, 709 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: 69664 KB
lola: time consumption: 1013 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P_1727)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P_1727)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T08-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: 10948 markings, 12527 edges, 2190 markings/sec, 30 secs
lola: 21628 markings, 23870 edges, 2136 markings/sec, 35 secs
lola: 32763 markings, 35885 edges, 2227 markings/sec, 40 secs
lola: 44158 markings, 48465 edges, 2279 markings/sec, 45 secs
lola: 55286 markings, 60459 edges, 2226 markings/sec, 50 secs
lola: 66349 markings, 72357 edges, 2213 markings/sec, 55 secs
lola: 77393 markings, 84728 edges, 2209 markings/sec, 60 secs
lola: 88621 markings, 97154 edges, 2246 markings/sec, 65 secs
lola: 99954 markings, 109258 edges, 2267 markings/sec, 70 secs
lola: 111213 markings, 121359 edges, 2252 markings/sec, 75 secs
lola: 122385 markings, 133798 edges, 2234 markings/sec, 80 secs
lola: 133450 markings, 146196 edges, 2213 markings/sec, 85 secs
lola: 143755 markings, 157192 edges, 2061 markings/sec, 90 secs
lola: 153898 markings, 168038 edges, 2029 markings/sec, 95 secs
lola: 164349 markings, 179679 edges, 2090 markings/sec, 100 secs
lola: 174781 markings, 191498 edges, 2086 markings/sec, 105 secs
lola: 185745 markings, 203601 edges, 2193 markings/sec, 110 secs
lola: 196837 markings, 215948 edges, 2218 markings/sec, 115 secs
lola: 208011 markings, 228463 edges, 2235 markings/sec, 120 secs
lola: 218700 markings, 239980 edges, 2138 markings/sec, 125 secs
lola: 228304 markings, 250336 edges, 1921 markings/sec, 130 secs
lola: 238954 markings, 261830 edges, 2130 markings/sec, 135 secs
lola: 249901 markings, 274065 edges, 2189 markings/sec, 140 secs
lola: 260776 markings, 286419 edges, 2175 markings/sec, 145 secs
lola: 271434 markings, 298007 edges, 2132 markings/sec, 150 secs
lola: 281992 markings, 309816 edges, 2112 markings/sec, 155 secs
lola: 292127 markings, 321186 edges, 2027 markings/sec, 160 secs
lola: 303382 markings, 334326 edges, 2251 markings/sec, 165 secs
lola: 314002 markings, 346164 edges, 2124 markings/sec, 170 secs
lola: 325351 markings, 359373 edges, 2270 markings/sec, 175 secs
lola: 336054 markings, 371121 edges, 2141 markings/sec, 180 secs
lola: 347355 markings, 384237 edges, 2260 markings/sec, 185 secs
lola: 358657 markings, 397407 edges, 2260 markings/sec, 190 secs
lola: 370490 markings, 411960 edges, 2367 markings/sec, 195 secs
lola: 381722 markings, 425144 edges, 2246 markings/sec, 200 secs
lola: 392741 markings, 437462 edges, 2204 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: 115808 KB
lola: time consumption: 1226 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(QueueJobB_4_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(QueueJobB_4_0)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T08-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: 3669 markings, 12241 edges, 734 markings/sec, 30 secs
lola: 7306 markings, 23768 edges, 727 markings/sec, 35 secs
lola: 10966 markings, 36265 edges, 732 markings/sec, 40 secs
lola: 14640 markings, 47899 edges, 735 markings/sec, 45 secs
lola: 18298 markings, 59870 edges, 732 markings/sec, 50 secs
lola: 21935 markings, 71655 edges, 727 markings/sec, 55 secs
lola: 25571 markings, 83508 edges, 727 markings/sec, 60 secs
lola: 29209 markings, 95268 edges, 728 markings/sec, 65 secs
lola: 32857 markings, 106995 edges, 730 markings/sec, 70 secs
lola: 36511 markings, 119194 edges, 731 markings/sec, 75 secs
lola: 40130 markings, 131073 edges, 724 markings/sec, 80 secs
lola: 43651 markings, 142595 edges, 704 markings/sec, 85 secs
lola: 47312 markings, 154533 edges, 732 markings/sec, 90 secs
lola: 50942 markings, 166416 edges, 726 markings/sec, 95 secs
lola: 54528 markings, 178125 edges, 717 markings/sec, 100 secs
lola: 58118 markings, 189636 edges, 718 markings/sec, 105 secs
lola: 61728 markings, 201718 edges, 722 markings/sec, 110 secs
lola: 65342 markings, 214098 edges, 723 markings/sec, 115 secs
lola: 68943 markings, 225489 edges, 720 markings/sec, 120 secs
lola: 72527 markings, 237144 edges, 717 markings/sec, 125 secs
lola: 76123 markings, 248995 edges, 719 markings/sec, 130 secs
lola: 79708 markings, 260613 edges, 717 markings/sec, 135 secs
lola: 83385 markings, 272618 edges, 735 markings/sec, 140 secs
lola: 87205 markings, 285410 edges, 764 markings/sec, 145 secs
lola: 90980 markings, 298555 edges, 755 markings/sec, 150 secs
lola: 94779 markings, 311261 edges, 760 markings/sec, 155 secs
lola: 98557 markings, 324146 edges, 756 markings/sec, 160 secs
lola: 102348 markings, 337039 edges, 758 markings/sec, 165 secs
lola: 106155 markings, 349819 edges, 761 markings/sec, 170 secs
lola: 109971 markings, 362717 edges, 763 markings/sec, 175 secs
lola: 113798 markings, 375674 edges, 765 markings/sec, 180 secs
lola: 117606 markings, 388801 edges, 762 markings/sec, 185 secs
lola: 121367 markings, 401663 edges, 752 markings/sec, 190 secs
lola: 125169 markings, 414619 edges, 760 markings/sec, 195 secs
lola: 128984 markings, 427612 edges, 763 markings/sec, 200 secs
lola: 132791 markings, 440533 edges, 761 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: 70628 KB
lola: time consumption: 1439 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(FetchJobE_1_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(FetchJobE_1_4)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T08-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: 3499 markings, 11938 edges, 700 markings/sec, 30 secs
lola: 6992 markings, 23842 edges, 699 markings/sec, 35 secs
lola: 10510 markings, 35728 edges, 704 markings/sec, 40 secs
lola: 14024 markings, 47999 edges, 703 markings/sec, 45 secs
lola: 17603 markings, 58127 edges, 716 markings/sec, 50 secs
lola: 21194 markings, 67605 edges, 718 markings/sec, 55 secs
lola: 24697 markings, 79342 edges, 701 markings/sec, 60 secs
lola: 28238 markings, 89794 edges, 708 markings/sec, 65 secs
lola: 31730 markings, 102024 edges, 698 markings/sec, 70 secs
lola: 35140 markings, 113272 edges, 682 markings/sec, 75 secs
lola: 38637 markings, 125749 edges, 699 markings/sec, 80 secs
lola: 42131 markings, 138302 edges, 699 markings/sec, 85 secs
lola: 45627 markings, 150785 edges, 699 markings/sec, 90 secs
lola: 49121 markings, 163286 edges, 699 markings/sec, 95 secs
lola: 52616 markings, 175855 edges, 699 markings/sec, 100 secs
lola: 56089 markings, 188352 edges, 695 markings/sec, 105 secs
lola: 59560 markings, 200968 edges, 694 markings/sec, 110 secs
lola: 63025 markings, 213562 edges, 693 markings/sec, 115 secs
lola: 66514 markings, 226296 edges, 698 markings/sec, 120 secs
lola: 69990 markings, 238856 edges, 695 markings/sec, 125 secs
lola: 73450 markings, 251525 edges, 692 markings/sec, 130 secs
lola: 76915 markings, 264305 edges, 693 markings/sec, 135 secs
lola: 80378 markings, 276832 edges, 693 markings/sec, 140 secs
lola: 83832 markings, 289179 edges, 691 markings/sec, 145 secs
lola: 87291 markings, 301569 edges, 692 markings/sec, 150 secs
lola: 90774 markings, 314008 edges, 697 markings/sec, 155 secs
lola: 94234 markings, 326416 edges, 692 markings/sec, 160 secs
lola: 97693 markings, 338888 edges, 692 markings/sec, 165 secs
lola: 101149 markings, 351338 edges, 691 markings/sec, 170 secs
lola: 104632 markings, 364018 edges, 697 markings/sec, 175 secs
lola: 108111 markings, 376752 edges, 696 markings/sec, 180 secs
lola: 111458 markings, 388852 edges, 669 markings/sec, 185 secs
lola: 114931 markings, 401439 edges, 695 markings/sec, 190 secs
lola: 118389 markings, 414162 edges, 692 markings/sec, 195 secs
lola: 121854 markings, 426909 edges, 693 markings/sec, 200 secs
lola: 125346 markings, 439443 edges, 698 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: 69660 KB
lola: time consumption: 1652 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Abort_Check_Sources_B_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Abort_Check_Sources_B_3)
lola: processed formula length: 28
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T08-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: 3553 markings, 12239 edges, 711 markings/sec, 30 secs
lola: 7016 markings, 24722 edges, 693 markings/sec, 35 secs
lola: 10478 markings, 37209 edges, 692 markings/sec, 40 secs
lola: 13949 markings, 49800 edges, 694 markings/sec, 45 secs
lola: 17440 markings, 62431 edges, 698 markings/sec, 50 secs
lola: 20921 markings, 74978 edges, 696 markings/sec, 55 secs
lola: 24238 markings, 86924 edges, 663 markings/sec, 60 secs
lola: 27785 markings, 99763 edges, 709 markings/sec, 65 secs
lola: 31325 markings, 112600 edges, 708 markings/sec, 70 secs
lola: 34853 markings, 125338 edges, 706 markings/sec, 75 secs
lola: 38383 markings, 138058 edges, 706 markings/sec, 80 secs
lola: 41907 markings, 150770 edges, 705 markings/sec, 85 secs
lola: 45178 markings, 162631 edges, 654 markings/sec, 90 secs
lola: 48660 markings, 175200 edges, 696 markings/sec, 95 secs
lola: 52136 markings, 187746 edges, 695 markings/sec, 100 secs
lola: 55681 markings, 200246 edges, 709 markings/sec, 105 secs
lola: 59143 markings, 212600 edges, 692 markings/sec, 110 secs
lola: 62607 markings, 225042 edges, 693 markings/sec, 115 secs
lola: 66068 markings, 237397 edges, 692 markings/sec, 120 secs
lola: 69536 markings, 249802 edges, 694 markings/sec, 125 secs
lola: 73007 markings, 262290 edges, 694 markings/sec, 130 secs
lola: 76469 markings, 274739 edges, 692 markings/sec, 135 secs
lola: 79914 markings, 287250 edges, 689 markings/sec, 140 secs
lola: 83390 markings, 299874 edges, 695 markings/sec, 145 secs
lola: 86866 markings, 312572 edges, 695 markings/sec, 150 secs
lola: 90333 markings, 325104 edges, 693 markings/sec, 155 secs
lola: 93805 markings, 337816 edges, 694 markings/sec, 160 secs
lola: 97274 markings, 350565 edges, 694 markings/sec, 165 secs
lola: 100598 markings, 362647 edges, 665 markings/sec, 170 secs
lola: 104110 markings, 375192 edges, 702 markings/sec, 175 secs
lola: 107621 markings, 387777 edges, 702 markings/sec, 180 secs
lola: 111134 markings, 400325 edges, 703 markings/sec, 185 secs
lola: 114655 markings, 412948 edges, 704 markings/sec, 190 secs
lola: 118174 markings, 425636 edges, 704 markings/sec, 195 secs
lola: 121697 markings, 438321 edges, 705 markings/sec, 200 secs
lola: 125211 markings, 451120 edges, 703 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: 69600 KB
lola: time consumption: 1865 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P_2579_6_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P_2579_6_3)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T08-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: 3653 markings, 10594 edges, 731 markings/sec, 30 secs
lola: 7169 markings, 21440 edges, 703 markings/sec, 35 secs
lola: 10676 markings, 32414 edges, 701 markings/sec, 40 secs
lola: 14470 markings, 43336 edges, 759 markings/sec, 45 secs
lola: 17753 markings, 53414 edges, 657 markings/sec, 50 secs
lola: 21219 markings, 64174 edges, 693 markings/sec, 55 secs
lola: 24692 markings, 75062 edges, 695 markings/sec, 60 secs
lola: 28641 markings, 85771 edges, 790 markings/sec, 65 secs
lola: 32144 markings, 96533 edges, 701 markings/sec, 70 secs
lola: 35637 markings, 107448 edges, 699 markings/sec, 75 secs
lola: 39121 markings, 118395 edges, 697 markings/sec, 80 secs
lola: 42947 markings, 129121 edges, 765 markings/sec, 85 secs
lola: 46458 markings, 139938 edges, 702 markings/sec, 90 secs
lola: 49971 markings, 150933 edges, 703 markings/sec, 95 secs
lola: 53797 markings, 161859 edges, 765 markings/sec, 100 secs
lola: 57214 markings, 172335 edges, 683 markings/sec, 105 secs
lola: 60619 markings, 182890 edges, 681 markings/sec, 110 secs
lola: 64020 markings, 193533 edges, 680 markings/sec, 115 secs
lola: 67531 markings, 205023 edges, 702 markings/sec, 120 secs
lola: 70989 markings, 217379 edges, 692 markings/sec, 125 secs
lola: 74454 markings, 229805 edges, 693 markings/sec, 130 secs
lola: 77908 markings, 242144 edges, 691 markings/sec, 135 secs
lola: 81377 markings, 254572 edges, 694 markings/sec, 140 secs
lola: 84848 markings, 267047 edges, 694 markings/sec, 145 secs
lola: 88313 markings, 279525 edges, 693 markings/sec, 150 secs
lola: 91779 markings, 292133 edges, 693 markings/sec, 155 secs
lola: 95220 markings, 304671 edges, 688 markings/sec, 160 secs
lola: 98662 markings, 317208 edges, 688 markings/sec, 165 secs
lola: 102105 markings, 329653 edges, 689 markings/sec, 170 secs
lola: 105548 markings, 342290 edges, 689 markings/sec, 175 secs
lola: 108992 markings, 354966 edges, 689 markings/sec, 180 secs
lola: 112428 markings, 367349 edges, 687 markings/sec, 185 secs
lola: 115860 markings, 379632 edges, 686 markings/sec, 190 secs
lola: 119294 markings, 391926 edges, 687 markings/sec, 195 secs
lola: 122728 markings, 404194 edges, 687 markings/sec, 200 secs
lola: 126165 markings, 416527 edges, 687 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: 68696 KB
lola: time consumption: 2078 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NoSigAbort)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NoSigAbort)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T08-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: 3608 markings, 12243 edges, 722 markings/sec, 30 secs
lola: 7154 markings, 24910 edges, 709 markings/sec, 35 secs
lola: 10702 markings, 37640 edges, 710 markings/sec, 40 secs
lola: 14251 markings, 50319 edges, 710 markings/sec, 45 secs
lola: 17793 markings, 63006 edges, 708 markings/sec, 50 secs
lola: 21339 markings, 75771 edges, 709 markings/sec, 55 secs
lola: 24888 markings, 88548 edges, 710 markings/sec, 60 secs
lola: 28429 markings, 101457 edges, 708 markings/sec, 65 secs
lola: 31975 markings, 114385 edges, 709 markings/sec, 70 secs
lola: 35527 markings, 127267 edges, 710 markings/sec, 75 secs
lola: 39067 markings, 140099 edges, 708 markings/sec, 80 secs
lola: 42614 markings, 153135 edges, 709 markings/sec, 85 secs
lola: 46158 markings, 166206 edges, 709 markings/sec, 90 secs
lola: 49701 markings, 178840 edges, 709 markings/sec, 95 secs
lola: 53242 markings, 191566 edges, 708 markings/sec, 100 secs
lola: 56780 markings, 204193 edges, 708 markings/sec, 105 secs
lola: 60320 markings, 216851 edges, 708 markings/sec, 110 secs
lola: 63863 markings, 229587 edges, 709 markings/sec, 115 secs
lola: 67407 markings, 242333 edges, 709 markings/sec, 120 secs
lola: 70952 markings, 255205 edges, 709 markings/sec, 125 secs
lola: 74495 markings, 268077 edges, 709 markings/sec, 130 secs
lola: 78037 markings, 281014 edges, 708 markings/sec, 135 secs
lola: 81580 markings, 293817 edges, 709 markings/sec, 140 secs
lola: 85120 markings, 306769 edges, 708 markings/sec, 145 secs
lola: 88662 markings, 319828 edges, 708 markings/sec, 150 secs
lola: 92200 markings, 332609 edges, 708 markings/sec, 155 secs
lola: 95741 markings, 345277 edges, 708 markings/sec, 160 secs
lola: 99234 markings, 357784 edges, 699 markings/sec, 165 secs
lola: 102706 markings, 370189 edges, 694 markings/sec, 170 secs
lola: 106179 markings, 382648 edges, 695 markings/sec, 175 secs
lola: 109651 markings, 395156 edges, 694 markings/sec, 180 secs
lola: 113127 markings, 407694 edges, 695 markings/sec, 185 secs
lola: 116598 markings, 420338 edges, 694 markings/sec, 190 secs
lola: 120074 markings, 433046 edges, 695 markings/sec, 195 secs
lola: 123555 markings, 445631 edges, 696 markings/sec, 200 secs
lola: 127026 markings, 458221 edges, 694 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: 69488 KB
lola: time consumption: 2291 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Insert_Source_B_3_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Insert_Source_B_3_2)
lola: processed formula length: 24
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T08-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: 3905 markings, 12196 edges, 781 markings/sec, 30 secs
lola: 7458 markings, 24922 edges, 711 markings/sec, 35 secs
lola: 11006 markings, 37622 edges, 710 markings/sec, 40 secs
lola: 14558 markings, 50308 edges, 710 markings/sec, 45 secs
lola: 18110 markings, 63075 edges, 710 markings/sec, 50 secs
lola: 21656 markings, 75832 edges, 709 markings/sec, 55 secs
lola: 25205 markings, 88683 edges, 710 markings/sec, 60 secs
lola: 28753 markings, 101572 edges, 710 markings/sec, 65 secs
lola: 32301 markings, 114537 edges, 710 markings/sec, 70 secs
lola: 35853 markings, 127383 edges, 710 markings/sec, 75 secs
lola: 39404 markings, 140354 edges, 710 markings/sec, 80 secs
lola: 42950 markings, 153371 edges, 709 markings/sec, 85 secs
lola: 46098 markings, 164831 edges, 630 markings/sec, 90 secs
lola: 49651 markings, 177532 edges, 711 markings/sec, 95 secs
lola: 53198 markings, 190248 edges, 709 markings/sec, 100 secs
lola: 56743 markings, 202909 edges, 709 markings/sec, 105 secs
lola: 60293 markings, 215629 edges, 710 markings/sec, 110 secs
lola: 63839 markings, 228392 edges, 709 markings/sec, 115 secs
lola: 67386 markings, 241177 edges, 709 markings/sec, 120 secs
lola: 70943 markings, 253935 edges, 711 markings/sec, 125 secs
lola: 74502 markings, 266654 edges, 712 markings/sec, 130 secs
lola: 78057 markings, 279400 edges, 711 markings/sec, 135 secs
lola: 81607 markings, 292082 edges, 710 markings/sec, 140 secs
lola: 85150 markings, 304776 edges, 709 markings/sec, 145 secs
lola: 88705 markings, 317440 edges, 711 markings/sec, 150 secs
lola: 92261 markings, 330139 edges, 711 markings/sec, 155 secs
lola: 95809 markings, 342806 edges, 710 markings/sec, 160 secs
lola: 99362 markings, 355425 edges, 711 markings/sec, 165 secs
lola: 102920 markings, 368095 edges, 712 markings/sec, 170 secs
lola: 106467 markings, 380741 edges, 709 markings/sec, 175 secs
lola: 110024 markings, 393303 edges, 711 markings/sec, 180 secs
lola: 113578 markings, 405952 edges, 711 markings/sec, 185 secs
lola: 117130 markings, 418449 edges, 710 markings/sec, 190 secs
lola: 120679 markings, 430919 edges, 710 markings/sec, 195 secs
lola: 124231 markings, 443393 edges, 710 markings/sec, 200 secs
lola: 127784 markings, 455824 edges, 711 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: 68868 KB
lola: time consumption: 2504 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NotifyEventJobQueuedB_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NotifyEventJobQueuedB_2_3)
lola: processed formula length: 30
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T08-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: 18303 markings, 36862 edges, 3661 markings/sec, 30 secs
lola: 36526 markings, 73005 edges, 3645 markings/sec, 35 secs
lola: 52837 markings, 106681 edges, 3262 markings/sec, 40 secs
lola: 72199 markings, 147255 edges, 3872 markings/sec, 45 secs
lola: 88831 markings, 182060 edges, 3326 markings/sec, 50 secs
lola: 106884 markings, 217577 edges, 3611 markings/sec, 55 secs
lola: 123740 markings, 253740 edges, 3371 markings/sec, 60 secs
lola: 142023 markings, 293584 edges, 3657 markings/sec, 65 secs
lola: 159147 markings, 326762 edges, 3425 markings/sec, 70 secs
lola: 176927 markings, 362275 edges, 3556 markings/sec, 75 secs
lola: 194232 markings, 400093 edges, 3461 markings/sec, 80 secs
lola: 199098 markings, 410272 edges, 973 markings/sec, 85 secs
lola: 202704 markings, 418841 edges, 721 markings/sec, 90 secs
lola: 206316 markings, 427497 edges, 722 markings/sec, 95 secs
lola: 209927 markings, 436101 edges, 722 markings/sec, 100 secs
lola: 213543 markings, 444720 edges, 723 markings/sec, 105 secs
lola: 217154 markings, 453323 edges, 722 markings/sec, 110 secs
lola: 220764 markings, 461961 edges, 722 markings/sec, 115 secs
lola: 224375 markings, 470625 edges, 722 markings/sec, 120 secs
lola: 227985 markings, 479288 edges, 722 markings/sec, 125 secs
lola: 231596 markings, 488000 edges, 722 markings/sec, 130 secs
lola: 235195 markings, 496752 edges, 720 markings/sec, 135 secs
lola: 238799 markings, 505463 edges, 721 markings/sec, 140 secs
lola: 242407 markings, 514293 edges, 722 markings/sec, 145 secs
lola: 246018 markings, 522999 edges, 722 markings/sec, 150 secs
lola: 249630 markings, 531702 edges, 722 markings/sec, 155 secs
lola: 253234 markings, 540471 edges, 721 markings/sec, 160 secs
lola: 256840 markings, 549342 edges, 721 markings/sec, 165 secs
lola: 260444 markings, 558188 edges, 721 markings/sec, 170 secs
lola: 264040 markings, 566829 edges, 719 markings/sec, 175 secs
lola: 267641 markings, 575395 edges, 720 markings/sec, 180 secs
lola: 271244 markings, 584008 edges, 721 markings/sec, 185 secs
lola: 274846 markings, 592616 edges, 720 markings/sec, 190 secs
lola: 278451 markings, 601206 edges, 721 markings/sec, 195 secs
lola: 282063 markings, 609811 edges, 722 markings/sec, 200 secs
lola: 285674 markings, 618443 edges, 722 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: 88068 KB
lola: time consumption: 2717 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(EnablePollingE_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(EnablePollingE_2)
lola: processed formula length: 21
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T08-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: 3524 markings, 11942 edges, 705 markings/sec, 30 secs
lola: 6974 markings, 24264 edges, 690 markings/sec, 35 secs
lola: 10423 markings, 36651 edges, 690 markings/sec, 40 secs
lola: 13883 markings, 49009 edges, 692 markings/sec, 45 secs
lola: 17326 markings, 61325 edges, 689 markings/sec, 50 secs
lola: 20778 markings, 73740 edges, 690 markings/sec, 55 secs
lola: 24228 markings, 86167 edges, 690 markings/sec, 60 secs
lola: 27671 markings, 98677 edges, 689 markings/sec, 65 secs
lola: 31108 markings, 111189 edges, 687 markings/sec, 70 secs
lola: 34549 markings, 123734 edges, 688 markings/sec, 75 secs
lola: 37996 markings, 136192 edges, 689 markings/sec, 80 secs
lola: 41443 markings, 148809 edges, 689 markings/sec, 85 secs
lola: 44891 markings, 161525 edges, 690 markings/sec, 90 secs
lola: 48336 markings, 173973 edges, 689 markings/sec, 95 secs
lola: 51779 markings, 186291 edges, 689 markings/sec, 100 secs
lola: 55220 markings, 198611 edges, 688 markings/sec, 105 secs
lola: 58658 markings, 210893 edges, 688 markings/sec, 110 secs
lola: 62094 markings, 223213 edges, 687 markings/sec, 115 secs
lola: 65537 markings, 235630 edges, 689 markings/sec, 120 secs
lola: 68981 markings, 248030 edges, 689 markings/sec, 125 secs
lola: 72326 markings, 260216 edges, 669 markings/sec, 130 secs
lola: 75615 markings, 272199 edges, 658 markings/sec, 135 secs
lola: 78899 markings, 284140 edges, 657 markings/sec, 140 secs
lola: 82185 markings, 296021 edges, 657 markings/sec, 145 secs
lola: 85466 markings, 308063 edges, 656 markings/sec, 150 secs
lola: 88743 markings, 320137 edges, 655 markings/sec, 155 secs
lola: 92021 markings, 331970 edges, 656 markings/sec, 160 secs
lola: 95296 markings, 343677 edges, 655 markings/sec, 165 secs
lola: 98576 markings, 355433 edges, 656 markings/sec, 170 secs
lola: 101853 markings, 367140 edges, 655 markings/sec, 175 secs
lola: 105131 markings, 378884 edges, 656 markings/sec, 180 secs
lola: 108413 markings, 390683 edges, 656 markings/sec, 185 secs
lola: 111687 markings, 402475 edges, 655 markings/sec, 190 secs
lola: 114962 markings, 414382 edges, 655 markings/sec, 195 secs
lola: 118237 markings, 426273 edges, 655 markings/sec, 200 secs
lola: 121509 markings, 438225 edges, 654 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: 68880 KB
lola: time consumption: 2930 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(Check_Sources_E_1 + Check_Sources_E_2 + Check_Sources_E_3 + Check_Sources_E_4 + Check_Sources_E_5 + Check_Sources_E_6 + Check_Sources_E_7 + Check_Sources_E_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Check_Sources_E_1 + Check_Sources_E_2 + Check_Sources_E_3 + Check_Sources_E_4 + Check_Sources_E_5 + Check_Sources_E_6 + Check_Sources_E_7 + Check_Sources_E_8)
lola: processed formula length: 162
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T08-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: 17613 markings, 17887 edges, 3523 markings/sec, 30 secs
lola: 34833 markings, 35553 edges, 3444 markings/sec, 35 secs
lola: 53135 markings, 54158 edges, 3660 markings/sec, 40 secs
lola: 70888 markings, 72338 edges, 3551 markings/sec, 45 secs
lola: 88522 markings, 90305 edges, 3527 markings/sec, 50 secs
lola: 106618 markings, 108753 edges, 3619 markings/sec, 55 secs
lola: 124873 markings, 127343 edges, 3651 markings/sec, 60 secs
lola: 142895 markings, 145599 edges, 3604 markings/sec, 65 secs
lola: 160584 markings, 163709 edges, 3538 markings/sec, 70 secs
lola: 176700 markings, 180210 edges, 3223 markings/sec, 75 secs
lola: 192563 markings, 196620 edges, 3173 markings/sec, 80 secs
lola: 208265 markings, 212829 edges, 3140 markings/sec, 85 secs
lola: 223626 markings, 228900 edges, 3072 markings/sec, 90 secs
lola: 238983 markings, 245050 edges, 3071 markings/sec, 95 secs
lola: 254512 markings, 261442 edges, 3106 markings/sec, 100 secs
lola: 269490 markings, 277116 edges, 2996 markings/sec, 105 secs
lola: 285979 markings, 294201 edges, 3298 markings/sec, 110 secs
lola: 304208 markings, 312878 edges, 3646 markings/sec, 115 secs
lola: 322508 markings, 331644 edges, 3660 markings/sec, 120 secs
lola: 341060 markings, 350630 edges, 3710 markings/sec, 125 secs
lola: 359011 markings, 369176 edges, 3590 markings/sec, 130 secs
lola: 376910 markings, 387462 edges, 3580 markings/sec, 135 secs
lola: 394616 markings, 405502 edges, 3541 markings/sec, 140 secs
lola: 412713 markings, 424143 edges, 3619 markings/sec, 145 secs
lola: 429917 markings, 441696 edges, 3441 markings/sec, 150 secs
lola: 447419 markings, 459701 edges, 3500 markings/sec, 155 secs
lola: 464817 markings, 477645 edges, 3480 markings/sec, 160 secs
lola: 482966 markings, 496267 edges, 3630 markings/sec, 165 secs
lola: 500451 markings, 514419 edges, 3497 markings/sec, 170 secs
lola: 518336 markings, 533405 edges, 3577 markings/sec, 175 secs
lola: 535801 markings, 551308 edges, 3493 markings/sec, 180 secs
lola: 553266 markings, 569455 edges, 3493 markings/sec, 185 secs
lola: 570862 markings, 587834 edges, 3519 markings/sec, 190 secs
lola: 588997 markings, 606494 edges, 3627 markings/sec, 195 secs
lola: 607048 markings, 625251 edges, 3610 markings/sec, 200 secs
lola: 624893 markings, 643692 edges, 3569 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: 163052 KB
lola: time consumption: 3143 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(QueueJobE_1 + QueueJobE_2 + QueueJobE_3 + QueueJobE_4 + QueueJobE_5 + QueueJobE_6 + QueueJobE_7 + QueueJobE_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(QueueJobE_1 + QueueJobE_2 + QueueJobE_3 + QueueJobE_4 + QueueJobE_5 + QueueJobE_6 + QueueJobE_7 + QueueJobE_8)
lola: processed formula length: 114
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T08-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: 10958 markings, 12537 edges, 2192 markings/sec, 30 secs
lola: 21652 markings, 23894 edges, 2139 markings/sec, 35 secs
lola: 32896 markings, 36090 edges, 2249 markings/sec, 40 secs
lola: 44245 markings, 48568 edges, 2270 markings/sec, 45 secs
lola: 55380 markings, 60555 edges, 2227 markings/sec, 50 secs
lola: 66454 markings, 72464 edges, 2215 markings/sec, 55 secs
lola: 77515 markings, 84865 edges, 2212 markings/sec, 60 secs
lola: 88773 markings, 97309 edges, 2252 markings/sec, 65 secs
lola: 100129 markings, 109437 edges, 2271 markings/sec, 70 secs
lola: 111452 markings, 121631 edges, 2265 markings/sec, 75 secs
lola: 122821 markings, 134270 edges, 2274 markings/sec, 80 secs
lola: 133969 markings, 146725 edges, 2230 markings/sec, 85 secs
lola: 144427 markings, 157922 edges, 2092 markings/sec, 90 secs
lola: 155045 markings, 169254 edges, 2124 markings/sec, 95 secs
lola: 166188 markings, 181698 edges, 2229 markings/sec, 100 secs
lola: 177600 markings, 194898 edges, 2282 markings/sec, 105 secs
lola: 188809 markings, 206883 edges, 2242 markings/sec, 110 secs
lola: 200401 markings, 220283 edges, 2318 markings/sec, 115 secs
lola: 211578 markings, 232249 edges, 2235 markings/sec, 120 secs
lola: 222240 markings, 243764 edges, 2132 markings/sec, 125 secs
lola: 232730 markings, 255048 edges, 2098 markings/sec, 130 secs
lola: 243556 markings, 266769 edges, 2165 markings/sec, 135 secs
lola: 254652 markings, 279313 edges, 2219 markings/sec, 140 secs
lola: 265830 markings, 291836 edges, 2236 markings/sec, 145 secs
lola: 276665 markings, 303583 edges, 2167 markings/sec, 150 secs
lola: 287827 markings, 316605 edges, 2232 markings/sec, 155 secs
lola: 298336 markings, 328350 edges, 2102 markings/sec, 160 secs
lola: 309672 markings, 341468 edges, 2267 markings/sec, 165 secs
lola: 321068 markings, 354799 edges, 2279 markings/sec, 170 secs
lola: 331952 markings, 366608 edges, 2177 markings/sec, 175 secs
lola: 343561 markings, 380092 edges, 2322 markings/sec, 180 secs
lola: 354634 markings, 392625 edges, 2215 markings/sec, 185 secs
lola: 366392 markings, 406722 edges, 2352 markings/sec, 190 secs
lola: 378044 markings, 420706 edges, 2330 markings/sec, 195 secs
lola: 389039 markings, 433486 edges, 2199 markings/sec, 200 secs
lola: 400504 markings, 446375 edges, 2293 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: 117000 KB
lola: time consumption: 3356 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(EnablePollingE_1 + EnablePollingE_2 + EnablePollingE_3 + EnablePollingE_4 + EnablePollingE_5 + EnablePollingE_6 + EnablePollingE_7 + EnablePollingE_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(EnablePollingE_1 + EnablePollingE_2 + EnablePollingE_3 + EnablePollingE_4 + EnablePollingE_5 + EnablePollingE_6 + EnablePollingE_7 + EnablePollingE_8)
lola: processed formula length: 154
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S06J04T08-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: 3479 markings, 11786 edges, 696 markings/sec, 30 secs
lola: 6888 markings, 23958 edges, 682 markings/sec, 35 secs
lola: 10296 markings, 36193 edges, 682 markings/sec, 40 secs
lola: 13705 markings, 48370 edges, 682 markings/sec, 45 secs
lola: 17109 markings, 60550 edges, 681 markings/sec, 50 secs
lola: 20514 markings, 72794 edges, 681 markings/sec, 55 secs
lola: 23923 markings, 85062 edges, 682 markings/sec, 60 secs
lola: 27333 markings, 97459 edges, 682 markings/sec, 65 secs
lola: 30745 markings, 109846 edges, 682 markings/sec, 70 secs
lola: 34152 markings, 122285 edges, 681 markings/sec, 75 secs
lola: 37556 markings, 134588 edges, 681 markings/sec, 80 secs
lola: 40959 markings, 147044 edges, 681 markings/sec, 85 secs
lola: 44368 markings, 159558 edges, 682 markings/sec, 90 secs
lola: 47773 markings, 171963 edges, 681 markings/sec, 95 secs
lola: 51171 markings, 184107 edges, 680 markings/sec, 100 secs
lola: 54566 markings, 196276 edges, 679 markings/sec, 105 secs
lola: 57963 markings, 208415 edges, 679 markings/sec, 110 secs
lola: 61358 markings, 220574 edges, 679 markings/sec, 115 secs
lola: 64758 markings, 232801 edges, 680 markings/sec, 120 secs
lola: 68157 markings, 245040 edges, 680 markings/sec, 125 secs
lola: 71559 markings, 257406 edges, 680 markings/sec, 130 secs
lola: 74960 markings, 269800 edges, 680 markings/sec, 135 secs
lola: 78359 markings, 282188 edges, 680 markings/sec, 140 secs
lola: 81760 markings, 294474 edges, 680 markings/sec, 145 secs
lola: 85155 markings, 306902 edges, 679 markings/sec, 150 secs
lola: 88555 markings, 319439 edges, 680 markings/sec, 155 secs
lola: 91956 markings, 331742 edges, 680 markings/sec, 160 secs
lola: 95218 markings, 343397 edges, 652 markings/sec, 165 secs
lola: 98615 markings, 355569 edges, 679 markings/sec, 170 secs
lola: 102012 markings, 367710 edges, 679 markings/sec, 175 secs
lola: 105408 markings, 379881 edges, 679 markings/sec, 180 secs
lola: 108808 markings, 392119 edges, 680 markings/sec, 185 secs
lola: 112210 markings, 404369 edges, 680 markings/sec, 190 secs
lola: 115610 markings, 416741 edges, 680 markings/sec, 195 secs
lola: 119012 markings, 429132 edges, 680 markings/sec, 200 secs
lola: 122412 markings, 441512 edges, 680 markings/sec, 205 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 69052 KB
lola: time consumption: 3569 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 69052 KB
lola: time consumption: 3569 seconds

BK_STOP 1527091167080

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-PT-S06J04T08"
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/PolyORBLF-PT-S06J04T08.tgz
mv PolyORBLF-PT-S06J04T08 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 PolyORBLF-PT-S06J04T08, 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-152673527000233"
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 ;