About the Execution of LoLA for FlexibleBarrier-PT-08a
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
6402.300 | 3540172.00 | 3546601.00 | 1667.60 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is FlexibleBarrier-PT-08a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r188-blw3-149581034100038
=====================================================================
--------------------
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 FlexibleBarrier-PT-08a-UpperBounds-0
FORMULA_NAME FlexibleBarrier-PT-08a-UpperBounds-1
FORMULA_NAME FlexibleBarrier-PT-08a-UpperBounds-10
FORMULA_NAME FlexibleBarrier-PT-08a-UpperBounds-11
FORMULA_NAME FlexibleBarrier-PT-08a-UpperBounds-12
FORMULA_NAME FlexibleBarrier-PT-08a-UpperBounds-13
FORMULA_NAME FlexibleBarrier-PT-08a-UpperBounds-14
FORMULA_NAME FlexibleBarrier-PT-08a-UpperBounds-15
FORMULA_NAME FlexibleBarrier-PT-08a-UpperBounds-2
FORMULA_NAME FlexibleBarrier-PT-08a-UpperBounds-3
FORMULA_NAME FlexibleBarrier-PT-08a-UpperBounds-4
FORMULA_NAME FlexibleBarrier-PT-08a-UpperBounds-5
FORMULA_NAME FlexibleBarrier-PT-08a-UpperBounds-6
FORMULA_NAME FlexibleBarrier-PT-08a-UpperBounds-7
FORMULA_NAME FlexibleBarrier-PT-08a-UpperBounds-8
FORMULA_NAME FlexibleBarrier-PT-08a-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496481566351
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
FlexibleBarrier-PT-08a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
FlexibleBarrier-PT-08a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ FlexibleBarrier-PT-08a @ 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: 335/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 99 places, 236 transitions, 89 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 204 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-08a-UpperBounds.task
lola: MAX(p25) : MAX(p94) : MAX(p90) : MAX(p86) : MAX(p73) : MAX(p80) : MAX(p79) : MAX(p3) : MAX(p48) : MAX(p54) : MAX(p60) : MAX(p48) : MAX(p16) : MAX(p52) : MAX(p40) : MAX(p22)
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(p25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 7 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: 1070448 markings, 1483645 edges, 214090 markings/sec, 0 secs
lola: 2050746 markings, 2852632 edges, 196060 markings/sec, 5 secs
lola: 3027533 markings, 4224057 edges, 195357 markings/sec, 10 secs
lola: 3975765 markings, 5563379 edges, 189646 markings/sec, 15 secs
lola: 4906856 markings, 6882160 edges, 186218 markings/sec, 20 secs
lola: 5853838 markings, 8224193 edges, 189396 markings/sec, 25 secs
lola: 6739113 markings, 9482324 edges, 177055 markings/sec, 30 secs
lola: 7656320 markings, 10788882 edges, 183441 markings/sec, 35 secs
lola: 8565218 markings, 12089603 edges, 181780 markings/sec, 40 secs
lola: 9471615 markings, 13387600 edges, 181279 markings/sec, 45 secs
lola: 10375892 markings, 14682753 edges, 180855 markings/sec, 50 secs
lola: 11297055 markings, 16005328 edges, 184233 markings/sec, 55 secs
lola: 12198085 markings, 17300585 edges, 180206 markings/sec, 60 secs
lola: 13094952 markings, 18591380 edges, 179373 markings/sec, 65 secs
lola: 13981214 markings, 19870783 edges, 177252 markings/sec, 70 secs
lola: 14853427 markings, 21130842 edges, 174443 markings/sec, 75 secs
lola: 15725571 markings, 22390461 edges, 174429 markings/sec, 80 secs
lola: 16589355 markings, 23642100 edges, 172757 markings/sec, 85 secs
lola: 17451710 markings, 24890254 edges, 172471 markings/sec, 90 secs
lola: 18313075 markings, 26138355 edges, 172273 markings/sec, 95 secs
lola: 19188556 markings, 27407734 edges, 175096 markings/sec, 100 secs
lola: 20058061 markings, 28671581 edges, 173901 markings/sec, 105 secs
lola: 20871975 markings, 29853188 edges, 162783 markings/sec, 110 secs
lola: 21704628 markings, 31063664 edges, 166531 markings/sec, 115 secs
lola: 22566106 markings, 32318264 edges, 172296 markings/sec, 120 secs
lola: 23420745 markings, 33564147 edges, 170928 markings/sec, 125 secs
lola: 24289706 markings, 34833416 edges, 173792 markings/sec, 130 secs
lola: 25125533 markings, 36054659 edges, 167165 markings/sec, 135 secs
lola: 25999705 markings, 37330326 edges, 174834 markings/sec, 140 secs
lola: 26845497 markings, 38565714 edges, 169158 markings/sec, 145 secs
lola: 27676805 markings, 39780518 edges, 166262 markings/sec, 150 secs
lola: 28528477 markings, 41029585 edges, 170334 markings/sec, 155 secs
lola: 29378262 markings, 42276303 edges, 169957 markings/sec, 160 secs
lola: 30208949 markings, 43495684 edges, 166137 markings/sec, 165 secs
lola: 31047287 markings, 44726846 edges, 167668 markings/sec, 170 secs
lola: 31909249 markings, 45992441 edges, 172392 markings/sec, 175 secs
lola: 32771906 markings, 47261874 edges, 172531 markings/sec, 180 secs
lola: 33602683 markings, 48483290 edges, 166155 markings/sec, 185 secs
lola: 34427000 markings, 49695712 edges, 164863 markings/sec, 190 secs
lola: 35250308 markings, 50908248 edges, 164662 markings/sec, 195 secs
lola: 36072735 markings, 52121949 edges, 164485 markings/sec, 200 secs
lola: 36891795 markings, 53331235 edges, 163812 markings/sec, 205 secs
lola: 37711324 markings, 54539827 edges, 163906 markings/sec, 210 secs
lola: 38543691 markings, 55768552 edges, 166473 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(p94)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 7 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: 1262011 markings, 1812310 edges, 252402 markings/sec, 0 secs
lola: 2478057 markings, 3570915 edges, 243209 markings/sec, 5 secs
lola: 3648155 markings, 5272434 edges, 234020 markings/sec, 10 secs
lola: 4784606 markings, 6934015 edges, 227290 markings/sec, 15 secs
lola: 5918010 markings, 8598234 edges, 226681 markings/sec, 20 secs
lola: 7041720 markings, 10250589 edges, 224742 markings/sec, 25 secs
lola: 8163148 markings, 11907234 edges, 224286 markings/sec, 30 secs
lola: 9286990 markings, 13564943 edges, 224768 markings/sec, 35 secs
lola: 10390840 markings, 15201668 edges, 220770 markings/sec, 40 secs
lola: 11502086 markings, 16849654 edges, 222249 markings/sec, 45 secs
lola: 12597551 markings, 18475894 edges, 219093 markings/sec, 50 secs
lola: 13572173 markings, 19926480 edges, 194924 markings/sec, 55 secs
lola: 14657430 markings, 21543380 edges, 217051 markings/sec, 60 secs
lola: 15726812 markings, 23140660 edges, 213876 markings/sec, 65 secs
lola: 16798665 markings, 24742382 edges, 214371 markings/sec, 70 secs
lola: 17873412 markings, 26350479 edges, 214949 markings/sec, 75 secs
lola: 18947490 markings, 27960315 edges, 214816 markings/sec, 80 secs
lola: 20012246 markings, 29557364 edges, 212951 markings/sec, 85 secs
lola: 21086595 markings, 31171407 edges, 214870 markings/sec, 90 secs
lola: 22056077 markings, 32629839 edges, 193896 markings/sec, 95 secs
lola: 23124390 markings, 34237807 edges, 213663 markings/sec, 100 secs
lola: 24173071 markings, 35815884 edges, 209736 markings/sec, 105 secs
lola: 25215691 markings, 37390549 edges, 208524 markings/sec, 110 secs
lola: 26188888 markings, 38858405 edges, 194639 markings/sec, 115 secs
lola: 27241919 markings, 40449058 edges, 210606 markings/sec, 120 secs
lola: 28299639 markings, 42048642 edges, 211544 markings/sec, 125 secs
lola: 29343938 markings, 43629769 edges, 208860 markings/sec, 130 secs
lola: 30397187 markings, 45224443 edges, 210650 markings/sec, 135 secs
lola: 31477582 markings, 46859984 edges, 216079 markings/sec, 140 secs
lola: 32532889 markings, 48460901 edges, 211061 markings/sec, 145 secs
lola: 33590324 markings, 50064973 edges, 211487 markings/sec, 150 secs
lola: 34559129 markings, 51537409 edges, 193761 markings/sec, 155 secs
lola: 35620257 markings, 53151681 edges, 212226 markings/sec, 160 secs
lola: 36673007 markings, 54754474 edges, 210550 markings/sec, 165 secs
lola: 37719030 markings, 56350707 edges, 209205 markings/sec, 170 secs
lola: 38764852 markings, 57945107 edges, 209164 markings/sec, 175 secs
lola: 39801397 markings, 59527284 edges, 207309 markings/sec, 180 secs
lola: 40848240 markings, 61127089 edges, 209369 markings/sec, 185 secs
lola: 41882182 markings, 62708389 edges, 206788 markings/sec, 190 secs
lola: 42919224 markings, 64295916 edges, 207408 markings/sec, 195 secs
lola: 43947518 markings, 65872501 edges, 205659 markings/sec, 200 secs
lola: 44975710 markings, 67450188 edges, 205638 markings/sec, 205 secs
lola: 46015800 markings, 69044609 edges, 208018 markings/sec, 210 secs
lola: 47054440 markings, 70639234 edges, 207728 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(p90)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 7 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: 1100197 markings, 1500284 edges, 220039 markings/sec, 0 secs
lola: 2154120 markings, 2967727 edges, 210785 markings/sec, 5 secs
lola: 3184663 markings, 4421146 edges, 206109 markings/sec, 10 secs
lola: 4198584 markings, 5862504 edges, 202784 markings/sec, 15 secs
lola: 5208201 markings, 7307531 edges, 201923 markings/sec, 20 secs
lola: 6208373 markings, 8747360 edges, 200034 markings/sec, 25 secs
lola: 7209175 markings, 10194771 edges, 200160 markings/sec, 30 secs
lola: 8199958 markings, 11635737 edges, 198157 markings/sec, 35 secs
lola: 9171485 markings, 13053718 edges, 194305 markings/sec, 40 secs
lola: 10142321 markings, 14477641 edges, 194167 markings/sec, 45 secs
lola: 11113778 markings, 15907574 edges, 194291 markings/sec, 50 secs
lola: 12088676 markings, 17343819 edges, 194980 markings/sec, 55 secs
lola: 13055076 markings, 18773934 edges, 193280 markings/sec, 60 secs
lola: 14012320 markings, 20194352 edges, 191449 markings/sec, 65 secs
lola: 14964722 markings, 21610505 edges, 190480 markings/sec, 70 secs
lola: 15916283 markings, 23029731 edges, 190312 markings/sec, 75 secs
lola: 16863326 markings, 24445183 edges, 189409 markings/sec, 80 secs
lola: 17806776 markings, 25860379 edges, 188690 markings/sec, 85 secs
lola: 18745009 markings, 27268568 edges, 187647 markings/sec, 90 secs
lola: 19684016 markings, 28680903 edges, 187801 markings/sec, 95 secs
lola: 20620343 markings, 30092913 edges, 187265 markings/sec, 100 secs
lola: 21552665 markings, 31502427 edges, 186464 markings/sec, 105 secs
lola: 22490135 markings, 32921912 edges, 187494 markings/sec, 110 secs
lola: 23419407 markings, 34328721 edges, 185854 markings/sec, 115 secs
lola: 24341126 markings, 35729962 edges, 184344 markings/sec, 120 secs
lola: 25266901 markings, 37139591 edges, 185155 markings/sec, 125 secs
lola: 26186852 markings, 38542415 edges, 183990 markings/sec, 130 secs
lola: 27109332 markings, 39951923 edges, 184496 markings/sec, 135 secs
lola: 28030339 markings, 41361298 edges, 184201 markings/sec, 140 secs
lola: 28949103 markings, 42768259 edges, 183753 markings/sec, 145 secs
lola: 29866874 markings, 44180872 edges, 183554 markings/sec, 150 secs
lola: 30783107 markings, 45590004 edges, 183247 markings/sec, 155 secs
lola: 31694527 markings, 46991167 edges, 182284 markings/sec, 160 secs
lola: 32602976 markings, 48385905 edges, 181690 markings/sec, 165 secs
lola: 33508004 markings, 49780169 edges, 181006 markings/sec, 170 secs
lola: 34416041 markings, 51186566 edges, 181607 markings/sec, 175 secs
lola: 35312147 markings, 52580155 edges, 179221 markings/sec, 180 secs
lola: 36214975 markings, 53981552 edges, 180566 markings/sec, 185 secs
lola: 37112670 markings, 55378600 edges, 179539 markings/sec, 190 secs
lola: 38001950 markings, 56761817 edges, 177856 markings/sec, 195 secs
lola: 38893791 markings, 58148950 edges, 178368 markings/sec, 200 secs
lola: 39789229 markings, 59547967 edges, 179088 markings/sec, 205 secs
lola: 40682469 markings, 60947771 edges, 178648 markings/sec, 210 secs
lola: 41570959 markings, 62336339 edges, 177698 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(p86)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 7 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: 1271098 markings, 1765100 edges, 254220 markings/sec, 0 secs
lola: 2491106 markings, 3471317 edges, 244002 markings/sec, 5 secs
lola: 3695132 markings, 5164622 edges, 240805 markings/sec, 10 secs
lola: 4798148 markings, 6725654 edges, 220603 markings/sec, 15 secs
lola: 5970585 markings, 8391705 edges, 234487 markings/sec, 20 secs
lola: 7138775 markings, 10053844 edges, 233638 markings/sec, 25 secs
lola: 8291276 markings, 11701552 edges, 230500 markings/sec, 30 secs
lola: 9447987 markings, 13354625 edges, 231342 markings/sec, 35 secs
lola: 10595434 markings, 15000422 edges, 229489 markings/sec, 40 secs
lola: 11738995 markings, 16643855 edges, 228712 markings/sec, 45 secs
lola: 12871555 markings, 18270449 edges, 226512 markings/sec, 50 secs
lola: 14005224 markings, 19903675 edges, 226734 markings/sec, 55 secs
lola: 15127903 markings, 21525262 edges, 224536 markings/sec, 60 secs
lola: 16244769 markings, 23139798 edges, 223373 markings/sec, 65 secs
lola: 17351929 markings, 24744266 edges, 221432 markings/sec, 70 secs
lola: 18475842 markings, 26373573 edges, 224783 markings/sec, 75 secs
lola: 19600634 markings, 28006428 edges, 224958 markings/sec, 80 secs
lola: 20683170 markings, 29579821 edges, 216507 markings/sec, 85 secs
lola: 21765222 markings, 31156741 edges, 216410 markings/sec, 90 secs
lola: 22889260 markings, 32795848 edges, 224808 markings/sec, 95 secs
lola: 24012172 markings, 34431226 edges, 224582 markings/sec, 100 secs
lola: 25123044 markings, 36055442 edges, 222174 markings/sec, 105 secs
lola: 26217455 markings, 37655906 edges, 218882 markings/sec, 110 secs
lola: 27312165 markings, 39257087 edges, 218942 markings/sec, 115 secs
lola: 28396989 markings, 40846500 edges, 216965 markings/sec, 120 secs
lola: 29492073 markings, 42451833 edges, 219017 markings/sec, 125 secs
lola: 30571705 markings, 44036438 edges, 215926 markings/sec, 130 secs
lola: 31584926 markings, 45521888 edges, 202644 markings/sec, 135 secs
lola: 32651944 markings, 47090301 edges, 213404 markings/sec, 140 secs
lola: 33721261 markings, 48661415 edges, 213863 markings/sec, 145 secs
lola: 34787170 markings, 50231316 edges, 213182 markings/sec, 150 secs
lola: 35865804 markings, 51822051 edges, 215727 markings/sec, 155 secs
lola: 36925265 markings, 53386123 edges, 211892 markings/sec, 160 secs
lola: 37984591 markings, 54951287 edges, 211865 markings/sec, 165 secs
lola: 39047253 markings, 56522670 edges, 212532 markings/sec, 170 secs
lola: 40108525 markings, 58092388 edges, 212254 markings/sec, 175 secs
lola: 41163127 markings, 59654458 edges, 210920 markings/sec, 180 secs
lola: 42215621 markings, 61214207 edges, 210499 markings/sec, 185 secs
lola: 43278141 markings, 62792493 edges, 212504 markings/sec, 190 secs
lola: 44219603 markings, 64191076 edges, 188292 markings/sec, 195 secs
lola: 45254011 markings, 65731631 edges, 206882 markings/sec, 200 secs
lola: 46307541 markings, 67295807 edges, 210706 markings/sec, 205 secs
lola: 47341948 markings, 68834504 edges, 206881 markings/sec, 210 secs
lola: 48369391 markings, 70364178 edges, 205489 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(p73)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 7 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: 1109239 markings, 1537085 edges, 221848 markings/sec, 0 secs
lola: 2191630 markings, 3052619 edges, 216478 markings/sec, 5 secs
lola: 3235227 markings, 4518596 edges, 208719 markings/sec, 10 secs
lola: 4253925 markings, 5953488 edges, 203740 markings/sec, 15 secs
lola: 5309177 markings, 7449745 edges, 211050 markings/sec, 20 secs
lola: 6358010 markings, 8943064 edges, 209767 markings/sec, 25 secs
lola: 7384427 markings, 10405292 edges, 205283 markings/sec, 30 secs
lola: 8383132 markings, 11832321 edges, 199741 markings/sec, 35 secs
lola: 9426098 markings, 13323814 edges, 208593 markings/sec, 40 secs
lola: 10451995 markings, 14794268 edges, 205179 markings/sec, 45 secs
lola: 11459647 markings, 16240500 edges, 201530 markings/sec, 50 secs
lola: 12436138 markings, 17644888 edges, 195298 markings/sec, 55 secs
lola: 13460560 markings, 19120360 edges, 204884 markings/sec, 60 secs
lola: 14477359 markings, 20587499 edges, 203360 markings/sec, 65 secs
lola: 15492517 markings, 22055010 edges, 203032 markings/sec, 70 secs
lola: 16500308 markings, 23511864 edges, 201558 markings/sec, 75 secs
lola: 17516333 markings, 24984297 edges, 203205 markings/sec, 80 secs
lola: 18530988 markings, 26453809 edges, 202931 markings/sec, 85 secs
lola: 19548681 markings, 27930376 edges, 203539 markings/sec, 90 secs
lola: 20557344 markings, 29397828 edges, 201733 markings/sec, 95 secs
lola: 21566274 markings, 30864688 edges, 201786 markings/sec, 100 secs
lola: 22577499 markings, 32339461 edges, 202245 markings/sec, 105 secs
lola: 23570789 markings, 33787662 edges, 198658 markings/sec, 110 secs
lola: 24528657 markings, 35186584 edges, 191574 markings/sec, 115 secs
lola: 25528602 markings, 36648890 edges, 199989 markings/sec, 120 secs
lola: 26533315 markings, 38119166 edges, 200943 markings/sec, 125 secs
lola: 27533790 markings, 39582723 edges, 200095 markings/sec, 130 secs
lola: 28538108 markings, 41054264 edges, 200864 markings/sec, 135 secs
lola: 29536758 markings, 42520367 edges, 199730 markings/sec, 140 secs
lola: 30537943 markings, 43989237 edges, 200237 markings/sec, 145 secs
lola: 31538432 markings, 45457976 edges, 200098 markings/sec, 150 secs
lola: 32515284 markings, 46892326 edges, 195370 markings/sec, 155 secs
lola: 33504131 markings, 48347533 edges, 197769 markings/sec, 160 secs
lola: 34495762 markings, 49806247 edges, 198326 markings/sec, 165 secs
lola: 35472495 markings, 51245377 edges, 195347 markings/sec, 170 secs
lola: 36447093 markings, 52681903 edges, 194920 markings/sec, 175 secs
lola: 37425143 markings, 54125558 edges, 195610 markings/sec, 180 secs
lola: 38394520 markings, 55558673 edges, 193875 markings/sec, 185 secs
lola: 39382268 markings, 57017743 edges, 197550 markings/sec, 190 secs
lola: 40353473 markings, 58454672 edges, 194241 markings/sec, 195 secs
lola: 41322603 markings, 59887943 edges, 193826 markings/sec, 200 secs
lola: 42294983 markings, 61326972 edges, 194476 markings/sec, 205 secs
lola: 43244857 markings, 62732882 edges, 189975 markings/sec, 210 secs
lola: 44166957 markings, 64100802 edges, 184420 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(p80)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 7 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: 1083852 markings, 1450449 edges, 216770 markings/sec, 0 secs
lola: 2131053 markings, 2866032 edges, 209440 markings/sec, 5 secs
lola: 3165319 markings, 4269192 edges, 206853 markings/sec, 10 secs
lola: 4215943 markings, 5699060 edges, 210125 markings/sec, 15 secs
lola: 5248677 markings, 7113774 edges, 206547 markings/sec, 20 secs
lola: 6271323 markings, 8521273 edges, 204529 markings/sec, 25 secs
lola: 7289637 markings, 9923617 edges, 203663 markings/sec, 30 secs
lola: 8313937 markings, 11337711 edges, 204860 markings/sec, 35 secs
lola: 9324217 markings, 12734249 edges, 202056 markings/sec, 40 secs
lola: 10333580 markings, 14131867 edges, 201873 markings/sec, 45 secs
lola: 11325583 markings, 15509261 edges, 198401 markings/sec, 50 secs
lola: 12321434 markings, 16893670 edges, 199170 markings/sec, 55 secs
lola: 13314669 markings, 18276095 edges, 198647 markings/sec, 60 secs
lola: 14304693 markings, 19657626 edges, 198005 markings/sec, 65 secs
lola: 15291912 markings, 21037146 edges, 197444 markings/sec, 70 secs
lola: 16289251 markings, 22432604 edges, 199468 markings/sec, 75 secs
lola: 17275466 markings, 23814237 edges, 197243 markings/sec, 80 secs
lola: 18263542 markings, 25196839 edges, 197615 markings/sec, 85 secs
lola: 19226489 markings, 26549404 edges, 192589 markings/sec, 90 secs
lola: 20205806 markings, 27925203 edges, 195863 markings/sec, 95 secs
lola: 21182679 markings, 29299918 edges, 195375 markings/sec, 100 secs
lola: 22164549 markings, 30682639 edges, 196374 markings/sec, 105 secs
lola: 23116076 markings, 32027191 edges, 190305 markings/sec, 110 secs
lola: 24077098 markings, 33382785 edges, 192204 markings/sec, 115 secs
lola: 25048403 markings, 34756002 edges, 194261 markings/sec, 120 secs
lola: 26020309 markings, 36132274 edges, 194381 markings/sec, 125 secs
lola: 26975850 markings, 37486101 edges, 191108 markings/sec, 130 secs
lola: 27942326 markings, 38853302 edges, 193295 markings/sec, 135 secs
lola: 28908409 markings, 40225680 edges, 193217 markings/sec, 140 secs
lola: 29874633 markings, 41596931 edges, 193245 markings/sec, 145 secs
lola: 30824768 markings, 42946750 edges, 190027 markings/sec, 150 secs
lola: 31785814 markings, 44311752 edges, 192209 markings/sec, 155 secs
lola: 32743977 markings, 45674510 edges, 191633 markings/sec, 160 secs
lola: 33699609 markings, 47035947 edges, 191126 markings/sec, 165 secs
lola: 34642146 markings, 48379228 edges, 188507 markings/sec, 170 secs
lola: 35593846 markings, 49736007 edges, 190340 markings/sec, 175 secs
lola: 36552999 markings, 51104083 edges, 191831 markings/sec, 180 secs
lola: 37504111 markings, 52463591 edges, 190222 markings/sec, 185 secs
lola: 38438403 markings, 53800744 edges, 186858 markings/sec, 190 secs
lola: 39391683 markings, 55164157 edges, 190656 markings/sec, 195 secs
lola: 40345221 markings, 56530192 edges, 190708 markings/sec, 200 secs
lola: 41307685 markings, 57908019 edges, 192493 markings/sec, 205 secs
lola: 42249262 markings, 59257289 edges, 188315 markings/sec, 210 secs
lola: 43202802 markings, 60623667 edges, 190708 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(p79)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 7 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: 994852 markings, 1338859 edges, 198970 markings/sec, 0 secs
lola: 1953910 markings, 2647709 edges, 191812 markings/sec, 5 secs
lola: 2913261 markings, 3974178 edges, 191870 markings/sec, 10 secs
lola: 3860669 markings, 5285636 edges, 189482 markings/sec, 15 secs
lola: 4794924 markings, 6588770 edges, 186851 markings/sec, 20 secs
lola: 5717727 markings, 7884390 edges, 184561 markings/sec, 25 secs
lola: 6633803 markings, 9176864 edges, 183215 markings/sec, 30 secs
lola: 7538266 markings, 10453603 edges, 180893 markings/sec, 35 secs
lola: 8449552 markings, 11748089 edges, 182257 markings/sec, 40 secs
lola: 9358718 markings, 13041256 edges, 181833 markings/sec, 45 secs
lola: 10168427 markings, 14199261 edges, 161942 markings/sec, 50 secs
lola: 11066848 markings, 15485871 edges, 179684 markings/sec, 55 secs
lola: 11965125 markings, 16774235 edges, 179655 markings/sec, 60 secs
lola: 12861210 markings, 18063736 edges, 179217 markings/sec, 65 secs
lola: 13680795 markings, 19243299 edges, 163917 markings/sec, 70 secs
lola: 14578282 markings, 20540790 edges, 179497 markings/sec, 75 secs
lola: 15467630 markings, 21827410 edges, 177870 markings/sec, 80 secs
lola: 16355241 markings, 23116275 edges, 177522 markings/sec, 85 secs
lola: 17234475 markings, 24396129 edges, 175847 markings/sec, 90 secs
lola: 18119065 markings, 25686091 edges, 176918 markings/sec, 95 secs
lola: 18995150 markings, 26966806 edges, 175217 markings/sec, 100 secs
lola: 19872274 markings, 28249741 edges, 175425 markings/sec, 105 secs
lola: 20675982 markings, 29428988 edges, 160742 markings/sec, 110 secs
lola: 21553412 markings, 30717455 edges, 175486 markings/sec, 115 secs
lola: 22430531 markings, 32006845 edges, 175424 markings/sec, 120 secs
lola: 23320162 markings, 33317855 edges, 177926 markings/sec, 125 secs
lola: 24202274 markings, 34620374 edges, 176422 markings/sec, 130 secs
lola: 25080336 markings, 35917061 edges, 175612 markings/sec, 135 secs
lola: 25949340 markings, 37202694 edges, 173801 markings/sec, 140 secs
lola: 26817923 markings, 38494571 edges, 173717 markings/sec, 145 secs
lola: 27680079 markings, 39776692 edges, 172431 markings/sec, 150 secs
lola: 28553517 markings, 41077295 edges, 174688 markings/sec, 155 secs
lola: 29430405 markings, 42385487 edges, 175378 markings/sec, 160 secs
lola: 30297064 markings, 43677775 edges, 173332 markings/sec, 165 secs
lola: 31092673 markings, 44867720 edges, 159122 markings/sec, 170 secs
lola: 31958588 markings, 46167661 edges, 173183 markings/sec, 175 secs
lola: 32828086 markings, 47468760 edges, 173900 markings/sec, 180 secs
lola: 33698542 markings, 48775288 edges, 174091 markings/sec, 185 secs
lola: 34557678 markings, 50068540 edges, 171827 markings/sec, 190 secs
lola: 35436317 markings, 51389947 edges, 175728 markings/sec, 195 secs
lola: 36308712 markings, 52701412 edges, 174479 markings/sec, 200 secs
lola: 37154810 markings, 53974887 edges, 169220 markings/sec, 205 secs
lola: 37984686 markings, 55226611 edges, 165975 markings/sec, 210 secs
lola: 38846771 markings, 56530637 edges, 172417 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(p3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 7 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: 1091118 markings, 1460219 edges, 218224 markings/sec, 0 secs
lola: 2127259 markings, 2859422 edges, 207228 markings/sec, 5 secs
lola: 3088547 markings, 4162728 edges, 192258 markings/sec, 10 secs
lola: 4071749 markings, 5505086 edges, 196640 markings/sec, 15 secs
lola: 5036122 markings, 6825719 edges, 192875 markings/sec, 20 secs
lola: 6021676 markings, 8174575 edges, 197111 markings/sec, 25 secs
lola: 6946762 markings, 9447986 edges, 185017 markings/sec, 30 secs
lola: 7928493 markings, 10802475 edges, 196346 markings/sec, 35 secs
lola: 8874847 markings, 12111973 edges, 189271 markings/sec, 40 secs
lola: 9817651 markings, 13415880 edges, 188561 markings/sec, 45 secs
lola: 10740843 markings, 14699744 edges, 184638 markings/sec, 50 secs
lola: 11678338 markings, 16000925 edges, 187499 markings/sec, 55 secs
lola: 12603328 markings, 17287531 edges, 184998 markings/sec, 60 secs
lola: 13526187 markings, 18572228 edges, 184572 markings/sec, 65 secs
lola: 14439576 markings, 19845055 edges, 182678 markings/sec, 70 secs
lola: 15370488 markings, 21145560 edges, 186182 markings/sec, 75 secs
lola: 16283343 markings, 22422396 edges, 182571 markings/sec, 80 secs
lola: 17194584 markings, 23698216 edges, 182248 markings/sec, 85 secs
lola: 18047466 markings, 24895423 edges, 170576 markings/sec, 90 secs
lola: 18985310 markings, 26209976 edges, 187569 markings/sec, 95 secs
lola: 19911868 markings, 27510354 edges, 185312 markings/sec, 100 secs
lola: 20838769 markings, 28813831 edges, 185380 markings/sec, 105 secs
lola: 21760064 markings, 30109865 edges, 184259 markings/sec, 110 secs
lola: 22677849 markings, 31402307 edges, 183557 markings/sec, 115 secs
lola: 23573483 markings, 32665266 edges, 179127 markings/sec, 120 secs
lola: 24469785 markings, 33931338 edges, 179260 markings/sec, 125 secs
lola: 25388170 markings, 35229050 edges, 183677 markings/sec, 130 secs
lola: 26278820 markings, 36488097 edges, 178130 markings/sec, 135 secs
lola: 27165395 markings, 37743616 edges, 177315 markings/sec, 140 secs
lola: 28049659 markings, 38997484 edges, 176853 markings/sec, 145 secs
lola: 28895151 markings, 40197200 edges, 169098 markings/sec, 150 secs
lola: 29802491 markings, 41484276 edges, 181468 markings/sec, 155 secs
lola: 30679643 markings, 42730382 edges, 175430 markings/sec, 160 secs
lola: 31549260 markings, 43966084 edges, 173923 markings/sec, 165 secs
lola: 32417196 markings, 45201882 edges, 173587 markings/sec, 170 secs
lola: 33285972 markings, 46437611 edges, 173755 markings/sec, 175 secs
lola: 34161701 markings, 47682336 edges, 175146 markings/sec, 180 secs
lola: 35024723 markings, 48912682 edges, 172604 markings/sec, 185 secs
lola: 35842724 markings, 50078784 edges, 163600 markings/sec, 190 secs
lola: 36705429 markings, 51311916 edges, 172541 markings/sec, 195 secs
lola: 37561552 markings, 52534216 edges, 171225 markings/sec, 200 secs
lola: 38419269 markings, 53761899 edges, 171543 markings/sec, 205 secs
lola: 39270752 markings, 54983141 edges, 170297 markings/sec, 210 secs
lola: 40130076 markings, 56214650 edges, 171865 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(p48)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 7 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: 710369 markings, 1395439 edges, 142074 markings/sec, 0 secs
lola: 1382715 markings, 2757811 edges, 134469 markings/sec, 5 secs
lola: 2041125 markings, 4103925 edges, 131682 markings/sec, 10 secs
lola: 2690823 markings, 5445332 edges, 129940 markings/sec, 15 secs
lola: 3340525 markings, 6795814 edges, 129940 markings/sec, 20 secs
lola: 3982600 markings, 8146411 edges, 128415 markings/sec, 25 secs
lola: 4648191 markings, 9534096 edges, 133118 markings/sec, 30 secs
lola: 5319435 markings, 10922430 edges, 134249 markings/sec, 35 secs
lola: 5992583 markings, 12297407 edges, 134630 markings/sec, 40 secs
lola: 6667683 markings, 13661303 edges, 135020 markings/sec, 45 secs
lola: 7260386 markings, 14856324 edges, 118541 markings/sec, 50 secs
lola: 7912770 markings, 16164460 edges, 130477 markings/sec, 55 secs
lola: 8548121 markings, 17435575 edges, 127070 markings/sec, 60 secs
lola: 9178916 markings, 18696130 edges, 126159 markings/sec, 65 secs
lola: 9805235 markings, 19955977 edges, 125264 markings/sec, 70 secs
lola: 10423098 markings, 21195292 edges, 123573 markings/sec, 75 secs
lola: 11041985 markings, 22442125 edges, 123777 markings/sec, 80 secs
lola: 11663579 markings, 23701002 edges, 124319 markings/sec, 85 secs
lola: 12213010 markings, 24813069 edges, 109886 markings/sec, 90 secs
lola: 12823054 markings, 26050969 edges, 122009 markings/sec, 95 secs
lola: 13431226 markings, 27297017 edges, 121634 markings/sec, 100 secs
lola: 14031810 markings, 28525708 edges, 120117 markings/sec, 105 secs
lola: 14631436 markings, 29756336 edges, 119925 markings/sec, 110 secs
lola: 15227369 markings, 30983035 edges, 119187 markings/sec, 115 secs
lola: 15815863 markings, 32197168 edges, 117699 markings/sec, 120 secs
lola: 16403230 markings, 33408168 edges, 117473 markings/sec, 125 secs
lola: 16924997 markings, 34488025 edges, 104353 markings/sec, 130 secs
lola: 17496426 markings, 35679743 edges, 114286 markings/sec, 135 secs
lola: 18070869 markings, 36875049 edges, 114889 markings/sec, 140 secs
lola: 18639737 markings, 38066126 edges, 113774 markings/sec, 145 secs
lola: 19206026 markings, 39254707 edges, 113258 markings/sec, 150 secs
lola: 19771481 markings, 40445536 edges, 113091 markings/sec, 155 secs
lola: 20337034 markings, 41629584 edges, 113111 markings/sec, 160 secs
lola: 20897733 markings, 42811406 edges, 112140 markings/sec, 165 secs
lola: 21452456 markings, 43991455 edges, 110945 markings/sec, 170 secs
lola: 22008924 markings, 45172540 edges, 111294 markings/sec, 175 secs
lola: 22560868 markings, 46347599 edges, 110389 markings/sec, 180 secs
lola: 23110915 markings, 47519845 edges, 110009 markings/sec, 185 secs
lola: 23601625 markings, 48567872 edges, 98142 markings/sec, 190 secs
lola: 24142965 markings, 49723035 edges, 108268 markings/sec, 195 secs
lola: 24693758 markings, 50898880 edges, 110159 markings/sec, 200 secs
lola: 25232819 markings, 52062261 edges, 107812 markings/sec, 205 secs
lola: 25775847 markings, 53234418 edges, 108606 markings/sec, 210 secs
lola: 26315937 markings, 54396950 edges, 108018 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(p54)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 7 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: 955155 markings, 1283682 edges, 191031 markings/sec, 0 secs
lola: 1865892 markings, 2525179 edges, 182147 markings/sec, 5 secs
lola: 2762013 markings, 3760417 edges, 179224 markings/sec, 10 secs
lola: 3655745 markings, 4999977 edges, 178746 markings/sec, 15 secs
lola: 4535531 markings, 6227402 edges, 175957 markings/sec, 20 secs
lola: 5309016 markings, 7311785 edges, 154697 markings/sec, 25 secs
lola: 6176297 markings, 8530213 edges, 173456 markings/sec, 30 secs
lola: 7036373 markings, 9746352 edges, 172015 markings/sec, 35 secs
lola: 7895364 markings, 10962664 edges, 171798 markings/sec, 40 secs
lola: 8749422 markings, 12176091 edges, 170812 markings/sec, 45 secs
lola: 9589178 markings, 13372468 edges, 167951 markings/sec, 50 secs
lola: 10435570 markings, 14581811 edges, 169278 markings/sec, 55 secs
lola: 11276761 markings, 15788467 edges, 168238 markings/sec, 60 secs
lola: 12110941 markings, 16987078 edges, 166836 markings/sec, 65 secs
lola: 12940857 markings, 18179664 edges, 165983 markings/sec, 70 secs
lola: 13771106 markings, 19376458 edges, 166050 markings/sec, 75 secs
lola: 14600457 markings, 20575263 edges, 165870 markings/sec, 80 secs
lola: 15420159 markings, 21763474 edges, 163940 markings/sec, 85 secs
lola: 16135778 markings, 22801426 edges, 143124 markings/sec, 90 secs
lola: 16957312 markings, 23995894 edges, 164307 markings/sec, 95 secs
lola: 17772944 markings, 25183689 edges, 163126 markings/sec, 100 secs
lola: 18581610 markings, 26364402 edges, 161733 markings/sec, 105 secs
lola: 19394290 markings, 27554322 edges, 162536 markings/sec, 110 secs
lola: 20201999 markings, 28737169 edges, 161542 markings/sec, 115 secs
lola: 21014394 markings, 29926830 edges, 162479 markings/sec, 120 secs
lola: 21826895 markings, 31122119 edges, 162500 markings/sec, 125 secs
lola: 22630866 markings, 32305850 edges, 160794 markings/sec, 130 secs
lola: 23435611 markings, 33491892 edges, 160949 markings/sec, 135 secs
lola: 24235068 markings, 34674269 edges, 159891 markings/sec, 140 secs
lola: 25036087 markings, 35858295 edges, 160204 markings/sec, 145 secs
lola: 25826242 markings, 37028098 edges, 158031 markings/sec, 150 secs
lola: 26622385 markings, 38209837 edges, 159229 markings/sec, 155 secs
lola: 27415937 markings, 39390568 edges, 158710 markings/sec, 160 secs
lola: 28202542 markings, 40560478 edges, 157321 markings/sec, 165 secs
lola: 28988009 markings, 41727359 edges, 157093 markings/sec, 170 secs
lola: 29779170 markings, 42907511 edges, 158232 markings/sec, 175 secs
lola: 30567351 markings, 44084194 edges, 157636 markings/sec, 180 secs
lola: 31356155 markings, 45263608 edges, 157761 markings/sec, 185 secs
lola: 32139734 markings, 46437254 edges, 156716 markings/sec, 190 secs
lola: 32923722 markings, 47613162 edges, 156798 markings/sec, 195 secs
lola: 33703513 markings, 48783906 edges, 155958 markings/sec, 200 secs
lola: 34480937 markings, 49951584 edges, 155485 markings/sec, 205 secs
lola: 35253960 markings, 51114265 edges, 154605 markings/sec, 210 secs
lola: 36036463 markings, 52291026 edges, 156501 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(p60)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 7 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: 714963 markings, 1414078 edges, 142993 markings/sec, 0 secs
lola: 1401975 markings, 2799188 edges, 137402 markings/sec, 5 secs
lola: 2077176 markings, 4176627 edges, 135040 markings/sec, 10 secs
lola: 2744214 markings, 5552018 edges, 133408 markings/sec, 15 secs
lola: 3406167 markings, 6933239 edges, 132391 markings/sec, 20 secs
lola: 4053976 markings, 8295471 edges, 129562 markings/sec, 25 secs
lola: 4714740 markings, 9683778 edges, 132153 markings/sec, 30 secs
lola: 5379544 markings, 11060537 edges, 132961 markings/sec, 35 secs
lola: 6051050 markings, 12438362 edges, 134301 markings/sec, 40 secs
lola: 6726307 markings, 13802604 edges, 135051 markings/sec, 45 secs
lola: 7330015 markings, 15017304 edges, 120742 markings/sec, 50 secs
lola: 8002928 markings, 16363063 edges, 134583 markings/sec, 55 secs
lola: 8671541 markings, 17702762 edges, 133723 markings/sec, 60 secs
lola: 9336836 markings, 19034441 edges, 133059 markings/sec, 65 secs
lola: 9997832 markings, 20365566 edges, 132199 markings/sec, 70 secs
lola: 10635422 markings, 21652452 edges, 127518 markings/sec, 75 secs
lola: 11260825 markings, 22916996 edges, 125081 markings/sec, 80 secs
lola: 11876983 markings, 24156727 edges, 123232 markings/sec, 85 secs
lola: 12516011 markings, 25449497 edges, 127806 markings/sec, 90 secs
lola: 13126640 markings, 26693943 edges, 122126 markings/sec, 95 secs
lola: 13742805 markings, 27953055 edges, 123233 markings/sec, 100 secs
lola: 14318601 markings, 29134697 edges, 115159 markings/sec, 105 secs
lola: 14938291 markings, 30407735 edges, 123938 markings/sec, 110 secs
lola: 15537604 markings, 31644346 edges, 119863 markings/sec, 115 secs
lola: 16137054 markings, 32882467 edges, 119890 markings/sec, 120 secs
lola: 16700801 markings, 34050234 edges, 112749 markings/sec, 125 secs
lola: 17300129 markings, 35297618 edges, 119866 markings/sec, 130 secs
lola: 17898997 markings, 36547637 edges, 119774 markings/sec, 135 secs
lola: 18491082 markings, 37796560 edges, 118417 markings/sec, 140 secs
lola: 19079150 markings, 39030345 edges, 117614 markings/sec, 145 secs
lola: 19667924 markings, 40266186 edges, 117755 markings/sec, 150 secs
lola: 20253262 markings, 41502679 edges, 117068 markings/sec, 155 secs
lola: 20835559 markings, 42738484 edges, 116459 markings/sec, 160 secs
lola: 21412151 markings, 43961830 edges, 115318 markings/sec, 165 secs
lola: 21983029 markings, 45175322 edges, 114176 markings/sec, 170 secs
lola: 22555147 markings, 46398300 edges, 114424 markings/sec, 175 secs
lola: 23125287 markings, 47618343 edges, 114028 markings/sec, 180 secs
lola: 23662369 markings, 48769065 edges, 107416 markings/sec, 185 secs
lola: 24218260 markings, 49956930 edges, 111178 markings/sec, 190 secs
lola: 24756640 markings, 51117558 edges, 107676 markings/sec, 195 secs
lola: 25313221 markings, 52315849 edges, 111316 markings/sec, 200 secs
lola: 25859526 markings, 53495428 edges, 109261 markings/sec, 205 secs
lola: 26336420 markings, 54529891 edges, 95379 markings/sec, 210 secs
lola: 26881197 markings, 55710560 edges, 108955 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(p48)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 7 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: 708692 markings, 1392075 edges, 141738 markings/sec, 0 secs
lola: 1334826 markings, 2659724 edges, 125227 markings/sec, 5 secs
lola: 1935732 markings, 3887684 edges, 120181 markings/sec, 10 secs
lola: 2587531 markings, 5231282 edges, 130360 markings/sec, 15 secs
lola: 3232205 markings, 6572315 edges, 128935 markings/sec, 20 secs
lola: 3832374 markings, 7829308 edges, 120034 markings/sec, 25 secs
lola: 4420017 markings, 9058913 edges, 117529 markings/sec, 30 secs
lola: 5066268 markings, 10399987 edges, 129250 markings/sec, 35 secs
lola: 5712892 markings, 11729096 edges, 129325 markings/sec, 40 secs
lola: 6358710 markings, 13037068 edges, 129164 markings/sec, 45 secs
lola: 7003893 markings, 14340445 edges, 129037 markings/sec, 50 secs
lola: 7651488 markings, 15640126 edges, 129519 markings/sec, 55 secs
lola: 8295423 markings, 16930042 edges, 128787 markings/sec, 60 secs
lola: 8896364 markings, 18131362 edges, 120188 markings/sec, 65 secs
lola: 9481385 markings, 19305330 edges, 117004 markings/sec, 70 secs
lola: 10118861 markings, 20584843 edges, 127495 markings/sec, 75 secs
lola: 10753039 markings, 21856658 edges, 126836 markings/sec, 80 secs
lola: 11378728 markings, 23121848 edges, 125138 markings/sec, 85 secs
lola: 11999339 markings, 24379895 edges, 124122 markings/sec, 90 secs
lola: 12620770 markings, 25640228 edges, 124286 markings/sec, 95 secs
lola: 13228369 markings, 26881758 edges, 121520 markings/sec, 100 secs
lola: 13835463 markings, 28121917 edges, 121419 markings/sec, 105 secs
lola: 14435663 markings, 29356112 edges, 120040 markings/sec, 110 secs
lola: 15035600 markings, 30587669 edges, 119987 markings/sec, 115 secs
lola: 15626655 markings, 31806531 edges, 118211 markings/sec, 120 secs
lola: 16214199 markings, 33018300 edges, 117509 markings/sec, 125 secs
lola: 16802120 markings, 34234016 edges, 117584 markings/sec, 130 secs
lola: 17384970 markings, 35447009 edges, 116570 markings/sec, 135 secs
lola: 17959823 markings, 36643080 edges, 114971 markings/sec, 140 secs
lola: 18530340 markings, 37835581 edges, 114103 markings/sec, 145 secs
lola: 19099106 markings, 39031279 edges, 113753 markings/sec, 150 secs
lola: 19667522 markings, 40224326 edges, 113683 markings/sec, 155 secs
lola: 20226586 markings, 41399029 edges, 111813 markings/sec, 160 secs
lola: 20788910 markings, 42578933 edges, 112465 markings/sec, 165 secs
lola: 21346530 markings, 43767658 edges, 111524 markings/sec, 170 secs
lola: 21904860 markings, 44951348 edges, 111666 markings/sec, 175 secs
lola: 22455733 markings, 46123229 edges, 110175 markings/sec, 180 secs
lola: 23002598 markings, 47290306 edges, 109373 markings/sec, 185 secs
lola: 23554249 markings, 48469433 edges, 110330 markings/sec, 190 secs
lola: 24102201 markings, 49635461 edges, 109590 markings/sec, 195 secs
lola: 24649648 markings, 50804290 edges, 109489 markings/sec, 200 secs
lola: 25192067 markings, 51974521 edges, 108484 markings/sec, 205 secs
lola: 25727658 markings, 53130103 edges, 107118 markings/sec, 210 secs
lola: 26251482 markings, 54259194 edges, 104765 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(p16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 7 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: 960840 markings, 1208972 edges, 192168 markings/sec, 0 secs
lola: 1864654 markings, 2370638 edges, 180763 markings/sec, 5 secs
lola: 2748162 markings, 3520661 edges, 176702 markings/sec, 10 secs
lola: 3651430 markings, 4707685 edges, 180654 markings/sec, 15 secs
lola: 4544634 markings, 5883990 edges, 178641 markings/sec, 20 secs
lola: 5434902 markings, 7070713 edges, 178054 markings/sec, 25 secs
lola: 6326612 markings, 8264891 edges, 178342 markings/sec, 30 secs
lola: 7220818 markings, 9467029 edges, 178841 markings/sec, 35 secs
lola: 8099751 markings, 10651455 edges, 175787 markings/sec, 40 secs
lola: 8966506 markings, 11825932 edges, 173351 markings/sec, 45 secs
lola: 9840787 markings, 13015112 edges, 174856 markings/sec, 50 secs
lola: 10716658 markings, 14208154 edges, 175174 markings/sec, 55 secs
lola: 11578306 markings, 15386157 edges, 172330 markings/sec, 60 secs
lola: 12437539 markings, 16562821 edges, 171847 markings/sec, 65 secs
lola: 13286721 markings, 17730555 edges, 169836 markings/sec, 70 secs
lola: 14131412 markings, 18894832 edges, 168938 markings/sec, 75 secs
lola: 14974128 markings, 20058575 edges, 168543 markings/sec, 80 secs
lola: 15817091 markings, 21223056 edges, 168593 markings/sec, 85 secs
lola: 16658653 markings, 22389616 edges, 168312 markings/sec, 90 secs
lola: 17492921 markings, 23549125 edges, 166854 markings/sec, 95 secs
lola: 18327539 markings, 24710181 edges, 166924 markings/sec, 100 secs
lola: 19162685 markings, 25877154 edges, 167029 markings/sec, 105 secs
lola: 19983201 markings, 27024134 edges, 164103 markings/sec, 110 secs
lola: 20802487 markings, 28173391 edges, 163857 markings/sec, 115 secs
lola: 21632585 markings, 29344103 edges, 166020 markings/sec, 120 secs
lola: 22461204 markings, 30507643 edges, 165724 markings/sec, 125 secs
lola: 23280613 markings, 31657355 edges, 163882 markings/sec, 130 secs
lola: 24106598 markings, 32822651 edges, 165197 markings/sec, 135 secs
lola: 24909228 markings, 33954807 edges, 160526 markings/sec, 140 secs
lola: 25715535 markings, 35093535 edges, 161261 markings/sec, 145 secs
lola: 26520837 markings, 36235844 edges, 161060 markings/sec, 150 secs
lola: 27313792 markings, 37356307 edges, 158591 markings/sec, 155 secs
lola: 28131134 markings, 38514711 edges, 163468 markings/sec, 160 secs
lola: 28943391 markings, 39667712 edges, 162451 markings/sec, 165 secs
lola: 29747310 markings, 40809408 edges, 160784 markings/sec, 170 secs
lola: 30559660 markings, 41968337 edges, 162470 markings/sec, 175 secs
lola: 31364098 markings, 43123603 edges, 160888 markings/sec, 180 secs
lola: 32150112 markings, 44248569 edges, 157203 markings/sec, 185 secs
lola: 32948238 markings, 45391080 edges, 159625 markings/sec, 190 secs
lola: 33750669 markings, 46545863 edges, 160486 markings/sec, 195 secs
lola: 34544133 markings, 47688935 edges, 158693 markings/sec, 200 secs
lola: 35336980 markings, 48821669 edges, 158569 markings/sec, 205 secs
lola: 36132841 markings, 49966449 edges, 159172 markings/sec, 210 secs
lola: 36936472 markings, 51128382 edges, 160726 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(p52)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 7 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: 984601 markings, 1238272 edges, 196920 markings/sec, 0 secs
lola: 1947934 markings, 2484513 edges, 192667 markings/sec, 5 secs
lola: 2911078 markings, 3735513 edges, 192629 markings/sec, 10 secs
lola: 3859047 markings, 4977130 edges, 189594 markings/sec, 15 secs
lola: 4793775 markings, 6219785 edges, 186946 markings/sec, 20 secs
lola: 5712730 markings, 7442700 edges, 183791 markings/sec, 25 secs
lola: 6612461 markings, 8645080 edges, 179946 markings/sec, 30 secs
lola: 7525014 markings, 9874095 edges, 182511 markings/sec, 35 secs
lola: 8436659 markings, 11104798 edges, 182329 markings/sec, 40 secs
lola: 9323808 markings, 12306403 edges, 177430 markings/sec, 45 secs
lola: 10222126 markings, 13527312 edges, 179664 markings/sec, 50 secs
lola: 11113797 markings, 14743756 edges, 178334 markings/sec, 55 secs
lola: 12002801 markings, 15960618 edges, 177801 markings/sec, 60 secs
lola: 12879780 markings, 17167763 edges, 175396 markings/sec, 65 secs
lola: 13760863 markings, 18382361 edges, 176217 markings/sec, 70 secs
lola: 14639303 markings, 19593322 edges, 175688 markings/sec, 75 secs
lola: 15499032 markings, 20782235 edges, 171946 markings/sec, 80 secs
lola: 16281605 markings, 21867747 edges, 156515 markings/sec, 85 secs
lola: 17150600 markings, 23072328 edges, 173799 markings/sec, 90 secs
lola: 18022118 markings, 24284283 edges, 174304 markings/sec, 95 secs
lola: 18886557 markings, 25490924 edges, 172888 markings/sec, 100 secs
lola: 19754235 markings, 26708652 edges, 173536 markings/sec, 105 secs
lola: 20615543 markings, 27915238 edges, 172262 markings/sec, 110 secs
lola: 21474924 markings, 29120424 edges, 171876 markings/sec, 115 secs
lola: 22320353 markings, 30309315 edges, 169086 markings/sec, 120 secs
lola: 23178054 markings, 31517040 edges, 171540 markings/sec, 125 secs
lola: 24030322 markings, 32717049 edges, 170454 markings/sec, 130 secs
lola: 24879582 markings, 33916333 edges, 169852 markings/sec, 135 secs
lola: 25727330 markings, 35114770 edges, 169550 markings/sec, 140 secs
lola: 26489937 markings, 36196642 edges, 152521 markings/sec, 145 secs
lola: 27337799 markings, 37398807 edges, 169572 markings/sec, 150 secs
lola: 28177179 markings, 38588458 edges, 167876 markings/sec, 155 secs
lola: 29027880 markings, 39802755 edges, 170140 markings/sec, 160 secs
lola: 29874445 markings, 41012432 edges, 169313 markings/sec, 165 secs
lola: 30720291 markings, 42224293 edges, 169169 markings/sec, 170 secs
lola: 31561434 markings, 43428540 edges, 168229 markings/sec, 175 secs
lola: 32398420 markings, 44630763 edges, 167397 markings/sec, 180 secs
lola: 33152208 markings, 45713841 edges, 150758 markings/sec, 185 secs
lola: 33990701 markings, 46919290 edges, 167699 markings/sec, 190 secs
lola: 34825698 markings, 48122935 edges, 166999 markings/sec, 195 secs
lola: 35661543 markings, 49325128 edges, 167169 markings/sec, 200 secs
lola: 36494562 markings, 50521110 edges, 166604 markings/sec, 205 secs
lola: 37323915 markings, 51719044 edges, 165871 markings/sec, 210 secs
lola: 38148740 markings, 52910084 edges, 164965 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p40)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 7 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: 995003 markings, 1257169 edges, 199001 markings/sec, 0 secs
lola: 1958876 markings, 2498168 edges, 192775 markings/sec, 5 secs
lola: 2893043 markings, 3714059 edges, 186833 markings/sec, 10 secs
lola: 3816031 markings, 4929399 edges, 184598 markings/sec, 15 secs
lola: 4735571 markings, 6142724 edges, 183908 markings/sec, 20 secs
lola: 5539887 markings, 7215871 edges, 160863 markings/sec, 25 secs
lola: 6444006 markings, 8423032 edges, 180824 markings/sec, 30 secs
lola: 7335488 markings, 9623072 edges, 178296 markings/sec, 35 secs
lola: 8132905 markings, 10698116 edges, 159483 markings/sec, 40 secs
lola: 9015346 markings, 11890825 edges, 176488 markings/sec, 45 secs
lola: 9900801 markings, 13094226 edges, 177091 markings/sec, 50 secs
lola: 10777726 markings, 14288522 edges, 175385 markings/sec, 55 secs
lola: 11639826 markings, 15466446 edges, 172420 markings/sec, 60 secs
lola: 12514739 markings, 16662632 edges, 174983 markings/sec, 65 secs
lola: 13375710 markings, 17843602 edges, 172194 markings/sec, 70 secs
lola: 14233198 markings, 19023506 edges, 171498 markings/sec, 75 secs
lola: 15093030 markings, 20213928 edges, 171966 markings/sec, 80 secs
lola: 15949522 markings, 21400547 edges, 171298 markings/sec, 85 secs
lola: 16804823 markings, 22588704 edges, 171060 markings/sec, 90 secs
lola: 17654666 markings, 23769627 edges, 169969 markings/sec, 95 secs
lola: 18429342 markings, 24848326 edges, 154935 markings/sec, 100 secs
lola: 19270256 markings, 26024079 edges, 168183 markings/sec, 105 secs
lola: 20119914 markings, 27213736 edges, 169932 markings/sec, 110 secs
lola: 20963691 markings, 28396379 edges, 168755 markings/sec, 115 secs
lola: 21793474 markings, 29559263 edges, 165957 markings/sec, 120 secs
lola: 22642102 markings, 30756523 edges, 169726 markings/sec, 125 secs
lola: 23476784 markings, 31931463 edges, 166936 markings/sec, 130 secs
lola: 24306749 markings, 33103766 edges, 165993 markings/sec, 135 secs
lola: 25134316 markings, 34273342 edges, 165513 markings/sec, 140 secs
lola: 25962606 markings, 35445715 edges, 165658 markings/sec, 145 secs
lola: 26787616 markings, 36616304 edges, 165002 markings/sec, 150 secs
lola: 27617976 markings, 37797379 edges, 166072 markings/sec, 155 secs
lola: 28434306 markings, 38954735 edges, 163266 markings/sec, 160 secs
lola: 29252386 markings, 40117344 edges, 163616 markings/sec, 165 secs
lola: 30072388 markings, 41287500 edges, 164000 markings/sec, 170 secs
lola: 30891480 markings, 42457201 edges, 163818 markings/sec, 175 secs
lola: 31693915 markings, 43607109 edges, 160487 markings/sec, 180 secs
lola: 32502465 markings, 44760019 edges, 161710 markings/sec, 185 secs
lola: 33320267 markings, 45937795 edges, 163560 markings/sec, 190 secs
lola: 34128312 markings, 47102249 edges, 161609 markings/sec, 195 secs
lola: 34934837 markings, 48263570 edges, 161305 markings/sec, 200 secs
lola: 35744394 markings, 49422593 edges, 161911 markings/sec, 205 secs
lola: 36556304 markings, 50598195 edges, 162382 markings/sec, 210 secs
lola: 37364226 markings, 51766188 edges, 161584 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p22)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 7 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: 1011391 markings, 1449073 edges, 202278 markings/sec, 0 secs
lola: 1988250 markings, 2859939 edges, 195372 markings/sec, 5 secs
lola: 2942922 markings, 4244929 edges, 190934 markings/sec, 10 secs
lola: 3886769 markings, 5622768 edges, 188769 markings/sec, 15 secs
lola: 4814396 markings, 6979777 edges, 185525 markings/sec, 20 secs
lola: 5742444 markings, 8339551 edges, 185610 markings/sec, 25 secs
lola: 6668840 markings, 9699260 edges, 185279 markings/sec, 30 secs
lola: 7551511 markings, 11000858 edges, 176534 markings/sec, 35 secs
lola: 8330232 markings, 12151170 edges, 155744 markings/sec, 40 secs
lola: 9191964 markings, 13425877 edges, 172346 markings/sec, 45 secs
lola: 10043760 markings, 14686203 edges, 170359 markings/sec, 50 secs
lola: 10910129 markings, 15973103 edges, 173274 markings/sec, 55 secs
lola: 11792976 markings, 17282209 edges, 176569 markings/sec, 60 secs
lola: 12662786 markings, 18575487 edges, 173962 markings/sec, 65 secs
lola: 13531008 markings, 19866420 edges, 173644 markings/sec, 70 secs
lola: 14382304 markings, 21134085 edges, 170259 markings/sec, 75 secs
lola: 15224940 markings, 22390795 edges, 168527 markings/sec, 80 secs
lola: 16096428 markings, 23692128 edges, 174298 markings/sec, 85 secs
lola: 16955854 markings, 24977234 edges, 171885 markings/sec, 90 secs
lola: 17806981 markings, 26251825 edges, 170225 markings/sec, 95 secs
lola: 18661043 markings, 27529628 edges, 170812 markings/sec, 100 secs
lola: 19520743 markings, 28818045 edges, 171940 markings/sec, 105 secs
lola: 20370340 markings, 30091874 edges, 169919 markings/sec, 110 secs
lola: 21234816 markings, 31389530 edges, 172895 markings/sec, 115 secs
lola: 22079805 markings, 32659727 edges, 168998 markings/sec, 120 secs
lola: 22935119 markings, 33945511 edges, 171063 markings/sec, 125 secs
lola: 23780054 markings, 35217842 edges, 168987 markings/sec, 130 secs
lola: 24623661 markings, 36490409 edges, 168721 markings/sec, 135 secs
lola: 25470603 markings, 37765720 edges, 169388 markings/sec, 140 secs
lola: 26319286 markings, 39046897 edges, 169737 markings/sec, 145 secs
lola: 27163142 markings, 40321680 edges, 168771 markings/sec, 150 secs
lola: 28008507 markings, 41600304 edges, 169073 markings/sec, 155 secs
lola: 28843591 markings, 42864385 edges, 167017 markings/sec, 160 secs
lola: 29679494 markings, 44129034 edges, 167181 markings/sec, 165 secs
lola: 30523114 markings, 45407813 edges, 168724 markings/sec, 170 secs
lola: 31360737 markings, 46676965 edges, 167525 markings/sec, 175 secs
lola: 32192692 markings, 47938941 edges, 166391 markings/sec, 180 secs
lola: 33015752 markings, 49188308 edges, 164612 markings/sec, 185 secs
lola: 33828667 markings, 50421224 edges, 162583 markings/sec, 190 secs
lola: 34658964 markings, 51682052 edges, 166059 markings/sec, 195 secs
lola: 35494242 markings, 52950014 edges, 167056 markings/sec, 200 secs
lola: 36337339 markings, 54233334 edges, 168619 markings/sec, 205 secs
lola: 37172018 markings, 55505477 edges, 166936 markings/sec, 210 secs
lola: 38007599 markings, 56778092 edges, 167116 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA FlexibleBarrier-PT-08a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-08a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496485106523
--------------------
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="FlexibleBarrier-PT-08a"
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/FlexibleBarrier-PT-08a.tgz
mv FlexibleBarrier-PT-08a 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 FlexibleBarrier-PT-08a, 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 r188-blw3-149581034100038"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;