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

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

=== Now, execution of the tool begins

BK_START 1496542524429


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


checking for too many tokens
===========================================================================================
DLCround-PT-10b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ DLCround-PT-10b @ 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: 10116/65536 symbol table entries, 2628 collisions
lola: preprocessing...
lola: finding significant places
lola: 3924 places, 6192 transitions, 3711 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 8844 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-10b-UpperBounds.task
lola: MAX(p68) : MAX(p3643) : MAX(p1727) : MAX(p529) : MAX(p2029) : MAX(p1342) : MAX(p2659) : MAX(p131) : MAX(p2634) : MAX(p3107) : MAX(p736) : MAX(p1964) : MAX(p1469) : MAX(p2755) : MAX(p1214) : MAX(p3178)
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(p68)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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: 112480 markings, 123529 edges, 22496 markings/sec, 0 secs
lola: 217383 markings, 238945 edges, 20981 markings/sec, 5 secs
lola: 325706 markings, 358413 edges, 21665 markings/sec, 10 secs
lola: 433567 markings, 477179 edges, 21572 markings/sec, 15 secs
lola: 544934 markings, 600120 edges, 22273 markings/sec, 20 secs
lola: 652702 markings, 718977 edges, 21554 markings/sec, 25 secs
lola: 761442 markings, 838657 edges, 21748 markings/sec, 30 secs
lola: 870370 markings, 958485 edges, 21786 markings/sec, 35 secs
lola: 978941 markings, 1078011 edges, 21714 markings/sec, 40 secs
lola: 1089406 markings, 1200069 edges, 22093 markings/sec, 45 secs
lola: 1201393 markings, 1323258 edges, 22397 markings/sec, 50 secs
lola: 1314771 markings, 1448073 edges, 22676 markings/sec, 55 secs
lola: 1431779 markings, 1577155 edges, 23402 markings/sec, 60 secs
lola: 1545158 markings, 1701944 edges, 22676 markings/sec, 65 secs
lola: 1656359 markings, 1824268 edges, 22240 markings/sec, 70 secs
lola: 1768585 markings, 1948088 edges, 22445 markings/sec, 75 secs
lola: 1875398 markings, 2065727 edges, 21363 markings/sec, 80 secs
lola: 1982195 markings, 2183420 edges, 21359 markings/sec, 85 secs
lola: 2090531 markings, 2302807 edges, 21667 markings/sec, 90 secs
lola: 2202341 markings, 2426438 edges, 22362 markings/sec, 95 secs
lola: 2315393 markings, 2550987 edges, 22610 markings/sec, 100 secs
lola: 2427919 markings, 2675084 edges, 22505 markings/sec, 105 secs
lola: 2540339 markings, 2798884 edges, 22484 markings/sec, 110 secs
lola: 2655830 markings, 2926168 edges, 23098 markings/sec, 115 secs
lola: 2770292 markings, 3052486 edges, 22892 markings/sec, 120 secs
lola: 2884346 markings, 3178305 edges, 22811 markings/sec, 125 secs
lola: 2997126 markings, 3302460 edges, 22556 markings/sec, 130 secs
lola: 3109523 markings, 3426400 edges, 22479 markings/sec, 135 secs
lola: 3218675 markings, 3546518 edges, 21830 markings/sec, 140 secs
lola: 3330716 markings, 3670105 edges, 22408 markings/sec, 145 secs
lola: 3442080 markings, 3792619 edges, 22273 markings/sec, 150 secs
lola: 3555830 markings, 3918027 edges, 22750 markings/sec, 155 secs
lola: 3671255 markings, 4045736 edges, 23085 markings/sec, 160 secs
lola: 3785944 markings, 4172196 edges, 22938 markings/sec, 165 secs
lola: 3896855 markings, 4294356 edges, 22182 markings/sec, 170 secs
lola: 4007334 markings, 4415917 edges, 22096 markings/sec, 175 secs
lola: 4120540 markings, 4540755 edges, 22641 markings/sec, 180 secs
lola: 4231653 markings, 4663082 edges, 22223 markings/sec, 185 secs
lola: 4345075 markings, 4788109 edges, 22684 markings/sec, 190 secs
lola: 4456829 markings, 4911141 edges, 22351 markings/sec, 195 secs
lola: 4569802 markings, 5035647 edges, 22595 markings/sec, 200 secs
lola: 4685670 markings, 5163850 edges, 23174 markings/sec, 205 secs
lola: 4800499 markings, 5290600 edges, 22966 markings/sec, 210 secs
lola: 4911466 markings, 5412517 edges, 22193 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(p3643)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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(p1727)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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: 69604 markings, 75774 edges, 13921 markings/sec, 0 secs
lola: 166489 markings, 183839 edges, 19377 markings/sec, 5 secs
lola: 266526 markings, 294250 edges, 20007 markings/sec, 10 secs
lola: 368599 markings, 406554 edges, 20415 markings/sec, 15 secs
lola: 474591 markings, 525940 edges, 21198 markings/sec, 20 secs
lola: 578624 markings, 642809 edges, 20807 markings/sec, 25 secs
lola: 684275 markings, 762044 edges, 21130 markings/sec, 30 secs
lola: 788887 markings, 879709 edges, 20922 markings/sec, 35 secs
lola: 894877 markings, 999186 edges, 21198 markings/sec, 40 secs
lola: 998335 markings, 1114593 edges, 20692 markings/sec, 45 secs
lola: 1100639 markings, 1226739 edges, 20461 markings/sec, 50 secs
lola: 1209194 markings, 1349679 edges, 21711 markings/sec, 55 secs
lola: 1318406 markings, 1472153 edges, 21842 markings/sec, 60 secs
lola: 1427734 markings, 1594010 edges, 21866 markings/sec, 65 secs
lola: 1529510 markings, 1707084 edges, 20355 markings/sec, 70 secs
lola: 1638474 markings, 1828407 edges, 21793 markings/sec, 75 secs
lola: 1735012 markings, 1935709 edges, 19308 markings/sec, 80 secs
lola: 1842444 markings, 2056374 edges, 21486 markings/sec, 85 secs
lola: 1948608 markings, 2175939 edges, 21233 markings/sec, 90 secs
lola: 2052351 markings, 2293011 edges, 20749 markings/sec, 95 secs
lola: 2152306 markings, 2404898 edges, 19991 markings/sec, 100 secs
lola: 2247956 markings, 2511288 edges, 19130 markings/sec, 105 secs
lola: 2354797 markings, 2631250 edges, 21368 markings/sec, 110 secs
lola: 2455210 markings, 2743754 edges, 20083 markings/sec, 115 secs
lola: 2562507 markings, 2864761 edges, 21459 markings/sec, 120 secs
lola: 2652937 markings, 2965191 edges, 18086 markings/sec, 125 secs
lola: 2741286 markings, 3063554 edges, 17670 markings/sec, 130 secs
lola: 2836694 markings, 3168405 edges, 19082 markings/sec, 135 secs
lola: 2941956 markings, 3284657 edges, 21052 markings/sec, 140 secs
lola: 3040936 markings, 3395013 edges, 19796 markings/sec, 145 secs
lola: 3136908 markings, 3502160 edges, 19194 markings/sec, 150 secs
lola: 3244024 markings, 3622994 edges, 21423 markings/sec, 155 secs
lola: 3346733 markings, 3737781 edges, 20542 markings/sec, 160 secs
lola: 3450951 markings, 3854987 edges, 20844 markings/sec, 165 secs
lola: 3545085 markings, 3959964 edges, 18827 markings/sec, 170 secs
lola: 3646130 markings, 4071471 edges, 20209 markings/sec, 175 secs
lola: 3746066 markings, 4183337 edges, 19987 markings/sec, 180 secs
lola: 3838573 markings, 4286630 edges, 18501 markings/sec, 185 secs
lola: 3952378 markings, 4414808 edges, 22761 markings/sec, 190 secs
lola: 4042473 markings, 4514867 edges, 18019 markings/sec, 195 secs
lola: 4146485 markings, 4632143 edges, 20802 markings/sec, 200 secs
lola: 4252493 markings, 4752364 edges, 21202 markings/sec, 205 secs
lola: 4350605 markings, 4861688 edges, 19622 markings/sec, 210 secs
lola: 4449365 markings, 4971372 edges, 19752 markings/sec, 215 secs
lola: 4546381 markings, 5079217 edges, 19403 markings/sec, 220 secs
lola: 4655167 markings, 5201694 edges, 21757 markings/sec, 225 secs
lola: 4754283 markings, 5312356 edges, 19823 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(p529)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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: 213575 markings, 236606 edges, 42715 markings/sec, 0 secs
lola: 436542 markings, 484119 edges, 44593 markings/sec, 5 secs
lola: 657009 markings, 728813 edges, 44093 markings/sec, 10 secs
lola: 865152 markings, 960049 edges, 41629 markings/sec, 15 secs
lola: 1070311 markings, 1188266 edges, 41032 markings/sec, 20 secs
lola: 1265749 markings, 1404912 edges, 39088 markings/sec, 25 secs
lola: 1459007 markings, 1619458 edges, 38652 markings/sec, 30 secs
lola: 1653811 markings, 1835761 edges, 38961 markings/sec, 35 secs
lola: 1846271 markings, 2049923 edges, 38492 markings/sec, 40 secs
lola: 2043989 markings, 2268732 edges, 39544 markings/sec, 45 secs
lola: 2241636 markings, 2487893 edges, 39529 markings/sec, 50 secs
lola: 2437526 markings, 2704960 edges, 39178 markings/sec, 55 secs
lola: 2633620 markings, 2922458 edges, 39219 markings/sec, 60 secs
lola: 2830563 markings, 3141010 edges, 39389 markings/sec, 65 secs
lola: 3026124 markings, 3357581 edges, 39112 markings/sec, 70 secs
lola: 3219557 markings, 3572006 edges, 38687 markings/sec, 75 secs
lola: 3414622 markings, 3788417 edges, 39013 markings/sec, 80 secs
lola: 3619003 markings, 4015226 edges, 40876 markings/sec, 85 secs
lola: 3813615 markings, 4231506 edges, 38922 markings/sec, 90 secs
lola: 4012482 markings, 4452352 edges, 39773 markings/sec, 95 secs
lola: 4207155 markings, 4668186 edges, 38935 markings/sec, 100 secs
lola: 4399420 markings, 4881302 edges, 38453 markings/sec, 105 secs
lola: 4590037 markings, 5092424 edges, 38123 markings/sec, 110 secs
lola: 4770411 markings, 5292240 edges, 36075 markings/sec, 115 secs
lola: 4958484 markings, 5501277 edges, 37615 markings/sec, 120 secs
lola: 5154812 markings, 5719919 edges, 39266 markings/sec, 125 secs
lola: 5358105 markings, 5945818 edges, 40659 markings/sec, 130 secs
lola: 5552610 markings, 6161912 edges, 38901 markings/sec, 135 secs
lola: 5740565 markings, 6370548 edges, 37591 markings/sec, 140 secs
lola: 5923825 markings, 6573936 edges, 36652 markings/sec, 145 secs
lola: 6109912 markings, 6780880 edges, 37217 markings/sec, 150 secs
lola: 6310038 markings, 7002831 edges, 40025 markings/sec, 155 secs
lola: 6511392 markings, 7225779 edges, 40271 markings/sec, 160 secs
lola: 6705283 markings, 7441536 edges, 38778 markings/sec, 165 secs
lola: 6898868 markings, 7656109 edges, 38717 markings/sec, 170 secs
lola: 7094687 markings, 7873242 edges, 39164 markings/sec, 175 secs
lola: 7294404 markings, 8094504 edges, 39943 markings/sec, 180 secs
lola: 7488695 markings, 8310148 edges, 38858 markings/sec, 185 secs
lola: 7688730 markings, 8532208 edges, 40007 markings/sec, 190 secs
lola: 7888373 markings, 8753416 edges, 39929 markings/sec, 195 secs
lola: 8084824 markings, 8971467 edges, 39290 markings/sec, 200 secs
lola: 8280311 markings, 9188551 edges, 39097 markings/sec, 205 secs
lola: 8476285 markings, 9405993 edges, 39195 markings/sec, 210 secs
lola: 8676892 markings, 9628473 edges, 40121 markings/sec, 215 secs
lola: 8877332 markings, 9850537 edges, 40088 markings/sec, 220 secs
lola: 9078336 markings, 10073700 edges, 40201 markings/sec, 225 secs
lola: 9278545 markings, 10295479 edges, 40042 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(p2029)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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: 31434 markings, 39226 edges, 6287 markings/sec, 0 secs
lola: 88218 markings, 105131 edges, 11357 markings/sec, 5 secs
lola: 166487 markings, 192343 edges, 15654 markings/sec, 10 secs
lola: 245994 markings, 280889 edges, 15901 markings/sec, 15 secs
lola: 325187 markings, 369028 edges, 15839 markings/sec, 20 secs
lola: 405395 markings, 458320 edges, 16042 markings/sec, 25 secs
lola: 487269 markings, 549427 edges, 16375 markings/sec, 30 secs
lola: 570842 markings, 642477 edges, 16715 markings/sec, 35 secs
lola: 652417 markings, 733326 edges, 16315 markings/sec, 40 secs
lola: 739505 markings, 830325 edges, 17418 markings/sec, 45 secs
lola: 821980 markings, 922209 edges, 16495 markings/sec, 50 secs
lola: 907317 markings, 1017204 edges, 17067 markings/sec, 55 secs
lola: 990602 markings, 1109933 edges, 16657 markings/sec, 60 secs
lola: 1078025 markings, 1207224 edges, 17485 markings/sec, 65 secs
lola: 1163865 markings, 1302810 edges, 17168 markings/sec, 70 secs
lola: 1251772 markings, 1400704 edges, 17581 markings/sec, 75 secs
lola: 1338571 markings, 1497363 edges, 17360 markings/sec, 80 secs
lola: 1428980 markings, 1598039 edges, 18082 markings/sec, 85 secs
lola: 1518819 markings, 1698041 edges, 17968 markings/sec, 90 secs
lola: 1608944 markings, 1798446 edges, 18025 markings/sec, 95 secs
lola: 1699520 markings, 1899382 edges, 18115 markings/sec, 100 secs
lola: 1790345 markings, 2000471 edges, 18165 markings/sec, 105 secs
lola: 1878419 markings, 2098503 edges, 17615 markings/sec, 110 secs
lola: 1965507 markings, 2195417 edges, 17418 markings/sec, 115 secs
lola: 2050631 markings, 2290141 edges, 17025 markings/sec, 120 secs
lola: 2141212 markings, 2390973 edges, 18116 markings/sec, 125 secs
lola: 2230655 markings, 2490530 edges, 17889 markings/sec, 130 secs
lola: 2324663 markings, 2595134 edges, 18802 markings/sec, 135 secs
lola: 2418573 markings, 2699647 edges, 18782 markings/sec, 140 secs
lola: 2513356 markings, 2805147 edges, 18957 markings/sec, 145 secs
lola: 2612439 markings, 2915471 edges, 19817 markings/sec, 150 secs
lola: 2713859 markings, 3028440 edges, 20284 markings/sec, 155 secs
lola: 2814791 markings, 3140880 edges, 20186 markings/sec, 160 secs
lola: 2914837 markings, 3252283 edges, 20009 markings/sec, 165 secs
lola: 3018977 markings, 3368335 edges, 20828 markings/sec, 170 secs
lola: 3123490 markings, 3484746 edges, 20903 markings/sec, 175 secs
lola: 3226318 markings, 3599261 edges, 20566 markings/sec, 180 secs
lola: 3328089 markings, 3712605 edges, 20354 markings/sec, 185 secs
lola: 3427376 markings, 3823121 edges, 19857 markings/sec, 190 secs
lola: 3527145 markings, 3934048 edges, 19954 markings/sec, 195 secs
lola: 3625589 markings, 4043578 edges, 19689 markings/sec, 200 secs
lola: 3724892 markings, 4154112 edges, 19861 markings/sec, 205 secs
lola: 3826123 markings, 4266696 edges, 20246 markings/sec, 210 secs
lola: 3921468 markings, 4372830 edges, 19069 markings/sec, 215 secs
lola: 4018876 markings, 4481322 edges, 19482 markings/sec, 220 secs
lola: 4119791 markings, 4593553 edges, 20183 markings/sec, 225 secs
lola: 4221261 markings, 4706459 edges, 20294 markings/sec, 230 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1342)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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: 146151 markings, 165697 edges, 29230 markings/sec, 0 secs
lola: 289488 markings, 328818 edges, 28667 markings/sec, 5 secs
lola: 432561 markings, 489798 edges, 28615 markings/sec, 10 secs
lola: 575315 markings, 650006 edges, 28551 markings/sec, 15 secs
lola: 716876 markings, 808995 edges, 28312 markings/sec, 20 secs
lola: 858131 markings, 969263 edges, 28251 markings/sec, 25 secs
lola: 1001074 markings, 1131332 edges, 28589 markings/sec, 30 secs
lola: 1137551 markings, 1284566 edges, 27295 markings/sec, 35 secs
lola: 1261344 markings, 1423366 edges, 24759 markings/sec, 40 secs
lola: 1384810 markings, 1561874 edges, 24693 markings/sec, 45 secs
lola: 1506570 markings, 1698188 edges, 24352 markings/sec, 50 secs
lola: 1628656 markings, 1835128 edges, 24417 markings/sec, 55 secs
lola: 1749377 markings, 1970523 edges, 24144 markings/sec, 60 secs
lola: 1869634 markings, 2105299 edges, 24051 markings/sec, 65 secs
lola: 1988629 markings, 2238798 edges, 23799 markings/sec, 70 secs
lola: 2107065 markings, 2371573 edges, 23687 markings/sec, 75 secs
lola: 2225997 markings, 2504862 edges, 23786 markings/sec, 80 secs
lola: 2344118 markings, 2639686 edges, 23624 markings/sec, 85 secs
lola: 2463586 markings, 2774701 edges, 23894 markings/sec, 90 secs
lola: 2581186 markings, 2908851 edges, 23520 markings/sec, 95 secs
lola: 2700089 markings, 3043057 edges, 23781 markings/sec, 100 secs
lola: 2820069 markings, 3178823 edges, 23996 markings/sec, 105 secs
lola: 2940074 markings, 3315536 edges, 24001 markings/sec, 110 secs
lola: 3059828 markings, 3451033 edges, 23951 markings/sec, 115 secs
lola: 3175615 markings, 3582321 edges, 23157 markings/sec, 120 secs
lola: 3296693 markings, 3719778 edges, 24216 markings/sec, 125 secs
lola: 3415332 markings, 3852953 edges, 23728 markings/sec, 130 secs
lola: 3535741 markings, 3988315 edges, 24082 markings/sec, 135 secs
lola: 3657328 markings, 4124489 edges, 24317 markings/sec, 140 secs
lola: 3780412 markings, 4263321 edges, 24617 markings/sec, 145 secs
lola: 3904288 markings, 4404380 edges, 24775 markings/sec, 150 secs
lola: 4030461 markings, 4547628 edges, 25235 markings/sec, 155 secs
lola: 4154148 markings, 4688432 edges, 24737 markings/sec, 160 secs
lola: 4278035 markings, 4828790 edges, 24777 markings/sec, 165 secs
lola: 4402534 markings, 4970416 edges, 24900 markings/sec, 170 secs
lola: 4528138 markings, 5113027 edges, 25121 markings/sec, 175 secs
lola: 4649729 markings, 5251748 edges, 24318 markings/sec, 180 secs
lola: 4771655 markings, 5390016 edges, 24385 markings/sec, 185 secs
lola: 4893052 markings, 5528793 edges, 24279 markings/sec, 190 secs
lola: 5015881 markings, 5669003 edges, 24566 markings/sec, 195 secs
lola: 5134763 markings, 5803746 edges, 23776 markings/sec, 200 secs
lola: 5254562 markings, 5940229 edges, 23960 markings/sec, 205 secs
lola: 5375972 markings, 6078879 edges, 24282 markings/sec, 210 secs
lola: 5495938 markings, 6216365 edges, 23993 markings/sec, 215 secs
lola: 5615520 markings, 6351695 edges, 23916 markings/sec, 220 secs
lola: 5735065 markings, 6487163 edges, 23909 markings/sec, 225 secs
lola: 5852761 markings, 6622020 edges, 23539 markings/sec, 230 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2659)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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: 71730 markings, 81135 edges, 14346 markings/sec, 0 secs
lola: 147391 markings, 166702 edges, 15132 markings/sec, 5 secs
lola: 222155 markings, 251361 edges, 14953 markings/sec, 10 secs
lola: 295193 markings, 333617 edges, 14608 markings/sec, 15 secs
lola: 367853 markings, 415511 edges, 14532 markings/sec, 20 secs
lola: 436831 markings, 493188 edges, 13796 markings/sec, 25 secs
lola: 506551 markings, 572054 edges, 13944 markings/sec, 30 secs
lola: 577876 markings, 652596 edges, 14265 markings/sec, 35 secs
lola: 650569 markings, 734828 edges, 14539 markings/sec, 40 secs
lola: 724765 markings, 818897 edges, 14839 markings/sec, 45 secs
lola: 795945 markings, 899351 edges, 14236 markings/sec, 50 secs
lola: 869343 markings, 982350 edges, 14680 markings/sec, 55 secs
lola: 946179 markings, 1069453 edges, 15367 markings/sec, 60 secs
lola: 1025185 markings, 1158811 edges, 15801 markings/sec, 65 secs
lola: 1102413 markings, 1246196 edges, 15446 markings/sec, 70 secs
lola: 1177527 markings, 1331430 edges, 15023 markings/sec, 75 secs
lola: 1250933 markings, 1414729 edges, 14681 markings/sec, 80 secs
lola: 1326552 markings, 1500509 edges, 15124 markings/sec, 85 secs
lola: 1401810 markings, 1586076 edges, 15052 markings/sec, 90 secs
lola: 1476093 markings, 1670434 edges, 14857 markings/sec, 95 secs
lola: 1551887 markings, 1756467 edges, 15159 markings/sec, 100 secs
lola: 1627567 markings, 1842215 edges, 15136 markings/sec, 105 secs
lola: 1702895 markings, 1927676 edges, 15066 markings/sec, 110 secs
lola: 1778369 markings, 2013259 edges, 15095 markings/sec, 115 secs
lola: 1854846 markings, 2100073 edges, 15295 markings/sec, 120 secs
lola: 1930552 markings, 2186000 edges, 15141 markings/sec, 125 secs
lola: 2007870 markings, 2273848 edges, 15464 markings/sec, 130 secs
lola: 2083087 markings, 2359031 edges, 15043 markings/sec, 135 secs
lola: 2160291 markings, 2446725 edges, 15441 markings/sec, 140 secs
lola: 2236098 markings, 2532582 edges, 15161 markings/sec, 145 secs
lola: 2312420 markings, 2619139 edges, 15264 markings/sec, 150 secs
lola: 2388825 markings, 2705798 edges, 15281 markings/sec, 155 secs
lola: 2465834 markings, 2793161 edges, 15402 markings/sec, 160 secs
lola: 2542594 markings, 2880194 edges, 15352 markings/sec, 165 secs
lola: 2621654 markings, 2969912 edges, 15812 markings/sec, 170 secs
lola: 2698237 markings, 3056740 edges, 15317 markings/sec, 175 secs
lola: 2776208 markings, 3145180 edges, 15594 markings/sec, 180 secs
lola: 2853619 markings, 3232953 edges, 15482 markings/sec, 185 secs
lola: 2928965 markings, 3318404 edges, 15069 markings/sec, 190 secs
lola: 3003645 markings, 3403128 edges, 14936 markings/sec, 195 secs
lola: 3078914 markings, 3488525 edges, 15054 markings/sec, 200 secs
lola: 3154154 markings, 3573908 edges, 15048 markings/sec, 205 secs
lola: 3229268 markings, 3659063 edges, 15023 markings/sec, 210 secs
lola: 3305608 markings, 3745680 edges, 15268 markings/sec, 215 secs
lola: 3380842 markings, 3830855 edges, 15047 markings/sec, 220 secs
lola: 3456304 markings, 3916490 edges, 15092 markings/sec, 225 secs
lola: 3532679 markings, 4003163 edges, 15275 markings/sec, 230 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p131)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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: 33131 markings, 40677 edges, 6626 markings/sec, 0 secs
lola: 67105 markings, 83352 edges, 6795 markings/sec, 5 secs
lola: 101665 markings, 128292 edges, 6912 markings/sec, 10 secs
lola: 136135 markings, 174072 edges, 6894 markings/sec, 15 secs
lola: 170394 markings, 216341 edges, 6852 markings/sec, 20 secs
lola: 204212 markings, 260445 edges, 6764 markings/sec, 25 secs
lola: 237848 markings, 302466 edges, 6727 markings/sec, 30 secs
lola: 271918 markings, 344739 edges, 6814 markings/sec, 35 secs
lola: 305660 markings, 387609 edges, 6748 markings/sec, 40 secs
lola: 339319 markings, 430335 edges, 6732 markings/sec, 45 secs
lola: 372970 markings, 472214 edges, 6730 markings/sec, 50 secs
lola: 406177 markings, 512776 edges, 6641 markings/sec, 55 secs
lola: 440127 markings, 554331 edges, 6790 markings/sec, 60 secs
lola: 474368 markings, 596996 edges, 6848 markings/sec, 65 secs
lola: 508192 markings, 639953 edges, 6765 markings/sec, 70 secs
lola: 539935 markings, 682454 edges, 6349 markings/sec, 75 secs
lola: 573517 markings, 724633 edges, 6716 markings/sec, 80 secs
lola: 607455 markings, 767042 edges, 6788 markings/sec, 85 secs
lola: 638906 markings, 806296 edges, 6290 markings/sec, 90 secs
lola: 672878 markings, 848712 edges, 6794 markings/sec, 95 secs
lola: 705448 markings, 888618 edges, 6514 markings/sec, 100 secs
lola: 738680 markings, 929253 edges, 6646 markings/sec, 105 secs
lola: 771150 markings, 969654 edges, 6494 markings/sec, 110 secs
lola: 803856 markings, 1010857 edges, 6541 markings/sec, 115 secs
lola: 836025 markings, 1053935 edges, 6434 markings/sec, 120 secs
lola: 868640 markings, 1095257 edges, 6523 markings/sec, 125 secs
lola: 901775 markings, 1136413 edges, 6627 markings/sec, 130 secs
lola: 934280 markings, 1177165 edges, 6501 markings/sec, 135 secs
lola: 967556 markings, 1218730 edges, 6655 markings/sec, 140 secs
lola: 1000831 markings, 1259474 edges, 6655 markings/sec, 145 secs
lola: 1038765 markings, 1304279 edges, 7587 markings/sec, 150 secs
lola: 1141276 markings, 1418224 edges, 20502 markings/sec, 155 secs
lola: 1242844 markings, 1531448 edges, 20314 markings/sec, 160 secs
lola: 1346440 markings, 1646725 edges, 20719 markings/sec, 165 secs
lola: 1448249 markings, 1760185 edges, 20362 markings/sec, 170 secs
lola: 1552978 markings, 1876803 edges, 20946 markings/sec, 175 secs
lola: 1659025 markings, 1994879 edges, 21209 markings/sec, 180 secs
lola: 1773739 markings, 2122547 edges, 22943 markings/sec, 185 secs
lola: 1881468 markings, 2242527 edges, 21546 markings/sec, 190 secs
lola: 1994027 markings, 2368089 edges, 22512 markings/sec, 195 secs
lola: 2109746 markings, 2496702 edges, 23144 markings/sec, 200 secs
lola: 2217115 markings, 2616533 edges, 21474 markings/sec, 205 secs
lola: 2327583 markings, 2739308 edges, 22094 markings/sec, 210 secs
lola: 2437571 markings, 2861837 edges, 21998 markings/sec, 215 secs
lola: 2550593 markings, 2987814 edges, 22604 markings/sec, 220 secs
lola: 2665302 markings, 3115441 edges, 22942 markings/sec, 225 secs
lola: 2773307 markings, 3235761 edges, 21601 markings/sec, 230 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2634)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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 9 will run for 270 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3107)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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: 86325 markings, 100783 edges, 17265 markings/sec, 0 secs
lola: 173377 markings, 202885 edges, 17410 markings/sec, 5 secs
lola: 260501 markings, 305135 edges, 17425 markings/sec, 10 secs
lola: 348623 markings, 408894 edges, 17624 markings/sec, 15 secs
lola: 434142 markings, 509809 edges, 17104 markings/sec, 20 secs
lola: 519244 markings, 610894 edges, 17020 markings/sec, 25 secs
lola: 594319 markings, 697980 edges, 15015 markings/sec, 30 secs
lola: 678089 markings, 796668 edges, 16754 markings/sec, 35 secs
lola: 766127 markings, 900886 edges, 17608 markings/sec, 40 secs
lola: 854790 markings, 1006504 edges, 17733 markings/sec, 45 secs
lola: 943621 markings, 1111610 edges, 17766 markings/sec, 50 secs
lola: 1031316 markings, 1214767 edges, 17539 markings/sec, 55 secs
lola: 1120407 markings, 1320681 edges, 17818 markings/sec, 60 secs
lola: 1207364 markings, 1423481 edges, 17391 markings/sec, 65 secs
lola: 1293907 markings, 1526877 edges, 17309 markings/sec, 70 secs
lola: 1381945 markings, 1631459 edges, 17608 markings/sec, 75 secs
lola: 1471073 markings, 1737458 edges, 17826 markings/sec, 80 secs
lola: 1558069 markings, 1841167 edges, 17399 markings/sec, 85 secs
lola: 1645120 markings, 1942273 edges, 17410 markings/sec, 90 secs
lola: 1731667 markings, 2044177 edges, 17309 markings/sec, 95 secs
lola: 1817972 markings, 2146535 edges, 17261 markings/sec, 100 secs
lola: 1902362 markings, 2245557 edges, 16878 markings/sec, 105 secs
lola: 1988523 markings, 2347729 edges, 17232 markings/sec, 110 secs
lola: 2075561 markings, 2451459 edges, 17408 markings/sec, 115 secs
lola: 2160206 markings, 2551091 edges, 16929 markings/sec, 120 secs
lola: 2241777 markings, 2647749 edges, 16314 markings/sec, 125 secs
lola: 2327863 markings, 2749718 edges, 17217 markings/sec, 130 secs
lola: 2417356 markings, 2855621 edges, 17899 markings/sec, 135 secs
lola: 2506184 markings, 2959908 edges, 17766 markings/sec, 140 secs
lola: 2596687 markings, 3068187 edges, 18101 markings/sec, 145 secs
lola: 2686407 markings, 3175726 edges, 17944 markings/sec, 150 secs
lola: 2773638 markings, 3279121 edges, 17446 markings/sec, 155 secs
lola: 2858363 markings, 3379161 edges, 16945 markings/sec, 160 secs
lola: 2945553 markings, 3483818 edges, 17438 markings/sec, 165 secs
lola: 3030270 markings, 3584524 edges, 16943 markings/sec, 170 secs
lola: 3116917 markings, 3688045 edges, 17329 markings/sec, 175 secs
lola: 3205732 markings, 3793212 edges, 17763 markings/sec, 180 secs
lola: 3296046 markings, 3900854 edges, 18063 markings/sec, 185 secs
lola: 3385142 markings, 4006136 edges, 17819 markings/sec, 190 secs
lola: 3472033 markings, 4108156 edges, 17378 markings/sec, 195 secs
lola: 3557636 markings, 4209772 edges, 17121 markings/sec, 200 secs
lola: 3645875 markings, 4315151 edges, 17648 markings/sec, 205 secs
lola: 3734659 markings, 4419916 edges, 17757 markings/sec, 210 secs
lola: 3819710 markings, 4519751 edges, 17010 markings/sec, 215 secs
lola: 3906945 markings, 4624576 edges, 17447 markings/sec, 220 secs
lola: 3994368 markings, 4728199 edges, 17485 markings/sec, 225 secs
lola: 4085245 markings, 4836628 edges, 18175 markings/sec, 230 secs
lola: 4174915 markings, 4943166 edges, 17934 markings/sec, 235 secs
lola: 4265188 markings, 5049992 edges, 18055 markings/sec, 240 secs
lola: 4355601 markings, 5158368 edges, 18083 markings/sec, 245 secs
lola: 4440082 markings, 5258888 edges, 16896 markings/sec, 250 secs
lola: 4526420 markings, 5361432 edges, 17268 markings/sec, 255 secs
lola: 4614220 markings, 5466608 edges, 17560 markings/sec, 260 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 271 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p736)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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: 145302 markings, 167793 edges, 29060 markings/sec, 0 secs
lola: 283043 markings, 324425 edges, 27548 markings/sec, 5 secs
lola: 407125 markings, 465488 edges, 24816 markings/sec, 10 secs
lola: 526684 markings, 601192 edges, 23912 markings/sec, 15 secs
lola: 647694 markings, 738478 edges, 24202 markings/sec, 20 secs
lola: 766643 markings, 873680 edges, 23790 markings/sec, 25 secs
lola: 882835 markings, 1005671 edges, 23238 markings/sec, 30 secs
lola: 997801 markings, 1136071 edges, 22993 markings/sec, 35 secs
lola: 1115803 markings, 1270265 edges, 23600 markings/sec, 40 secs
lola: 1235103 markings, 1406038 edges, 23860 markings/sec, 45 secs
lola: 1357543 markings, 1545097 edges, 24488 markings/sec, 50 secs
lola: 1477326 markings, 1681220 edges, 23957 markings/sec, 55 secs
lola: 1594654 markings, 1814264 edges, 23466 markings/sec, 60 secs
lola: 1716001 markings, 1952064 edges, 24269 markings/sec, 65 secs
lola: 1840208 markings, 2093260 edges, 24841 markings/sec, 70 secs
lola: 1962109 markings, 2231618 edges, 24380 markings/sec, 75 secs
lola: 2086265 markings, 2372659 edges, 24831 markings/sec, 80 secs
lola: 2218018 markings, 2522298 edges, 26351 markings/sec, 85 secs
lola: 2355846 markings, 2678822 edges, 27566 markings/sec, 90 secs
lola: 2497293 markings, 2839752 edges, 28289 markings/sec, 95 secs
lola: 2638572 markings, 3000816 edges, 28256 markings/sec, 100 secs
lola: 2780041 markings, 3162028 edges, 28294 markings/sec, 105 secs
lola: 2918931 markings, 3320149 edges, 27778 markings/sec, 110 secs
lola: 3057236 markings, 3477477 edges, 27661 markings/sec, 115 secs
lola: 3197251 markings, 3636524 edges, 28003 markings/sec, 120 secs
lola: 3335234 markings, 3793439 edges, 27597 markings/sec, 125 secs
lola: 3475641 markings, 3954062 edges, 28081 markings/sec, 130 secs
lola: 3614480 markings, 4111825 edges, 27768 markings/sec, 135 secs
lola: 3753510 markings, 4269920 edges, 27806 markings/sec, 140 secs
lola: 3888664 markings, 4423825 edges, 27031 markings/sec, 145 secs
lola: 4031556 markings, 4586381 edges, 28578 markings/sec, 150 secs
lola: 4171172 markings, 4744931 edges, 27923 markings/sec, 155 secs
lola: 4304707 markings, 4895638 edges, 26707 markings/sec, 160 secs
lola: 4438341 markings, 5046069 edges, 26727 markings/sec, 165 secs
lola: 4582210 markings, 5209489 edges, 28774 markings/sec, 170 secs
lola: 4718122 markings, 5363596 edges, 27182 markings/sec, 175 secs
lola: 4852192 markings, 5515867 edges, 26814 markings/sec, 180 secs
lola: 4989666 markings, 5671865 edges, 27495 markings/sec, 185 secs
lola: 5123308 markings, 5823402 edges, 26728 markings/sec, 190 secs
lola: 5257188 markings, 5975196 edges, 26776 markings/sec, 195 secs
lola: 5391871 markings, 6128035 edges, 26937 markings/sec, 200 secs
lola: 5528890 markings, 6283055 edges, 27404 markings/sec, 205 secs
lola: 5660525 markings, 6431222 edges, 26327 markings/sec, 210 secs
lola: 5791960 markings, 6579628 edges, 26287 markings/sec, 215 secs
lola: 5926931 markings, 6732911 edges, 26994 markings/sec, 220 secs
lola: 6061152 markings, 6885191 edges, 26844 markings/sec, 225 secs
lola: 6198081 markings, 7040569 edges, 27386 markings/sec, 230 secs
lola: 6338302 markings, 7199721 edges, 28044 markings/sec, 235 secs
lola: 6479127 markings, 7359596 edges, 28165 markings/sec, 240 secs
lola: 6617969 markings, 7517262 edges, 27768 markings/sec, 245 secs
lola: 6756306 markings, 7674346 edges, 27667 markings/sec, 250 secs
lola: 6893886 markings, 7830437 edges, 27516 markings/sec, 255 secs
lola: 7031049 markings, 7986183 edges, 27433 markings/sec, 260 secs
lola: 7166107 markings, 8139507 edges, 27012 markings/sec, 265 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 271 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1964)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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 12 will run for 338 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1469)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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: 143131 markings, 163205 edges, 28626 markings/sec, 0 secs
lola: 281710 markings, 322457 edges, 27716 markings/sec, 5 secs
lola: 421953 markings, 484350 edges, 28049 markings/sec, 10 secs
lola: 562879 markings, 646411 edges, 28185 markings/sec, 15 secs
lola: 703663 markings, 809125 edges, 28157 markings/sec, 20 secs
lola: 842398 markings, 968627 edges, 27747 markings/sec, 25 secs
lola: 981529 markings, 1128056 edges, 27826 markings/sec, 30 secs
lola: 1125421 markings, 1293063 edges, 28778 markings/sec, 35 secs
lola: 1271307 markings, 1460953 edges, 29177 markings/sec, 40 secs
lola: 1416133 markings, 1627475 edges, 28965 markings/sec, 45 secs
lola: 1560084 markings, 1792877 edges, 28790 markings/sec, 50 secs
lola: 1703687 markings, 1958317 edges, 28721 markings/sec, 55 secs
lola: 1850304 markings, 2128753 edges, 29323 markings/sec, 60 secs
lola: 1992967 markings, 2292665 edges, 28533 markings/sec, 65 secs
lola: 2138427 markings, 2459817 edges, 29092 markings/sec, 70 secs
lola: 2283359 markings, 2626463 edges, 28986 markings/sec, 75 secs
lola: 2428604 markings, 2794353 edges, 29049 markings/sec, 80 secs
lola: 2575126 markings, 2964871 edges, 29304 markings/sec, 85 secs
lola: 2721370 markings, 3132923 edges, 29249 markings/sec, 90 secs
lola: 2869222 markings, 3302815 edges, 29570 markings/sec, 95 secs
lola: 3015780 markings, 3471210 edges, 29312 markings/sec, 100 secs
lola: 3162198 markings, 3640567 edges, 29284 markings/sec, 105 secs
lola: 3306485 markings, 3807672 edges, 28857 markings/sec, 110 secs
lola: 3450767 markings, 3973526 edges, 28856 markings/sec, 115 secs
lola: 3596593 markings, 4140994 edges, 29165 markings/sec, 120 secs
lola: 3739787 markings, 4305614 edges, 28639 markings/sec, 125 secs
lola: 3886823 markings, 4476923 edges, 29407 markings/sec, 130 secs
lola: 4033882 markings, 4647296 edges, 29412 markings/sec, 135 secs
lola: 4177212 markings, 4812143 edges, 28666 markings/sec, 140 secs
lola: 4303023 markings, 4956845 edges, 25162 markings/sec, 145 secs
lola: 4427621 markings, 5099909 edges, 24920 markings/sec, 150 secs
lola: 4555316 markings, 5246817 edges, 25539 markings/sec, 155 secs
lola: 4685605 markings, 5396440 edges, 26058 markings/sec, 160 secs
lola: 4818461 markings, 5549194 edges, 26571 markings/sec, 165 secs
lola: 4953451 markings, 5704458 edges, 26998 markings/sec, 170 secs
lola: 5090483 markings, 5861917 edges, 27406 markings/sec, 175 secs
lola: 5231489 markings, 6024029 edges, 28201 markings/sec, 180 secs
lola: 5370558 markings, 6183957 edges, 27814 markings/sec, 185 secs
lola: 5507530 markings, 6341208 edges, 27394 markings/sec, 190 secs
lola: 5643660 markings, 6498232 edges, 27226 markings/sec, 195 secs
lola: 5781991 markings, 6659715 edges, 27666 markings/sec, 200 secs
lola: 5912979 markings, 6810605 edges, 26198 markings/sec, 205 secs
lola: 6034095 markings, 6951132 edges, 24223 markings/sec, 210 secs
lola: 6153941 markings, 7089967 edges, 23969 markings/sec, 215 secs
lola: 6272846 markings, 7227358 edges, 23781 markings/sec, 220 secs
lola: 6392332 markings, 7365997 edges, 23897 markings/sec, 225 secs
lola: 6514326 markings, 7506596 edges, 24399 markings/sec, 230 secs
lola: 6638074 markings, 7651937 edges, 24750 markings/sec, 235 secs
lola: 6759124 markings, 7792746 edges, 24210 markings/sec, 240 secs
lola: 6881265 markings, 7934173 edges, 24428 markings/sec, 245 secs
lola: 7003824 markings, 8075936 edges, 24512 markings/sec, 250 secs
lola: 7128926 markings, 8221597 edges, 25020 markings/sec, 255 secs
lola: 7249806 markings, 8359762 edges, 24176 markings/sec, 260 secs
lola: 7374086 markings, 8501408 edges, 24856 markings/sec, 265 secs
lola: 7495940 markings, 8640436 edges, 24371 markings/sec, 270 secs
lola: 7617277 markings, 8779502 edges, 24267 markings/sec, 275 secs
lola: 7737403 markings, 8916604 edges, 24025 markings/sec, 280 secs
lola: 7858524 markings, 9054634 edges, 24224 markings/sec, 285 secs
lola: 7979947 markings, 9194727 edges, 24285 markings/sec, 290 secs
lola: 8097835 markings, 9330039 edges, 23578 markings/sec, 295 secs
lola: 8218599 markings, 9469118 edges, 24153 markings/sec, 300 secs
lola: 8340302 markings, 9609718 edges, 24341 markings/sec, 305 secs
lola: 8459985 markings, 9747271 edges, 23937 markings/sec, 310 secs
lola: 8580467 markings, 9886147 edges, 24096 markings/sec, 315 secs
lola: 8698050 markings, 10018906 edges, 23517 markings/sec, 320 secs
lola: 8817374 markings, 10155577 edges, 23865 markings/sec, 325 secs
lola: 8936638 markings, 10291520 edges, 23853 markings/sec, 330 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 339 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2755)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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: 141088 markings, 161263 edges, 28218 markings/sec, 0 secs
lola: 299392 markings, 340361 edges, 31661 markings/sec, 5 secs
lola: 460928 markings, 522134 edges, 32307 markings/sec, 10 secs
lola: 615529 markings, 696794 edges, 30920 markings/sec, 15 secs
lola: 769217 markings, 870618 edges, 30738 markings/sec, 20 secs
lola: 919434 markings, 1041505 edges, 30043 markings/sec, 25 secs
lola: 1073719 markings, 1216054 edges, 30857 markings/sec, 30 secs
lola: 1222391 markings, 1384606 edges, 29734 markings/sec, 35 secs
lola: 1374785 markings, 1557084 edges, 30479 markings/sec, 40 secs
lola: 1528290 markings, 1730712 edges, 30701 markings/sec, 45 secs
lola: 1679511 markings, 1901711 edges, 30244 markings/sec, 50 secs
lola: 1829338 markings, 2071552 edges, 29965 markings/sec, 55 secs
lola: 1980974 markings, 2243153 edges, 30327 markings/sec, 60 secs
lola: 2130807 markings, 2413067 edges, 29967 markings/sec, 65 secs
lola: 2276714 markings, 2579313 edges, 29181 markings/sec, 70 secs
lola: 2428447 markings, 2751487 edges, 30347 markings/sec, 75 secs
lola: 2580615 markings, 2923860 edges, 30434 markings/sec, 80 secs
lola: 2732330 markings, 3095392 edges, 30343 markings/sec, 85 secs
lola: 2879653 markings, 3262815 edges, 29465 markings/sec, 90 secs
lola: 3029953 markings, 3433087 edges, 30060 markings/sec, 95 secs
lola: 3181712 markings, 3604900 edges, 30352 markings/sec, 100 secs
lola: 3331313 markings, 3774594 edges, 29920 markings/sec, 105 secs
lola: 3477533 markings, 3940789 edges, 29244 markings/sec, 110 secs
lola: 3621015 markings, 4104334 edges, 28696 markings/sec, 115 secs
lola: 3762161 markings, 4265393 edges, 28229 markings/sec, 120 secs
lola: 3912281 markings, 4435232 edges, 30024 markings/sec, 125 secs
lola: 4061961 markings, 4604874 edges, 29936 markings/sec, 130 secs
lola: 4213373 markings, 4775805 edges, 30282 markings/sec, 135 secs
lola: 4361826 markings, 4943663 edges, 29691 markings/sec, 140 secs
lola: 4515654 markings, 5117317 edges, 30766 markings/sec, 145 secs
lola: 4670295 markings, 5292134 edges, 30928 markings/sec, 150 secs
lola: 4824736 markings, 5466668 edges, 30888 markings/sec, 155 secs
lola: 4975827 markings, 5637630 edges, 30218 markings/sec, 160 secs
lola: 5125097 markings, 5806587 edges, 29854 markings/sec, 165 secs
lola: 5275355 markings, 5976835 edges, 30052 markings/sec, 170 secs
lola: 5427533 markings, 6149266 edges, 30436 markings/sec, 175 secs
lola: 5578389 markings, 6320102 edges, 30171 markings/sec, 180 secs
lola: 5728679 markings, 6490570 edges, 30058 markings/sec, 185 secs
lola: 5882627 markings, 6664329 edges, 30790 markings/sec, 190 secs
lola: 6035400 markings, 6837250 edges, 30555 markings/sec, 195 secs
lola: 6187221 markings, 7009009 edges, 30364 markings/sec, 200 secs
lola: 6337012 markings, 7178529 edges, 29958 markings/sec, 205 secs
lola: 6488150 markings, 7350249 edges, 30228 markings/sec, 210 secs
lola: 6641743 markings, 7524096 edges, 30719 markings/sec, 215 secs
lola: 6791318 markings, 7693376 edges, 29915 markings/sec, 220 secs
lola: 6942897 markings, 7865588 edges, 30316 markings/sec, 225 secs
lola: 7097007 markings, 8039713 edges, 30822 markings/sec, 230 secs
lola: 7253796 markings, 8216761 edges, 31358 markings/sec, 235 secs
lola: 7406011 markings, 8388782 edges, 30443 markings/sec, 240 secs
lola: 7550901 markings, 8552773 edges, 28978 markings/sec, 245 secs
lola: 7703336 markings, 8724860 edges, 30487 markings/sec, 250 secs
lola: 7856365 markings, 8897799 edges, 30606 markings/sec, 255 secs
lola: 8008378 markings, 9069730 edges, 30403 markings/sec, 260 secs
lola: 8157536 markings, 9238421 edges, 29832 markings/sec, 265 secs
lola: 8309287 markings, 9409991 edges, 30350 markings/sec, 270 secs
lola: 8461991 markings, 9582531 edges, 30541 markings/sec, 275 secs
lola: 8613631 markings, 9753908 edges, 30328 markings/sec, 280 secs
lola: 8760198 markings, 9919836 edges, 29313 markings/sec, 285 secs
lola: 8910657 markings, 10089982 edges, 30092 markings/sec, 290 secs
lola: 9062598 markings, 10261991 edges, 30388 markings/sec, 295 secs
lola: 9214456 markings, 10433812 edges, 30372 markings/sec, 300 secs
lola: 9365074 markings, 10603983 edges, 30124 markings/sec, 305 secs
lola: 9509216 markings, 10767630 edges, 28828 markings/sec, 310 secs
lola: 9659196 markings, 10937444 edges, 29996 markings/sec, 315 secs
lola: 9812600 markings, 11110667 edges, 30681 markings/sec, 320 secs
lola: 9961646 markings, 11279532 edges, 29809 markings/sec, 325 secs
lola: 10108574 markings, 11446162 edges, 29386 markings/sec, 330 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 339 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1214)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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: 133600 markings, 152079 edges, 26720 markings/sec, 0 secs
lola: 266638 markings, 301441 edges, 26608 markings/sec, 5 secs
lola: 395817 markings, 446039 edges, 25836 markings/sec, 10 secs
lola: 525287 markings, 591073 edges, 25894 markings/sec, 15 secs
lola: 636659 markings, 715712 edges, 22274 markings/sec, 20 secs
lola: 739851 markings, 831315 edges, 20638 markings/sec, 25 secs
lola: 843082 markings, 947027 edges, 20646 markings/sec, 30 secs
lola: 945927 markings, 1062245 edges, 20569 markings/sec, 35 secs
lola: 1049122 markings, 1177859 edges, 20639 markings/sec, 40 secs
lola: 1152539 markings, 1293799 edges, 20683 markings/sec, 45 secs
lola: 1256543 markings, 1411439 edges, 20801 markings/sec, 50 secs
lola: 1364841 markings, 1531408 edges, 21660 markings/sec, 55 secs
lola: 1482005 markings, 1662084 edges, 23433 markings/sec, 60 secs
lola: 1600994 markings, 1795430 edges, 23798 markings/sec, 65 secs
lola: 1720368 markings, 1928743 edges, 23875 markings/sec, 70 secs
lola: 1839091 markings, 2061613 edges, 23745 markings/sec, 75 secs
lola: 1957209 markings, 2193670 edges, 23624 markings/sec, 80 secs
lola: 2076619 markings, 2327154 edges, 23882 markings/sec, 85 secs
lola: 2195366 markings, 2459745 edges, 23749 markings/sec, 90 secs
lola: 2315147 markings, 2593725 edges, 23956 markings/sec, 95 secs
lola: 2432342 markings, 2723839 edges, 23439 markings/sec, 100 secs
lola: 2550056 markings, 2855578 edges, 23543 markings/sec, 105 secs
lola: 2668424 markings, 2987681 edges, 23674 markings/sec, 110 secs
lola: 2786753 markings, 3119817 edges, 23666 markings/sec, 115 secs
lola: 2905075 markings, 3251854 edges, 23664 markings/sec, 120 secs
lola: 3024044 markings, 3384689 edges, 23794 markings/sec, 125 secs
lola: 3141781 markings, 3516248 edges, 23547 markings/sec, 130 secs
lola: 3258827 markings, 3646879 edges, 23409 markings/sec, 135 secs
lola: 3377025 markings, 3778833 edges, 23640 markings/sec, 140 secs
lola: 3494534 markings, 3909981 edges, 23502 markings/sec, 145 secs
lola: 3613008 markings, 4042251 edges, 23695 markings/sec, 150 secs
lola: 3730292 markings, 4173068 edges, 23457 markings/sec, 155 secs
lola: 3849323 markings, 4306038 edges, 23806 markings/sec, 160 secs
lola: 3967364 markings, 4437912 edges, 23608 markings/sec, 165 secs
lola: 4084575 markings, 4568808 edges, 23442 markings/sec, 170 secs
lola: 4202248 markings, 4700126 edges, 23535 markings/sec, 175 secs
lola: 4318489 markings, 4829854 edges, 23248 markings/sec, 180 secs
lola: 4434435 markings, 4959334 edges, 23189 markings/sec, 185 secs
lola: 4550881 markings, 5089349 edges, 23289 markings/sec, 190 secs
lola: 4667177 markings, 5219148 edges, 23259 markings/sec, 195 secs
lola: 4783107 markings, 5348605 edges, 23186 markings/sec, 200 secs
lola: 4899256 markings, 5478181 edges, 23230 markings/sec, 205 secs
lola: 5015662 markings, 5608022 edges, 23281 markings/sec, 210 secs
lola: 5130978 markings, 5736466 edges, 23063 markings/sec, 215 secs
lola: 5244812 markings, 5863501 edges, 22767 markings/sec, 220 secs
lola: 5358541 markings, 5990499 edges, 22746 markings/sec, 225 secs
lola: 5473439 markings, 6118979 edges, 22980 markings/sec, 230 secs
lola: 5586903 markings, 6245465 edges, 22693 markings/sec, 235 secs
lola: 5703226 markings, 6375391 edges, 23265 markings/sec, 240 secs
lola: 5819388 markings, 6504972 edges, 23232 markings/sec, 245 secs
lola: 5933883 markings, 6632877 edges, 22899 markings/sec, 250 secs
lola: 6048839 markings, 6761042 edges, 22991 markings/sec, 255 secs
lola: 6163967 markings, 6889409 edges, 23026 markings/sec, 260 secs
lola: 6277806 markings, 7016026 edges, 22768 markings/sec, 265 secs
lola: 6391643 markings, 7142598 edges, 22767 markings/sec, 270 secs
lola: 6504727 markings, 7268065 edges, 22617 markings/sec, 275 secs
lola: 6620088 markings, 7396732 edges, 23072 markings/sec, 280 secs
lola: 6734532 markings, 7524357 edges, 22889 markings/sec, 285 secs
lola: 6851708 markings, 7655287 edges, 23435 markings/sec, 290 secs
lola: 6966503 markings, 7783493 edges, 22959 markings/sec, 295 secs
lola: 7080525 markings, 7910802 edges, 22804 markings/sec, 300 secs
lola: 7193822 markings, 8037360 edges, 22659 markings/sec, 305 secs
lola: 7309328 markings, 8166214 edges, 23101 markings/sec, 310 secs
lola: 7424944 markings, 8295272 edges, 23123 markings/sec, 315 secs
lola: 7539248 markings, 8423246 edges, 22861 markings/sec, 320 secs
lola: 7654655 markings, 8551837 edges, 23081 markings/sec, 325 secs
lola: 7771084 markings, 8682351 edges, 23286 markings/sec, 330 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 339 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3178)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 1 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: 99841 markings, 113195 edges, 19968 markings/sec, 0 secs
lola: 195873 markings, 222350 edges, 19206 markings/sec, 5 secs
lola: 284277 markings, 322684 edges, 17681 markings/sec, 10 secs
lola: 374590 markings, 425211 edges, 18063 markings/sec, 15 secs
lola: 465357 markings, 528181 edges, 18153 markings/sec, 20 secs
lola: 553370 markings, 628130 edges, 17603 markings/sec, 25 secs
lola: 642097 markings, 728735 edges, 17745 markings/sec, 30 secs
lola: 726184 markings, 824161 edges, 16817 markings/sec, 35 secs
lola: 808499 markings, 917514 edges, 16463 markings/sec, 40 secs
lola: 892326 markings, 1012642 edges, 16765 markings/sec, 45 secs
lola: 975689 markings, 1107302 edges, 16673 markings/sec, 50 secs
lola: 1058965 markings, 1201859 edges, 16655 markings/sec, 55 secs
lola: 1142117 markings, 1296297 edges, 16630 markings/sec, 60 secs
lola: 1226024 markings, 1391602 edges, 16781 markings/sec, 65 secs
lola: 1310004 markings, 1486941 edges, 16796 markings/sec, 70 secs
lola: 1393114 markings, 1581337 edges, 16622 markings/sec, 75 secs
lola: 1476398 markings, 1675895 edges, 16657 markings/sec, 80 secs
lola: 1559506 markings, 1770270 edges, 16622 markings/sec, 85 secs
lola: 1642646 markings, 1864634 edges, 16628 markings/sec, 90 secs
lola: 1725180 markings, 1958365 edges, 16507 markings/sec, 95 secs
lola: 1806644 markings, 2050831 edges, 16293 markings/sec, 100 secs
lola: 1887908 markings, 2143076 edges, 16253 markings/sec, 105 secs
lola: 1970664 markings, 2237053 edges, 16551 markings/sec, 110 secs
lola: 2053615 markings, 2331116 edges, 16590 markings/sec, 115 secs
lola: 2136563 markings, 2425260 edges, 16590 markings/sec, 120 secs
lola: 2216083 markings, 2515611 edges, 15904 markings/sec, 125 secs
lola: 2298884 markings, 2609601 edges, 16560 markings/sec, 130 secs
lola: 2381639 markings, 2703586 edges, 16551 markings/sec, 135 secs
lola: 2464100 markings, 2797238 edges, 16492 markings/sec, 140 secs
lola: 2544495 markings, 2888395 edges, 16079 markings/sec, 145 secs
lola: 2624347 markings, 2979115 edges, 15970 markings/sec, 150 secs
lola: 2705295 markings, 3070940 edges, 16190 markings/sec, 155 secs
lola: 2788064 markings, 3164788 edges, 16554 markings/sec, 160 secs
lola: 2873065 markings, 3261481 edges, 17000 markings/sec, 165 secs
lola: 2958680 markings, 3358791 edges, 17123 markings/sec, 170 secs
lola: 3043046 markings, 3454678 edges, 16873 markings/sec, 175 secs
lola: 3126806 markings, 3549812 edges, 16752 markings/sec, 180 secs
lola: 3208071 markings, 3642033 edges, 16253 markings/sec, 185 secs
lola: 3290784 markings, 3736174 edges, 16543 markings/sec, 190 secs
lola: 3373135 markings, 3829842 edges, 16470 markings/sec, 195 secs
lola: 3456417 markings, 3924523 edges, 16656 markings/sec, 200 secs
lola: 3539218 markings, 4018598 edges, 16560 markings/sec, 205 secs
lola: 3625091 markings, 4116027 edges, 17175 markings/sec, 210 secs
lola: 3711479 markings, 4214096 edges, 17278 markings/sec, 215 secs
lola: 3795236 markings, 4309162 edges, 16751 markings/sec, 220 secs
lola: 3878372 markings, 4403564 edges, 16627 markings/sec, 225 secs
lola: 3961622 markings, 4498053 edges, 16650 markings/sec, 230 secs
lola: 4049314 markings, 4597532 edges, 17538 markings/sec, 235 secs
lola: 4136805 markings, 4696980 edges, 17498 markings/sec, 240 secs
lola: 4222404 markings, 4794257 edges, 17120 markings/sec, 245 secs
lola: 4310310 markings, 4894058 edges, 17581 markings/sec, 250 secs
lola: 4395099 markings, 4990247 edges, 16958 markings/sec, 255 secs
lola: 4479720 markings, 5086333 edges, 16924 markings/sec, 260 secs
lola: 4568366 markings, 5186776 edges, 17729 markings/sec, 265 secs
lola: 4656632 markings, 5287044 edges, 17653 markings/sec, 270 secs
lola: 4740381 markings, 5382245 edges, 16750 markings/sec, 275 secs
lola: 4826203 markings, 5479766 edges, 17164 markings/sec, 280 secs
lola: 4915147 markings, 5580718 edges, 17789 markings/sec, 285 secs
lola: 5003880 markings, 5681351 edges, 17747 markings/sec, 290 secs
lola: 5090633 markings, 5779730 edges, 17351 markings/sec, 295 secs
lola: 5176757 markings, 5877521 edges, 17225 markings/sec, 300 secs
lola: 5264610 markings, 5977314 edges, 17571 markings/sec, 305 secs
lola: 5353029 markings, 6077611 edges, 17684 markings/sec, 310 secs
lola: 5442110 markings, 6178852 edges, 17816 markings/sec, 315 secs
lola: 5534627 markings, 6283760 edges, 18503 markings/sec, 320 secs
lola: 5623898 markings, 6385210 edges, 17854 markings/sec, 325 secs
lola: 5709091 markings, 6482055 edges, 17039 markings/sec, 330 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 unknown unknown unknown unknown 1 unknown unknown 1 unknown unknown unknown unknown
FORMULA DLCround-PT-10b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-10b-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-10b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-10b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-10b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-10b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-10b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-10b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-10b-UpperBounds-8 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-10b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-10b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-10b-UpperBounds-11 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-10b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-10b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-10b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-10b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496546064657

--------------------
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-10b"
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-10b.tgz
mv DLCround-PT-10b 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-10b, 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-149580961900335"
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 ;