About the Execution of LoLA for S_DLCshifumi-PT-3a
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1185.890 | 3539548.00 | 3555212.00 | 687.60 | ? 1 ? ? 1 ? ? ? ? ? 1 ? ? ? ? ? | normal |
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-3253
Executing tool lola
Input is S_DLCshifumi-PT-3a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455900461
=====================================================================
--------------------
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 DLCshifumi-PT-3a-UpperBounds-0
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-1
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-10
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-11
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-12
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-13
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-14
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-15
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-2
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-3
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-4
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-5
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-6
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-7
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-8
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496467500605
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_DLCshifumi-PT-3a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_DLCshifumi-PT-3a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_DLCshifumi-PT-3a @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3641/65536 symbol table entries, 459 collisions
lola: preprocessing...
lola: finding significant places
lola: 544 places, 3097 transitions, 262 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2600 transition conflict sets
lola: TASK
lola: reading formula from DLCshifumi-PT-3a-UpperBounds.task
lola: MAX(p295) : MAX(p380) : MAX(p145) : MAX(p122) : MAX(p327) : MAX(p108) : MAX(p183) : MAX(p152) : MAX(p36) : MAX(p278) : MAX(p101) : MAX(p102) : MAX(p502) : MAX(p114) : MAX(p139) : MAX(p70)
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(p295)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 12869 markings, 334094 edges, 2574 markings/sec, 0 secs
lola: 25708 markings, 672335 edges, 2568 markings/sec, 5 secs
lola: 38538 markings, 1013875 edges, 2566 markings/sec, 10 secs
lola: 51304 markings, 1352011 edges, 2553 markings/sec, 15 secs
lola: 64119 markings, 1688473 edges, 2563 markings/sec, 20 secs
lola: 76903 markings, 2025945 edges, 2557 markings/sec, 25 secs
lola: 89659 markings, 2365580 edges, 2551 markings/sec, 30 secs
lola: 102376 markings, 2705387 edges, 2543 markings/sec, 35 secs
lola: 115127 markings, 3043790 edges, 2550 markings/sec, 40 secs
lola: 127825 markings, 3385352 edges, 2540 markings/sec, 45 secs
lola: 140593 markings, 3723651 edges, 2554 markings/sec, 50 secs
lola: 153396 markings, 4060092 edges, 2561 markings/sec, 55 secs
lola: 166160 markings, 4399868 edges, 2553 markings/sec, 60 secs
lola: 178695 markings, 4732151 edges, 2507 markings/sec, 65 secs
lola: 191428 markings, 5065444 edges, 2547 markings/sec, 70 secs
lola: 204158 markings, 5402317 edges, 2546 markings/sec, 75 secs
lola: 216893 markings, 5739584 edges, 2547 markings/sec, 80 secs
lola: 229573 markings, 6078309 edges, 2536 markings/sec, 85 secs
lola: 242280 markings, 6419710 edges, 2541 markings/sec, 90 secs
lola: 254951 markings, 6758799 edges, 2534 markings/sec, 95 secs
lola: 267632 markings, 7095945 edges, 2536 markings/sec, 100 secs
lola: 280296 markings, 7435524 edges, 2533 markings/sec, 105 secs
lola: 292942 markings, 7777465 edges, 2529 markings/sec, 110 secs
lola: 305635 markings, 8117263 edges, 2539 markings/sec, 115 secs
lola: 318310 markings, 8457123 edges, 2535 markings/sec, 120 secs
lola: 331031 markings, 8798777 edges, 2544 markings/sec, 125 secs
lola: 343504 markings, 9139797 edges, 2495 markings/sec, 130 secs
lola: 356217 markings, 9482273 edges, 2543 markings/sec, 135 secs
lola: 368855 markings, 9827137 edges, 2528 markings/sec, 140 secs
lola: 381486 markings, 10169008 edges, 2526 markings/sec, 145 secs
lola: 394169 markings, 10510554 edges, 2537 markings/sec, 150 secs
lola: 406828 markings, 10852507 edges, 2532 markings/sec, 155 secs
lola: 419486 markings, 11195519 edges, 2532 markings/sec, 160 secs
lola: 432151 markings, 11537616 edges, 2533 markings/sec, 165 secs
lola: 444777 markings, 11882143 edges, 2525 markings/sec, 170 secs
lola: 457430 markings, 12222453 edges, 2531 markings/sec, 175 secs
lola: 470122 markings, 12562006 edges, 2538 markings/sec, 180 secs
lola: 482808 markings, 12904975 edges, 2537 markings/sec, 185 secs
lola: 495457 markings, 13248140 edges, 2530 markings/sec, 190 secs
lola: 508072 markings, 13590044 edges, 2523 markings/sec, 195 secs
lola: 520682 markings, 13932563 edges, 2522 markings/sec, 200 secs
lola: 533339 markings, 14273030 edges, 2531 markings/sec, 205 secs
lola: 546067 markings, 14610718 edges, 2546 markings/sec, 210 secs
lola: 558848 markings, 14946350 edges, 2556 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(p380)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p145)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 25456 markings, 136810 edges, 5091 markings/sec, 0 secs
lola: 50972 markings, 278770 edges, 5103 markings/sec, 5 secs
lola: 76237 markings, 418165 edges, 5053 markings/sec, 10 secs
lola: 101711 markings, 561426 edges, 5095 markings/sec, 15 secs
lola: 127107 markings, 703082 edges, 5079 markings/sec, 20 secs
lola: 152497 markings, 845469 edges, 5078 markings/sec, 25 secs
lola: 177995 markings, 986748 edges, 5100 markings/sec, 30 secs
lola: 203469 markings, 1127093 edges, 5095 markings/sec, 35 secs
lola: 228924 markings, 1269996 edges, 5091 markings/sec, 40 secs
lola: 254323 markings, 1412053 edges, 5080 markings/sec, 45 secs
lola: 279700 markings, 1553563 edges, 5075 markings/sec, 50 secs
lola: 304979 markings, 1699736 edges, 5056 markings/sec, 55 secs
lola: 330394 markings, 1841347 edges, 5083 markings/sec, 60 secs
lola: 355754 markings, 1984063 edges, 5072 markings/sec, 65 secs
lola: 381143 markings, 2124554 edges, 5078 markings/sec, 70 secs
lola: 406477 markings, 2266501 edges, 5067 markings/sec, 75 secs
lola: 431730 markings, 2412922 edges, 5051 markings/sec, 80 secs
lola: 457169 markings, 2554471 edges, 5088 markings/sec, 85 secs
lola: 482558 markings, 2696281 edges, 5078 markings/sec, 90 secs
lola: 507957 markings, 2836122 edges, 5080 markings/sec, 95 secs
lola: 533057 markings, 2976939 edges, 5020 markings/sec, 100 secs
lola: 558391 markings, 3114286 edges, 5067 markings/sec, 105 secs
lola: 583681 markings, 3253142 edges, 5058 markings/sec, 110 secs
lola: 608947 markings, 3395898 edges, 5053 markings/sec, 115 secs
lola: 634156 markings, 3537326 edges, 5042 markings/sec, 120 secs
lola: 659345 markings, 3679291 edges, 5038 markings/sec, 125 secs
lola: 684626 markings, 3819897 edges, 5056 markings/sec, 130 secs
lola: 709831 markings, 3963273 edges, 5041 markings/sec, 135 secs
lola: 735202 markings, 4105206 edges, 5074 markings/sec, 140 secs
lola: 760481 markings, 4247840 edges, 5056 markings/sec, 145 secs
lola: 785850 markings, 4385991 edges, 5074 markings/sec, 150 secs
lola: 811135 markings, 4526527 edges, 5057 markings/sec, 155 secs
lola: 836415 markings, 4667709 edges, 5056 markings/sec, 160 secs
lola: 861676 markings, 4811894 edges, 5052 markings/sec, 165 secs
lola: 886961 markings, 4954269 edges, 5057 markings/sec, 170 secs
lola: 912227 markings, 5094447 edges, 5053 markings/sec, 175 secs
lola: 937511 markings, 5238189 edges, 5057 markings/sec, 180 secs
lola: 962640 markings, 5383988 edges, 5026 markings/sec, 185 secs
lola: 987891 markings, 5527207 edges, 5050 markings/sec, 190 secs
lola: 1013078 markings, 5668991 edges, 5037 markings/sec, 195 secs
lola: 1038452 markings, 5810023 edges, 5075 markings/sec, 200 secs
lola: 1063793 markings, 5951401 edges, 5068 markings/sec, 205 secs
lola: 1089201 markings, 6093735 edges, 5082 markings/sec, 210 secs
lola: 1114566 markings, 6233850 edges, 5073 markings/sec, 215 secs
lola: 1139956 markings, 6372775 edges, 5078 markings/sec, 220 secs
lola: 1165427 markings, 6510971 edges, 5094 markings/sec, 225 secs
lola: 1190852 markings, 6651277 edges, 5085 markings/sec, 230 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p122)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 16964 markings, 89165 edges, 3393 markings/sec, 0 secs
lola: 34153 markings, 181534 edges, 3438 markings/sec, 5 secs
lola: 51550 markings, 276044 edges, 3479 markings/sec, 10 secs
lola: 68937 markings, 369981 edges, 3477 markings/sec, 15 secs
lola: 86361 markings, 463599 edges, 3485 markings/sec, 20 secs
lola: 103769 markings, 557732 edges, 3482 markings/sec, 25 secs
lola: 121173 markings, 651371 edges, 3481 markings/sec, 30 secs
lola: 138560 markings, 745326 edges, 3477 markings/sec, 35 secs
lola: 155940 markings, 839019 edges, 3476 markings/sec, 40 secs
lola: 173290 markings, 932386 edges, 3470 markings/sec, 45 secs
lola: 190625 markings, 1026451 edges, 3467 markings/sec, 50 secs
lola: 207957 markings, 1119407 edges, 3466 markings/sec, 55 secs
lola: 225198 markings, 1212421 edges, 3448 markings/sec, 60 secs
lola: 242454 markings, 1306042 edges, 3451 markings/sec, 65 secs
lola: 259681 markings, 1398827 edges, 3445 markings/sec, 70 secs
lola: 276888 markings, 1491760 edges, 3441 markings/sec, 75 secs
lola: 294050 markings, 1588368 edges, 3432 markings/sec, 80 secs
lola: 311234 markings, 1681438 edges, 3437 markings/sec, 85 secs
lola: 328398 markings, 1777833 edges, 3433 markings/sec, 90 secs
lola: 345570 markings, 1870648 edges, 3434 markings/sec, 95 secs
lola: 362745 markings, 1964352 edges, 3435 markings/sec, 100 secs
lola: 379854 markings, 2058942 edges, 3422 markings/sec, 105 secs
lola: 397080 markings, 2150700 edges, 3445 markings/sec, 110 secs
lola: 414249 markings, 2244066 edges, 3434 markings/sec, 115 secs
lola: 431402 markings, 2336451 edges, 3431 markings/sec, 120 secs
lola: 448541 markings, 2429073 edges, 3428 markings/sec, 125 secs
lola: 465714 markings, 2520554 edges, 3435 markings/sec, 130 secs
lola: 482893 markings, 2612755 edges, 3436 markings/sec, 135 secs
lola: 500024 markings, 2705535 edges, 3426 markings/sec, 140 secs
lola: 517122 markings, 2798851 edges, 3420 markings/sec, 145 secs
lola: 534238 markings, 2893390 edges, 3423 markings/sec, 150 secs
lola: 551357 markings, 2985934 edges, 3424 markings/sec, 155 secs
lola: 568502 markings, 3078668 edges, 3429 markings/sec, 160 secs
lola: 585441 markings, 3169662 edges, 3388 markings/sec, 165 secs
lola: 602681 markings, 3262728 edges, 3448 markings/sec, 170 secs
lola: 619926 markings, 3355838 edges, 3449 markings/sec, 175 secs
lola: 637153 markings, 3449317 edges, 3445 markings/sec, 180 secs
lola: 654414 markings, 3544703 edges, 3452 markings/sec, 185 secs
lola: 671710 markings, 3638203 edges, 3459 markings/sec, 190 secs
lola: 688964 markings, 3731372 edges, 3451 markings/sec, 195 secs
lola: 706173 markings, 3824389 edges, 3442 markings/sec, 200 secs
lola: 723382 markings, 3917883 edges, 3442 markings/sec, 205 secs
lola: 740648 markings, 4011134 edges, 3453 markings/sec, 210 secs
lola: 757888 markings, 4103192 edges, 3448 markings/sec, 215 secs
lola: 775166 markings, 4197505 edges, 3456 markings/sec, 220 secs
lola: 792449 markings, 4293079 edges, 3457 markings/sec, 225 secs
lola: 809718 markings, 4387237 edges, 3454 markings/sec, 230 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p327)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 5 will run for 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p108)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 17213 markings, 90396 edges, 3443 markings/sec, 0 secs
lola: 34530 markings, 184339 edges, 3463 markings/sec, 5 secs
lola: 51888 markings, 277539 edges, 3472 markings/sec, 10 secs
lola: 69258 markings, 371803 edges, 3474 markings/sec, 15 secs
lola: 86688 markings, 465092 edges, 3486 markings/sec, 20 secs
lola: 104084 markings, 559318 edges, 3479 markings/sec, 25 secs
lola: 121462 markings, 652936 edges, 3476 markings/sec, 30 secs
lola: 138832 markings, 747151 edges, 3474 markings/sec, 35 secs
lola: 156226 markings, 840426 edges, 3479 markings/sec, 40 secs
lola: 173609 markings, 933973 edges, 3477 markings/sec, 45 secs
lola: 190949 markings, 1028418 edges, 3468 markings/sec, 50 secs
lola: 208320 markings, 1121350 edges, 3474 markings/sec, 55 secs
lola: 225682 markings, 1215493 edges, 3472 markings/sec, 60 secs
lola: 243073 markings, 1309516 edges, 3478 markings/sec, 65 secs
lola: 260442 markings, 1402685 edges, 3474 markings/sec, 70 secs
lola: 277794 markings, 1496781 edges, 3470 markings/sec, 75 secs
lola: 295106 markings, 1594013 edges, 3462 markings/sec, 80 secs
lola: 312428 markings, 1689512 edges, 3464 markings/sec, 85 secs
lola: 329760 markings, 1785254 edges, 3466 markings/sec, 90 secs
lola: 347136 markings, 1878976 edges, 3475 markings/sec, 95 secs
lola: 364493 markings, 1973392 edges, 3471 markings/sec, 100 secs
lola: 381804 markings, 2069070 edges, 3462 markings/sec, 105 secs
lola: 399189 markings, 2162303 edges, 3477 markings/sec, 110 secs
lola: 416557 markings, 2256337 edges, 3474 markings/sec, 115 secs
lola: 433896 markings, 2349910 edges, 3468 markings/sec, 120 secs
lola: 451176 markings, 2443402 edges, 3456 markings/sec, 125 secs
lola: 468488 markings, 2535681 edges, 3462 markings/sec, 130 secs
lola: 485785 markings, 2628306 edges, 3459 markings/sec, 135 secs
lola: 503076 markings, 2722183 edges, 3458 markings/sec, 140 secs
lola: 520341 markings, 2816934 edges, 3453 markings/sec, 145 secs
lola: 537617 markings, 2911603 edges, 3455 markings/sec, 150 secs
lola: 554886 markings, 3004732 edges, 3454 markings/sec, 155 secs
lola: 572158 markings, 3098194 edges, 3454 markings/sec, 160 secs
lola: 589457 markings, 3191660 edges, 3460 markings/sec, 165 secs
lola: 606806 markings, 3285315 edges, 3470 markings/sec, 170 secs
lola: 624152 markings, 3378725 edges, 3469 markings/sec, 175 secs
lola: 641456 markings, 3471920 edges, 3461 markings/sec, 180 secs
lola: 658776 markings, 3568736 edges, 3464 markings/sec, 185 secs
lola: 676072 markings, 3662281 edges, 3459 markings/sec, 190 secs
lola: 693314 markings, 3755130 edges, 3448 markings/sec, 195 secs
lola: 710428 markings, 3847432 edges, 3423 markings/sec, 200 secs
lola: 727561 markings, 3940183 edges, 3427 markings/sec, 205 secs
lola: 744670 markings, 4032652 edges, 3422 markings/sec, 210 secs
lola: 761702 markings, 4124614 edges, 3406 markings/sec, 215 secs
lola: 778832 markings, 4217471 edges, 3426 markings/sec, 220 secs
lola: 795873 markings, 4311701 edges, 3408 markings/sec, 225 secs
lola: 812945 markings, 4404634 edges, 3414 markings/sec, 230 secs
lola: 830084 markings, 4496887 edges, 3428 markings/sec, 235 secs
lola: 847241 markings, 4588734 edges, 3431 markings/sec, 240 secs
lola: 864313 markings, 4679478 edges, 3414 markings/sec, 245 secs
lola: 881388 markings, 4772737 edges, 3415 markings/sec, 250 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 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p183)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 17046 markings, 89791 edges, 3409 markings/sec, 0 secs
lola: 34313 markings, 182428 edges, 3453 markings/sec, 5 secs
lola: 51544 markings, 276053 edges, 3446 markings/sec, 10 secs
lola: 68816 markings, 369604 edges, 3454 markings/sec, 15 secs
lola: 86166 markings, 462540 edges, 3470 markings/sec, 20 secs
lola: 103397 markings, 556171 edges, 3446 markings/sec, 25 secs
lola: 120697 markings, 649268 edges, 3460 markings/sec, 30 secs
lola: 138004 markings, 742240 edges, 3461 markings/sec, 35 secs
lola: 155286 markings, 835832 edges, 3456 markings/sec, 40 secs
lola: 172572 markings, 929126 edges, 3457 markings/sec, 45 secs
lola: 189940 markings, 1023093 edges, 3474 markings/sec, 50 secs
lola: 207316 markings, 1116549 edges, 3475 markings/sec, 55 secs
lola: 224742 markings, 1210252 edges, 3485 markings/sec, 60 secs
lola: 242158 markings, 1305263 edges, 3483 markings/sec, 65 secs
lola: 259561 markings, 1398598 edges, 3481 markings/sec, 70 secs
lola: 276934 markings, 1492699 edges, 3475 markings/sec, 75 secs
lola: 294274 markings, 1590000 edges, 3468 markings/sec, 80 secs
lola: 311664 markings, 1686216 edges, 3478 markings/sec, 85 secs
lola: 329032 markings, 1781868 edges, 3474 markings/sec, 90 secs
lola: 346414 markings, 1875927 edges, 3476 markings/sec, 95 secs
lola: 363802 markings, 1970465 edges, 3478 markings/sec, 100 secs
lola: 381148 markings, 2066327 edges, 3469 markings/sec, 105 secs
lola: 398581 markings, 2159766 edges, 3487 markings/sec, 110 secs
lola: 415964 markings, 2254411 edges, 3477 markings/sec, 115 secs
lola: 433310 markings, 2347358 edges, 3469 markings/sec, 120 secs
lola: 450538 markings, 2441363 edges, 3446 markings/sec, 125 secs
lola: 467808 markings, 2533193 edges, 3454 markings/sec, 130 secs
lola: 485081 markings, 2625519 edges, 3455 markings/sec, 135 secs
lola: 502293 markings, 2719065 edges, 3442 markings/sec, 140 secs
lola: 519467 markings, 2813464 edges, 3435 markings/sec, 145 secs
lola: 536676 markings, 2907536 edges, 3442 markings/sec, 150 secs
lola: 553880 markings, 3000693 edges, 3441 markings/sec, 155 secs
lola: 571100 markings, 3093789 edges, 3444 markings/sec, 160 secs
lola: 588336 markings, 3186373 edges, 3447 markings/sec, 165 secs
lola: 605598 markings, 3280447 edges, 3452 markings/sec, 170 secs
lola: 622896 markings, 3373098 edges, 3460 markings/sec, 175 secs
lola: 640145 markings, 3466687 edges, 3450 markings/sec, 180 secs
lola: 657412 markings, 3562347 edges, 3453 markings/sec, 185 secs
lola: 674653 markings, 3655991 edges, 3448 markings/sec, 190 secs
lola: 691936 markings, 3749651 edges, 3457 markings/sec, 195 secs
lola: 709176 markings, 3842514 edges, 3448 markings/sec, 200 secs
lola: 726450 markings, 3935925 edges, 3455 markings/sec, 205 secs
lola: 743706 markings, 4029022 edges, 3451 markings/sec, 210 secs
lola: 760958 markings, 4122012 edges, 3450 markings/sec, 215 secs
lola: 778186 markings, 4215295 edges, 3446 markings/sec, 220 secs
lola: 795282 markings, 4310272 edges, 3419 markings/sec, 225 secs
lola: 812408 markings, 4403639 edges, 3425 markings/sec, 230 secs
lola: 829580 markings, 4496170 edges, 3434 markings/sec, 235 secs
lola: 846778 markings, 4588445 edges, 3440 markings/sec, 240 secs
lola: 863954 markings, 4679685 edges, 3435 markings/sec, 245 secs
lola: 881130 markings, 4773140 edges, 3435 markings/sec, 250 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 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p152)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 25128 markings, 142639 edges, 5026 markings/sec, 0 secs
lola: 50312 markings, 290769 edges, 5037 markings/sec, 5 secs
lola: 75426 markings, 436705 edges, 5023 markings/sec, 10 secs
lola: 100327 markings, 583760 edges, 4980 markings/sec, 15 secs
lola: 125360 markings, 731252 edges, 5007 markings/sec, 20 secs
lola: 150418 markings, 878878 edges, 5012 markings/sec, 25 secs
lola: 175493 markings, 1025737 edges, 5015 markings/sec, 30 secs
lola: 200619 markings, 1172278 edges, 5025 markings/sec, 35 secs
lola: 225753 markings, 1320522 edges, 5027 markings/sec, 40 secs
lola: 250824 markings, 1466067 edges, 5014 markings/sec, 45 secs
lola: 275835 markings, 1614818 edges, 5002 markings/sec, 50 secs
lola: 300785 markings, 1766774 edges, 4990 markings/sec, 55 secs
lola: 325839 markings, 1912524 edges, 5011 markings/sec, 60 secs
lola: 350906 markings, 2062868 edges, 5013 markings/sec, 65 secs
lola: 376149 markings, 2209847 edges, 5049 markings/sec, 70 secs
lola: 401394 markings, 2358408 edges, 5049 markings/sec, 75 secs
lola: 426508 markings, 2512496 edges, 5023 markings/sec, 80 secs
lola: 451854 markings, 2660550 edges, 5069 markings/sec, 85 secs
lola: 477110 markings, 2807611 edges, 5051 markings/sec, 90 secs
lola: 502347 markings, 2956839 edges, 5047 markings/sec, 95 secs
lola: 527597 markings, 3105610 edges, 5050 markings/sec, 100 secs
lola: 552939 markings, 3250579 edges, 5068 markings/sec, 105 secs
lola: 578112 markings, 3396797 edges, 5035 markings/sec, 110 secs
lola: 603368 markings, 3544477 edges, 5051 markings/sec, 115 secs
lola: 628447 markings, 3695438 edges, 5016 markings/sec, 120 secs
lola: 653547 markings, 3844060 edges, 5020 markings/sec, 125 secs
lola: 678813 markings, 3991608 edges, 5053 markings/sec, 130 secs
lola: 703988 markings, 4140126 edges, 5035 markings/sec, 135 secs
lola: 729154 markings, 4291259 edges, 5033 markings/sec, 140 secs
lola: 754206 markings, 4440056 edges, 5010 markings/sec, 145 secs
lola: 779368 markings, 4584658 edges, 5032 markings/sec, 150 secs
lola: 804467 markings, 4730878 edges, 5020 markings/sec, 155 secs
lola: 829577 markings, 4878040 edges, 5022 markings/sec, 160 secs
lola: 854674 markings, 5027545 edges, 5019 markings/sec, 165 secs
lola: 879866 markings, 5178072 edges, 5038 markings/sec, 170 secs
lola: 905064 markings, 5326800 edges, 5040 markings/sec, 175 secs
lola: 930321 markings, 5476756 edges, 5051 markings/sec, 180 secs
lola: 955397 markings, 5630539 edges, 5015 markings/sec, 185 secs
lola: 980540 markings, 5780744 edges, 5029 markings/sec, 190 secs
lola: 1005677 markings, 5928525 edges, 5027 markings/sec, 195 secs
lola: 1030814 markings, 6078678 edges, 5027 markings/sec, 200 secs
lola: 1056183 markings, 6225504 edges, 5074 markings/sec, 205 secs
lola: 1081487 markings, 6375389 edges, 5061 markings/sec, 210 secs
lola: 1106707 markings, 6522422 edges, 5044 markings/sec, 215 secs
lola: 1131979 markings, 6669568 edges, 5054 markings/sec, 220 secs
lola: 1157287 markings, 6814921 edges, 5062 markings/sec, 225 secs
lola: 1182687 markings, 6961424 edges, 5080 markings/sec, 230 secs
lola: 1208025 markings, 7109279 edges, 5068 markings/sec, 235 secs
lola: 1233293 markings, 7256830 edges, 5054 markings/sec, 240 secs
lola: 1258426 markings, 7410577 edges, 5027 markings/sec, 245 secs
lola: 1283555 markings, 7560733 edges, 5026 markings/sec, 250 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 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p36)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 17206 markings, 88852 edges, 3441 markings/sec, 0 secs
lola: 34656 markings, 180247 edges, 3490 markings/sec, 5 secs
lola: 52061 markings, 270769 edges, 3481 markings/sec, 10 secs
lola: 69253 markings, 359372 edges, 3438 markings/sec, 15 secs
lola: 86677 markings, 450764 edges, 3485 markings/sec, 20 secs
lola: 104150 markings, 541247 edges, 3495 markings/sec, 25 secs
lola: 121600 markings, 632575 edges, 3490 markings/sec, 30 secs
lola: 139009 markings, 725915 edges, 3482 markings/sec, 35 secs
lola: 156432 markings, 816158 edges, 3485 markings/sec, 40 secs
lola: 173866 markings, 907649 edges, 3487 markings/sec, 45 secs
lola: 191285 markings, 998255 edges, 3484 markings/sec, 50 secs
lola: 208716 markings, 1088040 edges, 3486 markings/sec, 55 secs
lola: 226141 markings, 1179203 edges, 3485 markings/sec, 60 secs
lola: 243585 markings, 1270564 edges, 3489 markings/sec, 65 secs
lola: 261033 markings, 1361144 edges, 3490 markings/sec, 70 secs
lola: 278460 markings, 1454997 edges, 3485 markings/sec, 75 secs
lola: 295910 markings, 1545275 edges, 3490 markings/sec, 80 secs
lola: 313321 markings, 1636231 edges, 3482 markings/sec, 85 secs
lola: 330705 markings, 1727682 edges, 3477 markings/sec, 90 secs
lola: 348066 markings, 1820102 edges, 3472 markings/sec, 95 secs
lola: 365486 markings, 1910759 edges, 3484 markings/sec, 100 secs
lola: 382944 markings, 2000631 edges, 3492 markings/sec, 105 secs
lola: 400352 markings, 2092391 edges, 3482 markings/sec, 110 secs
lola: 417753 markings, 2183247 edges, 3480 markings/sec, 115 secs
lola: 435150 markings, 2275148 edges, 3479 markings/sec, 120 secs
lola: 452552 markings, 2367333 edges, 3480 markings/sec, 125 secs
lola: 469957 markings, 2459245 edges, 3481 markings/sec, 130 secs
lola: 487326 markings, 2553658 edges, 3474 markings/sec, 135 secs
lola: 504644 markings, 2650642 edges, 3464 markings/sec, 140 secs
lola: 521949 markings, 2744356 edges, 3461 markings/sec, 145 secs
lola: 539148 markings, 2838999 edges, 3440 markings/sec, 150 secs
lola: 556388 markings, 2932408 edges, 3448 markings/sec, 155 secs
lola: 573680 markings, 3023208 edges, 3458 markings/sec, 160 secs
lola: 590990 markings, 3113224 edges, 3462 markings/sec, 165 secs
lola: 608225 markings, 3205180 edges, 3447 markings/sec, 170 secs
lola: 625502 markings, 3296411 edges, 3455 markings/sec, 175 secs
lola: 642765 markings, 3389826 edges, 3453 markings/sec, 180 secs
lola: 660020 markings, 3482942 edges, 3451 markings/sec, 185 secs
lola: 677232 markings, 3575986 edges, 3442 markings/sec, 190 secs
lola: 694154 markings, 3667426 edges, 3384 markings/sec, 195 secs
lola: 711348 markings, 3760416 edges, 3439 markings/sec, 200 secs
lola: 728650 markings, 3854700 edges, 3460 markings/sec, 205 secs
lola: 745997 markings, 3946443 edges, 3469 markings/sec, 210 secs
lola: 763288 markings, 4041110 edges, 3458 markings/sec, 215 secs
lola: 780568 markings, 4135691 edges, 3456 markings/sec, 220 secs
lola: 797829 markings, 4227701 edges, 3452 markings/sec, 225 secs
lola: 815086 markings, 4318244 edges, 3451 markings/sec, 230 secs
lola: 832326 markings, 4410639 edges, 3448 markings/sec, 235 secs
lola: 849612 markings, 4502501 edges, 3457 markings/sec, 240 secs
lola: 866898 markings, 4596845 edges, 3457 markings/sec, 245 secs
lola: 884257 markings, 4687127 edges, 3472 markings/sec, 250 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 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p278)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 11931 markings, 320386 edges, 2386 markings/sec, 0 secs
lola: 23677 markings, 638970 edges, 2349 markings/sec, 5 secs
lola: 35386 markings, 959885 edges, 2342 markings/sec, 10 secs
lola: 47140 markings, 1278072 edges, 2351 markings/sec, 15 secs
lola: 58871 markings, 1597092 edges, 2346 markings/sec, 20 secs
lola: 70555 markings, 1917047 edges, 2337 markings/sec, 25 secs
lola: 82269 markings, 2238561 edges, 2343 markings/sec, 30 secs
lola: 93972 markings, 2560828 edges, 2341 markings/sec, 35 secs
lola: 105621 markings, 2882364 edges, 2330 markings/sec, 40 secs
lola: 117316 markings, 3202916 edges, 2339 markings/sec, 45 secs
lola: 129002 markings, 3524339 edges, 2337 markings/sec, 50 secs
lola: 140677 markings, 3846121 edges, 2335 markings/sec, 55 secs
lola: 152330 markings, 4169519 edges, 2331 markings/sec, 60 secs
lola: 163990 markings, 4490953 edges, 2332 markings/sec, 65 secs
lola: 175639 markings, 4812548 edges, 2330 markings/sec, 70 secs
lola: 187287 markings, 5135687 edges, 2330 markings/sec, 75 secs
lola: 198921 markings, 5459653 edges, 2327 markings/sec, 80 secs
lola: 210598 markings, 5780864 edges, 2335 markings/sec, 85 secs
lola: 222324 markings, 6098683 edges, 2345 markings/sec, 90 secs
lola: 234025 markings, 6415990 edges, 2340 markings/sec, 95 secs
lola: 245671 markings, 6736212 edges, 2329 markings/sec, 100 secs
lola: 257362 markings, 7051957 edges, 2338 markings/sec, 105 secs
lola: 268998 markings, 7369666 edges, 2327 markings/sec, 110 secs
lola: 280617 markings, 7689072 edges, 2324 markings/sec, 115 secs
lola: 292208 markings, 8006525 edges, 2318 markings/sec, 120 secs
lola: 303743 markings, 8325989 edges, 2307 markings/sec, 125 secs
lola: 315232 markings, 8643180 edges, 2298 markings/sec, 130 secs
lola: 326737 markings, 8957663 edges, 2301 markings/sec, 135 secs
lola: 338220 markings, 9273542 edges, 2297 markings/sec, 140 secs
lola: 349711 markings, 9590294 edges, 2298 markings/sec, 145 secs
lola: 361180 markings, 9906314 edges, 2294 markings/sec, 150 secs
lola: 372637 markings, 10223669 edges, 2291 markings/sec, 155 secs
lola: 384076 markings, 10540318 edges, 2288 markings/sec, 160 secs
lola: 395525 markings, 10858414 edges, 2290 markings/sec, 165 secs
lola: 406972 markings, 11173724 edges, 2289 markings/sec, 170 secs
lola: 418535 markings, 11497436 edges, 2313 markings/sec, 175 secs
lola: 430071 markings, 11814303 edges, 2307 markings/sec, 180 secs
lola: 441563 markings, 12133779 edges, 2298 markings/sec, 185 secs
lola: 453096 markings, 12451184 edges, 2307 markings/sec, 190 secs
lola: 464575 markings, 12767844 edges, 2296 markings/sec, 195 secs
lola: 476112 markings, 13086621 edges, 2307 markings/sec, 200 secs
lola: 487642 markings, 13404302 edges, 2306 markings/sec, 205 secs
lola: 499117 markings, 13722451 edges, 2295 markings/sec, 210 secs
lola: 510557 markings, 14039787 edges, 2288 markings/sec, 215 secs
lola: 522002 markings, 14359319 edges, 2289 markings/sec, 220 secs
lola: 533432 markings, 14677842 edges, 2286 markings/sec, 225 secs
lola: 544933 markings, 14996499 edges, 2300 markings/sec, 230 secs
lola: 556515 markings, 15317932 edges, 2316 markings/sec, 235 secs
lola: 568057 markings, 15636945 edges, 2308 markings/sec, 240 secs
lola: 579592 markings, 15958601 edges, 2307 markings/sec, 245 secs
lola: 591146 markings, 16280666 edges, 2311 markings/sec, 250 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 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p101)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 17199 markings, 90318 edges, 3440 markings/sec, 0 secs
lola: 34548 markings, 184381 edges, 3470 markings/sec, 5 secs
lola: 51918 markings, 277781 edges, 3474 markings/sec, 10 secs
lola: 69245 markings, 371611 edges, 3465 markings/sec, 15 secs
lola: 86630 markings, 464792 edges, 3477 markings/sec, 20 secs
lola: 103998 markings, 558907 edges, 3474 markings/sec, 25 secs
lola: 121369 markings, 652510 edges, 3474 markings/sec, 30 secs
lola: 138681 markings, 746148 edges, 3462 markings/sec, 35 secs
lola: 155926 markings, 838948 edges, 3449 markings/sec, 40 secs
lola: 173146 markings, 931673 edges, 3444 markings/sec, 45 secs
lola: 190381 markings, 1025368 edges, 3447 markings/sec, 50 secs
lola: 207642 markings, 1117898 edges, 3452 markings/sec, 55 secs
lola: 224936 markings, 1210910 edges, 3459 markings/sec, 60 secs
lola: 242237 markings, 1305195 edges, 3460 markings/sec, 65 secs
lola: 259584 markings, 1398114 edges, 3469 markings/sec, 70 secs
lola: 276902 markings, 1491963 edges, 3464 markings/sec, 75 secs
lola: 294184 markings, 1588852 edges, 3456 markings/sec, 80 secs
lola: 311524 markings, 1683743 edges, 3468 markings/sec, 85 secs
lola: 328812 markings, 1780197 edges, 3458 markings/sec, 90 secs
lola: 346149 markings, 1873655 edges, 3467 markings/sec, 95 secs
lola: 363464 markings, 1968086 edges, 3463 markings/sec, 100 secs
lola: 380748 markings, 2063619 edges, 3457 markings/sec, 105 secs
lola: 398118 markings, 2156571 edges, 3474 markings/sec, 110 secs
lola: 415474 markings, 2250675 edges, 3471 markings/sec, 115 secs
lola: 432778 markings, 2343625 edges, 3461 markings/sec, 120 secs
lola: 450072 markings, 2437753 edges, 3459 markings/sec, 125 secs
lola: 467412 markings, 2529683 edges, 3468 markings/sec, 130 secs
lola: 484748 markings, 2622571 edges, 3467 markings/sec, 135 secs
lola: 502056 markings, 2716866 edges, 3462 markings/sec, 140 secs
lola: 519314 markings, 2811545 edges, 3452 markings/sec, 145 secs
lola: 536589 markings, 2905842 edges, 3455 markings/sec, 150 secs
lola: 553849 markings, 2999301 edges, 3452 markings/sec, 155 secs
lola: 571114 markings, 3092609 edges, 3453 markings/sec, 160 secs
lola: 588389 markings, 3185206 edges, 3455 markings/sec, 165 secs
lola: 605693 markings, 3279478 edges, 3461 markings/sec, 170 secs
lola: 623033 markings, 3372204 edges, 3468 markings/sec, 175 secs
lola: 640328 markings, 3466088 edges, 3459 markings/sec, 180 secs
lola: 657646 markings, 3562272 edges, 3464 markings/sec, 185 secs
lola: 674945 markings, 3656027 edges, 3460 markings/sec, 190 secs
lola: 692273 markings, 3749643 edges, 3466 markings/sec, 195 secs
lola: 709557 markings, 3842789 edges, 3457 markings/sec, 200 secs
lola: 726881 markings, 3936547 edges, 3465 markings/sec, 205 secs
lola: 744221 markings, 4030117 edges, 3468 markings/sec, 210 secs
lola: 761492 markings, 4123699 edges, 3454 markings/sec, 215 secs
lola: 778826 markings, 4217459 edges, 3467 markings/sec, 220 secs
lola: 796069 markings, 4312582 edges, 3449 markings/sec, 225 secs
lola: 813334 markings, 4406586 edges, 3453 markings/sec, 230 secs
lola: 830617 markings, 4500189 edges, 3457 markings/sec, 235 secs
lola: 847930 markings, 4592755 edges, 3463 markings/sec, 240 secs
lola: 865210 markings, 4684158 edges, 3456 markings/sec, 245 secs
lola: 882466 markings, 4778435 edges, 3451 markings/sec, 250 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 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p102)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 15164 markings, 91054 edges, 3033 markings/sec, 0 secs
lola: 30370 markings, 185130 edges, 3041 markings/sec, 5 secs
lola: 45593 markings, 278786 edges, 3045 markings/sec, 10 secs
lola: 60796 markings, 372987 edges, 3041 markings/sec, 15 secs
lola: 76051 markings, 466217 edges, 3051 markings/sec, 20 secs
lola: 91263 markings, 560467 edges, 3042 markings/sec, 25 secs
lola: 106473 markings, 654305 edges, 3042 markings/sec, 30 secs
lola: 121691 markings, 748237 edges, 3044 markings/sec, 35 secs
lola: 136892 markings, 841628 edges, 3040 markings/sec, 40 secs
lola: 152068 markings, 934830 edges, 3035 markings/sec, 45 secs
lola: 167237 markings, 1029428 edges, 3034 markings/sec, 50 secs
lola: 182431 markings, 1122258 edges, 3039 markings/sec, 55 secs
lola: 197647 markings, 1216477 edges, 3043 markings/sec, 60 secs
lola: 212866 markings, 1310521 edges, 3044 markings/sec, 65 secs
lola: 228054 markings, 1404591 edges, 3038 markings/sec, 70 secs
lola: 243266 markings, 1497897 edges, 3042 markings/sec, 75 secs
lola: 258436 markings, 1595245 edges, 3034 markings/sec, 80 secs
lola: 273620 markings, 1691045 edges, 3037 markings/sec, 85 secs
lola: 288796 markings, 1787003 edges, 3035 markings/sec, 90 secs
lola: 303993 markings, 1880706 edges, 3039 markings/sec, 95 secs
lola: 319193 markings, 1974979 edges, 3040 markings/sec, 100 secs
lola: 334303 markings, 2070390 edges, 3022 markings/sec, 105 secs
lola: 349440 markings, 2163146 edges, 3027 markings/sec, 110 secs
lola: 364549 markings, 2256860 edges, 3022 markings/sec, 115 secs
lola: 379635 markings, 2349694 edges, 3017 markings/sec, 120 secs
lola: 394752 markings, 2443287 edges, 3023 markings/sec, 125 secs
lola: 409892 markings, 2535544 edges, 3028 markings/sec, 130 secs
lola: 425029 markings, 2628141 edges, 3027 markings/sec, 135 secs
lola: 440204 markings, 2722221 edges, 3035 markings/sec, 140 secs
lola: 455350 markings, 2817114 edges, 3029 markings/sec, 145 secs
lola: 470521 markings, 2912390 edges, 3034 markings/sec, 150 secs
lola: 485693 markings, 3005775 edges, 3034 markings/sec, 155 secs
lola: 500879 markings, 3099380 edges, 3037 markings/sec, 160 secs
lola: 516072 markings, 3193243 edges, 3039 markings/sec, 165 secs
lola: 531322 markings, 3287308 edges, 3050 markings/sec, 170 secs
lola: 546554 markings, 3381292 edges, 3046 markings/sec, 175 secs
lola: 561733 markings, 3475158 edges, 3036 markings/sec, 180 secs
lola: 576861 markings, 3571479 edges, 3026 markings/sec, 185 secs
lola: 591979 markings, 3664958 edges, 3024 markings/sec, 190 secs
lola: 607097 markings, 3757838 edges, 3024 markings/sec, 195 secs
lola: 622179 markings, 3850693 edges, 3016 markings/sec, 200 secs
lola: 637287 markings, 3944235 edges, 3022 markings/sec, 205 secs
lola: 652409 markings, 4037576 edges, 3024 markings/sec, 210 secs
lola: 667553 markings, 4130964 edges, 3029 markings/sec, 215 secs
lola: 682728 markings, 4225313 edges, 3035 markings/sec, 220 secs
lola: 697848 markings, 4321458 edges, 3024 markings/sec, 225 secs
lola: 712997 markings, 4414673 edges, 3030 markings/sec, 230 secs
lola: 728161 markings, 4508287 edges, 3033 markings/sec, 235 secs
lola: 743317 markings, 4601009 edges, 3031 markings/sec, 240 secs
lola: 758459 markings, 4692874 edges, 3028 markings/sec, 245 secs
lola: 773594 markings, 4788918 edges, 3027 markings/sec, 250 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 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p502)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 13 will run for 345 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p114)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 17394 markings, 91342 edges, 3479 markings/sec, 0 secs
lola: 34749 markings, 185305 edges, 3471 markings/sec, 5 secs
lola: 52120 markings, 278816 edges, 3474 markings/sec, 10 secs
lola: 69484 markings, 372990 edges, 3473 markings/sec, 15 secs
lola: 86908 markings, 466155 edges, 3485 markings/sec, 20 secs
lola: 104286 markings, 560346 edges, 3476 markings/sec, 25 secs
lola: 121661 markings, 654227 edges, 3475 markings/sec, 30 secs
lola: 139036 markings, 748021 edges, 3475 markings/sec, 35 secs
lola: 156397 markings, 841348 edges, 3472 markings/sec, 40 secs
lola: 173732 markings, 934550 edges, 3467 markings/sec, 45 secs
lola: 191046 markings, 1028919 edges, 3463 markings/sec, 50 secs
lola: 208386 markings, 1121632 edges, 3468 markings/sec, 55 secs
lola: 225737 markings, 1215748 edges, 3470 markings/sec, 60 secs
lola: 243104 markings, 1309666 edges, 3473 markings/sec, 65 secs
lola: 260456 markings, 1402841 edges, 3470 markings/sec, 70 secs
lola: 277788 markings, 1496766 edges, 3466 markings/sec, 75 secs
lola: 294986 markings, 1593076 edges, 3440 markings/sec, 80 secs
lola: 312204 markings, 1688374 edges, 3444 markings/sec, 85 secs
lola: 329401 markings, 1783375 edges, 3439 markings/sec, 90 secs
lola: 346594 markings, 1876297 edges, 3439 markings/sec, 95 secs
lola: 363782 markings, 1969598 edges, 3438 markings/sec, 100 secs
lola: 380908 markings, 2064419 edges, 3425 markings/sec, 105 secs
lola: 398110 markings, 2156553 edges, 3440 markings/sec, 110 secs
lola: 415278 markings, 2249489 edges, 3434 markings/sec, 115 secs
lola: 432400 markings, 2341617 edges, 3424 markings/sec, 120 secs
lola: 449534 markings, 2434704 edges, 3427 markings/sec, 125 secs
lola: 466726 markings, 2526057 edges, 3438 markings/sec, 130 secs
lola: 483933 markings, 2618453 edges, 3441 markings/sec, 135 secs
lola: 501085 markings, 2711782 edges, 3430 markings/sec, 140 secs
lola: 518234 markings, 2804889 edges, 3430 markings/sec, 145 secs
lola: 535398 markings, 2899756 edges, 3433 markings/sec, 150 secs
lola: 552685 markings, 2992637 edges, 3457 markings/sec, 155 secs
lola: 569981 markings, 3086794 edges, 3459 markings/sec, 160 secs
lola: 587204 markings, 3179503 edges, 3445 markings/sec, 165 secs
lola: 604462 markings, 3272181 edges, 3452 markings/sec, 170 secs
lola: 621680 markings, 3365180 edges, 3444 markings/sec, 175 secs
lola: 638845 markings, 3458397 edges, 3433 markings/sec, 180 secs
lola: 656073 markings, 3553561 edges, 3446 markings/sec, 185 secs
lola: 673266 markings, 3646712 edges, 3439 markings/sec, 190 secs
lola: 690505 markings, 3739447 edges, 3448 markings/sec, 195 secs
lola: 707710 markings, 3832732 edges, 3441 markings/sec, 200 secs
lola: 724944 markings, 3926150 edges, 3447 markings/sec, 205 secs
lola: 742232 markings, 4019306 edges, 3458 markings/sec, 210 secs
lola: 759450 markings, 4111871 edges, 3444 markings/sec, 215 secs
lola: 776744 markings, 4205554 edges, 3459 markings/sec, 220 secs
lola: 793922 markings, 4301032 edges, 3436 markings/sec, 225 secs
lola: 811092 markings, 4394579 edges, 3434 markings/sec, 230 secs
lola: 828333 markings, 4487478 edges, 3448 markings/sec, 235 secs
lola: 845589 markings, 4580091 edges, 3451 markings/sec, 240 secs
lola: 862806 markings, 4671902 edges, 3443 markings/sec, 245 secs
lola: 880024 markings, 4765214 edges, 3444 markings/sec, 250 secs
lola: 897184 markings, 4861817 edges, 3432 markings/sec, 255 secs
lola: 914381 markings, 4957872 edges, 3439 markings/sec, 260 secs
lola: 931658 markings, 5053317 edges, 3455 markings/sec, 265 secs
lola: 948976 markings, 5146119 edges, 3464 markings/sec, 270 secs
lola: 966180 markings, 5244643 edges, 3441 markings/sec, 275 secs
lola: 983513 markings, 5339062 edges, 3467 markings/sec, 280 secs
lola: 1000668 markings, 5438287 edges, 3431 markings/sec, 285 secs
lola: 1017961 markings, 5532029 edges, 3459 markings/sec, 290 secs
lola: 1035308 markings, 5625371 edges, 3469 markings/sec, 295 secs
lola: 1052597 markings, 5720362 edges, 3458 markings/sec, 300 secs
lola: 1069940 markings, 5814556 edges, 3469 markings/sec, 305 secs
lola: 1087264 markings, 5908608 edges, 3465 markings/sec, 310 secs
lola: 1104628 markings, 6001836 edges, 3473 markings/sec, 315 secs
lola: 1121960 markings, 6097565 edges, 3466 markings/sec, 320 secs
lola: 1139250 markings, 6192551 edges, 3458 markings/sec, 325 secs
lola: 1156512 markings, 6286812 edges, 3452 markings/sec, 330 secs
lola: 1173801 markings, 6381622 edges, 3458 markings/sec, 335 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 345 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p139)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 25072 markings, 142346 edges, 5014 markings/sec, 0 secs
lola: 50352 markings, 290998 edges, 5056 markings/sec, 5 secs
lola: 75562 markings, 437396 edges, 5042 markings/sec, 10 secs
lola: 100798 markings, 586684 edges, 5047 markings/sec, 15 secs
lola: 125961 markings, 734774 edges, 5033 markings/sec, 20 secs
lola: 151094 markings, 882996 edges, 5027 markings/sec, 25 secs
lola: 176356 markings, 1030635 edges, 5052 markings/sec, 30 secs
lola: 201589 markings, 1177619 edges, 5047 markings/sec, 35 secs
lola: 226816 markings, 1326455 edges, 5045 markings/sec, 40 secs
lola: 251995 markings, 1473755 edges, 5036 markings/sec, 45 secs
lola: 277116 markings, 1622613 edges, 5024 markings/sec, 50 secs
lola: 302143 markings, 1775217 edges, 5005 markings/sec, 55 secs
lola: 327310 markings, 1921338 edges, 5033 markings/sec, 60 secs
lola: 352332 markings, 2071148 edges, 5004 markings/sec, 65 secs
lola: 377329 markings, 2216544 edges, 4999 markings/sec, 70 secs
lola: 402248 markings, 2363729 edges, 4984 markings/sec, 75 secs
lola: 427088 markings, 2515688 edges, 4968 markings/sec, 80 secs
lola: 452126 markings, 2662084 edges, 5008 markings/sec, 85 secs
lola: 477081 markings, 2807435 edges, 4991 markings/sec, 90 secs
lola: 501975 markings, 2954687 edges, 4979 markings/sec, 95 secs
lola: 526860 markings, 3101361 edges, 4977 markings/sec, 100 secs
lola: 551758 markings, 3244235 edges, 4980 markings/sec, 105 secs
lola: 576593 markings, 3387980 edges, 4967 markings/sec, 110 secs
lola: 601407 markings, 3533772 edges, 4963 markings/sec, 115 secs
lola: 626070 markings, 3681306 edges, 4933 markings/sec, 120 secs
lola: 650766 markings, 3826738 edges, 4939 markings/sec, 125 secs
lola: 675567 markings, 3971880 edges, 4960 markings/sec, 130 secs
lola: 700362 markings, 4118619 edges, 4959 markings/sec, 135 secs
lola: 725174 markings, 4267321 edges, 4962 markings/sec, 140 secs
lola: 750094 markings, 4415979 edges, 4984 markings/sec, 145 secs
lola: 775044 markings, 4560127 edges, 4990 markings/sec, 150 secs
lola: 799948 markings, 4704533 edges, 4981 markings/sec, 155 secs
lola: 824867 markings, 4849999 edges, 4984 markings/sec, 160 secs
lola: 849797 markings, 4997442 edges, 4986 markings/sec, 165 secs
lola: 874804 markings, 5146926 edges, 5001 markings/sec, 170 secs
lola: 899823 markings, 5296417 edges, 5004 markings/sec, 175 secs
lola: 924939 markings, 5444431 edges, 5023 markings/sec, 180 secs
lola: 949953 markings, 5598021 edges, 5003 markings/sec, 185 secs
lola: 974914 markings, 5748819 edges, 4992 markings/sec, 190 secs
lola: 999937 markings, 5895182 edges, 5005 markings/sec, 195 secs
lola: 1024950 markings, 6043177 edges, 5003 markings/sec, 200 secs
lola: 1050163 markings, 6191240 edges, 5043 markings/sec, 205 secs
lola: 1075327 markings, 6339535 edges, 5033 markings/sec, 210 secs
lola: 1100494 markings, 6485956 edges, 5033 markings/sec, 215 secs
lola: 1125596 markings, 6633271 edges, 5020 markings/sec, 220 secs
lola: 1150826 markings, 6777635 edges, 5046 markings/sec, 225 secs
lola: 1176075 markings, 6923126 edges, 5050 markings/sec, 230 secs
lola: 1201254 markings, 7069933 edges, 5036 markings/sec, 235 secs
lola: 1226387 markings, 7217677 edges, 5027 markings/sec, 240 secs
lola: 1251415 markings, 7369573 edges, 5006 markings/sec, 245 secs
lola: 1276404 markings, 7518314 edges, 4998 markings/sec, 250 secs
lola: 1301495 markings, 7667537 edges, 5018 markings/sec, 255 secs
lola: 1326704 markings, 7812402 edges, 5042 markings/sec, 260 secs
lola: 1351891 markings, 7959010 edges, 5037 markings/sec, 265 secs
lola: 1376959 markings, 8107827 edges, 5014 markings/sec, 270 secs
lola: 1401962 markings, 8255833 edges, 5001 markings/sec, 275 secs
lola: 1426928 markings, 8403191 edges, 4993 markings/sec, 280 secs
lola: 1451723 markings, 8547814 edges, 4959 markings/sec, 285 secs
lola: 1476603 markings, 8696157 edges, 4976 markings/sec, 290 secs
lola: 1501505 markings, 8842480 edges, 4980 markings/sec, 295 secs
lola: 1526342 markings, 8989180 edges, 4967 markings/sec, 300 secs
lola: 1551171 markings, 9133291 edges, 4966 markings/sec, 305 secs
lola: 1576021 markings, 9280222 edges, 4970 markings/sec, 310 secs
lola: 1600856 markings, 9426555 edges, 4967 markings/sec, 315 secs
lola: 1625669 markings, 9569500 edges, 4963 markings/sec, 320 secs
lola: 1650522 markings, 9714947 edges, 4971 markings/sec, 325 secs
lola: 1675246 markings, 9862035 edges, 4945 markings/sec, 330 secs
lola: 1699941 markings, 10009118 edges, 4939 markings/sec, 335 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 345 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p70)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 19228 markings, 113176 edges, 3846 markings/sec, 0 secs
lola: 38462 markings, 228065 edges, 3847 markings/sec, 5 secs
lola: 57684 markings, 344059 edges, 3844 markings/sec, 10 secs
lola: 76905 markings, 459341 edges, 3844 markings/sec, 15 secs
lola: 96174 markings, 574653 edges, 3854 markings/sec, 20 secs
lola: 115425 markings, 690561 edges, 3850 markings/sec, 25 secs
lola: 134662 markings, 805759 edges, 3847 markings/sec, 30 secs
lola: 153728 markings, 920210 edges, 3813 markings/sec, 35 secs
lola: 172980 markings, 1036050 edges, 3850 markings/sec, 40 secs
lola: 192227 markings, 1151232 edges, 3849 markings/sec, 45 secs
lola: 211442 markings, 1266568 edges, 3843 markings/sec, 50 secs
lola: 230661 markings, 1382048 edges, 3844 markings/sec, 55 secs
lola: 249932 markings, 1497589 edges, 3854 markings/sec, 60 secs
lola: 269019 markings, 1612236 edges, 3817 markings/sec, 65 secs
lola: 288311 markings, 1727590 edges, 3858 markings/sec, 70 secs
lola: 307540 markings, 1844025 edges, 3846 markings/sec, 75 secs
lola: 326765 markings, 1961545 edges, 3845 markings/sec, 80 secs
lola: 346009 markings, 2079027 edges, 3849 markings/sec, 85 secs
lola: 365224 markings, 2197760 edges, 3843 markings/sec, 90 secs
lola: 384446 markings, 2313228 edges, 3844 markings/sec, 95 secs
lola: 403731 markings, 2428656 edges, 3857 markings/sec, 100 secs
lola: 422965 markings, 2545843 edges, 3847 markings/sec, 105 secs
lola: 442211 markings, 2662131 edges, 3849 markings/sec, 110 secs
lola: 461480 markings, 2778326 edges, 3854 markings/sec, 115 secs
lola: 480738 markings, 2893927 edges, 3852 markings/sec, 120 secs
lola: 499962 markings, 3009709 edges, 3845 markings/sec, 125 secs
lola: 519212 markings, 3124159 edges, 3850 markings/sec, 130 secs
lola: 538474 markings, 3239088 edges, 3852 markings/sec, 135 secs
lola: 557694 markings, 3354951 edges, 3844 markings/sec, 140 secs
lola: 576905 markings, 3470528 edges, 3842 markings/sec, 145 secs
lola: 596072 markings, 3589053 edges, 3833 markings/sec, 150 secs
lola: 615278 markings, 3703802 edges, 3841 markings/sec, 155 secs
lola: 634477 markings, 3818769 edges, 3840 markings/sec, 160 secs
lola: 653662 markings, 3934349 edges, 3837 markings/sec, 165 secs
lola: 672942 markings, 4049871 edges, 3856 markings/sec, 170 secs
lola: 692230 markings, 4165376 edges, 3858 markings/sec, 175 secs
lola: 711496 markings, 4280974 edges, 3853 markings/sec, 180 secs
lola: 730767 markings, 4396850 edges, 3854 markings/sec, 185 secs
lola: 750019 markings, 4515130 edges, 3850 markings/sec, 190 secs
lola: 769268 markings, 4631524 edges, 3850 markings/sec, 195 secs
lola: 788534 markings, 4746500 edges, 3853 markings/sec, 200 secs
lola: 807753 markings, 4862102 edges, 3844 markings/sec, 205 secs
lola: 827020 markings, 4977753 edges, 3853 markings/sec, 210 secs
lola: 846291 markings, 5093735 edges, 3854 markings/sec, 215 secs
lola: 865544 markings, 5209056 edges, 3851 markings/sec, 220 secs
lola: 884777 markings, 5326343 edges, 3847 markings/sec, 225 secs
lola: 903944 markings, 5443334 edges, 3833 markings/sec, 230 secs
lola: 923180 markings, 5558354 edges, 3847 markings/sec, 235 secs
lola: 942422 markings, 5674290 edges, 3848 markings/sec, 240 secs
lola: 961641 markings, 5788379 edges, 3844 markings/sec, 245 secs
lola: 980860 markings, 5901900 edges, 3844 markings/sec, 250 secs
lola: 999991 markings, 6020910 edges, 3826 markings/sec, 255 secs
lola: 1019133 markings, 6138965 edges, 3828 markings/sec, 260 secs
lola: 1038369 markings, 6255760 edges, 3847 markings/sec, 265 secs
lola: 1057586 markings, 6373250 edges, 3843 markings/sec, 270 secs
lola: 1076720 markings, 6489528 edges, 3827 markings/sec, 275 secs
lola: 1095924 markings, 6609045 edges, 3841 markings/sec, 280 secs
lola: 1115046 markings, 6728702 edges, 3824 markings/sec, 285 secs
lola: 1134246 markings, 6845686 edges, 3840 markings/sec, 290 secs
lola: 1153505 markings, 6961883 edges, 3852 markings/sec, 295 secs
lola: 1172763 markings, 7077716 edges, 3852 markings/sec, 300 secs
lola: 1191935 markings, 7194645 edges, 3834 markings/sec, 305 secs
lola: 1211184 markings, 7311257 edges, 3850 markings/sec, 310 secs
lola: 1230437 markings, 7426180 edges, 3851 markings/sec, 315 secs
lola: 1249654 markings, 7544455 edges, 3843 markings/sec, 320 secs
lola: 1268662 markings, 7658066 edges, 3802 markings/sec, 325 secs
lola: 1287865 markings, 7774558 edges, 3841 markings/sec, 330 secs
lola: 1307039 markings, 7890241 edges, 3835 markings/sec, 335 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown
FORMULA DLCshifumi-PT-3a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-4 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496471040153
--------------------
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_DLCshifumi-PT-3a"
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_DLCshifumi-PT-3a.tgz
mv S_DLCshifumi-PT-3a execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_DLCshifumi-PT-3a, 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 r098-ebro-149488455900461"
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 '
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 ;