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)
...........................................................................
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_PolyORBLF-COL-S04J06T10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-149441681500362
=====================================================================

--------------------
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-COL-S04J06T10-UpperBounds-0
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-1
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-10
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-11
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-12
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-13
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-14
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-15
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-2
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-3
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-4
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-5
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-6
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-7
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-8
FORMULA_NAME PolyORBLF-COL-S04J06T10-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496410532674


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBLF-COL-S04J06T10: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBLF-COL-S04J06T10: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PolyORBLF-COL-S04J06T10 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 6320/65536 symbol table entries, 1380 collisions
lola: preprocessing...
lola: finding significant places
lola: 966 places, 5354 transitions, 904 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3657 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S04J06T10-UpperBounds.task
lola: MAX(p933) : MAX(p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479) : MAX(p804) : MAX(p884) : MAX(p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363) : MAX(p838 + p839 + p840 + p841 + p842 + p843 + p844 + p845 + p846 + p847) : MAX(p884) : MAX(p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16) : MAX(p28) : MAX(p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405) : MAX(p326 + p327 + p328 + p329 + p330 + p331 + p332) : MAX(p47 + p46 + p45 + p44 + p43 + p42 + p41 + p40 + p39 + p48) : MAX(p469) : MAX(p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395) : MAX(p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165) : MAX(p633 + p634 + p635 + p636 + p637 + p638 + p639 + p640 + p641 + p642)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p933)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 bytes per marking, with 0 unused bits
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: 16049 markings, 16302 edges, 3210 markings/sec, 0 secs
lola: 32026 markings, 32720 edges, 3195 markings/sec, 5 secs
lola: 47835 markings, 49131 edges, 3162 markings/sec, 10 secs
lola: 63781 markings, 65599 edges, 3189 markings/sec, 15 secs
lola: 79588 markings, 82051 edges, 3161 markings/sec, 20 secs
lola: 95534 markings, 98671 edges, 3189 markings/sec, 25 secs
lola: 111484 markings, 115175 edges, 3190 markings/sec, 30 secs
lola: 127370 markings, 131921 edges, 3177 markings/sec, 35 secs
lola: 143345 markings, 148476 edges, 3195 markings/sec, 40 secs
lola: 158980 markings, 165056 edges, 3127 markings/sec, 45 secs
lola: 175092 markings, 181707 edges, 3222 markings/sec, 50 secs
lola: 191150 markings, 198329 edges, 3212 markings/sec, 55 secs
lola: 207306 markings, 215022 edges, 3231 markings/sec, 60 secs
lola: 223311 markings, 231782 edges, 3201 markings/sec, 65 secs
lola: 239406 markings, 248576 edges, 3219 markings/sec, 70 secs
lola: 255062 markings, 265351 edges, 3131 markings/sec, 75 secs
lola: 271080 markings, 281956 edges, 3204 markings/sec, 80 secs
lola: 286335 markings, 298385 edges, 3051 markings/sec, 85 secs
lola: 302305 markings, 315061 edges, 3194 markings/sec, 90 secs
lola: 317995 markings, 331859 edges, 3138 markings/sec, 95 secs
lola: 333918 markings, 348548 edges, 3185 markings/sec, 100 secs
lola: 349882 markings, 365294 edges, 3193 markings/sec, 105 secs
lola: 365532 markings, 382053 edges, 3130 markings/sec, 110 secs
lola: 381406 markings, 399003 edges, 3175 markings/sec, 115 secs
lola: 397514 markings, 415852 edges, 3222 markings/sec, 120 secs
lola: 412575 markings, 431973 edges, 3012 markings/sec, 125 secs
lola: 427376 markings, 448142 edges, 2960 markings/sec, 130 secs
lola: 442326 markings, 464378 edges, 2990 markings/sec, 135 secs
lola: 457684 markings, 480232 edges, 3072 markings/sec, 140 secs
lola: 472983 markings, 496423 edges, 3060 markings/sec, 145 secs
lola: 488076 markings, 512604 edges, 3019 markings/sec, 150 secs
lola: 503558 markings, 528725 edges, 3096 markings/sec, 155 secs
lola: 518605 markings, 544765 edges, 3009 markings/sec, 160 secs
lola: 533475 markings, 560840 edges, 2974 markings/sec, 165 secs
lola: 548439 markings, 576937 edges, 2993 markings/sec, 170 secs
lola: 563680 markings, 593003 edges, 3048 markings/sec, 175 secs
lola: 579128 markings, 609049 edges, 3090 markings/sec, 180 secs
lola: 594295 markings, 625213 edges, 3033 markings/sec, 185 secs
lola: 609375 markings, 641302 edges, 3016 markings/sec, 190 secs
lola: 624762 markings, 657277 edges, 3077 markings/sec, 195 secs
lola: 640023 markings, 673382 edges, 3052 markings/sec, 200 secs
lola: 655146 markings, 689485 edges, 3025 markings/sec, 205 secs
lola: 670285 markings, 705387 edges, 3028 markings/sec, 210 secs
lola: 685548 markings, 721292 edges, 3053 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 bytes per marking, with 0 unused bits
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: 15804 markings, 16249 edges, 3161 markings/sec, 0 secs
lola: 31804 markings, 32589 edges, 3200 markings/sec, 5 secs
lola: 47750 markings, 49034 edges, 3189 markings/sec, 10 secs
lola: 63639 markings, 65579 edges, 3178 markings/sec, 15 secs
lola: 79492 markings, 82145 edges, 3171 markings/sec, 20 secs
lola: 95366 markings, 98682 edges, 3175 markings/sec, 25 secs
lola: 111208 markings, 115528 edges, 3168 markings/sec, 30 secs
lola: 127061 markings, 132163 edges, 3171 markings/sec, 35 secs
lola: 142881 markings, 148942 edges, 3164 markings/sec, 40 secs
lola: 158552 markings, 165505 edges, 3134 markings/sec, 45 secs
lola: 173716 markings, 181673 edges, 3033 markings/sec, 50 secs
lola: 188856 markings, 197646 edges, 3028 markings/sec, 55 secs
lola: 204040 markings, 213983 edges, 3037 markings/sec, 60 secs
lola: 219152 markings, 230139 edges, 3022 markings/sec, 65 secs
lola: 234091 markings, 246436 edges, 2988 markings/sec, 70 secs
lola: 249065 markings, 262853 edges, 2995 markings/sec, 75 secs
lola: 264037 markings, 278432 edges, 2994 markings/sec, 80 secs
lola: 278952 markings, 294491 edges, 2983 markings/sec, 85 secs
lola: 293883 markings, 310189 edges, 2986 markings/sec, 90 secs
lola: 308653 markings, 326331 edges, 2954 markings/sec, 95 secs
lola: 323557 markings, 342633 edges, 2981 markings/sec, 100 secs
lola: 338387 markings, 358631 edges, 2966 markings/sec, 105 secs
lola: 353485 markings, 375070 edges, 3020 markings/sec, 110 secs
lola: 368517 markings, 391533 edges, 3006 markings/sec, 115 secs
lola: 384204 markings, 408698 edges, 3137 markings/sec, 120 secs
lola: 400105 markings, 425780 edges, 3180 markings/sec, 125 secs
lola: 415689 markings, 442664 edges, 3117 markings/sec, 130 secs
lola: 431548 markings, 460026 edges, 3172 markings/sec, 135 secs
lola: 447204 markings, 477307 edges, 3131 markings/sec, 140 secs
lola: 462976 markings, 494313 edges, 3154 markings/sec, 145 secs
lola: 478614 markings, 511209 edges, 3128 markings/sec, 150 secs
lola: 494254 markings, 528124 edges, 3128 markings/sec, 155 secs
lola: 510010 markings, 545379 edges, 3151 markings/sec, 160 secs
lola: 525742 markings, 562770 edges, 3146 markings/sec, 165 secs
lola: 541326 markings, 579793 edges, 3117 markings/sec, 170 secs
lola: 556900 markings, 596713 edges, 3115 markings/sec, 175 secs
lola: 572611 markings, 613840 edges, 3142 markings/sec, 180 secs
lola: 588366 markings, 631348 edges, 3151 markings/sec, 185 secs
lola: 604170 markings, 648532 edges, 3161 markings/sec, 190 secs
lola: 619941 markings, 666054 edges, 3154 markings/sec, 195 secs
lola: 635680 markings, 683368 edges, 3148 markings/sec, 200 secs
lola: 651455 markings, 700601 edges, 3155 markings/sec, 205 secs
lola: 666839 markings, 718331 edges, 3077 markings/sec, 210 secs
lola: 682418 markings, 735468 edges, 3116 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p804)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 bytes per marking, with 0 unused bits
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: 15406 markings, 15840 edges, 3081 markings/sec, 0 secs
lola: 30773 markings, 31550 edges, 3073 markings/sec, 5 secs
lola: 46050 markings, 47366 edges, 3055 markings/sec, 10 secs
lola: 61305 markings, 63197 edges, 3051 markings/sec, 15 secs
lola: 76474 markings, 79235 edges, 3034 markings/sec, 20 secs
lola: 91691 markings, 95071 edges, 3043 markings/sec, 25 secs
lola: 106863 markings, 111163 edges, 3034 markings/sec, 30 secs
lola: 122020 markings, 127228 edges, 3031 markings/sec, 35 secs
lola: 137168 markings, 143237 edges, 3030 markings/sec, 40 secs
lola: 152402 markings, 159333 edges, 3047 markings/sec, 45 secs
lola: 167598 markings, 175549 edges, 3039 markings/sec, 50 secs
lola: 182804 markings, 191934 edges, 3041 markings/sec, 55 secs
lola: 198042 markings, 208072 edges, 3048 markings/sec, 60 secs
lola: 213221 markings, 224485 edges, 3036 markings/sec, 65 secs
lola: 228357 markings, 240659 edges, 3027 markings/sec, 70 secs
lola: 243454 markings, 257243 edges, 3019 markings/sec, 75 secs
lola: 258673 markings, 273777 edges, 3044 markings/sec, 80 secs
lola: 273925 markings, 289688 edges, 3050 markings/sec, 85 secs
lola: 288909 markings, 306010 edges, 2997 markings/sec, 90 secs
lola: 304025 markings, 322280 edges, 3023 markings/sec, 95 secs
lola: 319187 markings, 338719 edges, 3032 markings/sec, 100 secs
lola: 334244 markings, 355310 edges, 3011 markings/sec, 105 secs
lola: 349357 markings, 371948 edges, 3023 markings/sec, 110 secs
lola: 364432 markings, 388459 edges, 3015 markings/sec, 115 secs
lola: 379489 markings, 405072 edges, 3011 markings/sec, 120 secs
lola: 394455 markings, 421338 edges, 2993 markings/sec, 125 secs
lola: 409423 markings, 437666 edges, 2994 markings/sec, 130 secs
lola: 424483 markings, 453614 edges, 3012 markings/sec, 135 secs
lola: 439418 markings, 470277 edges, 2987 markings/sec, 140 secs
lola: 454998 markings, 487433 edges, 3116 markings/sec, 145 secs
lola: 470701 markings, 504284 edges, 3141 markings/sec, 150 secs
lola: 486317 markings, 521570 edges, 3123 markings/sec, 155 secs
lola: 502001 markings, 538466 edges, 3137 markings/sec, 160 secs
lola: 517586 markings, 555471 edges, 3117 markings/sec, 165 secs
lola: 533141 markings, 572357 edges, 3111 markings/sec, 170 secs
lola: 548790 markings, 589766 edges, 3130 markings/sec, 175 secs
lola: 564510 markings, 607273 edges, 3144 markings/sec, 180 secs
lola: 580157 markings, 624739 edges, 3129 markings/sec, 185 secs
lola: 595723 markings, 641767 edges, 3113 markings/sec, 190 secs
lola: 611248 markings, 659159 edges, 3105 markings/sec, 195 secs
lola: 626934 markings, 676464 edges, 3137 markings/sec, 200 secs
lola: 642799 markings, 693914 edges, 3173 markings/sec, 205 secs
lola: 658463 markings, 711345 edges, 3133 markings/sec, 210 secs
lola: 674223 markings, 727867 edges, 3152 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p884)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 bytes per marking, with 0 unused bits
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: 15616 markings, 16180 edges, 3123 markings/sec, 0 secs
lola: 30646 markings, 31939 edges, 3006 markings/sec, 5 secs
lola: 46096 markings, 48203 edges, 3090 markings/sec, 10 secs
lola: 61230 markings, 64241 edges, 3027 markings/sec, 15 secs
lola: 76565 markings, 80547 edges, 3067 markings/sec, 20 secs
lola: 91912 markings, 97147 edges, 3069 markings/sec, 25 secs
lola: 106922 markings, 113523 edges, 3002 markings/sec, 30 secs
lola: 121915 markings, 129831 edges, 2999 markings/sec, 35 secs
lola: 137204 markings, 146422 edges, 3058 markings/sec, 40 secs
lola: 152386 markings, 162359 edges, 3036 markings/sec, 45 secs
lola: 167548 markings, 178888 edges, 3032 markings/sec, 50 secs
lola: 182580 markings, 195409 edges, 3006 markings/sec, 55 secs
lola: 197755 markings, 212005 edges, 3035 markings/sec, 60 secs
lola: 212771 markings, 228238 edges, 3003 markings/sec, 65 secs
lola: 227948 markings, 244963 edges, 3035 markings/sec, 70 secs
lola: 243358 markings, 261436 edges, 3082 markings/sec, 75 secs
lola: 258856 markings, 278441 edges, 3100 markings/sec, 80 secs
lola: 274201 markings, 295251 edges, 3069 markings/sec, 85 secs
lola: 289616 markings, 311583 edges, 3083 markings/sec, 90 secs
lola: 304960 markings, 328580 edges, 3069 markings/sec, 95 secs
lola: 320411 markings, 345763 edges, 3090 markings/sec, 100 secs
lola: 335885 markings, 363200 edges, 3095 markings/sec, 105 secs
lola: 351246 markings, 380427 edges, 3072 markings/sec, 110 secs
lola: 366600 markings, 396921 edges, 3071 markings/sec, 115 secs
lola: 382153 markings, 413641 edges, 3111 markings/sec, 120 secs
lola: 397738 markings, 430424 edges, 3117 markings/sec, 125 secs
lola: 413052 markings, 447633 edges, 3063 markings/sec, 130 secs
lola: 428647 markings, 464459 edges, 3119 markings/sec, 135 secs
lola: 443826 markings, 481714 edges, 3036 markings/sec, 140 secs
lola: 459254 markings, 498749 edges, 3086 markings/sec, 145 secs
lola: 474488 markings, 515941 edges, 3047 markings/sec, 150 secs
lola: 489793 markings, 533544 edges, 3061 markings/sec, 155 secs
lola: 505344 markings, 550455 edges, 3110 markings/sec, 160 secs
lola: 520666 markings, 568056 edges, 3064 markings/sec, 165 secs
lola: 536154 markings, 585052 edges, 3098 markings/sec, 170 secs
lola: 551421 markings, 602288 edges, 3053 markings/sec, 175 secs
lola: 566908 markings, 618909 edges, 3097 markings/sec, 180 secs
lola: 582319 markings, 635857 edges, 3082 markings/sec, 185 secs
lola: 597631 markings, 652432 edges, 3062 markings/sec, 190 secs
lola: 612744 markings, 668481 edges, 3023 markings/sec, 195 secs
lola: 627455 markings, 684798 edges, 2942 markings/sec, 200 secs
lola: 642519 markings, 700963 edges, 3013 markings/sec, 205 secs
lola: 657167 markings, 718042 edges, 2930 markings/sec, 210 secs
lola: 672112 markings, 734754 edges, 2989 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 + p362 + p363)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 bytes per marking, with 0 unused bits
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: 16373 markings, 16590 edges, 3275 markings/sec, 0 secs
lola: 32354 markings, 33199 edges, 3196 markings/sec, 5 secs
lola: 48288 markings, 49816 edges, 3187 markings/sec, 10 secs
lola: 64493 markings, 66501 edges, 3241 markings/sec, 15 secs
lola: 80586 markings, 83130 edges, 3219 markings/sec, 20 secs
lola: 96887 markings, 99813 edges, 3260 markings/sec, 25 secs
lola: 113174 markings, 116608 edges, 3257 markings/sec, 30 secs
lola: 129379 markings, 133473 edges, 3241 markings/sec, 35 secs
lola: 145717 markings, 150340 edges, 3268 markings/sec, 40 secs
lola: 161891 markings, 167150 edges, 3235 markings/sec, 45 secs
lola: 178223 markings, 184051 edges, 3266 markings/sec, 50 secs
lola: 194557 markings, 200956 edges, 3267 markings/sec, 55 secs
lola: 210851 markings, 217915 edges, 3259 markings/sec, 60 secs
lola: 227224 markings, 234910 edges, 3275 markings/sec, 65 secs
lola: 243619 markings, 251931 edges, 3279 markings/sec, 70 secs
lola: 260048 markings, 268874 edges, 3286 markings/sec, 75 secs
lola: 276364 markings, 285801 edges, 3263 markings/sec, 80 secs
lola: 292867 markings, 302940 edges, 3301 markings/sec, 85 secs
lola: 309292 markings, 319995 edges, 3285 markings/sec, 90 secs
lola: 325599 markings, 336954 edges, 3261 markings/sec, 95 secs
lola: 342015 markings, 353968 edges, 3283 markings/sec, 100 secs
lola: 358373 markings, 371071 edges, 3272 markings/sec, 105 secs
lola: 374585 markings, 388093 edges, 3242 markings/sec, 110 secs
lola: 390900 markings, 405079 edges, 3263 markings/sec, 115 secs
lola: 407265 markings, 422145 edges, 3273 markings/sec, 120 secs
lola: 423623 markings, 439143 edges, 3272 markings/sec, 125 secs
lola: 439959 markings, 456141 edges, 3267 markings/sec, 130 secs
lola: 456268 markings, 473192 edges, 3262 markings/sec, 135 secs
lola: 472620 markings, 490295 edges, 3270 markings/sec, 140 secs
lola: 489010 markings, 507252 edges, 3278 markings/sec, 145 secs
lola: 505244 markings, 524337 edges, 3247 markings/sec, 150 secs
lola: 521605 markings, 541213 edges, 3272 markings/sec, 155 secs
lola: 537903 markings, 558187 edges, 3260 markings/sec, 160 secs
lola: 554332 markings, 575302 edges, 3286 markings/sec, 165 secs
lola: 570692 markings, 592425 edges, 3272 markings/sec, 170 secs
lola: 586996 markings, 609491 edges, 3261 markings/sec, 175 secs
lola: 603230 markings, 626270 edges, 3247 markings/sec, 180 secs
lola: 619549 markings, 643279 edges, 3264 markings/sec, 185 secs
lola: 635859 markings, 660211 edges, 3262 markings/sec, 190 secs
lola: 652099 markings, 677268 edges, 3248 markings/sec, 195 secs
lola: 668411 markings, 694247 edges, 3262 markings/sec, 200 secs
lola: 684583 markings, 711296 edges, 3234 markings/sec, 205 secs
lola: 700941 markings, 728324 edges, 3272 markings/sec, 210 secs
lola: 717120 markings, 745283 edges, 3236 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p838 + p839 + p840 + p841 + p842 + p843 + p844 + p845 + p846 + p847)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 bytes per marking, with 0 unused bits
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: 15988 markings, 16439 edges, 3198 markings/sec, 0 secs
lola: 31931 markings, 32736 edges, 3189 markings/sec, 5 secs
lola: 47793 markings, 49131 edges, 3172 markings/sec, 10 secs
lola: 63605 markings, 65632 edges, 3162 markings/sec, 15 secs
lola: 78928 markings, 81735 edges, 3065 markings/sec, 20 secs
lola: 94639 markings, 98122 edges, 3142 markings/sec, 25 secs
lola: 110469 markings, 114980 edges, 3166 markings/sec, 30 secs
lola: 126274 markings, 131741 edges, 3161 markings/sec, 35 secs
lola: 142082 markings, 148515 edges, 3162 markings/sec, 40 secs
lola: 158001 markings, 165384 edges, 3184 markings/sec, 45 secs
lola: 173838 markings, 182336 edges, 3167 markings/sec, 50 secs
lola: 189685 markings, 199106 edges, 3169 markings/sec, 55 secs
lola: 205612 markings, 216342 edges, 3185 markings/sec, 60 secs
lola: 221491 markings, 233332 edges, 3176 markings/sec, 65 secs
lola: 237165 markings, 250580 edges, 3135 markings/sec, 70 secs
lola: 252986 markings, 267886 edges, 3164 markings/sec, 75 secs
lola: 268842 markings, 284479 edges, 3171 markings/sec, 80 secs
lola: 283985 markings, 300761 edges, 3029 markings/sec, 85 secs
lola: 299082 markings, 316878 edges, 3019 markings/sec, 90 secs
lola: 314512 markings, 333894 edges, 3086 markings/sec, 95 secs
lola: 330331 markings, 351148 edges, 3164 markings/sec, 100 secs
lola: 346123 markings, 368303 edges, 3158 markings/sec, 105 secs
lola: 361838 markings, 385625 edges, 3143 markings/sec, 110 secs
lola: 377589 markings, 402937 edges, 3150 markings/sec, 115 secs
lola: 393338 markings, 420152 edges, 3150 markings/sec, 120 secs
lola: 408961 markings, 437174 edges, 3125 markings/sec, 125 secs
lola: 424736 markings, 454366 edges, 3155 markings/sec, 130 secs
lola: 440418 markings, 471627 edges, 3136 markings/sec, 135 secs
lola: 456075 markings, 488893 edges, 3131 markings/sec, 140 secs
lola: 471805 markings, 505745 edges, 3146 markings/sec, 145 secs
lola: 487446 markings, 523011 edges, 3128 markings/sec, 150 secs
lola: 503026 markings, 539943 edges, 3116 markings/sec, 155 secs
lola: 518797 markings, 557341 edges, 3154 markings/sec, 160 secs
lola: 534434 markings, 574764 edges, 3127 markings/sec, 165 secs
lola: 549966 markings, 591880 edges, 3106 markings/sec, 170 secs
lola: 565642 markings, 608642 edges, 3135 markings/sec, 175 secs
lola: 581279 markings, 626058 edges, 3127 markings/sec, 180 secs
lola: 597014 markings, 643625 edges, 3147 markings/sec, 185 secs
lola: 612759 markings, 660818 edges, 3149 markings/sec, 190 secs
lola: 628486 markings, 678371 edges, 3145 markings/sec, 195 secs
lola: 644192 markings, 695678 edges, 3141 markings/sec, 200 secs
lola: 659747 markings, 713015 edges, 3111 markings/sec, 205 secs
lola: 675222 markings, 730560 edges, 3095 markings/sec, 210 secs
lola: 690822 markings, 747812 edges, 3120 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p884)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 bytes per marking, with 0 unused bits
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: 15731 markings, 16295 edges, 3146 markings/sec, 0 secs
lola: 31151 markings, 32476 edges, 3084 markings/sec, 5 secs
lola: 46729 markings, 48875 edges, 3116 markings/sec, 10 secs
lola: 62414 markings, 65472 edges, 3137 markings/sec, 15 secs
lola: 77972 markings, 82042 edges, 3112 markings/sec, 20 secs
lola: 93483 markings, 98780 edges, 3102 markings/sec, 25 secs
lola: 108885 markings, 115652 edges, 3080 markings/sec, 30 secs
lola: 124357 markings, 132406 edges, 3094 markings/sec, 35 secs
lola: 139776 markings, 149102 edges, 3084 markings/sec, 40 secs
lola: 155340 markings, 165599 edges, 3113 markings/sec, 45 secs
lola: 170825 markings, 182479 edges, 3097 markings/sec, 50 secs
lola: 186309 markings, 199315 edges, 3097 markings/sec, 55 secs
lola: 201839 markings, 216616 edges, 3106 markings/sec, 60 secs
lola: 217407 markings, 233366 edges, 3114 markings/sec, 65 secs
lola: 232948 markings, 250290 edges, 3108 markings/sec, 70 secs
lola: 248500 markings, 266874 edges, 3110 markings/sec, 75 secs
lola: 263986 markings, 284216 edges, 3097 markings/sec, 80 secs
lola: 279649 markings, 300946 edges, 3133 markings/sec, 85 secs
lola: 294957 markings, 317362 edges, 3062 markings/sec, 90 secs
lola: 310478 markings, 334760 edges, 3104 markings/sec, 95 secs
lola: 326072 markings, 352154 edges, 3119 markings/sec, 100 secs
lola: 341569 markings, 369401 edges, 3099 markings/sec, 105 secs
lola: 357128 markings, 386774 edges, 3112 markings/sec, 110 secs
lola: 372572 markings, 403378 edges, 3089 markings/sec, 115 secs
lola: 388175 markings, 420300 edges, 3121 markings/sec, 120 secs
lola: 403823 markings, 437250 edges, 3130 markings/sec, 125 secs
lola: 419376 markings, 454232 edges, 3111 markings/sec, 130 secs
lola: 434839 markings, 471569 edges, 3093 markings/sec, 135 secs
lola: 450243 markings, 489021 edges, 3081 markings/sec, 140 secs
lola: 465778 markings, 506010 edges, 3107 markings/sec, 145 secs
lola: 480995 markings, 523575 edges, 3043 markings/sec, 150 secs
lola: 496597 markings, 541007 edges, 3120 markings/sec, 155 secs
lola: 512292 markings, 558306 edges, 3139 markings/sec, 160 secs
lola: 527678 markings, 575592 edges, 3077 markings/sec, 165 secs
lola: 543178 markings, 593008 edges, 3100 markings/sec, 170 secs
lola: 558685 markings, 610183 edges, 3101 markings/sec, 175 secs
lola: 574132 markings, 626899 edges, 3089 markings/sec, 180 secs
lola: 589679 markings, 643845 edges, 3109 markings/sec, 185 secs
lola: 605010 markings, 660360 edges, 3066 markings/sec, 190 secs
lola: 620703 markings, 677349 edges, 3139 markings/sec, 195 secs
lola: 636373 markings, 694215 edges, 3134 markings/sec, 200 secs
lola: 651946 markings, 711882 edges, 3115 markings/sec, 205 secs
lola: 667322 markings, 729421 edges, 3075 markings/sec, 210 secs
lola: 682630 markings, 746734 edges, 3062 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p7 + p8 + p9 + p10 + p11 + p12 + p13 + p14 + p15 + p16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 bytes per marking, with 0 unused bits
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: 16471 markings, 17089 edges, 3294 markings/sec, 0 secs
lola: 32310 markings, 33536 edges, 3168 markings/sec, 5 secs
lola: 48147 markings, 50152 edges, 3167 markings/sec, 10 secs
lola: 64019 markings, 66810 edges, 3174 markings/sec, 15 secs
lola: 79834 markings, 83633 edges, 3163 markings/sec, 20 secs
lola: 95648 markings, 100238 edges, 3163 markings/sec, 25 secs
lola: 111393 markings, 117015 edges, 3149 markings/sec, 30 secs
lola: 127171 markings, 133698 edges, 3156 markings/sec, 35 secs
lola: 142943 markings, 150177 edges, 3154 markings/sec, 40 secs
lola: 158863 markings, 167076 edges, 3184 markings/sec, 45 secs
lola: 175304 markings, 184524 edges, 3288 markings/sec, 50 secs
lola: 191723 markings, 202159 edges, 3284 markings/sec, 55 secs
lola: 208143 markings, 219816 edges, 3284 markings/sec, 60 secs
lola: 224614 markings, 237164 edges, 3294 markings/sec, 65 secs
lola: 241027 markings, 254490 edges, 3283 markings/sec, 70 secs
lola: 257461 markings, 271985 edges, 3287 markings/sec, 75 secs
lola: 273912 markings, 289428 edges, 3290 markings/sec, 80 secs
lola: 290358 markings, 306743 edges, 3289 markings/sec, 85 secs
lola: 306760 markings, 324213 edges, 3280 markings/sec, 90 secs
lola: 323176 markings, 341851 edges, 3283 markings/sec, 95 secs
lola: 339518 markings, 359183 edges, 3268 markings/sec, 100 secs
lola: 355968 markings, 376497 edges, 3290 markings/sec, 105 secs
lola: 372313 markings, 393798 edges, 3269 markings/sec, 110 secs
lola: 388730 markings, 411730 edges, 3283 markings/sec, 115 secs
lola: 405090 markings, 429279 edges, 3272 markings/sec, 120 secs
lola: 421523 markings, 446794 edges, 3287 markings/sec, 125 secs
lola: 437924 markings, 464404 edges, 3280 markings/sec, 130 secs
lola: 454272 markings, 482029 edges, 3270 markings/sec, 135 secs
lola: 470661 markings, 499329 edges, 3278 markings/sec, 140 secs
lola: 487067 markings, 516774 edges, 3281 markings/sec, 145 secs
lola: 503420 markings, 534224 edges, 3271 markings/sec, 150 secs
lola: 519858 markings, 551646 edges, 3288 markings/sec, 155 secs
lola: 536313 markings, 569429 edges, 3291 markings/sec, 160 secs
lola: 552761 markings, 586872 edges, 3290 markings/sec, 165 secs
lola: 569191 markings, 604556 edges, 3286 markings/sec, 170 secs
lola: 585533 markings, 622162 edges, 3268 markings/sec, 175 secs
lola: 601987 markings, 639912 edges, 3291 markings/sec, 180 secs
lola: 618319 markings, 657317 edges, 3266 markings/sec, 185 secs
lola: 634691 markings, 674947 edges, 3274 markings/sec, 190 secs
lola: 651108 markings, 692168 edges, 3283 markings/sec, 195 secs
lola: 667431 markings, 709684 edges, 3265 markings/sec, 200 secs
lola: 683777 markings, 727420 edges, 3269 markings/sec, 205 secs
lola: 700131 markings, 744935 edges, 3271 markings/sec, 210 secs
lola: 716424 markings, 762521 edges, 3259 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p28)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 bytes per marking, with 0 unused bits
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: 15741 markings, 15965 edges, 3148 markings/sec, 0 secs
lola: 31434 markings, 32003 edges, 3139 markings/sec, 5 secs
lola: 47192 markings, 48326 edges, 3152 markings/sec, 10 secs
lola: 62865 markings, 64454 edges, 3135 markings/sec, 15 secs
lola: 78464 markings, 80421 edges, 3120 markings/sec, 20 secs
lola: 94002 markings, 96493 edges, 3108 markings/sec, 25 secs
lola: 109663 markings, 112751 edges, 3132 markings/sec, 30 secs
lola: 125243 markings, 128938 edges, 3116 markings/sec, 35 secs
lola: 140835 markings, 145016 edges, 3118 markings/sec, 40 secs
lola: 156324 markings, 161182 edges, 3098 markings/sec, 45 secs
lola: 171766 markings, 177049 edges, 3088 markings/sec, 50 secs
lola: 187341 markings, 193127 edges, 3115 markings/sec, 55 secs
lola: 202873 markings, 209223 edges, 3106 markings/sec, 60 secs
lola: 218402 markings, 225317 edges, 3106 markings/sec, 65 secs
lola: 233972 markings, 241423 edges, 3114 markings/sec, 70 secs
lola: 249493 markings, 257404 edges, 3104 markings/sec, 75 secs
lola: 264909 markings, 273408 edges, 3083 markings/sec, 80 secs
lola: 280236 markings, 289369 edges, 3065 markings/sec, 85 secs
lola: 295734 markings, 305405 edges, 3100 markings/sec, 90 secs
lola: 311092 markings, 321454 edges, 3072 markings/sec, 95 secs
lola: 326589 markings, 337542 edges, 3099 markings/sec, 100 secs
lola: 341933 markings, 353398 edges, 3069 markings/sec, 105 secs
lola: 357349 markings, 369468 edges, 3083 markings/sec, 110 secs
lola: 372640 markings, 385357 edges, 3058 markings/sec, 115 secs
lola: 388061 markings, 401296 edges, 3084 markings/sec, 120 secs
lola: 403469 markings, 417441 edges, 3082 markings/sec, 125 secs
lola: 418845 markings, 433512 edges, 3075 markings/sec, 130 secs
lola: 434279 markings, 449460 edges, 3087 markings/sec, 135 secs
lola: 449765 markings, 465587 edges, 3097 markings/sec, 140 secs
lola: 465161 markings, 481771 edges, 3079 markings/sec, 145 secs
lola: 480488 markings, 497525 edges, 3065 markings/sec, 150 secs
lola: 495899 markings, 513510 edges, 3082 markings/sec, 155 secs
lola: 511216 markings, 529419 edges, 3063 markings/sec, 160 secs
lola: 527171 markings, 546100 edges, 3191 markings/sec, 165 secs
lola: 543307 markings, 562899 edges, 3227 markings/sec, 170 secs
lola: 559060 markings, 579355 edges, 3151 markings/sec, 175 secs
lola: 574977 markings, 595953 edges, 3183 markings/sec, 180 secs
lola: 590984 markings, 612545 edges, 3201 markings/sec, 185 secs
lola: 606870 markings, 629086 edges, 3177 markings/sec, 190 secs
lola: 622465 markings, 645349 edges, 3119 markings/sec, 195 secs
lola: 637754 markings, 661270 edges, 3058 markings/sec, 200 secs
lola: 653165 markings, 677233 edges, 3082 markings/sec, 205 secs
lola: 668433 markings, 693058 edges, 3054 markings/sec, 210 secs
lola: 683768 markings, 709032 edges, 3067 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 bytes per marking, with 0 unused bits
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: 15027 markings, 15576 edges, 3005 markings/sec, 0 secs
lola: 29987 markings, 31305 edges, 2992 markings/sec, 5 secs
lola: 44879 markings, 46890 edges, 2978 markings/sec, 10 secs
lola: 59664 markings, 62301 edges, 2957 markings/sec, 15 secs
lola: 74365 markings, 77811 edges, 2940 markings/sec, 20 secs
lola: 89149 markings, 93287 edges, 2957 markings/sec, 25 secs
lola: 103884 markings, 109145 edges, 2947 markings/sec, 30 secs
lola: 118630 markings, 124851 edges, 2949 markings/sec, 35 secs
lola: 133476 markings, 140843 edges, 2969 markings/sec, 40 secs
lola: 148022 markings, 156311 edges, 2909 markings/sec, 45 secs
lola: 162729 markings, 172499 edges, 2941 markings/sec, 50 secs
lola: 177581 markings, 188150 edges, 2970 markings/sec, 55 secs
lola: 192534 markings, 204161 edges, 2991 markings/sec, 60 secs
lola: 207304 markings, 219799 edges, 2954 markings/sec, 65 secs
lola: 221670 markings, 235855 edges, 2873 markings/sec, 70 secs
lola: 236136 markings, 252111 edges, 2893 markings/sec, 75 secs
lola: 250659 markings, 268245 edges, 2905 markings/sec, 80 secs
lola: 265298 markings, 283788 edges, 2928 markings/sec, 85 secs
lola: 279949 markings, 299999 edges, 2930 markings/sec, 90 secs
lola: 294744 markings, 315499 edges, 2959 markings/sec, 95 secs
lola: 309494 markings, 331577 edges, 2950 markings/sec, 100 secs
lola: 324366 markings, 347539 edges, 2974 markings/sec, 105 secs
lola: 338978 markings, 363220 edges, 2922 markings/sec, 110 secs
lola: 353499 markings, 379060 edges, 2904 markings/sec, 115 secs
lola: 367791 markings, 394836 edges, 2858 markings/sec, 120 secs
lola: 382371 markings, 410561 edges, 2916 markings/sec, 125 secs
lola: 396850 markings, 426533 edges, 2896 markings/sec, 130 secs
lola: 411210 markings, 442552 edges, 2872 markings/sec, 135 secs
lola: 425791 markings, 458464 edges, 2916 markings/sec, 140 secs
lola: 440230 markings, 474411 edges, 2888 markings/sec, 145 secs
lola: 454749 markings, 490101 edges, 2904 markings/sec, 150 secs
lola: 469360 markings, 506141 edges, 2922 markings/sec, 155 secs
lola: 483731 markings, 522281 edges, 2874 markings/sec, 160 secs
lola: 497989 markings, 538186 edges, 2852 markings/sec, 165 secs
lola: 512413 markings, 554264 edges, 2885 markings/sec, 170 secs
lola: 526846 markings, 570660 edges, 2887 markings/sec, 175 secs
lola: 541545 markings, 587137 edges, 2940 markings/sec, 180 secs
lola: 556309 markings, 603198 edges, 2953 markings/sec, 185 secs
lola: 570595 markings, 619673 edges, 2857 markings/sec, 190 secs
lola: 585168 markings, 635928 edges, 2915 markings/sec, 195 secs
lola: 599726 markings, 651942 edges, 2912 markings/sec, 200 secs
lola: 614205 markings, 668296 edges, 2896 markings/sec, 205 secs
lola: 628792 markings, 684457 edges, 2917 markings/sec, 210 secs
lola: 643188 markings, 700675 edges, 2879 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p326 + p327 + p328 + p329 + p330 + p331 + p332)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 bytes per marking, with 0 unused bits
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: 15459 markings, 15885 edges, 3092 markings/sec, 0 secs
lola: 30885 markings, 31752 edges, 3085 markings/sec, 5 secs
lola: 46229 markings, 47553 edges, 3069 markings/sec, 10 secs
lola: 61430 markings, 63450 edges, 3040 markings/sec, 15 secs
lola: 76648 markings, 79384 edges, 3044 markings/sec, 20 secs
lola: 91834 markings, 95583 edges, 3037 markings/sec, 25 secs
lola: 107106 markings, 111461 edges, 3054 markings/sec, 30 secs
lola: 122457 markings, 127329 edges, 3070 markings/sec, 35 secs
lola: 137738 markings, 143448 edges, 3056 markings/sec, 40 secs
lola: 152980 markings, 159621 edges, 3048 markings/sec, 45 secs
lola: 168382 markings, 175976 edges, 3080 markings/sec, 50 secs
lola: 184065 markings, 192852 edges, 3137 markings/sec, 55 secs
lola: 199781 markings, 209641 edges, 3143 markings/sec, 60 secs
lola: 215546 markings, 226455 edges, 3153 markings/sec, 65 secs
lola: 231217 markings, 243533 edges, 3134 markings/sec, 70 secs
lola: 246709 markings, 260029 edges, 3098 markings/sec, 75 secs
lola: 262349 markings, 276786 edges, 3128 markings/sec, 80 secs
lola: 278099 markings, 293918 edges, 3150 markings/sec, 85 secs
lola: 293756 markings, 311099 edges, 3131 markings/sec, 90 secs
lola: 309631 markings, 328139 edges, 3175 markings/sec, 95 secs
lola: 325537 markings, 345570 edges, 3181 markings/sec, 100 secs
lola: 341360 markings, 362591 edges, 3165 markings/sec, 105 secs
lola: 357070 markings, 379844 edges, 3142 markings/sec, 110 secs
lola: 372683 markings, 397048 edges, 3123 markings/sec, 115 secs
lola: 388253 markings, 414151 edges, 3114 markings/sec, 120 secs
lola: 403911 markings, 431228 edges, 3132 markings/sec, 125 secs
lola: 419545 markings, 448474 edges, 3127 markings/sec, 130 secs
lola: 435487 markings, 466131 edges, 3188 markings/sec, 135 secs
lola: 451234 markings, 483767 edges, 3149 markings/sec, 140 secs
lola: 467021 markings, 501117 edges, 3157 markings/sec, 145 secs
lola: 482716 markings, 518376 edges, 3139 markings/sec, 150 secs
lola: 498284 markings, 535797 edges, 3114 markings/sec, 155 secs
lola: 513946 markings, 553052 edges, 3132 markings/sec, 160 secs
lola: 529662 markings, 570367 edges, 3143 markings/sec, 165 secs
lola: 545417 markings, 587791 edges, 3151 markings/sec, 170 secs
lola: 561156 markings, 605200 edges, 3148 markings/sec, 175 secs
lola: 576761 markings, 622406 edges, 3121 markings/sec, 180 secs
lola: 592500 markings, 639529 edges, 3148 markings/sec, 185 secs
lola: 608070 markings, 656491 edges, 3114 markings/sec, 190 secs
lola: 623758 markings, 674004 edges, 3138 markings/sec, 195 secs
lola: 639602 markings, 691019 edges, 3169 markings/sec, 200 secs
lola: 655356 markings, 708371 edges, 3151 markings/sec, 205 secs
lola: 671149 markings, 725982 edges, 3159 markings/sec, 210 secs
lola: 686712 markings, 743284 edges, 3113 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p47 + p46 + p45 + p44 + p43 + p42 + p41 + p40 + p39 + p48)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 bytes per marking, with 0 unused bits
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: 15244 markings, 15687 edges, 3049 markings/sec, 0 secs
lola: 30409 markings, 31193 edges, 3033 markings/sec, 5 secs
lola: 46292 markings, 47621 edges, 3177 markings/sec, 10 secs
lola: 61521 markings, 63440 edges, 3046 markings/sec, 15 secs
lola: 76647 markings, 79420 edges, 3025 markings/sec, 20 secs
lola: 91806 markings, 95205 edges, 3032 markings/sec, 25 secs
lola: 106934 markings, 111253 edges, 3026 markings/sec, 30 secs
lola: 122033 markings, 127272 edges, 3020 markings/sec, 35 secs
lola: 137119 markings, 143213 edges, 3017 markings/sec, 40 secs
lola: 152292 markings, 159248 edges, 3035 markings/sec, 45 secs
lola: 167421 markings, 175400 edges, 3026 markings/sec, 50 secs
lola: 182566 markings, 191712 edges, 3029 markings/sec, 55 secs
lola: 197737 markings, 207772 edges, 3034 markings/sec, 60 secs
lola: 212890 markings, 224166 edges, 3031 markings/sec, 65 secs
lola: 227927 markings, 240310 edges, 3007 markings/sec, 70 secs
lola: 242968 markings, 256931 edges, 3008 markings/sec, 75 secs
lola: 258057 markings, 273181 edges, 3018 markings/sec, 80 secs
lola: 273186 markings, 289100 edges, 3026 markings/sec, 85 secs
lola: 288314 markings, 305103 edges, 3026 markings/sec, 90 secs
lola: 303380 markings, 321452 edges, 3013 markings/sec, 95 secs
lola: 318254 markings, 337995 edges, 2975 markings/sec, 100 secs
lola: 333329 markings, 354373 edges, 3015 markings/sec, 105 secs
lola: 348423 markings, 370734 edges, 3019 markings/sec, 110 secs
lola: 363486 markings, 387458 edges, 3013 markings/sec, 115 secs
lola: 378517 markings, 404037 edges, 3006 markings/sec, 120 secs
lola: 393564 markings, 420359 edges, 3009 markings/sec, 125 secs
lola: 408396 markings, 436647 edges, 2966 markings/sec, 130 secs
lola: 423478 markings, 453035 edges, 3016 markings/sec, 135 secs
lola: 438488 markings, 469546 edges, 3002 markings/sec, 140 secs
lola: 453424 markings, 486086 edges, 2987 markings/sec, 145 secs
lola: 468391 markings, 502166 edges, 2993 markings/sec, 150 secs
lola: 483336 markings, 518551 edges, 2989 markings/sec, 155 secs
lola: 498248 markings, 534751 edges, 2982 markings/sec, 160 secs
lola: 513302 markings, 551354 edges, 3011 markings/sec, 165 secs
lola: 528327 markings, 568025 edges, 3005 markings/sec, 170 secs
lola: 543165 markings, 584363 edges, 2968 markings/sec, 175 secs
lola: 557991 markings, 600848 edges, 2965 markings/sec, 180 secs
lola: 572894 markings, 616937 edges, 2981 markings/sec, 185 secs
lola: 587993 markings, 633793 edges, 3020 markings/sec, 190 secs
lola: 602955 markings, 650355 edges, 2992 markings/sec, 195 secs
lola: 617955 markings, 666887 edges, 3000 markings/sec, 200 secs
lola: 633037 markings, 683701 edges, 3016 markings/sec, 205 secs
lola: 648060 markings, 700118 edges, 3005 markings/sec, 210 secs
lola: 662764 markings, 717125 edges, 2941 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p469)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 bytes per marking, with 0 unused bits
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: 15604 markings, 16086 edges, 3121 markings/sec, 0 secs
lola: 31024 markings, 31925 edges, 3084 markings/sec, 5 secs
lola: 46545 markings, 47822 edges, 3104 markings/sec, 10 secs
lola: 62505 markings, 64214 edges, 3192 markings/sec, 15 secs
lola: 78538 markings, 81040 edges, 3207 markings/sec, 20 secs
lola: 94489 markings, 97488 edges, 3190 markings/sec, 25 secs
lola: 110470 markings, 114189 edges, 3196 markings/sec, 30 secs
lola: 126479 markings, 130875 edges, 3202 markings/sec, 35 secs
lola: 142429 markings, 147721 edges, 3190 markings/sec, 40 secs
lola: 158479 markings, 164688 edges, 3210 markings/sec, 45 secs
lola: 174482 markings, 181765 edges, 3201 markings/sec, 50 secs
lola: 190485 markings, 198792 edges, 3201 markings/sec, 55 secs
lola: 206319 markings, 215617 edges, 3167 markings/sec, 60 secs
lola: 221732 markings, 232177 edges, 3083 markings/sec, 65 secs
lola: 237328 markings, 248797 edges, 3119 markings/sec, 70 secs
lola: 252666 markings, 264996 edges, 3068 markings/sec, 75 secs
lola: 268226 markings, 281731 edges, 3112 markings/sec, 80 secs
lola: 283730 markings, 297871 edges, 3101 markings/sec, 85 secs
lola: 299611 markings, 314890 edges, 3176 markings/sec, 90 secs
lola: 315533 markings, 331905 edges, 3184 markings/sec, 95 secs
lola: 331456 markings, 349184 edges, 3185 markings/sec, 100 secs
lola: 347397 markings, 366394 edges, 3188 markings/sec, 105 secs
lola: 363257 markings, 383791 edges, 3172 markings/sec, 110 secs
lola: 378496 markings, 400276 edges, 3048 markings/sec, 115 secs
lola: 394447 markings, 417673 edges, 3190 markings/sec, 120 secs
lola: 410185 markings, 434683 edges, 3148 markings/sec, 125 secs
lola: 426073 markings, 451936 edges, 3178 markings/sec, 130 secs
lola: 441649 markings, 468585 edges, 3115 markings/sec, 135 secs
lola: 456552 markings, 484759 edges, 2981 markings/sec, 140 secs
lola: 471638 markings, 501189 edges, 3017 markings/sec, 145 secs
lola: 486822 markings, 517495 edges, 3037 markings/sec, 150 secs
lola: 502090 markings, 534324 edges, 3054 markings/sec, 155 secs
lola: 517239 markings, 550632 edges, 3030 markings/sec, 160 secs
lola: 532500 markings, 567267 edges, 3052 markings/sec, 165 secs
lola: 547630 markings, 583608 edges, 3026 markings/sec, 170 secs
lola: 562252 markings, 599735 edges, 2924 markings/sec, 175 secs
lola: 577251 markings, 616087 edges, 3000 markings/sec, 180 secs
lola: 592546 markings, 632899 edges, 3059 markings/sec, 185 secs
lola: 607677 markings, 649574 edges, 3026 markings/sec, 190 secs
lola: 622825 markings, 665718 edges, 3030 markings/sec, 195 secs
lola: 638141 markings, 682385 edges, 3063 markings/sec, 200 secs
lola: 653352 markings, 698790 edges, 3042 markings/sec, 205 secs
lola: 668005 markings, 714793 edges, 2931 markings/sec, 210 secs
lola: 683268 markings, 731459 edges, 3053 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 bytes per marking, with 0 unused bits
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: 15569 markings, 15746 edges, 3114 markings/sec, 0 secs
lola: 30710 markings, 31539 edges, 3028 markings/sec, 5 secs
lola: 45884 markings, 47329 edges, 3035 markings/sec, 10 secs
lola: 61305 markings, 63146 edges, 3084 markings/sec, 15 secs
lola: 76572 markings, 78968 edges, 3053 markings/sec, 20 secs
lola: 92012 markings, 94888 edges, 3088 markings/sec, 25 secs
lola: 107482 markings, 110728 edges, 3094 markings/sec, 30 secs
lola: 122937 markings, 126731 edges, 3091 markings/sec, 35 secs
lola: 138388 markings, 142752 edges, 3090 markings/sec, 40 secs
lola: 153827 markings, 158713 edges, 3088 markings/sec, 45 secs
lola: 169318 markings, 174823 edges, 3098 markings/sec, 50 secs
lola: 184782 markings, 190798 edges, 3093 markings/sec, 55 secs
lola: 200321 markings, 206881 edges, 3108 markings/sec, 60 secs
lola: 215838 markings, 223056 edges, 3103 markings/sec, 65 secs
lola: 231355 markings, 239123 edges, 3103 markings/sec, 70 secs
lola: 246957 markings, 255340 edges, 3120 markings/sec, 75 secs
lola: 262514 markings, 271342 edges, 3111 markings/sec, 80 secs
lola: 278061 markings, 287476 edges, 3109 markings/sec, 85 secs
lola: 293739 markings, 303782 edges, 3136 markings/sec, 90 secs
lola: 309386 markings, 320000 edges, 3129 markings/sec, 95 secs
lola: 324879 markings, 336085 edges, 3099 markings/sec, 100 secs
lola: 340500 markings, 352291 edges, 3124 markings/sec, 105 secs
lola: 356023 markings, 368469 edges, 3105 markings/sec, 110 secs
lola: 371534 markings, 384689 edges, 3102 markings/sec, 115 secs
lola: 386968 markings, 400794 edges, 3087 markings/sec, 120 secs
lola: 402532 markings, 417038 edges, 3113 markings/sec, 125 secs
lola: 418050 markings, 433133 edges, 3104 markings/sec, 130 secs
lola: 433655 markings, 449364 edges, 3121 markings/sec, 135 secs
lola: 449145 markings, 465477 edges, 3098 markings/sec, 140 secs
lola: 464691 markings, 481790 edges, 3109 markings/sec, 145 secs
lola: 480246 markings, 498017 edges, 3111 markings/sec, 150 secs
lola: 495766 markings, 514131 edges, 3104 markings/sec, 155 secs
lola: 511232 markings, 530342 edges, 3093 markings/sec, 160 secs
lola: 526752 markings, 546313 edges, 3104 markings/sec, 165 secs
lola: 542304 markings, 562572 edges, 3110 markings/sec, 170 secs
lola: 557882 markings, 578762 edges, 3116 markings/sec, 175 secs
lola: 573441 markings, 595107 edges, 3112 markings/sec, 180 secs
lola: 588897 markings, 611254 edges, 3091 markings/sec, 185 secs
lola: 604362 markings, 627212 edges, 3093 markings/sec, 190 secs
lola: 619852 markings, 643330 edges, 3098 markings/sec, 195 secs
lola: 635417 markings, 659573 edges, 3113 markings/sec, 200 secs
lola: 650911 markings, 675726 edges, 3099 markings/sec, 205 secs
lola: 666334 markings, 691879 edges, 3085 markings/sec, 210 secs
lola: 681769 markings, 708109 edges, 3087 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p156 + p157 + p158 + p159 + p160 + p161 + p162 + p163 + p164 + p165)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 bytes per marking, with 0 unused bits
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: 15780 markings, 15916 edges, 3156 markings/sec, 0 secs
lola: 31742 markings, 32192 edges, 3192 markings/sec, 5 secs
lola: 47488 markings, 48270 edges, 3149 markings/sec, 10 secs
lola: 63317 markings, 64542 edges, 3166 markings/sec, 15 secs
lola: 79137 markings, 80972 edges, 3164 markings/sec, 20 secs
lola: 94909 markings, 97271 edges, 3154 markings/sec, 25 secs
lola: 110877 markings, 113847 edges, 3194 markings/sec, 30 secs
lola: 127235 markings, 130702 edges, 3272 markings/sec, 35 secs
lola: 143584 markings, 147665 edges, 3270 markings/sec, 40 secs
lola: 160110 markings, 165024 edges, 3305 markings/sec, 45 secs
lola: 176578 markings, 182135 edges, 3294 markings/sec, 50 secs
lola: 193037 markings, 199212 edges, 3292 markings/sec, 55 secs
lola: 209493 markings, 216442 edges, 3291 markings/sec, 60 secs
lola: 225918 markings, 233691 edges, 3285 markings/sec, 65 secs
lola: 242429 markings, 251178 edges, 3302 markings/sec, 70 secs
lola: 258973 markings, 268728 edges, 3309 markings/sec, 75 secs
lola: 275342 markings, 285869 edges, 3274 markings/sec, 80 secs
lola: 291678 markings, 302821 edges, 3267 markings/sec, 85 secs
lola: 308104 markings, 320127 edges, 3285 markings/sec, 90 secs
lola: 324365 markings, 337023 edges, 3252 markings/sec, 95 secs
lola: 340668 markings, 353941 edges, 3261 markings/sec, 100 secs
lola: 357211 markings, 371538 edges, 3309 markings/sec, 105 secs
lola: 373700 markings, 389152 edges, 3298 markings/sec, 110 secs
lola: 390147 markings, 406614 edges, 3289 markings/sec, 115 secs
lola: 406595 markings, 424054 edges, 3290 markings/sec, 120 secs
lola: 423064 markings, 441613 edges, 3294 markings/sec, 125 secs
lola: 439392 markings, 458588 edges, 3266 markings/sec, 130 secs
lola: 455693 markings, 475647 edges, 3260 markings/sec, 135 secs
lola: 472190 markings, 493283 edges, 3299 markings/sec, 140 secs
lola: 488620 markings, 510750 edges, 3286 markings/sec, 145 secs
lola: 505025 markings, 528105 edges, 3281 markings/sec, 150 secs
lola: 521469 markings, 545669 edges, 3289 markings/sec, 155 secs
lola: 537859 markings, 562974 edges, 3278 markings/sec, 160 secs
lola: 554254 markings, 580214 edges, 3279 markings/sec, 165 secs
lola: 570621 markings, 597380 edges, 3273 markings/sec, 170 secs
lola: 587158 markings, 615096 edges, 3307 markings/sec, 175 secs
lola: 603525 markings, 632205 edges, 3273 markings/sec, 180 secs
lola: 619799 markings, 649144 edges, 3255 markings/sec, 185 secs
lola: 636212 markings, 666370 edges, 3283 markings/sec, 190 secs
lola: 652629 markings, 683638 edges, 3283 markings/sec, 195 secs
lola: 668792 markings, 700358 edges, 3233 markings/sec, 200 secs
lola: 685143 markings, 717453 edges, 3270 markings/sec, 205 secs
lola: 701537 markings, 734672 edges, 3279 markings/sec, 210 secs
lola: 718056 markings, 752398 edges, 3304 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p633 + p634 + p635 + p636 + p637 + p638 + p639 + p640 + p641 + p642)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3616 bytes per marking, with 0 unused bits
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: 16391 markings, 17044 edges, 3278 markings/sec, 0 secs
lola: 32953 markings, 34971 edges, 3312 markings/sec, 5 secs
lola: 49450 markings, 52762 edges, 3299 markings/sec, 10 secs
lola: 65983 markings, 70924 edges, 3307 markings/sec, 15 secs
lola: 82455 markings, 88760 edges, 3294 markings/sec, 20 secs
lola: 98965 markings, 107161 edges, 3302 markings/sec, 25 secs
lola: 115608 markings, 125642 edges, 3329 markings/sec, 30 secs
lola: 132230 markings, 144874 edges, 3324 markings/sec, 35 secs
lola: 148877 markings, 164121 edges, 3329 markings/sec, 40 secs
lola: 165540 markings, 182800 edges, 3333 markings/sec, 45 secs
lola: 182060 markings, 201449 edges, 3304 markings/sec, 50 secs
lola: 198733 markings, 220828 edges, 3335 markings/sec, 55 secs
lola: 215488 markings, 239476 edges, 3351 markings/sec, 60 secs
lola: 232297 markings, 258324 edges, 3362 markings/sec, 65 secs
lola: 249092 markings, 277052 edges, 3359 markings/sec, 70 secs
lola: 265920 markings, 296450 edges, 3366 markings/sec, 75 secs
lola: 282711 markings, 315666 edges, 3358 markings/sec, 80 secs
lola: 299559 markings, 335215 edges, 3370 markings/sec, 85 secs
lola: 316328 markings, 354042 edges, 3354 markings/sec, 90 secs
lola: 333090 markings, 373291 edges, 3352 markings/sec, 95 secs
lola: 349946 markings, 392949 edges, 3371 markings/sec, 100 secs
lola: 366846 markings, 412309 edges, 3380 markings/sec, 105 secs
lola: 383623 markings, 432014 edges, 3355 markings/sec, 110 secs
lola: 400378 markings, 451052 edges, 3351 markings/sec, 115 secs
lola: 417151 markings, 470190 edges, 3355 markings/sec, 120 secs
lola: 434010 markings, 489919 edges, 3372 markings/sec, 125 secs
lola: 450777 markings, 509583 edges, 3353 markings/sec, 130 secs
lola: 467561 markings, 529213 edges, 3357 markings/sec, 135 secs
lola: 484368 markings, 548802 edges, 3361 markings/sec, 140 secs
lola: 501214 markings, 568219 edges, 3369 markings/sec, 145 secs
lola: 518043 markings, 588118 edges, 3366 markings/sec, 150 secs
lola: 534686 markings, 606257 edges, 3329 markings/sec, 155 secs
lola: 551416 markings, 625023 edges, 3346 markings/sec, 160 secs
lola: 568191 markings, 643501 edges, 3355 markings/sec, 165 secs
lola: 585025 markings, 663176 edges, 3367 markings/sec, 170 secs
lola: 601864 markings, 682327 edges, 3368 markings/sec, 175 secs
lola: 618682 markings, 701958 edges, 3364 markings/sec, 180 secs
lola: 635391 markings, 720979 edges, 3342 markings/sec, 185 secs
lola: 652117 markings, 740142 edges, 3345 markings/sec, 190 secs
lola: 668677 markings, 759269 edges, 3312 markings/sec, 195 secs
lola: 682713 markings, 775656 edges, 2807 markings/sec, 200 secs
lola: 696686 markings, 792540 edges, 2795 markings/sec, 205 secs
lola: 711522 markings, 809387 edges, 2967 markings/sec, 210 secs
lola: 726194 markings, 827179 edges, 2934 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T10-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496414072083

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

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished 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="S_PolyORBLF-COL-S04J06T10"
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/S_PolyORBLF-COL-S04J06T10.tgz
mv S_PolyORBLF-COL-S04J06T10 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_PolyORBLF-COL-S04J06T10, 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 r128-smll-149441681500362"
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 ;