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 S_DES-PT-60a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455800335
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496457467841


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_DES-PT-60a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_DES-PT-60a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_DES-PT-60a @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 665/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 354 places, 311 transitions, 295 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 336 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-60a-UpperBounds.task
lola: MAX(p285) : MAX(p329) : MAX(p109) : MAX(p177) : MAX(p323) : MAX(p102) : MAX(p87) : MAX(p102) : MAX(p100) : MAX(p190) : MAX(p35) : MAX(p46) : MAX(p260) : MAX(p180) : MAX(p165) : MAX(p122)
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(p285)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 1156909 markings, 1476291 edges, 231382 markings/sec, 0 secs
lola: 2359383 markings, 3053236 edges, 240495 markings/sec, 5 secs
lola: 3475812 markings, 4568935 edges, 223286 markings/sec, 10 secs
lola: 4590960 markings, 6093315 edges, 223030 markings/sec, 15 secs
lola: 5710958 markings, 7604234 edges, 224000 markings/sec, 20 secs
lola: 6808326 markings, 9101613 edges, 219474 markings/sec, 25 secs
lola: 7881689 markings, 10559470 edges, 214673 markings/sec, 30 secs
lola: 8898006 markings, 11950589 edges, 203263 markings/sec, 35 secs
lola: 9876722 markings, 13286720 edges, 195743 markings/sec, 40 secs
lola: 10836649 markings, 14596011 edges, 191985 markings/sec, 45 secs
lola: 11791188 markings, 15894484 edges, 190908 markings/sec, 50 secs
lola: 12741962 markings, 17187154 edges, 190155 markings/sec, 55 secs
lola: 13693081 markings, 18479900 edges, 190224 markings/sec, 60 secs
lola: 14644672 markings, 19770831 edges, 190318 markings/sec, 65 secs
lola: 15593425 markings, 21056985 edges, 189751 markings/sec, 70 secs
lola: 16533220 markings, 22338120 edges, 187959 markings/sec, 75 secs
lola: 17468988 markings, 23610978 edges, 187154 markings/sec, 80 secs
lola: 18400247 markings, 24881258 edges, 186252 markings/sec, 85 secs
lola: 19330277 markings, 26146338 edges, 186006 markings/sec, 90 secs
lola: 20259582 markings, 27410840 edges, 185861 markings/sec, 95 secs
lola: 21184380 markings, 28671790 edges, 184960 markings/sec, 100 secs
lola: 22103375 markings, 29922289 edges, 183799 markings/sec, 105 secs
lola: 23007444 markings, 31153367 edges, 180814 markings/sec, 110 secs
lola: 23923761 markings, 32399873 edges, 183263 markings/sec, 115 secs
lola: 24837882 markings, 33643527 edges, 182824 markings/sec, 120 secs
lola: 25748958 markings, 34882508 edges, 182215 markings/sec, 125 secs
lola: 26648427 markings, 36106924 edges, 179894 markings/sec, 130 secs
lola: 27538226 markings, 37319782 edges, 177960 markings/sec, 135 secs
lola: 28422091 markings, 38523572 edges, 176773 markings/sec, 140 secs
lola: 29300325 markings, 39719242 edges, 175647 markings/sec, 145 secs
lola: 30175116 markings, 40910880 edges, 174958 markings/sec, 150 secs
lola: 31048690 markings, 42097407 edges, 174715 markings/sec, 155 secs
lola: 31916407 markings, 43278574 edges, 173543 markings/sec, 160 secs
lola: 32783848 markings, 44460762 edges, 173488 markings/sec, 165 secs
lola: 33663538 markings, 45656313 edges, 175938 markings/sec, 170 secs
lola: 34542535 markings, 46853582 edges, 175799 markings/sec, 175 secs
lola: 35414451 markings, 48040399 edges, 174383 markings/sec, 180 secs
lola: 36310829 markings, 49260690 edges, 179276 markings/sec, 185 secs
lola: 37236724 markings, 50521622 edges, 185179 markings/sec, 190 secs
lola: 38224143 markings, 51865753 edges, 197484 markings/sec, 195 secs
lola: 39276050 markings, 53299415 edges, 210381 markings/sec, 200 secs
lola: 40336940 markings, 54745549 edges, 212178 markings/sec, 205 secs
lola: 41345768 markings, 56121861 edges, 201766 markings/sec, 210 secs
lola: 42405471 markings, 57566558 edges, 211941 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(p329)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 959784 markings, 1501716 edges, 191957 markings/sec, 0 secs
lola: 1848034 markings, 2881916 edges, 177650 markings/sec, 5 secs
lola: 2773651 markings, 4345462 edges, 185123 markings/sec, 10 secs
lola: 3668175 markings, 5876879 edges, 178905 markings/sec, 15 secs
lola: 4511814 markings, 7405098 edges, 168728 markings/sec, 20 secs
lola: 5353659 markings, 8920255 edges, 168369 markings/sec, 25 secs
lola: 6211187 markings, 10430401 edges, 171506 markings/sec, 30 secs
lola: 7016324 markings, 11933906 edges, 161027 markings/sec, 35 secs
lola: 7873683 markings, 13421465 edges, 171472 markings/sec, 40 secs
lola: 8657778 markings, 14903344 edges, 156819 markings/sec, 45 secs
lola: 9507299 markings, 16384095 edges, 169904 markings/sec, 50 secs
lola: 10301602 markings, 17849195 edges, 158861 markings/sec, 55 secs
lola: 11120898 markings, 19320653 edges, 163859 markings/sec, 60 secs
lola: 11937412 markings, 20783505 edges, 163303 markings/sec, 65 secs
lola: 12732046 markings, 22247707 edges, 158927 markings/sec, 70 secs
lola: 13538447 markings, 23666059 edges, 161280 markings/sec, 75 secs
lola: 14282789 markings, 25052761 edges, 148868 markings/sec, 80 secs
lola: 15042279 markings, 26377093 edges, 151898 markings/sec, 85 secs
lola: 15749323 markings, 27702713 edges, 141409 markings/sec, 90 secs
lola: 16485320 markings, 28990473 edges, 147199 markings/sec, 95 secs
lola: 17178586 markings, 30282722 edges, 138653 markings/sec, 100 secs
lola: 17911352 markings, 31563800 edges, 146553 markings/sec, 105 secs
lola: 18602538 markings, 32850842 edges, 138237 markings/sec, 110 secs
lola: 19329001 markings, 34126609 edges, 145293 markings/sec, 115 secs
lola: 20017582 markings, 35405655 edges, 137716 markings/sec, 120 secs
lola: 20734219 markings, 36672803 edges, 143327 markings/sec, 125 secs
lola: 21427285 markings, 37946111 edges, 138613 markings/sec, 130 secs
lola: 22124476 markings, 39198388 edges, 139438 markings/sec, 135 secs
lola: 22814653 markings, 40437855 edges, 138035 markings/sec, 140 secs
lola: 23486306 markings, 41662534 edges, 134331 markings/sec, 145 secs
lola: 24189220 markings, 42904952 edges, 140583 markings/sec, 150 secs
lola: 24856660 markings, 44158510 edges, 133488 markings/sec, 155 secs
lola: 25577962 markings, 45405212 edges, 144260 markings/sec, 160 secs
lola: 26239538 markings, 46655299 edges, 132315 markings/sec, 165 secs
lola: 26956975 markings, 47890177 edges, 143487 markings/sec, 170 secs
lola: 27617339 markings, 49140882 edges, 132073 markings/sec, 175 secs
lola: 28330481 markings, 50368579 edges, 142628 markings/sec, 180 secs
lola: 28989279 markings, 51618344 edges, 131760 markings/sec, 185 secs
lola: 29699960 markings, 52849353 edges, 142136 markings/sec, 190 secs
lola: 30360136 markings, 54089409 edges, 132035 markings/sec, 195 secs
lola: 31061144 markings, 55317545 edges, 140202 markings/sec, 200 secs
lola: 31727043 markings, 56554946 edges, 133180 markings/sec, 205 secs
lola: 32420397 markings, 57781608 edges, 138671 markings/sec, 210 secs
lola: 33096486 markings, 59015837 edges, 135218 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(p109)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 790169 markings, 1483978 edges, 158034 markings/sec, 0 secs
lola: 1511457 markings, 2966691 edges, 144258 markings/sec, 5 secs
lola: 2184740 markings, 4425967 edges, 134657 markings/sec, 10 secs
lola: 2869492 markings, 5852676 edges, 136950 markings/sec, 15 secs
lola: 3533942 markings, 7301731 edges, 132890 markings/sec, 20 secs
lola: 4211928 markings, 8717254 edges, 135597 markings/sec, 25 secs
lola: 4875853 markings, 10168688 edges, 132785 markings/sec, 30 secs
lola: 5553322 markings, 11581657 edges, 135494 markings/sec, 35 secs
lola: 6211228 markings, 13022210 edges, 131581 markings/sec, 40 secs
lola: 6883785 markings, 14428445 edges, 134511 markings/sec, 45 secs
lola: 7541661 markings, 15857031 edges, 131575 markings/sec, 50 secs
lola: 8205553 markings, 17245444 edges, 132778 markings/sec, 55 secs
lola: 8919512 markings, 18637049 edges, 142792 markings/sec, 60 secs
lola: 9643524 markings, 20105348 edges, 144802 markings/sec, 65 secs
lola: 10339414 markings, 21581341 edges, 139178 markings/sec, 70 secs
lola: 11017717 markings, 23071607 edges, 135661 markings/sec, 75 secs
lola: 11684698 markings, 24490376 edges, 133396 markings/sec, 80 secs
lola: 12398903 markings, 25988267 edges, 142841 markings/sec, 85 secs
lola: 13035791 markings, 27460767 edges, 127378 markings/sec, 90 secs
lola: 13727283 markings, 28892454 edges, 138298 markings/sec, 95 secs
lola: 14384719 markings, 30328328 edges, 131487 markings/sec, 100 secs
lola: 15069132 markings, 31809855 edges, 136883 markings/sec, 105 secs
lola: 15708093 markings, 33277082 edges, 127792 markings/sec, 110 secs
lola: 16362410 markings, 34736549 edges, 130863 markings/sec, 115 secs
lola: 17034781 markings, 36119627 edges, 134474 markings/sec, 120 secs
lola: 17700406 markings, 37594039 edges, 133125 markings/sec, 125 secs
lola: 18373555 markings, 39072028 edges, 134630 markings/sec, 130 secs
lola: 18995200 markings, 40496042 edges, 124329 markings/sec, 135 secs
lola: 19677662 markings, 41901339 edges, 136492 markings/sec, 140 secs
lola: 20328380 markings, 43330754 edges, 130144 markings/sec, 145 secs
lola: 20997642 markings, 44792184 edges, 133852 markings/sec, 150 secs
lola: 21633045 markings, 46242683 edges, 127081 markings/sec, 155 secs
lola: 22278939 markings, 47683250 edges, 129179 markings/sec, 160 secs
lola: 22946001 markings, 49052785 edges, 133412 markings/sec, 165 secs
lola: 23602647 markings, 50510045 edges, 131329 markings/sec, 170 secs
lola: 24273054 markings, 51969237 edges, 134081 markings/sec, 175 secs
lola: 24878967 markings, 53379259 edges, 121183 markings/sec, 180 secs
lola: 25559838 markings, 54803765 edges, 136174 markings/sec, 185 secs
lola: 26203972 markings, 56190473 edges, 128827 markings/sec, 190 secs
lola: 26951119 markings, 57661113 edges, 149429 markings/sec, 195 secs
lola: 27618510 markings, 59141824 edges, 133478 markings/sec, 200 secs
lola: 28251245 markings, 60566426 edges, 126547 markings/sec, 205 secs
lola: 28885395 markings, 62034907 edges, 126830 markings/sec, 210 secs
lola: 29487433 markings, 63429991 edges, 120408 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(p177)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 737826 markings, 1501966 edges, 147565 markings/sec, 0 secs
lola: 1468721 markings, 2979714 edges, 146179 markings/sec, 5 secs
lola: 2196441 markings, 4459838 edges, 145544 markings/sec, 10 secs
lola: 2919377 markings, 5929575 edges, 144587 markings/sec, 15 secs
lola: 3587631 markings, 7281584 edges, 133651 markings/sec, 20 secs
lola: 4233576 markings, 8606655 edges, 129189 markings/sec, 25 secs
lola: 4878891 markings, 9912313 edges, 129063 markings/sec, 30 secs
lola: 5527551 markings, 11222839 edges, 129732 markings/sec, 35 secs
lola: 6179006 markings, 12554483 edges, 130291 markings/sec, 40 secs
lola: 6836672 markings, 13890704 edges, 131533 markings/sec, 45 secs
lola: 7489102 markings, 15210691 edges, 130486 markings/sec, 50 secs
lola: 8139447 markings, 16531605 edges, 130069 markings/sec, 55 secs
lola: 8815086 markings, 17908741 edges, 135128 markings/sec, 60 secs
lola: 9535144 markings, 19368207 edges, 144012 markings/sec, 65 secs
lola: 10199068 markings, 20721881 edges, 132785 markings/sec, 70 secs
lola: 10836126 markings, 22084874 edges, 127412 markings/sec, 75 secs
lola: 11472362 markings, 23429971 edges, 127247 markings/sec, 80 secs
lola: 12172677 markings, 24841965 edges, 140063 markings/sec, 85 secs
lola: 12869890 markings, 26291960 edges, 139443 markings/sec, 90 secs
lola: 13568947 markings, 27745246 edges, 139811 markings/sec, 95 secs
lola: 14247880 markings, 29194142 edges, 135787 markings/sec, 100 secs
lola: 14957393 markings, 30661165 edges, 141903 markings/sec, 105 secs
lola: 15640507 markings, 32109294 edges, 136623 markings/sec, 110 secs
lola: 16295459 markings, 33496639 edges, 130990 markings/sec, 115 secs
lola: 17006305 markings, 34896552 edges, 142169 markings/sec, 120 secs
lola: 17707689 markings, 36302290 edges, 140277 markings/sec, 125 secs
lola: 18413629 markings, 37807311 edges, 141188 markings/sec, 130 secs
lola: 19090227 markings, 39227562 edges, 135320 markings/sec, 135 secs
lola: 19774778 markings, 40630755 edges, 136910 markings/sec, 140 secs
lola: 20493578 markings, 42110845 edges, 143760 markings/sec, 145 secs
lola: 21173960 markings, 43568252 edges, 136076 markings/sec, 150 secs
lola: 21846286 markings, 44987797 edges, 134465 markings/sec, 155 secs
lola: 22560508 markings, 46386487 edges, 142844 markings/sec, 160 secs
lola: 23251289 markings, 47783577 edges, 138156 markings/sec, 165 secs
lola: 23964326 markings, 49283603 edges, 142607 markings/sec, 170 secs
lola: 24638349 markings, 50711660 edges, 134805 markings/sec, 175 secs
lola: 25342658 markings, 52146380 edges, 140862 markings/sec, 180 secs
lola: 26046408 markings, 53608225 edges, 140750 markings/sec, 185 secs
lola: 26719892 markings, 55051345 edges, 134697 markings/sec, 190 secs
lola: 27396288 markings, 56474059 edges, 135279 markings/sec, 195 secs
lola: 28114641 markings, 57869633 edges, 143671 markings/sec, 200 secs
lola: 28797665 markings, 59264392 edges, 136605 markings/sec, 205 secs
lola: 29510890 markings, 60760763 edges, 142645 markings/sec, 210 secs
lola: 30176129 markings, 62186704 edges, 133048 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(p323)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 796060 markings, 1495544 edges, 159212 markings/sec, 0 secs
lola: 1513236 markings, 2842293 edges, 143435 markings/sec, 5 secs
lola: 2264106 markings, 4252268 edges, 150174 markings/sec, 10 secs
lola: 3117511 markings, 5739544 edges, 170681 markings/sec, 15 secs
lola: 3961172 markings, 7279191 edges, 168732 markings/sec, 20 secs
lola: 4773253 markings, 8798579 edges, 162416 markings/sec, 25 secs
lola: 5575770 markings, 10317092 edges, 160503 markings/sec, 30 secs
lola: 6381665 markings, 11811180 edges, 161179 markings/sec, 35 secs
lola: 7162194 markings, 13311658 edges, 156106 markings/sec, 40 secs
lola: 7962249 markings, 14793262 edges, 160011 markings/sec, 45 secs
lola: 8732440 markings, 16277913 edges, 154038 markings/sec, 50 secs
lola: 9528711 markings, 17748191 edges, 159254 markings/sec, 55 secs
lola: 10285712 markings, 19209628 edges, 151400 markings/sec, 60 secs
lola: 11074058 markings, 20666030 edges, 157669 markings/sec, 65 secs
lola: 11833684 markings, 22129893 edges, 151925 markings/sec, 70 secs
lola: 12620365 markings, 23585847 edges, 157336 markings/sec, 75 secs
lola: 13379489 markings, 25046176 edges, 151825 markings/sec, 80 secs
lola: 14134784 markings, 26449754 edges, 151059 markings/sec, 85 secs
lola: 14856170 markings, 27830881 edges, 144277 markings/sec, 90 secs
lola: 15565082 markings, 29168283 edges, 141782 markings/sec, 95 secs
lola: 16274854 markings, 30488187 edges, 141954 markings/sec, 100 secs
lola: 16950265 markings, 31793593 edges, 135082 markings/sec, 105 secs
lola: 17653815 markings, 33085988 edges, 140710 markings/sec, 110 secs
lola: 18309680 markings, 34383194 edges, 131173 markings/sec, 115 secs
lola: 19029133 markings, 35659588 edges, 143891 markings/sec, 120 secs
lola: 19684976 markings, 36958561 edges, 131169 markings/sec, 125 secs
lola: 20381951 markings, 38234294 edges, 139395 markings/sec, 130 secs
lola: 21052368 markings, 39526402 edges, 134083 markings/sec, 135 secs
lola: 21725965 markings, 40805180 edges, 134719 markings/sec, 140 secs
lola: 22423999 markings, 42086362 edges, 139607 markings/sec, 145 secs
lola: 23071589 markings, 43366153 edges, 129518 markings/sec, 150 secs
lola: 23780101 markings, 44637712 edges, 141702 markings/sec, 155 secs
lola: 24432679 markings, 45926777 edges, 130516 markings/sec, 160 secs
lola: 25132503 markings, 47190735 edges, 139965 markings/sec, 165 secs
lola: 25789569 markings, 48469485 edges, 131413 markings/sec, 170 secs
lola: 26462042 markings, 49732695 edges, 134495 markings/sec, 175 secs
lola: 27144420 markings, 51005349 edges, 136476 markings/sec, 180 secs
lola: 27794902 markings, 52268376 edges, 130096 markings/sec, 185 secs
lola: 28486989 markings, 53526886 edges, 138417 markings/sec, 190 secs
lola: 29128689 markings, 54795456 edges, 128340 markings/sec, 195 secs
lola: 29825155 markings, 56042225 edges, 139293 markings/sec, 200 secs
lola: 30470549 markings, 57305139 edges, 129079 markings/sec, 205 secs
lola: 31135585 markings, 58552652 edges, 133007 markings/sec, 210 secs
lola: 31807116 markings, 59805355 edges, 134306 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(p102)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 789689 markings, 1468352 edges, 157938 markings/sec, 0 secs
lola: 1505340 markings, 2943887 edges, 143130 markings/sec, 5 secs
lola: 2179283 markings, 4399457 edges, 134789 markings/sec, 10 secs
lola: 2862348 markings, 5824198 edges, 136613 markings/sec, 15 secs
lola: 3528159 markings, 7275932 edges, 133162 markings/sec, 20 secs
lola: 4208027 markings, 8694470 edges, 135974 markings/sec, 25 secs
lola: 4869747 markings, 10147523 edges, 132344 markings/sec, 30 secs
lola: 5548534 markings, 11559946 edges, 135757 markings/sec, 35 secs
lola: 6204837 markings, 12991535 edges, 131261 markings/sec, 40 secs
lola: 6875584 markings, 14397829 edges, 134149 markings/sec, 45 secs
lola: 7537281 markings, 15836183 edges, 132339 markings/sec, 50 secs
lola: 8202276 markings, 17231735 edges, 132999 markings/sec, 55 secs
lola: 8860740 markings, 18657022 edges, 131693 markings/sec, 60 secs
lola: 9520449 markings, 20068797 edges, 131942 markings/sec, 65 secs
lola: 10175227 markings, 21459158 edges, 130956 markings/sec, 70 secs
lola: 10825494 markings, 22876313 edges, 130053 markings/sec, 75 secs
lola: 11483700 markings, 24250095 edges, 131641 markings/sec, 80 secs
lola: 12120243 markings, 25663372 edges, 127309 markings/sec, 85 secs
lola: 12784154 markings, 27028572 edges, 132782 markings/sec, 90 secs
lola: 13416750 markings, 28427772 edges, 126519 markings/sec, 95 secs
lola: 14068039 markings, 29781607 edges, 130258 markings/sec, 100 secs
lola: 14699372 markings, 31171889 edges, 126267 markings/sec, 105 secs
lola: 15350812 markings, 32524658 edges, 130288 markings/sec, 110 secs
lola: 15988466 markings, 33913883 edges, 127531 markings/sec, 115 secs
lola: 16640096 markings, 35271211 edges, 130326 markings/sec, 120 secs
lola: 17272786 markings, 36651323 edges, 126538 markings/sec, 125 secs
lola: 17925335 markings, 38013366 edges, 130510 markings/sec, 130 secs
lola: 18618279 markings, 39391297 edges, 138589 markings/sec, 135 secs
lola: 19357512 markings, 40870773 edges, 147847 markings/sec, 140 secs
lola: 20052146 markings, 42332242 edges, 138927 markings/sec, 145 secs
lola: 20728983 markings, 43815894 edges, 135367 markings/sec, 150 secs
lola: 21407062 markings, 45226357 edges, 135616 markings/sec, 155 secs
lola: 22094717 markings, 46691057 edges, 137531 markings/sec, 160 secs
lola: 22730414 markings, 48141361 edges, 127139 markings/sec, 165 secs
lola: 23400806 markings, 49581938 edges, 134078 markings/sec, 170 secs
lola: 24051055 markings, 50972977 edges, 130050 markings/sec, 175 secs
lola: 24719762 markings, 52433985 edges, 133741 markings/sec, 180 secs
lola: 25369884 markings, 53884813 edges, 130024 markings/sec, 185 secs
lola: 26006915 markings, 55329048 edges, 127406 markings/sec, 190 secs
lola: 26686593 markings, 56719132 edges, 135936 markings/sec, 195 secs
lola: 27328112 markings, 58163288 edges, 128304 markings/sec, 200 secs
lola: 28012801 markings, 59626287 edges, 136938 markings/sec, 205 secs
lola: 28632977 markings, 61047750 edges, 124035 markings/sec, 210 secs
lola: 29301438 markings, 62492833 edges, 133692 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(p87)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 743635 markings, 1357542 edges, 148727 markings/sec, 0 secs
lola: 1382119 markings, 2706301 edges, 127697 markings/sec, 5 secs
lola: 2015929 markings, 4005440 edges, 126762 markings/sec, 10 secs
lola: 2625366 markings, 5327901 edges, 121887 markings/sec, 15 secs
lola: 3235440 markings, 6595238 edges, 122015 markings/sec, 20 secs
lola: 3820563 markings, 7896213 edges, 117025 markings/sec, 25 secs
lola: 4421944 markings, 9138460 edges, 120276 markings/sec, 30 secs
lola: 5007527 markings, 10420627 edges, 117117 markings/sec, 35 secs
lola: 5615138 markings, 11680326 edges, 121522 markings/sec, 40 secs
lola: 6196710 markings, 12948735 edges, 116314 markings/sec, 45 secs
lola: 6789710 markings, 14213088 edges, 118600 markings/sec, 50 secs
lola: 7384850 markings, 15465407 edges, 119028 markings/sec, 55 secs
lola: 7961009 markings, 16747985 edges, 115232 markings/sec, 60 secs
lola: 8561769 markings, 17989379 edges, 120152 markings/sec, 65 secs
lola: 9144160 markings, 19262486 edges, 116478 markings/sec, 70 secs
lola: 9750449 markings, 20520667 edges, 121258 markings/sec, 75 secs
lola: 10339495 markings, 21801512 edges, 117809 markings/sec, 80 secs
lola: 10926765 markings, 23065546 edges, 117454 markings/sec, 85 secs
lola: 11520900 markings, 24306686 edges, 118827 markings/sec, 90 secs
lola: 12098676 markings, 25588238 edges, 115555 markings/sec, 95 secs
lola: 12701500 markings, 26838612 edges, 120565 markings/sec, 100 secs
lola: 13290047 markings, 28122579 edges, 117709 markings/sec, 105 secs
lola: 13898724 markings, 29391232 edges, 121735 markings/sec, 110 secs
lola: 14494706 markings, 30684227 edges, 119196 markings/sec, 115 secs
lola: 15093546 markings, 31966478 edges, 119768 markings/sec, 120 secs
lola: 15706857 markings, 33255291 edges, 122662 markings/sec, 125 secs
lola: 16299601 markings, 34573227 edges, 118549 markings/sec, 130 secs
lola: 16936422 markings, 35886194 edges, 127364 markings/sec, 135 secs
lola: 17534534 markings, 37208449 edges, 119622 markings/sec, 140 secs
lola: 18173973 markings, 38537419 edges, 127888 markings/sec, 145 secs
lola: 18808518 markings, 39920065 edges, 126909 markings/sec, 150 secs
lola: 19477561 markings, 41315392 edges, 133809 markings/sec, 155 secs
lola: 20129717 markings, 42741691 edges, 130431 markings/sec, 160 secs
lola: 20814999 markings, 44177888 edges, 137056 markings/sec, 165 secs
lola: 21484216 markings, 45632487 edges, 133843 markings/sec, 170 secs
lola: 22167902 markings, 47067504 edges, 136737 markings/sec, 175 secs
lola: 22839988 markings, 48528342 edges, 134417 markings/sec, 180 secs
lola: 23519985 markings, 49952760 edges, 135999 markings/sec, 185 secs
lola: 24190856 markings, 51412270 edges, 134174 markings/sec, 190 secs
lola: 24863272 markings, 52828814 edges, 134483 markings/sec, 195 secs
lola: 25527085 markings, 54260852 edges, 132763 markings/sec, 200 secs
lola: 26191863 markings, 55686846 edges, 132956 markings/sec, 205 secs
lola: 26854977 markings, 57094104 edges, 132623 markings/sec, 210 secs
lola: 27513301 markings, 58529400 edges, 131665 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(p102)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 798903 markings, 1489852 edges, 159781 markings/sec, 0 secs
lola: 1521309 markings, 2976089 edges, 144481 markings/sec, 5 secs
lola: 2200648 markings, 4446826 edges, 135868 markings/sec, 10 secs
lola: 2888851 markings, 5882007 edges, 137641 markings/sec, 15 secs
lola: 3559273 markings, 7345494 edges, 134084 markings/sec, 20 secs
lola: 4244597 markings, 8776167 edges, 137065 markings/sec, 25 secs
lola: 4913299 markings, 10236991 edges, 133740 markings/sec, 30 secs
lola: 5594356 markings, 11658171 edges, 136211 markings/sec, 35 secs
lola: 6259886 markings, 13117339 edges, 133106 markings/sec, 40 secs
lola: 6941056 markings, 14536925 edges, 136234 markings/sec, 45 secs
lola: 7602972 markings, 15982382 edges, 132383 markings/sec, 50 secs
lola: 8280244 markings, 17401319 edges, 135454 markings/sec, 55 secs
lola: 8943681 markings, 18843543 edges, 132687 markings/sec, 60 secs
lola: 9616461 markings, 20252680 edges, 134556 markings/sec, 65 secs
lola: 10279632 markings, 21693690 edges, 132634 markings/sec, 70 secs
lola: 10943812 markings, 23097909 edges, 132836 markings/sec, 75 secs
lola: 11601427 markings, 24509861 edges, 131523 markings/sec, 80 secs
lola: 12255567 markings, 25929646 edges, 130828 markings/sec, 85 secs
lola: 12916214 markings, 27311333 edges, 132129 markings/sec, 90 secs
lola: 13562228 markings, 28731827 edges, 129203 markings/sec, 95 secs
lola: 14222766 markings, 30102895 edges, 132108 markings/sec, 100 secs
lola: 14859374 markings, 31517418 edges, 127322 markings/sec, 105 secs
lola: 15522191 markings, 32881627 edges, 132563 markings/sec, 110 secs
lola: 16156670 markings, 34282328 edges, 126896 markings/sec, 115 secs
lola: 16810422 markings, 35645446 edges, 130750 markings/sec, 120 secs
lola: 17444928 markings, 37038152 edges, 126901 markings/sec, 125 secs
lola: 18113686 markings, 38412058 edges, 133752 markings/sec, 130 secs
lola: 18871025 markings, 39865097 edges, 151468 markings/sec, 135 secs
lola: 19604674 markings, 41358555 edges, 146730 markings/sec, 140 secs
lola: 20304425 markings, 42860895 edges, 139950 markings/sec, 145 secs
lola: 20987812 markings, 44343239 edges, 136677 markings/sec, 150 secs
lola: 21655114 markings, 45780254 edges, 133460 markings/sec, 155 secs
lola: 22359075 markings, 47283127 edges, 140792 markings/sec, 160 secs
lola: 22998140 markings, 48749277 edges, 127813 markings/sec, 165 secs
lola: 23683548 markings, 50161737 edges, 137082 markings/sec, 170 secs
lola: 24334645 markings, 51612072 edges, 130219 markings/sec, 175 secs
lola: 25028936 markings, 53094940 edges, 138858 markings/sec, 180 secs
lola: 25653376 markings, 54529044 edges, 124888 markings/sec, 185 secs
lola: 26328651 markings, 55981189 edges, 135055 markings/sec, 190 secs
lola: 26984451 markings, 57384931 edges, 131160 markings/sec, 195 secs
lola: 27656301 markings, 58854146 edges, 134370 markings/sec, 200 secs
lola: 28313585 markings, 60325307 edges, 131457 markings/sec, 205 secs
lola: 28951221 markings, 61771101 edges, 127527 markings/sec, 210 secs
lola: 29632082 markings, 63170214 edges, 136172 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(p100)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 805236 markings, 1500113 edges, 161047 markings/sec, 0 secs
lola: 1531120 markings, 2994278 edges, 145177 markings/sec, 5 secs
lola: 2212603 markings, 4470628 edges, 136297 markings/sec, 10 secs
lola: 2903869 markings, 5913848 edges, 138253 markings/sec, 15 secs
lola: 3575852 markings, 7379070 edges, 134397 markings/sec, 20 secs
lola: 4261897 markings, 8810778 edges, 137209 markings/sec, 25 secs
lola: 4930903 markings, 10271960 edges, 133801 markings/sec, 30 secs
lola: 5614441 markings, 11698604 edges, 136708 markings/sec, 35 secs
lola: 6281803 markings, 13160573 edges, 133472 markings/sec, 40 secs
lola: 6961867 markings, 14579101 edges, 136013 markings/sec, 45 secs
lola: 7623292 markings, 16026453 edges, 132285 markings/sec, 50 secs
lola: 8300822 markings, 17444333 edges, 135506 markings/sec, 55 secs
lola: 8961762 markings, 18879907 edges, 132188 markings/sec, 60 secs
lola: 9635125 markings, 20289720 edges, 134673 markings/sec, 65 secs
lola: 10298827 markings, 21735136 edges, 132740 markings/sec, 70 secs
lola: 10965001 markings, 23137313 edges, 133235 markings/sec, 75 secs
lola: 11624946 markings, 24560484 edges, 131989 markings/sec, 80 secs
lola: 12283305 markings, 25976976 edges, 131672 markings/sec, 85 secs
lola: 12941972 markings, 27366913 edges, 131733 markings/sec, 90 secs
lola: 13592947 markings, 28791947 edges, 130195 markings/sec, 95 secs
lola: 14253695 markings, 30170451 edges, 132150 markings/sec, 100 secs
lola: 14894704 markings, 31592242 edges, 128202 markings/sec, 105 secs
lola: 15561998 markings, 32963696 edges, 133459 markings/sec, 110 secs
lola: 16200029 markings, 34376564 edges, 127606 markings/sec, 115 secs
lola: 16858299 markings, 35743169 edges, 131654 markings/sec, 120 secs
lola: 17496788 markings, 37148397 edges, 127698 markings/sec, 125 secs
lola: 18150198 markings, 38509734 edges, 130682 markings/sec, 130 secs
lola: 18791716 markings, 39905732 edges, 128304 markings/sec, 135 secs
lola: 19447602 markings, 41269751 edges, 131177 markings/sec, 140 secs
lola: 20084553 markings, 42664793 edges, 127390 markings/sec, 145 secs
lola: 20745550 markings, 44033774 edges, 132199 markings/sec, 150 secs
lola: 21462930 markings, 45442205 edges, 143476 markings/sec, 155 secs
lola: 22209097 markings, 46945714 edges, 149233 markings/sec, 160 secs
lola: 22912002 markings, 48426572 edges, 140581 markings/sec, 165 secs
lola: 23590527 markings, 49929589 edges, 135705 markings/sec, 170 secs
lola: 24264880 markings, 51346554 edges, 134871 markings/sec, 175 secs
lola: 24968967 markings, 52833193 edges, 140817 markings/sec, 180 secs
lola: 25598577 markings, 54294699 edges, 125922 markings/sec, 185 secs
lola: 26288744 markings, 55725020 edges, 138033 markings/sec, 190 secs
lola: 26936898 markings, 57138769 edges, 129631 markings/sec, 195 secs
lola: 27616016 markings, 58615244 edges, 135824 markings/sec, 200 secs
lola: 28256109 markings, 60068755 edges, 128019 markings/sec, 205 secs
lola: 28903560 markings, 61512285 edges, 129490 markings/sec, 210 secs
lola: 29574675 markings, 62889690 edges, 134223 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(p190)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 891226 markings, 1152566 edges, 178245 markings/sec, 0 secs
lola: 1742183 markings, 2273290 edges, 170191 markings/sec, 5 secs
lola: 2582925 markings, 3379730 edges, 168148 markings/sec, 10 secs
lola: 3389416 markings, 4485595 edges, 161298 markings/sec, 15 secs
lola: 4222469 markings, 5600713 edges, 166611 markings/sec, 20 secs
lola: 5099120 markings, 6774778 edges, 175330 markings/sec, 25 secs
lola: 5975272 markings, 7948277 edges, 175230 markings/sec, 30 secs
lola: 6830858 markings, 9092279 edges, 171117 markings/sec, 35 secs
lola: 7619762 markings, 10249542 edges, 157781 markings/sec, 40 secs
lola: 8390599 markings, 11418496 edges, 154167 markings/sec, 45 secs
lola: 9153228 markings, 12584896 edges, 152526 markings/sec, 50 secs
lola: 9974397 markings, 13706741 edges, 164234 markings/sec, 55 secs
lola: 10841126 markings, 14867818 edges, 173346 markings/sec, 60 secs
lola: 11704940 markings, 16012651 edges, 172763 markings/sec, 65 secs
lola: 12501341 markings, 17162960 edges, 159280 markings/sec, 70 secs
lola: 13320533 markings, 18298615 edges, 163838 markings/sec, 75 secs
lola: 14140887 markings, 19462747 edges, 164071 markings/sec, 80 secs
lola: 15050874 markings, 20689431 edges, 181997 markings/sec, 85 secs
lola: 15911541 markings, 21887580 edges, 172133 markings/sec, 90 secs
lola: 16687292 markings, 23115720 edges, 155150 markings/sec, 95 secs
lola: 17439275 markings, 24358483 edges, 150397 markings/sec, 100 secs
lola: 18185584 markings, 25586813 edges, 149262 markings/sec, 105 secs
lola: 18974061 markings, 26771889 edges, 157695 markings/sec, 110 secs
lola: 19713469 markings, 28023811 edges, 147882 markings/sec, 115 secs
lola: 20458614 markings, 29390680 edges, 149029 markings/sec, 120 secs
lola: 21142968 markings, 30716148 edges, 136871 markings/sec, 125 secs
lola: 21823907 markings, 32015026 edges, 136188 markings/sec, 130 secs
lola: 22617858 markings, 33135673 edges, 158790 markings/sec, 135 secs
lola: 23411009 markings, 34309573 edges, 158630 markings/sec, 140 secs
lola: 24156351 markings, 35604836 edges, 149068 markings/sec, 145 secs
lola: 24924520 markings, 36916398 edges, 153634 markings/sec, 150 secs
lola: 25770414 markings, 38331690 edges, 169179 markings/sec, 155 secs
lola: 26563160 markings, 39701538 edges, 158549 markings/sec, 160 secs
lola: 27341472 markings, 41055258 edges, 155662 markings/sec, 165 secs
lola: 28013773 markings, 42395066 edges, 134460 markings/sec, 170 secs
lola: 28754221 markings, 43725532 edges, 148090 markings/sec, 175 secs
lola: 29465819 markings, 45149967 edges, 142320 markings/sec, 180 secs
lola: 30122068 markings, 46525631 edges, 131250 markings/sec, 185 secs
lola: 30734416 markings, 47898754 edges, 122470 markings/sec, 190 secs
lola: 31342344 markings, 49284078 edges, 121586 markings/sec, 195 secs
lola: 32050391 markings, 50607185 edges, 141609 markings/sec, 200 secs
lola: 32673113 markings, 51985382 edges, 124544 markings/sec, 205 secs
lola: 33276406 markings, 53404085 edges, 120659 markings/sec, 210 secs
lola: 33863795 markings, 54786023 edges, 117478 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(p35)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 859782 markings, 1242121 edges, 171956 markings/sec, 0 secs
lola: 1554522 markings, 2502646 edges, 138948 markings/sec, 5 secs
lola: 2255306 markings, 3827195 edges, 140157 markings/sec, 10 secs
lola: 3166248 markings, 5136423 edges, 182188 markings/sec, 15 secs
lola: 4096101 markings, 6481172 edges, 185971 markings/sec, 20 secs
lola: 5026184 markings, 7806173 edges, 186017 markings/sec, 25 secs
lola: 5926436 markings, 9110395 edges, 180050 markings/sec, 30 secs
lola: 6827298 markings, 10396146 edges, 180172 markings/sec, 35 secs
lola: 7705069 markings, 11668108 edges, 175554 markings/sec, 40 secs
lola: 8586573 markings, 12926667 edges, 176301 markings/sec, 45 secs
lola: 9440267 markings, 14167731 edges, 170739 markings/sec, 50 secs
lola: 10292319 markings, 15387416 edges, 170410 markings/sec, 55 secs
lola: 11194517 markings, 16645175 edges, 180440 markings/sec, 60 secs
lola: 12115225 markings, 17889026 edges, 184142 markings/sec, 65 secs
lola: 13011424 markings, 19095862 edges, 179240 markings/sec, 70 secs
lola: 13869040 markings, 20277117 edges, 171523 markings/sec, 75 secs
lola: 14672066 markings, 21439888 edges, 160605 markings/sec, 80 secs
lola: 15387974 markings, 22668619 edges, 143182 markings/sec, 85 secs
lola: 16007353 markings, 23965019 edges, 123876 markings/sec, 90 secs
lola: 16869550 markings, 25278645 edges, 172439 markings/sec, 95 secs
lola: 17785389 markings, 26604841 edges, 183168 markings/sec, 100 secs
lola: 18679179 markings, 27900886 edges, 178758 markings/sec, 105 secs
lola: 19553358 markings, 29173072 edges, 174836 markings/sec, 110 secs
lola: 20415804 markings, 30422255 edges, 172489 markings/sec, 115 secs
lola: 21262975 markings, 31651553 edges, 169434 markings/sec, 120 secs
lola: 22194196 markings, 32911176 edges, 186244 markings/sec, 125 secs
lola: 23077767 markings, 34110291 edges, 176714 markings/sec, 130 secs
lola: 23890849 markings, 35293237 edges, 162616 markings/sec, 135 secs
lola: 24691857 markings, 36522247 edges, 160202 markings/sec, 140 secs
lola: 25492019 markings, 37811047 edges, 160032 markings/sec, 145 secs
lola: 26413345 markings, 39081612 edges, 184265 markings/sec, 150 secs
lola: 27169713 markings, 40265895 edges, 151274 markings/sec, 155 secs
lola: 28023428 markings, 41533949 edges, 170743 markings/sec, 160 secs
lola: 28891854 markings, 42757034 edges, 173685 markings/sec, 165 secs
lola: 29525798 markings, 43948380 edges, 126789 markings/sec, 170 secs
lola: 30410112 markings, 45226713 edges, 176863 markings/sec, 175 secs
lola: 31188064 markings, 46437423 edges, 155590 markings/sec, 180 secs
lola: 31804582 markings, 47621814 edges, 123304 markings/sec, 185 secs
lola: 32450569 markings, 48867798 edges, 129197 markings/sec, 190 secs
lola: 33234347 markings, 50066407 edges, 156756 markings/sec, 195 secs
lola: 34081858 markings, 51357921 edges, 169502 markings/sec, 200 secs
lola: 34929129 markings, 52632997 edges, 169454 markings/sec, 205 secs
lola: 35769342 markings, 53893658 edges, 168043 markings/sec, 210 secs
lola: 36590883 markings, 55146477 edges, 164308 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(p46)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 936359 markings, 1325698 edges, 187272 markings/sec, 0 secs
lola: 1702144 markings, 2637139 edges, 153157 markings/sec, 5 secs
lola: 2428558 markings, 4014832 edges, 145283 markings/sec, 10 secs
lola: 3244449 markings, 5432991 edges, 163178 markings/sec, 15 secs
lola: 4283665 markings, 6928107 edges, 207843 markings/sec, 20 secs
lola: 5306903 markings, 8402703 edges, 204648 markings/sec, 25 secs
lola: 6315453 markings, 9852359 edges, 201710 markings/sec, 30 secs
lola: 7306226 markings, 11276306 edges, 198155 markings/sec, 35 secs
lola: 8274811 markings, 12674025 edges, 193717 markings/sec, 40 secs
lola: 9231282 markings, 14053551 edges, 191294 markings/sec, 45 secs
lola: 10171852 markings, 15411444 edges, 188114 markings/sec, 50 secs
lola: 11104338 markings, 16741132 edges, 186497 markings/sec, 55 secs
lola: 12012551 markings, 18055004 edges, 181643 markings/sec, 60 secs
lola: 12910552 markings, 19350262 edges, 179600 markings/sec, 65 secs
lola: 13802633 markings, 20629562 edges, 178416 markings/sec, 70 secs
lola: 14791667 markings, 22016904 edges, 197807 markings/sec, 75 secs
lola: 15809913 markings, 23391747 edges, 203649 markings/sec, 80 secs
lola: 16787853 markings, 24711024 edges, 195588 markings/sec, 85 secs
lola: 17724463 markings, 25975261 edges, 187322 markings/sec, 90 secs
lola: 18607910 markings, 27224759 edges, 176689 markings/sec, 95 secs
lola: 19463494 markings, 28459651 edges, 171117 markings/sec, 100 secs
lola: 20241501 markings, 29764204 edges, 155601 markings/sec, 105 secs
lola: 20885196 markings, 31111906 edges, 128739 markings/sec, 110 secs
lola: 21693456 markings, 32540855 edges, 161652 markings/sec, 115 secs
lola: 22712807 markings, 34025170 edges, 203870 markings/sec, 120 secs
lola: 23700974 markings, 35453490 edges, 197633 markings/sec, 125 secs
lola: 24658871 markings, 36844158 edges, 191579 markings/sec, 130 secs
lola: 25593780 markings, 38200865 edges, 186982 markings/sec, 135 secs
lola: 26502502 markings, 39518647 edges, 181744 markings/sec, 140 secs
lola: 27388635 markings, 40806095 edges, 177227 markings/sec, 145 secs
lola: 28304594 markings, 42124540 edges, 183192 markings/sec, 150 secs
lola: 29314328 markings, 43494826 edges, 201947 markings/sec, 155 secs
lola: 30268149 markings, 44784192 edges, 190764 markings/sec, 160 secs
lola: 31149594 markings, 46032471 edges, 176289 markings/sec, 165 secs
lola: 31971252 markings, 47287109 edges, 164332 markings/sec, 170 secs
lola: 32866690 markings, 48617003 edges, 179088 markings/sec, 175 secs
lola: 33737298 markings, 50041198 edges, 174122 markings/sec, 180 secs
lola: 34706798 markings, 51381109 edges, 193900 markings/sec, 185 secs
lola: 35652421 markings, 52686396 edges, 189125 markings/sec, 190 secs
lola: 36388848 markings, 53994315 edges, 147285 markings/sec, 195 secs
lola: 37339732 markings, 55319170 edges, 190177 markings/sec, 200 secs
lola: 38256202 markings, 56613193 edges, 183294 markings/sec, 205 secs
lola: 38926559 markings, 57861967 edges, 134071 markings/sec, 210 secs
lola: 39833777 markings, 59259680 edges, 181444 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(p260)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 608514 markings, 1290422 edges, 121703 markings/sec, 0 secs
lola: 1230053 markings, 2715337 edges, 124308 markings/sec, 5 secs
lola: 1883960 markings, 4134524 edges, 130781 markings/sec, 10 secs
lola: 2498829 markings, 5559291 edges, 122974 markings/sec, 15 secs
lola: 3137487 markings, 6999841 edges, 127732 markings/sec, 20 secs
lola: 3816274 markings, 8560848 edges, 135757 markings/sec, 25 secs
lola: 4429938 markings, 10034634 edges, 122733 markings/sec, 30 secs
lola: 5043949 markings, 11444746 edges, 122802 markings/sec, 35 secs
lola: 5685477 markings, 12958288 edges, 128306 markings/sec, 40 secs
lola: 6390027 markings, 14466872 edges, 140910 markings/sec, 45 secs
lola: 7078350 markings, 15996324 edges, 137665 markings/sec, 50 secs
lola: 7713053 markings, 17471171 edges, 126941 markings/sec, 55 secs
lola: 8357403 markings, 18952822 edges, 128870 markings/sec, 60 secs
lola: 9015508 markings, 20414015 edges, 131621 markings/sec, 65 secs
lola: 9696645 markings, 21847028 edges, 136227 markings/sec, 70 secs
lola: 10436512 markings, 23344469 edges, 147973 markings/sec, 75 secs
lola: 11054594 markings, 24755048 edges, 123616 markings/sec, 80 secs
lola: 11677285 markings, 26208229 edges, 124538 markings/sec, 85 secs
lola: 12350056 markings, 27696821 edges, 134554 markings/sec, 90 secs
lola: 12989765 markings, 29221794 edges, 127942 markings/sec, 95 secs
lola: 13691883 markings, 30753040 edges, 140424 markings/sec, 100 secs
lola: 14331347 markings, 32243434 edges, 127893 markings/sec, 105 secs
lola: 15014273 markings, 33726224 edges, 136585 markings/sec, 110 secs
lola: 15687400 markings, 35284285 edges, 134625 markings/sec, 115 secs
lola: 16347032 markings, 36828362 edges, 131926 markings/sec, 120 secs
lola: 16959707 markings, 38292773 edges, 122535 markings/sec, 125 secs
lola: 17582337 markings, 39762605 edges, 124526 markings/sec, 130 secs
lola: 18230080 markings, 41257520 edges, 129549 markings/sec, 135 secs
lola: 18929433 markings, 42736246 edges, 139871 markings/sec, 140 secs
lola: 19611602 markings, 44259845 edges, 136434 markings/sec, 145 secs
lola: 20276614 markings, 45761807 edges, 133002 markings/sec, 150 secs
lola: 20902883 markings, 47276528 edges, 125254 markings/sec, 155 secs
lola: 21617328 markings, 48760800 edges, 142889 markings/sec, 160 secs
lola: 22324066 markings, 50261719 edges, 141348 markings/sec, 165 secs
lola: 23000335 markings, 51774855 edges, 135254 markings/sec, 170 secs
lola: 23657293 markings, 53258294 edges, 131392 markings/sec, 175 secs
lola: 24285631 markings, 54726748 edges, 125668 markings/sec, 180 secs
lola: 24936285 markings, 56196617 edges, 130131 markings/sec, 185 secs
lola: 25570909 markings, 57666851 edges, 126925 markings/sec, 190 secs
lola: 26236561 markings, 59092911 edges, 133130 markings/sec, 195 secs
lola: 26924190 markings, 60541119 edges, 137526 markings/sec, 200 secs
lola: 27658020 markings, 62016643 edges, 146766 markings/sec, 205 secs
lola: 28445937 markings, 63542967 edges, 157583 markings/sec, 210 secs
lola: 29068736 markings, 64953689 edges, 124560 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(p180)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 14 will run for 331 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p165)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 743216 markings, 1515032 edges, 148643 markings/sec, 0 secs
lola: 1478138 markings, 3006216 edges, 146984 markings/sec, 5 secs
lola: 2213870 markings, 4494042 edges, 147146 markings/sec, 10 secs
lola: 2921959 markings, 5930729 edges, 141618 markings/sec, 15 secs
lola: 3583877 markings, 7283950 edges, 132384 markings/sec, 20 secs
lola: 4239884 markings, 8615966 edges, 131201 markings/sec, 25 secs
lola: 4894627 markings, 9940374 edges, 130949 markings/sec, 30 secs
lola: 5555999 markings, 11281902 edges, 132274 markings/sec, 35 secs
lola: 6218234 markings, 12636362 edges, 132447 markings/sec, 40 secs
lola: 6884166 markings, 13986445 edges, 133186 markings/sec, 45 secs
lola: 7547679 markings, 15329603 edges, 132703 markings/sec, 50 secs
lola: 8219865 markings, 16691515 edges, 134437 markings/sec, 55 secs
lola: 8939788 markings, 18156306 edges, 143985 markings/sec, 60 secs
lola: 9653625 markings, 19602725 edges, 142767 markings/sec, 65 secs
lola: 10275626 markings, 20926260 edges, 124400 markings/sec, 70 secs
lola: 10937702 markings, 22331909 edges, 132415 markings/sec, 75 secs
lola: 11631298 markings, 23752098 edges, 138719 markings/sec, 80 secs
lola: 12345100 markings, 25203714 edges, 142760 markings/sec, 85 secs
lola: 13068351 markings, 26712995 edges, 144650 markings/sec, 90 secs
lola: 13732910 markings, 28177171 edges, 132912 markings/sec, 95 secs
lola: 14476064 markings, 29668519 edges, 148631 markings/sec, 100 secs
lola: 15185640 markings, 31160347 edges, 141915 markings/sec, 105 secs
lola: 15873576 markings, 32612071 edges, 137587 markings/sec, 110 secs
lola: 16587105 markings, 34045419 edges, 142706 markings/sec, 115 secs
lola: 17300204 markings, 35478823 edges, 142620 markings/sec, 120 secs
lola: 18014651 markings, 36990156 edges, 142889 markings/sec, 125 secs
lola: 18721614 markings, 38456127 edges, 141393 markings/sec, 130 secs
lola: 19418187 markings, 39909092 edges, 139315 markings/sec, 135 secs
lola: 20141837 markings, 41402716 edges, 144730 markings/sec, 140 secs
lola: 20833334 markings, 42879597 edges, 138299 markings/sec, 145 secs
lola: 21511170 markings, 44309343 edges, 135567 markings/sec, 150 secs
lola: 22228055 markings, 45714984 edges, 143377 markings/sec, 155 secs
lola: 22926415 markings, 47119840 edges, 139672 markings/sec, 160 secs
lola: 23642107 markings, 48632334 edges, 143138 markings/sec, 165 secs
lola: 24324195 markings, 50073401 edges, 136418 markings/sec, 170 secs
lola: 25036685 markings, 51524580 edges, 142498 markings/sec, 175 secs
lola: 25745416 markings, 52997614 edges, 141746 markings/sec, 180 secs
lola: 26420106 markings, 54444214 edges, 134938 markings/sec, 185 secs
lola: 27094787 markings, 55861798 edges, 134936 markings/sec, 190 secs
lola: 27809240 markings, 57248692 edges, 142891 markings/sec, 195 secs
lola: 28489012 markings, 58636147 edges, 135954 markings/sec, 200 secs
lola: 29198907 markings, 60124265 edges, 141979 markings/sec, 205 secs
lola: 29860518 markings, 61543418 edges, 132322 markings/sec, 210 secs
lola: 30572620 markings, 62981535 edges, 142420 markings/sec, 215 secs
lola: 31271793 markings, 64442388 edges, 139835 markings/sec, 220 secs
lola: 31946095 markings, 65887565 edges, 134860 markings/sec, 225 secs
lola: 32627685 markings, 67306407 edges, 136318 markings/sec, 230 secs
lola: 33343115 markings, 68697879 edges, 143086 markings/sec, 235 secs
lola: 34020274 markings, 70086770 edges, 135432 markings/sec, 240 secs
lola: 34725804 markings, 71572927 edges, 141106 markings/sec, 245 secs
lola: 35388660 markings, 72987487 edges, 132571 markings/sec, 250 secs
lola: 36107739 markings, 74429551 edges, 143816 markings/sec, 255 secs
lola: 36796561 markings, 75875248 edges, 137764 markings/sec, 260 secs
lola: 37457978 markings, 77300098 edges, 132283 markings/sec, 265 secs
lola: 38127146 markings, 78688777 edges, 133834 markings/sec, 270 secs
lola: 38821575 markings, 80039865 edges, 138886 markings/sec, 275 secs
lola: 39479599 markings, 81382989 edges, 131605 markings/sec, 280 secs
lola: 40169806 markings, 82834390 edges, 138041 markings/sec, 285 secs
lola: 40818269 markings, 84210795 edges, 129693 markings/sec, 290 secs
lola: 41497522 markings, 85597125 edges, 135851 markings/sec, 295 secs
lola: 42190246 markings, 87027786 edges, 138545 markings/sec, 300 secs
lola: 42844847 markings, 88436980 edges, 130920 markings/sec, 305 secs
lola: 43490637 markings, 89802248 edges, 129158 markings/sec, 310 secs
lola: 44179351 markings, 91150911 edges, 137743 markings/sec, 315 secs
lola: 44848429 markings, 92494306 edges, 133816 markings/sec, 320 secs
lola: 45544693 markings, 93968750 edges, 139253 markings/sec, 325 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 332 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p122)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 741438 markings, 1509951 edges, 148288 markings/sec, 0 secs
lola: 1480614 markings, 3010084 edges, 147835 markings/sec, 5 secs
lola: 2221955 markings, 4506508 edges, 148268 markings/sec, 10 secs
lola: 2930400 markings, 5943884 edges, 141689 markings/sec, 15 secs
lola: 3592414 markings, 7299050 edges, 132403 markings/sec, 20 secs
lola: 4250845 markings, 8637495 edges, 131686 markings/sec, 25 secs
lola: 4909684 markings, 9969774 edges, 131768 markings/sec, 30 secs
lola: 5574274 markings, 11315806 edges, 132918 markings/sec, 35 secs
lola: 6238056 markings, 12670792 edges, 132756 markings/sec, 40 secs
lola: 6901649 markings, 14021466 edges, 132719 markings/sec, 45 secs
lola: 7565552 markings, 15366751 edges, 132781 markings/sec, 50 secs
lola: 8239385 markings, 16731984 edges, 134767 markings/sec, 55 secs
lola: 8969133 markings, 18217596 edges, 145950 markings/sec, 60 secs
lola: 9679008 markings, 19651892 edges, 141975 markings/sec, 65 secs
lola: 10292383 markings, 20960627 edges, 122675 markings/sec, 70 secs
lola: 10941319 markings, 22337165 edges, 129787 markings/sec, 75 secs
lola: 11620159 markings, 23728793 edges, 135768 markings/sec, 80 secs
lola: 12314197 markings, 25137921 edges, 138808 markings/sec, 85 secs
lola: 13019067 markings, 26612916 edges, 140974 markings/sec, 90 secs
lola: 13676382 markings, 28048998 edges, 131463 markings/sec, 95 secs
lola: 14400095 markings, 29509932 edges, 144743 markings/sec, 100 secs
lola: 15094006 markings, 30956728 edges, 138782 markings/sec, 105 secs
lola: 15758653 markings, 32380346 edges, 132929 markings/sec, 110 secs
lola: 16443498 markings, 33771920 edges, 136969 markings/sec, 115 secs
lola: 17123273 markings, 35162563 edges, 135955 markings/sec, 120 secs
lola: 17825056 markings, 36588670 edges, 140357 markings/sec, 125 secs
lola: 18514910 markings, 38016997 edges, 137971 markings/sec, 130 secs
lola: 19151907 markings, 39420476 edges, 127399 markings/sec, 135 secs
lola: 19885031 markings, 40865168 edges, 146625 markings/sec, 140 secs
lola: 20572262 markings, 42297773 edges, 137446 markings/sec, 145 secs
lola: 21229435 markings, 43704991 edges, 131435 markings/sec, 150 secs
lola: 21909483 markings, 45087279 edges, 136010 markings/sec, 155 secs
lola: 22580019 markings, 46453764 edges, 134107 markings/sec, 160 secs
lola: 23272122 markings, 47859216 edges, 138421 markings/sec, 165 secs
lola: 23956480 markings, 49274128 edges, 136872 markings/sec, 170 secs
lola: 24587376 markings, 50663322 edges, 126179 markings/sec, 175 secs
lola: 25308965 markings, 52087471 edges, 144318 markings/sec, 180 secs
lola: 25988864 markings, 53508420 edges, 135980 markings/sec, 185 secs
lola: 26644055 markings, 54925965 edges, 131038 markings/sec, 190 secs
lola: 27317349 markings, 56296107 edges, 134659 markings/sec, 195 secs
lola: 27994945 markings, 57641302 edges, 135519 markings/sec, 200 secs
lola: 28670624 markings, 59029316 edges, 135136 markings/sec, 205 secs
lola: 29352360 markings, 60454960 edges, 136347 markings/sec, 210 secs
lola: 29993916 markings, 61834508 edges, 128311 markings/sec, 215 secs
lola: 30701532 markings, 63242041 edges, 141523 markings/sec, 220 secs
lola: 31371242 markings, 64649753 edges, 133942 markings/sec, 225 secs
lola: 32022814 markings, 66050706 edges, 130314 markings/sec, 230 secs
lola: 32685267 markings, 67418114 edges, 132491 markings/sec, 235 secs
lola: 33371890 markings, 68757562 edges, 137325 markings/sec, 240 secs
lola: 34027296 markings, 70100533 edges, 131081 markings/sec, 245 secs
lola: 34712364 markings, 71538710 edges, 137014 markings/sec, 250 secs
lola: 35353733 markings, 72909370 edges, 128274 markings/sec, 255 secs
lola: 36041573 markings, 74298569 edges, 137568 markings/sec, 260 secs
lola: 36719414 markings, 75705136 edges, 135568 markings/sec, 265 secs
lola: 37370459 markings, 77099384 edges, 130209 markings/sec, 270 secs
lola: 38013236 markings, 78461831 edges, 128555 markings/sec, 275 secs
lola: 38689342 markings, 79784403 edges, 135221 markings/sec, 280 secs
lola: 39341348 markings, 81095062 edges, 130401 markings/sec, 285 secs
lola: 40017393 markings, 82530067 edges, 135209 markings/sec, 290 secs
lola: 40674355 markings, 83884908 edges, 131392 markings/sec, 295 secs
lola: 41302819 markings, 85231815 edges, 125693 markings/sec, 300 secs
lola: 42006350 markings, 86649723 edges, 140706 markings/sec, 305 secs
lola: 42671412 markings, 88051723 edges, 133012 markings/sec, 310 secs
lola: 43312292 markings, 89406626 edges, 128176 markings/sec, 315 secs
lola: 43971258 markings, 90749459 edges, 131793 markings/sec, 320 secs
lola: 44609497 markings, 92054051 edges, 127648 markings/sec, 325 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA DES-PT-60a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-60a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496461007211

--------------------
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="S_DES-PT-60a"
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/S_DES-PT-60a.tgz
mv S_DES-PT-60a 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 S_DES-PT-60a, 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 r098-ebro-149488455800335"
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 ;