Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
..............
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is DES-PT-10b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436309100254
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494627193580


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DES-PT-10b @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 591/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 320 places, 271 transitions, 255 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 368 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-10b-UpperBounds.task
lola: MAX(p236) : MAX(p185) : MAX(p171) : MAX(p294) : MAX(p18) : MAX(p273) : MAX(p246) : MAX(p91) : MAX(p137) : MAX(p275) : MAX(p14) : MAX(p42) : MAX(p283) : MAX(p42) : MAX(p234) : MAX(p62)
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(p236)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1205821 markings, 1285248 edges, 241164 markings/sec, 0 secs
lola: 2261508 markings, 2539840 edges, 211137 markings/sec, 5 secs
lola: 3486309 markings, 3823657 edges, 244960 markings/sec, 10 secs
lola: 4702455 markings, 5072340 edges, 243229 markings/sec, 15 secs
lola: 5710221 markings, 6304906 edges, 201553 markings/sec, 20 secs
lola: 6760056 markings, 7554160 edges, 209967 markings/sec, 25 secs
lola: 7849099 markings, 8835276 edges, 217809 markings/sec, 30 secs
lola: 8964963 markings, 10107504 edges, 223173 markings/sec, 35 secs
lola: 10086872 markings, 11360203 edges, 224382 markings/sec, 40 secs
lola: 11146840 markings, 12548281 edges, 211994 markings/sec, 45 secs
lola: 12281092 markings, 13721522 edges, 226850 markings/sec, 50 secs
lola: 13442003 markings, 14906875 edges, 232182 markings/sec, 55 secs
lola: 14490119 markings, 16115330 edges, 209623 markings/sec, 60 secs
lola: 15673151 markings, 17411348 edges, 236606 markings/sec, 65 secs
lola: 16583008 markings, 18732596 edges, 181971 markings/sec, 70 secs
lola: 17137437 markings, 20131866 edges, 110886 markings/sec, 75 secs
lola: 17664608 markings, 21460659 edges, 105434 markings/sec, 80 secs
lola: 18300722 markings, 22728987 edges, 127223 markings/sec, 85 secs
lola: 19119750 markings, 23991641 edges, 163806 markings/sec, 90 secs
lola: 20024681 markings, 25211244 edges, 180986 markings/sec, 95 secs
lola: 20748862 markings, 26467806 edges, 144836 markings/sec, 100 secs
lola: 21565534 markings, 27746257 edges, 163334 markings/sec, 105 secs
lola: 22381275 markings, 28995955 edges, 163148 markings/sec, 110 secs
lola: 23412270 markings, 30191394 edges, 206199 markings/sec, 115 secs
lola: 24499205 markings, 31413382 edges, 217387 markings/sec, 120 secs
lola: 25673324 markings, 32623240 edges, 234824 markings/sec, 125 secs
lola: 26827518 markings, 33806894 edges, 230839 markings/sec, 130 secs
lola: 27864891 markings, 35045743 edges, 207475 markings/sec, 135 secs
lola: 28964018 markings, 36268970 edges, 219825 markings/sec, 140 secs
lola: 29883703 markings, 37519639 edges, 183937 markings/sec, 145 secs
lola: 30770647 markings, 38685326 edges, 177389 markings/sec, 150 secs
lola: 31702632 markings, 39876408 edges, 186397 markings/sec, 155 secs
lola: 32450680 markings, 41175667 edges, 149610 markings/sec, 160 secs
lola: 33126101 markings, 42442045 edges, 135084 markings/sec, 165 secs
lola: 33915598 markings, 43698541 edges, 157899 markings/sec, 170 secs
lola: 34529064 markings, 44999652 edges, 122693 markings/sec, 175 secs
lola: 35302802 markings, 46229526 edges, 154748 markings/sec, 180 secs
lola: 35889319 markings, 47481005 edges, 117303 markings/sec, 185 secs
lola: 36573142 markings, 48666763 edges, 136765 markings/sec, 190 secs
lola: 37268693 markings, 49909780 edges, 139110 markings/sec, 195 secs
lola: 37914087 markings, 51120853 edges, 129079 markings/sec, 200 secs
lola: 38683431 markings, 52310597 edges, 153869 markings/sec, 205 secs
lola: 39240183 markings, 53552628 edges, 111350 markings/sec, 210 secs
lola: 39934136 markings, 54752697 edges, 138791 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(p185)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 906087 markings, 1088222 edges, 181217 markings/sec, 0 secs
lola: 1800388 markings, 2361620 edges, 178860 markings/sec, 5 secs
lola: 2526860 markings, 3766852 edges, 145294 markings/sec, 10 secs
lola: 3358270 markings, 5029345 edges, 166282 markings/sec, 15 secs
lola: 4077727 markings, 6318321 edges, 143891 markings/sec, 20 secs
lola: 4849517 markings, 7543356 edges, 154358 markings/sec, 25 secs
lola: 5555862 markings, 8780551 edges, 141269 markings/sec, 30 secs
lola: 6304458 markings, 9977627 edges, 149719 markings/sec, 35 secs
lola: 7000863 markings, 11196099 edges, 139281 markings/sec, 40 secs
lola: 7732695 markings, 12354103 edges, 146366 markings/sec, 45 secs
lola: 8391301 markings, 13534530 edges, 131721 markings/sec, 50 secs
lola: 9111980 markings, 14620094 edges, 144136 markings/sec, 55 secs
lola: 9724339 markings, 15808471 edges, 122472 markings/sec, 60 secs
lola: 10546673 markings, 17033033 edges, 164467 markings/sec, 65 secs
lola: 11288441 markings, 18376892 edges, 148354 markings/sec, 70 secs
lola: 12071599 markings, 19790250 edges, 156632 markings/sec, 75 secs
lola: 12977562 markings, 20859725 edges, 181193 markings/sec, 80 secs
lola: 13868667 markings, 21930216 edges, 178221 markings/sec, 85 secs
lola: 14742444 markings, 22986380 edges, 174755 markings/sec, 90 secs
lola: 15596049 markings, 23976707 edges, 170721 markings/sec, 95 secs
lola: 16483852 markings, 24983439 edges, 177561 markings/sec, 100 secs
lola: 17359146 markings, 26049184 edges, 175059 markings/sec, 105 secs
lola: 18237214 markings, 27036665 edges, 175614 markings/sec, 110 secs
lola: 19078470 markings, 28067139 edges, 168251 markings/sec, 115 secs
lola: 19959431 markings, 29134378 edges, 176192 markings/sec, 120 secs
lola: 20842837 markings, 30091769 edges, 176681 markings/sec, 125 secs
lola: 21698079 markings, 31002938 edges, 171048 markings/sec, 130 secs
lola: 22568301 markings, 31979146 edges, 174044 markings/sec, 135 secs
lola: 23391926 markings, 32913705 edges, 164725 markings/sec, 140 secs
lola: 24251867 markings, 33847184 edges, 171988 markings/sec, 145 secs
lola: 25133255 markings, 34799242 edges, 176278 markings/sec, 150 secs
lola: 26031350 markings, 35808920 edges, 179619 markings/sec, 155 secs
lola: 26922137 markings, 36912083 edges, 178157 markings/sec, 160 secs
lola: 27820056 markings, 37873391 edges, 179584 markings/sec, 165 secs
lola: 28703507 markings, 38824185 edges, 176690 markings/sec, 170 secs
lola: 29594427 markings, 39794308 edges, 178184 markings/sec, 175 secs
lola: 30378109 markings, 40912415 edges, 156736 markings/sec, 180 secs
lola: 31143980 markings, 42011587 edges, 153174 markings/sec, 185 secs
lola: 32034962 markings, 43026456 edges, 178196 markings/sec, 190 secs
lola: 32979227 markings, 44030134 edges, 188853 markings/sec, 195 secs
lola: 33860982 markings, 44956621 edges, 176351 markings/sec, 200 secs
lola: 34713181 markings, 45852283 edges, 170440 markings/sec, 205 secs
lola: 35566425 markings, 46744809 edges, 170649 markings/sec, 210 secs
lola: 36435997 markings, 47642984 edges, 173914 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(p171)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 622505 markings, 1408238 edges, 124501 markings/sec, 0 secs
lola: 1238527 markings, 2822015 edges, 123204 markings/sec, 5 secs
lola: 1810533 markings, 4191913 edges, 114401 markings/sec, 10 secs
lola: 2379421 markings, 5484920 edges, 113778 markings/sec, 15 secs
lola: 2910164 markings, 6750002 edges, 106149 markings/sec, 20 secs
lola: 3474296 markings, 8099922 edges, 112826 markings/sec, 25 secs
lola: 4417083 markings, 9270743 edges, 188557 markings/sec, 30 secs
lola: 5389442 markings, 10357811 edges, 194472 markings/sec, 35 secs
lola: 6303331 markings, 11469146 edges, 182778 markings/sec, 40 secs
lola: 7344759 markings, 12602524 edges, 208286 markings/sec, 45 secs
lola: 8340390 markings, 13669322 edges, 199126 markings/sec, 50 secs
lola: 9268894 markings, 14698329 edges, 185701 markings/sec, 55 secs
lola: 10243806 markings, 15865130 edges, 194982 markings/sec, 60 secs
lola: 11306961 markings, 16996067 edges, 212631 markings/sec, 65 secs
lola: 12386960 markings, 18151276 edges, 216000 markings/sec, 70 secs
lola: 13270980 markings, 19094628 edges, 176804 markings/sec, 75 secs
lola: 14155513 markings, 20034653 edges, 176907 markings/sec, 80 secs
lola: 15206501 markings, 21275514 edges, 210198 markings/sec, 85 secs
lola: 16232333 markings, 22502466 edges, 205166 markings/sec, 90 secs
lola: 17293849 markings, 23734277 edges, 212303 markings/sec, 95 secs
lola: 18379830 markings, 24942499 edges, 217196 markings/sec, 100 secs
lola: 19470515 markings, 26140054 edges, 218137 markings/sec, 105 secs
lola: 20488649 markings, 27244680 edges, 203627 markings/sec, 110 secs
lola: 21602982 markings, 28468132 edges, 222867 markings/sec, 115 secs
lola: 22702314 markings, 29661998 edges, 219866 markings/sec, 120 secs
lola: 23800416 markings, 30865917 edges, 219620 markings/sec, 125 secs
lola: 24886637 markings, 32046501 edges, 217244 markings/sec, 130 secs
lola: 25960152 markings, 33261376 edges, 214703 markings/sec, 135 secs
lola: 26986940 markings, 34375504 edges, 205358 markings/sec, 140 secs
lola: 28074536 markings, 35583460 edges, 217519 markings/sec, 145 secs
lola: 29169912 markings, 36795503 edges, 219075 markings/sec, 150 secs
lola: 30264114 markings, 37984378 edges, 218840 markings/sec, 155 secs
lola: 31100046 markings, 39249180 edges, 167186 markings/sec, 160 secs
lola: 31835529 markings, 40557496 edges, 147097 markings/sec, 165 secs
lola: 32725445 markings, 41631414 edges, 177983 markings/sec, 170 secs
lola: 33643465 markings, 42746797 edges, 183604 markings/sec, 175 secs
lola: 34514933 markings, 43775060 edges, 174294 markings/sec, 180 secs
lola: 35421535 markings, 44773974 edges, 181320 markings/sec, 185 secs
lola: 36323314 markings, 45854289 edges, 180356 markings/sec, 190 secs
lola: 37236371 markings, 46909843 edges, 182611 markings/sec, 195 secs
lola: 38160334 markings, 47889359 edges, 184793 markings/sec, 200 secs
lola: 39068494 markings, 48995404 edges, 181632 markings/sec, 205 secs
lola: 39897732 markings, 50019207 edges, 165848 markings/sec, 210 secs
lola: 40745168 markings, 50996002 edges, 169487 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(p294)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 897415 markings, 1262147 edges, 179483 markings/sec, 0 secs
lola: 1802887 markings, 2475805 edges, 181094 markings/sec, 5 secs
lola: 2708416 markings, 3818952 edges, 181106 markings/sec, 10 secs
lola: 3721072 markings, 5020495 edges, 202531 markings/sec, 15 secs
lola: 4588980 markings, 6018546 edges, 173582 markings/sec, 20 secs
lola: 5463034 markings, 7352302 edges, 174811 markings/sec, 25 secs
lola: 6424324 markings, 8402751 edges, 192258 markings/sec, 30 secs
lola: 7258443 markings, 9423910 edges, 166824 markings/sec, 35 secs
lola: 8139920 markings, 10733884 edges, 176295 markings/sec, 40 secs
lola: 9051675 markings, 11702475 edges, 182351 markings/sec, 45 secs
lola: 9862997 markings, 12734022 edges, 162264 markings/sec, 50 secs
lola: 10744907 markings, 14011850 edges, 176382 markings/sec, 55 secs
lola: 11615080 markings, 14936163 edges, 174035 markings/sec, 60 secs
lola: 12408114 markings, 15955320 edges, 158607 markings/sec, 65 secs
lola: 13256441 markings, 17190257 edges, 169665 markings/sec, 70 secs
lola: 14120674 markings, 18108376 edges, 172847 markings/sec, 75 secs
lola: 14895817 markings, 19091873 edges, 155029 markings/sec, 80 secs
lola: 15692056 markings, 20287701 edges, 159248 markings/sec, 85 secs
lola: 16550784 markings, 21201759 edges, 171746 markings/sec, 90 secs
lola: 17302053 markings, 22110109 edges, 150254 markings/sec, 95 secs
lola: 18286532 markings, 23522760 edges, 196896 markings/sec, 100 secs
lola: 19195557 markings, 24488699 edges, 181805 markings/sec, 105 secs
lola: 20105767 markings, 25643021 edges, 182042 markings/sec, 110 secs
lola: 21039234 markings, 26656693 edges, 186693 markings/sec, 115 secs
lola: 21974025 markings, 27712222 edges, 186958 markings/sec, 120 secs
lola: 22899136 markings, 28912056 edges, 185022 markings/sec, 125 secs
lola: 23778881 markings, 29960899 edges, 175949 markings/sec, 130 secs
lola: 24677338 markings, 30979824 edges, 179691 markings/sec, 135 secs
lola: 25567343 markings, 32016210 edges, 178001 markings/sec, 140 secs
lola: 26471191 markings, 33156884 edges, 180770 markings/sec, 145 secs
lola: 27163849 markings, 34431246 edges, 138532 markings/sec, 150 secs
lola: 27815524 markings, 35626719 edges, 130335 markings/sec, 155 secs
lola: 28618041 markings, 36733322 edges, 160503 markings/sec, 160 secs
lola: 29499847 markings, 37720556 edges, 176361 markings/sec, 165 secs
lola: 30388725 markings, 38781574 edges, 177776 markings/sec, 170 secs
lola: 31300713 markings, 39911751 edges, 182398 markings/sec, 175 secs
lola: 32225604 markings, 40949821 edges, 184978 markings/sec, 180 secs
lola: 33068769 markings, 41979634 edges, 168633 markings/sec, 185 secs
lola: 33936580 markings, 42919308 edges, 173562 markings/sec, 190 secs
lola: 34789158 markings, 43868328 edges, 170516 markings/sec, 195 secs
lola: 35675297 markings, 44841875 edges, 177228 markings/sec, 200 secs
lola: 36604253 markings, 45838851 edges, 185791 markings/sec, 205 secs
lola: 37516640 markings, 46879323 edges, 182477 markings/sec, 210 secs
lola: 38411173 markings, 47835868 edges, 178907 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(p18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 881937 markings, 1175353 edges, 176387 markings/sec, 0 secs
lola: 1765115 markings, 2429393 edges, 176636 markings/sec, 5 secs
lola: 2682335 markings, 3702235 edges, 183444 markings/sec, 10 secs
lola: 3512781 markings, 4900360 edges, 166089 markings/sec, 15 secs
lola: 4388007 markings, 6046001 edges, 175045 markings/sec, 20 secs
lola: 5201267 markings, 7241811 edges, 162652 markings/sec, 25 secs
lola: 6010944 markings, 8392878 edges, 161935 markings/sec, 30 secs
lola: 6839479 markings, 9478125 edges, 165707 markings/sec, 35 secs
lola: 7619103 markings, 10615233 edges, 155925 markings/sec, 40 secs
lola: 8390333 markings, 11722872 edges, 154246 markings/sec, 45 secs
lola: 9271524 markings, 12727822 edges, 176238 markings/sec, 50 secs
lola: 10156277 markings, 13727763 edges, 176951 markings/sec, 55 secs
lola: 11046387 markings, 14773727 edges, 178022 markings/sec, 60 secs
lola: 11938905 markings, 15814176 edges, 178504 markings/sec, 65 secs
lola: 12844304 markings, 16853834 edges, 181080 markings/sec, 70 secs
lola: 13722924 markings, 17821697 edges, 175724 markings/sec, 75 secs
lola: 14651435 markings, 18910482 edges, 185702 markings/sec, 80 secs
lola: 15499270 markings, 19929056 edges, 169567 markings/sec, 85 secs
lola: 16349164 markings, 20920548 edges, 169979 markings/sec, 90 secs
lola: 17223792 markings, 21933639 edges, 174926 markings/sec, 95 secs
lola: 18127164 markings, 22974064 edges, 180674 markings/sec, 100 secs
lola: 19035280 markings, 23978631 edges, 181623 markings/sec, 105 secs
lola: 19927830 markings, 25002222 edges, 178510 markings/sec, 110 secs
lola: 20836489 markings, 26041511 edges, 181732 markings/sec, 115 secs
lola: 21691256 markings, 26961940 edges, 170953 markings/sec, 120 secs
lola: 22548978 markings, 27869388 edges, 171544 markings/sec, 125 secs
lola: 23430762 markings, 28824856 edges, 176357 markings/sec, 130 secs
lola: 24306539 markings, 29775078 edges, 175155 markings/sec, 135 secs
lola: 25193964 markings, 30729914 edges, 177485 markings/sec, 140 secs
lola: 26045855 markings, 31762194 edges, 170378 markings/sec, 145 secs
lola: 26833120 markings, 32711384 edges, 157453 markings/sec, 150 secs
lola: 27662158 markings, 33616741 edges, 165808 markings/sec, 155 secs
lola: 28489234 markings, 34613408 edges, 165415 markings/sec, 160 secs
lola: 29338807 markings, 35535620 edges, 169915 markings/sec, 165 secs
lola: 30185586 markings, 36472869 edges, 169356 markings/sec, 170 secs
lola: 31065658 markings, 37456178 edges, 176014 markings/sec, 175 secs
lola: 31968643 markings, 38479926 edges, 180597 markings/sec, 180 secs
lola: 32893062 markings, 39511657 edges, 184884 markings/sec, 185 secs
lola: 33781984 markings, 40454398 edges, 177784 markings/sec, 190 secs
lola: 34673868 markings, 41401780 edges, 178377 markings/sec, 195 secs
lola: 35560249 markings, 42401675 edges, 177276 markings/sec, 200 secs
lola: 36437898 markings, 43367975 edges, 175530 markings/sec, 205 secs
lola: 37343235 markings, 44344623 edges, 181067 markings/sec, 210 secs
lola: 38304625 markings, 45411078 edges, 192278 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(p273)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1272178 markings, 1365168 edges, 254436 markings/sec, 0 secs
lola: 2370545 markings, 2692331 edges, 219673 markings/sec, 5 secs
lola: 3648480 markings, 4030438 edges, 255587 markings/sec, 10 secs
lola: 4781621 markings, 5328697 edges, 226628 markings/sec, 15 secs
lola: 5831433 markings, 6601153 edges, 209962 markings/sec, 20 secs
lola: 6901408 markings, 7919610 edges, 213995 markings/sec, 25 secs
lola: 8017636 markings, 9241063 edges, 223246 markings/sec, 30 secs
lola: 9149606 markings, 10545628 edges, 226394 markings/sec, 35 secs
lola: 10269800 markings, 11774194 edges, 224039 markings/sec, 40 secs
lola: 11437103 markings, 12983433 edges, 233461 markings/sec, 45 secs
lola: 12555283 markings, 14240109 edges, 223636 markings/sec, 50 secs
lola: 13722099 markings, 15565871 edges, 233363 markings/sec, 55 secs
lola: 14693212 markings, 16882237 edges, 194223 markings/sec, 60 secs
lola: 15234749 markings, 18246882 edges, 108307 markings/sec, 65 secs
lola: 15747803 markings, 19539141 edges, 102611 markings/sec, 70 secs
lola: 16267368 markings, 20797854 edges, 103913 markings/sec, 75 secs
lola: 17160508 markings, 22071034 edges, 178628 markings/sec, 80 secs
lola: 18000433 markings, 23334001 edges, 167985 markings/sec, 85 secs
lola: 18579393 markings, 24585730 edges, 115792 markings/sec, 90 secs
lola: 19416608 markings, 25884861 edges, 167443 markings/sec, 95 secs
lola: 20271264 markings, 27157180 edges, 170931 markings/sec, 100 secs
lola: 21244440 markings, 28395506 edges, 194635 markings/sec, 105 secs
lola: 22286416 markings, 29678188 edges, 208395 markings/sec, 110 secs
lola: 23521802 markings, 30969620 edges, 247077 markings/sec, 115 secs
lola: 24704563 markings, 32252910 edges, 236552 markings/sec, 120 secs
lola: 25704235 markings, 33531308 edges, 199934 markings/sec, 125 secs
lola: 26730265 markings, 34816578 edges, 205206 markings/sec, 130 secs
lola: 27692805 markings, 36068924 edges, 192508 markings/sec, 135 secs
lola: 28596291 markings, 37244574 edges, 180697 markings/sec, 140 secs
lola: 29512649 markings, 38500846 edges, 183272 markings/sec, 145 secs
lola: 30083018 markings, 39871889 edges, 114074 markings/sec, 150 secs
lola: 30773735 markings, 41175685 edges, 138143 markings/sec, 155 secs
lola: 31444180 markings, 42494458 edges, 134089 markings/sec, 160 secs
lola: 32100918 markings, 43780664 edges, 131348 markings/sec, 165 secs
lola: 32845713 markings, 45047650 edges, 148959 markings/sec, 170 secs
lola: 33390930 markings, 46313774 edges, 109043 markings/sec, 175 secs
lola: 34039328 markings, 47544356 edges, 129680 markings/sec, 180 secs
lola: 34687655 markings, 48810879 edges, 129665 markings/sec, 185 secs
lola: 35318048 markings, 50046504 edges, 126079 markings/sec, 190 secs
lola: 36054492 markings, 51269693 edges, 147289 markings/sec, 195 secs
lola: 36581459 markings, 52532179 edges, 105393 markings/sec, 200 secs
lola: 37226743 markings, 53748673 edges, 129057 markings/sec, 205 secs
lola: 38001561 markings, 55045280 edges, 154964 markings/sec, 210 secs
lola: 38593006 markings, 56379377 edges, 118289 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(p246)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1337937 markings, 1458773 edges, 267587 markings/sec, 0 secs
lola: 2522290 markings, 2861758 edges, 236871 markings/sec, 5 secs
lola: 3897799 markings, 4287297 edges, 275102 markings/sec, 10 secs
lola: 5024741 markings, 5635163 edges, 225388 markings/sec, 15 secs
lola: 6112085 markings, 6992181 edges, 217469 markings/sec, 20 secs
lola: 7281752 markings, 8371958 edges, 233933 markings/sec, 25 secs
lola: 8486969 markings, 9768370 edges, 241043 markings/sec, 30 secs
lola: 9626904 markings, 11112807 edges, 227987 markings/sec, 35 secs
lola: 10890132 markings, 12418043 edges, 252646 markings/sec, 40 secs
lola: 12182903 markings, 13740925 edges, 258554 markings/sec, 45 secs
lola: 13318871 markings, 15115120 edges, 227194 markings/sec, 50 secs
lola: 14533518 markings, 16546485 edges, 242929 markings/sec, 55 secs
lola: 15118199 markings, 17977903 edges, 116936 markings/sec, 60 secs
lola: 15650213 markings, 19311135 edges, 106403 markings/sec, 65 secs
lola: 16181593 markings, 20588639 edges, 106276 markings/sec, 70 secs
lola: 17091781 markings, 21912115 edges, 182038 markings/sec, 75 secs
lola: 17888013 markings, 23212780 edges, 159246 markings/sec, 80 secs
lola: 18532978 markings, 24484941 edges, 128993 markings/sec, 85 secs
lola: 19385647 markings, 25825395 edges, 170534 markings/sec, 90 secs
lola: 20264064 markings, 27143128 edges, 175683 markings/sec, 95 secs
lola: 21284881 markings, 28437205 edges, 204163 markings/sec, 100 secs
lola: 22386172 markings, 29778468 edges, 220258 markings/sec, 105 secs
lola: 23709449 markings, 31164583 edges, 264655 markings/sec, 110 secs
lola: 24872431 markings, 32505085 edges, 232596 markings/sec, 115 secs
lola: 25960310 markings, 33861177 edges, 217576 markings/sec, 120 secs
lola: 27039623 markings, 35203350 edges, 215863 markings/sec, 125 secs
lola: 27995467 markings, 36449607 edges, 191169 markings/sec, 130 secs
lola: 28930775 markings, 37704099 edges, 187062 markings/sec, 135 secs
lola: 29719999 markings, 39059158 edges, 157845 markings/sec, 140 secs
lola: 30370460 markings, 40412996 edges, 130092 markings/sec, 145 secs
lola: 31172930 markings, 41750972 edges, 160494 markings/sec, 150 secs
lola: 31754366 markings, 43125488 edges, 116287 markings/sec, 155 secs
lola: 32442115 markings, 44436268 edges, 137550 markings/sec, 160 secs
lola: 33087842 markings, 45714946 edges, 129145 markings/sec, 165 secs
lola: 33729016 markings, 46952545 edges, 128235 markings/sec, 170 secs
lola: 34473462 markings, 48219992 edges, 148889 markings/sec, 175 secs
lola: 35032220 markings, 49511635 edges, 111752 markings/sec, 180 secs
lola: 35691626 markings, 50766950 edges, 131881 markings/sec, 185 secs
lola: 36330232 markings, 52024830 edges, 127721 markings/sec, 190 secs
lola: 36960791 markings, 53248439 edges, 126112 markings/sec, 195 secs
lola: 37696815 markings, 54555902 edges, 147205 markings/sec, 200 secs
lola: 38324209 markings, 55893444 edges, 125479 markings/sec, 205 secs
lola: 39040399 markings, 57253493 edges, 143238 markings/sec, 210 secs
lola: 39674895 markings, 58614156 edges, 126899 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(p91)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 881586 markings, 1359738 edges, 176317 markings/sec, 0 secs
lola: 1782198 markings, 2684101 edges, 180122 markings/sec, 5 secs
lola: 2611515 markings, 3931910 edges, 165863 markings/sec, 10 secs
lola: 3579495 markings, 5135314 edges, 193596 markings/sec, 15 secs
lola: 4470556 markings, 6278438 edges, 178212 markings/sec, 20 secs
lola: 5334586 markings, 7386360 edges, 172806 markings/sec, 25 secs
lola: 6217281 markings, 8516078 edges, 176539 markings/sec, 30 secs
lola: 7062808 markings, 9629397 edges, 169105 markings/sec, 35 secs
lola: 7950934 markings, 10748078 edges, 177625 markings/sec, 40 secs
lola: 8789091 markings, 11837879 edges, 167631 markings/sec, 45 secs
lola: 9601305 markings, 12977840 edges, 162443 markings/sec, 50 secs
lola: 10437273 markings, 14067188 edges, 167194 markings/sec, 55 secs
lola: 11318176 markings, 15194076 edges, 176181 markings/sec, 60 secs
lola: 12171815 markings, 16454998 edges, 170728 markings/sec, 65 secs
lola: 12954633 markings, 17664855 edges, 156564 markings/sec, 70 secs
lola: 13685582 markings, 18809469 edges, 146190 markings/sec, 75 secs
lola: 14486280 markings, 20061725 edges, 160140 markings/sec, 80 secs
lola: 15228860 markings, 21197130 edges, 148516 markings/sec, 85 secs
lola: 15903275 markings, 22423720 edges, 134883 markings/sec, 90 secs
lola: 16683208 markings, 23677733 edges, 155987 markings/sec, 95 secs
lola: 17442094 markings, 24887401 edges, 151777 markings/sec, 100 secs
lola: 18119021 markings, 26087882 edges, 135385 markings/sec, 105 secs
lola: 18832709 markings, 27308758 edges, 142738 markings/sec, 110 secs
lola: 19483870 markings, 28605599 edges, 130232 markings/sec, 115 secs
lola: 20078945 markings, 29863341 edges, 119015 markings/sec, 120 secs
lola: 20804887 markings, 31033606 edges, 145188 markings/sec, 125 secs
lola: 21518023 markings, 32352176 edges, 142627 markings/sec, 130 secs
lola: 22174712 markings, 33626528 edges, 131338 markings/sec, 135 secs
lola: 22972870 markings, 34928604 edges, 159632 markings/sec, 140 secs
lola: 23778377 markings, 36209899 edges, 161101 markings/sec, 145 secs
lola: 24567459 markings, 37446381 edges, 157816 markings/sec, 150 secs
lola: 25329551 markings, 38652904 edges, 152418 markings/sec, 155 secs
lola: 26073556 markings, 39833723 edges, 148801 markings/sec, 160 secs
lola: 26806142 markings, 40972279 edges, 146517 markings/sec, 165 secs
lola: 27564703 markings, 42133944 edges, 151712 markings/sec, 170 secs
lola: 28273362 markings, 43219173 edges, 141732 markings/sec, 175 secs
lola: 29042127 markings, 44425429 edges, 153753 markings/sec, 180 secs
lola: 29835717 markings, 45650064 edges, 158718 markings/sec, 185 secs
lola: 30616002 markings, 46858152 edges, 156057 markings/sec, 190 secs
lola: 31343739 markings, 48088310 edges, 145547 markings/sec, 195 secs
lola: 32102241 markings, 49250468 edges, 151700 markings/sec, 200 secs
lola: 32817773 markings, 50346321 edges, 143106 markings/sec, 205 secs
lola: 33518440 markings, 51497474 edges, 140133 markings/sec, 210 secs
lola: 34239552 markings, 52681591 edges, 144222 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(p137)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 977753 markings, 1275515 edges, 195551 markings/sec, 0 secs
lola: 1991505 markings, 2552347 edges, 202750 markings/sec, 5 secs
lola: 2971719 markings, 3825846 edges, 196043 markings/sec, 10 secs
lola: 3973615 markings, 5069661 edges, 200379 markings/sec, 15 secs
lola: 4955960 markings, 6298498 edges, 196469 markings/sec, 20 secs
lola: 5891504 markings, 7554034 edges, 187109 markings/sec, 25 secs
lola: 6840838 markings, 8789458 edges, 189867 markings/sec, 30 secs
lola: 7836167 markings, 9956342 edges, 199066 markings/sec, 35 secs
lola: 8800745 markings, 11142280 edges, 192916 markings/sec, 40 secs
lola: 9717533 markings, 12340525 edges, 183358 markings/sec, 45 secs
lola: 10595505 markings, 13513338 edges, 175594 markings/sec, 50 secs
lola: 11540647 markings, 14656770 edges, 189028 markings/sec, 55 secs
lola: 12509302 markings, 15741826 edges, 193731 markings/sec, 60 secs
lola: 13440743 markings, 16849530 edges, 186288 markings/sec, 65 secs
lola: 14353935 markings, 18006316 edges, 182638 markings/sec, 70 secs
lola: 15244698 markings, 19159925 edges, 178153 markings/sec, 75 secs
lola: 16045753 markings, 20266068 edges, 160211 markings/sec, 80 secs
lola: 16853877 markings, 21398738 edges, 161625 markings/sec, 85 secs
lola: 17554192 markings, 22409858 edges, 140063 markings/sec, 90 secs
lola: 18389324 markings, 23474758 edges, 167026 markings/sec, 95 secs
lola: 19079282 markings, 24473292 edges, 137992 markings/sec, 100 secs
lola: 19781514 markings, 25541560 edges, 140446 markings/sec, 105 secs
lola: 20499806 markings, 26568238 edges, 143658 markings/sec, 110 secs
lola: 21167438 markings, 27528089 edges, 133526 markings/sec, 115 secs
lola: 21742798 markings, 28496080 edges, 115072 markings/sec, 120 secs
lola: 22359389 markings, 29463325 edges, 123318 markings/sec, 125 secs
lola: 22999983 markings, 30422540 edges, 128119 markings/sec, 130 secs
lola: 23811128 markings, 31600768 edges, 162229 markings/sec, 135 secs
lola: 24823763 markings, 32821792 edges, 202527 markings/sec, 140 secs
lola: 25755103 markings, 34100750 edges, 186268 markings/sec, 145 secs
lola: 26715516 markings, 35330810 edges, 192083 markings/sec, 150 secs
lola: 27702663 markings, 36573095 edges, 197429 markings/sec, 155 secs
lola: 28702827 markings, 37762513 edges, 200033 markings/sec, 160 secs
lola: 29649803 markings, 39006205 edges, 189395 markings/sec, 165 secs
lola: 30565171 markings, 40233040 edges, 183074 markings/sec, 170 secs
lola: 31505692 markings, 41500730 edges, 188104 markings/sec, 175 secs
lola: 32450408 markings, 42664935 edges, 188943 markings/sec, 180 secs
lola: 33400917 markings, 43784710 edges, 190102 markings/sec, 185 secs
lola: 34356997 markings, 44942680 edges, 191216 markings/sec, 190 secs
lola: 35281339 markings, 46120749 edges, 184868 markings/sec, 195 secs
lola: 36159795 markings, 47285585 edges, 175691 markings/sec, 200 secs
lola: 37036595 markings, 48416969 edges, 175360 markings/sec, 205 secs
lola: 37920889 markings, 49605846 edges, 176859 markings/sec, 210 secs
lola: 38894117 markings, 50710197 edges, 194646 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(p275)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 596597 markings, 1291033 edges, 119319 markings/sec, 0 secs
lola: 1125535 markings, 2620193 edges, 105788 markings/sec, 5 secs
lola: 1690519 markings, 3876032 edges, 112997 markings/sec, 10 secs
lola: 2270083 markings, 5202124 edges, 115913 markings/sec, 15 secs
lola: 2918723 markings, 6519650 edges, 129728 markings/sec, 20 secs
lola: 3613218 markings, 7784035 edges, 138899 markings/sec, 25 secs
lola: 4297859 markings, 9072654 edges, 136928 markings/sec, 30 secs
lola: 5008805 markings, 10318065 edges, 142189 markings/sec, 35 secs
lola: 5676587 markings, 11655434 edges, 133556 markings/sec, 40 secs
lola: 6287148 markings, 13178421 edges, 122112 markings/sec, 45 secs
lola: 6980147 markings, 14420063 edges, 138600 markings/sec, 50 secs
lola: 7565115 markings, 15839298 edges, 116994 markings/sec, 55 secs
lola: 8252454 markings, 17135047 edges, 137468 markings/sec, 60 secs
lola: 8821202 markings, 18452912 edges, 113750 markings/sec, 65 secs
lola: 9481436 markings, 19749691 edges, 132047 markings/sec, 70 secs
lola: 10056693 markings, 21001016 edges, 115051 markings/sec, 75 secs
lola: 10650556 markings, 22370459 edges, 118773 markings/sec, 80 secs
lola: 11258885 markings, 23546002 edges, 121666 markings/sec, 85 secs
lola: 11800445 markings, 24854646 edges, 108312 markings/sec, 90 secs
lola: 12435522 markings, 26078850 edges, 127015 markings/sec, 95 secs
lola: 13069005 markings, 27503723 edges, 126697 markings/sec, 100 secs
lola: 13766323 markings, 28888066 edges, 139464 markings/sec, 105 secs
lola: 14394946 markings, 30375295 edges, 125725 markings/sec, 110 secs
lola: 15147941 markings, 31610504 edges, 150599 markings/sec, 115 secs
lola: 15790043 markings, 32815138 edges, 128420 markings/sec, 120 secs
lola: 16423389 markings, 33987493 edges, 126669 markings/sec, 125 secs
lola: 17093270 markings, 35196655 edges, 133976 markings/sec, 130 secs
lola: 17775419 markings, 36328230 edges, 136430 markings/sec, 135 secs
lola: 18428204 markings, 37470322 edges, 130557 markings/sec, 140 secs
lola: 18984348 markings, 38647216 edges, 111229 markings/sec, 145 secs
lola: 19541438 markings, 39819132 edges, 111418 markings/sec, 150 secs
lola: 20308160 markings, 40961560 edges, 153344 markings/sec, 155 secs
lola: 21177157 markings, 42025400 edges, 173799 markings/sec, 160 secs
lola: 21914955 markings, 43180532 edges, 147560 markings/sec, 165 secs
lola: 22637910 markings, 44374587 edges, 144591 markings/sec, 170 secs
lola: 23342271 markings, 45499684 edges, 140872 markings/sec, 175 secs
lola: 24021376 markings, 46615200 edges, 135821 markings/sec, 180 secs
lola: 24713057 markings, 47715617 edges, 138336 markings/sec, 185 secs
lola: 25289743 markings, 48889263 edges, 115337 markings/sec, 190 secs
lola: 25913880 markings, 50045906 edges, 124827 markings/sec, 195 secs
lola: 26506817 markings, 51213582 edges, 118587 markings/sec, 200 secs
lola: 27378702 markings, 52271591 edges, 174377 markings/sec, 205 secs
lola: 28216571 markings, 53432213 edges, 167574 markings/sec, 210 secs
lola: 29070630 markings, 54667523 edges, 170812 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(p14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 634859 markings, 1439903 edges, 126972 markings/sec, 0 secs
lola: 1382445 markings, 2853020 edges, 149517 markings/sec, 5 secs
lola: 2571867 markings, 4171296 edges, 237884 markings/sec, 10 secs
lola: 3740137 markings, 5577522 edges, 233654 markings/sec, 15 secs
lola: 4953074 markings, 6946302 edges, 242587 markings/sec, 20 secs
lola: 6086157 markings, 8110014 edges, 226617 markings/sec, 25 secs
lola: 7245218 markings, 9352239 edges, 231812 markings/sec, 30 secs
lola: 8404032 markings, 10596950 edges, 231763 markings/sec, 35 secs
lola: 9434452 markings, 11992183 edges, 206084 markings/sec, 40 secs
lola: 10569870 markings, 13250766 edges, 227084 markings/sec, 45 secs
lola: 11662257 markings, 14415270 edges, 218477 markings/sec, 50 secs
lola: 12706890 markings, 15528840 edges, 208927 markings/sec, 55 secs
lola: 13837466 markings, 16810004 edges, 226115 markings/sec, 60 secs
lola: 14989199 markings, 18206348 edges, 230347 markings/sec, 65 secs
lola: 16139509 markings, 19558815 edges, 230062 markings/sec, 70 secs
lola: 17265459 markings, 20791250 edges, 225190 markings/sec, 75 secs
lola: 18337195 markings, 21964397 edges, 214347 markings/sec, 80 secs
lola: 19388532 markings, 23116348 edges, 210267 markings/sec, 85 secs
lola: 20401858 markings, 24225317 edges, 202665 markings/sec, 90 secs
lola: 21446427 markings, 25416523 edges, 208914 markings/sec, 95 secs
lola: 22589109 markings, 26811660 edges, 228536 markings/sec, 100 secs
lola: 23731730 markings, 28166329 edges, 228524 markings/sec, 105 secs
lola: 24803841 markings, 29330815 edges, 214422 markings/sec, 110 secs
lola: 25822523 markings, 30438251 edges, 203736 markings/sec, 115 secs
lola: 26818123 markings, 31520624 edges, 199120 markings/sec, 120 secs
lola: 27800530 markings, 32622836 edges, 196481 markings/sec, 125 secs
lola: 28790222 markings, 33722668 edges, 197938 markings/sec, 130 secs
lola: 29844432 markings, 34845168 edges, 210842 markings/sec, 135 secs
lola: 30889857 markings, 35951189 edges, 209085 markings/sec, 140 secs
lola: 31922517 markings, 37045818 edges, 206532 markings/sec, 145 secs
lola: 32959156 markings, 38140995 edges, 207328 markings/sec, 150 secs
lola: 33929466 markings, 39213987 edges, 194062 markings/sec, 155 secs
lola: 34831191 markings, 40278711 edges, 180345 markings/sec, 160 secs
lola: 35745199 markings, 41354086 edges, 182802 markings/sec, 165 secs
lola: 36658497 markings, 42413832 edges, 182660 markings/sec, 170 secs
lola: 37664271 markings, 43567605 edges, 201155 markings/sec, 175 secs
lola: 38552942 markings, 44622441 edges, 177734 markings/sec, 180 secs
lola: 39434129 markings, 45684237 edges, 176237 markings/sec, 185 secs
lola: 40349355 markings, 46752145 edges, 183045 markings/sec, 190 secs
lola: 41274276 markings, 47814505 edges, 184984 markings/sec, 195 secs
lola: 42170910 markings, 48888971 edges, 179327 markings/sec, 200 secs
lola: 43074167 markings, 49974010 edges, 180651 markings/sec, 205 secs
lola: 43944517 markings, 50967541 edges, 174070 markings/sec, 210 secs
lola: 44769801 markings, 51956854 edges, 165057 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(p42)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 854351 markings, 1326369 edges, 170870 markings/sec, 0 secs
lola: 1533025 markings, 2231440 edges, 135735 markings/sec, 5 secs
lola: 2287443 markings, 3181561 edges, 150884 markings/sec, 10 secs
lola: 2922194 markings, 4216048 edges, 126950 markings/sec, 15 secs
lola: 3654918 markings, 5203176 edges, 146545 markings/sec, 20 secs
lola: 4489181 markings, 6148443 edges, 166853 markings/sec, 25 secs
lola: 5297650 markings, 7047388 edges, 161694 markings/sec, 30 secs
lola: 6089474 markings, 7931867 edges, 158365 markings/sec, 35 secs
lola: 6912733 markings, 8843904 edges, 164652 markings/sec, 40 secs
lola: 7714616 markings, 9735862 edges, 160377 markings/sec, 45 secs
lola: 8536275 markings, 10696722 edges, 164332 markings/sec, 50 secs
lola: 9367843 markings, 11653436 edges, 166314 markings/sec, 55 secs
lola: 10181245 markings, 12581074 edges, 162680 markings/sec, 60 secs
lola: 10997979 markings, 13521409 edges, 163347 markings/sec, 65 secs
lola: 11792111 markings, 14437665 edges, 158826 markings/sec, 70 secs
lola: 12585169 markings, 15376028 edges, 158612 markings/sec, 75 secs
lola: 13251785 markings, 16436882 edges, 133323 markings/sec, 80 secs
lola: 13769025 markings, 17568309 edges, 103448 markings/sec, 85 secs
lola: 14313948 markings, 18732026 edges, 108985 markings/sec, 90 secs
lola: 14869352 markings, 19873184 edges, 111081 markings/sec, 95 secs
lola: 15479841 markings, 21043894 edges, 122098 markings/sec, 100 secs
lola: 16097593 markings, 22238313 edges, 123550 markings/sec, 105 secs
lola: 16613255 markings, 23475898 edges, 103132 markings/sec, 110 secs
lola: 17087117 markings, 24685746 edges, 94772 markings/sec, 115 secs
lola: 17547095 markings, 25877651 edges, 91996 markings/sec, 120 secs
lola: 18018954 markings, 27038195 edges, 94372 markings/sec, 125 secs
lola: 18617209 markings, 28233178 edges, 119651 markings/sec, 130 secs
lola: 19298882 markings, 29456056 edges, 136335 markings/sec, 135 secs
lola: 19957917 markings, 30660982 edges, 131807 markings/sec, 140 secs
lola: 20639688 markings, 31803500 edges, 136354 markings/sec, 145 secs
lola: 21301217 markings, 32911161 edges, 132306 markings/sec, 150 secs
lola: 21937736 markings, 33979942 edges, 127304 markings/sec, 155 secs
lola: 22595986 markings, 35066075 edges, 131650 markings/sec, 160 secs
lola: 23229702 markings, 36109570 edges, 126743 markings/sec, 165 secs
lola: 23851638 markings, 37177331 edges, 124387 markings/sec, 170 secs
lola: 24535411 markings, 38309062 edges, 136755 markings/sec, 175 secs
lola: 25201433 markings, 39422225 edges, 133204 markings/sec, 180 secs
lola: 25866937 markings, 40526722 edges, 133101 markings/sec, 185 secs
lola: 26511275 markings, 41603569 edges, 128868 markings/sec, 190 secs
lola: 27163995 markings, 42671547 edges, 130544 markings/sec, 195 secs
lola: 27859214 markings, 43796126 edges, 139044 markings/sec, 200 secs
lola: 28594246 markings, 44950694 edges, 147006 markings/sec, 205 secs
lola: 29354478 markings, 46072736 edges, 152046 markings/sec, 210 secs
lola: 30084372 markings, 47139146 edges, 145979 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(p283)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 872687 markings, 1252747 edges, 174537 markings/sec, 0 secs
lola: 1679362 markings, 2504252 edges, 161335 markings/sec, 5 secs
lola: 2454003 markings, 3753985 edges, 154928 markings/sec, 10 secs
lola: 3068316 markings, 5083370 edges, 122863 markings/sec, 15 secs
lola: 3767462 markings, 6401596 edges, 139829 markings/sec, 20 secs
lola: 4429587 markings, 7713495 edges, 132425 markings/sec, 25 secs
lola: 5073201 markings, 9031255 edges, 128723 markings/sec, 30 secs
lola: 5909358 markings, 10146000 edges, 167231 markings/sec, 35 secs
lola: 6721461 markings, 11172096 edges, 162421 markings/sec, 40 secs
lola: 7520222 markings, 12472105 edges, 159752 markings/sec, 45 secs
lola: 8309179 markings, 13795805 edges, 157791 markings/sec, 50 secs
lola: 8874787 markings, 15205803 edges, 113122 markings/sec, 55 secs
lola: 9612546 markings, 16536126 edges, 147552 markings/sec, 60 secs
lola: 10235679 markings, 17876065 edges, 124627 markings/sec, 65 secs
lola: 10903522 markings, 19196061 edges, 133569 markings/sec, 70 secs
lola: 11904163 markings, 20377331 edges, 200128 markings/sec, 75 secs
lola: 12537814 markings, 21689317 edges, 126730 markings/sec, 80 secs
lola: 13258964 markings, 22987756 edges, 144230 markings/sec, 85 secs
lola: 14008579 markings, 24334743 edges, 149923 markings/sec, 90 secs
lola: 14696309 markings, 25602224 edges, 137546 markings/sec, 95 secs
lola: 15657454 markings, 26704871 edges, 192229 markings/sec, 100 secs
lola: 16181551 markings, 27992297 edges, 104819 markings/sec, 105 secs
lola: 16957743 markings, 29254507 edges, 155238 markings/sec, 110 secs
lola: 17627324 markings, 30552926 edges, 133916 markings/sec, 115 secs
lola: 18368736 markings, 31766661 edges, 148282 markings/sec, 120 secs
lola: 19253328 markings, 32866663 edges, 176918 markings/sec, 125 secs
lola: 19767236 markings, 34140326 edges, 102782 markings/sec, 130 secs
lola: 20528877 markings, 35382897 edges, 152328 markings/sec, 135 secs
lola: 21180032 markings, 36631964 edges, 130231 markings/sec, 140 secs
lola: 21921962 markings, 37806559 edges, 148386 markings/sec, 145 secs
lola: 22783026 markings, 38895051 edges, 172213 markings/sec, 150 secs
lola: 23282310 markings, 40144163 edges, 99857 markings/sec, 155 secs
lola: 24030829 markings, 41347554 edges, 149704 markings/sec, 160 secs
lola: 24666526 markings, 42575313 edges, 127139 markings/sec, 165 secs
lola: 25377675 markings, 43742499 edges, 142230 markings/sec, 170 secs
lola: 26236280 markings, 44778614 edges, 171721 markings/sec, 175 secs
lola: 26717970 markings, 45979176 edges, 96338 markings/sec, 180 secs
lola: 27395412 markings, 47108169 edges, 135488 markings/sec, 185 secs
lola: 28051844 markings, 48305587 edges, 131286 markings/sec, 190 secs
lola: 28609247 markings, 49442640 edges, 111481 markings/sec, 195 secs
lola: 29545749 markings, 50443696 edges, 187300 markings/sec, 200 secs
lola: 30174128 markings, 51837647 edges, 125676 markings/sec, 205 secs
lola: 31003200 markings, 53225515 edges, 165814 markings/sec, 210 secs
lola: 31715968 markings, 54613339 edges, 142554 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p42)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 852428 markings, 1323961 edges, 170486 markings/sec, 0 secs
lola: 1540301 markings, 2240263 edges, 137575 markings/sec, 5 secs
lola: 2302881 markings, 3207752 edges, 152516 markings/sec, 10 secs
lola: 2944865 markings, 4258587 edges, 128397 markings/sec, 15 secs
lola: 3706861 markings, 5267156 edges, 152399 markings/sec, 20 secs
lola: 4551364 markings, 6221800 edges, 168901 markings/sec, 25 secs
lola: 5381434 markings, 7137438 edges, 166014 markings/sec, 30 secs
lola: 6199163 markings, 8049812 edges, 163546 markings/sec, 35 secs
lola: 7025315 markings, 8976321 edges, 165230 markings/sec, 40 secs
lola: 7843817 markings, 9874566 edges, 163700 markings/sec, 45 secs
lola: 8690287 markings, 10866476 edges, 169294 markings/sec, 50 secs
lola: 9533113 markings, 11832910 edges, 168565 markings/sec, 55 secs
lola: 10361921 markings, 12787477 edges, 165762 markings/sec, 60 secs
lola: 11188417 markings, 13742454 edges, 165299 markings/sec, 65 secs
lola: 12015094 markings, 14699176 edges, 165335 markings/sec, 70 secs
lola: 12817526 markings, 15661963 edges, 160486 markings/sec, 75 secs
lola: 13403071 markings, 16789047 edges, 117109 markings/sec, 80 secs
lola: 13950035 markings, 17931028 edges, 109393 markings/sec, 85 secs
lola: 14482510 markings, 19103138 edges, 106495 markings/sec, 90 secs
lola: 15071393 markings, 20275750 edges, 117777 markings/sec, 95 secs
lola: 15677513 markings, 21454421 edges, 121224 markings/sec, 100 secs
lola: 16298061 markings, 22662432 edges, 124110 markings/sec, 105 secs
lola: 16784368 markings, 23912307 edges, 97261 markings/sec, 110 secs
lola: 17252613 markings, 25128911 edges, 93649 markings/sec, 115 secs
lola: 17722248 markings, 26324708 edges, 93927 markings/sec, 120 secs
lola: 18218559 markings, 27509412 edges, 99262 markings/sec, 125 secs
lola: 18884042 markings, 28728616 edges, 133097 markings/sec, 130 secs
lola: 19560116 markings, 29915420 edges, 135215 markings/sec, 135 secs
lola: 20220840 markings, 31096260 edges, 132145 markings/sec, 140 secs
lola: 20888775 markings, 32215378 edges, 133587 markings/sec, 145 secs
lola: 21547802 markings, 33318833 edges, 131805 markings/sec, 150 secs
lola: 22198449 markings, 34414175 edges, 130129 markings/sec, 155 secs
lola: 22873681 markings, 35519755 edges, 135046 markings/sec, 160 secs
lola: 23505441 markings, 36581109 edges, 126352 markings/sec, 165 secs
lola: 24185885 markings, 37735299 edges, 136089 markings/sec, 170 secs
lola: 24855357 markings, 38846240 edges, 133894 markings/sec, 175 secs
lola: 25526529 markings, 39968148 edges, 134234 markings/sec, 180 secs
lola: 26191379 markings, 41070417 edges, 132970 markings/sec, 185 secs
lola: 26855812 markings, 42168007 edges, 132887 markings/sec, 190 secs
lola: 27535488 markings, 43266245 edges, 135935 markings/sec, 195 secs
lola: 28255303 markings, 44424460 edges, 143963 markings/sec, 200 secs
lola: 29008876 markings, 45561885 edges, 150715 markings/sec, 205 secs
lola: 29757819 markings, 46668926 edges, 149789 markings/sec, 210 secs
lola: 30521054 markings, 47759527 edges, 152647 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p234)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1292728 markings, 1373141 edges, 258546 markings/sec, 0 secs
lola: 2416907 markings, 2706496 edges, 224836 markings/sec, 5 secs
lola: 3719673 markings, 4041654 edges, 260553 markings/sec, 10 secs
lola: 4993575 markings, 5347262 edges, 254780 markings/sec, 15 secs
lola: 6086042 markings, 6643232 edges, 218493 markings/sec, 20 secs
lola: 7140877 markings, 7968138 edges, 210967 markings/sec, 25 secs
lola: 8300810 markings, 9288123 edges, 231987 markings/sec, 30 secs
lola: 9441920 markings, 10613841 edges, 228222 markings/sec, 35 secs
lola: 10634158 markings, 11918952 edges, 238448 markings/sec, 40 secs
lola: 11758005 markings, 13147392 edges, 224769 markings/sec, 45 secs
lola: 12931774 markings, 14370377 edges, 234754 markings/sec, 50 secs
lola: 14151198 markings, 15605549 edges, 243885 markings/sec, 55 secs
lola: 15285376 markings, 16925241 edges, 226836 markings/sec, 60 secs
lola: 16512547 markings, 18275342 edges, 245434 markings/sec, 65 secs
lola: 17196172 markings, 19701467 edges, 136725 markings/sec, 70 secs
lola: 17740991 markings, 21075059 edges, 108964 markings/sec, 75 secs
lola: 18268534 markings, 22395431 edges, 105509 markings/sec, 80 secs
lola: 19192793 markings, 23679613 edges, 184852 markings/sec, 85 secs
lola: 19972834 markings, 24969498 edges, 156008 markings/sec, 90 secs
lola: 20705691 markings, 26256018 edges, 146571 markings/sec, 95 secs
lola: 21603135 markings, 27577828 edges, 179489 markings/sec, 100 secs
lola: 22491650 markings, 28875663 edges, 177703 markings/sec, 105 secs
lola: 23501272 markings, 30131023 edges, 201924 markings/sec, 110 secs
lola: 24600030 markings, 31414379 edges, 219752 markings/sec, 115 secs
lola: 25851284 markings, 32697351 edges, 250251 markings/sec, 120 secs
lola: 27096564 markings, 33973820 edges, 249056 markings/sec, 125 secs
lola: 28161545 markings, 35243069 edges, 212996 markings/sec, 130 secs
lola: 29343444 markings, 36538088 edges, 236380 markings/sec, 135 secs
lola: 30355194 markings, 37831068 edges, 202350 markings/sec, 140 secs
lola: 31242277 markings, 39025810 edges, 177417 markings/sec, 145 secs
lola: 32220937 markings, 40265890 edges, 195732 markings/sec, 150 secs
lola: 32989308 markings, 41616262 edges, 153674 markings/sec, 155 secs
lola: 33711504 markings, 42910975 edges, 144439 markings/sec, 160 secs
lola: 34511816 markings, 44239792 edges, 160062 markings/sec, 165 secs
lola: 35183053 markings, 45539363 edges, 134247 markings/sec, 170 secs
lola: 35994063 markings, 46793363 edges, 162202 markings/sec, 175 secs
lola: 36584068 markings, 48068786 edges, 118001 markings/sec, 180 secs
lola: 37344725 markings, 49299648 edges, 152131 markings/sec, 185 secs
lola: 37985967 markings, 50581838 edges, 128248 markings/sec, 190 secs
lola: 38706691 markings, 51807165 edges, 144145 markings/sec, 195 secs
lola: 39392678 markings, 53041274 edges, 137197 markings/sec, 200 secs
lola: 40049291 markings, 54235835 edges, 131323 markings/sec, 205 secs
lola: 40868852 markings, 55511693 edges, 163912 markings/sec, 210 secs
lola: 41497021 markings, 56835148 edges, 125634 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(p62)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 1 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 829521 markings, 1381850 edges, 165904 markings/sec, 0 secs
lola: 1698722 markings, 2649458 edges, 173840 markings/sec, 5 secs
lola: 2573699 markings, 3799615 edges, 174995 markings/sec, 10 secs
lola: 3425743 markings, 4987075 edges, 170409 markings/sec, 15 secs
lola: 4300856 markings, 6183223 edges, 175023 markings/sec, 20 secs
lola: 5073039 markings, 7438815 edges, 154437 markings/sec, 25 secs
lola: 5812305 markings, 8727371 edges, 147853 markings/sec, 30 secs
lola: 6491319 markings, 10046830 edges, 135803 markings/sec, 35 secs
lola: 7139933 markings, 11384762 edges, 129723 markings/sec, 40 secs
lola: 7805445 markings, 12670712 edges, 133102 markings/sec, 45 secs
lola: 8490068 markings, 13998364 edges, 136925 markings/sec, 50 secs
lola: 9210871 markings, 15362752 edges, 144161 markings/sec, 55 secs
lola: 10004240 markings, 16647954 edges, 158674 markings/sec, 60 secs
lola: 10776849 markings, 17837777 edges, 154522 markings/sec, 65 secs
lola: 11558763 markings, 19060039 edges, 156383 markings/sec, 70 secs
lola: 12297508 markings, 20324984 edges, 147749 markings/sec, 75 secs
lola: 13036927 markings, 21507224 edges, 147884 markings/sec, 80 secs
lola: 13800148 markings, 22794997 edges, 152644 markings/sec, 85 secs
lola: 14531364 markings, 24082105 edges, 146243 markings/sec, 90 secs
lola: 15282887 markings, 25337766 edges, 150305 markings/sec, 95 secs
lola: 16028123 markings, 26565821 edges, 149047 markings/sec, 100 secs
lola: 16844930 markings, 27847121 edges, 163361 markings/sec, 105 secs
lola: 17593749 markings, 29117922 edges, 149764 markings/sec, 110 secs
lola: 18345043 markings, 30356225 edges, 150259 markings/sec, 115 secs
lola: 19099117 markings, 31586291 edges, 150815 markings/sec, 120 secs
lola: 19831611 markings, 32787046 edges, 146499 markings/sec, 125 secs
lola: 20576490 markings, 33986149 edges, 148976 markings/sec, 130 secs
lola: 21392288 markings, 35150743 edges, 163160 markings/sec, 135 secs
lola: 22184757 markings, 36282095 edges, 158494 markings/sec, 140 secs
lola: 22885104 markings, 37424604 edges, 140069 markings/sec, 145 secs
lola: 23507336 markings, 38702140 edges, 124446 markings/sec, 150 secs
lola: 24315018 markings, 39977196 edges, 161536 markings/sec, 155 secs
lola: 25090058 markings, 41216610 edges, 155008 markings/sec, 160 secs
lola: 25853637 markings, 42462567 edges, 152716 markings/sec, 165 secs
lola: 26614735 markings, 43696075 edges, 152220 markings/sec, 170 secs
lola: 27328459 markings, 44931710 edges, 142745 markings/sec, 175 secs
lola: 28056445 markings, 46168950 edges, 145597 markings/sec, 180 secs
lola: 28783076 markings, 47353521 edges, 145326 markings/sec, 185 secs
lola: 29554974 markings, 48562927 edges, 154380 markings/sec, 190 secs
lola: 30357639 markings, 49717892 edges, 160533 markings/sec, 195 secs
lola: 31121607 markings, 50881455 edges, 152794 markings/sec, 200 secs
lola: 31819709 markings, 52206397 edges, 139620 markings/sec, 205 secs
lola: 32592696 markings, 53497609 edges, 154597 markings/sec, 210 secs
lola: 33305422 markings, 54754982 edges, 142545 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA DES-PT-10b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494630733800

--------------------
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="DES-PT-10b"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-10b.tgz
mv DES-PT-10b execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is DES-PT-10b, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r018-ebro-149436309100254"
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 ;