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 ResAllocation-PT-R003C050, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r068-csrt-149440963100101
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494802271622


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ ResAllocation-PT-R003C050 @ 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: 500/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 300 places, 200 transitions, 150 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 350 transition conflict sets
lola: TASK
lola: reading formula from ResAllocation-PT-R003C050-UpperBounds.task
lola: MAX(p_17_2) : MAX(p_27_2) : MAX(r_4_0) : MAX(p_42_0) : MAX(r_31_1) : MAX(p_10_1) : MAX(p_23_2) : MAX(p_23_0) : MAX(r_22_1) : MAX(r_46_2) : MAX(r_16_2) : MAX(r_45_0) : MAX(p_17_0) : MAX(r_11_2) : MAX(p_40_0) : MAX(p_35_2)
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(p_17_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 3803603 markings, 4127745 edges, 760721 markings/sec, 0 secs
lola: 7213225 markings, 8302656 edges, 681924 markings/sec, 5 secs
lola: 10289902 markings, 12425840 edges, 615335 markings/sec, 10 secs
lola: 13055383 markings, 16370135 edges, 553096 markings/sec, 15 secs
lola: 15585227 markings, 20543818 edges, 505969 markings/sec, 20 secs
lola: 18324689 markings, 24573403 edges, 547892 markings/sec, 25 secs
lola: 20945153 markings, 28592811 edges, 524093 markings/sec, 30 secs
lola: 23346010 markings, 32806446 edges, 480171 markings/sec, 35 secs
lola: 25648057 markings, 37053255 edges, 460409 markings/sec, 40 secs
lola: 27582912 markings, 41062943 edges, 386971 markings/sec, 45 secs
lola: 29450305 markings, 44866050 edges, 373479 markings/sec, 50 secs
lola: 32686978 markings, 48647362 edges, 647335 markings/sec, 55 secs
lola: 36465320 markings, 52425792 edges, 755668 markings/sec, 60 secs
lola: 40259013 markings, 56219666 edges, 758739 markings/sec, 65 secs
lola: 44211968 markings, 60172848 edges, 790591 markings/sec, 70 secs
lola: 48142726 markings, 64104004 edges, 786152 markings/sec, 75 secs
lola: 52308163 markings, 68269819 edges, 833087 markings/sec, 80 secs
lola: 56391113 markings, 72353294 edges, 816590 markings/sec, 85 secs
lola: 60399446 markings, 76362498 edges, 801667 markings/sec, 90 secs
lola: 64220691 markings, 80184146 edges, 764249 markings/sec, 95 secs
lola: 67993513 markings, 83957516 edges, 754564 markings/sec, 100 secs
lola: 71771811 markings, 87736620 edges, 755660 markings/sec, 105 secs
lola: 75656155 markings, 91621796 edges, 776869 markings/sec, 110 secs
lola: 79496109 markings, 95462669 edges, 767991 markings/sec, 115 secs
lola: 83240011 markings, 99207493 edges, 748780 markings/sec, 120 secs
lola: 86941155 markings, 102909749 edges, 740229 markings/sec, 125 secs
lola: 90588747 markings, 106557579 edges, 729518 markings/sec, 130 secs
lola: 94277021 markings, 110246105 edges, 737655 markings/sec, 135 secs
lola: 97936963 markings, 113906313 edges, 731988 markings/sec, 140 secs
lola: 101668290 markings, 117637910 edges, 746265 markings/sec, 145 secs
lola: 105325240 markings, 121295155 edges, 731390 markings/sec, 150 secs
lola: 108941062 markings, 124911287 edges, 723164 markings/sec, 155 secs
lola: 112935026 markings, 128905558 edges, 798793 markings/sec, 160 secs
lola: 117040004 markings, 133010870 edges, 820996 markings/sec, 165 secs
lola: 121061107 markings, 137032333 edges, 804221 markings/sec, 170 secs
lola: 125054001 markings, 141025574 edges, 798579 markings/sec, 175 secs
lola: 129077309 markings, 145049407 edges, 804662 markings/sec, 180 secs
lola: 133160969 markings, 149133408 edges, 816732 markings/sec, 185 secs
lola: 137254763 markings, 153227566 edges, 818759 markings/sec, 190 secs
lola: 141261813 markings, 157234999 edges, 801410 markings/sec, 195 secs
lola: 145066907 markings, 161040509 edges, 761019 markings/sec, 200 secs
lola: 148906700 markings, 164880714 edges, 767959 markings/sec, 205 secs
lola: 152579079 markings, 168553505 edges, 734476 markings/sec, 210 secs
lola: 156227030 markings, 172201810 edges, 729590 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(p_27_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 4041895 markings, 4057887 edges, 808379 markings/sec, 0 secs
lola: 8367567 markings, 8399939 edges, 865134 markings/sec, 5 secs
lola: 12682721 markings, 12731129 edges, 863031 markings/sec, 10 secs
lola: 17085802 markings, 17162796 edges, 880616 markings/sec, 15 secs
lola: 21443760 markings, 21550892 edges, 871592 markings/sec, 20 secs
lola: 25808133 markings, 25952655 edges, 872875 markings/sec, 25 secs
lola: 30017228 markings, 30208056 edges, 841819 markings/sec, 30 secs
lola: 34120126 markings, 34371912 edges, 820580 markings/sec, 35 secs
lola: 38225769 markings, 38523784 edges, 821129 markings/sec, 40 secs
lola: 42295890 markings, 42646770 edges, 814024 markings/sec, 45 secs
lola: 46434232 markings, 46853566 edges, 827668 markings/sec, 50 secs
lola: 50531144 markings, 51028076 edges, 819382 markings/sec, 55 secs
lola: 54256234 markings, 54833090 edges, 745018 markings/sec, 60 secs
lola: 57825243 markings, 58505015 edges, 713802 markings/sec, 65 secs
lola: 61482055 markings, 62214449 edges, 731362 markings/sec, 70 secs
lola: 65092143 markings, 65874892 edges, 722018 markings/sec, 75 secs
lola: 68776867 markings, 69622380 edges, 736945 markings/sec, 80 secs
lola: 72300373 markings, 73225579 edges, 704701 markings/sec, 85 secs
lola: 75970200 markings, 76987388 edges, 733965 markings/sec, 90 secs
lola: 79457909 markings, 80577209 edges, 697542 markings/sec, 95 secs
lola: 82902347 markings, 84112281 edges, 688888 markings/sec, 100 secs
lola: 86500001 markings, 87817367 edges, 719531 markings/sec, 105 secs
lola: 90000426 markings, 91437401 edges, 700085 markings/sec, 110 secs
lola: 93444472 markings, 95009239 edges, 688809 markings/sec, 115 secs
lola: 96856397 markings, 98549532 edges, 682385 markings/sec, 120 secs
lola: 100276099 markings, 102072630 edges, 683940 markings/sec, 125 secs
lola: 103627495 markings, 105597146 edges, 670279 markings/sec, 130 secs
lola: 107160597 markings, 109201190 edges, 706620 markings/sec, 135 secs
lola: 110668730 markings, 112779381 edges, 701627 markings/sec, 140 secs
lola: 114049907 markings, 116239489 edges, 676235 markings/sec, 145 secs
lola: 117497329 markings, 119774429 edges, 689484 markings/sec, 150 secs
lola: 120897195 markings, 123267363 edges, 679973 markings/sec, 155 secs
lola: 124352443 markings, 126846462 edges, 691050 markings/sec, 160 secs
lola: 127980372 markings, 130614596 edges, 725586 markings/sec, 165 secs
lola: 131727608 markings, 134532189 edges, 749447 markings/sec, 170 secs
lola: 135323163 markings, 138281234 edges, 719111 markings/sec, 175 secs
lola: 139021988 markings, 142129543 edges, 739765 markings/sec, 180 secs
lola: 142526211 markings, 145789686 edges, 700845 markings/sec, 185 secs
lola: 146082305 markings, 149515609 edges, 711219 markings/sec, 190 secs
lola: 149714103 markings, 153324302 edges, 726360 markings/sec, 195 secs
lola: 153276234 markings, 157064379 edges, 712426 markings/sec, 200 secs
lola: 156789191 markings, 160765481 edges, 702591 markings/sec, 205 secs
lola: 160080286 markings, 164246438 edges, 658219 markings/sec, 210 secs
lola: 163356587 markings, 167729625 edges, 655260 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(r_4_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 3872792 markings, 3872797 edges, 774558 markings/sec, 0 secs
lola: 7899355 markings, 7899360 edges, 805313 markings/sec, 5 secs
lola: 11592703 markings, 11592707 edges, 738670 markings/sec, 10 secs
lola: 15222016 markings, 15222021 edges, 725863 markings/sec, 15 secs
lola: 18886601 markings, 18886606 edges, 732917 markings/sec, 20 secs
lola: 22667980 markings, 22667985 edges, 756276 markings/sec, 25 secs
lola: 26490821 markings, 26490825 edges, 764568 markings/sec, 30 secs
lola: 30361208 markings, 30361213 edges, 774077 markings/sec, 35 secs
lola: 34136874 markings, 34136879 edges, 755133 markings/sec, 40 secs
lola: 37783759 markings, 37783764 edges, 729377 markings/sec, 45 secs
lola: 41393581 markings, 41393586 edges, 721964 markings/sec, 50 secs
lola: 45095385 markings, 45095390 edges, 740361 markings/sec, 55 secs
lola: 48697846 markings, 48697851 edges, 720492 markings/sec, 60 secs
lola: 52058026 markings, 52058031 edges, 672036 markings/sec, 65 secs
lola: 55324234 markings, 55324238 edges, 653242 markings/sec, 70 secs
lola: 58803561 markings, 58803566 edges, 695865 markings/sec, 75 secs
lola: 62098172 markings, 62098177 edges, 658922 markings/sec, 80 secs
lola: 65535504 markings, 65535509 edges, 687466 markings/sec, 85 secs
lola: 68785751 markings, 68785756 edges, 650049 markings/sec, 90 secs
lola: 72049507 markings, 72049512 edges, 652751 markings/sec, 95 secs
lola: 75350373 markings, 75350377 edges, 660173 markings/sec, 100 secs
lola: 78616781 markings, 78616786 edges, 653282 markings/sec, 105 secs
lola: 81911245 markings, 81911249 edges, 658893 markings/sec, 110 secs
lola: 85209384 markings, 85209389 edges, 659628 markings/sec, 115 secs
lola: 88497552 markings, 88497556 edges, 657634 markings/sec, 120 secs
lola: 91957449 markings, 91957454 edges, 691979 markings/sec, 125 secs
lola: 95411183 markings, 95411188 edges, 690747 markings/sec, 130 secs
lola: 98946431 markings, 98946437 edges, 707050 markings/sec, 135 secs
lola: 102469940 markings, 102469946 edges, 704702 markings/sec, 140 secs
lola: 105977614 markings, 105977620 edges, 701535 markings/sec, 145 secs
lola: 109439317 markings, 109439323 edges, 692341 markings/sec, 150 secs
lola: 112867787 markings, 112867794 edges, 685694 markings/sec, 155 secs
lola: 116357947 markings, 116357955 edges, 698032 markings/sec, 160 secs
lola: 119988431 markings, 119988439 edges, 726097 markings/sec, 165 secs
lola: 123594040 markings, 123594048 edges, 721122 markings/sec, 170 secs
lola: 126958220 markings, 126958229 edges, 672836 markings/sec, 175 secs
lola: 130304149 markings, 130304159 edges, 669186 markings/sec, 180 secs
lola: 133618459 markings, 133618468 edges, 662862 markings/sec, 185 secs
lola: 137115994 markings, 137116005 edges, 699507 markings/sec, 190 secs
lola: 140647412 markings, 140647422 edges, 706284 markings/sec, 195 secs
lola: 144211840 markings, 144211852 edges, 712886 markings/sec, 200 secs
lola: 147806849 markings, 147806861 edges, 719002 markings/sec, 205 secs
lola: 151398497 markings, 151398511 edges, 718330 markings/sec, 210 secs
lola: 154979029 markings, 154979042 edges, 716106 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(p_42_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 4454008 markings, 4455180 edges, 890802 markings/sec, 0 secs
lola: 8903508 markings, 8904681 edges, 889900 markings/sec, 5 secs
lola: 13518345 markings, 13519517 edges, 922967 markings/sec, 10 secs
lola: 18142493 markings, 18143666 edges, 924830 markings/sec, 15 secs
lola: 22343236 markings, 22344408 edges, 840149 markings/sec, 20 secs
lola: 26470997 markings, 26472170 edges, 825552 markings/sec, 25 secs
lola: 30612401 markings, 30613574 edges, 828281 markings/sec, 30 secs
lola: 34817392 markings, 34818564 edges, 840998 markings/sec, 35 secs
lola: 39245748 markings, 39246921 edges, 885671 markings/sec, 40 secs
lola: 43706858 markings, 43708030 edges, 892222 markings/sec, 45 secs
lola: 48199983 markings, 48201156 edges, 898625 markings/sec, 50 secs
lola: 52641900 markings, 52643073 edges, 888383 markings/sec, 55 secs
lola: 57097535 markings, 57098707 edges, 891127 markings/sec, 60 secs
lola: 61413506 markings, 61414678 edges, 863194 markings/sec, 65 secs
lola: 65776817 markings, 65777990 edges, 872662 markings/sec, 70 secs
lola: 70213628 markings, 70214800 edges, 887362 markings/sec, 75 secs
lola: 74568115 markings, 74569288 edges, 870897 markings/sec, 80 secs
lola: 78949977 markings, 78951150 edges, 876372 markings/sec, 85 secs
lola: 83265557 markings, 83266730 edges, 863116 markings/sec, 90 secs
lola: 87564879 markings, 87566051 edges, 859864 markings/sec, 95 secs
lola: 91792426 markings, 91793600 edges, 845509 markings/sec, 100 secs
lola: 96073245 markings, 96074418 edges, 856164 markings/sec, 105 secs
lola: 100374809 markings, 100375983 edges, 860313 markings/sec, 110 secs
lola: 104608585 markings, 104609759 edges, 846755 markings/sec, 115 secs
lola: 108832429 markings, 108833604 edges, 844769 markings/sec, 120 secs
lola: 113111135 markings, 113112311 edges, 855741 markings/sec, 125 secs
lola: 117425041 markings, 117426216 edges, 862781 markings/sec, 130 secs
lola: 121880626 markings, 121881803 edges, 891117 markings/sec, 135 secs
lola: 126273965 markings, 126275142 edges, 878668 markings/sec, 140 secs
lola: 130641618 markings, 130642796 edges, 873531 markings/sec, 145 secs
lola: 134977587 markings, 134978764 edges, 867194 markings/sec, 150 secs
lola: 139400062 markings, 139401241 edges, 884495 markings/sec, 155 secs
lola: 143692754 markings, 143693934 edges, 858538 markings/sec, 160 secs
lola: 148056750 markings, 148057930 edges, 872799 markings/sec, 165 secs
lola: 152558730 markings, 152559910 edges, 900396 markings/sec, 170 secs
lola: 156929968 markings, 156931149 edges, 874248 markings/sec, 175 secs
lola: 161172240 markings, 161173421 edges, 848454 markings/sec, 180 secs
lola: 165402713 markings, 165403894 edges, 846095 markings/sec, 185 secs
lola: 169638313 markings, 169639495 edges, 847120 markings/sec, 190 secs
lola: 173779522 markings, 173780705 edges, 828242 markings/sec, 195 secs
lola: 177923535 markings, 177924717 edges, 828803 markings/sec, 200 secs
lola: 182237907 markings, 182239090 edges, 862874 markings/sec, 205 secs
lola: 186442206 markings, 186443390 edges, 840860 markings/sec, 210 secs
lola: 190647039 markings, 190648223 edges, 840967 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(r_31_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 4464125 markings, 4464164 edges, 892825 markings/sec, 0 secs
lola: 8977264 markings, 8977369 edges, 902628 markings/sec, 5 secs
lola: 13495589 markings, 13495845 edges, 903665 markings/sec, 10 secs
lola: 18033658 markings, 18034058 edges, 907614 markings/sec, 15 secs
lola: 22468761 markings, 22469350 edges, 887021 markings/sec, 20 secs
lola: 26827353 markings, 26828398 edges, 871718 markings/sec, 25 secs
lola: 31170734 markings, 31172033 edges, 868676 markings/sec, 30 secs
lola: 35563018 markings, 35564710 edges, 878457 markings/sec, 35 secs
lola: 39856496 markings, 39858697 edges, 858696 markings/sec, 40 secs
lola: 44175738 markings, 44178578 edges, 863848 markings/sec, 45 secs
lola: 48402677 markings, 48405868 edges, 845388 markings/sec, 50 secs
lola: 52671578 markings, 52675236 edges, 853780 markings/sec, 55 secs
lola: 56913985 markings, 56918320 edges, 848481 markings/sec, 60 secs
lola: 61200601 markings, 61205623 edges, 857323 markings/sec, 65 secs
lola: 65433254 markings, 65439103 edges, 846531 markings/sec, 70 secs
lola: 69623966 markings, 69630776 edges, 838142 markings/sec, 75 secs
lola: 73832066 markings, 73840205 edges, 841620 markings/sec, 80 secs
lola: 78093197 markings, 78101815 edges, 852226 markings/sec, 85 secs
lola: 82326564 markings, 82335745 edges, 846673 markings/sec, 90 secs
lola: 86532440 markings, 86542263 edges, 841175 markings/sec, 95 secs
lola: 90707971 markings, 90718650 edges, 835106 markings/sec, 100 secs
lola: 94953753 markings, 94965384 edges, 849156 markings/sec, 105 secs
lola: 99143463 markings, 99156301 edges, 837942 markings/sec, 110 secs
lola: 103299448 markings, 103313402 edges, 831197 markings/sec, 115 secs
lola: 107571026 markings, 107586249 edges, 854316 markings/sec, 120 secs
lola: 111679908 markings, 111696132 edges, 821776 markings/sec, 125 secs
lola: 115870415 markings, 115887950 edges, 838101 markings/sec, 130 secs
lola: 120031892 markings, 120050901 edges, 832295 markings/sec, 135 secs
lola: 123957452 markings, 123977216 edges, 785112 markings/sec, 140 secs
lola: 127983815 markings, 128005253 edges, 805273 markings/sec, 145 secs
lola: 132196862 markings, 132221692 edges, 842609 markings/sec, 150 secs
lola: 136421582 markings, 136447177 edges, 844944 markings/sec, 155 secs
lola: 140786951 markings, 140813444 edges, 873074 markings/sec, 160 secs
lola: 145091755 markings, 145119145 edges, 860961 markings/sec, 165 secs
lola: 149137515 markings, 149166024 edges, 809152 markings/sec, 170 secs
lola: 152945411 markings, 152974900 edges, 761579 markings/sec, 175 secs
lola: 156743401 markings, 156774054 edges, 759598 markings/sec, 180 secs
lola: 160526862 markings, 160558644 edges, 756692 markings/sec, 185 secs
lola: 164427762 markings, 164461174 edges, 780180 markings/sec, 190 secs
lola: 168412308 markings, 168447311 edges, 796909 markings/sec, 195 secs
lola: 172433359 markings, 172469955 edges, 804210 markings/sec, 200 secs
lola: 176354097 markings, 176392969 edges, 784148 markings/sec, 205 secs
lola: 180278931 markings, 180319738 edges, 784967 markings/sec, 210 secs
lola: 184190337 markings, 184233155 edges, 782281 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(p_10_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 4229765 markings, 4229772 edges, 845953 markings/sec, 0 secs
lola: 8180994 markings, 8181001 edges, 790246 markings/sec, 5 secs
lola: 12172655 markings, 12172663 edges, 798332 markings/sec, 10 secs
lola: 16122440 markings, 16122453 edges, 789957 markings/sec, 15 secs
lola: 19968610 markings, 19968628 edges, 769234 markings/sec, 20 secs
lola: 24076019 markings, 24076047 edges, 821482 markings/sec, 25 secs
lola: 28103432 markings, 28103469 edges, 805483 markings/sec, 30 secs
lola: 32196243 markings, 32196296 edges, 818562 markings/sec, 35 secs
lola: 36067969 markings, 36068045 edges, 774345 markings/sec, 40 secs
lola: 40062973 markings, 40063062 edges, 799001 markings/sec, 45 secs
lola: 43982939 markings, 43983041 edges, 783993 markings/sec, 50 secs
lola: 48061254 markings, 48061381 edges, 815663 markings/sec, 55 secs
lola: 52085107 markings, 52085270 edges, 804771 markings/sec, 60 secs
lola: 56125920 markings, 56126103 edges, 808163 markings/sec, 65 secs
lola: 60166185 markings, 60166391 edges, 808053 markings/sec, 70 secs
lola: 64465552 markings, 64465813 edges, 859873 markings/sec, 75 secs
lola: 68703159 markings, 68703443 edges, 847521 markings/sec, 80 secs
lola: 72889360 markings, 72889669 edges, 837240 markings/sec, 85 secs
lola: 77244343 markings, 77244681 edges, 870997 markings/sec, 90 secs
lola: 81345910 markings, 81346278 edges, 820313 markings/sec, 95 secs
lola: 85631606 markings, 85632008 edges, 857139 markings/sec, 100 secs
lola: 89834308 markings, 89834760 edges, 840540 markings/sec, 105 secs
lola: 94029995 markings, 94030506 edges, 839137 markings/sec, 110 secs
lola: 98232844 markings, 98233384 edges, 840570 markings/sec, 115 secs
lola: 102320572 markings, 102321144 edges, 817546 markings/sec, 120 secs
lola: 106462951 markings, 106463574 edges, 828476 markings/sec, 125 secs
lola: 110500302 markings, 110501125 edges, 807470 markings/sec, 130 secs
lola: 114824069 markings, 114824929 edges, 864753 markings/sec, 135 secs
lola: 119005110 markings, 119006009 edges, 836208 markings/sec, 140 secs
lola: 123208711 markings, 123209652 edges, 840720 markings/sec, 145 secs
lola: 127521876 markings, 127522868 edges, 862633 markings/sec, 150 secs
lola: 131760666 markings, 131761707 edges, 847758 markings/sec, 155 secs
lola: 135851506 markings, 135852597 edges, 818168 markings/sec, 160 secs
lola: 140117314 markings, 140118473 edges, 853162 markings/sec, 165 secs
lola: 144351002 markings, 144352228 edges, 846738 markings/sec, 170 secs
lola: 148656996 markings, 148658320 edges, 861199 markings/sec, 175 secs
lola: 153037583 markings, 153038982 edges, 876117 markings/sec, 180 secs
lola: 157238193 markings, 157239694 edges, 840122 markings/sec, 185 secs
lola: 161509337 markings, 161510900 edges, 854229 markings/sec, 190 secs
lola: 165650847 markings, 165652474 edges, 828302 markings/sec, 195 secs
lola: 169912234 markings, 169913986 edges, 852277 markings/sec, 200 secs
lola: 174114252 markings, 174116070 edges, 840404 markings/sec, 205 secs
lola: 178330421 markings, 178332293 edges, 843234 markings/sec, 210 secs
lola: 182542580 markings, 182544535 edges, 842432 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(p_23_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 4569494 markings, 4573182 edges, 913899 markings/sec, 0 secs
lola: 9049110 markings, 9058743 edges, 895923 markings/sec, 5 secs
lola: 13392770 markings, 13405798 edges, 868732 markings/sec, 10 secs
lola: 17831989 markings, 17849675 edges, 887844 markings/sec, 15 secs
lola: 22258805 markings, 22282506 edges, 885363 markings/sec, 20 secs
lola: 26661478 markings, 26688237 edges, 880535 markings/sec, 25 secs
lola: 31082226 markings, 31112437 edges, 884150 markings/sec, 30 secs
lola: 35490814 markings, 35524730 edges, 881718 markings/sec, 35 secs
lola: 39870468 markings, 39908944 edges, 875931 markings/sec, 40 secs
lola: 44180039 markings, 44223096 edges, 861914 markings/sec, 45 secs
lola: 48627152 markings, 48673349 edges, 889423 markings/sec, 50 secs
lola: 52962536 markings, 53013850 edges, 867077 markings/sec, 55 secs
lola: 57272202 markings, 57330194 edges, 861933 markings/sec, 60 secs
lola: 61646732 markings, 61711249 edges, 874906 markings/sec, 65 secs
lola: 65958298 markings, 66029917 edges, 862313 markings/sec, 70 secs
lola: 70157154 markings, 70236102 edges, 839771 markings/sec, 75 secs
lola: 74459344 markings, 74550218 edges, 860438 markings/sec, 80 secs
lola: 78864421 markings, 78960207 edges, 881015 markings/sec, 85 secs
lola: 83102038 markings, 83204215 edges, 847523 markings/sec, 90 secs
lola: 87316264 markings, 87426647 edges, 842845 markings/sec, 95 secs
lola: 91546042 markings, 91666147 edges, 845956 markings/sec, 100 secs
lola: 95764039 markings, 95893695 edges, 843599 markings/sec, 105 secs
lola: 99965700 markings, 100104893 edges, 840332 markings/sec, 110 secs
lola: 104295219 markings, 104442373 edges, 865904 markings/sec, 115 secs
lola: 108351258 markings, 108507078 edges, 811208 markings/sec, 120 secs
lola: 112599976 markings, 112769319 edges, 849744 markings/sec, 125 secs
lola: 116523446 markings, 116703705 edges, 784694 markings/sec, 130 secs
lola: 120410795 markings, 120602417 edges, 777470 markings/sec, 135 secs
lola: 124320766 markings, 124524730 edges, 781994 markings/sec, 140 secs
lola: 128115040 markings, 128344797 edges, 758855 markings/sec, 145 secs
lola: 131915916 markings, 132154066 edges, 760175 markings/sec, 150 secs
lola: 135732407 markings, 135982300 edges, 763298 markings/sec, 155 secs
lola: 139680055 markings, 139940693 edges, 789530 markings/sec, 160 secs
lola: 143828670 markings, 144103784 edges, 829723 markings/sec, 165 secs
lola: 147654476 markings, 147938821 edges, 765161 markings/sec, 170 secs
lola: 151564607 markings, 151859173 edges, 782026 markings/sec, 175 secs
lola: 155419851 markings, 155725267 edges, 771049 markings/sec, 180 secs
lola: 159389453 markings, 159708253 edges, 793920 markings/sec, 185 secs
lola: 163329482 markings, 163660181 edges, 788006 markings/sec, 190 secs
lola: 167340936 markings, 167683698 edges, 802291 markings/sec, 195 secs
lola: 171260486 markings, 171620414 edges, 783910 markings/sec, 200 secs
lola: 175195974 markings, 175574075 edges, 787098 markings/sec, 205 secs
lola: 179281917 markings, 179677408 edges, 817189 markings/sec, 210 secs
lola: 183447967 markings, 183857223 edges, 833210 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(p_23_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 4310826 markings, 4319130 edges, 862165 markings/sec, 0 secs
lola: 8504106 markings, 8517348 edges, 838656 markings/sec, 5 secs
lola: 12727082 markings, 12748038 edges, 844595 markings/sec, 10 secs
lola: 17051674 markings, 17078779 edges, 864918 markings/sec, 15 secs
lola: 21191116 markings, 21223893 edges, 827888 markings/sec, 20 secs
lola: 25469517 markings, 25511087 edges, 855680 markings/sec, 25 secs
lola: 29620597 markings, 29665668 edges, 830216 markings/sec, 30 secs
lola: 33783084 markings, 33836015 edges, 832497 markings/sec, 35 secs
lola: 38033355 markings, 38096539 edges, 850054 markings/sec, 40 secs
lola: 42099876 markings, 42174997 edges, 813304 markings/sec, 45 secs
lola: 46222848 markings, 46313212 edges, 824594 markings/sec, 50 secs
lola: 50501119 markings, 50599509 edges, 855654 markings/sec, 55 secs
lola: 54621050 markings, 54731623 edges, 823986 markings/sec, 60 secs
lola: 58763395 markings, 58889370 edges, 828469 markings/sec, 65 secs
lola: 62927046 markings, 63067328 edges, 832730 markings/sec, 70 secs
lola: 67168353 markings, 67321813 edges, 848261 markings/sec, 75 secs
lola: 71253272 markings, 71426071 edges, 816984 markings/sec, 80 secs
lola: 75370615 markings, 75562652 edges, 823469 markings/sec, 85 secs
lola: 79403219 markings, 79613972 edges, 806521 markings/sec, 90 secs
lola: 83311946 markings, 83554256 edges, 781745 markings/sec, 95 secs
lola: 87491376 markings, 87753341 edges, 835886 markings/sec, 100 secs
lola: 91683966 markings, 91966256 edges, 838518 markings/sec, 105 secs
lola: 95782758 markings, 96081871 edges, 819758 markings/sec, 110 secs
lola: 99926391 markings, 100246596 edges, 828727 markings/sec, 115 secs
lola: 104035368 markings, 104375432 edges, 821795 markings/sec, 120 secs
lola: 108057402 markings, 108425222 edges, 804407 markings/sec, 125 secs
lola: 112112633 markings, 112508418 edges, 811046 markings/sec, 130 secs
lola: 116236786 markings, 116656962 edges, 824831 markings/sec, 135 secs
lola: 120342005 markings, 120790425 edges, 821044 markings/sec, 140 secs
lola: 124354405 markings, 124835223 edges, 802480 markings/sec, 145 secs
lola: 128279962 markings, 128794457 edges, 785111 markings/sec, 150 secs
lola: 132287551 markings, 132835865 edges, 801518 markings/sec, 155 secs
lola: 136132156 markings, 136713930 edges, 768921 markings/sec, 160 secs
lola: 139866263 markings, 140475902 edges, 746821 markings/sec, 165 secs
lola: 143621199 markings, 144293471 edges, 750987 markings/sec, 170 secs
lola: 147262217 markings, 147956825 edges, 728204 markings/sec, 175 secs
lola: 150909246 markings, 151625072 edges, 729406 markings/sec, 180 secs
lola: 154582850 markings, 155319423 edges, 734721 markings/sec, 185 secs
lola: 158251706 markings, 159008350 edges, 733771 markings/sec, 190 secs
lola: 161870864 markings, 162649516 edges, 723832 markings/sec, 195 secs
lola: 165519301 markings, 166318139 edges, 729687 markings/sec, 200 secs
lola: 169085356 markings, 169909100 edges, 713211 markings/sec, 205 secs
lola: 172617204 markings, 173467506 edges, 706370 markings/sec, 210 secs
lola: 176191185 markings, 177077236 edges, 714796 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(r_22_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 4343508 markings, 4349479 edges, 868702 markings/sec, 0 secs
lola: 8702258 markings, 8713910 edges, 871750 markings/sec, 5 secs
lola: 13045931 markings, 13063106 edges, 868735 markings/sec, 10 secs
lola: 17253372 markings, 17278533 edges, 841488 markings/sec, 15 secs
lola: 21458886 markings, 21486924 edges, 841103 markings/sec, 20 secs
lola: 25732646 markings, 25765712 edges, 854752 markings/sec, 25 secs
lola: 29857067 markings, 29895499 edges, 824884 markings/sec, 30 secs
lola: 33893796 markings, 33937382 edges, 807346 markings/sec, 35 secs
lola: 37935463 markings, 37983708 edges, 808333 markings/sec, 40 secs
lola: 41938095 markings, 41994422 edges, 800526 markings/sec, 45 secs
lola: 46159753 markings, 46224160 edges, 844332 markings/sec, 50 secs
lola: 50263798 markings, 50338649 edges, 820809 markings/sec, 55 secs
lola: 54201313 markings, 54290114 edges, 787503 markings/sec, 60 secs
lola: 58178116 markings, 58272428 edges, 795361 markings/sec, 65 secs
lola: 62204853 markings, 62306664 edges, 805347 markings/sec, 70 secs
lola: 66084491 markings, 66196275 edges, 775928 markings/sec, 75 secs
lola: 69980273 markings, 70104185 edges, 779156 markings/sec, 80 secs
lola: 73844766 markings, 73980033 edges, 772899 markings/sec, 85 secs
lola: 77804067 markings, 77949305 edges, 791860 markings/sec, 90 secs
lola: 81837685 markings, 81995536 edges, 806724 markings/sec, 95 secs
lola: 85865974 markings, 86040135 edges, 805658 markings/sec, 100 secs
lola: 89820481 markings, 90010769 edges, 790901 markings/sec, 105 secs
lola: 93696959 markings, 93903408 edges, 775296 markings/sec, 110 secs
lola: 97563465 markings, 97796911 edges, 773301 markings/sec, 115 secs
lola: 101486168 markings, 101735047 edges, 784541 markings/sec, 120 secs
lola: 105529876 markings, 105793926 edges, 808742 markings/sec, 125 secs
lola: 109497147 markings, 109777974 edges, 793454 markings/sec, 130 secs
lola: 113331105 markings, 113624434 edges, 766792 markings/sec, 135 secs
lola: 117263273 markings, 117570793 edges, 786434 markings/sec, 140 secs
lola: 121302142 markings, 121627759 edges, 807774 markings/sec, 145 secs
lola: 125411450 markings, 125753880 edges, 821862 markings/sec, 150 secs
lola: 129305814 markings, 129670694 edges, 778873 markings/sec, 155 secs
lola: 133295820 markings, 133685698 edges, 798001 markings/sec, 160 secs
lola: 137182252 markings, 137589559 edges, 777286 markings/sec, 165 secs
lola: 141025266 markings, 141453425 edges, 768603 markings/sec, 170 secs
lola: 144882021 markings, 145332994 edges, 771351 markings/sec, 175 secs
lola: 148827084 markings, 149305416 edges, 789013 markings/sec, 180 secs
lola: 152819209 markings, 153324293 edges, 798425 markings/sec, 185 secs
lola: 156737012 markings, 157272752 edges, 783561 markings/sec, 190 secs
lola: 160629252 markings, 161192432 edges, 778448 markings/sec, 195 secs
lola: 164569425 markings, 165166662 edges, 788035 markings/sec, 200 secs
lola: 168329444 markings, 168940598 edges, 752004 markings/sec, 205 secs
lola: 171985668 markings, 172655665 edges, 731245 markings/sec, 210 secs
lola: 175651123 markings, 176340974 edges, 733091 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(r_46_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 3890828 markings, 3890833 edges, 778166 markings/sec, 0 secs
lola: 7808029 markings, 7808033 edges, 783440 markings/sec, 5 secs
lola: 11661838 markings, 11661842 edges, 770762 markings/sec, 10 secs
lola: 15603021 markings, 15603026 edges, 788237 markings/sec, 15 secs
lola: 19552408 markings, 19552413 edges, 789877 markings/sec, 20 secs
lola: 23491584 markings, 23491588 edges, 787835 markings/sec, 25 secs
lola: 27309982 markings, 27309987 edges, 763680 markings/sec, 30 secs
lola: 31204455 markings, 31204459 edges, 778895 markings/sec, 35 secs
lola: 35274837 markings, 35274842 edges, 814076 markings/sec, 40 secs
lola: 39311699 markings, 39311704 edges, 807372 markings/sec, 45 secs
lola: 43371634 markings, 43371639 edges, 811987 markings/sec, 50 secs
lola: 47436657 markings, 47436662 edges, 813005 markings/sec, 55 secs
lola: 51541366 markings, 51541370 edges, 820942 markings/sec, 60 secs
lola: 55702834 markings, 55702839 edges, 832294 markings/sec, 65 secs
lola: 59898275 markings, 59898280 edges, 839088 markings/sec, 70 secs
lola: 64161790 markings, 64161795 edges, 852703 markings/sec, 75 secs
lola: 68238447 markings, 68238452 edges, 815331 markings/sec, 80 secs
lola: 72438244 markings, 72438248 edges, 839959 markings/sec, 85 secs
lola: 76649216 markings, 76649220 edges, 842194 markings/sec, 90 secs
lola: 80962882 markings, 80962887 edges, 862733 markings/sec, 95 secs
lola: 85237659 markings, 85237663 edges, 854955 markings/sec, 100 secs
lola: 89472066 markings, 89472071 edges, 846881 markings/sec, 105 secs
lola: 93755637 markings, 93755642 edges, 856714 markings/sec, 110 secs
lola: 97992690 markings, 97992694 edges, 847411 markings/sec, 115 secs
lola: 101982390 markings, 101982395 edges, 797940 markings/sec, 120 secs
lola: 105708190 markings, 105708195 edges, 745160 markings/sec, 125 secs
lola: 109693947 markings, 109693952 edges, 797151 markings/sec, 130 secs
lola: 113598106 markings, 113598111 edges, 780832 markings/sec, 135 secs
lola: 117501960 markings, 117501965 edges, 780771 markings/sec, 140 secs
lola: 121381838 markings, 121381843 edges, 775976 markings/sec, 145 secs
lola: 125265761 markings, 125265765 edges, 776785 markings/sec, 150 secs
lola: 129425769 markings, 129425773 edges, 832002 markings/sec, 155 secs
lola: 133718145 markings, 133718150 edges, 858475 markings/sec, 160 secs
lola: 137623932 markings, 137623937 edges, 781157 markings/sec, 165 secs
lola: 141579132 markings, 141579137 edges, 791040 markings/sec, 170 secs
lola: 145495162 markings, 145495166 edges, 783206 markings/sec, 175 secs
lola: 149518332 markings, 149518336 edges, 804634 markings/sec, 180 secs
lola: 153538489 markings, 153538494 edges, 804031 markings/sec, 185 secs
lola: 157656040 markings, 157656045 edges, 823510 markings/sec, 190 secs
lola: 161731127 markings, 161731132 edges, 815017 markings/sec, 195 secs
lola: 165881559 markings, 165881564 edges, 830086 markings/sec, 200 secs
lola: 170060316 markings, 170060321 edges, 835751 markings/sec, 205 secs
lola: 174271131 markings, 174271136 edges, 842163 markings/sec, 210 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(r_16_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 3891736 markings, 3891779 edges, 778347 markings/sec, 0 secs
lola: 7905715 markings, 7905969 edges, 802796 markings/sec, 5 secs
lola: 11802271 markings, 11802783 edges, 779311 markings/sec, 10 secs
lola: 15680768 markings, 15681736 edges, 775699 markings/sec, 15 secs
lola: 19655584 markings, 19657085 edges, 794963 markings/sec, 20 secs
lola: 23835763 markings, 23838078 edges, 836036 markings/sec, 25 secs
lola: 28062989 markings, 28066077 edges, 845445 markings/sec, 30 secs
lola: 32175167 markings, 32179039 edges, 822436 markings/sec, 35 secs
lola: 36289735 markings, 36294742 edges, 822914 markings/sec, 40 secs
lola: 40484938 markings, 40491145 edges, 839041 markings/sec, 45 secs
lola: 44454228 markings, 44462301 edges, 793858 markings/sec, 50 secs
lola: 48412362 markings, 48420748 edges, 791627 markings/sec, 55 secs
lola: 52300703 markings, 52309415 edges, 777668 markings/sec, 60 secs
lola: 56252288 markings, 56261356 edges, 790317 markings/sec, 65 secs
lola: 60128680 markings, 60138107 edges, 775278 markings/sec, 70 secs
lola: 64009162 markings, 64018969 edges, 776096 markings/sec, 75 secs
lola: 68041504 markings, 68051730 edges, 806468 markings/sec, 80 secs
lola: 72016855 markings, 72027486 edges, 795070 markings/sec, 85 secs
lola: 75849371 markings, 75860435 edges, 766503 markings/sec, 90 secs
lola: 79749597 markings, 79761250 edges, 780045 markings/sec, 95 secs
lola: 83687157 markings, 83699215 edges, 787512 markings/sec, 100 secs
lola: 87517725 markings, 87530206 edges, 766114 markings/sec, 105 secs
lola: 91554127 markings, 91567090 edges, 807280 markings/sec, 110 secs
lola: 95535150 markings, 95548677 edges, 796205 markings/sec, 115 secs
lola: 99603250 markings, 99617318 edges, 813620 markings/sec, 120 secs
lola: 103370959 markings, 103385499 edges, 753542 markings/sec, 125 secs
lola: 107050366 markings, 107065586 edges, 735881 markings/sec, 130 secs
lola: 110743950 markings, 110759888 edges, 738717 markings/sec, 135 secs
lola: 114750235 markings, 114766712 edges, 801257 markings/sec, 140 secs
lola: 118807776 markings, 118824841 edges, 811508 markings/sec, 145 secs
lola: 122736200 markings, 122753906 edges, 785685 markings/sec, 150 secs
lola: 126749142 markings, 126767532 edges, 802588 markings/sec, 155 secs
lola: 130806383 markings, 130825585 edges, 811448 markings/sec, 160 secs
lola: 134879518 markings, 134899487 edges, 814627 markings/sec, 165 secs
lola: 138931735 markings, 138952488 edges, 810443 markings/sec, 170 secs
lola: 142993731 markings, 143015220 edges, 812399 markings/sec, 175 secs
lola: 146972329 markings, 146994757 edges, 795720 markings/sec, 180 secs
lola: 150959622 markings, 150982996 edges, 797459 markings/sec, 185 secs
lola: 154980904 markings, 155004976 edges, 804256 markings/sec, 190 secs
lola: 159064816 markings, 159090024 edges, 816782 markings/sec, 195 secs
lola: 163094596 markings, 163120017 edges, 805956 markings/sec, 200 secs
lola: 167175153 markings, 167200811 edges, 816111 markings/sec, 205 secs
lola: 171269361 markings, 171295274 edges, 818842 markings/sec, 210 secs
lola: 175278250 markings, 175304430 edges, 801778 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(r_45_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 4234626 markings, 4234631 edges, 846925 markings/sec, 0 secs
lola: 8489140 markings, 8489145 edges, 850903 markings/sec, 5 secs
lola: 12583750 markings, 12583755 edges, 818922 markings/sec, 10 secs
lola: 16863399 markings, 16863403 edges, 855930 markings/sec, 15 secs
lola: 21316340 markings, 21316345 edges, 890588 markings/sec, 20 secs
lola: 25742083 markings, 25742087 edges, 885149 markings/sec, 25 secs
lola: 30198163 markings, 30198167 edges, 891216 markings/sec, 30 secs
lola: 34497258 markings, 34497262 edges, 859819 markings/sec, 35 secs
lola: 38799609 markings, 38799613 edges, 860470 markings/sec, 40 secs
lola: 43275979 markings, 43275984 edges, 895274 markings/sec, 45 secs
lola: 47558267 markings, 47558272 edges, 856458 markings/sec, 50 secs
lola: 51604530 markings, 51604535 edges, 809253 markings/sec, 55 secs
lola: 55565497 markings, 55565502 edges, 792193 markings/sec, 60 secs
lola: 59526900 markings, 59526905 edges, 792281 markings/sec, 65 secs
lola: 63742661 markings, 63742666 edges, 843152 markings/sec, 70 secs
lola: 68040978 markings, 68040983 edges, 859663 markings/sec, 75 secs
lola: 72154411 markings, 72154416 edges, 822687 markings/sec, 80 secs
lola: 76117693 markings, 76117698 edges, 792656 markings/sec, 85 secs
lola: 80115786 markings, 80115791 edges, 799619 markings/sec, 90 secs
lola: 84155637 markings, 84155642 edges, 807970 markings/sec, 95 secs
lola: 88393098 markings, 88393102 edges, 847492 markings/sec, 100 secs
lola: 92583950 markings, 92583955 edges, 838170 markings/sec, 105 secs
lola: 96874773 markings, 96874778 edges, 858165 markings/sec, 110 secs
lola: 101096218 markings, 101096223 edges, 844289 markings/sec, 115 secs
lola: 105491595 markings, 105491599 edges, 879075 markings/sec, 120 secs
lola: 109888339 markings, 109888344 edges, 879349 markings/sec, 125 secs
lola: 114173873 markings, 114173878 edges, 857107 markings/sec, 130 secs
lola: 118571947 markings, 118571952 edges, 879615 markings/sec, 135 secs
lola: 122821033 markings, 122821037 edges, 849817 markings/sec, 140 secs
lola: 127111032 markings, 127111037 edges, 858000 markings/sec, 145 secs
lola: 131344366 markings, 131344371 edges, 846667 markings/sec, 150 secs
lola: 135492413 markings, 135492418 edges, 829609 markings/sec, 155 secs
lola: 139602697 markings, 139602702 edges, 822057 markings/sec, 160 secs
lola: 143742209 markings, 143742214 edges, 827902 markings/sec, 165 secs
lola: 147914091 markings, 147914096 edges, 834376 markings/sec, 170 secs
lola: 152092922 markings, 152092927 edges, 835766 markings/sec, 175 secs
lola: 156292980 markings, 156292985 edges, 840012 markings/sec, 180 secs
lola: 160503314 markings, 160503319 edges, 842067 markings/sec, 185 secs
lola: 164617136 markings, 164617141 edges, 822764 markings/sec, 190 secs
lola: 168692619 markings, 168692623 edges, 815097 markings/sec, 195 secs
lola: 172876307 markings, 172876312 edges, 836738 markings/sec, 200 secs
lola: 177010637 markings, 177010642 edges, 826866 markings/sec, 205 secs
lola: 181099173 markings, 181099178 edges, 817707 markings/sec, 210 secs
lola: 185286914 markings, 185286920 edges, 837548 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p_17_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 4075946 markings, 4076107 edges, 815189 markings/sec, 0 secs
lola: 8336074 markings, 8336714 edges, 852026 markings/sec, 5 secs
lola: 12556027 markings, 12557608 edges, 843991 markings/sec, 10 secs
lola: 16783734 markings, 16786684 edges, 845541 markings/sec, 15 secs
lola: 21055016 markings, 21059413 edges, 854256 markings/sec, 20 secs
lola: 25307677 markings, 25314143 edges, 850532 markings/sec, 25 secs
lola: 29436469 markings, 29444787 edges, 825758 markings/sec, 30 secs
lola: 33530922 markings, 33539794 edges, 818891 markings/sec, 35 secs
lola: 37639613 markings, 37649119 edges, 821738 markings/sec, 40 secs
lola: 41722715 markings, 41732880 edges, 816620 markings/sec, 45 secs
lola: 45879275 markings, 45890171 edges, 831312 markings/sec, 50 secs
lola: 49992337 markings, 50004099 edges, 822612 markings/sec, 55 secs
lola: 54168942 markings, 54181429 edges, 835321 markings/sec, 60 secs
lola: 58317342 markings, 58330697 edges, 829680 markings/sec, 65 secs
lola: 62473650 markings, 62487901 edges, 831262 markings/sec, 70 secs
lola: 66556978 markings, 66572506 edges, 816666 markings/sec, 75 secs
lola: 70669840 markings, 70686253 edges, 822572 markings/sec, 80 secs
lola: 74788042 markings, 74805440 edges, 823640 markings/sec, 85 secs
lola: 78892760 markings, 78911286 edges, 820944 markings/sec, 90 secs
lola: 83042480 markings, 83062348 edges, 829944 markings/sec, 95 secs
lola: 87084309 markings, 87105391 edges, 808366 markings/sec, 100 secs
lola: 90937269 markings, 90959709 edges, 770592 markings/sec, 105 secs
lola: 94555614 markings, 94579301 edges, 723669 markings/sec, 110 secs
lola: 98411228 markings, 98436437 edges, 771123 markings/sec, 115 secs
lola: 102222984 markings, 102248522 edges, 762351 markings/sec, 120 secs
lola: 106076343 markings, 106102268 edges, 770672 markings/sec, 125 secs
lola: 109916514 markings, 109942886 edges, 768034 markings/sec, 130 secs
lola: 113718745 markings, 113745547 edges, 760446 markings/sec, 135 secs
lola: 117618162 markings, 117645535 edges, 779883 markings/sec, 140 secs
lola: 121545836 markings, 121573865 edges, 785535 markings/sec, 145 secs
lola: 125579163 markings, 125607909 edges, 806665 markings/sec, 150 secs
lola: 129611498 markings, 129641062 edges, 806467 markings/sec, 155 secs
lola: 133494441 markings, 133524987 edges, 776589 markings/sec, 160 secs
lola: 137374388 markings, 137405665 edges, 775989 markings/sec, 165 secs
lola: 141241481 markings, 141273648 edges, 773419 markings/sec, 170 secs
lola: 145095881 markings, 145128792 edges, 770880 markings/sec, 175 secs
lola: 149095373 markings, 149128951 edges, 799898 markings/sec, 180 secs
lola: 153008373 markings, 153042811 edges, 782600 markings/sec, 185 secs
lola: 156829390 markings, 156865103 edges, 764203 markings/sec, 190 secs
lola: 160517723 markings, 160553882 edges, 737667 markings/sec, 195 secs
lola: 164275513 markings, 164312290 edges, 751558 markings/sec, 200 secs
lola: 167972864 markings, 168011156 edges, 739470 markings/sec, 205 secs
lola: 171997770 markings, 172039244 edges, 804981 markings/sec, 210 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(r_11_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 3868123 markings, 3868133 edges, 773625 markings/sec, 0 secs
lola: 7772301 markings, 7772343 edges, 780836 markings/sec, 5 secs
lola: 11647358 markings, 11647471 edges, 775011 markings/sec, 10 secs
lola: 15422860 markings, 15423078 edges, 755100 markings/sec, 15 secs
lola: 19285246 markings, 19285582 edges, 772477 markings/sec, 20 secs
lola: 22990209 markings, 22990683 edges, 740993 markings/sec, 25 secs
lola: 26581768 markings, 26582387 edges, 718312 markings/sec, 30 secs
lola: 30236259 markings, 30237175 edges, 730898 markings/sec, 35 secs
lola: 34054100 markings, 34055194 edges, 763568 markings/sec, 40 secs
lola: 37772510 markings, 37773875 edges, 743682 markings/sec, 45 secs
lola: 41578754 markings, 41580430 edges, 761249 markings/sec, 50 secs
lola: 45283175 markings, 45285101 edges, 740884 markings/sec, 55 secs
lola: 49021336 markings, 49023973 edges, 747632 markings/sec, 60 secs
lola: 52782550 markings, 52785399 edges, 752243 markings/sec, 65 secs
lola: 56656864 markings, 56659986 edges, 774863 markings/sec, 70 secs
lola: 60385880 markings, 60389327 edges, 745803 markings/sec, 75 secs
lola: 64258351 markings, 64262216 edges, 774494 markings/sec, 80 secs
lola: 68129538 markings, 68133938 edges, 774237 markings/sec, 85 secs
lola: 71887630 markings, 71892526 edges, 751618 markings/sec, 90 secs
lola: 75775996 markings, 75781352 edges, 777673 markings/sec, 95 secs
lola: 79562689 markings, 79568656 edges, 757339 markings/sec, 100 secs
lola: 83291809 markings, 83298546 edges, 745824 markings/sec, 105 secs
lola: 87166046 markings, 87173181 edges, 774847 markings/sec, 110 secs
lola: 90960271 markings, 90968424 edges, 758845 markings/sec, 115 secs
lola: 94597003 markings, 94605297 edges, 727346 markings/sec, 120 secs
lola: 98353653 markings, 98362100 edges, 751330 markings/sec, 125 secs
lola: 102112352 markings, 102120957 edges, 751740 markings/sec, 130 secs
lola: 105880766 markings, 105889530 edges, 753683 markings/sec, 135 secs
lola: 109610585 markings, 109619520 edges, 745964 markings/sec, 140 secs
lola: 113348751 markings, 113357856 edges, 747633 markings/sec, 145 secs
lola: 117170354 markings, 117179626 edges, 764321 markings/sec, 150 secs
lola: 120726322 markings, 120735768 edges, 711194 markings/sec, 155 secs
lola: 124131556 markings, 124141172 edges, 681047 markings/sec, 160 secs
lola: 127786638 markings, 127796431 edges, 731016 markings/sec, 165 secs
lola: 131424048 markings, 131434045 edges, 727482 markings/sec, 170 secs
lola: 135016243 markings, 135026411 edges, 718439 markings/sec, 175 secs
lola: 138854914 markings, 138865275 edges, 767734 markings/sec, 180 secs
lola: 142561217 markings, 142571769 edges, 741261 markings/sec, 185 secs
lola: 146102017 markings, 146112750 edges, 708160 markings/sec, 190 secs
lola: 149602505 markings, 149613462 edges, 700098 markings/sec, 195 secs
lola: 153121469 markings, 153132604 edges, 703793 markings/sec, 200 secs
lola: 156837338 markings, 156848677 edges, 743174 markings/sec, 205 secs
lola: 160679107 markings, 160690817 edges, 768354 markings/sec, 210 secs
lola: 164424967 markings, 164436868 edges, 749172 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p_40_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 4459783 markings, 4492249 edges, 891957 markings/sec, 0 secs
lola: 9037686 markings, 9070153 edges, 915581 markings/sec, 5 secs
lola: 13596323 markings, 13628790 edges, 911727 markings/sec, 10 secs
lola: 18073976 markings, 18106443 edges, 895531 markings/sec, 15 secs
lola: 22504267 markings, 22536734 edges, 886058 markings/sec, 20 secs
lola: 26916331 markings, 26948798 edges, 882413 markings/sec, 25 secs
lola: 31104530 markings, 31136998 edges, 837640 markings/sec, 30 secs
lola: 35391915 markings, 35424384 edges, 857477 markings/sec, 35 secs
lola: 39858730 markings, 39891201 edges, 893363 markings/sec, 40 secs
lola: 44076268 markings, 44108742 edges, 843508 markings/sec, 45 secs
lola: 48240432 markings, 48272907 edges, 832833 markings/sec, 50 secs
lola: 52484164 markings, 52516640 edges, 848746 markings/sec, 55 secs
lola: 56880148 markings, 56912626 edges, 879197 markings/sec, 60 secs
lola: 61292625 markings, 61325103 edges, 882495 markings/sec, 65 secs
lola: 65666292 markings, 65698772 edges, 874733 markings/sec, 70 secs
lola: 70016266 markings, 70048748 edges, 869995 markings/sec, 75 secs
lola: 74372752 markings, 74405237 edges, 871297 markings/sec, 80 secs
lola: 78803506 markings, 78835994 edges, 886151 markings/sec, 85 secs
lola: 83180744 markings, 83213233 edges, 875448 markings/sec, 90 secs
lola: 87634453 markings, 87666941 edges, 890742 markings/sec, 95 secs
lola: 92146753 markings, 92179242 edges, 902460 markings/sec, 100 secs
lola: 96542739 markings, 96575229 edges, 879197 markings/sec, 105 secs
lola: 100710013 markings, 100742503 edges, 833455 markings/sec, 110 secs
lola: 104935925 markings, 104968417 edges, 845182 markings/sec, 115 secs
lola: 109003644 markings, 109036137 edges, 813544 markings/sec, 120 secs
lola: 113233503 markings, 113265998 edges, 845972 markings/sec, 125 secs
lola: 117407367 markings, 117439863 edges, 834773 markings/sec, 130 secs
lola: 121608330 markings, 121640829 edges, 840193 markings/sec, 135 secs
lola: 125769669 markings, 125802170 edges, 832268 markings/sec, 140 secs
lola: 129944775 markings, 129977277 edges, 835021 markings/sec, 145 secs
lola: 134101857 markings, 134134359 edges, 831416 markings/sec, 150 secs
lola: 138182049 markings, 138214552 edges, 816038 markings/sec, 155 secs
lola: 142234786 markings, 142267290 edges, 810547 markings/sec, 160 secs
lola: 146464229 markings, 146496735 edges, 845889 markings/sec, 165 secs
lola: 150659815 markings, 150692323 edges, 839117 markings/sec, 170 secs
lola: 154860738 markings, 154893246 edges, 840185 markings/sec, 175 secs
lola: 158938501 markings, 158971010 edges, 815553 markings/sec, 180 secs
lola: 163025062 markings, 163057572 edges, 817312 markings/sec, 185 secs
lola: 166928850 markings, 166961361 edges, 780758 markings/sec, 190 secs
lola: 170767589 markings, 170800100 edges, 767748 markings/sec, 195 secs
lola: 174884813 markings, 174917326 edges, 823445 markings/sec, 200 secs
lola: 179201553 markings, 179234068 edges, 863348 markings/sec, 205 secs
lola: 183461399 markings, 183493919 edges, 851969 markings/sec, 210 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p_35_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 3188684 markings, 4561878 edges, 637737 markings/sec, 0 secs
lola: 6538278 markings, 9174930 edges, 669919 markings/sec, 5 secs
lola: 11172927 markings, 13809580 edges, 926930 markings/sec, 10 secs
lola: 15874410 markings, 18511071 edges, 940297 markings/sec, 15 secs
lola: 20428357 markings, 23065028 edges, 910789 markings/sec, 20 secs
lola: 24865149 markings, 27501825 edges, 887358 markings/sec, 25 secs
lola: 29188183 markings, 31824863 edges, 864607 markings/sec, 30 secs
lola: 33446512 markings, 36083201 edges, 851666 markings/sec, 35 secs
lola: 37743809 markings, 40380502 edges, 859459 markings/sec, 40 secs
lola: 41968711 markings, 44605410 edges, 844980 markings/sec, 45 secs
lola: 46001751 markings, 48638465 edges, 806608 markings/sec, 50 secs
lola: 50030808 markings, 52667542 edges, 805811 markings/sec, 55 secs
lola: 54407485 markings, 57044228 edges, 875335 markings/sec, 60 secs
lola: 58574825 markings, 61211578 edges, 833468 markings/sec, 65 secs
lola: 62740031 markings, 65376795 edges, 833041 markings/sec, 70 secs
lola: 66835911 markings, 69472696 edges, 819176 markings/sec, 75 secs
lola: 70951909 markings, 73588723 edges, 823200 markings/sec, 80 secs
lola: 75131845 markings, 77768667 edges, 835987 markings/sec, 85 secs
lola: 79213902 markings, 81850740 edges, 816411 markings/sec, 90 secs
lola: 83515871 markings, 86152767 edges, 860394 markings/sec, 95 secs
lola: 87993584 markings, 90630500 edges, 895543 markings/sec, 100 secs
lola: 92294858 markings, 94931799 edges, 860255 markings/sec, 105 secs
lola: 96476923 markings, 99113892 edges, 836413 markings/sec, 110 secs
lola: 100634080 markings, 103271070 edges, 831431 markings/sec, 115 secs
lola: 104741583 markings, 107378592 edges, 821501 markings/sec, 120 secs
lola: 108816557 markings, 111453588 edges, 814995 markings/sec, 125 secs
lola: 112994334 markings, 115631384 edges, 835555 markings/sec, 130 secs
lola: 117239975 markings, 119877043 edges, 849128 markings/sec, 135 secs
lola: 121373849 markings, 124010941 edges, 826775 markings/sec, 140 secs
lola: 125374980 markings, 128012107 edges, 800226 markings/sec, 145 secs
lola: 129466112 markings, 132103270 edges, 818226 markings/sec, 150 secs
lola: 133504802 markings, 136141998 edges, 807738 markings/sec, 155 secs
lola: 137553175 markings, 140190397 edges, 809675 markings/sec, 160 secs
lola: 141609841 markings, 144247133 edges, 811333 markings/sec, 165 secs
lola: 145818319 markings, 148455788 edges, 841696 markings/sec, 170 secs
lola: 150143324 markings, 152780824 edges, 865001 markings/sec, 175 secs
lola: 154356429 markings, 156993971 edges, 842621 markings/sec, 180 secs
lola: 158639803 markings, 161277409 edges, 856675 markings/sec, 185 secs
lola: 162737979 markings, 165375641 edges, 819635 markings/sec, 190 secs
lola: 166931786 markings, 169569490 edges, 838761 markings/sec, 195 secs
lola: 171051069 markings, 173688808 edges, 823857 markings/sec, 200 secs
lola: 175198357 markings, 177836129 edges, 829458 markings/sec, 205 secs
lola: 179344677 markings, 181982494 edges, 829264 markings/sec, 210 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 ResAllocation-PT-R003C050-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C050-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C050-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C050-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C050-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C050-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C050-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C050-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C050-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C050-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C050-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C050-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C050-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C050-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C050-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ResAllocation-PT-R003C050-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494805811588

--------------------
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="ResAllocation-PT-R003C050"
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/ResAllocation-PT-R003C050.tgz
mv ResAllocation-PT-R003C050 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 ResAllocation-PT-R003C050, 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 r068-csrt-149440963100101"
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 ;