Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_DNAwalker-PT-06track28RL, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r108-blw3-149441612000047
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496332150227


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_DNAwalker-PT-06track28RL: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_DNAwalker-PT-06track28RL: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_DNAwalker-PT-06track28RL @ 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: 284/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 34 places, 250 transitions, 34 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 164 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-06track28RL-UpperBounds.task
lola: MAX(B5) : MAX(A2) : MAX(A12) : MAX(A16) : MAX(A20) : MAX(A23) : MAX(A25) : MAX(A15) : MAX(B6) : MAX(A25) : MAX(A22) : MAX(A9) : MAX(A21) : MAX(A18) : MAX(A23) : MAX(A21)
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(B5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 0 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 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 0 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: 683022 markings, 2660121 edges, 136604 markings/sec, 0 secs
lola: 1286039 markings, 5270017 edges, 120603 markings/sec, 5 secs
lola: 1863639 markings, 7786679 edges, 115520 markings/sec, 10 secs
lola: 2464225 markings, 10568541 edges, 120117 markings/sec, 15 secs
lola: 3051034 markings, 13199798 edges, 117362 markings/sec, 20 secs
lola: 3639673 markings, 15876644 edges, 117728 markings/sec, 25 secs
lola: 4211879 markings, 18423609 edges, 114441 markings/sec, 30 secs
lola: 4799928 markings, 21227501 edges, 117610 markings/sec, 35 secs
lola: 5348019 markings, 24049669 edges, 109618 markings/sec, 40 secs
lola: 5887196 markings, 26866249 edges, 107835 markings/sec, 45 secs
lola: 6384245 markings, 30201630 edges, 99410 markings/sec, 50 secs
lola: 6937909 markings, 32984629 edges, 110733 markings/sec, 55 secs
lola: 7459719 markings, 36008368 edges, 104362 markings/sec, 60 secs
lola: 7982581 markings, 38852995 edges, 104572 markings/sec, 65 secs
lola: 8650282 markings, 41668790 edges, 133540 markings/sec, 70 secs
lola: 9300723 markings, 44125648 edges, 130088 markings/sec, 75 secs
lola: 9884707 markings, 46872968 edges, 116797 markings/sec, 80 secs
lola: 10424664 markings, 49850765 edges, 107991 markings/sec, 85 secs
lola: 10982565 markings, 52960793 edges, 111580 markings/sec, 90 secs
lola: 11483152 markings, 56212228 edges, 100117 markings/sec, 95 secs
lola: 12101843 markings, 59167983 edges, 123738 markings/sec, 100 secs
lola: 12703772 markings, 61987768 edges, 120386 markings/sec, 105 secs
lola: 13269600 markings, 64863559 edges, 113166 markings/sec, 110 secs
lola: 13881572 markings, 67621462 edges, 122394 markings/sec, 115 secs
lola: 14460321 markings, 70242959 edges, 115750 markings/sec, 120 secs
lola: 14978229 markings, 73349836 edges, 103582 markings/sec, 125 secs
lola: 15466032 markings, 76146493 edges, 97561 markings/sec, 130 secs
lola: 15971726 markings, 79052978 edges, 101139 markings/sec, 135 secs
lola: 16543795 markings, 81950299 edges, 114414 markings/sec, 140 secs
lola: 17139252 markings, 84595919 edges, 119091 markings/sec, 145 secs
lola: 17669050 markings, 87530657 edges, 105960 markings/sec, 150 secs
lola: 18158208 markings, 90349555 edges, 97832 markings/sec, 155 secs
lola: 18710625 markings, 93179088 edges, 110483 markings/sec, 160 secs
lola: 19307338 markings, 95901187 edges, 119343 markings/sec, 165 secs
lola: 19928488 markings, 98279527 edges, 124230 markings/sec, 170 secs
lola: 20482121 markings, 101116468 edges, 110727 markings/sec, 175 secs
lola: 21017930 markings, 104100079 edges, 107162 markings/sec, 180 secs
lola: 21514060 markings, 107137423 edges, 99226 markings/sec, 185 secs
lola: 21985440 markings, 109868901 edges, 94276 markings/sec, 190 secs
lola: 22431997 markings, 112541343 edges, 89311 markings/sec, 195 secs
lola: 22904737 markings, 115364102 edges, 94548 markings/sec, 200 secs
lola: 23376961 markings, 118154965 edges, 94445 markings/sec, 205 secs
lola: 23862768 markings, 120581530 edges, 97161 markings/sec, 210 secs
lola: 24325933 markings, 123284929 edges, 92633 markings/sec, 215 secs
lola: 24795673 markings, 126057694 edges, 93948 markings/sec, 220 secs
lola: 25257948 markings, 128772196 edges, 92455 markings/sec, 225 secs
lola: 25708147 markings, 131405010 edges, 90040 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 0 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: 1128752 markings, 2319447 edges, 225750 markings/sec, 0 secs
lola: 2057157 markings, 5201982 edges, 185681 markings/sec, 5 secs
lola: 3113340 markings, 7856321 edges, 211237 markings/sec, 10 secs
lola: 4147307 markings, 10542863 edges, 206793 markings/sec, 15 secs
lola: 4762170 markings, 12877022 edges, 122973 markings/sec, 20 secs
lola: 5393060 markings, 15131745 edges, 126178 markings/sec, 25 secs
lola: 5982833 markings, 17313870 edges, 117955 markings/sec, 30 secs
lola: 6580150 markings, 19541975 edges, 119463 markings/sec, 35 secs
lola: 7177647 markings, 21730042 edges, 119499 markings/sec, 40 secs
lola: 7753476 markings, 23898206 edges, 115166 markings/sec, 45 secs
lola: 8337522 markings, 26033947 edges, 116809 markings/sec, 50 secs
lola: 8918960 markings, 28292170 edges, 116288 markings/sec, 55 secs
lola: 9509920 markings, 30421731 edges, 118192 markings/sec, 60 secs
lola: 10101466 markings, 32652159 edges, 118309 markings/sec, 65 secs
lola: 10667714 markings, 34844304 edges, 113250 markings/sec, 70 secs
lola: 11236910 markings, 37066925 edges, 113839 markings/sec, 75 secs
lola: 11901186 markings, 39378811 edges, 132855 markings/sec, 80 secs
lola: 12853622 markings, 41914476 edges, 190487 markings/sec, 85 secs
lola: 13778690 markings, 44325964 edges, 185014 markings/sec, 90 secs
lola: 14677691 markings, 46780065 edges, 179800 markings/sec, 95 secs
lola: 15533574 markings, 49568816 edges, 171177 markings/sec, 100 secs
lola: 16359236 markings, 52505750 edges, 165132 markings/sec, 105 secs
lola: 17100790 markings, 55384341 edges, 148311 markings/sec, 110 secs
lola: 17823984 markings, 58430213 edges, 144639 markings/sec, 115 secs
lola: 18707562 markings, 61129853 edges, 176716 markings/sec, 120 secs
lola: 19614473 markings, 63636837 edges, 181382 markings/sec, 125 secs
lola: 20429294 markings, 66458640 edges, 162964 markings/sec, 130 secs
lola: 21148433 markings, 69397450 edges, 143828 markings/sec, 135 secs
lola: 21865944 markings, 71476501 edges, 143502 markings/sec, 140 secs
lola: 22642483 markings, 74072313 edges, 155308 markings/sec, 145 secs
lola: 23167158 markings, 76419323 edges, 104935 markings/sec, 150 secs
lola: 23670994 markings, 78712480 edges, 100767 markings/sec, 155 secs
lola: 24477894 markings, 81113063 edges, 161380 markings/sec, 160 secs
lola: 25236227 markings, 83681009 edges, 151667 markings/sec, 165 secs
lola: 25905456 markings, 86426652 edges, 133846 markings/sec, 170 secs
lola: 26644153 markings, 89151268 edges, 147739 markings/sec, 175 secs
lola: 27385299 markings, 91822144 edges, 148229 markings/sec, 180 secs
lola: 28095212 markings, 94516878 edges, 141983 markings/sec, 185 secs
lola: 28625918 markings, 96913414 edges, 106141 markings/sec, 190 secs
lola: 29116769 markings, 99106667 edges, 98170 markings/sec, 195 secs
lola: 29771869 markings, 101748062 edges, 131020 markings/sec, 200 secs
lola: 30333428 markings, 104336903 edges, 112312 markings/sec, 205 secs
lola: 31171832 markings, 106592049 edges, 167681 markings/sec, 210 secs
lola: 31930938 markings, 108949521 edges, 151821 markings/sec, 215 secs
lola: 32651312 markings, 111690584 edges, 144075 markings/sec, 220 secs
lola: 33395611 markings, 114122804 edges, 148860 markings/sec, 225 secs
lola: 34193169 markings, 116426378 edges, 159512 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 0 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: 842065 markings, 2216796 edges, 168413 markings/sec, 0 secs
lola: 1474657 markings, 4636514 edges, 126518 markings/sec, 5 secs
lola: 2214494 markings, 6917493 edges, 147967 markings/sec, 10 secs
lola: 2956595 markings, 9253306 edges, 148420 markings/sec, 15 secs
lola: 3714908 markings, 11507126 edges, 151663 markings/sec, 20 secs
lola: 4397522 markings, 13843497 edges, 136523 markings/sec, 25 secs
lola: 4986969 markings, 16264991 edges, 117889 markings/sec, 30 secs
lola: 5669371 markings, 18615457 edges, 136480 markings/sec, 35 secs
lola: 6340244 markings, 20912803 edges, 134175 markings/sec, 40 secs
lola: 7190664 markings, 23111773 edges, 170084 markings/sec, 45 secs
lola: 8036333 markings, 25339923 edges, 169134 markings/sec, 50 secs
lola: 8788967 markings, 27571937 edges, 150527 markings/sec, 55 secs
lola: 9386973 markings, 29939983 edges, 119601 markings/sec, 60 secs
lola: 9958832 markings, 32292787 edges, 114372 markings/sec, 65 secs
lola: 10653002 markings, 34660675 edges, 138834 markings/sec, 70 secs
lola: 11461898 markings, 36885493 edges, 161779 markings/sec, 75 secs
lola: 12227837 markings, 39027520 edges, 153188 markings/sec, 80 secs
lola: 12923387 markings, 41337202 edges, 139110 markings/sec, 85 secs
lola: 13491540 markings, 43732024 edges, 113631 markings/sec, 90 secs
lola: 14046505 markings, 46086726 edges, 110993 markings/sec, 95 secs
lola: 14680373 markings, 48377727 edges, 126774 markings/sec, 100 secs
lola: 15471129 markings, 50596697 edges, 158151 markings/sec, 105 secs
lola: 16071960 markings, 53033842 edges, 120166 markings/sec, 110 secs
lola: 16748195 markings, 55345834 edges, 135247 markings/sec, 115 secs
lola: 17379981 markings, 57710674 edges, 126357 markings/sec, 120 secs
lola: 18185313 markings, 59932225 edges, 161066 markings/sec, 125 secs
lola: 18960554 markings, 62210194 edges, 155048 markings/sec, 130 secs
lola: 19563477 markings, 64576263 edges, 120585 markings/sec, 135 secs
lola: 20106326 markings, 66654308 edges, 108570 markings/sec, 140 secs
lola: 20780024 markings, 68988906 edges, 134740 markings/sec, 145 secs
lola: 21598135 markings, 71297535 edges, 163622 markings/sec, 150 secs
lola: 22283730 markings, 73563472 edges, 137119 markings/sec, 155 secs
lola: 23055124 markings, 75781731 edges, 154279 markings/sec, 160 secs
lola: 23794939 markings, 77966193 edges, 147963 markings/sec, 165 secs
lola: 24696021 markings, 80482259 edges, 180216 markings/sec, 170 secs
lola: 25585303 markings, 82917196 edges, 177856 markings/sec, 175 secs
lola: 26283495 markings, 85323649 edges, 139638 markings/sec, 180 secs
lola: 27046741 markings, 87835451 edges, 152649 markings/sec, 185 secs
lola: 27909683 markings, 90243546 edges, 172588 markings/sec, 190 secs
lola: 28767494 markings, 92745298 edges, 171562 markings/sec, 195 secs
lola: 29628264 markings, 95098143 edges, 172154 markings/sec, 200 secs
lola: 30429883 markings, 97553394 edges, 160324 markings/sec, 205 secs
lola: 31237145 markings, 99974436 edges, 161452 markings/sec, 210 secs
lola: 32024258 markings, 102397042 edges, 157423 markings/sec, 215 secs
lola: 32726703 markings, 104576130 edges, 140489 markings/sec, 220 secs
lola: 33551762 markings, 107086103 edges, 165012 markings/sec, 225 secs
lola: 34402194 markings, 109593442 edges, 170086 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 0 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: 725223 markings, 1713735 edges, 145045 markings/sec, 0 secs
lola: 1349383 markings, 3219986 edges, 124832 markings/sec, 5 secs
lola: 1949781 markings, 5074252 edges, 120080 markings/sec, 10 secs
lola: 2553814 markings, 6896217 edges, 120807 markings/sec, 15 secs
lola: 3144185 markings, 8751914 edges, 118074 markings/sec, 20 secs
lola: 3698615 markings, 10354093 edges, 110886 markings/sec, 25 secs
lola: 4283752 markings, 12177989 edges, 117027 markings/sec, 30 secs
lola: 4873068 markings, 13949967 edges, 117863 markings/sec, 35 secs
lola: 5461866 markings, 15714065 edges, 117760 markings/sec, 40 secs
lola: 6042616 markings, 17458019 edges, 116150 markings/sec, 45 secs
lola: 6678969 markings, 19183350 edges, 127271 markings/sec, 50 secs
lola: 7293188 markings, 20897464 edges, 122844 markings/sec, 55 secs
lola: 7881918 markings, 22664075 edges, 117746 markings/sec, 60 secs
lola: 8387901 markings, 24303901 edges, 101197 markings/sec, 65 secs
lola: 8962374 markings, 26080593 edges, 114895 markings/sec, 70 secs
lola: 9536122 markings, 27910744 edges, 114750 markings/sec, 75 secs
lola: 10128416 markings, 29683356 edges, 118459 markings/sec, 80 secs
lola: 10675806 markings, 31408505 edges, 109478 markings/sec, 85 secs
lola: 11251171 markings, 33279760 edges, 115073 markings/sec, 90 secs
lola: 11787636 markings, 35110328 edges, 107293 markings/sec, 95 secs
lola: 12349778 markings, 36897008 edges, 112428 markings/sec, 100 secs
lola: 12921921 markings, 38758114 edges, 114429 markings/sec, 105 secs
lola: 13554775 markings, 40603114 edges, 126571 markings/sec, 110 secs
lola: 14125687 markings, 42451360 edges, 114182 markings/sec, 115 secs
lola: 14661767 markings, 44213046 edges, 107216 markings/sec, 120 secs
lola: 15207006 markings, 46034842 edges, 109048 markings/sec, 125 secs
lola: 15735387 markings, 47852104 edges, 105676 markings/sec, 130 secs
lola: 16302417 markings, 49547271 edges, 113406 markings/sec, 135 secs
lola: 16821703 markings, 51356033 edges, 103857 markings/sec, 140 secs
lola: 17275690 markings, 53003917 edges, 90797 markings/sec, 145 secs
lola: 17805978 markings, 54804907 edges, 106058 markings/sec, 150 secs
lola: 18311624 markings, 56508196 edges, 101129 markings/sec, 155 secs
lola: 18799594 markings, 58222407 edges, 97594 markings/sec, 160 secs
lola: 19253738 markings, 59820015 edges, 90829 markings/sec, 165 secs
lola: 19818335 markings, 61668129 edges, 112919 markings/sec, 170 secs
lola: 20387421 markings, 63495214 edges, 113817 markings/sec, 175 secs
lola: 20938512 markings, 65294805 edges, 110218 markings/sec, 180 secs
lola: 21410687 markings, 66920237 edges, 94435 markings/sec, 185 secs
lola: 21978071 markings, 68725438 edges, 113477 markings/sec, 190 secs
lola: 22500071 markings, 70493497 edges, 104400 markings/sec, 195 secs
lola: 23038923 markings, 72316853 edges, 107770 markings/sec, 200 secs
lola: 23572770 markings, 74206791 edges, 106769 markings/sec, 205 secs
lola: 24096848 markings, 76101172 edges, 104816 markings/sec, 210 secs
lola: 24633367 markings, 77949852 edges, 107304 markings/sec, 215 secs
lola: 25148689 markings, 79853556 edges, 103064 markings/sec, 220 secs
lola: 25669967 markings, 81697069 edges, 104256 markings/sec, 225 secs
lola: 26219517 markings, 83542807 edges, 109910 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 0 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: 1257220 markings, 2360415 edges, 251444 markings/sec, 0 secs
lola: 2486444 markings, 4837585 edges, 245845 markings/sec, 5 secs
lola: 3480040 markings, 7011184 edges, 198719 markings/sec, 10 secs
lola: 4225404 markings, 8846267 edges, 149073 markings/sec, 15 secs
lola: 4940238 markings, 10876694 edges, 142967 markings/sec, 20 secs
lola: 5568602 markings, 12889101 edges, 125673 markings/sec, 25 secs
lola: 6226725 markings, 14941267 edges, 131625 markings/sec, 30 secs
lola: 6941194 markings, 17044853 edges, 142894 markings/sec, 35 secs
lola: 7486923 markings, 18988602 edges, 109146 markings/sec, 40 secs
lola: 8200567 markings, 21138422 edges, 142729 markings/sec, 45 secs
lola: 8746190 markings, 23206805 edges, 109125 markings/sec, 50 secs
lola: 9298961 markings, 25317781 edges, 110554 markings/sec, 55 secs
lola: 9903195 markings, 27376550 edges, 120847 markings/sec, 60 secs
lola: 10621364 markings, 29586709 edges, 143634 markings/sec, 65 secs
lola: 11630914 markings, 31956009 edges, 201910 markings/sec, 70 secs
lola: 12627998 markings, 34325115 edges, 199417 markings/sec, 75 secs
lola: 13629099 markings, 36676996 edges, 200220 markings/sec, 80 secs
lola: 14624288 markings, 39024281 edges, 199038 markings/sec, 85 secs
lola: 15483187 markings, 41365515 edges, 171780 markings/sec, 90 secs
lola: 16422325 markings, 43712832 edges, 187828 markings/sec, 95 secs
lola: 17356255 markings, 46055795 edges, 186786 markings/sec, 100 secs
lola: 18182007 markings, 48376740 edges, 165150 markings/sec, 105 secs
lola: 18763928 markings, 50470608 edges, 116384 markings/sec, 110 secs
lola: 19333068 markings, 52524917 edges, 113828 markings/sec, 115 secs
lola: 19988457 markings, 54622907 edges, 131078 markings/sec, 120 secs
lola: 20874644 markings, 56898314 edges, 177237 markings/sec, 125 secs
lola: 21803855 markings, 59207471 edges, 185842 markings/sec, 130 secs
lola: 22722227 markings, 61594266 edges, 183674 markings/sec, 135 secs
lola: 23619410 markings, 63789133 edges, 179437 markings/sec, 140 secs
lola: 24571232 markings, 66080340 edges, 190364 markings/sec, 145 secs
lola: 25478433 markings, 68297831 edges, 181440 markings/sec, 150 secs
lola: 26371389 markings, 70484567 edges, 178591 markings/sec, 155 secs
lola: 27247303 markings, 72565528 edges, 175183 markings/sec, 160 secs
lola: 28118863 markings, 74755049 edges, 174312 markings/sec, 165 secs
lola: 28995331 markings, 76887736 edges, 175294 markings/sec, 170 secs
lola: 29860786 markings, 79057592 edges, 173091 markings/sec, 175 secs
lola: 30745543 markings, 81393630 edges, 176951 markings/sec, 180 secs
lola: 31590550 markings, 84080217 edges, 169001 markings/sec, 185 secs
lola: 32403169 markings, 86712377 edges, 162524 markings/sec, 190 secs
lola: 33222029 markings, 89324290 edges, 163772 markings/sec, 195 secs
lola: 34036154 markings, 91964420 edges, 162825 markings/sec, 200 secs
lola: 34864466 markings, 94591146 edges, 165662 markings/sec, 205 secs
lola: 35752936 markings, 97277483 edges, 177694 markings/sec, 210 secs
lola: 36556257 markings, 99884937 edges, 160664 markings/sec, 215 secs
lola: 37370539 markings, 102469812 edges, 162856 markings/sec, 220 secs
lola: 38177159 markings, 105043725 edges, 161324 markings/sec, 225 secs
lola: 39001114 markings, 107873982 edges, 164791 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 0 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: 729961 markings, 2027201 edges, 145992 markings/sec, 0 secs
lola: 1343526 markings, 4069904 edges, 122713 markings/sec, 5 secs
lola: 1975439 markings, 6038985 edges, 126383 markings/sec, 10 secs
lola: 2613829 markings, 7959948 edges, 127678 markings/sec, 15 secs
lola: 3286805 markings, 9918512 edges, 134595 markings/sec, 20 secs
lola: 3905043 markings, 11906086 edges, 123648 markings/sec, 25 secs
lola: 4520461 markings, 13937225 edges, 123084 markings/sec, 30 secs
lola: 5093492 markings, 15868007 edges, 114606 markings/sec, 35 secs
lola: 5670926 markings, 17943617 edges, 115487 markings/sec, 40 secs
lola: 6198053 markings, 19873040 edges, 105425 markings/sec, 45 secs
lola: 6714038 markings, 21934004 edges, 103197 markings/sec, 50 secs
lola: 7208114 markings, 23977504 edges, 98815 markings/sec, 55 secs
lola: 7706113 markings, 25961205 edges, 99600 markings/sec, 60 secs
lola: 8219393 markings, 28042688 edges, 102656 markings/sec, 65 secs
lola: 8734650 markings, 30006440 edges, 103051 markings/sec, 70 secs
lola: 9224347 markings, 32073089 edges, 97939 markings/sec, 75 secs
lola: 9725473 markings, 34069438 edges, 100225 markings/sec, 80 secs
lola: 10226693 markings, 36031827 edges, 100244 markings/sec, 85 secs
lola: 10740999 markings, 37937930 edges, 102861 markings/sec, 90 secs
lola: 11304736 markings, 39907748 edges, 112747 markings/sec, 95 secs
lola: 11902955 markings, 41861856 edges, 119644 markings/sec, 100 secs
lola: 12485148 markings, 43907717 edges, 116439 markings/sec, 105 secs
lola: 13043900 markings, 45847821 edges, 111750 markings/sec, 110 secs
lola: 13562833 markings, 47838458 edges, 103787 markings/sec, 115 secs
lola: 14059820 markings, 49878969 edges, 99397 markings/sec, 120 secs
lola: 14548031 markings, 51857502 edges, 97642 markings/sec, 125 secs
lola: 15027388 markings, 53865871 edges, 95871 markings/sec, 130 secs
lola: 15503637 markings, 55796294 edges, 95250 markings/sec, 135 secs
lola: 16004636 markings, 57633342 edges, 100200 markings/sec, 140 secs
lola: 16504522 markings, 59575031 edges, 99977 markings/sec, 145 secs
lola: 17099433 markings, 61575165 edges, 118982 markings/sec, 150 secs
lola: 17677154 markings, 63593660 edges, 115544 markings/sec, 155 secs
lola: 18218266 markings, 65854983 edges, 108222 markings/sec, 160 secs
lola: 18760084 markings, 67836915 edges, 108364 markings/sec, 165 secs
lola: 19267065 markings, 69823339 edges, 101396 markings/sec, 170 secs
lola: 19750148 markings, 71945036 edges, 96617 markings/sec, 175 secs
lola: 20227306 markings, 73963348 edges, 95432 markings/sec, 180 secs
lola: 20682413 markings, 75917247 edges, 91021 markings/sec, 185 secs
lola: 21173909 markings, 77904326 edges, 98299 markings/sec, 190 secs
lola: 21643782 markings, 79839848 edges, 93975 markings/sec, 195 secs
lola: 22126058 markings, 81769028 edges, 96455 markings/sec, 200 secs
lola: 22623570 markings, 83674987 edges, 99502 markings/sec, 205 secs
lola: 23116983 markings, 85538435 edges, 98683 markings/sec, 210 secs
lola: 23746704 markings, 87444940 edges, 125944 markings/sec, 215 secs
lola: 24381026 markings, 89444038 edges, 126864 markings/sec, 220 secs
lola: 24932535 markings, 91389461 edges, 110302 markings/sec, 225 secs
lola: 25483469 markings, 93297674 edges, 110187 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 0 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: 834973 markings, 2134580 edges, 166995 markings/sec, 0 secs
lola: 1593008 markings, 4370994 edges, 151607 markings/sec, 5 secs
lola: 2190202 markings, 6762462 edges, 119439 markings/sec, 10 secs
lola: 2775780 markings, 9189670 edges, 117116 markings/sec, 15 secs
lola: 3424097 markings, 11524883 edges, 129663 markings/sec, 20 secs
lola: 4137911 markings, 13876627 edges, 142763 markings/sec, 25 secs
lola: 4793387 markings, 16206355 edges, 131095 markings/sec, 30 secs
lola: 5385576 markings, 18550777 edges, 118438 markings/sec, 35 secs
lola: 6036770 markings, 20901134 edges, 130239 markings/sec, 40 secs
lola: 6874095 markings, 23042741 edges, 167465 markings/sec, 45 secs
lola: 7501123 markings, 25290448 edges, 125406 markings/sec, 50 secs
lola: 8215154 markings, 27567500 edges, 142806 markings/sec, 55 secs
lola: 8959491 markings, 29702678 edges, 148867 markings/sec, 60 secs
lola: 9556771 markings, 32032383 edges, 119456 markings/sec, 65 secs
lola: 10413764 markings, 34205769 edges, 171399 markings/sec, 70 secs
lola: 11048675 markings, 36497627 edges, 126982 markings/sec, 75 secs
lola: 11654971 markings, 38841303 edges, 121259 markings/sec, 80 secs
lola: 12342775 markings, 41139322 edges, 137561 markings/sec, 85 secs
lola: 13058606 markings, 43452139 edges, 143166 markings/sec, 90 secs
lola: 13757599 markings, 45605226 edges, 139799 markings/sec, 95 secs
lola: 14380615 markings, 47875363 edges, 124603 markings/sec, 100 secs
lola: 14973693 markings, 50143164 edges, 118616 markings/sec, 105 secs
lola: 15525843 markings, 52410441 edges, 110430 markings/sec, 110 secs
lola: 16078657 markings, 54756306 edges, 110563 markings/sec, 115 secs
lola: 16775205 markings, 56958782 edges, 139310 markings/sec, 120 secs
lola: 17427390 markings, 59373796 edges, 130437 markings/sec, 125 secs
lola: 18034682 markings, 61723221 edges, 121458 markings/sec, 130 secs
lola: 18597808 markings, 64022003 edges, 112625 markings/sec, 135 secs
lola: 19131881 markings, 66307086 edges, 106815 markings/sec, 140 secs
lola: 19668528 markings, 68650514 edges, 107329 markings/sec, 145 secs
lola: 20412240 markings, 70807135 edges, 148742 markings/sec, 150 secs
lola: 21037660 markings, 73179438 edges, 125084 markings/sec, 155 secs
lola: 21661218 markings, 75563752 edges, 124712 markings/sec, 160 secs
lola: 22328155 markings, 77842869 edges, 133387 markings/sec, 165 secs
lola: 22995913 markings, 80183423 edges, 133552 markings/sec, 170 secs
lola: 23826406 markings, 82305590 edges, 166099 markings/sec, 175 secs
lola: 24452243 markings, 84610584 edges, 125167 markings/sec, 180 secs
lola: 25094155 markings, 86972995 edges, 128382 markings/sec, 185 secs
lola: 25793040 markings, 89219473 edges, 139777 markings/sec, 190 secs
lola: 26475666 markings, 91451247 edges, 136525 markings/sec, 195 secs
lola: 27090371 markings, 93756169 edges, 122941 markings/sec, 200 secs
lola: 27654393 markings, 96068046 edges, 112804 markings/sec, 205 secs
lola: 28237301 markings, 98389930 edges, 116582 markings/sec, 210 secs
lola: 28842208 markings, 100660164 edges, 120981 markings/sec, 215 secs
lola: 29466544 markings, 102948338 edges, 124867 markings/sec, 220 secs
lola: 30101513 markings, 105175364 edges, 126994 markings/sec, 225 secs
lola: 30829169 markings, 107352471 edges, 145531 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 9 will run for 269 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 0 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: 727116 markings, 2018676 edges, 145423 markings/sec, 0 secs
lola: 1338931 markings, 4055159 edges, 122363 markings/sec, 5 secs
lola: 1969716 markings, 6019562 edges, 126157 markings/sec, 10 secs
lola: 2605199 markings, 7936922 edges, 127097 markings/sec, 15 secs
lola: 3277065 markings, 9893828 edges, 134373 markings/sec, 20 secs
lola: 3892211 markings, 11872106 edges, 123029 markings/sec, 25 secs
lola: 4511169 markings, 13899279 edges, 123792 markings/sec, 30 secs
lola: 5082288 markings, 15843716 edges, 114224 markings/sec, 35 secs
lola: 5663370 markings, 17904112 edges, 116216 markings/sec, 40 secs
lola: 6174420 markings, 19783505 edges, 102210 markings/sec, 45 secs
lola: 6685879 markings, 21848716 edges, 102292 markings/sec, 50 secs
lola: 7183831 markings, 23877976 edges, 99590 markings/sec, 55 secs
lola: 7684961 markings, 25871397 edges, 100226 markings/sec, 60 secs
lola: 8196018 markings, 27971000 edges, 102211 markings/sec, 65 secs
lola: 8720154 markings, 29932385 edges, 104827 markings/sec, 70 secs
lola: 9208386 markings, 32015512 edges, 97646 markings/sec, 75 secs
lola: 9710884 markings, 34015283 edges, 100500 markings/sec, 80 secs
lola: 10212399 markings, 35975927 edges, 100303 markings/sec, 85 secs
lola: 10727795 markings, 37885974 edges, 103079 markings/sec, 90 secs
lola: 11287578 markings, 39853143 edges, 111957 markings/sec, 95 secs
lola: 11886402 markings, 41805260 edges, 119765 markings/sec, 100 secs
lola: 12470080 markings, 43847352 edges, 116736 markings/sec, 105 secs
lola: 13028594 markings, 45789169 edges, 111703 markings/sec, 110 secs
lola: 13543488 markings, 47757015 edges, 102979 markings/sec, 115 secs
lola: 14042056 markings, 49807127 edges, 99714 markings/sec, 120 secs
lola: 14528335 markings, 51774724 edges, 97256 markings/sec, 125 secs
lola: 14999945 markings, 53766873 edges, 94322 markings/sec, 130 secs
lola: 15477364 markings, 55682490 edges, 95484 markings/sec, 135 secs
lola: 15971507 markings, 57514361 edges, 98829 markings/sec, 140 secs
lola: 16462614 markings, 59439095 edges, 98221 markings/sec, 145 secs
lola: 17063514 markings, 61456226 edges, 120180 markings/sec, 150 secs
lola: 17640796 markings, 63482800 edges, 115456 markings/sec, 155 secs
lola: 18187861 markings, 65743274 edges, 109413 markings/sec, 160 secs
lola: 18732606 markings, 67730969 edges, 108949 markings/sec, 165 secs
lola: 19236105 markings, 69715190 edges, 100700 markings/sec, 170 secs
lola: 19724946 markings, 71841638 edges, 97768 markings/sec, 175 secs
lola: 20195918 markings, 73825015 edges, 94194 markings/sec, 180 secs
lola: 20655767 markings, 75798945 edges, 91970 markings/sec, 185 secs
lola: 21139215 markings, 77778975 edges, 96690 markings/sec, 190 secs
lola: 21606918 markings, 79695012 edges, 93541 markings/sec, 195 secs
lola: 22082942 markings, 81584189 edges, 95205 markings/sec, 200 secs
lola: 22574453 markings, 83476872 edges, 98302 markings/sec, 205 secs
lola: 23063149 markings, 85314828 edges, 97739 markings/sec, 210 secs
lola: 23672956 markings, 87168121 edges, 121961 markings/sec, 215 secs
lola: 24316097 markings, 89220209 edges, 128628 markings/sec, 220 secs
lola: 24866898 markings, 91164354 edges, 110160 markings/sec, 225 secs
lola: 25418826 markings, 93086873 edges, 110386 markings/sec, 230 secs
lola: 25957828 markings, 95000869 edges, 107800 markings/sec, 235 secs
lola: 26498561 markings, 96920964 edges, 108147 markings/sec, 240 secs
lola: 27039621 markings, 98758227 edges, 108212 markings/sec, 245 secs
lola: 27633319 markings, 100794315 edges, 118740 markings/sec, 250 secs
lola: 28171600 markings, 102690032 edges, 107656 markings/sec, 255 secs
lola: 28691144 markings, 104535694 edges, 103909 markings/sec, 260 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 269 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A22)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 0 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: 927050 markings, 1987163 edges, 185410 markings/sec, 0 secs
lola: 2054202 markings, 4304759 edges, 225430 markings/sec, 5 secs
lola: 3202125 markings, 6831798 edges, 229585 markings/sec, 10 secs
lola: 4105940 markings, 9015945 edges, 180763 markings/sec, 15 secs
lola: 4809990 markings, 11062661 edges, 140810 markings/sec, 20 secs
lola: 5454919 markings, 13151170 edges, 128986 markings/sec, 25 secs
lola: 6097130 markings, 15203463 edges, 128442 markings/sec, 30 secs
lola: 6794316 markings, 17323005 edges, 139437 markings/sec, 35 secs
lola: 7370213 markings, 19404170 edges, 115179 markings/sec, 40 secs
lola: 8063923 markings, 21594306 edges, 138742 markings/sec, 45 secs
lola: 8606377 markings, 23716437 edges, 108491 markings/sec, 50 secs
lola: 9183839 markings, 25830843 edges, 115492 markings/sec, 55 secs
lola: 9773309 markings, 27896027 edges, 117894 markings/sec, 60 secs
lola: 10637178 markings, 30165548 edges, 172774 markings/sec, 65 secs
lola: 11547301 markings, 32581215 edges, 182025 markings/sec, 70 secs
lola: 12473861 markings, 34943771 edges, 185312 markings/sec, 75 secs
lola: 13412577 markings, 37274589 edges, 187743 markings/sec, 80 secs
lola: 14117111 markings, 39358906 edges, 140907 markings/sec, 85 secs
lola: 14757728 markings, 41446966 edges, 128123 markings/sec, 90 secs
lola: 15555885 markings, 43694909 edges, 159631 markings/sec, 95 secs
lola: 16362035 markings, 46045143 edges, 161230 markings/sec, 100 secs
lola: 17290995 markings, 48404176 edges, 185792 markings/sec, 105 secs
lola: 18160196 markings, 50757571 edges, 173840 markings/sec, 110 secs
lola: 18795480 markings, 52905805 edges, 127057 markings/sec, 115 secs
lola: 19549908 markings, 55139789 edges, 150886 markings/sec, 120 secs
lola: 20421748 markings, 57421375 edges, 174368 markings/sec, 125 secs
lola: 21295542 markings, 59808508 edges, 174759 markings/sec, 130 secs
lola: 22128479 markings, 62039679 edges, 166587 markings/sec, 135 secs
lola: 23043908 markings, 64328397 edges, 183086 markings/sec, 140 secs
lola: 23942453 markings, 66600013 edges, 179709 markings/sec, 145 secs
lola: 24781210 markings, 68769633 edges, 167751 markings/sec, 150 secs
lola: 25622840 markings, 70887820 edges, 168326 markings/sec, 155 secs
lola: 26448970 markings, 73003226 edges, 165226 markings/sec, 160 secs
lola: 27279554 markings, 75123426 edges, 166117 markings/sec, 165 secs
lola: 28110855 markings, 77245226 edges, 166260 markings/sec, 170 secs
lola: 28941227 markings, 79446709 edges, 166074 markings/sec, 175 secs
lola: 29756771 markings, 82049475 edges, 163109 markings/sec, 180 secs
lola: 30541755 markings, 84704333 edges, 156997 markings/sec, 185 secs
lola: 31307786 markings, 87331415 edges, 153206 markings/sec, 190 secs
lola: 32084617 markings, 89946920 edges, 155366 markings/sec, 195 secs
lola: 32846277 markings, 92558806 edges, 152332 markings/sec, 200 secs
lola: 33669741 markings, 95221195 edges, 164693 markings/sec, 205 secs
lola: 34471797 markings, 97884617 edges, 160411 markings/sec, 210 secs
lola: 35245918 markings, 100481494 edges, 154824 markings/sec, 215 secs
lola: 36021276 markings, 103061342 edges, 155072 markings/sec, 220 secs
lola: 36794137 markings, 105712678 edges, 154572 markings/sec, 225 secs
lola: 37561040 markings, 108634472 edges, 153381 markings/sec, 230 secs
lola: 38325692 markings, 111547324 edges, 152930 markings/sec, 235 secs
lola: 38933921 markings, 114007619 edges, 121646 markings/sec, 240 secs
lola: 39779135 markings, 116391121 edges, 169043 markings/sec, 245 secs
lola: 40499454 markings, 118772599 edges, 144064 markings/sec, 250 secs
lola: 41282780 markings, 121185543 edges, 156665 markings/sec, 255 secs
lola: 42099384 markings, 123583780 edges, 163321 markings/sec, 260 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 269 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 0 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: 786254 markings, 2608560 edges, 157251 markings/sec, 0 secs
lola: 1512084 markings, 4982628 edges, 145166 markings/sec, 5 secs
lola: 2168592 markings, 7803608 edges, 131302 markings/sec, 10 secs
lola: 2821547 markings, 10869476 edges, 130591 markings/sec, 15 secs
lola: 3479028 markings, 13613456 edges, 131496 markings/sec, 20 secs
lola: 4146311 markings, 16366605 edges, 133457 markings/sec, 25 secs
lola: 4827580 markings, 18963137 edges, 136254 markings/sec, 30 secs
lola: 5468367 markings, 21814790 edges, 128157 markings/sec, 35 secs
lola: 6046150 markings, 24604350 edges, 115557 markings/sec, 40 secs
lola: 6626665 markings, 27453300 edges, 116103 markings/sec, 45 secs
lola: 7197980 markings, 30361177 edges, 114263 markings/sec, 50 secs
lola: 7776390 markings, 33113913 edges, 115682 markings/sec, 55 secs
lola: 8373519 markings, 35866468 edges, 119426 markings/sec, 60 secs
lola: 8932764 markings, 38642983 edges, 111849 markings/sec, 65 secs
lola: 9505652 markings, 41398744 edges, 114578 markings/sec, 70 secs
lola: 10125750 markings, 44093423 edges, 124020 markings/sec, 75 secs
lola: 10770063 markings, 46483270 edges, 128863 markings/sec, 80 secs
lola: 11386560 markings, 48888808 edges, 123299 markings/sec, 85 secs
lola: 12018119 markings, 51295387 edges, 126312 markings/sec, 90 secs
lola: 12639644 markings, 53697986 edges, 124305 markings/sec, 95 secs
lola: 13264713 markings, 56090446 edges, 125014 markings/sec, 100 secs
lola: 13835451 markings, 58852078 edges, 114148 markings/sec, 105 secs
lola: 14391566 markings, 61681817 edges, 111223 markings/sec, 110 secs
lola: 14939887 markings, 64536287 edges, 109664 markings/sec, 115 secs
lola: 15500512 markings, 67356378 edges, 112125 markings/sec, 120 secs
lola: 16055026 markings, 70206360 edges, 110903 markings/sec, 125 secs
lola: 16592925 markings, 73164287 edges, 107580 markings/sec, 130 secs
lola: 17100916 markings, 76292866 edges, 101598 markings/sec, 135 secs
lola: 17682317 markings, 79277993 edges, 116280 markings/sec, 140 secs
lola: 18281460 markings, 82184369 edges, 119829 markings/sec, 145 secs
lola: 18848056 markings, 85284750 edges, 113319 markings/sec, 150 secs
lola: 19374954 markings, 88544742 edges, 105380 markings/sec, 155 secs
lola: 19910722 markings, 91819564 edges, 107154 markings/sec, 160 secs
lola: 20415020 markings, 95220329 edges, 100860 markings/sec, 165 secs
lola: 20994076 markings, 98381022 edges, 115811 markings/sec, 170 secs
lola: 21558530 markings, 101647710 edges, 112891 markings/sec, 175 secs
lola: 22121232 markings, 104781167 edges, 112540 markings/sec, 180 secs
lola: 22708200 markings, 107822627 edges, 117394 markings/sec, 185 secs
lola: 23290600 markings, 110758548 edges, 116480 markings/sec, 190 secs
lola: 23870735 markings, 113674413 edges, 116027 markings/sec, 195 secs
lola: 24390875 markings, 116909900 edges, 104028 markings/sec, 200 secs
lola: 24913706 markings, 120147330 edges, 104566 markings/sec, 205 secs
lola: 25418616 markings, 123466937 edges, 100982 markings/sec, 210 secs
lola: 25980718 markings, 126835756 edges, 112420 markings/sec, 215 secs
lola: 26579536 markings, 129572113 edges, 119764 markings/sec, 220 secs
lola: 27135125 markings, 132251522 edges, 111118 markings/sec, 225 secs
lola: 27672179 markings, 134830045 edges, 107411 markings/sec, 230 secs
lola: 28215317 markings, 137597657 edges, 108628 markings/sec, 235 secs
lola: 28741752 markings, 140227148 edges, 105287 markings/sec, 240 secs
lola: 29284634 markings, 142852869 edges, 108576 markings/sec, 245 secs
lola: 29796306 markings, 145476432 edges, 102334 markings/sec, 250 secs
lola: 30369427 markings, 148219584 edges, 114624 markings/sec, 255 secs
lola: 30892378 markings, 150998939 edges, 104590 markings/sec, 260 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 270 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 0 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: 1273392 markings, 2297206 edges, 254678 markings/sec, 0 secs
lola: 2319660 markings, 5025201 edges, 209254 markings/sec, 5 secs
lola: 3523511 markings, 7678617 edges, 240770 markings/sec, 10 secs
lola: 4722551 markings, 10450973 edges, 239808 markings/sec, 15 secs
lola: 5456428 markings, 12941473 edges, 146775 markings/sec, 20 secs
lola: 6092259 markings, 15298432 edges, 127166 markings/sec, 25 secs
lola: 6706351 markings, 17595280 edges, 122818 markings/sec, 30 secs
lola: 7330392 markings, 19849927 edges, 124808 markings/sec, 35 secs
lola: 7956363 markings, 22100728 edges, 125194 markings/sec, 40 secs
lola: 8544817 markings, 24332302 edges, 117691 markings/sec, 45 secs
lola: 9154686 markings, 26508775 edges, 121974 markings/sec, 50 secs
lola: 9749616 markings, 28837003 edges, 118986 markings/sec, 55 secs
lola: 10371192 markings, 31086539 edges, 124315 markings/sec, 60 secs
lola: 10981445 markings, 33377115 edges, 122051 markings/sec, 65 secs
lola: 11572801 markings, 35637007 edges, 118271 markings/sec, 70 secs
lola: 12174792 markings, 37978229 edges, 120398 markings/sec, 75 secs
lola: 12995714 markings, 40390774 edges, 164184 markings/sec, 80 secs
lola: 14063717 markings, 42958509 edges, 213601 markings/sec, 85 secs
lola: 15125239 markings, 45378100 edges, 212304 markings/sec, 90 secs
lola: 16148218 markings, 47802886 edges, 204596 markings/sec, 95 secs
lola: 17128783 markings, 50576304 edges, 196113 markings/sec, 100 secs
lola: 18079671 markings, 53435463 edges, 190178 markings/sec, 105 secs
lola: 18951139 markings, 56314834 edges, 174294 markings/sec, 110 secs
lola: 19786469 markings, 59223885 edges, 167066 markings/sec, 115 secs
lola: 20727041 markings, 62075939 edges, 188114 markings/sec, 120 secs
lola: 21778429 markings, 64466381 edges, 210278 markings/sec, 125 secs
lola: 22757473 markings, 67209457 edges, 195809 markings/sec, 130 secs
lola: 23615403 markings, 70104526 edges, 171586 markings/sec, 135 secs
lola: 24307090 markings, 72422752 edges, 138337 markings/sec, 140 secs
lola: 25294533 markings, 74912031 edges, 197489 markings/sec, 145 secs
lola: 25921639 markings, 77376379 edges, 125421 markings/sec, 150 secs
lola: 26445219 markings, 79737336 edges, 104716 markings/sec, 155 secs
lola: 27177244 markings, 82100641 edges, 146405 markings/sec, 160 secs
lola: 28080961 markings, 84454594 edges, 180743 markings/sec, 165 secs
lola: 28900113 markings, 87221479 edges, 163830 markings/sec, 170 secs
lola: 29612981 markings, 90073078 edges, 142574 markings/sec, 175 secs
lola: 30555248 markings, 92577237 edges, 188453 markings/sec, 180 secs
lola: 31341458 markings, 95362053 edges, 157242 markings/sec, 185 secs
lola: 32103822 markings, 97950685 edges, 152473 markings/sec, 190 secs
lola: 32622089 markings, 100245260 edges, 103653 markings/sec, 195 secs
lola: 33268388 markings, 102583773 edges, 129260 markings/sec, 200 secs
lola: 33872555 markings, 105374516 edges, 120833 markings/sec, 205 secs
lola: 34671561 markings, 107820638 edges, 159801 markings/sec, 210 secs
lola: 35569263 markings, 109973014 edges, 179540 markings/sec, 215 secs
lola: 36399521 markings, 112521570 edges, 166052 markings/sec, 220 secs
lola: 37180622 markings, 115169145 edges, 156220 markings/sec, 225 secs
lola: 38038229 markings, 117587461 edges, 171521 markings/sec, 230 secs
lola: 38915126 markings, 119851499 edges, 175379 markings/sec, 235 secs
lola: 39631962 markings, 122432532 edges, 143367 markings/sec, 240 secs
lola: 40381850 markings, 124800306 edges, 149978 markings/sec, 245 secs
lola: 41125395 markings, 127177067 edges, 148709 markings/sec, 250 secs
lola: 41984522 markings, 129492712 edges, 171825 markings/sec, 255 secs
lola: 42680493 markings, 132050554 edges, 139194 markings/sec, 260 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 270 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 0 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: 750416 markings, 2291798 edges, 150083 markings/sec, 0 secs
lola: 1523013 markings, 4595069 edges, 154519 markings/sec, 5 secs
lola: 2317090 markings, 6848495 edges, 158815 markings/sec, 10 secs
lola: 3060855 markings, 9188557 edges, 148753 markings/sec, 15 secs
lola: 3780799 markings, 11438987 edges, 143989 markings/sec, 20 secs
lola: 4533696 markings, 13708040 edges, 150579 markings/sec, 25 secs
lola: 5273003 markings, 15990658 edges, 147861 markings/sec, 30 secs
lola: 5931882 markings, 18372535 edges, 131776 markings/sec, 35 secs
lola: 6660666 markings, 20645023 edges, 145757 markings/sec, 40 secs
lola: 7458288 markings, 22865614 edges, 159524 markings/sec, 45 secs
lola: 8183594 markings, 25161210 edges, 145061 markings/sec, 50 secs
lola: 8926427 markings, 27421802 edges, 148567 markings/sec, 55 secs
lola: 9675731 markings, 29650039 edges, 149861 markings/sec, 60 secs
lola: 10399347 markings, 31975243 edges, 144723 markings/sec, 65 secs
lola: 11119327 markings, 34208249 edges, 143996 markings/sec, 70 secs
lola: 11986631 markings, 36430744 edges, 173461 markings/sec, 75 secs
lola: 12661176 markings, 38721478 edges, 134909 markings/sec, 80 secs
lola: 13310845 markings, 41065304 edges, 129934 markings/sec, 85 secs
lola: 14120561 markings, 43295099 edges, 161943 markings/sec, 90 secs
lola: 14842646 markings, 45598583 edges, 144417 markings/sec, 95 secs
lola: 15386007 markings, 47923919 edges, 108672 markings/sec, 100 secs
lola: 16151315 markings, 50201133 edges, 153062 markings/sec, 105 secs
lola: 16952089 markings, 52392060 edges, 160155 markings/sec, 110 secs
lola: 17635670 markings, 54765656 edges, 136716 markings/sec, 115 secs
lola: 18337354 markings, 56922091 edges, 140337 markings/sec, 120 secs
lola: 19079146 markings, 59010956 edges, 148358 markings/sec, 125 secs
lola: 19776141 markings, 61327472 edges, 139399 markings/sec, 130 secs
lola: 20538519 markings, 63587605 edges, 152476 markings/sec, 135 secs
lola: 21321428 markings, 65826824 edges, 156582 markings/sec, 140 secs
lola: 22007344 markings, 68138391 edges, 137183 markings/sec, 145 secs
lola: 22723646 markings, 70364298 edges, 143260 markings/sec, 150 secs
lola: 23433103 markings, 72586873 edges, 141891 markings/sec, 155 secs
lola: 24249548 markings, 74758055 edges, 163289 markings/sec, 160 secs
lola: 25183265 markings, 77115801 edges, 186743 markings/sec, 165 secs
lola: 26122548 markings, 79549793 edges, 187857 markings/sec, 170 secs
lola: 26938155 markings, 81909084 edges, 163121 markings/sec, 175 secs
lola: 27802388 markings, 84384056 edges, 172847 markings/sec, 180 secs
lola: 28774944 markings, 86811216 edges, 194511 markings/sec, 185 secs
lola: 29809933 markings, 89248931 edges, 206998 markings/sec, 190 secs
lola: 30878615 markings, 91634549 edges, 213736 markings/sec, 195 secs
lola: 31876464 markings, 93945529 edges, 199570 markings/sec, 200 secs
lola: 32865176 markings, 96345338 edges, 197742 markings/sec, 205 secs
lola: 33839447 markings, 98723388 edges, 194854 markings/sec, 210 secs
lola: 34782401 markings, 101060525 edges, 188591 markings/sec, 215 secs
lola: 35743551 markings, 103454450 edges, 192230 markings/sec, 220 secs
lola: 36749927 markings, 105865107 edges, 201275 markings/sec, 225 secs
lola: 37749872 markings, 108343848 edges, 199989 markings/sec, 230 secs
lola: 38700063 markings, 110718852 edges, 190038 markings/sec, 235 secs
lola: 39627750 markings, 113011556 edges, 185537 markings/sec, 240 secs
lola: 40574336 markings, 115401138 edges, 189317 markings/sec, 245 secs
lola: 41321785 markings, 117859243 edges, 149490 markings/sec, 250 secs
lola: 42168639 markings, 120325009 edges, 169371 markings/sec, 255 secs
lola: 42977396 markings, 122802576 edges, 161751 markings/sec, 260 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 270 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 0 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: 1254906 markings, 2356220 edges, 250981 markings/sec, 0 secs
lola: 2480583 markings, 4823412 edges, 245135 markings/sec, 5 secs
lola: 3490209 markings, 7041745 edges, 201925 markings/sec, 10 secs
lola: 4279796 markings, 9001071 edges, 157917 markings/sec, 15 secs
lola: 4987506 markings, 11046267 edges, 141542 markings/sec, 20 secs
lola: 5632853 markings, 13069164 edges, 129069 markings/sec, 25 secs
lola: 6273306 markings, 15100988 edges, 128091 markings/sec, 30 secs
lola: 6988272 markings, 17212598 edges, 142993 markings/sec, 35 secs
lola: 7556463 markings, 19250496 edges, 113638 markings/sec, 40 secs
lola: 8272090 markings, 21401765 edges, 143125 markings/sec, 45 secs
lola: 8811140 markings, 23466982 edges, 107810 markings/sec, 50 secs
lola: 9377397 markings, 25565172 edges, 113251 markings/sec, 55 secs
lola: 9968510 markings, 27624960 edges, 118223 markings/sec, 60 secs
lola: 10757698 markings, 29861749 edges, 157838 markings/sec, 65 secs
lola: 11723396 markings, 32242355 edges, 193140 markings/sec, 70 secs
lola: 12701960 markings, 34601982 edges, 195713 markings/sec, 75 secs
lola: 13721290 markings, 36935831 edges, 203866 markings/sec, 80 secs
lola: 14720779 markings, 39285316 edges, 199898 markings/sec, 85 secs
lola: 15550568 markings, 41613786 edges, 165958 markings/sec, 90 secs
lola: 16535227 markings, 43985419 edges, 196932 markings/sec, 95 secs
lola: 17452326 markings, 46276238 edges, 183420 markings/sec, 100 secs
lola: 18240705 markings, 48594676 edges, 157676 markings/sec, 105 secs
lola: 18820244 markings, 50665544 edges, 115908 markings/sec, 110 secs
lola: 19386602 markings, 52709562 edges, 113272 markings/sec, 115 secs
lola: 20085503 markings, 54851229 edges, 139780 markings/sec, 120 secs
lola: 20965099 markings, 57123408 edges, 175919 markings/sec, 125 secs
lola: 21888974 markings, 59452340 edges, 184775 markings/sec, 130 secs
lola: 22801257 markings, 61792652 edges, 182457 markings/sec, 135 secs
lola: 23705808 markings, 63994476 edges, 180910 markings/sec, 140 secs
lola: 24653656 markings, 66284185 edges, 189570 markings/sec, 145 secs
lola: 25562793 markings, 68486263 edges, 181827 markings/sec, 150 secs
lola: 26446022 markings, 70648278 edges, 176646 markings/sec, 155 secs
lola: 27320643 markings, 72757251 edges, 174924 markings/sec, 160 secs
lola: 28184189 markings, 74915935 edges, 172709 markings/sec, 165 secs
lola: 29052156 markings, 77041648 edges, 173593 markings/sec, 170 secs
lola: 29920029 markings, 79201709 edges, 173575 markings/sec, 175 secs
lola: 30804020 markings, 81560808 edges, 176798 markings/sec, 180 secs
lola: 31639958 markings, 84227491 edges, 167188 markings/sec, 185 secs
lola: 32447618 markings, 86843626 edges, 161532 markings/sec, 190 secs
lola: 33265285 markings, 89461444 edges, 163533 markings/sec, 195 secs
lola: 34072678 markings, 92090657 edges, 161479 markings/sec, 200 secs
lola: 34903908 markings, 94710227 edges, 166246 markings/sec, 205 secs
lola: 35788193 markings, 97390836 edges, 176857 markings/sec, 210 secs
lola: 36588194 markings, 99985637 edges, 160000 markings/sec, 215 secs
lola: 37390137 markings, 102531168 edges, 160389 markings/sec, 220 secs
lola: 38188153 markings, 105080015 edges, 159603 markings/sec, 225 secs
lola: 39004443 markings, 107885590 edges, 163258 markings/sec, 230 secs
lola: 39808929 markings, 110776981 edges, 160897 markings/sec, 235 secs
lola: 40538566 markings, 113501506 edges, 145927 markings/sec, 240 secs
lola: 41260999 markings, 115865927 edges, 144487 markings/sec, 245 secs
lola: 42123403 markings, 118284041 edges, 172481 markings/sec, 250 secs
lola: 42903213 markings, 120676408 edges, 155962 markings/sec, 255 secs
lola: 43726459 markings, 123064494 edges, 164649 markings/sec, 260 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 270 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 136 bytes per marking, with 0 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: 1272799 markings, 2295892 edges, 254560 markings/sec, 0 secs
lola: 2344796 markings, 5102958 edges, 214399 markings/sec, 5 secs
lola: 3550425 markings, 7755236 edges, 241126 markings/sec, 10 secs
lola: 4752285 markings, 10509557 edges, 240372 markings/sec, 15 secs
lola: 5466174 markings, 12991637 edges, 142778 markings/sec, 20 secs
lola: 6100247 markings, 15342813 edges, 126815 markings/sec, 25 secs
lola: 6714251 markings, 17620850 edges, 122801 markings/sec, 30 secs
lola: 7320129 markings, 19816794 edges, 121176 markings/sec, 35 secs
lola: 7943571 markings, 22049238 edges, 124688 markings/sec, 40 secs
lola: 8525325 markings, 24258694 edges, 116351 markings/sec, 45 secs
lola: 9126522 markings, 26378280 edges, 120239 markings/sec, 50 secs
lola: 9711772 markings, 28691378 edges, 117050 markings/sec, 55 secs
lola: 10330794 markings, 30928012 edges, 123804 markings/sec, 60 secs
lola: 10939955 markings, 33220309 edges, 121832 markings/sec, 65 secs
lola: 11525501 markings, 35465558 edges, 117109 markings/sec, 70 secs
lola: 12129639 markings, 37810059 edges, 120828 markings/sec, 75 secs
lola: 12898823 markings, 40197873 edges, 153837 markings/sec, 80 secs
lola: 13970794 markings, 42723271 edges, 214394 markings/sec, 85 secs
lola: 15030073 markings, 45152786 edges, 211856 markings/sec, 90 secs
lola: 16052991 markings, 47546969 edges, 204584 markings/sec, 95 secs
lola: 17050271 markings, 50305460 edges, 199456 markings/sec, 100 secs
lola: 17997564 markings, 53140882 edges, 189459 markings/sec, 105 secs
lola: 18871939 markings, 56030748 edges, 174875 markings/sec, 110 secs
lola: 19707693 markings, 58943823 edges, 167151 markings/sec, 115 secs
lola: 20628668 markings, 61844472 edges, 184195 markings/sec, 120 secs
lola: 21676252 markings, 64192095 edges, 209517 markings/sec, 125 secs
lola: 22665727 markings, 66935442 edges, 197895 markings/sec, 130 secs
lola: 23529449 markings, 69777554 edges, 172744 markings/sec, 135 secs
lola: 24238828 markings, 72222260 edges, 141876 markings/sec, 140 secs
lola: 25193122 markings, 74570580 edges, 190859 markings/sec, 145 secs
lola: 25858499 markings, 77106041 edges, 133075 markings/sec, 150 secs
lola: 26381738 markings, 79450175 edges, 104648 markings/sec, 155 secs
lola: 27062830 markings, 81815240 edges, 136218 markings/sec, 160 secs
lola: 27973144 markings, 84181389 edges, 182063 markings/sec, 165 secs
lola: 28802000 markings, 86891199 edges, 165771 markings/sec, 170 secs
lola: 29530531 markings, 89687046 edges, 145706 markings/sec, 175 secs
lola: 30435467 markings, 92204578 edges, 180987 markings/sec, 180 secs
lola: 31224925 markings, 95051608 edges, 157892 markings/sec, 185 secs
lola: 32030479 markings, 97674169 edges, 161111 markings/sec, 190 secs
lola: 32552902 markings, 99966574 edges, 104485 markings/sec, 195 secs
lola: 33167577 markings, 102245234 edges, 122935 markings/sec, 200 secs
lola: 33805976 markings, 105022582 edges, 127680 markings/sec, 205 secs
lola: 34544155 markings, 107522452 edges, 147636 markings/sec, 210 secs
lola: 35455122 markings, 109694341 edges, 182193 markings/sec, 215 secs
lola: 36288625 markings, 112165743 edges, 166701 markings/sec, 220 secs
lola: 37052788 markings, 114856195 edges, 152833 markings/sec, 225 secs
lola: 37920396 markings, 117240786 edges, 173522 markings/sec, 230 secs
lola: 38802479 markings, 119516131 edges, 176417 markings/sec, 235 secs
lola: 39530574 markings, 122076228 edges, 145619 markings/sec, 240 secs
lola: 40259264 markings, 124457530 edges, 145738 markings/sec, 245 secs
lola: 41036690 markings, 126808790 edges, 155485 markings/sec, 250 secs
lola: 41854073 markings, 129128785 edges, 163477 markings/sec, 255 secs
lola: 42598206 markings, 131631004 edges, 148827 markings/sec, 260 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA DNAwalker-PT-06track28RL-UpperBounds-0 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-8 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-06track28RL-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496335690389

--------------------
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_DNAwalker-PT-06track28RL"
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_DNAwalker-PT-06track28RL.tgz
mv S_DNAwalker-PT-06track28RL execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_DNAwalker-PT-06track28RL, 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 r108-blw3-149441612000047"
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 ;