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 DLCround-PT-08b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-csrt-149580961800299
=====================================================================

--------------------
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 DLCround-PT-08b-UpperBounds-0
FORMULA_NAME DLCround-PT-08b-UpperBounds-1
FORMULA_NAME DLCround-PT-08b-UpperBounds-10
FORMULA_NAME DLCround-PT-08b-UpperBounds-11
FORMULA_NAME DLCround-PT-08b-UpperBounds-12
FORMULA_NAME DLCround-PT-08b-UpperBounds-13
FORMULA_NAME DLCround-PT-08b-UpperBounds-14
FORMULA_NAME DLCround-PT-08b-UpperBounds-15
FORMULA_NAME DLCround-PT-08b-UpperBounds-2
FORMULA_NAME DLCround-PT-08b-UpperBounds-3
FORMULA_NAME DLCround-PT-08b-UpperBounds-4
FORMULA_NAME DLCround-PT-08b-UpperBounds-5
FORMULA_NAME DLCround-PT-08b-UpperBounds-6
FORMULA_NAME DLCround-PT-08b-UpperBounds-7
FORMULA_NAME DLCround-PT-08b-UpperBounds-8
FORMULA_NAME DLCround-PT-08b-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496540454515


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
DLCround-PT-08b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
DLCround-PT-08b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ DLCround-PT-08b @ 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: 7820/65536 symbol table entries, 1621 collisions
lola: preprocessing...
lola: finding significant places
lola: 3088 places, 4732 transitions, 2931 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 6628 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-08b-UpperBounds.task
lola: MAX(p1627) : MAX(p2991) : MAX(p1698) : MAX(p2989) : MAX(p2049) : MAX(p1290) : MAX(p2455) : MAX(p427) : MAX(p504) : MAX(p541) : MAX(p806) : MAX(p44) : MAX(p1812) : MAX(p2432) : MAX(p2895) : MAX(p147)
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(p1627)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 368 bytes per marking, with 13 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 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2991)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 368 bytes per marking, with 13 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: 105551 markings, 120010 edges, 21110 markings/sec, 0 secs
lola: 211853 markings, 240689 edges, 21260 markings/sec, 5 secs
lola: 322043 markings, 365743 edges, 22038 markings/sec, 10 secs
lola: 447447 markings, 508239 edges, 25081 markings/sec, 15 secs
lola: 571919 markings, 649937 edges, 24894 markings/sec, 20 secs
lola: 699394 markings, 794990 edges, 25495 markings/sec, 25 secs
lola: 827965 markings, 940946 edges, 25714 markings/sec, 30 secs
lola: 957792 markings, 1088631 edges, 25965 markings/sec, 35 secs
lola: 1089122 markings, 1237951 edges, 26266 markings/sec, 40 secs
lola: 1213198 markings, 1378860 edges, 24815 markings/sec, 45 secs
lola: 1339643 markings, 1522733 edges, 25289 markings/sec, 50 secs
lola: 1465434 markings, 1665720 edges, 25158 markings/sec, 55 secs
lola: 1590723 markings, 1808068 edges, 25058 markings/sec, 60 secs
lola: 1718866 markings, 1953933 edges, 25629 markings/sec, 65 secs
lola: 1846470 markings, 2099248 edges, 25521 markings/sec, 70 secs
lola: 1977724 markings, 2248414 edges, 26251 markings/sec, 75 secs
lola: 2111345 markings, 2400624 edges, 26724 markings/sec, 80 secs
lola: 2243875 markings, 2551642 edges, 26506 markings/sec, 85 secs
lola: 2378394 markings, 2704540 edges, 26904 markings/sec, 90 secs
lola: 2506424 markings, 2849872 edges, 25606 markings/sec, 95 secs
lola: 2636651 markings, 2998161 edges, 26045 markings/sec, 100 secs
lola: 2760236 markings, 3138231 edges, 24717 markings/sec, 105 secs
lola: 2883809 markings, 3278791 edges, 24715 markings/sec, 110 secs
lola: 3013366 markings, 3426383 edges, 25911 markings/sec, 115 secs
lola: 3136660 markings, 3566612 edges, 24659 markings/sec, 120 secs
lola: 3260392 markings, 3707689 edges, 24746 markings/sec, 125 secs
lola: 3389273 markings, 3854933 edges, 25776 markings/sec, 130 secs
lola: 3513121 markings, 3995964 edges, 24770 markings/sec, 135 secs
lola: 3637719 markings, 4137722 edges, 24920 markings/sec, 140 secs
lola: 3765133 markings, 4282652 edges, 25483 markings/sec, 145 secs
lola: 3888254 markings, 4422689 edges, 24624 markings/sec, 150 secs
lola: 4008251 markings, 4559684 edges, 23999 markings/sec, 155 secs
lola: 4135239 markings, 4704557 edges, 25398 markings/sec, 160 secs
lola: 4255293 markings, 4841231 edges, 24011 markings/sec, 165 secs
lola: 4377520 markings, 4980162 edges, 24445 markings/sec, 170 secs
lola: 4503405 markings, 5124205 edges, 25177 markings/sec, 175 secs
lola: 4624112 markings, 5261478 edges, 24141 markings/sec, 180 secs
lola: 4748279 markings, 5402906 edges, 24833 markings/sec, 185 secs
lola: 4876669 markings, 5549125 edges, 25678 markings/sec, 190 secs
lola: 5002130 markings, 5691793 edges, 25092 markings/sec, 195 secs
lola: 5130763 markings, 5839208 edges, 25727 markings/sec, 200 secs
lola: 5254321 markings, 5980475 edges, 24712 markings/sec, 205 secs
lola: 5383138 markings, 6127114 edges, 25763 markings/sec, 210 secs
lola: 5507741 markings, 6269123 edges, 24921 markings/sec, 215 secs
lola: 5633488 markings, 6412796 edges, 25149 markings/sec, 220 secs
lola: 5756381 markings, 6553250 edges, 24579 markings/sec, 225 secs
lola: 5880683 markings, 6694647 edges, 24860 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1698)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 368 bytes per marking, with 13 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 3 will run for 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2989)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 368 bytes per marking, with 13 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: 111523 markings, 126771 edges, 22305 markings/sec, 0 secs
lola: 218912 markings, 248690 edges, 21478 markings/sec, 5 secs
lola: 330119 markings, 374908 edges, 22241 markings/sec, 10 secs
lola: 457987 markings, 520283 edges, 25574 markings/sec, 15 secs
lola: 585557 markings, 665411 edges, 25514 markings/sec, 20 secs
lola: 714351 markings, 812032 edges, 25759 markings/sec, 25 secs
lola: 843598 markings, 958719 edges, 25849 markings/sec, 30 secs
lola: 977921 markings, 1111490 edges, 26865 markings/sec, 35 secs
lola: 1104165 markings, 1254997 edges, 25249 markings/sec, 40 secs
lola: 1227472 markings, 1395057 edges, 24661 markings/sec, 45 secs
lola: 1354099 markings, 1539201 edges, 25325 markings/sec, 50 secs
lola: 1480328 markings, 1682692 edges, 25246 markings/sec, 55 secs
lola: 1608398 markings, 1828262 edges, 25614 markings/sec, 60 secs
lola: 1737671 markings, 1975269 edges, 25855 markings/sec, 65 secs
lola: 1861643 markings, 2116525 edges, 24794 markings/sec, 70 secs
lola: 1993277 markings, 2266108 edges, 26327 markings/sec, 75 secs
lola: 2127190 markings, 2418635 edges, 26783 markings/sec, 80 secs
lola: 2261229 markings, 2571304 edges, 26808 markings/sec, 85 secs
lola: 2394348 markings, 2722720 edges, 26624 markings/sec, 90 secs
lola: 2522369 markings, 2868095 edges, 25604 markings/sec, 95 secs
lola: 2656309 markings, 3020443 edges, 26788 markings/sec, 100 secs
lola: 2779559 markings, 3160287 edges, 24650 markings/sec, 105 secs
lola: 2907759 markings, 3306033 edges, 25640 markings/sec, 110 secs
lola: 3036578 markings, 3452707 edges, 25764 markings/sec, 115 secs
lola: 3170674 markings, 3605573 edges, 26819 markings/sec, 120 secs
lola: 3302485 markings, 3755686 edges, 26362 markings/sec, 125 secs
lola: 3431414 markings, 3902793 edges, 25786 markings/sec, 130 secs
lola: 3557698 markings, 4046819 edges, 25257 markings/sec, 135 secs
lola: 3684781 markings, 4191321 edges, 25417 markings/sec, 140 secs
lola: 3813011 markings, 4337253 edges, 25646 markings/sec, 145 secs
lola: 3930823 markings, 4471505 edges, 23562 markings/sec, 150 secs
lola: 4057522 markings, 4615950 edges, 25340 markings/sec, 155 secs
lola: 4183083 markings, 4759298 edges, 25112 markings/sec, 160 secs
lola: 4299140 markings, 4890866 edges, 23211 markings/sec, 165 secs
lola: 4422798 markings, 5031900 edges, 24732 markings/sec, 170 secs
lola: 4546077 markings, 5172826 edges, 24656 markings/sec, 175 secs
lola: 4668406 markings, 5311658 edges, 24466 markings/sec, 180 secs
lola: 4795342 markings, 5456647 edges, 25387 markings/sec, 185 secs
lola: 4921236 markings, 5600097 edges, 25179 markings/sec, 190 secs
lola: 5043569 markings, 5739121 edges, 24467 markings/sec, 195 secs
lola: 5170557 markings, 5884933 edges, 25398 markings/sec, 200 secs
lola: 5291551 markings, 6022861 edges, 24199 markings/sec, 205 secs
lola: 5421549 markings, 6171127 edges, 26000 markings/sec, 210 secs
lola: 5546585 markings, 6313641 edges, 25007 markings/sec, 215 secs
lola: 5672390 markings, 6457147 edges, 25161 markings/sec, 220 secs
lola: 5799319 markings, 6602079 edges, 25386 markings/sec, 225 secs
lola: 5927290 markings, 6747824 edges, 25594 markings/sec, 230 secs
lola: 6055920 markings, 6894218 edges, 25726 markings/sec, 235 secs
lola: 6179772 markings, 7035000 edges, 24770 markings/sec, 240 secs
lola: 6309406 markings, 7182511 edges, 25927 markings/sec, 245 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 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2049)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 368 bytes per marking, with 13 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: 43742 markings, 51047 edges, 8748 markings/sec, 0 secs
lola: 85702 markings, 100283 edges, 8392 markings/sec, 5 secs
lola: 127462 markings, 149287 edges, 8352 markings/sec, 10 secs
lola: 169430 markings, 198431 edges, 8394 markings/sec, 15 secs
lola: 211182 markings, 247388 edges, 8350 markings/sec, 20 secs
lola: 252828 markings, 296007 edges, 8329 markings/sec, 25 secs
lola: 294849 markings, 345659 edges, 8404 markings/sec, 30 secs
lola: 336774 markings, 395046 edges, 8385 markings/sec, 35 secs
lola: 378924 markings, 444225 edges, 8430 markings/sec, 40 secs
lola: 420895 markings, 493278 edges, 8394 markings/sec, 45 secs
lola: 462964 markings, 543304 edges, 8414 markings/sec, 50 secs
lola: 506176 markings, 594210 edges, 8642 markings/sec, 55 secs
lola: 549026 markings, 644956 edges, 8570 markings/sec, 60 secs
lola: 591959 markings, 695592 edges, 8587 markings/sec, 65 secs
lola: 635754 markings, 747175 edges, 8759 markings/sec, 70 secs
lola: 679534 markings, 798846 edges, 8756 markings/sec, 75 secs
lola: 723409 markings, 850519 edges, 8775 markings/sec, 80 secs
lola: 766990 markings, 901911 edges, 8716 markings/sec, 85 secs
lola: 810729 markings, 953682 edges, 8748 markings/sec, 90 secs
lola: 854295 markings, 1005025 edges, 8713 markings/sec, 95 secs
lola: 895573 markings, 1053947 edges, 8256 markings/sec, 100 secs
lola: 936926 markings, 1102554 edges, 8271 markings/sec, 105 secs
lola: 979251 markings, 1152390 edges, 8465 markings/sec, 110 secs
lola: 1022579 markings, 1203363 edges, 8666 markings/sec, 115 secs
lola: 1065818 markings, 1254884 edges, 8648 markings/sec, 120 secs
lola: 1108831 markings, 1304719 edges, 8603 markings/sec, 125 secs
lola: 1151185 markings, 1354355 edges, 8471 markings/sec, 130 secs
lola: 1192971 markings, 1404247 edges, 8357 markings/sec, 135 secs
lola: 1234547 markings, 1453427 edges, 8315 markings/sec, 140 secs
lola: 1275940 markings, 1502441 edges, 8279 markings/sec, 145 secs
lola: 1387739 markings, 1635291 edges, 22360 markings/sec, 150 secs
lola: 1514167 markings, 1785974 edges, 25286 markings/sec, 155 secs
lola: 1642860 markings, 1939390 edges, 25739 markings/sec, 160 secs
lola: 1769840 markings, 2090767 edges, 25396 markings/sec, 165 secs
lola: 1897322 markings, 2242761 edges, 25496 markings/sec, 170 secs
lola: 2026634 markings, 2396901 edges, 25862 markings/sec, 175 secs
lola: 2155421 markings, 2550541 edges, 25757 markings/sec, 180 secs
lola: 2282804 markings, 2703416 edges, 25477 markings/sec, 185 secs
lola: 2411907 markings, 2857968 edges, 25821 markings/sec, 190 secs
lola: 2545454 markings, 3017886 edges, 26709 markings/sec, 195 secs
lola: 2678238 markings, 3176651 edges, 26557 markings/sec, 200 secs
lola: 2810388 markings, 3334191 edges, 26430 markings/sec, 205 secs
lola: 2940958 markings, 3489838 edges, 26114 markings/sec, 210 secs
lola: 3072119 markings, 3646226 edges, 26232 markings/sec, 215 secs
lola: 3204705 markings, 3804940 edges, 26517 markings/sec, 220 secs
lola: 3338950 markings, 3965730 edges, 26849 markings/sec, 225 secs
lola: 3475407 markings, 4128818 edges, 27291 markings/sec, 230 secs
lola: 3609891 markings, 4289109 edges, 26897 markings/sec, 235 secs
lola: 3741291 markings, 4445771 edges, 26280 markings/sec, 240 secs
lola: 3872526 markings, 4602202 edges, 26247 markings/sec, 245 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 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1290)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 368 bytes per marking, with 13 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: 159656 markings, 185201 edges, 31931 markings/sec, 0 secs
lola: 325534 markings, 378529 edges, 33176 markings/sec, 5 secs
lola: 491762 markings, 573176 edges, 33246 markings/sec, 10 secs
lola: 648167 markings, 757230 edges, 31281 markings/sec, 15 secs
lola: 801300 markings, 935530 edges, 30627 markings/sec, 20 secs
lola: 951308 markings, 1110851 edges, 30002 markings/sec, 25 secs
lola: 1094278 markings, 1277485 edges, 28594 markings/sec, 30 secs
lola: 1235017 markings, 1443100 edges, 28148 markings/sec, 35 secs
lola: 1372344 markings, 1603301 edges, 27465 markings/sec, 40 secs
lola: 1508698 markings, 1762833 edges, 27271 markings/sec, 45 secs
lola: 1644701 markings, 1922437 edges, 27201 markings/sec, 50 secs
lola: 1779634 markings, 2080949 edges, 26987 markings/sec, 55 secs
lola: 1917481 markings, 2241811 edges, 27569 markings/sec, 60 secs
lola: 2059151 markings, 2407608 edges, 28334 markings/sec, 65 secs
lola: 2200168 markings, 2573361 edges, 28203 markings/sec, 70 secs
lola: 2338949 markings, 2735747 edges, 27756 markings/sec, 75 secs
lola: 2471486 markings, 2889867 edges, 26507 markings/sec, 80 secs
lola: 2599511 markings, 3037672 edges, 25605 markings/sec, 85 secs
lola: 2726442 markings, 3185087 edges, 25386 markings/sec, 90 secs
lola: 2857795 markings, 3338398 edges, 26271 markings/sec, 95 secs
lola: 2987997 markings, 3490605 edges, 26040 markings/sec, 100 secs
lola: 3118290 markings, 3642569 edges, 26059 markings/sec, 105 secs
lola: 3254265 markings, 3801671 edges, 27195 markings/sec, 110 secs
lola: 3384701 markings, 3954047 edges, 26087 markings/sec, 115 secs
lola: 3516502 markings, 4107936 edges, 26360 markings/sec, 120 secs
lola: 3647764 markings, 4262461 edges, 26252 markings/sec, 125 secs
lola: 3779865 markings, 4419023 edges, 26420 markings/sec, 130 secs
lola: 3913113 markings, 4576626 edges, 26650 markings/sec, 135 secs
lola: 4045867 markings, 4733574 edges, 26551 markings/sec, 140 secs
lola: 4171836 markings, 4880074 edges, 25194 markings/sec, 145 secs
lola: 4297351 markings, 5026266 edges, 25103 markings/sec, 150 secs
lola: 4423711 markings, 5173031 edges, 25272 markings/sec, 155 secs
lola: 4556608 markings, 5330648 edges, 26579 markings/sec, 160 secs
lola: 4693647 markings, 5490683 edges, 27408 markings/sec, 165 secs
lola: 4828426 markings, 5647826 edges, 26956 markings/sec, 170 secs
lola: 4961866 markings, 5803183 edges, 26688 markings/sec, 175 secs
lola: 5095909 markings, 5960095 edges, 26809 markings/sec, 180 secs
lola: 5239570 markings, 6126966 edges, 28732 markings/sec, 185 secs
lola: 5388996 markings, 6303199 edges, 29885 markings/sec, 190 secs
lola: 5537697 markings, 6476656 edges, 29740 markings/sec, 195 secs
lola: 5692093 markings, 6656903 edges, 30879 markings/sec, 200 secs
lola: 5847084 markings, 6839010 edges, 30998 markings/sec, 205 secs
lola: 6002899 markings, 7021077 edges, 31163 markings/sec, 210 secs
lola: 6156234 markings, 7200410 edges, 30667 markings/sec, 215 secs
lola: 6308555 markings, 7379167 edges, 30464 markings/sec, 220 secs
lola: 6459477 markings, 7555446 edges, 30184 markings/sec, 225 secs
lola: 6609569 markings, 7731753 edges, 30018 markings/sec, 230 secs
lola: 6754705 markings, 7902070 edges, 29027 markings/sec, 235 secs
lola: 6899379 markings, 8071280 edges, 28935 markings/sec, 240 secs
lola: 7044930 markings, 8241094 edges, 29110 markings/sec, 245 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 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2455)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 368 bytes per marking, with 13 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: 124932 markings, 149763 edges, 24986 markings/sec, 0 secs
lola: 251518 markings, 301730 edges, 25317 markings/sec, 5 secs
lola: 367265 markings, 439936 edges, 23149 markings/sec, 10 secs
lola: 488101 markings, 586112 edges, 24167 markings/sec, 15 secs
lola: 612292 markings, 736106 edges, 24838 markings/sec, 20 secs
lola: 741128 markings, 892558 edges, 25767 markings/sec, 25 secs
lola: 866335 markings, 1044458 edges, 25041 markings/sec, 30 secs
lola: 998642 markings, 1204725 edges, 26461 markings/sec, 35 secs
lola: 1114046 markings, 1342560 edges, 23081 markings/sec, 40 secs
lola: 1236681 markings, 1490298 edges, 24527 markings/sec, 45 secs
lola: 1372376 markings, 1655349 edges, 27139 markings/sec, 50 secs
lola: 1493016 markings, 1801432 edges, 24128 markings/sec, 55 secs
lola: 1612452 markings, 1946328 edges, 23887 markings/sec, 60 secs
lola: 1729767 markings, 2088025 edges, 23463 markings/sec, 65 secs
lola: 1846742 markings, 2229074 edges, 23395 markings/sec, 70 secs
lola: 1975073 markings, 2384549 edges, 25666 markings/sec, 75 secs
lola: 2111323 markings, 2550540 edges, 27250 markings/sec, 80 secs
lola: 2246468 markings, 2714889 edges, 27029 markings/sec, 85 secs
lola: 2371748 markings, 2866602 edges, 25056 markings/sec, 90 secs
lola: 2494989 markings, 3015858 edges, 24648 markings/sec, 95 secs
lola: 2611276 markings, 3156197 edges, 23257 markings/sec, 100 secs
lola: 2736379 markings, 3307676 edges, 25021 markings/sec, 105 secs
lola: 2875619 markings, 3477291 edges, 27848 markings/sec, 110 secs
lola: 3002640 markings, 3630790 edges, 25404 markings/sec, 115 secs
lola: 3122783 markings, 3776474 edges, 24029 markings/sec, 120 secs
lola: 3245945 markings, 3925666 edges, 24632 markings/sec, 125 secs
lola: 3364338 markings, 4068405 edges, 23679 markings/sec, 130 secs
lola: 3500624 markings, 4234316 edges, 27257 markings/sec, 135 secs
lola: 3639780 markings, 4403927 edges, 27831 markings/sec, 140 secs
lola: 3769223 markings, 4560512 edges, 25889 markings/sec, 145 secs
lola: 3886246 markings, 4701028 edges, 23405 markings/sec, 150 secs
lola: 3999070 markings, 4836577 edges, 22565 markings/sec, 155 secs
lola: 4132443 markings, 4999579 edges, 26675 markings/sec, 160 secs
lola: 4271102 markings, 5168734 edges, 27732 markings/sec, 165 secs
lola: 4377922 markings, 5295558 edges, 21364 markings/sec, 170 secs
lola: 4494021 markings, 5434267 edges, 23220 markings/sec, 175 secs
lola: 4620287 markings, 5586828 edges, 25253 markings/sec, 180 secs
lola: 4753645 markings, 5749249 edges, 26672 markings/sec, 185 secs
lola: 4886229 markings, 5910631 edges, 26517 markings/sec, 190 secs
lola: 5019105 markings, 6072217 edges, 26575 markings/sec, 195 secs
lola: 5143678 markings, 6222960 edges, 24915 markings/sec, 200 secs
lola: 5267427 markings, 6372797 edges, 24750 markings/sec, 205 secs
lola: 5388502 markings, 6519027 edges, 24215 markings/sec, 210 secs
lola: 5517049 markings, 6674668 edges, 25709 markings/sec, 215 secs
lola: 5653537 markings, 6840933 edges, 27298 markings/sec, 220 secs
lola: 5779996 markings, 6993836 edges, 25292 markings/sec, 225 secs
lola: 5900928 markings, 7140390 edges, 24186 markings/sec, 230 secs
lola: 6027086 markings, 7293054 edges, 25232 markings/sec, 235 secs
lola: 6153204 markings, 7445243 edges, 25224 markings/sec, 240 secs
lola: 6285081 markings, 7605314 edges, 26375 markings/sec, 245 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 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p427)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 368 bytes per marking, with 13 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: 94614 markings, 111956 edges, 18923 markings/sec, 0 secs
lola: 188659 markings, 223573 edges, 18809 markings/sec, 5 secs
lola: 283940 markings, 337383 edges, 19056 markings/sec, 10 secs
lola: 369584 markings, 438546 edges, 17129 markings/sec, 15 secs
lola: 454402 markings, 538279 edges, 16964 markings/sec, 20 secs
lola: 540104 markings, 640200 edges, 17140 markings/sec, 25 secs
lola: 623781 markings, 738978 edges, 16735 markings/sec, 30 secs
lola: 708462 markings, 839444 edges, 16936 markings/sec, 35 secs
lola: 792755 markings, 939078 edges, 16859 markings/sec, 40 secs
lola: 884626 markings, 1047969 edges, 18374 markings/sec, 45 secs
lola: 977061 markings, 1157850 edges, 18487 markings/sec, 50 secs
lola: 1057420 markings, 1252392 edges, 16072 markings/sec, 55 secs
lola: 1148270 markings, 1360598 edges, 18170 markings/sec, 60 secs
lola: 1242528 markings, 1473512 edges, 18852 markings/sec, 65 secs
lola: 1330065 markings, 1577464 edges, 17507 markings/sec, 70 secs
lola: 1415278 markings, 1678351 edges, 17043 markings/sec, 75 secs
lola: 1501448 markings, 1780280 edges, 17234 markings/sec, 80 secs
lola: 1586738 markings, 1881086 edges, 17058 markings/sec, 85 secs
lola: 1667077 markings, 1975431 edges, 16068 markings/sec, 90 secs
lola: 1751521 markings, 2075794 edges, 16889 markings/sec, 95 secs
lola: 1831770 markings, 2170781 edges, 16050 markings/sec, 100 secs
lola: 1910711 markings, 2265109 edges, 15788 markings/sec, 105 secs
lola: 1984634 markings, 2352307 edges, 14785 markings/sec, 110 secs
lola: 2058006 markings, 2439246 edges, 14674 markings/sec, 115 secs
lola: 2135097 markings, 2530480 edges, 15418 markings/sec, 120 secs
lola: 2216082 markings, 2626300 edges, 16197 markings/sec, 125 secs
lola: 2314090 markings, 2743622 edges, 19602 markings/sec, 130 secs
lola: 2403824 markings, 2850259 edges, 17947 markings/sec, 135 secs
lola: 2502038 markings, 2967038 edges, 19643 markings/sec, 140 secs
lola: 2600638 markings, 3084473 edges, 19720 markings/sec, 145 secs
lola: 2694892 markings, 3196161 edges, 18851 markings/sec, 150 secs
lola: 2785515 markings, 3303998 edges, 18125 markings/sec, 155 secs
lola: 2869136 markings, 3402284 edges, 16724 markings/sec, 160 secs
lola: 2967132 markings, 3517961 edges, 19599 markings/sec, 165 secs
lola: 3060438 markings, 3628808 edges, 18661 markings/sec, 170 secs
lola: 3148604 markings, 3733788 edges, 17633 markings/sec, 175 secs
lola: 3233671 markings, 3834623 edges, 17013 markings/sec, 180 secs
lola: 3326835 markings, 3945102 edges, 18633 markings/sec, 185 secs
lola: 3422948 markings, 4059133 edges, 19223 markings/sec, 190 secs
lola: 3517399 markings, 4171213 edges, 18890 markings/sec, 195 secs
lola: 3609194 markings, 4280077 edges, 18359 markings/sec, 200 secs
lola: 3698131 markings, 4385245 edges, 17787 markings/sec, 205 secs
lola: 3793804 markings, 4499159 edges, 19135 markings/sec, 210 secs
lola: 3893680 markings, 4617222 edges, 19975 markings/sec, 215 secs
lola: 3992517 markings, 4734601 edges, 19767 markings/sec, 220 secs
lola: 4084890 markings, 4844514 edges, 18475 markings/sec, 225 secs
lola: 4168804 markings, 4943627 edges, 16783 markings/sec, 230 secs
lola: 4258570 markings, 5050362 edges, 17953 markings/sec, 235 secs
lola: 4358649 markings, 5169273 edges, 20016 markings/sec, 240 secs
lola: 4459067 markings, 5289188 edges, 20084 markings/sec, 245 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 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p504)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 368 bytes per marking, with 13 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: 164111 markings, 184139 edges, 32822 markings/sec, 0 secs
lola: 328404 markings, 369583 edges, 32859 markings/sec, 5 secs
lola: 491990 markings, 554122 edges, 32717 markings/sec, 10 secs
lola: 656580 markings, 739407 edges, 32918 markings/sec, 15 secs
lola: 822858 markings, 927870 edges, 33256 markings/sec, 20 secs
lola: 986881 markings, 1112745 edges, 32805 markings/sec, 25 secs
lola: 1150593 markings, 1297516 edges, 32742 markings/sec, 30 secs
lola: 1311395 markings, 1476433 edges, 32160 markings/sec, 35 secs
lola: 1472513 markings, 1657943 edges, 32224 markings/sec, 40 secs
lola: 1636102 markings, 1843189 edges, 32718 markings/sec, 45 secs
lola: 1798557 markings, 2026331 edges, 32491 markings/sec, 50 secs
lola: 1960999 markings, 2209421 edges, 32488 markings/sec, 55 secs
lola: 2126539 markings, 2396737 edges, 33108 markings/sec, 60 secs
lola: 2292992 markings, 2583880 edges, 33291 markings/sec, 65 secs
lola: 2460877 markings, 2774073 edges, 33577 markings/sec, 70 secs
lola: 2625103 markings, 2957151 edges, 32845 markings/sec, 75 secs
lola: 2781425 markings, 3132744 edges, 31264 markings/sec, 80 secs
lola: 2945924 markings, 3318809 edges, 32900 markings/sec, 85 secs
lola: 3111584 markings, 3505569 edges, 33132 markings/sec, 90 secs
lola: 3273018 markings, 3687890 edges, 32287 markings/sec, 95 secs
lola: 3435408 markings, 3870882 edges, 32478 markings/sec, 100 secs
lola: 3596676 markings, 4052758 edges, 32254 markings/sec, 105 secs
lola: 3759269 markings, 4237138 edges, 32519 markings/sec, 110 secs
lola: 3920846 markings, 4418089 edges, 32315 markings/sec, 115 secs
lola: 4075709 markings, 4591850 edges, 30973 markings/sec, 120 secs
lola: 4236116 markings, 4772696 edges, 32081 markings/sec, 125 secs
lola: 4391850 markings, 4946494 edges, 31147 markings/sec, 130 secs
lola: 4552437 markings, 5127351 edges, 32117 markings/sec, 135 secs
lola: 4712781 markings, 5307523 edges, 32069 markings/sec, 140 secs
lola: 4874542 markings, 5489164 edges, 32352 markings/sec, 145 secs
lola: 5024860 markings, 5657539 edges, 30064 markings/sec, 150 secs
lola: 5184449 markings, 5837113 edges, 31918 markings/sec, 155 secs
lola: 5341870 markings, 6014410 edges, 31484 markings/sec, 160 secs
lola: 5501809 markings, 6194620 edges, 31988 markings/sec, 165 secs
lola: 5668035 markings, 6381982 edges, 33245 markings/sec, 170 secs
lola: 5829269 markings, 6563189 edges, 32247 markings/sec, 175 secs
lola: 5988475 markings, 6742247 edges, 31841 markings/sec, 180 secs
lola: 6148118 markings, 6921578 edges, 31929 markings/sec, 185 secs
lola: 6303060 markings, 7095816 edges, 30988 markings/sec, 190 secs
lola: 6459534 markings, 7271509 edges, 31295 markings/sec, 195 secs
lola: 6624224 markings, 7456750 edges, 32938 markings/sec, 200 secs
lola: 6783041 markings, 7635685 edges, 31763 markings/sec, 205 secs
lola: 6944651 markings, 7818332 edges, 32322 markings/sec, 210 secs
lola: 7104750 markings, 7998725 edges, 32020 markings/sec, 215 secs
lola: 7266703 markings, 8181382 edges, 32391 markings/sec, 220 secs
lola: 7431107 markings, 8367390 edges, 32881 markings/sec, 225 secs
lola: 7591431 markings, 8547977 edges, 32065 markings/sec, 230 secs
lola: 7753272 markings, 8731066 edges, 32368 markings/sec, 235 secs
lola: 7914504 markings, 8912673 edges, 32246 markings/sec, 240 secs
lola: 8075025 markings, 9093500 edges, 32104 markings/sec, 245 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 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p541)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 368 bytes per marking, with 13 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: 189831 markings, 210480 edges, 37966 markings/sec, 0 secs
lola: 372608 markings, 409074 edges, 36555 markings/sec, 5 secs
lola: 560020 markings, 616251 edges, 37482 markings/sec, 10 secs
lola: 741733 markings, 816012 edges, 36343 markings/sec, 15 secs
lola: 929787 markings, 1023470 edges, 37611 markings/sec, 20 secs
lola: 1111631 markings, 1223873 edges, 36369 markings/sec, 25 secs
lola: 1296721 markings, 1427660 edges, 37018 markings/sec, 30 secs
lola: 1481711 markings, 1630688 edges, 36998 markings/sec, 35 secs
lola: 1672951 markings, 1842719 edges, 38248 markings/sec, 40 secs
lola: 1857237 markings, 2045850 edges, 36857 markings/sec, 45 secs
lola: 2041918 markings, 2248976 edges, 36936 markings/sec, 50 secs
lola: 2233075 markings, 2459584 edges, 38231 markings/sec, 55 secs
lola: 2422831 markings, 2668412 edges, 37951 markings/sec, 60 secs
lola: 2609116 markings, 2873094 edges, 37257 markings/sec, 65 secs
lola: 2798278 markings, 3081991 edges, 37832 markings/sec, 70 secs
lola: 2990122 markings, 3293583 edges, 38369 markings/sec, 75 secs
lola: 3177451 markings, 3499540 edges, 37466 markings/sec, 80 secs
lola: 3367029 markings, 3708939 edges, 37916 markings/sec, 85 secs
lola: 3554991 markings, 3915786 edges, 37592 markings/sec, 90 secs
lola: 3743263 markings, 4123238 edges, 37654 markings/sec, 95 secs
lola: 3930118 markings, 4328597 edges, 37371 markings/sec, 100 secs
lola: 4114948 markings, 4531757 edges, 36966 markings/sec, 105 secs
lola: 4294511 markings, 4729517 edges, 35913 markings/sec, 110 secs
lola: 4480231 markings, 4934155 edges, 37144 markings/sec, 115 secs
lola: 4665496 markings, 5138020 edges, 37053 markings/sec, 120 secs
lola: 4851187 markings, 5342378 edges, 37138 markings/sec, 125 secs
lola: 5040211 markings, 5550400 edges, 37805 markings/sec, 130 secs
lola: 5224423 markings, 5752980 edges, 36842 markings/sec, 135 secs
lola: 5406032 markings, 5953362 edges, 36322 markings/sec, 140 secs
lola: 5592821 markings, 6159187 edges, 37358 markings/sec, 145 secs
lola: 5777601 markings, 6362818 edges, 36956 markings/sec, 150 secs
lola: 5958995 markings, 6562550 edges, 36279 markings/sec, 155 secs
lola: 6144566 markings, 6766985 edges, 37114 markings/sec, 160 secs
lola: 6335028 markings, 6976304 edges, 38092 markings/sec, 165 secs
lola: 6529926 markings, 7191603 edges, 38980 markings/sec, 170 secs
lola: 6714206 markings, 7394458 edges, 36856 markings/sec, 175 secs
lola: 6897520 markings, 7596796 edges, 36663 markings/sec, 180 secs
lola: 7085490 markings, 7803866 edges, 37594 markings/sec, 185 secs
lola: 7271494 markings, 8008857 edges, 37201 markings/sec, 190 secs
lola: 7454808 markings, 8210740 edges, 36663 markings/sec, 195 secs
lola: 7637446 markings, 8411742 edges, 36528 markings/sec, 200 secs
lola: 7819555 markings, 8612056 edges, 36422 markings/sec, 205 secs
lola: 8003595 markings, 8814506 edges, 36808 markings/sec, 210 secs
lola: 8188251 markings, 9017422 edges, 36931 markings/sec, 215 secs
lola: 8374901 markings, 9223475 edges, 37330 markings/sec, 220 secs
lola: 8556983 markings, 9423630 edges, 36416 markings/sec, 225 secs
lola: 8737459 markings, 9622334 edges, 36095 markings/sec, 230 secs
lola: 8926385 markings, 9830050 edges, 37785 markings/sec, 235 secs
lola: 9116660 markings, 10040128 edges, 38055 markings/sec, 240 secs
lola: 9299878 markings, 10241315 edges, 36644 markings/sec, 245 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 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p806)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 368 bytes per marking, with 13 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: 42162 markings, 51786 edges, 8432 markings/sec, 0 secs
lola: 85046 markings, 105142 edges, 8577 markings/sec, 5 secs
lola: 126369 markings, 156532 edges, 8265 markings/sec, 10 secs
lola: 166542 markings, 205907 edges, 8035 markings/sec, 15 secs
lola: 207473 markings, 256250 edges, 8186 markings/sec, 20 secs
lola: 247686 markings, 305351 edges, 8043 markings/sec, 25 secs
lola: 287619 markings, 354292 edges, 7987 markings/sec, 30 secs
lola: 327606 markings, 403452 edges, 7997 markings/sec, 35 secs
lola: 367676 markings, 453490 edges, 8014 markings/sec, 40 secs
lola: 407842 markings, 503722 edges, 8033 markings/sec, 45 secs
lola: 448006 markings, 554374 edges, 8033 markings/sec, 50 secs
lola: 488056 markings, 604713 edges, 8010 markings/sec, 55 secs
lola: 528026 markings, 653922 edges, 7994 markings/sec, 60 secs
lola: 568166 markings, 703949 edges, 8028 markings/sec, 65 secs
lola: 608778 markings, 754669 edges, 8122 markings/sec, 70 secs
lola: 648851 markings, 803959 edges, 8015 markings/sec, 75 secs
lola: 689305 markings, 854801 edges, 8091 markings/sec, 80 secs
lola: 729877 markings, 905238 edges, 8114 markings/sec, 85 secs
lola: 770053 markings, 955587 edges, 8035 markings/sec, 90 secs
lola: 810221 markings, 1006311 edges, 8034 markings/sec, 95 secs
lola: 850431 markings, 1056453 edges, 8042 markings/sec, 100 secs
lola: 890439 markings, 1106209 edges, 8002 markings/sec, 105 secs
lola: 930564 markings, 1156283 edges, 8025 markings/sec, 110 secs
lola: 970697 markings, 1206375 edges, 8027 markings/sec, 115 secs
lola: 1010923 markings, 1256519 edges, 8045 markings/sec, 120 secs
lola: 1050953 markings, 1306494 edges, 8006 markings/sec, 125 secs
lola: 1091080 markings, 1357158 edges, 8025 markings/sec, 130 secs
lola: 1131312 markings, 1407863 edges, 8046 markings/sec, 135 secs
lola: 1171310 markings, 1457902 edges, 8000 markings/sec, 140 secs
lola: 1211346 markings, 1507800 edges, 8007 markings/sec, 145 secs
lola: 1250989 markings, 1557255 edges, 7929 markings/sec, 150 secs
lola: 1291508 markings, 1608642 edges, 8104 markings/sec, 155 secs
lola: 1332087 markings, 1660049 edges, 8116 markings/sec, 160 secs
lola: 1372687 markings, 1711316 edges, 8120 markings/sec, 165 secs
lola: 1413102 markings, 1761435 edges, 8083 markings/sec, 170 secs
lola: 1453565 markings, 1811621 edges, 8093 markings/sec, 175 secs
lola: 1493787 markings, 1862060 edges, 8044 markings/sec, 180 secs
lola: 1534482 markings, 1912985 edges, 8139 markings/sec, 185 secs
lola: 1575119 markings, 1964419 edges, 8127 markings/sec, 190 secs
lola: 1615423 markings, 2015090 edges, 8061 markings/sec, 195 secs
lola: 1655788 markings, 2065478 edges, 8073 markings/sec, 200 secs
lola: 1696198 markings, 2116118 edges, 8082 markings/sec, 205 secs
lola: 1736503 markings, 2167255 edges, 8061 markings/sec, 210 secs
lola: 1776666 markings, 2217082 edges, 8033 markings/sec, 215 secs
lola: 1816885 markings, 2267392 edges, 8044 markings/sec, 220 secs
lola: 1856755 markings, 2316955 edges, 7974 markings/sec, 225 secs
lola: 1896835 markings, 2368306 edges, 8016 markings/sec, 230 secs
lola: 1936445 markings, 2417615 edges, 7922 markings/sec, 235 secs
lola: 1976008 markings, 2466982 edges, 7913 markings/sec, 240 secs
lola: 2017180 markings, 2518300 edges, 8234 markings/sec, 245 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 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p44)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 368 bytes per marking, with 13 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: 44878 markings, 54188 edges, 8976 markings/sec, 0 secs
lola: 90074 markings, 108403 edges, 9039 markings/sec, 5 secs
lola: 135262 markings, 162787 edges, 9038 markings/sec, 10 secs
lola: 245781 markings, 287099 edges, 22104 markings/sec, 15 secs
lola: 376151 markings, 431778 edges, 26074 markings/sec, 20 secs
lola: 507071 markings, 578090 edges, 26184 markings/sec, 25 secs
lola: 632862 markings, 718049 edges, 25158 markings/sec, 30 secs
lola: 758357 markings, 857919 edges, 25099 markings/sec, 35 secs
lola: 883550 markings, 997731 edges, 25039 markings/sec, 40 secs
lola: 1010276 markings, 1139132 edges, 25345 markings/sec, 45 secs
lola: 1135860 markings, 1279277 edges, 25117 markings/sec, 50 secs
lola: 1259772 markings, 1416629 edges, 24782 markings/sec, 55 secs
lola: 1383639 markings, 1554350 edges, 24773 markings/sec, 60 secs
lola: 1505850 markings, 1690084 edges, 24442 markings/sec, 65 secs
lola: 1630819 markings, 1829494 edges, 24994 markings/sec, 70 secs
lola: 1757125 markings, 1972187 edges, 25261 markings/sec, 75 secs
lola: 1881374 markings, 2111257 edges, 24850 markings/sec, 80 secs
lola: 2003666 markings, 2247056 edges, 24458 markings/sec, 85 secs
lola: 2126669 markings, 2383631 edges, 24601 markings/sec, 90 secs
lola: 2252005 markings, 2524466 edges, 25067 markings/sec, 95 secs
lola: 2373633 markings, 2659542 edges, 24326 markings/sec, 100 secs
lola: 2495038 markings, 2795168 edges, 24281 markings/sec, 105 secs
lola: 2620199 markings, 2934871 edges, 25032 markings/sec, 110 secs
lola: 2743423 markings, 3072176 edges, 24645 markings/sec, 115 secs
lola: 2866296 markings, 3209127 edges, 24575 markings/sec, 120 secs
lola: 2992226 markings, 3349769 edges, 25186 markings/sec, 125 secs
lola: 3115961 markings, 3488043 edges, 24747 markings/sec, 130 secs
lola: 3240741 markings, 3627278 edges, 24956 markings/sec, 135 secs
lola: 3367046 markings, 3767807 edges, 25261 markings/sec, 140 secs
lola: 3491017 markings, 3906719 edges, 24794 markings/sec, 145 secs
lola: 3611897 markings, 4040950 edges, 24176 markings/sec, 150 secs
lola: 3735100 markings, 4178130 edges, 24641 markings/sec, 155 secs
lola: 3862991 markings, 4320362 edges, 25578 markings/sec, 160 secs
lola: 3986309 markings, 4458658 edges, 24664 markings/sec, 165 secs
lola: 4105554 markings, 4591151 edges, 23849 markings/sec, 170 secs
lola: 4226077 markings, 4725946 edges, 24105 markings/sec, 175 secs
lola: 4346631 markings, 4860354 edges, 24111 markings/sec, 180 secs
lola: 4470228 markings, 4998395 edges, 24719 markings/sec, 185 secs
lola: 4594346 markings, 5137281 edges, 24824 markings/sec, 190 secs
lola: 4717898 markings, 5274837 edges, 24710 markings/sec, 195 secs
lola: 4839903 markings, 5410490 edges, 24401 markings/sec, 200 secs
lola: 4966750 markings, 5551543 edges, 25369 markings/sec, 205 secs
lola: 5093809 markings, 5693465 edges, 25412 markings/sec, 210 secs
lola: 5222589 markings, 5836735 edges, 25756 markings/sec, 215 secs
lola: 5347766 markings, 5976235 edges, 25035 markings/sec, 220 secs
lola: 5475288 markings, 6118833 edges, 25504 markings/sec, 225 secs
lola: 5597890 markings, 6255053 edges, 24520 markings/sec, 230 secs
lola: 5723391 markings, 6394727 edges, 25100 markings/sec, 235 secs
lola: 5852816 markings, 6539180 edges, 25885 markings/sec, 240 secs
lola: 5977182 markings, 6678118 edges, 24873 markings/sec, 245 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 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1812)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 368 bytes per marking, with 13 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: 43942 markings, 53079 edges, 8788 markings/sec, 0 secs
lola: 87354 markings, 105181 edges, 8682 markings/sec, 5 secs
lola: 129877 markings, 156259 edges, 8505 markings/sec, 10 secs
lola: 205505 markings, 241877 edges, 15126 markings/sec, 15 secs
lola: 311898 markings, 358514 edges, 21279 markings/sec, 20 secs
lola: 417669 markings, 474444 edges, 21154 markings/sec, 25 secs
lola: 528241 markings, 595713 edges, 22114 markings/sec, 30 secs
lola: 642428 markings, 720910 edges, 22837 markings/sec, 35 secs
lola: 759130 markings, 848969 edges, 23340 markings/sec, 40 secs
lola: 871504 markings, 972227 edges, 22475 markings/sec, 45 secs
lola: 986766 markings, 1098598 edges, 23052 markings/sec, 50 secs
lola: 1104516 markings, 1227796 edges, 23550 markings/sec, 55 secs
lola: 1218521 markings, 1352857 edges, 22801 markings/sec, 60 secs
lola: 1330234 markings, 1475376 edges, 22343 markings/sec, 65 secs
lola: 1442626 markings, 1598801 edges, 22478 markings/sec, 70 secs
lola: 1550637 markings, 1717262 edges, 21602 markings/sec, 75 secs
lola: 1671813 markings, 1850149 edges, 24235 markings/sec, 80 secs
lola: 1789555 markings, 1979206 edges, 23548 markings/sec, 85 secs
lola: 1906762 markings, 2107648 edges, 23441 markings/sec, 90 secs
lola: 2027579 markings, 2240046 edges, 24163 markings/sec, 95 secs
lola: 2146667 markings, 2370735 edges, 23818 markings/sec, 100 secs
lola: 2265879 markings, 2501512 edges, 23842 markings/sec, 105 secs
lola: 2382434 markings, 2629273 edges, 23311 markings/sec, 110 secs
lola: 2504007 markings, 2762518 edges, 24315 markings/sec, 115 secs
lola: 2618818 markings, 2888408 edges, 22962 markings/sec, 120 secs
lola: 2743480 markings, 3025087 edges, 24932 markings/sec, 125 secs
lola: 2860748 markings, 3153557 edges, 23454 markings/sec, 130 secs
lola: 2978300 markings, 3282575 edges, 23510 markings/sec, 135 secs
lola: 3083518 markings, 3397907 edges, 21044 markings/sec, 140 secs
lola: 3191113 markings, 3515800 edges, 21519 markings/sec, 145 secs
lola: 3303404 markings, 3638913 edges, 22458 markings/sec, 150 secs
lola: 3419920 markings, 3766622 edges, 23303 markings/sec, 155 secs
lola: 3536447 markings, 3894397 edges, 23305 markings/sec, 160 secs
lola: 3649692 markings, 4018420 edges, 22649 markings/sec, 165 secs
lola: 3767619 markings, 4147706 edges, 23585 markings/sec, 170 secs
lola: 3887224 markings, 4278797 edges, 23921 markings/sec, 175 secs
lola: 4009471 markings, 4412763 edges, 24449 markings/sec, 180 secs
lola: 4125591 markings, 4540001 edges, 23224 markings/sec, 185 secs
lola: 4246148 markings, 4672140 edges, 24111 markings/sec, 190 secs
lola: 4361154 markings, 4798176 edges, 23001 markings/sec, 195 secs
lola: 4472096 markings, 4919799 edges, 22188 markings/sec, 200 secs
lola: 4589768 markings, 5048765 edges, 23534 markings/sec, 205 secs
lola: 4713516 markings, 5184370 edges, 24750 markings/sec, 210 secs
lola: 4831951 markings, 5314208 edges, 23687 markings/sec, 215 secs
lola: 4951585 markings, 5445246 edges, 23927 markings/sec, 220 secs
lola: 5072278 markings, 5577597 edges, 24139 markings/sec, 225 secs
lola: 5193631 markings, 5710711 edges, 24271 markings/sec, 230 secs
lola: 5313734 markings, 5842360 edges, 24021 markings/sec, 235 secs
lola: 5426912 markings, 5966441 edges, 22636 markings/sec, 240 secs
lola: 5543331 markings, 6094037 edges, 23284 markings/sec, 245 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 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2432)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 368 bytes per marking, with 13 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: 145117 markings, 174265 edges, 29023 markings/sec, 0 secs
lola: 290416 markings, 348011 edges, 29060 markings/sec, 5 secs
lola: 435188 markings, 520549 edges, 28954 markings/sec, 10 secs
lola: 577842 markings, 691534 edges, 28531 markings/sec, 15 secs
lola: 722535 markings, 865068 edges, 28939 markings/sec, 20 secs
lola: 866114 markings, 1036968 edges, 28716 markings/sec, 25 secs
lola: 1008990 markings, 1207995 edges, 28575 markings/sec, 30 secs
lola: 1147493 markings, 1373311 edges, 27701 markings/sec, 35 secs
lola: 1284127 markings, 1536721 edges, 27327 markings/sec, 40 secs
lola: 1421846 markings, 1701158 edges, 27544 markings/sec, 45 secs
lola: 1561208 markings, 1867737 edges, 27872 markings/sec, 50 secs
lola: 1698209 markings, 2031549 edges, 27400 markings/sec, 55 secs
lola: 1831484 markings, 2190682 edges, 26655 markings/sec, 60 secs
lola: 1972121 markings, 2358989 edges, 28127 markings/sec, 65 secs
lola: 2111226 markings, 2524943 edges, 27821 markings/sec, 70 secs
lola: 2246896 markings, 2687073 edges, 27134 markings/sec, 75 secs
lola: 2379281 markings, 2845498 edges, 26477 markings/sec, 80 secs
lola: 2514739 markings, 3007339 edges, 27092 markings/sec, 85 secs
lola: 2650815 markings, 3169810 edges, 27215 markings/sec, 90 secs
lola: 2783561 markings, 3328273 edges, 26549 markings/sec, 95 secs
lola: 2912976 markings, 3483248 edges, 25883 markings/sec, 100 secs
lola: 3037773 markings, 3632219 edges, 24959 markings/sec, 105 secs
lola: 3160176 markings, 3778697 edges, 24481 markings/sec, 110 secs
lola: 3282606 markings, 3924644 edges, 24486 markings/sec, 115 secs
lola: 3394869 markings, 4058850 edges, 22453 markings/sec, 120 secs
lola: 3516187 markings, 4203941 edges, 24264 markings/sec, 125 secs
lola: 3646628 markings, 4359695 edges, 26088 markings/sec, 130 secs
lola: 3772651 markings, 4510942 edges, 25205 markings/sec, 135 secs
lola: 3906558 markings, 4671440 edges, 26781 markings/sec, 140 secs
lola: 4034719 markings, 4825233 edges, 25632 markings/sec, 145 secs
lola: 4164193 markings, 4980369 edges, 25895 markings/sec, 150 secs
lola: 4282835 markings, 5122632 edges, 23728 markings/sec, 155 secs
lola: 4411014 markings, 5276625 edges, 25636 markings/sec, 160 secs
lola: 4539597 markings, 5430589 edges, 25717 markings/sec, 165 secs
lola: 4666584 markings, 5582809 edges, 25397 markings/sec, 170 secs
lola: 4798922 markings, 5741085 edges, 26468 markings/sec, 175 secs
lola: 4930954 markings, 5898839 edges, 26406 markings/sec, 180 secs
lola: 5054298 markings, 6046441 edges, 24669 markings/sec, 185 secs
lola: 5180789 markings, 6197555 edges, 25298 markings/sec, 190 secs
lola: 5306451 markings, 6347437 edges, 25132 markings/sec, 195 secs
lola: 5436612 markings, 6503405 edges, 26032 markings/sec, 200 secs
lola: 5560122 markings, 6651305 edges, 24702 markings/sec, 205 secs
lola: 5680970 markings, 6796060 edges, 24170 markings/sec, 210 secs
lola: 5798660 markings, 6936563 edges, 23538 markings/sec, 215 secs
lola: 5922863 markings, 7084728 edges, 24841 markings/sec, 220 secs
lola: 6053866 markings, 7241102 edges, 26201 markings/sec, 225 secs
lola: 6186008 markings, 7399240 edges, 26428 markings/sec, 230 secs
lola: 6318293 markings, 7557645 edges, 26457 markings/sec, 235 secs
lola: 6450396 markings, 7715592 edges, 26421 markings/sec, 240 secs
lola: 6576170 markings, 7866584 edges, 25155 markings/sec, 245 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 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2895)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 368 bytes per marking, with 13 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: 177611 markings, 244962 edges, 35522 markings/sec, 0 secs
lola: 365270 markings, 504449 edges, 37532 markings/sec, 5 secs
lola: 540352 markings, 746483 edges, 35016 markings/sec, 10 secs
lola: 715316 markings, 988563 edges, 34993 markings/sec, 15 secs
lola: 892942 markings, 1234393 edges, 35525 markings/sec, 20 secs
lola: 1080447 markings, 1494271 edges, 37501 markings/sec, 25 secs
lola: 1266382 markings, 1751951 edges, 37187 markings/sec, 30 secs
lola: 1450750 markings, 2007542 edges, 36874 markings/sec, 35 secs
lola: 1638981 markings, 2269391 edges, 37646 markings/sec, 40 secs
lola: 1826980 markings, 2530121 edges, 37600 markings/sec, 45 secs
lola: 2006496 markings, 2778882 edges, 35903 markings/sec, 50 secs
lola: 2187887 markings, 3030121 edges, 36278 markings/sec, 55 secs
lola: 2369732 markings, 3282002 edges, 36369 markings/sec, 60 secs
lola: 2551347 markings, 3533133 edges, 36323 markings/sec, 65 secs
lola: 2730314 markings, 3781649 edges, 35793 markings/sec, 70 secs
lola: 2907230 markings, 4026650 edges, 35383 markings/sec, 75 secs
lola: 3083677 markings, 4270658 edges, 35289 markings/sec, 80 secs
lola: 3259041 markings, 4513590 edges, 35073 markings/sec, 85 secs
lola: 3431355 markings, 4752315 edges, 34463 markings/sec, 90 secs
lola: 3602701 markings, 4989654 edges, 34269 markings/sec, 95 secs
lola: 3774660 markings, 5227518 edges, 34392 markings/sec, 100 secs
lola: 3947973 markings, 5467750 edges, 34663 markings/sec, 105 secs
lola: 4119212 markings, 5705055 edges, 34248 markings/sec, 110 secs
lola: 4289170 markings, 5940613 edges, 33992 markings/sec, 115 secs
lola: 4460085 markings, 6177471 edges, 34183 markings/sec, 120 secs
lola: 4632552 markings, 6416497 edges, 34493 markings/sec, 125 secs
lola: 4806085 markings, 6656640 edges, 34707 markings/sec, 130 secs
lola: 4977240 markings, 6893875 edges, 34231 markings/sec, 135 secs
lola: 5148102 markings, 7130493 edges, 34172 markings/sec, 140 secs
lola: 5322604 markings, 7371592 edges, 34900 markings/sec, 145 secs
lola: 5493782 markings, 7608165 edges, 34236 markings/sec, 150 secs
lola: 5665193 markings, 7845207 edges, 34282 markings/sec, 155 secs
lola: 5839672 markings, 8086519 edges, 34896 markings/sec, 160 secs
lola: 6017689 markings, 8332814 edges, 35603 markings/sec, 165 secs
lola: 6196000 markings, 8579295 edges, 35662 markings/sec, 170 secs
lola: 6374913 markings, 8826831 edges, 35783 markings/sec, 175 secs
lola: 6551745 markings, 9071258 edges, 35366 markings/sec, 180 secs
lola: 6730285 markings, 9318234 edges, 35708 markings/sec, 185 secs
lola: 6909518 markings, 9566102 edges, 35847 markings/sec, 190 secs
lola: 7087013 markings, 9811453 edges, 35499 markings/sec, 195 secs
lola: 7263929 markings, 10056180 edges, 35383 markings/sec, 200 secs
lola: 7441044 markings, 10301137 edges, 35423 markings/sec, 205 secs
lola: 7618815 markings, 10546861 edges, 35554 markings/sec, 210 secs
lola: 7792590 markings, 10787231 edges, 34755 markings/sec, 215 secs
lola: 7965538 markings, 11026895 edges, 34590 markings/sec, 220 secs
lola: 8143386 markings, 11273503 edges, 35570 markings/sec, 225 secs
lola: 8319544 markings, 11517138 edges, 35232 markings/sec, 230 secs
lola: 8491170 markings, 11754456 edges, 34325 markings/sec, 235 secs
lola: 8666787 markings, 11997371 edges, 35123 markings/sec, 240 secs
lola: 8842865 markings, 12240837 edges, 35216 markings/sec, 245 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 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p147)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 368 bytes per marking, with 13 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: 45102 markings, 54570 edges, 9020 markings/sec, 0 secs
lola: 143289 markings, 164708 edges, 19637 markings/sec, 5 secs
lola: 262444 markings, 298472 edges, 23831 markings/sec, 10 secs
lola: 377875 markings, 427110 edges, 23086 markings/sec, 15 secs
lola: 491829 markings, 553730 edges, 22791 markings/sec, 20 secs
lola: 604506 markings, 679862 edges, 22535 markings/sec, 25 secs
lola: 718635 markings, 808054 edges, 22826 markings/sec, 30 secs
lola: 832300 markings, 935010 edges, 22733 markings/sec, 35 secs
lola: 945098 markings, 1060998 edges, 22560 markings/sec, 40 secs
lola: 1058381 markings, 1188881 edges, 22657 markings/sec, 45 secs
lola: 1174024 markings, 1317824 edges, 23129 markings/sec, 50 secs
lola: 1295782 markings, 1454656 edges, 24352 markings/sec, 55 secs
lola: 1414660 markings, 1587598 edges, 23776 markings/sec, 60 secs
lola: 1536859 markings, 1724152 edges, 24440 markings/sec, 65 secs
lola: 1659828 markings, 1861260 edges, 24594 markings/sec, 70 secs
lola: 1781348 markings, 1996769 edges, 24304 markings/sec, 75 secs
lola: 1900267 markings, 2129436 edges, 23784 markings/sec, 80 secs
lola: 2019332 markings, 2262526 edges, 23813 markings/sec, 85 secs
lola: 2139084 markings, 2396055 edges, 23950 markings/sec, 90 secs
lola: 2258099 markings, 2528809 edges, 23803 markings/sec, 95 secs
lola: 2376624 markings, 2660899 edges, 23705 markings/sec, 100 secs
lola: 2495164 markings, 2792944 edges, 23708 markings/sec, 105 secs
lola: 2614308 markings, 2926078 edges, 23829 markings/sec, 110 secs
lola: 2733804 markings, 3060272 edges, 23899 markings/sec, 115 secs
lola: 2853852 markings, 3193796 edges, 24010 markings/sec, 120 secs
lola: 2977204 markings, 3331391 edges, 24670 markings/sec, 125 secs
lola: 3100773 markings, 3469198 edges, 24714 markings/sec, 130 secs
lola: 3223033 markings, 3605525 edges, 24452 markings/sec, 135 secs
lola: 3346559 markings, 3743296 edges, 24705 markings/sec, 140 secs
lola: 3465708 markings, 3876468 edges, 23830 markings/sec, 145 secs
lola: 3585228 markings, 4009751 edges, 23904 markings/sec, 150 secs
lola: 3704159 markings, 4142411 edges, 23786 markings/sec, 155 secs
lola: 3822482 markings, 4274259 edges, 23665 markings/sec, 160 secs
lola: 3946117 markings, 4411942 edges, 24727 markings/sec, 165 secs
lola: 4071457 markings, 4552295 edges, 25068 markings/sec, 170 secs
lola: 4196111 markings, 4691996 edges, 24931 markings/sec, 175 secs
lola: 4319440 markings, 4829764 edges, 24666 markings/sec, 180 secs
lola: 4438528 markings, 4962615 edges, 23818 markings/sec, 185 secs
lola: 4556073 markings, 5096004 edges, 23509 markings/sec, 190 secs
lola: 4678545 markings, 5233268 edges, 24494 markings/sec, 195 secs
lola: 4798614 markings, 5368298 edges, 24014 markings/sec, 200 secs
lola: 4919117 markings, 5504200 edges, 24101 markings/sec, 205 secs
lola: 5037700 markings, 5636974 edges, 23717 markings/sec, 210 secs
lola: 5158515 markings, 5773391 edges, 24163 markings/sec, 215 secs
lola: 5274767 markings, 5903126 edges, 23250 markings/sec, 220 secs
lola: 5393547 markings, 6035902 edges, 23756 markings/sec, 225 secs
lola: 5512212 markings, 6168230 edges, 23733 markings/sec, 230 secs
lola: 5627490 markings, 6296805 edges, 23056 markings/sec, 235 secs
lola: 5743013 markings, 6425574 edges, 23105 markings/sec, 240 secs
lola: 5857970 markings, 6553551 edges, 22991 markings/sec, 245 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: 1 unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA DLCround-PT-08b-UpperBounds-0 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-08b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-08b-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-08b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-08b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-08b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-08b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-08b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-08b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-08b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-08b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-08b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-08b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-08b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-08b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-08b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496543994792

--------------------
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="DLCround-PT-08b"
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/DLCround-PT-08b.tgz
mv DLCround-PT-08b 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 DLCround-PT-08b, 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 r178-csrt-149580961800299"
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 ;