About the Execution of LoLA for Echo-PT-d03r07
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
5376.760 | 3539809.00 | 3545082.00 | 1517.60 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is Echo-PT-d03r07, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-blw3-149440264100290
=====================================================================
--------------------
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 Echo-PT-d03r07-UpperBounds-0
FORMULA_NAME Echo-PT-d03r07-UpperBounds-1
FORMULA_NAME Echo-PT-d03r07-UpperBounds-10
FORMULA_NAME Echo-PT-d03r07-UpperBounds-11
FORMULA_NAME Echo-PT-d03r07-UpperBounds-12
FORMULA_NAME Echo-PT-d03r07-UpperBounds-13
FORMULA_NAME Echo-PT-d03r07-UpperBounds-14
FORMULA_NAME Echo-PT-d03r07-UpperBounds-15
FORMULA_NAME Echo-PT-d03r07-UpperBounds-2
FORMULA_NAME Echo-PT-d03r07-UpperBounds-3
FORMULA_NAME Echo-PT-d03r07-UpperBounds-4
FORMULA_NAME Echo-PT-d03r07-UpperBounds-5
FORMULA_NAME Echo-PT-d03r07-UpperBounds-6
FORMULA_NAME Echo-PT-d03r07-UpperBounds-7
FORMULA_NAME Echo-PT-d03r07-UpperBounds-8
FORMULA_NAME Echo-PT-d03r07-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494690763254
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Echo-PT-d03r07 @ 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: 7727/65536 symbol table entries, 1476 collisions
lola: preprocessing...
lola: finding significant places
lola: 4209 places, 3518 transitions, 2102 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 7030 transition conflict sets
lola: TASK
lola: reading formula from Echo-PT-d03r07-UpperBounds.task
lola: MAX(p1203) : MAX(p655) : MAX(p1314) : MAX(p3134) : MAX(p853) : MAX(p3508) : MAX(p1763) : MAX(p251) : MAX(p3542) : MAX(p1902) : MAX(p3088) : MAX(p2290) : MAX(p3434) : MAX(p1376) : MAX(p776) : MAX(p405)
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(p1203)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 264 bytes per marking, with 10 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: 546326 markings, 627000 edges, 109265 markings/sec, 0 secs
lola: 1115670 markings, 1283730 edges, 113869 markings/sec, 5 secs
lola: 1659257 markings, 1910115 edges, 108717 markings/sec, 10 secs
lola: 2204628 markings, 2538531 edges, 109074 markings/sec, 15 secs
lola: 2756715 markings, 3174725 edges, 110417 markings/sec, 20 secs
lola: 3292721 markings, 3791834 edges, 107201 markings/sec, 25 secs
lola: 3818524 markings, 4396917 edges, 105161 markings/sec, 30 secs
lola: 4342141 markings, 4999496 edges, 104723 markings/sec, 35 secs
lola: 4876601 markings, 5614501 edges, 106892 markings/sec, 40 secs
lola: 5409210 markings, 6227369 edges, 106522 markings/sec, 45 secs
lola: 5946924 markings, 6846232 edges, 107543 markings/sec, 50 secs
lola: 6484410 markings, 7464737 edges, 107497 markings/sec, 55 secs
lola: 7030121 markings, 8092735 edges, 109142 markings/sec, 60 secs
lola: 7571324 markings, 8715469 edges, 108241 markings/sec, 65 secs
lola: 8100303 markings, 9324203 edges, 105796 markings/sec, 70 secs
lola: 8536142 markings, 9825832 edges, 87168 markings/sec, 75 secs
lola: 9080326 markings, 10451986 edges, 108837 markings/sec, 80 secs
lola: 9610483 markings, 11062057 edges, 106031 markings/sec, 85 secs
lola: 10137328 markings, 11668339 edges, 105369 markings/sec, 90 secs
lola: 10576619 markings, 12173934 edges, 87858 markings/sec, 95 secs
lola: 11123749 markings, 12803508 edges, 109426 markings/sec, 100 secs
lola: 11671490 markings, 13433850 edges, 109548 markings/sec, 105 secs
lola: 12219145 markings, 14064109 edges, 109531 markings/sec, 110 secs
lola: 12748715 markings, 14673434 edges, 105914 markings/sec, 115 secs
lola: 13288261 markings, 15294319 edges, 107909 markings/sec, 120 secs
lola: 13831575 markings, 15919599 edges, 108663 markings/sec, 125 secs
lola: 14371724 markings, 16541243 edges, 108030 markings/sec, 130 secs
lola: 14907013 markings, 17157236 edges, 107058 markings/sec, 135 secs
lola: 15452255 markings, 17784686 edges, 109048 markings/sec, 140 secs
lola: 16006290 markings, 18422327 edges, 110807 markings/sec, 145 secs
lola: 16556423 markings, 19055518 edges, 110027 markings/sec, 150 secs
lola: 17009667 markings, 19577355 edges, 90649 markings/sec, 155 secs
lola: 17565952 markings, 20217648 edges, 111257 markings/sec, 160 secs
lola: 18121320 markings, 20857112 edges, 111074 markings/sec, 165 secs
lola: 18668153 markings, 21486374 edges, 109367 markings/sec, 170 secs
lola: 19213325 markings, 22114118 edges, 109034 markings/sec, 175 secs
lola: 19757879 markings, 22740882 edges, 108911 markings/sec, 180 secs
lola: 20309459 markings, 23375683 edges, 110316 markings/sec, 185 secs
lola: 20865633 markings, 24015872 edges, 111235 markings/sec, 190 secs
lola: 21423336 markings, 24657820 edges, 111541 markings/sec, 195 secs
lola: 21974372 markings, 25292573 edges, 110207 markings/sec, 200 secs
lola: 22519419 markings, 25919870 edges, 109009 markings/sec, 205 secs
lola: 23069648 markings, 26553148 edges, 110046 markings/sec, 210 secs
lola: 23522035 markings, 27074283 edges, 90477 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(p655)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 264 bytes per marking, with 10 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: 599826 markings, 711666 edges, 119965 markings/sec, 0 secs
lola: 1193939 markings, 1419284 edges, 118823 markings/sec, 5 secs
lola: 1776899 markings, 2113020 edges, 116592 markings/sec, 10 secs
lola: 2352372 markings, 2797998 edges, 115095 markings/sec, 15 secs
lola: 2916546 markings, 3468352 edges, 112835 markings/sec, 20 secs
lola: 3476024 markings, 4133142 edges, 111896 markings/sec, 25 secs
lola: 4052410 markings, 4818001 edges, 115277 markings/sec, 30 secs
lola: 4623500 markings, 5496695 edges, 114218 markings/sec, 35 secs
lola: 5191242 markings, 6171252 edges, 113548 markings/sec, 40 secs
lola: 5770767 markings, 6859870 edges, 115905 markings/sec, 45 secs
lola: 6346584 markings, 7544130 edges, 115163 markings/sec, 50 secs
lola: 6828018 markings, 8116125 edges, 96287 markings/sec, 55 secs
lola: 7403277 markings, 8799781 edges, 115052 markings/sec, 60 secs
lola: 7971065 markings, 9474382 edges, 113558 markings/sec, 65 secs
lola: 8532283 markings, 10141307 edges, 112244 markings/sec, 70 secs
lola: 9012659 markings, 10712040 edges, 96075 markings/sec, 75 secs
lola: 9588699 markings, 11396624 edges, 115208 markings/sec, 80 secs
lola: 10147062 markings, 12060069 edges, 111673 markings/sec, 85 secs
lola: 10725710 markings, 12747588 edges, 115730 markings/sec, 90 secs
lola: 11215181 markings, 13329297 edges, 97894 markings/sec, 95 secs
lola: 11790073 markings, 14012360 edges, 114978 markings/sec, 100 secs
lola: 12370757 markings, 14702467 edges, 116137 markings/sec, 105 secs
lola: 12959488 markings, 15402103 edges, 117746 markings/sec, 110 secs
lola: 13454305 markings, 15990508 edges, 98963 markings/sec, 115 secs
lola: 14037304 markings, 16683369 edges, 116600 markings/sec, 120 secs
lola: 14621498 markings, 17377991 edges, 116839 markings/sec, 125 secs
lola: 15206716 markings, 18073748 edges, 117044 markings/sec, 130 secs
lola: 15691440 markings, 18649795 edges, 96945 markings/sec, 135 secs
lola: 16267145 markings, 19334043 edges, 115141 markings/sec, 140 secs
lola: 16845817 markings, 20021843 edges, 115734 markings/sec, 145 secs
lola: 17414823 markings, 20698809 edges, 113801 markings/sec, 150 secs
lola: 17978813 markings, 21369121 edges, 112798 markings/sec, 155 secs
lola: 18539359 markings, 22035356 edges, 112109 markings/sec, 160 secs
lola: 19099639 markings, 22701897 edges, 112056 markings/sec, 165 secs
lola: 19658883 markings, 23366628 edges, 111849 markings/sec, 170 secs
lola: 20223486 markings, 24037712 edges, 112921 markings/sec, 175 secs
lola: 20790552 markings, 24712263 edges, 113413 markings/sec, 180 secs
lola: 21359648 markings, 25388633 edges, 113819 markings/sec, 185 secs
lola: 21928133 markings, 26064570 edges, 113697 markings/sec, 190 secs
lola: 22488124 markings, 26731043 edges, 111998 markings/sec, 195 secs
lola: 23065997 markings, 27418014 edges, 115575 markings/sec, 200 secs
lola: 23649936 markings, 28112274 edges, 116788 markings/sec, 205 secs
lola: 24232103 markings, 28804466 edges, 116433 markings/sec, 210 secs
lola: 24723597 markings, 29388636 edges, 98299 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1314)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 264 bytes per marking, with 10 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: 670856 markings, 942838 edges, 134171 markings/sec, 0 secs
lola: 1330661 markings, 1871497 edges, 131961 markings/sec, 5 secs
lola: 1974301 markings, 2777732 edges, 128728 markings/sec, 10 secs
lola: 2562433 markings, 3604168 edges, 117626 markings/sec, 15 secs
lola: 3185933 markings, 4481993 edges, 124700 markings/sec, 20 secs
lola: 3832654 markings, 5392371 edges, 129344 markings/sec, 25 secs
lola: 4477512 markings, 6298986 edges, 128972 markings/sec, 30 secs
lola: 5109114 markings, 7188659 edges, 126320 markings/sec, 35 secs
lola: 5717737 markings, 8044392 edges, 121725 markings/sec, 40 secs
lola: 6302054 markings, 8867007 edges, 116863 markings/sec, 45 secs
lola: 6887546 markings, 9691408 edges, 117098 markings/sec, 50 secs
lola: 7459145 markings, 10494846 edges, 114320 markings/sec, 55 secs
lola: 8004926 markings, 11263255 edges, 109156 markings/sec, 60 secs
lola: 8534083 markings, 12007926 edges, 105831 markings/sec, 65 secs
lola: 9063705 markings, 12752568 edges, 105924 markings/sec, 70 secs
lola: 9550016 markings, 13437156 edges, 97262 markings/sec, 75 secs
lola: 10059400 markings, 14154577 edges, 101877 markings/sec, 80 secs
lola: 10567823 markings, 14869298 edges, 101685 markings/sec, 85 secs
lola: 11145878 markings, 15683100 edges, 115611 markings/sec, 90 secs
lola: 11806971 markings, 16612730 edges, 132219 markings/sec, 95 secs
lola: 12459190 markings, 17531477 edges, 130444 markings/sec, 100 secs
lola: 13126183 markings, 18468986 edges, 133399 markings/sec, 105 secs
lola: 13772970 markings, 19379946 edges, 129357 markings/sec, 110 secs
lola: 14410557 markings, 20277022 edges, 127517 markings/sec, 115 secs
lola: 15062337 markings, 21193560 edges, 130356 markings/sec, 120 secs
lola: 15721980 markings, 22121952 edges, 131929 markings/sec, 125 secs
lola: 16388605 markings, 23060400 edges, 133325 markings/sec, 130 secs
lola: 17000083 markings, 23920538 edges, 122296 markings/sec, 135 secs
lola: 17665829 markings, 24857541 edges, 133149 markings/sec, 140 secs
lola: 18328968 markings, 25789842 edges, 132628 markings/sec, 145 secs
lola: 18993593 markings, 26725747 edges, 132925 markings/sec, 150 secs
lola: 19657797 markings, 27660736 edges, 132841 markings/sec, 155 secs
lola: 20306163 markings, 28572404 edges, 129673 markings/sec, 160 secs
lola: 20951605 markings, 29481324 edges, 129088 markings/sec, 165 secs
lola: 21605734 markings, 30401407 edges, 130826 markings/sec, 170 secs
lola: 22265383 markings, 31329812 edges, 131930 markings/sec, 175 secs
lola: 22913481 markings, 32240786 edges, 129620 markings/sec, 180 secs
lola: 23553533 markings, 33141599 edges, 128010 markings/sec, 185 secs
lola: 24205439 markings, 34059570 edges, 130381 markings/sec, 190 secs
lola: 24814422 markings, 34916179 edges, 121797 markings/sec, 195 secs
lola: 25464724 markings, 35831321 edges, 130060 markings/sec, 200 secs
lola: 26102880 markings, 36729342 edges, 127631 markings/sec, 205 secs
lola: 26684926 markings, 37548001 edges, 116409 markings/sec, 210 secs
lola: 27325183 markings, 38448723 edges, 128051 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3134)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 264 bytes per marking, with 10 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: 1013633 markings, 1013633 edges, 202727 markings/sec, 0 secs
lola: 2017014 markings, 2017014 edges, 200676 markings/sec, 5 secs
lola: 3003909 markings, 3003909 edges, 197379 markings/sec, 10 secs
lola: 4005272 markings, 4005272 edges, 200273 markings/sec, 15 secs
lola: 5004547 markings, 5004547 edges, 199855 markings/sec, 20 secs
lola: 5996317 markings, 5996317 edges, 198354 markings/sec, 25 secs
lola: 6952098 markings, 6952098 edges, 191156 markings/sec, 30 secs
lola: 7943990 markings, 7943990 edges, 198378 markings/sec, 35 secs
lola: 8931927 markings, 8931927 edges, 197587 markings/sec, 40 secs
lola: 9921302 markings, 9921302 edges, 197875 markings/sec, 45 secs
lola: 10908869 markings, 10908869 edges, 197513 markings/sec, 50 secs
lola: 11841755 markings, 11841755 edges, 186577 markings/sec, 55 secs
lola: 12808237 markings, 12808237 edges, 193296 markings/sec, 60 secs
lola: 13771094 markings, 13771094 edges, 192571 markings/sec, 65 secs
lola: 14614219 markings, 14614219 edges, 168625 markings/sec, 70 secs
lola: 15485263 markings, 15485263 edges, 174209 markings/sec, 75 secs
lola: 16466941 markings, 16466941 edges, 196336 markings/sec, 80 secs
lola: 17445305 markings, 17445305 edges, 195673 markings/sec, 85 secs
lola: 18419344 markings, 18419344 edges, 194808 markings/sec, 90 secs
lola: 19376050 markings, 19376050 edges, 191341 markings/sec, 95 secs
lola: 20338040 markings, 20338040 edges, 192398 markings/sec, 100 secs
lola: 21319761 markings, 21319761 edges, 196344 markings/sec, 105 secs
lola: 22251521 markings, 22251521 edges, 186352 markings/sec, 110 secs
lola: 23190130 markings, 23190130 edges, 187722 markings/sec, 115 secs
lola: 24170545 markings, 24170545 edges, 196083 markings/sec, 120 secs
lola: 25128881 markings, 25128881 edges, 191667 markings/sec, 125 secs
lola: 26114407 markings, 26114407 edges, 197105 markings/sec, 130 secs
lola: 27072761 markings, 27072760 edges, 191671 markings/sec, 135 secs
lola: 28032412 markings, 28032412 edges, 191930 markings/sec, 140 secs
lola: 29015191 markings, 29015191 edges, 196556 markings/sec, 145 secs
lola: 29987244 markings, 29987244 edges, 194411 markings/sec, 150 secs
lola: 30958531 markings, 30958531 edges, 194257 markings/sec, 155 secs
lola: 31926348 markings, 31926347 edges, 193563 markings/sec, 160 secs
lola: 32861361 markings, 32861361 edges, 187003 markings/sec, 165 secs
lola: 33807281 markings, 33807281 edges, 189184 markings/sec, 170 secs
lola: 34760877 markings, 34760877 edges, 190719 markings/sec, 175 secs
lola: 35715761 markings, 35715761 edges, 190977 markings/sec, 180 secs
lola: 36675029 markings, 36675029 edges, 191854 markings/sec, 185 secs
lola: 37461226 markings, 37461226 edges, 157239 markings/sec, 190 secs
lola: 38320062 markings, 38320062 edges, 171767 markings/sec, 195 secs
lola: 39246577 markings, 39246577 edges, 185303 markings/sec, 200 secs
lola: 40160811 markings, 40160811 edges, 182847 markings/sec, 205 secs
lola: 41073031 markings, 41073031 edges, 182444 markings/sec, 210 secs
lola: 41998531 markings, 41998531 edges, 185100 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p853)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 264 bytes per marking, with 10 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: 794799 markings, 814934 edges, 158960 markings/sec, 0 secs
lola: 1517534 markings, 1628390 edges, 144547 markings/sec, 5 secs
lola: 2297627 markings, 2437850 edges, 156019 markings/sec, 10 secs
lola: 3084699 markings, 3249796 edges, 157414 markings/sec, 15 secs
lola: 3868846 markings, 4065032 edges, 156829 markings/sec, 20 secs
lola: 4636076 markings, 4879736 edges, 153446 markings/sec, 25 secs
lola: 5326067 markings, 5699045 edges, 137998 markings/sec, 30 secs
lola: 6014316 markings, 6522488 edges, 137650 markings/sec, 35 secs
lola: 6638041 markings, 7328663 edges, 124745 markings/sec, 40 secs
lola: 7287017 markings, 8132225 edges, 129795 markings/sec, 45 secs
lola: 7962827 markings, 8939773 edges, 135162 markings/sec, 50 secs
lola: 8663718 markings, 9754079 edges, 140178 markings/sec, 55 secs
lola: 9344446 markings, 10566227 edges, 136146 markings/sec, 60 secs
lola: 10020378 markings, 11400508 edges, 135186 markings/sec, 65 secs
lola: 10696965 markings, 12225365 edges, 135317 markings/sec, 70 secs
lola: 11365190 markings, 13032126 edges, 133645 markings/sec, 75 secs
lola: 11967833 markings, 13844085 edges, 120529 markings/sec, 80 secs
lola: 12502691 markings, 14657097 edges, 106972 markings/sec, 85 secs
lola: 12950432 markings, 15292123 edges, 89548 markings/sec, 90 secs
lola: 13411514 markings, 16122639 edges, 92216 markings/sec, 95 secs
lola: 13878199 markings, 16932772 edges, 93337 markings/sec, 100 secs
lola: 14319845 markings, 17757163 edges, 88329 markings/sec, 105 secs
lola: 14732388 markings, 18582256 edges, 82509 markings/sec, 110 secs
lola: 15155947 markings, 19423638 edges, 84712 markings/sec, 115 secs
lola: 15917289 markings, 20250915 edges, 152268 markings/sec, 120 secs
lola: 16679411 markings, 21048825 edges, 152424 markings/sec, 125 secs
lola: 17443353 markings, 21849927 edges, 152788 markings/sec, 130 secs
lola: 18210290 markings, 22652880 edges, 153387 markings/sec, 135 secs
lola: 18969658 markings, 23449221 edges, 151874 markings/sec, 140 secs
lola: 19737657 markings, 24256760 edges, 153600 markings/sec, 145 secs
lola: 20502106 markings, 25062596 edges, 152890 markings/sec, 150 secs
lola: 21262531 markings, 25863534 edges, 152085 markings/sec, 155 secs
lola: 22011327 markings, 26650431 edges, 149759 markings/sec, 160 secs
lola: 22762465 markings, 27440746 edges, 150228 markings/sec, 165 secs
lola: 23519271 markings, 28235940 edges, 151361 markings/sec, 170 secs
lola: 24275437 markings, 29034414 edges, 151233 markings/sec, 175 secs
lola: 25042915 markings, 29840947 edges, 153496 markings/sec, 180 secs
lola: 25813747 markings, 30650454 edges, 154166 markings/sec, 185 secs
lola: 26564957 markings, 31447012 edges, 150242 markings/sec, 190 secs
lola: 27321235 markings, 32252756 edges, 151256 markings/sec, 195 secs
lola: 28073210 markings, 33052752 edges, 150395 markings/sec, 200 secs
lola: 28831373 markings, 33850961 edges, 151633 markings/sec, 205 secs
lola: 29581596 markings, 34637649 edges, 150045 markings/sec, 210 secs
lola: 30349136 markings, 35447263 edges, 153508 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3508)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 264 bytes per marking, with 10 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: 992056 markings, 992056 edges, 198411 markings/sec, 0 secs
lola: 1980670 markings, 1980670 edges, 197723 markings/sec, 5 secs
lola: 2966913 markings, 2966913 edges, 197249 markings/sec, 10 secs
lola: 3941215 markings, 3941215 edges, 194860 markings/sec, 15 secs
lola: 4915506 markings, 4915506 edges, 194858 markings/sec, 20 secs
lola: 5895505 markings, 5895504 edges, 196000 markings/sec, 25 secs
lola: 6800343 markings, 6800343 edges, 180968 markings/sec, 30 secs
lola: 7767924 markings, 7767924 edges, 193516 markings/sec, 35 secs
lola: 8747990 markings, 8747990 edges, 196013 markings/sec, 40 secs
lola: 9733994 markings, 9733994 edges, 197201 markings/sec, 45 secs
lola: 10466939 markings, 10466939 edges, 146589 markings/sec, 50 secs
lola: 11435717 markings, 11435717 edges, 193756 markings/sec, 55 secs
lola: 12418058 markings, 12418058 edges, 196468 markings/sec, 60 secs
lola: 13388292 markings, 13388292 edges, 194047 markings/sec, 65 secs
lola: 14365225 markings, 14365225 edges, 195387 markings/sec, 70 secs
lola: 15339075 markings, 15339075 edges, 194770 markings/sec, 75 secs
lola: 16299399 markings, 16299399 edges, 192065 markings/sec, 80 secs
lola: 17271114 markings, 17271114 edges, 194343 markings/sec, 85 secs
lola: 18242303 markings, 18242303 edges, 194238 markings/sec, 90 secs
lola: 19218818 markings, 19218817 edges, 195303 markings/sec, 95 secs
lola: 20196261 markings, 20196261 edges, 195489 markings/sec, 100 secs
lola: 21174507 markings, 21174507 edges, 195649 markings/sec, 105 secs
lola: 22142743 markings, 22142743 edges, 193647 markings/sec, 110 secs
lola: 23109532 markings, 23109532 edges, 193358 markings/sec, 115 secs
lola: 24091906 markings, 24091906 edges, 196475 markings/sec, 120 secs
lola: 25067041 markings, 25067041 edges, 195027 markings/sec, 125 secs
lola: 26037943 markings, 26037943 edges, 194180 markings/sec, 130 secs
lola: 27023626 markings, 27023626 edges, 197137 markings/sec, 135 secs
lola: 27997368 markings, 27997368 edges, 194748 markings/sec, 140 secs
lola: 28961714 markings, 28961714 edges, 192869 markings/sec, 145 secs
lola: 29940635 markings, 29940635 edges, 195784 markings/sec, 150 secs
lola: 30926049 markings, 30926049 edges, 197083 markings/sec, 155 secs
lola: 31906215 markings, 31906215 edges, 196033 markings/sec, 160 secs
lola: 32910894 markings, 32910894 edges, 200936 markings/sec, 165 secs
lola: 33895617 markings, 33895617 edges, 196945 markings/sec, 170 secs
lola: 34874937 markings, 34874937 edges, 195864 markings/sec, 175 secs
lola: 35848196 markings, 35848196 edges, 194652 markings/sec, 180 secs
lola: 36817001 markings, 36817001 edges, 193761 markings/sec, 185 secs
lola: 37757720 markings, 37757720 edges, 188144 markings/sec, 190 secs
lola: 38736848 markings, 38736848 edges, 195826 markings/sec, 195 secs
lola: 39703638 markings, 39703638 edges, 193358 markings/sec, 200 secs
lola: 40676128 markings, 40676127 edges, 194498 markings/sec, 205 secs
lola: 41647027 markings, 41647027 edges, 194180 markings/sec, 210 secs
lola: 42607397 markings, 42607397 edges, 192074 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1763)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 264 bytes per marking, with 10 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: 706056 markings, 813396 edges, 141211 markings/sec, 0 secs
lola: 1407967 markings, 1624646 edges, 140382 markings/sec, 5 secs
lola: 1990280 markings, 2447797 edges, 116463 markings/sec, 10 secs
lola: 2506198 markings, 3283675 edges, 103184 markings/sec, 15 secs
lola: 3214512 markings, 4101409 edges, 141663 markings/sec, 20 secs
lola: 3910025 markings, 4904390 edges, 139103 markings/sec, 25 secs
lola: 4459663 markings, 5720345 edges, 109928 markings/sec, 30 secs
lola: 4999017 markings, 6553553 edges, 107871 markings/sec, 35 secs
lola: 5700586 markings, 7362752 edges, 140314 markings/sec, 40 secs
lola: 6393620 markings, 8163382 edges, 138607 markings/sec, 45 secs
lola: 6921079 markings, 8979733 edges, 105492 markings/sec, 50 secs
lola: 7476301 markings, 9802439 edges, 111044 markings/sec, 55 secs
lola: 8186026 markings, 10620464 edges, 141945 markings/sec, 60 secs
lola: 8863420 markings, 11414384 edges, 135479 markings/sec, 65 secs
lola: 9370857 markings, 12203058 edges, 101487 markings/sec, 70 secs
lola: 9966941 markings, 12987700 edges, 119217 markings/sec, 75 secs
lola: 10630653 markings, 13766311 edges, 132742 markings/sec, 80 secs
lola: 11259433 markings, 14561955 edges, 125756 markings/sec, 85 secs
lola: 11899103 markings, 15355183 edges, 127934 markings/sec, 90 secs
lola: 12557343 markings, 16137127 edges, 131648 markings/sec, 95 secs
lola: 13242891 markings, 16911882 edges, 137110 markings/sec, 100 secs
lola: 13899155 markings, 17648746 edges, 131253 markings/sec, 105 secs
lola: 14538303 markings, 18367029 edges, 127830 markings/sec, 110 secs
lola: 15215019 markings, 19132094 edges, 135343 markings/sec, 115 secs
lola: 15892694 markings, 19898229 edges, 135535 markings/sec, 120 secs
lola: 16542997 markings, 20644371 edges, 130061 markings/sec, 125 secs
lola: 17083810 markings, 21417334 edges, 108163 markings/sec, 130 secs
lola: 17633589 markings, 22251633 edges, 109956 markings/sec, 135 secs
lola: 18183658 markings, 23081975 edges, 110014 markings/sec, 140 secs
lola: 18720386 markings, 23892181 edges, 107346 markings/sec, 145 secs
lola: 19256852 markings, 24701988 edges, 107293 markings/sec, 150 secs
lola: 19794183 markings, 25513249 edges, 107466 markings/sec, 155 secs
lola: 20473219 markings, 26333165 edges, 135807 markings/sec, 160 secs
lola: 21180586 markings, 27149133 edges, 141473 markings/sec, 165 secs
lola: 21781209 markings, 27939865 edges, 120125 markings/sec, 170 secs
lola: 22254861 markings, 28738545 edges, 94730 markings/sec, 175 secs
lola: 22917276 markings, 29546280 edges, 132483 markings/sec, 180 secs
lola: 23597349 markings, 30331033 edges, 136015 markings/sec, 185 secs
lola: 24196192 markings, 31120916 edges, 119769 markings/sec, 190 secs
lola: 24683232 markings, 31946868 edges, 97408 markings/sec, 195 secs
lola: 25358994 markings, 32756988 edges, 135152 markings/sec, 200 secs
lola: 26050931 markings, 33555304 edges, 138387 markings/sec, 205 secs
lola: 26639409 markings, 34349854 edges, 117696 markings/sec, 210 secs
lola: 27114819 markings, 35161619 edges, 95082 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p251)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 264 bytes per marking, with 10 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: 788117 markings, 850503 edges, 157623 markings/sec, 0 secs
lola: 1575043 markings, 1680109 edges, 157385 markings/sec, 5 secs
lola: 2262557 markings, 2512506 edges, 137503 markings/sec, 10 secs
lola: 3027417 markings, 3368789 edges, 152972 markings/sec, 15 secs
lola: 3763463 markings, 4204636 edges, 147209 markings/sec, 20 secs
lola: 4478770 markings, 5037381 edges, 143061 markings/sec, 25 secs
lola: 5123632 markings, 5878811 edges, 128972 markings/sec, 30 secs
lola: 5768567 markings, 6717052 edges, 128987 markings/sec, 35 secs
lola: 6394185 markings, 7543266 edges, 125124 markings/sec, 40 secs
lola: 6974899 markings, 8410989 edges, 116143 markings/sec, 45 secs
lola: 7679377 markings, 9269433 edges, 140896 markings/sec, 50 secs
lola: 8317423 markings, 10125076 edges, 127609 markings/sec, 55 secs
lola: 8940561 markings, 10977389 edges, 124628 markings/sec, 60 secs
lola: 9646156 markings, 11846422 edges, 141119 markings/sec, 65 secs
lola: 10307035 markings, 12697006 edges, 132176 markings/sec, 70 secs
lola: 10970432 markings, 13552185 edges, 132679 markings/sec, 75 secs
lola: 11605185 markings, 14402316 edges, 126951 markings/sec, 80 secs
lola: 12235788 markings, 15236388 edges, 126121 markings/sec, 85 secs
lola: 12895868 markings, 16069952 edges, 132016 markings/sec, 90 secs
lola: 13530934 markings, 16880046 edges, 127013 markings/sec, 95 secs
lola: 14225889 markings, 17741160 edges, 138991 markings/sec, 100 secs
lola: 14979021 markings, 18586418 edges, 150626 markings/sec, 105 secs
lola: 15661598 markings, 19454493 edges, 136515 markings/sec, 110 secs
lola: 16367109 markings, 20332120 edges, 141102 markings/sec, 115 secs
lola: 17092657 markings, 21161636 edges, 145110 markings/sec, 120 secs
lola: 17817152 markings, 22008543 edges, 144899 markings/sec, 125 secs
lola: 18525325 markings, 22837602 edges, 141635 markings/sec, 130 secs
lola: 19174210 markings, 23699197 edges, 129777 markings/sec, 135 secs
lola: 19903960 markings, 24528088 edges, 145950 markings/sec, 140 secs
lola: 20615007 markings, 25361064 edges, 142209 markings/sec, 145 secs
lola: 21322863 markings, 26193013 edges, 141571 markings/sec, 150 secs
lola: 21929943 markings, 27062773 edges, 121416 markings/sec, 155 secs
lola: 22587655 markings, 27921810 edges, 131542 markings/sec, 160 secs
lola: 23191887 markings, 28660096 edges, 120846 markings/sec, 165 secs
lola: 23788092 markings, 29388319 edges, 119241 markings/sec, 170 secs
lola: 24454870 markings, 30199379 edges, 133356 markings/sec, 175 secs
lola: 25024882 markings, 31051139 edges, 114002 markings/sec, 180 secs
lola: 25643637 markings, 31782956 edges, 123751 markings/sec, 185 secs
lola: 26319178 markings, 32502492 edges, 135108 markings/sec, 190 secs
lola: 27082366 markings, 33314733 edges, 152638 markings/sec, 195 secs
lola: 27754190 markings, 34150690 edges, 134365 markings/sec, 200 secs
lola: 28355129 markings, 35001716 edges, 120188 markings/sec, 205 secs
lola: 28918620 markings, 35804355 edges, 112698 markings/sec, 210 secs
lola: 29605178 markings, 36648393 edges, 137312 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3542)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 264 bytes per marking, with 10 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: 952716 markings, 952716 edges, 190543 markings/sec, 0 secs
lola: 1891848 markings, 1891848 edges, 187826 markings/sec, 5 secs
lola: 2833458 markings, 2833458 edges, 188322 markings/sec, 10 secs
lola: 3772750 markings, 3772750 edges, 187858 markings/sec, 15 secs
lola: 4691190 markings, 4691190 edges, 183688 markings/sec, 20 secs
lola: 5604653 markings, 5604653 edges, 182693 markings/sec, 25 secs
lola: 6496719 markings, 6496719 edges, 178413 markings/sec, 30 secs
lola: 7392787 markings, 7392787 edges, 179214 markings/sec, 35 secs
lola: 8266098 markings, 8266098 edges, 174662 markings/sec, 40 secs
lola: 9154051 markings, 9154051 edges, 177591 markings/sec, 45 secs
lola: 10016482 markings, 10016482 edges, 172486 markings/sec, 50 secs
lola: 10959694 markings, 10959694 edges, 188642 markings/sec, 55 secs
lola: 11859044 markings, 11859044 edges, 179870 markings/sec, 60 secs
lola: 12779647 markings, 12779647 edges, 184121 markings/sec, 65 secs
lola: 13704900 markings, 13704900 edges, 185051 markings/sec, 70 secs
lola: 14631836 markings, 14631836 edges, 185387 markings/sec, 75 secs
lola: 15557679 markings, 15557678 edges, 185169 markings/sec, 80 secs
lola: 16473278 markings, 16473278 edges, 183120 markings/sec, 85 secs
lola: 17384945 markings, 17384945 edges, 182333 markings/sec, 90 secs
lola: 18283116 markings, 18283116 edges, 179634 markings/sec, 95 secs
lola: 19195916 markings, 19195916 edges, 182560 markings/sec, 100 secs
lola: 20120409 markings, 20120409 edges, 184899 markings/sec, 105 secs
lola: 21052720 markings, 21052720 edges, 186462 markings/sec, 110 secs
lola: 21980711 markings, 21980711 edges, 185598 markings/sec, 115 secs
lola: 22903615 markings, 22903615 edges, 184581 markings/sec, 120 secs
lola: 23829120 markings, 23829120 edges, 185101 markings/sec, 125 secs
lola: 24740212 markings, 24740212 edges, 182218 markings/sec, 130 secs
lola: 25646051 markings, 25646051 edges, 181168 markings/sec, 135 secs
lola: 26564233 markings, 26564233 edges, 183636 markings/sec, 140 secs
lola: 27473404 markings, 27473404 edges, 181834 markings/sec, 145 secs
lola: 28377761 markings, 28377761 edges, 180871 markings/sec, 150 secs
lola: 29283979 markings, 29283979 edges, 181244 markings/sec, 155 secs
lola: 30197854 markings, 30197854 edges, 182775 markings/sec, 160 secs
lola: 31108458 markings, 31108458 edges, 182121 markings/sec, 165 secs
lola: 31992659 markings, 31992659 edges, 176840 markings/sec, 170 secs
lola: 32921368 markings, 32921368 edges, 185742 markings/sec, 175 secs
lola: 33858382 markings, 33858382 edges, 187403 markings/sec, 180 secs
lola: 34791978 markings, 34791978 edges, 186719 markings/sec, 185 secs
lola: 35716882 markings, 35716882 edges, 184981 markings/sec, 190 secs
lola: 36641764 markings, 36641763 edges, 184976 markings/sec, 195 secs
lola: 37554357 markings, 37554357 edges, 182519 markings/sec, 200 secs
lola: 38463665 markings, 38463665 edges, 181862 markings/sec, 205 secs
lola: 39381089 markings, 39381089 edges, 183485 markings/sec, 210 secs
lola: 40294019 markings, 40294019 edges, 182586 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1902)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 264 bytes per marking, with 10 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: 758574 markings, 758792 edges, 151715 markings/sec, 0 secs
lola: 1522292 markings, 1522723 edges, 152744 markings/sec, 5 secs
lola: 2262068 markings, 2262702 edges, 147955 markings/sec, 10 secs
lola: 3005770 markings, 3006609 edges, 148740 markings/sec, 15 secs
lola: 3752498 markings, 3753542 edges, 149346 markings/sec, 20 secs
lola: 4479062 markings, 4480306 edges, 145313 markings/sec, 25 secs
lola: 5212078 markings, 5213522 edges, 146603 markings/sec, 30 secs
lola: 5952083 markings, 5953737 edges, 148001 markings/sec, 35 secs
lola: 6695969 markings, 6697830 edges, 148777 markings/sec, 40 secs
lola: 7438766 markings, 7440829 edges, 148559 markings/sec, 45 secs
lola: 8173276 markings, 8175545 edges, 146902 markings/sec, 50 secs
lola: 8910221 markings, 8912691 edges, 147389 markings/sec, 55 secs
lola: 9645303 markings, 9647981 edges, 147016 markings/sec, 60 secs
lola: 10366791 markings, 10369664 edges, 144298 markings/sec, 65 secs
lola: 11107105 markings, 11110186 edges, 148063 markings/sec, 70 secs
lola: 11847113 markings, 11850396 edges, 148002 markings/sec, 75 secs
lola: 12586872 markings, 12590361 edges, 147952 markings/sec, 80 secs
lola: 13308897 markings, 13312587 edges, 144405 markings/sec, 85 secs
lola: 14038063 markings, 14041956 edges, 145833 markings/sec, 90 secs
lola: 14765411 markings, 14769505 edges, 145470 markings/sec, 95 secs
lola: 15490312 markings, 15494603 edges, 144980 markings/sec, 100 secs
lola: 16214394 markings, 16218887 edges, 144816 markings/sec, 105 secs
lola: 16933269 markings, 16937963 edges, 143775 markings/sec, 110 secs
lola: 17653880 markings, 17658771 edges, 144122 markings/sec, 115 secs
lola: 18379370 markings, 18384463 edges, 145098 markings/sec, 120 secs
lola: 19106114 markings, 19111408 edges, 145349 markings/sec, 125 secs
lola: 19822349 markings, 19827839 edges, 143247 markings/sec, 130 secs
lola: 20542744 markings, 20548436 edges, 144079 markings/sec, 135 secs
lola: 21292180 markings, 21298087 edges, 149887 markings/sec, 140 secs
lola: 22048563 markings, 22054691 edges, 151277 markings/sec, 145 secs
lola: 22786817 markings, 22793402 edges, 147651 markings/sec, 150 secs
lola: 23519620 markings, 23526414 edges, 146561 markings/sec, 155 secs
lola: 24251133 markings, 24258139 edges, 146303 markings/sec, 160 secs
lola: 24969777 markings, 24976993 edges, 143729 markings/sec, 165 secs
lola: 25688820 markings, 25696241 edges, 143809 markings/sec, 170 secs
lola: 26404013 markings, 26411644 edges, 143039 markings/sec, 175 secs
lola: 27137128 markings, 27144970 edges, 146623 markings/sec, 180 secs
lola: 27871831 markings, 27879883 edges, 146941 markings/sec, 185 secs
lola: 28605000 markings, 28613263 edges, 146634 markings/sec, 190 secs
lola: 29324341 markings, 29332815 edges, 143868 markings/sec, 195 secs
lola: 30042913 markings, 30051592 edges, 143714 markings/sec, 200 secs
lola: 30752215 markings, 30761098 edges, 141860 markings/sec, 205 secs
lola: 31467790 markings, 31476885 edges, 143115 markings/sec, 210 secs
lola: 32191207 markings, 32200507 edges, 144683 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3088)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 264 bytes per marking, with 10 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: 967612 markings, 967612 edges, 193522 markings/sec, 0 secs
lola: 1925672 markings, 1925671 edges, 191612 markings/sec, 5 secs
lola: 2883014 markings, 2883013 edges, 191468 markings/sec, 10 secs
lola: 3834237 markings, 3834237 edges, 190245 markings/sec, 15 secs
lola: 4753398 markings, 4753398 edges, 183832 markings/sec, 20 secs
lola: 5650723 markings, 5650723 edges, 179465 markings/sec, 25 secs
lola: 6553242 markings, 6553242 edges, 180504 markings/sec, 30 secs
lola: 7459936 markings, 7459936 edges, 181339 markings/sec, 35 secs
lola: 8351712 markings, 8351712 edges, 178355 markings/sec, 40 secs
lola: 9153567 markings, 9153567 edges, 160371 markings/sec, 45 secs
lola: 10076423 markings, 10076423 edges, 184571 markings/sec, 50 secs
lola: 11024093 markings, 11024093 edges, 189534 markings/sec, 55 secs
lola: 11933011 markings, 11933010 edges, 181784 markings/sec, 60 secs
lola: 12855658 markings, 12855658 edges, 184529 markings/sec, 65 secs
lola: 13776050 markings, 13776050 edges, 184078 markings/sec, 70 secs
lola: 14718474 markings, 14718473 edges, 188485 markings/sec, 75 secs
lola: 15633527 markings, 15633527 edges, 183011 markings/sec, 80 secs
lola: 16534849 markings, 16534849 edges, 180264 markings/sec, 85 secs
lola: 17417780 markings, 17417780 edges, 176586 markings/sec, 90 secs
lola: 18289890 markings, 18289889 edges, 174422 markings/sec, 95 secs
lola: 19181627 markings, 19181627 edges, 178347 markings/sec, 100 secs
lola: 19999951 markings, 19999951 edges, 163665 markings/sec, 105 secs
lola: 20882521 markings, 20882521 edges, 176514 markings/sec, 110 secs
lola: 21727953 markings, 21727953 edges, 169086 markings/sec, 115 secs
lola: 22547463 markings, 22547463 edges, 163902 markings/sec, 120 secs
lola: 23360763 markings, 23360763 edges, 162660 markings/sec, 125 secs
lola: 24192704 markings, 24192704 edges, 166388 markings/sec, 130 secs
lola: 25028628 markings, 25028628 edges, 167185 markings/sec, 135 secs
lola: 25935592 markings, 25935592 edges, 181393 markings/sec, 140 secs
lola: 26799860 markings, 26799859 edges, 172854 markings/sec, 145 secs
lola: 27633292 markings, 27633292 edges, 166686 markings/sec, 150 secs
lola: 28476272 markings, 28476272 edges, 168596 markings/sec, 155 secs
lola: 29279777 markings, 29279777 edges, 160701 markings/sec, 160 secs
lola: 30134629 markings, 30134629 edges, 170970 markings/sec, 165 secs
lola: 30986420 markings, 30986420 edges, 170358 markings/sec, 170 secs
lola: 31648694 markings, 31648694 edges, 132455 markings/sec, 175 secs
lola: 32462630 markings, 32462630 edges, 162787 markings/sec, 180 secs
lola: 33292714 markings, 33292714 edges, 166017 markings/sec, 185 secs
lola: 34114587 markings, 34114587 edges, 164375 markings/sec, 190 secs
lola: 34925853 markings, 34925853 edges, 162253 markings/sec, 195 secs
lola: 35731815 markings, 35731815 edges, 161192 markings/sec, 200 secs
lola: 36583142 markings, 36583142 edges, 170265 markings/sec, 205 secs
lola: 37434848 markings, 37434848 edges, 170341 markings/sec, 210 secs
lola: 38389911 markings, 38389911 edges, 191013 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2290)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 264 bytes per marking, with 10 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: 1054248 markings, 1054248 edges, 210850 markings/sec, 0 secs
lola: 1890762 markings, 1890762 edges, 167303 markings/sec, 5 secs
lola: 2822467 markings, 2822467 edges, 186341 markings/sec, 10 secs
lola: 3868530 markings, 3868530 edges, 209213 markings/sec, 15 secs
lola: 4910209 markings, 4910209 edges, 208336 markings/sec, 20 secs
lola: 5950093 markings, 5950093 edges, 207977 markings/sec, 25 secs
lola: 6984184 markings, 6984184 edges, 206818 markings/sec, 30 secs
lola: 8030911 markings, 8030911 edges, 209345 markings/sec, 35 secs
lola: 9073553 markings, 9073553 edges, 208528 markings/sec, 40 secs
lola: 9887825 markings, 9887825 edges, 162854 markings/sec, 45 secs
lola: 10878769 markings, 10878769 edges, 198189 markings/sec, 50 secs
lola: 11917522 markings, 11917522 edges, 207751 markings/sec, 55 secs
lola: 12953515 markings, 12953515 edges, 207199 markings/sec, 60 secs
lola: 13963097 markings, 13963096 edges, 201916 markings/sec, 65 secs
lola: 14999404 markings, 14999404 edges, 207261 markings/sec, 70 secs
lola: 16038852 markings, 16038852 edges, 207890 markings/sec, 75 secs
lola: 17078848 markings, 17078848 edges, 207999 markings/sec, 80 secs
lola: 18109800 markings, 18109800 edges, 206190 markings/sec, 85 secs
lola: 19148869 markings, 19148869 edges, 207814 markings/sec, 90 secs
lola: 20185771 markings, 20185771 edges, 207380 markings/sec, 95 secs
lola: 21218493 markings, 21218493 edges, 206544 markings/sec, 100 secs
lola: 22251561 markings, 22251561 edges, 206614 markings/sec, 105 secs
lola: 23284823 markings, 23284823 edges, 206652 markings/sec, 110 secs
lola: 24318281 markings, 24318281 edges, 206692 markings/sec, 115 secs
lola: 25348867 markings, 25348867 edges, 206117 markings/sec, 120 secs
lola: 26373166 markings, 26373166 edges, 204860 markings/sec, 125 secs
lola: 27418170 markings, 27418170 edges, 209001 markings/sec, 130 secs
lola: 28448659 markings, 28448659 edges, 206098 markings/sec, 135 secs
lola: 29495094 markings, 29495094 edges, 209287 markings/sec, 140 secs
lola: 30542213 markings, 30542213 edges, 209424 markings/sec, 145 secs
lola: 31583529 markings, 31583529 edges, 208263 markings/sec, 150 secs
lola: 32624521 markings, 32624521 edges, 208198 markings/sec, 155 secs
lola: 33664710 markings, 33664709 edges, 208038 markings/sec, 160 secs
lola: 34696979 markings, 34696979 edges, 206454 markings/sec, 165 secs
lola: 35733678 markings, 35733678 edges, 207340 markings/sec, 170 secs
lola: 36768282 markings, 36768282 edges, 206921 markings/sec, 175 secs
lola: 37800023 markings, 37800023 edges, 206348 markings/sec, 180 secs
lola: 38843342 markings, 38843342 edges, 208664 markings/sec, 185 secs
lola: 39883622 markings, 39883622 edges, 208056 markings/sec, 190 secs
lola: 40924766 markings, 40924765 edges, 208229 markings/sec, 195 secs
lola: 41964574 markings, 41964574 edges, 207962 markings/sec, 200 secs
lola: 42999882 markings, 42999882 edges, 207062 markings/sec, 205 secs
lola: 44036243 markings, 44036243 edges, 207272 markings/sec, 210 secs
lola: 45072134 markings, 45072134 edges, 207178 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3434)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 264 bytes per marking, with 10 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: 990546 markings, 990546 edges, 198109 markings/sec, 0 secs
lola: 1976566 markings, 1976566 edges, 197204 markings/sec, 5 secs
lola: 2960498 markings, 2960498 edges, 196786 markings/sec, 10 secs
lola: 3928439 markings, 3928439 edges, 193588 markings/sec, 15 secs
lola: 4903818 markings, 4903818 edges, 195076 markings/sec, 20 secs
lola: 5842201 markings, 5842200 edges, 187677 markings/sec, 25 secs
lola: 6801220 markings, 6801220 edges, 191804 markings/sec, 30 secs
lola: 7751544 markings, 7751544 edges, 190065 markings/sec, 35 secs
lola: 8701777 markings, 8701776 edges, 190047 markings/sec, 40 secs
lola: 9619001 markings, 9619001 edges, 183445 markings/sec, 45 secs
lola: 10563716 markings, 10563715 edges, 188943 markings/sec, 50 secs
lola: 11501140 markings, 11501139 edges, 187485 markings/sec, 55 secs
lola: 12410094 markings, 12410094 edges, 181791 markings/sec, 60 secs
lola: 13326856 markings, 13326856 edges, 183352 markings/sec, 65 secs
lola: 14265041 markings, 14265041 edges, 187637 markings/sec, 70 secs
lola: 15214159 markings, 15214159 edges, 189824 markings/sec, 75 secs
lola: 16125828 markings, 16125828 edges, 182334 markings/sec, 80 secs
lola: 17050624 markings, 17050624 edges, 184959 markings/sec, 85 secs
lola: 17966200 markings, 17966200 edges, 183115 markings/sec, 90 secs
lola: 18895909 markings, 18895909 edges, 185942 markings/sec, 95 secs
lola: 19833243 markings, 19833243 edges, 187467 markings/sec, 100 secs
lola: 20783680 markings, 20783680 edges, 190087 markings/sec, 105 secs
lola: 21717079 markings, 21717079 edges, 186680 markings/sec, 110 secs
lola: 22644787 markings, 22644787 edges, 185542 markings/sec, 115 secs
lola: 23583339 markings, 23583339 edges, 187710 markings/sec, 120 secs
lola: 24515929 markings, 24515929 edges, 186518 markings/sec, 125 secs
lola: 25468358 markings, 25468358 edges, 190486 markings/sec, 130 secs
lola: 26372443 markings, 26372443 edges, 180817 markings/sec, 135 secs
lola: 27273000 markings, 27273000 edges, 180111 markings/sec, 140 secs
lola: 28194449 markings, 28194449 edges, 184290 markings/sec, 145 secs
lola: 29123256 markings, 29123256 edges, 185761 markings/sec, 150 secs
lola: 30040454 markings, 30040454 edges, 183440 markings/sec, 155 secs
lola: 30937870 markings, 30937870 edges, 179483 markings/sec, 160 secs
lola: 31845361 markings, 31845361 edges, 181498 markings/sec, 165 secs
lola: 32732188 markings, 32732188 edges, 177365 markings/sec, 170 secs
lola: 33641634 markings, 33641634 edges, 181889 markings/sec, 175 secs
lola: 34570445 markings, 34570445 edges, 185762 markings/sec, 180 secs
lola: 35518268 markings, 35518268 edges, 189565 markings/sec, 185 secs
lola: 36384846 markings, 36384846 edges, 173316 markings/sec, 190 secs
lola: 37227389 markings, 37227389 edges, 168509 markings/sec, 195 secs
lola: 38100560 markings, 38100560 edges, 174634 markings/sec, 200 secs
lola: 38995926 markings, 38995926 edges, 179073 markings/sec, 205 secs
lola: 39913980 markings, 39913980 edges, 183611 markings/sec, 210 secs
lola: 40831064 markings, 40831064 edges, 183417 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1376)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 264 bytes per marking, with 10 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: 614647 markings, 866667 edges, 122929 markings/sec, 0 secs
lola: 1211783 markings, 1770208 edges, 119427 markings/sec, 5 secs
lola: 1757508 markings, 2668167 edges, 109145 markings/sec, 10 secs
lola: 2364666 markings, 3545121 edges, 121432 markings/sec, 15 secs
lola: 2879671 markings, 4432223 edges, 103001 markings/sec, 20 secs
lola: 3445611 markings, 5310034 edges, 113188 markings/sec, 25 secs
lola: 4066640 markings, 6184591 edges, 124206 markings/sec, 30 secs
lola: 4756632 markings, 7050348 edges, 137998 markings/sec, 35 secs
lola: 5397351 markings, 7885524 edges, 128144 markings/sec, 40 secs
lola: 5951100 markings, 8758595 edges, 110750 markings/sec, 45 secs
lola: 6538574 markings, 9643268 edges, 117495 markings/sec, 50 secs
lola: 7169284 markings, 10530487 edges, 126142 markings/sec, 55 secs
lola: 7834429 markings, 11387868 edges, 133029 markings/sec, 60 secs
lola: 8504272 markings, 12254998 edges, 133969 markings/sec, 65 secs
lola: 9142177 markings, 13154412 edges, 127581 markings/sec, 70 secs
lola: 9720349 markings, 14066513 edges, 115634 markings/sec, 75 secs
lola: 10296395 markings, 14969608 edges, 115209 markings/sec, 80 secs
lola: 10919298 markings, 15869451 edges, 124581 markings/sec, 85 secs
lola: 11445088 markings, 16781553 edges, 105158 markings/sec, 90 secs
lola: 12017737 markings, 17681334 edges, 114530 markings/sec, 95 secs
lola: 12670556 markings, 18565913 edges, 130564 markings/sec, 100 secs
lola: 13366760 markings, 19434202 edges, 139241 markings/sec, 105 secs
lola: 13980327 markings, 20289265 edges, 122713 markings/sec, 110 secs
lola: 14545636 markings, 21165168 edges, 113062 markings/sec, 115 secs
lola: 15113676 markings, 22018685 edges, 113608 markings/sec, 120 secs
lola: 15737209 markings, 22874244 edges, 124707 markings/sec, 125 secs
lola: 16386179 markings, 23710891 edges, 129794 markings/sec, 130 secs
lola: 17031932 markings, 24574387 edges, 129151 markings/sec, 135 secs
lola: 17605566 markings, 25442782 edges, 114727 markings/sec, 140 secs
lola: 18195814 markings, 26325654 edges, 118050 markings/sec, 145 secs
lola: 18910725 markings, 27217231 edges, 142982 markings/sec, 150 secs
lola: 19669601 markings, 28110772 edges, 151775 markings/sec, 155 secs
lola: 20254771 markings, 28993126 edges, 117034 markings/sec, 160 secs
lola: 21004396 markings, 29868923 edges, 149925 markings/sec, 165 secs
lola: 21635568 markings, 30745866 edges, 126234 markings/sec, 170 secs
lola: 22246265 markings, 31615235 edges, 122139 markings/sec, 175 secs
lola: 22810491 markings, 32453648 edges, 112845 markings/sec, 180 secs
lola: 23355353 markings, 33301354 edges, 108972 markings/sec, 185 secs
lola: 23946417 markings, 34187129 edges, 118213 markings/sec, 190 secs
lola: 24561250 markings, 35067264 edges, 122967 markings/sec, 195 secs
lola: 25120321 markings, 35974117 edges, 111814 markings/sec, 200 secs
lola: 25672421 markings, 36865045 edges, 110420 markings/sec, 205 secs
lola: 26281038 markings, 37679318 edges, 121723 markings/sec, 210 secs
lola: 26877921 markings, 38503170 edges, 119377 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p776)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 264 bytes per marking, with 10 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: 748746 markings, 875869 edges, 149749 markings/sec, 0 secs
lola: 1407065 markings, 1738550 edges, 131664 markings/sec, 5 secs
lola: 2006565 markings, 2637813 edges, 119900 markings/sec, 10 secs
lola: 2566489 markings, 3536063 edges, 111985 markings/sec, 15 secs
lola: 3179416 markings, 4388760 edges, 122585 markings/sec, 20 secs
lola: 3863582 markings, 5237627 edges, 136833 markings/sec, 25 secs
lola: 4641957 markings, 6083467 edges, 155675 markings/sec, 30 secs
lola: 5433253 markings, 6941410 edges, 158259 markings/sec, 35 secs
lola: 6167105 markings, 7753598 edges, 146770 markings/sec, 40 secs
lola: 6694801 markings, 8618142 edges, 105539 markings/sec, 45 secs
lola: 7190420 markings, 9480385 edges, 99124 markings/sec, 50 secs
lola: 7803689 markings, 10341470 edges, 122654 markings/sec, 55 secs
lola: 8467810 markings, 11195345 edges, 132824 markings/sec, 60 secs
lola: 9068240 markings, 12088857 edges, 120086 markings/sec, 65 secs
lola: 9611884 markings, 12959032 edges, 108729 markings/sec, 70 secs
lola: 10237749 markings, 13802660 edges, 125173 markings/sec, 75 secs
lola: 10960232 markings, 14644104 edges, 144497 markings/sec, 80 secs
lola: 11737039 markings, 15486563 edges, 155361 markings/sec, 85 secs
lola: 12509540 markings, 16325498 edges, 154500 markings/sec, 90 secs
lola: 13128869 markings, 17169323 edges, 123866 markings/sec, 95 secs
lola: 13594487 markings, 17963650 edges, 93124 markings/sec, 100 secs
lola: 14086332 markings, 18824521 edges, 98369 markings/sec, 105 secs
lola: 14766680 markings, 19655967 edges, 136070 markings/sec, 110 secs
lola: 15387076 markings, 20521188 edges, 124079 markings/sec, 115 secs
lola: 15937320 markings, 21401571 edges, 110049 markings/sec, 120 secs
lola: 16548687 markings, 22248751 edges, 122273 markings/sec, 125 secs
lola: 17284107 markings, 23088473 edges, 147084 markings/sec, 130 secs
lola: 18063723 markings, 23927838 edges, 155923 markings/sec, 135 secs
lola: 18805181 markings, 24726307 edges, 148292 markings/sec, 140 secs
lola: 19484444 markings, 25578825 edges, 135853 markings/sec, 145 secs
lola: 19981518 markings, 26447748 edges, 99415 markings/sec, 150 secs
lola: 20469030 markings, 27309059 edges, 97502 markings/sec, 155 secs
lola: 21077224 markings, 28180873 edges, 121639 markings/sec, 160 secs
lola: 21627555 markings, 29060005 edges, 110066 markings/sec, 165 secs
lola: 22291827 markings, 29926520 edges, 132854 markings/sec, 170 secs
lola: 23084102 markings, 30791803 edges, 158455 markings/sec, 175 secs
lola: 23870930 markings, 31653800 edges, 157366 markings/sec, 180 secs
lola: 24432796 markings, 32527931 edges, 112373 markings/sec, 185 secs
lola: 24934181 markings, 33400018 edges, 100277 markings/sec, 190 secs
lola: 25434913 markings, 34251259 edges, 100146 markings/sec, 195 secs
lola: 25941965 markings, 35054119 edges, 101410 markings/sec, 200 secs
lola: 26457688 markings, 35868783 edges, 103145 markings/sec, 205 secs
lola: 27196089 markings, 36665159 edges, 147680 markings/sec, 210 secs
lola: 27703325 markings, 37470023 edges, 101447 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p405)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 264 bytes per marking, with 10 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: 129805 markings, 609555 edges, 25961 markings/sec, 0 secs
lola: 256883 markings, 1236288 edges, 25416 markings/sec, 5 secs
lola: 375731 markings, 1876866 edges, 23770 markings/sec, 10 secs
lola: 489762 markings, 2469764 edges, 22806 markings/sec, 15 secs
lola: 612189 markings, 3051420 edges, 24485 markings/sec, 20 secs
lola: 733748 markings, 3677165 edges, 24312 markings/sec, 25 secs
lola: 857411 markings, 4298945 edges, 24733 markings/sec, 30 secs
lola: 978047 markings, 4909570 edges, 24127 markings/sec, 35 secs
lola: 1104067 markings, 5526138 edges, 25204 markings/sec, 40 secs
lola: 1225932 markings, 6146894 edges, 24373 markings/sec, 45 secs
lola: 1346955 markings, 6800361 edges, 24205 markings/sec, 50 secs
lola: 1453066 markings, 7426800 edges, 21222 markings/sec, 55 secs
lola: 1561779 markings, 8037449 edges, 21743 markings/sec, 60 secs
lola: 1675928 markings, 8680083 edges, 22830 markings/sec, 65 secs
lola: 1789761 markings, 9321919 edges, 22767 markings/sec, 70 secs
lola: 1909885 markings, 9958220 edges, 24025 markings/sec, 75 secs
lola: 2029810 markings, 10587708 edges, 23985 markings/sec, 80 secs
lola: 2149199 markings, 11218542 edges, 23878 markings/sec, 85 secs
lola: 2276414 markings, 11837121 edges, 25443 markings/sec, 90 secs
lola: 2398059 markings, 12440143 edges, 24329 markings/sec, 95 secs
lola: 2517603 markings, 13057622 edges, 23909 markings/sec, 100 secs
lola: 2633399 markings, 13687074 edges, 23159 markings/sec, 105 secs
lola: 2744170 markings, 14333675 edges, 22154 markings/sec, 110 secs
lola: 2859679 markings, 14971156 edges, 23102 markings/sec, 115 secs
lola: 2969112 markings, 15623975 edges, 21887 markings/sec, 120 secs
lola: 3090029 markings, 16241394 edges, 24183 markings/sec, 125 secs
lola: 3210029 markings, 16863528 edges, 24000 markings/sec, 130 secs
lola: 3336819 markings, 17488619 edges, 25358 markings/sec, 135 secs
lola: 3462498 markings, 18102199 edges, 25136 markings/sec, 140 secs
lola: 3592623 markings, 18710409 edges, 26025 markings/sec, 145 secs
lola: 3726306 markings, 19296790 edges, 26737 markings/sec, 150 secs
lola: 3853053 markings, 19901939 edges, 25349 markings/sec, 155 secs
lola: 3980692 markings, 20511986 edges, 25528 markings/sec, 160 secs
lola: 4112924 markings, 21089835 edges, 26446 markings/sec, 165 secs
lola: 4241279 markings, 21699300 edges, 25671 markings/sec, 170 secs
lola: 4359578 markings, 22334230 edges, 23660 markings/sec, 175 secs
lola: 4478158 markings, 22955427 edges, 23716 markings/sec, 180 secs
lola: 4602434 markings, 23561776 edges, 24855 markings/sec, 185 secs
lola: 4724069 markings, 24183548 edges, 24327 markings/sec, 190 secs
lola: 4844354 markings, 24795445 edges, 24057 markings/sec, 195 secs
lola: 4966740 markings, 25394277 edges, 24477 markings/sec, 200 secs
lola: 5089785 markings, 25997776 edges, 24609 markings/sec, 205 secs
lola: 5213792 markings, 26613199 edges, 24801 markings/sec, 210 secs
lola: 5333458 markings, 27244876 edges, 23933 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA Echo-PT-d03r07-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r07-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r07-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r07-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r07-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r07-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r07-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r07-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r07-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r07-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r07-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r07-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r07-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r07-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r07-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d03r07-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494694303063
--------------------
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="Echo-PT-d03r07"
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/Echo-PT-d03r07.tgz
mv Echo-PT-d03r07 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 Echo-PT-d03r07, 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 r028-blw3-149440264100290"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;