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 6.4M
-rw-r--r-- 1 mcc users 8.8K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 30K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.9K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K 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 5.9K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.3K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.3K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 27K 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 29K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 102K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.4K 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 6.0M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is PolyORBLF-PT-S04J04T10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r124-smll-152673527000191
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1527032972410

info: Time: 3600 - MCC
===========================================================================================
prep: translating PolyORBLF-PT-S04J04T10 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating PolyORBLF-PT-S04J04T10 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ PolyORBLF-PT-S04J04T10 @ 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: 5904/65536 symbol table entries, 1496 collisions
lola: preprocessing...
lola: Size of bit vector: 27840
lola: finding significant places
lola: 870 places, 5034 transitions, 812 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3097 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-PT-S04J04T10-UpperBounds.task
lola: MAX(Abort_Check_Sources_E_10 + Abort_Check_Sources_E_1 + Abort_Check_Sources_E_2 + Abort_Check_Sources_E_3 + Abort_Check_Sources_E_4 + Abort_Check_Sources_E_5 + Abort_Check_Sources_E_6 + Abort_Check_Sources_E_7 + Abort_Check_Sources_E_8 + Abort_Check_Sources_E_9) : MAX(P_1716) : MAX(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_2_0 + FetchJobE_2_1 + FetchJobE_2_2 + FetchJobE_2_3 + FetchJobE_2_4 + FetchJobE_3_0 + FetchJobE_3_1 + FetchJobE_3_2 + FetchJobE_3_3 + FetchJobE_3_4 + FetchJobE_4_0 + FetchJobE_4_1 + FetchJobE_4_2 + FetchJobE_4_3 + FetchJobE_4_4 + FetchJobE_5_0 + FetchJobE_5_1 + FetchJobE_5_2 + FetchJobE_5_3 + FetchJobE_5_4 + FetchJobE_10_0 + FetchJobE_10_1 + FetchJobE_10_2 + FetchJobE_10_3 + FetchJobE_10_4 + FetchJobE_6_0 + FetchJobE_6_1 + FetchJobE_6_2 + FetchJobE_6_3 + FetchJobE_6_4 + FetchJobE_7_0 + FetchJobE_7_1 + FetchJobE_7_2 + FetchJobE_7_3 + FetchJobE_7_4 + FetchJobE_8_0 + FetchJobE_8_1 + FetchJobE_8_2 + FetchJobE_8_3 + FetchJobE_8_4 + FetchJobE_9_0 + FetchJobE_9_1 + FetchJobE_9_2 + FetchJobE_9_3 + FetchJobE_9_4) : MAX(PollingAbort) : MAX(Abort_Check_Sources_E_10 + Abort_Check_Sources_E_1 + Abort_Check_Sources_E_2 + Abort_Check_Sources_E_3 + Abort_Check_Sources_E_4 + Abort_Check_Sources_E_5 + Abort_Check_Sources_E_6 + Abort_Check_Sources_E_7 + Abort_Check_Sources_E_8 + Abort_Check_Sources_E_9) : MAX(NotifyEventJobCompletedE_10 + NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4 + NotifyEventJobCompletedE_5 + NotifyEventJobCompletedE_6 + NotifyEventJobCompletedE_7 + NotifyEventJobCompletedE_8 + NotifyEventJobCompletedE_9) : MAX(MarkerWrite) : MAX(Abort_Check_Sources_B_1 + Abort_Check_Sources_B_2 + Abort_Check_Sources_B_3 + Abort_Check_Sources_B_4 + Abort_Check_Sources_B_5 + Abort_Check_Sources_B_6 + Abort_Check_Sources_B_7 + Abort_Check_Sources_B_8 + Abort_Check_Sources_B_9 + Abort_Check_Sources_B_10) : MAX(FetchJobE_1_2) : MAX(P_1113_10) : MAX(DisablePollingB_4_2) : MAX(NotifyEventJobCompletedE_9) : MAX(CreatedJobs_2_3) : MAX(P_1113_10) : MAX(DisablePollingB_8_2) : MAX(NotifyEventEndOfCheckSourcesB_5)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 213 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(P_1716)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P_1716)
lola: processed formula length: 11
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J04T10-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: 16134 markings, 18771 edges, 3227 markings/sec, 30 secs
lola: 32356 markings, 38271 edges, 3244 markings/sec, 35 secs
lola: 48742 markings, 58055 edges, 3277 markings/sec, 40 secs
lola: 65192 markings, 78367 edges, 3290 markings/sec, 45 secs
lola: 81590 markings, 98740 edges, 3280 markings/sec, 50 secs
lola: 97924 markings, 119212 edges, 3267 markings/sec, 55 secs
lola: 114277 markings, 139616 edges, 3271 markings/sec, 60 secs
lola: 130653 markings, 160157 edges, 3275 markings/sec, 65 secs
lola: 147017 markings, 181038 edges, 3273 markings/sec, 70 secs
lola: 163378 markings, 201779 edges, 3272 markings/sec, 75 secs
lola: 179704 markings, 222564 edges, 3265 markings/sec, 80 secs
lola: 196043 markings, 243310 edges, 3268 markings/sec, 85 secs
lola: 212468 markings, 264863 edges, 3285 markings/sec, 90 secs
lola: 228778 markings, 285436 edges, 3262 markings/sec, 95 secs
lola: 245132 markings, 306156 edges, 3271 markings/sec, 100 secs
lola: 261433 markings, 326635 edges, 3260 markings/sec, 105 secs
lola: 277816 markings, 347221 edges, 3277 markings/sec, 110 secs
lola: 294176 markings, 368204 edges, 3272 markings/sec, 115 secs
lola: 310599 markings, 389008 edges, 3285 markings/sec, 120 secs
lola: 326959 markings, 411535 edges, 3272 markings/sec, 125 secs
lola: 343398 markings, 431990 edges, 3288 markings/sec, 130 secs
lola: 359650 markings, 453212 edges, 3250 markings/sec, 135 secs
lola: 375994 markings, 474124 edges, 3269 markings/sec, 140 secs
lola: 392142 markings, 495861 edges, 3230 markings/sec, 145 secs
lola: 408566 markings, 516974 edges, 3285 markings/sec, 150 secs
lola: 424839 markings, 538060 edges, 3255 markings/sec, 155 secs
lola: 441086 markings, 559446 edges, 3249 markings/sec, 160 secs
lola: 457396 markings, 580563 edges, 3262 markings/sec, 165 secs
lola: 473615 markings, 601978 edges, 3244 markings/sec, 170 secs
lola: 489967 markings, 623403 edges, 3270 markings/sec, 175 secs
lola: 506163 markings, 645147 edges, 3239 markings/sec, 180 secs
lola: 522421 markings, 665965 edges, 3252 markings/sec, 185 secs
lola: 538674 markings, 687342 edges, 3251 markings/sec, 190 secs
lola: 554877 markings, 708340 edges, 3241 markings/sec, 195 secs
lola: 571087 markings, 729387 edges, 3242 markings/sec, 200 secs
lola: 587221 markings, 750798 edges, 3227 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: 125056 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(PollingAbort)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(PollingAbort)
lola: processed formula length: 17
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J04T10-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: 14931 markings, 16826 edges, 2986 markings/sec, 30 secs
lola: 29774 markings, 35158 edges, 2969 markings/sec, 35 secs
lola: 44644 markings, 53187 edges, 2974 markings/sec, 40 secs
lola: 59599 markings, 71459 edges, 2991 markings/sec, 45 secs
lola: 74460 markings, 89724 edges, 2972 markings/sec, 50 secs
lola: 89401 markings, 107967 edges, 2988 markings/sec, 55 secs
lola: 104328 markings, 126178 edges, 2985 markings/sec, 60 secs
lola: 119162 markings, 144078 edges, 2967 markings/sec, 65 secs
lola: 134036 markings, 169315 edges, 2975 markings/sec, 70 secs
lola: 148822 markings, 188537 edges, 2957 markings/sec, 75 secs
lola: 163656 markings, 207165 edges, 2967 markings/sec, 80 secs
lola: 178504 markings, 237070 edges, 2970 markings/sec, 85 secs
lola: 193286 markings, 261338 edges, 2956 markings/sec, 90 secs
lola: 208131 markings, 282871 edges, 2969 markings/sec, 95 secs
lola: 222998 markings, 302212 edges, 2973 markings/sec, 100 secs
lola: 238026 markings, 327325 edges, 3006 markings/sec, 105 secs
lola: 252831 markings, 348872 edges, 2961 markings/sec, 110 secs
lola: 267664 markings, 368149 edges, 2967 markings/sec, 115 secs
lola: 282486 markings, 386561 edges, 2964 markings/sec, 120 secs
lola: 297372 markings, 405027 edges, 2977 markings/sec, 125 secs
lola: 312102 markings, 425409 edges, 2946 markings/sec, 130 secs
lola: 326938 markings, 443825 edges, 2967 markings/sec, 135 secs
lola: 341903 markings, 462690 edges, 2993 markings/sec, 140 secs
lola: 356688 markings, 482121 edges, 2957 markings/sec, 145 secs
lola: 371523 markings, 501351 edges, 2967 markings/sec, 150 secs
lola: 386453 markings, 519746 edges, 2986 markings/sec, 155 secs
lola: 401291 markings, 538696 edges, 2968 markings/sec, 160 secs
lola: 416169 markings, 561607 edges, 2976 markings/sec, 165 secs
lola: 431020 markings, 582471 edges, 2970 markings/sec, 170 secs
lola: 445909 markings, 600321 edges, 2978 markings/sec, 175 secs
lola: 460625 markings, 620804 edges, 2943 markings/sec, 180 secs
lola: 475315 markings, 640325 edges, 2938 markings/sec, 185 secs
lola: 490141 markings, 660724 edges, 2965 markings/sec, 190 secs
lola: 504933 markings, 680716 edges, 2958 markings/sec, 195 secs
lola: 519777 markings, 699198 edges, 2969 markings/sec, 200 secs
lola: 534653 markings, 717421 edges, 2975 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: 113404 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(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-S04J04T10-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: 17296 markings, 18585 edges, 3459 markings/sec, 30 secs
lola: 34595 markings, 37697 edges, 3460 markings/sec, 35 secs
lola: 51916 markings, 57248 edges, 3464 markings/sec, 40 secs
lola: 69193 markings, 77015 edges, 3455 markings/sec, 45 secs
lola: 86497 markings, 97062 edges, 3461 markings/sec, 50 secs
lola: 103753 markings, 117023 edges, 3451 markings/sec, 55 secs
lola: 121043 markings, 137092 edges, 3458 markings/sec, 60 secs
lola: 138283 markings, 157722 edges, 3448 markings/sec, 65 secs
lola: 155537 markings, 178362 edges, 3451 markings/sec, 70 secs
lola: 172734 markings, 199164 edges, 3439 markings/sec, 75 secs
lola: 189937 markings, 219879 edges, 3441 markings/sec, 80 secs
lola: 207223 markings, 240646 edges, 3457 markings/sec, 85 secs
lola: 224414 markings, 261924 edges, 3438 markings/sec, 90 secs
lola: 241612 markings, 283156 edges, 3440 markings/sec, 95 secs
lola: 258791 markings, 304296 edges, 3436 markings/sec, 100 secs
lola: 275929 markings, 325531 edges, 3428 markings/sec, 105 secs
lola: 293066 markings, 346946 edges, 3427 markings/sec, 110 secs
lola: 310205 markings, 368441 edges, 3428 markings/sec, 115 secs
lola: 327389 markings, 389378 edges, 3437 markings/sec, 120 secs
lola: 344596 markings, 410852 edges, 3441 markings/sec, 125 secs
lola: 361720 markings, 432724 edges, 3425 markings/sec, 130 secs
lola: 378846 markings, 454481 edges, 3425 markings/sec, 135 secs
lola: 395927 markings, 476935 edges, 3416 markings/sec, 140 secs
lola: 413018 markings, 498647 edges, 3418 markings/sec, 145 secs
lola: 430074 markings, 521227 edges, 3411 markings/sec, 150 secs
lola: 447172 markings, 543168 edges, 3420 markings/sec, 155 secs
lola: 464236 markings, 565004 edges, 3413 markings/sec, 160 secs
lola: 481223 markings, 587444 edges, 3397 markings/sec, 165 secs
lola: 498291 markings, 609378 edges, 3414 markings/sec, 170 secs
lola: 515450 markings, 631044 edges, 3432 markings/sec, 175 secs
lola: 532512 markings, 653048 edges, 3412 markings/sec, 180 secs
lola: 549638 markings, 675022 edges, 3425 markings/sec, 185 secs
lola: 566766 markings, 697201 edges, 3426 markings/sec, 190 secs
lola: 583906 markings, 718947 edges, 3428 markings/sec, 195 secs
lola: 600910 markings, 742634 edges, 3401 markings/sec, 200 secs
lola: 617954 markings, 765300 edges, 3409 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: 133448 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(FetchJobE_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(FetchJobE_1_2)
lola: processed formula length: 18
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J04T10-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: 15938 markings, 17376 edges, 3188 markings/sec, 30 secs
lola: 31943 markings, 36540 edges, 3201 markings/sec, 35 secs
lola: 47838 markings, 55566 edges, 3179 markings/sec, 40 secs
lola: 63808 markings, 74932 edges, 3194 markings/sec, 45 secs
lola: 79849 markings, 94412 edges, 3208 markings/sec, 50 secs
lola: 95770 markings, 113940 edges, 3184 markings/sec, 55 secs
lola: 111997 markings, 133860 edges, 3245 markings/sec, 60 secs
lola: 128023 markings, 153631 edges, 3205 markings/sec, 65 secs
lola: 144011 markings, 173672 edges, 3198 markings/sec, 70 secs
lola: 160032 markings, 193134 edges, 3204 markings/sec, 75 secs
lola: 176171 markings, 213364 edges, 3228 markings/sec, 80 secs
lola: 192244 markings, 233254 edges, 3215 markings/sec, 85 secs
lola: 208452 markings, 252532 edges, 3242 markings/sec, 90 secs
lola: 224506 markings, 273353 edges, 3211 markings/sec, 95 secs
lola: 240601 markings, 292932 edges, 3219 markings/sec, 100 secs
lola: 256808 markings, 313039 edges, 3241 markings/sec, 105 secs
lola: 273039 markings, 334189 edges, 3246 markings/sec, 110 secs
lola: 289165 markings, 354996 edges, 3225 markings/sec, 115 secs
lola: 305445 markings, 375696 edges, 3256 markings/sec, 120 secs
lola: 321364 markings, 396535 edges, 3184 markings/sec, 125 secs
lola: 337552 markings, 417275 edges, 3238 markings/sec, 130 secs
lola: 353880 markings, 438276 edges, 3266 markings/sec, 135 secs
lola: 370106 markings, 459164 edges, 3245 markings/sec, 140 secs
lola: 386318 markings, 479119 edges, 3242 markings/sec, 145 secs
lola: 402522 markings, 499833 edges, 3241 markings/sec, 150 secs
lola: 418686 markings, 520678 edges, 3233 markings/sec, 155 secs
lola: 434865 markings, 541718 edges, 3236 markings/sec, 160 secs
lola: 451074 markings, 563968 edges, 3242 markings/sec, 165 secs
lola: 467259 markings, 585161 edges, 3237 markings/sec, 170 secs
lola: 483511 markings, 606610 edges, 3250 markings/sec, 175 secs
lola: 499733 markings, 627496 edges, 3244 markings/sec, 180 secs
lola: 515842 markings, 648307 edges, 3222 markings/sec, 185 secs
lola: 532022 markings, 670043 edges, 3236 markings/sec, 190 secs
lola: 548123 markings, 691341 edges, 3220 markings/sec, 195 secs
lola: 564227 markings, 712235 edges, 3221 markings/sec, 200 secs
lola: 580396 markings, 733331 edges, 3234 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: 125060 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_1113_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P_1113_10)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J04T10-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: 17293 markings, 18349 edges, 3459 markings/sec, 30 secs
lola: 32940 markings, 35676 edges, 3129 markings/sec, 35 secs
lola: 49868 markings, 54673 edges, 3386 markings/sec, 40 secs
lola: 67964 markings, 75398 edges, 3619 markings/sec, 45 secs
lola: 85883 markings, 95827 edges, 3584 markings/sec, 50 secs
lola: 103694 markings, 116167 edges, 3562 markings/sec, 55 secs
lola: 121448 markings, 136870 edges, 3551 markings/sec, 60 secs
lola: 139192 markings, 157265 edges, 3549 markings/sec, 65 secs
lola: 156955 markings, 178256 edges, 3553 markings/sec, 70 secs
lola: 174805 markings, 199613 edges, 3570 markings/sec, 75 secs
lola: 192579 markings, 220833 edges, 3555 markings/sec, 80 secs
lola: 210055 markings, 241898 edges, 3495 markings/sec, 85 secs
lola: 227399 markings, 262692 edges, 3469 markings/sec, 90 secs
lola: 244888 markings, 283724 edges, 3498 markings/sec, 95 secs
lola: 262343 markings, 305037 edges, 3491 markings/sec, 100 secs
lola: 279830 markings, 326336 edges, 3497 markings/sec, 105 secs
lola: 297215 markings, 347268 edges, 3477 markings/sec, 110 secs
lola: 314661 markings, 368597 edges, 3489 markings/sec, 115 secs
lola: 331964 markings, 389839 edges, 3461 markings/sec, 120 secs
lola: 349227 markings, 411200 edges, 3453 markings/sec, 125 secs
lola: 366591 markings, 432655 edges, 3473 markings/sec, 130 secs
lola: 383894 markings, 453996 edges, 3461 markings/sec, 135 secs
lola: 401189 markings, 475475 edges, 3459 markings/sec, 140 secs
lola: 418608 markings, 497167 edges, 3484 markings/sec, 145 secs
lola: 435843 markings, 518964 edges, 3447 markings/sec, 150 secs
lola: 453244 markings, 540793 edges, 3480 markings/sec, 155 secs
lola: 470616 markings, 562652 edges, 3474 markings/sec, 160 secs
lola: 487829 markings, 584626 edges, 3443 markings/sec, 165 secs
lola: 505146 markings, 606605 edges, 3463 markings/sec, 170 secs
lola: 522482 markings, 628455 edges, 3467 markings/sec, 175 secs
lola: 539697 markings, 650560 edges, 3443 markings/sec, 180 secs
lola: 556969 markings, 672714 edges, 3454 markings/sec, 185 secs
lola: 574371 markings, 694208 edges, 3480 markings/sec, 190 secs
lola: 591659 markings, 715762 edges, 3458 markings/sec, 195 secs
lola: 608906 markings, 738557 edges, 3449 markings/sec, 200 secs
lola: 626258 markings, 761107 edges, 3470 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: 135620 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(DisablePollingB_4_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(DisablePollingB_4_2)
lola: processed formula length: 24
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J04T10-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: 16292 markings, 17521 edges, 3258 markings/sec, 30 secs
lola: 32636 markings, 36606 edges, 3269 markings/sec, 35 secs
lola: 48792 markings, 55781 edges, 3231 markings/sec, 40 secs
lola: 64171 markings, 74588 edges, 3076 markings/sec, 45 secs
lola: 80234 markings, 94062 edges, 3213 markings/sec, 50 secs
lola: 96086 markings, 113415 edges, 3170 markings/sec, 55 secs
lola: 112035 markings, 133636 edges, 3190 markings/sec, 60 secs
lola: 127847 markings, 154173 edges, 3162 markings/sec, 65 secs
lola: 143818 markings, 174241 edges, 3194 markings/sec, 70 secs
lola: 159912 markings, 194565 edges, 3219 markings/sec, 75 secs
lola: 175843 markings, 214599 edges, 3186 markings/sec, 80 secs
lola: 191896 markings, 234567 edges, 3211 markings/sec, 85 secs
lola: 207841 markings, 254544 edges, 3189 markings/sec, 90 secs
lola: 223865 markings, 275272 edges, 3205 markings/sec, 95 secs
lola: 239910 markings, 295564 edges, 3209 markings/sec, 100 secs
lola: 255959 markings, 316082 edges, 3210 markings/sec, 105 secs
lola: 271983 markings, 336581 edges, 3205 markings/sec, 110 secs
lola: 287950 markings, 357282 edges, 3193 markings/sec, 115 secs
lola: 303995 markings, 378142 edges, 3209 markings/sec, 120 secs
lola: 319921 markings, 398722 edges, 3185 markings/sec, 125 secs
lola: 335932 markings, 419569 edges, 3202 markings/sec, 130 secs
lola: 351990 markings, 440358 edges, 3212 markings/sec, 135 secs
lola: 368042 markings, 461705 edges, 3210 markings/sec, 140 secs
lola: 384042 markings, 482370 edges, 3200 markings/sec, 145 secs
lola: 400109 markings, 503198 edges, 3213 markings/sec, 150 secs
lola: 416030 markings, 523638 edges, 3184 markings/sec, 155 secs
lola: 431836 markings, 544611 edges, 3161 markings/sec, 160 secs
lola: 447850 markings, 565397 edges, 3203 markings/sec, 165 secs
lola: 463659 markings, 586566 edges, 3162 markings/sec, 170 secs
lola: 479723 markings, 606976 edges, 3213 markings/sec, 175 secs
lola: 495524 markings, 628056 edges, 3160 markings/sec, 180 secs
lola: 510825 markings, 648926 edges, 3060 markings/sec, 185 secs
lola: 526062 markings, 669226 edges, 3047 markings/sec, 190 secs
lola: 541442 markings, 688410 edges, 3076 markings/sec, 195 secs
lola: 556756 markings, 708647 edges, 3063 markings/sec, 200 secs
lola: 572121 markings, 728320 edges, 3073 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: 123636 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(NotifyEventJobCompletedE_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NotifyEventJobCompletedE_9)
lola: processed formula length: 31
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J04T10-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: 16814 markings, 18539 edges, 3363 markings/sec, 30 secs
lola: 33487 markings, 38315 edges, 3335 markings/sec, 35 secs
lola: 49648 markings, 58070 edges, 3232 markings/sec, 40 secs
lola: 66369 markings, 78790 edges, 3344 markings/sec, 45 secs
lola: 82992 markings, 98414 edges, 3325 markings/sec, 50 secs
lola: 99823 markings, 119406 edges, 3366 markings/sec, 55 secs
lola: 116584 markings, 139440 edges, 3352 markings/sec, 60 secs
lola: 133025 markings, 161297 edges, 3288 markings/sec, 65 secs
lola: 149885 markings, 181017 edges, 3372 markings/sec, 70 secs
lola: 166182 markings, 202921 edges, 3259 markings/sec, 75 secs
lola: 182348 markings, 226812 edges, 3233 markings/sec, 80 secs
lola: 198746 markings, 246775 edges, 3280 markings/sec, 85 secs
lola: 214980 markings, 268296 edges, 3247 markings/sec, 90 secs
lola: 231634 markings, 287741 edges, 3331 markings/sec, 95 secs
lola: 247975 markings, 307802 edges, 3268 markings/sec, 100 secs
lola: 264368 markings, 327756 edges, 3279 markings/sec, 105 secs
lola: 280717 markings, 348111 edges, 3270 markings/sec, 110 secs
lola: 297141 markings, 368204 edges, 3285 markings/sec, 115 secs
lola: 313367 markings, 388208 edges, 3245 markings/sec, 120 secs
lola: 329757 markings, 407867 edges, 3278 markings/sec, 125 secs
lola: 345906 markings, 430670 edges, 3230 markings/sec, 130 secs
lola: 362327 markings, 451997 edges, 3284 markings/sec, 135 secs
lola: 378760 markings, 472245 edges, 3287 markings/sec, 140 secs
lola: 395442 markings, 492508 edges, 3336 markings/sec, 145 secs
lola: 412068 markings, 513349 edges, 3325 markings/sec, 150 secs
lola: 428471 markings, 533750 edges, 3281 markings/sec, 155 secs
lola: 444874 markings, 553477 edges, 3281 markings/sec, 160 secs
lola: 461444 markings, 573777 edges, 3314 markings/sec, 165 secs
lola: 478067 markings, 593839 edges, 3325 markings/sec, 170 secs
lola: 494617 markings, 614874 edges, 3310 markings/sec, 175 secs
lola: 510995 markings, 634803 edges, 3276 markings/sec, 180 secs
lola: 527282 markings, 655411 edges, 3257 markings/sec, 185 secs
lola: 543496 markings, 675947 edges, 3243 markings/sec, 190 secs
lola: 559999 markings, 697108 edges, 3301 markings/sec, 195 secs
lola: 576608 markings, 717864 edges, 3322 markings/sec, 200 secs
lola: 593189 markings, 738652 edges, 3316 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: 121668 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(CreatedJobs_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CreatedJobs_2_3)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J04T10-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: 17347 markings, 19162 edges, 3469 markings/sec, 30 secs
lola: 34367 markings, 38903 edges, 3404 markings/sec, 35 secs
lola: 50980 markings, 58378 edges, 3323 markings/sec, 40 secs
lola: 67600 markings, 78345 edges, 3324 markings/sec, 45 secs
lola: 84254 markings, 98975 edges, 3331 markings/sec, 50 secs
lola: 100753 markings, 119355 edges, 3300 markings/sec, 55 secs
lola: 117185 markings, 139609 edges, 3286 markings/sec, 60 secs
lola: 133580 markings, 160415 edges, 3279 markings/sec, 65 secs
lola: 150091 markings, 180954 edges, 3302 markings/sec, 70 secs
lola: 166617 markings, 200751 edges, 3305 markings/sec, 75 secs
lola: 182978 markings, 221054 edges, 3272 markings/sec, 80 secs
lola: 199412 markings, 241458 edges, 3287 markings/sec, 85 secs
lola: 215839 markings, 261774 edges, 3285 markings/sec, 90 secs
lola: 232382 markings, 283100 edges, 3309 markings/sec, 95 secs
lola: 248764 markings, 303915 edges, 3276 markings/sec, 100 secs
lola: 265044 markings, 325214 edges, 3256 markings/sec, 105 secs
lola: 281422 markings, 345999 edges, 3276 markings/sec, 110 secs
lola: 297568 markings, 366034 edges, 3229 markings/sec, 115 secs
lola: 313833 markings, 386488 edges, 3253 markings/sec, 120 secs
lola: 330131 markings, 407661 edges, 3260 markings/sec, 125 secs
lola: 346390 markings, 428357 edges, 3252 markings/sec, 130 secs
lola: 362593 markings, 449561 edges, 3241 markings/sec, 135 secs
lola: 378904 markings, 470682 edges, 3262 markings/sec, 140 secs
lola: 395083 markings, 492252 edges, 3236 markings/sec, 145 secs
lola: 411419 markings, 513263 edges, 3267 markings/sec, 150 secs
lola: 427713 markings, 533767 edges, 3259 markings/sec, 155 secs
lola: 443823 markings, 554352 edges, 3222 markings/sec, 160 secs
lola: 460048 markings, 575065 edges, 3245 markings/sec, 165 secs
lola: 476477 markings, 596029 edges, 3286 markings/sec, 170 secs
lola: 492841 markings, 617863 edges, 3273 markings/sec, 175 secs
lola: 509172 markings, 638924 edges, 3266 markings/sec, 180 secs
lola: 525454 markings, 661021 edges, 3256 markings/sec, 185 secs
lola: 541729 markings, 681907 edges, 3255 markings/sec, 190 secs
lola: 558016 markings, 703341 edges, 3257 markings/sec, 195 secs
lola: 574256 markings, 724454 edges, 3248 markings/sec, 200 secs
lola: 590544 markings, 746311 edges, 3258 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: 128492 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_1113_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(P_1113_10)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J04T10-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: 17626 markings, 18718 edges, 3525 markings/sec, 30 secs
lola: 35398 markings, 38400 edges, 3554 markings/sec, 35 secs
lola: 51884 markings, 56912 edges, 3297 markings/sec, 40 secs
lola: 69705 markings, 77421 edges, 3564 markings/sec, 45 secs
lola: 87002 markings, 97085 edges, 3459 markings/sec, 50 secs
lola: 104231 markings, 116756 edges, 3446 markings/sec, 55 secs
lola: 121354 markings, 136759 edges, 3425 markings/sec, 60 secs
lola: 137492 markings, 155327 edges, 3228 markings/sec, 65 secs
lola: 155015 markings, 176005 edges, 3505 markings/sec, 70 secs
lola: 172598 markings, 197015 edges, 3517 markings/sec, 75 secs
lola: 190074 markings, 217798 edges, 3495 markings/sec, 80 secs
lola: 207277 markings, 238514 edges, 3441 markings/sec, 85 secs
lola: 224509 markings, 259148 edges, 3446 markings/sec, 90 secs
lola: 241825 markings, 279946 edges, 3463 markings/sec, 95 secs
lola: 259072 markings, 301001 edges, 3449 markings/sec, 100 secs
lola: 276425 markings, 322058 edges, 3471 markings/sec, 105 secs
lola: 293600 markings, 342962 edges, 3435 markings/sec, 110 secs
lola: 310903 markings, 363870 edges, 3461 markings/sec, 115 secs
lola: 328061 markings, 385069 edges, 3432 markings/sec, 120 secs
lola: 345108 markings, 406261 edges, 3409 markings/sec, 125 secs
lola: 362431 markings, 427581 edges, 3465 markings/sec, 130 secs
lola: 379490 markings, 448576 edges, 3412 markings/sec, 135 secs
lola: 396504 markings, 469616 edges, 3403 markings/sec, 140 secs
lola: 413625 markings, 490995 edges, 3424 markings/sec, 145 secs
lola: 430655 markings, 512279 edges, 3406 markings/sec, 150 secs
lola: 447737 markings, 534046 edges, 3416 markings/sec, 155 secs
lola: 464782 markings, 554922 edges, 3409 markings/sec, 160 secs
lola: 481910 markings, 577159 edges, 3426 markings/sec, 165 secs
lola: 498754 markings, 598558 edges, 3369 markings/sec, 170 secs
lola: 515821 markings, 619898 edges, 3413 markings/sec, 175 secs
lola: 532772 markings, 641605 edges, 3390 markings/sec, 180 secs
lola: 549872 markings, 663388 edges, 3420 markings/sec, 185 secs
lola: 566846 markings, 684901 edges, 3395 markings/sec, 190 secs
lola: 583901 markings, 706163 edges, 3411 markings/sec, 195 secs
lola: 600939 markings, 728489 edges, 3408 markings/sec, 200 secs
lola: 617876 markings, 749803 edges, 3387 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: 134300 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(DisablePollingB_8_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(DisablePollingB_8_2)
lola: processed formula length: 24
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J04T10-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: 16078 markings, 17510 edges, 3216 markings/sec, 30 secs
lola: 32226 markings, 35971 edges, 3230 markings/sec, 35 secs
lola: 48364 markings, 54898 edges, 3228 markings/sec, 40 secs
lola: 64580 markings, 73829 edges, 3243 markings/sec, 45 secs
lola: 80853 markings, 92969 edges, 3255 markings/sec, 50 secs
lola: 97060 markings, 112223 edges, 3241 markings/sec, 55 secs
lola: 113255 markings, 131544 edges, 3239 markings/sec, 60 secs
lola: 129358 markings, 152072 edges, 3221 markings/sec, 65 secs
lola: 145520 markings, 171334 edges, 3232 markings/sec, 70 secs
lola: 161766 markings, 190850 edges, 3249 markings/sec, 75 secs
lola: 177958 markings, 211245 edges, 3238 markings/sec, 80 secs
lola: 194101 markings, 231012 edges, 3229 markings/sec, 85 secs
lola: 210338 markings, 250699 edges, 3247 markings/sec, 90 secs
lola: 226376 markings, 270989 edges, 3208 markings/sec, 95 secs
lola: 242512 markings, 291571 edges, 3227 markings/sec, 100 secs
lola: 258768 markings, 312401 edges, 3251 markings/sec, 105 secs
lola: 274673 markings, 333652 edges, 3181 markings/sec, 110 secs
lola: 290795 markings, 353715 edges, 3224 markings/sec, 115 secs
lola: 306858 markings, 374257 edges, 3213 markings/sec, 120 secs
lola: 323028 markings, 394635 edges, 3234 markings/sec, 125 secs
lola: 339190 markings, 415589 edges, 3232 markings/sec, 130 secs
lola: 355343 markings, 436511 edges, 3231 markings/sec, 135 secs
lola: 371375 markings, 457149 edges, 3206 markings/sec, 140 secs
lola: 387525 markings, 477026 edges, 3230 markings/sec, 145 secs
lola: 403702 markings, 497749 edges, 3235 markings/sec, 150 secs
lola: 419913 markings, 518844 edges, 3242 markings/sec, 155 secs
lola: 436067 markings, 539099 edges, 3231 markings/sec, 160 secs
lola: 452022 markings, 560658 edges, 3191 markings/sec, 165 secs
lola: 468199 markings, 580822 edges, 3235 markings/sec, 170 secs
lola: 484373 markings, 601922 edges, 3235 markings/sec, 175 secs
lola: 500534 markings, 622317 edges, 3232 markings/sec, 180 secs
lola: 516728 markings, 642563 edges, 3239 markings/sec, 185 secs
lola: 532897 markings, 662965 edges, 3234 markings/sec, 190 secs
lola: 548932 markings, 683822 edges, 3207 markings/sec, 195 secs
lola: 564997 markings, 705368 edges, 3213 markings/sec, 200 secs
lola: 581124 markings, 726662 edges, 3225 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: 125956 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(NotifyEventEndOfCheckSourcesB_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NotifyEventEndOfCheckSourcesB_5)
lola: processed formula length: 36
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J04T10-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: 14903 markings, 16303 edges, 2981 markings/sec, 30 secs
lola: 29748 markings, 35255 edges, 2969 markings/sec, 35 secs
lola: 44620 markings, 53480 edges, 2974 markings/sec, 40 secs
lola: 59423 markings, 72756 edges, 2961 markings/sec, 45 secs
lola: 74394 markings, 90255 edges, 2994 markings/sec, 50 secs
lola: 89238 markings, 107496 edges, 2969 markings/sec, 55 secs
lola: 104244 markings, 125847 edges, 3001 markings/sec, 60 secs
lola: 119253 markings, 143930 edges, 3002 markings/sec, 65 secs
lola: 134221 markings, 169901 edges, 2994 markings/sec, 70 secs
lola: 149164 markings, 197731 edges, 2989 markings/sec, 75 secs
lola: 164017 markings, 223376 edges, 2971 markings/sec, 80 secs
lola: 178872 markings, 242468 edges, 2971 markings/sec, 85 secs
lola: 193833 markings, 262279 edges, 2992 markings/sec, 90 secs
lola: 208676 markings, 283358 edges, 2969 markings/sec, 95 secs
lola: 223496 markings, 303535 edges, 2964 markings/sec, 100 secs
lola: 238207 markings, 324674 edges, 2942 markings/sec, 105 secs
lola: 253127 markings, 343251 edges, 2984 markings/sec, 110 secs
lola: 268173 markings, 362018 edges, 3009 markings/sec, 115 secs
lola: 282914 markings, 383451 edges, 2948 markings/sec, 120 secs
lola: 297837 markings, 402151 edges, 2985 markings/sec, 125 secs
lola: 312738 markings, 421338 edges, 2980 markings/sec, 130 secs
lola: 327587 markings, 440660 edges, 2970 markings/sec, 135 secs
lola: 342305 markings, 461385 edges, 2944 markings/sec, 140 secs
lola: 357228 markings, 479151 edges, 2985 markings/sec, 145 secs
lola: 371239 markings, 496359 edges, 2802 markings/sec, 150 secs
lola: 386261 markings, 515058 edges, 3004 markings/sec, 155 secs
lola: 399590 markings, 533877 edges, 2666 markings/sec, 160 secs
lola: 414115 markings, 551954 edges, 2905 markings/sec, 165 secs
lola: 428670 markings, 570328 edges, 2911 markings/sec, 170 secs
lola: 443143 markings, 588733 edges, 2895 markings/sec, 175 secs
lola: 457326 markings, 612841 edges, 2837 markings/sec, 180 secs
lola: 471907 markings, 636123 edges, 2916 markings/sec, 185 secs
lola: 486406 markings, 654620 edges, 2900 markings/sec, 190 secs
lola: 500953 markings, 677359 edges, 2909 markings/sec, 195 secs
lola: 515579 markings, 699845 edges, 2925 markings/sec, 200 secs
lola: 530308 markings, 718818 edges, 2946 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: 111856 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(Abort_Check_Sources_E_10 + Abort_Check_Sources_E_1 + Abort_Check_Sources_E_2 + Abort_Check_Sources_E_3 + Abort_Check_Sources_E_4 + Abort_Check_Sources_E_5 + Abort_Check_Sources_E_6 + Abort_Check_Sources_E_7 + Abort_Check_Sources_E_8 + Abort_Check_Sources_E_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Abort_Check_Sources_E_10 + Abort_Check_Sources_E_1 + Abort_Check_Sources_E_2 + Abort_Check_Sources_E_3 + Abort_Check_Sources_E_4 + Abort_Check_Sources_E_5 + Abort_Check_Sources_E_6 + Abort_Check_Sources_E_7 + Abort_Check_Sources_E_8 + Abort_Check_Sources_E_9)
lola: processed formula length: 263
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J04T10-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: 15150 markings, 17055 edges, 3030 markings/sec, 30 secs
lola: 30210 markings, 35615 edges, 3012 markings/sec, 35 secs
lola: 45234 markings, 54087 edges, 3005 markings/sec, 40 secs
lola: 60384 markings, 72379 edges, 3030 markings/sec, 45 secs
lola: 75468 markings, 90822 edges, 3017 markings/sec, 50 secs
lola: 90604 markings, 109301 edges, 3027 markings/sec, 55 secs
lola: 105710 markings, 127815 edges, 3021 markings/sec, 60 secs
lola: 120809 markings, 145937 edges, 3020 markings/sec, 65 secs
lola: 135877 markings, 164330 edges, 3014 markings/sec, 70 secs
lola: 150968 markings, 191033 edges, 3018 markings/sec, 75 secs
lola: 166086 markings, 209495 edges, 3024 markings/sec, 80 secs
lola: 181168 markings, 233339 edges, 3016 markings/sec, 85 secs
lola: 196250 markings, 258516 edges, 3016 markings/sec, 90 secs
lola: 211286 markings, 285855 edges, 3007 markings/sec, 95 secs
lola: 226364 markings, 307881 edges, 3016 markings/sec, 100 secs
lola: 241285 markings, 330463 edges, 2984 markings/sec, 105 secs
lola: 256421 markings, 351260 edges, 3027 markings/sec, 110 secs
lola: 271566 markings, 370748 edges, 3029 markings/sec, 115 secs
lola: 286676 markings, 391434 edges, 3022 markings/sec, 120 secs
lola: 301764 markings, 409931 edges, 3018 markings/sec, 125 secs
lola: 316863 markings, 429184 edges, 3020 markings/sec, 130 secs
lola: 332026 markings, 447866 edges, 3033 markings/sec, 135 secs
lola: 347023 markings, 467728 edges, 2999 markings/sec, 140 secs
lola: 361831 markings, 490974 edges, 2962 markings/sec, 145 secs
lola: 377080 markings, 511754 edges, 3050 markings/sec, 150 secs
lola: 392134 markings, 530354 edges, 3011 markings/sec, 155 secs
lola: 407270 markings, 549227 edges, 3027 markings/sec, 160 secs
lola: 422184 markings, 567837 edges, 2983 markings/sec, 165 secs
lola: 437028 markings, 589093 edges, 2969 markings/sec, 170 secs
lola: 452049 markings, 609344 edges, 3004 markings/sec, 175 secs
lola: 467117 markings, 628335 edges, 3014 markings/sec, 180 secs
lola: 482110 markings, 647952 edges, 2999 markings/sec, 185 secs
lola: 496933 markings, 671235 edges, 2965 markings/sec, 190 secs
lola: 512122 markings, 689677 edges, 3038 markings/sec, 195 secs
lola: 527192 markings, 713199 edges, 3014 markings/sec, 200 secs
lola: 542262 markings, 732246 edges, 3014 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: 114188 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(NotifyEventJobCompletedE_10 + NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4 + NotifyEventJobCompletedE_5 + NotifyEventJobCompletedE_6 + NotifyEventJobCompletedE_7 + NotifyEventJobCompletedE_8 + NotifyEventJobCompletedE_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NotifyEventJobCompletedE_10 + NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4 + NotifyEventJobCompletedE_5 + NotifyEventJobCompletedE_6 + NotifyEventJobCompletedE_7 + NotifyEventJobCompletedE_8 + NotifyEventJobCompletedE_9)
lola: processed formula length: 293
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J04T10-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: 16268 markings, 16848 edges, 3254 markings/sec, 30 secs
lola: 32266 markings, 33553 edges, 3200 markings/sec, 35 secs
lola: 48448 markings, 50695 edges, 3236 markings/sec, 40 secs
lola: 64694 markings, 67774 edges, 3249 markings/sec, 45 secs
lola: 81000 markings, 85172 edges, 3261 markings/sec, 50 secs
lola: 97297 markings, 102622 edges, 3259 markings/sec, 55 secs
lola: 113721 markings, 120197 edges, 3285 markings/sec, 60 secs
lola: 130031 markings, 137971 edges, 3262 markings/sec, 65 secs
lola: 146258 markings, 155553 edges, 3245 markings/sec, 70 secs
lola: 162692 markings, 173242 edges, 3287 markings/sec, 75 secs
lola: 178960 markings, 191225 edges, 3254 markings/sec, 80 secs
lola: 195348 markings, 208809 edges, 3278 markings/sec, 85 secs
lola: 211659 markings, 226452 edges, 3262 markings/sec, 90 secs
lola: 227949 markings, 244206 edges, 3258 markings/sec, 95 secs
lola: 244103 markings, 262229 edges, 3231 markings/sec, 100 secs
lola: 260532 markings, 279834 edges, 3286 markings/sec, 105 secs
lola: 276963 markings, 297499 edges, 3286 markings/sec, 110 secs
lola: 293271 markings, 315544 edges, 3262 markings/sec, 115 secs
lola: 309610 markings, 333317 edges, 3268 markings/sec, 120 secs
lola: 326057 markings, 351146 edges, 3289 markings/sec, 125 secs
lola: 342239 markings, 369116 edges, 3236 markings/sec, 130 secs
lola: 358666 markings, 386813 edges, 3285 markings/sec, 135 secs
lola: 374940 markings, 404343 edges, 3255 markings/sec, 140 secs
lola: 391250 markings, 421938 edges, 3262 markings/sec, 145 secs
lola: 407560 markings, 440011 edges, 3262 markings/sec, 150 secs
lola: 423827 markings, 457840 edges, 3253 markings/sec, 155 secs
lola: 440137 markings, 475639 edges, 3262 markings/sec, 160 secs
lola: 456535 markings, 493297 edges, 3280 markings/sec, 165 secs
lola: 472844 markings, 510870 edges, 3262 markings/sec, 170 secs
lola: 489170 markings, 528810 edges, 3265 markings/sec, 175 secs
lola: 505564 markings, 546991 edges, 3279 markings/sec, 180 secs
lola: 521806 markings, 565016 edges, 3248 markings/sec, 185 secs
lola: 538060 markings, 583546 edges, 3251 markings/sec, 190 secs
lola: 554382 markings, 601636 edges, 3264 markings/sec, 195 secs
lola: 570660 markings, 619333 edges, 3256 markings/sec, 200 secs
lola: 586897 markings, 638046 edges, 3247 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: 137904 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(Abort_Check_Sources_E_10 + Abort_Check_Sources_E_1 + Abort_Check_Sources_E_2 + Abort_Check_Sources_E_3 + Abort_Check_Sources_E_4 + Abort_Check_Sources_E_5 + Abort_Check_Sources_E_6 + Abort_Check_Sources_E_7 + Abort_Check_Sources_E_8 + Abort_Check_Sources_E_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Abort_Check_Sources_E_10 + Abort_Check_Sources_E_1 + Abort_Check_Sources_E_2 + Abort_Check_Sources_E_3 + Abort_Check_Sources_E_4 + Abort_Check_Sources_E_5 + Abort_Check_Sources_E_6 + Abort_Check_Sources_E_7 + Abort_Check_Sources_E_8 + Abort_Check_Sources_E_9)
lola: processed formula length: 263
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J04T10-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: 14858 markings, 16741 edges, 2972 markings/sec, 30 secs
lola: 29634 markings, 34986 edges, 2955 markings/sec, 35 secs
lola: 44443 markings, 52944 edges, 2962 markings/sec, 40 secs
lola: 59299 markings, 71144 edges, 2971 markings/sec, 45 secs
lola: 74127 markings, 89213 edges, 2966 markings/sec, 50 secs
lola: 88994 markings, 107376 edges, 2973 markings/sec, 55 secs
lola: 102980 markings, 124603 edges, 2797 markings/sec, 60 secs
lola: 117790 markings, 142281 edges, 2962 markings/sec, 65 secs
lola: 132583 markings, 160471 edges, 2959 markings/sec, 70 secs
lola: 147433 markings, 186085 edges, 2970 markings/sec, 75 secs
lola: 162265 markings, 204327 edges, 2966 markings/sec, 80 secs
lola: 177021 markings, 223746 edges, 2951 markings/sec, 85 secs
lola: 191848 markings, 252801 edges, 2965 markings/sec, 90 secs
lola: 206722 markings, 279011 edges, 2975 markings/sec, 95 secs
lola: 221481 markings, 301418 edges, 2952 markings/sec, 100 secs
lola: 236074 markings, 322079 edges, 2919 markings/sec, 105 secs
lola: 250867 markings, 344701 edges, 2959 markings/sec, 110 secs
lola: 265604 markings, 363056 edges, 2947 markings/sec, 115 secs
lola: 280434 markings, 383350 edges, 2966 markings/sec, 120 secs
lola: 295223 markings, 401695 edges, 2958 markings/sec, 125 secs
lola: 309982 markings, 420980 edges, 2952 markings/sec, 130 secs
lola: 324924 markings, 439182 edges, 2988 markings/sec, 135 secs
lola: 339698 markings, 458398 edges, 2955 markings/sec, 140 secs
lola: 354339 markings, 479216 edges, 2928 markings/sec, 145 secs
lola: 369114 markings, 499388 edges, 2955 markings/sec, 150 secs
lola: 384022 markings, 520084 edges, 2982 markings/sec, 155 secs
lola: 398758 markings, 538900 edges, 2947 markings/sec, 160 secs
lola: 413588 markings, 557200 edges, 2966 markings/sec, 165 secs
lola: 428223 markings, 576949 edges, 2927 markings/sec, 170 secs
lola: 442903 markings, 597878 edges, 2936 markings/sec, 175 secs
lola: 457723 markings, 616473 edges, 2964 markings/sec, 180 secs
lola: 472462 markings, 635783 edges, 2948 markings/sec, 185 secs
lola: 487127 markings, 656101 edges, 2933 markings/sec, 190 secs
lola: 501800 markings, 677341 edges, 2935 markings/sec, 195 secs
lola: 516752 markings, 695788 edges, 2990 markings/sec, 200 secs
lola: 531482 markings, 718456 edges, 2946 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: 112384 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(Abort_Check_Sources_B_1 + Abort_Check_Sources_B_2 + Abort_Check_Sources_B_3 + Abort_Check_Sources_B_4 + Abort_Check_Sources_B_5 + Abort_Check_Sources_B_6 + Abort_Check_Sources_B_7 + Abort_Check_Sources_B_8 + Abort_Check_Sources_B_9 + Abort_Check_Sources_B_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(Abort_Check_Sources_B_1 + Abort_Check_Sources_B_2 + Abort_Check_Sources_B_3 + Abort_Check_Sources_B_4 + Abort_Check_Sources_B_5 + Abort_Check_Sources_B_6 + Abort_Check_Sources_B_7 + Abort_Check_Sources_B_8 + Abort_Check_Sources_B_9 + Abort_Check_Sources_B_10)
lola: processed formula length: 263
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J04T10-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: 15198 markings, 17115 edges, 3040 markings/sec, 30 secs
lola: 30301 markings, 35731 edges, 3021 markings/sec, 35 secs
lola: 45452 markings, 54406 edges, 3030 markings/sec, 40 secs
lola: 60668 markings, 72709 edges, 3043 markings/sec, 45 secs
lola: 75820 markings, 91191 edges, 3030 markings/sec, 50 secs
lola: 91001 markings, 109829 edges, 3036 markings/sec, 55 secs
lola: 106191 markings, 128427 edges, 3038 markings/sec, 60 secs
lola: 121325 markings, 146578 edges, 3027 markings/sec, 65 secs
lola: 136417 markings, 172979 edges, 3018 markings/sec, 70 secs
lola: 151523 markings, 191620 edges, 3021 markings/sec, 75 secs
lola: 166567 markings, 211452 edges, 3009 markings/sec, 80 secs
lola: 181733 markings, 240756 edges, 3033 markings/sec, 85 secs
lola: 196765 markings, 268089 edges, 3006 markings/sec, 90 secs
lola: 211932 markings, 287523 edges, 3033 markings/sec, 95 secs
lola: 227052 markings, 307351 edges, 3024 markings/sec, 100 secs
lola: 242366 markings, 332390 edges, 3063 markings/sec, 105 secs
lola: 257449 markings, 354730 edges, 3017 markings/sec, 110 secs
lola: 272475 markings, 373986 edges, 3005 markings/sec, 115 secs
lola: 287610 markings, 392746 edges, 3027 markings/sec, 120 secs
lola: 302727 markings, 411581 edges, 3023 markings/sec, 125 secs
lola: 317737 markings, 432247 edges, 3002 markings/sec, 130 secs
lola: 332819 markings, 451593 edges, 3016 markings/sec, 135 secs
lola: 347998 markings, 470206 edges, 3036 markings/sec, 140 secs
lola: 362870 markings, 490847 edges, 2974 markings/sec, 145 secs
lola: 377922 markings, 509040 edges, 3010 markings/sec, 150 secs
lola: 393047 markings, 527483 edges, 3025 markings/sec, 155 secs
lola: 407886 markings, 548689 edges, 2968 markings/sec, 160 secs
lola: 423025 markings, 572087 edges, 3028 markings/sec, 165 secs
lola: 438118 markings, 590999 edges, 3019 markings/sec, 170 secs
lola: 453220 markings, 609799 edges, 3020 markings/sec, 175 secs
lola: 468174 markings, 631497 edges, 2991 markings/sec, 180 secs
lola: 483252 markings, 650468 edges, 3016 markings/sec, 185 secs
lola: 498313 markings, 672561 edges, 3012 markings/sec, 190 secs
lola: 513444 markings, 691283 edges, 3026 markings/sec, 195 secs
lola: 528572 markings, 710142 edges, 3026 markings/sec, 200 secs
lola: 543675 markings, 728871 edges, 3021 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: 114496 KB
lola: time consumption: 3356 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 214 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_2_0 + FetchJobE_2_1 + FetchJobE_2_2 + FetchJobE_2_3 + FetchJobE_2_4 + FetchJobE_3_0 + FetchJobE_3_1 + FetchJobE_3_2 + FetchJobE_3_3 + FetchJobE_3_4 + FetchJobE_4_0 + FetchJobE_4_1 + FetchJobE_4_2 + FetchJobE_4_3 + FetchJobE_4_4 + FetchJobE_5_0 + FetchJobE_5_1 + FetchJobE_5_2 + FetchJobE_5_3 + FetchJobE_5_... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(FetchJobE_1_0 + FetchJobE_1_1 + FetchJobE_1_2 + FetchJobE_1_3 + FetchJobE_1_4 + FetchJobE_2_0 + FetchJobE_2_1 + FetchJobE_2_2 + FetchJobE_2_3 + FetchJobE_2_4 + FetchJobE_3_0 + FetchJobE_3_1 + FetchJobE_3_2 + FetchJobE_3_3 + FetchJobE_3_4 + FetchJobE_4_0 + FetchJobE_4_1 + FetchJobE_4_2 + FetchJobE_4_3 + FetchJobE_4_4 + FetchJobE_5_0 + FetchJobE_5_1 + FetchJobE_5_2 + FetchJobE_5_3 + FetchJobE_5_... (shortened)
lola: processed formula length: 807
lola: 0 rewrites
lola: closed formula file PolyORBLF-PT-S04J04T10-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: 14625 markings, 17338 edges, 2925 markings/sec, 30 secs
lola: 30655 markings, 36956 edges, 3206 markings/sec, 35 secs
lola: 46856 markings, 56149 edges, 3240 markings/sec, 40 secs
lola: 62404 markings, 76019 edges, 3110 markings/sec, 45 secs
lola: 78915 markings, 96303 edges, 3302 markings/sec, 50 secs
lola: 93822 markings, 114755 edges, 2981 markings/sec, 55 secs
lola: 110099 markings, 135098 edges, 3255 markings/sec, 60 secs
lola: 126309 markings, 155376 edges, 3242 markings/sec, 65 secs
lola: 142403 markings, 175920 edges, 3219 markings/sec, 70 secs
lola: 158480 markings, 196770 edges, 3215 markings/sec, 75 secs
lola: 174603 markings, 218130 edges, 3225 markings/sec, 80 secs
lola: 190748 markings, 238811 edges, 3229 markings/sec, 85 secs
lola: 206917 markings, 259952 edges, 3234 markings/sec, 90 secs
lola: 223183 markings, 280582 edges, 3253 markings/sec, 95 secs
lola: 239310 markings, 301693 edges, 3225 markings/sec, 100 secs
lola: 255335 markings, 322257 edges, 3205 markings/sec, 105 secs
lola: 271359 markings, 343351 edges, 3205 markings/sec, 110 secs
lola: 287400 markings, 364325 edges, 3208 markings/sec, 115 secs
lola: 303385 markings, 386420 edges, 3197 markings/sec, 120 secs
lola: 319564 markings, 407586 edges, 3236 markings/sec, 125 secs
lola: 335827 markings, 428287 edges, 3253 markings/sec, 130 secs
lola: 351950 markings, 450180 edges, 3225 markings/sec, 135 secs
lola: 367820 markings, 470938 edges, 3174 markings/sec, 140 secs
lola: 383868 markings, 492524 edges, 3210 markings/sec, 145 secs
lola: 399850 markings, 514103 edges, 3196 markings/sec, 150 secs
lola: 415968 markings, 535175 edges, 3224 markings/sec, 155 secs
lola: 432152 markings, 556379 edges, 3237 markings/sec, 160 secs
lola: 448315 markings, 578063 edges, 3233 markings/sec, 165 secs
lola: 464387 markings, 599348 edges, 3214 markings/sec, 170 secs
lola: 480507 markings, 621185 edges, 3224 markings/sec, 175 secs
lola: 496526 markings, 642891 edges, 3204 markings/sec, 180 secs
lola: 512674 markings, 664146 edges, 3230 markings/sec, 185 secs
lola: 528739 markings, 685412 edges, 3213 markings/sec, 190 secs
lola: 544983 markings, 706747 edges, 3249 markings/sec, 195 secs
lola: 561145 markings, 728352 edges, 3232 markings/sec, 200 secs
lola: 577245 markings, 750060 edges, 3220 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: 123208 KB
lola: time consumption: 3570 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: 123208 KB
lola: time consumption: 3570 seconds

BK_STOP 1527036543151

--------------------
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-S04J04T10"
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-S04J04T10.tgz
mv PolyORBLF-PT-S04J04T10 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-S04J04T10, 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-152673527000191"
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 ;