About the Execution of LoLA for Echo-PT-d05r03
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
6825.240 | 3540116.00 | 3546340.00 | 1750.10 | ? 1 ? ? ? ? ? ? ? 1 ? ? ? ? ? 1 | 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 Echo-PT-d05r03, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-blw3-149440264100308
=====================================================================
--------------------
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 Echo-PT-d05r03-UpperBounds-0
FORMULA_NAME Echo-PT-d05r03-UpperBounds-1
FORMULA_NAME Echo-PT-d05r03-UpperBounds-10
FORMULA_NAME Echo-PT-d05r03-UpperBounds-11
FORMULA_NAME Echo-PT-d05r03-UpperBounds-12
FORMULA_NAME Echo-PT-d05r03-UpperBounds-13
FORMULA_NAME Echo-PT-d05r03-UpperBounds-14
FORMULA_NAME Echo-PT-d05r03-UpperBounds-15
FORMULA_NAME Echo-PT-d05r03-UpperBounds-2
FORMULA_NAME Echo-PT-d05r03-UpperBounds-3
FORMULA_NAME Echo-PT-d05r03-UpperBounds-4
FORMULA_NAME Echo-PT-d05r03-UpperBounds-5
FORMULA_NAME Echo-PT-d05r03-UpperBounds-6
FORMULA_NAME Echo-PT-d05r03-UpperBounds-7
FORMULA_NAME Echo-PT-d05r03-UpperBounds-8
FORMULA_NAME Echo-PT-d05r03-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494693781420
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Echo-PT-d05r03 @ 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: 6939/65536 symbol table entries, 1161 collisions
lola: preprocessing...
lola: finding significant places
lola: 3717 places, 3222 transitions, 1854 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 6434 transition conflict sets
lola: TASK
lola: reading formula from Echo-PT-d05r03-UpperBounds.task
lola: MAX(p3093) : MAX(p3670) : MAX(p2991) : MAX(p3639) : MAX(p98) : MAX(p3341) : MAX(p1617) : MAX(p927) : MAX(p2019) : MAX(p3491) : MAX(p3279) : MAX(p2146) : MAX(p1279) : MAX(p2898) : MAX(p3135) : MAX(p948)
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(p3093)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 232 bytes per marking, with 2 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: 540064 markings, 540507 edges, 108013 markings/sec, 0 secs
lola: 1086867 markings, 1087782 edges, 109361 markings/sec, 5 secs
lola: 1630834 markings, 1632219 edges, 108793 markings/sec, 10 secs
lola: 2174746 markings, 2176600 edges, 108782 markings/sec, 15 secs
lola: 2704523 markings, 2706841 edges, 105955 markings/sec, 20 secs
lola: 3245943 markings, 3248729 edges, 108284 markings/sec, 25 secs
lola: 3779295 markings, 3782546 edges, 106670 markings/sec, 30 secs
lola: 4308843 markings, 4312558 edges, 105910 markings/sec, 35 secs
lola: 4783444 markings, 4787600 edges, 94920 markings/sec, 40 secs
lola: 5327245 markings, 5331871 edges, 108760 markings/sec, 45 secs
lola: 5867576 markings, 5872669 edges, 108066 markings/sec, 50 secs
lola: 6388479 markings, 6394043 edges, 104181 markings/sec, 55 secs
lola: 6851121 markings, 6857055 edges, 92528 markings/sec, 60 secs
lola: 7358185 markings, 7364572 edges, 101413 markings/sec, 65 secs
lola: 7876018 markings, 7882870 edges, 103567 markings/sec, 70 secs
lola: 8372398 markings, 8379632 edges, 99276 markings/sec, 75 secs
lola: 8836077 markings, 8843749 edges, 92736 markings/sec, 80 secs
lola: 9344110 markings, 9352188 edges, 101607 markings/sec, 85 secs
lola: 9863745 markings, 9872269 edges, 103927 markings/sec, 90 secs
lola: 10376787 markings, 10385768 edges, 102608 markings/sec, 95 secs
lola: 10843381 markings, 10852806 edges, 93319 markings/sec, 100 secs
lola: 11368655 markings, 11378488 edges, 105055 markings/sec, 105 secs
lola: 11897265 markings, 11907553 edges, 105722 markings/sec, 110 secs
lola: 12413659 markings, 12424405 edges, 103279 markings/sec, 115 secs
lola: 12872002 markings, 12883188 edges, 91669 markings/sec, 120 secs
lola: 13393511 markings, 13405090 edges, 104302 markings/sec, 125 secs
lola: 13903800 markings, 13915834 edges, 102058 markings/sec, 130 secs
lola: 14408404 markings, 14420893 edges, 100921 markings/sec, 135 secs
lola: 14866936 markings, 14879796 edges, 91706 markings/sec, 140 secs
lola: 15388454 markings, 15401776 edges, 104304 markings/sec, 145 secs
lola: 15905551 markings, 15919330 edges, 103419 markings/sec, 150 secs
lola: 16416535 markings, 16430770 edges, 102197 markings/sec, 155 secs
lola: 16884595 markings, 16899208 edges, 93612 markings/sec, 160 secs
lola: 17426786 markings, 17441872 edges, 108438 markings/sec, 165 secs
lola: 17961674 markings, 17977227 edges, 106978 markings/sec, 170 secs
lola: 18486184 markings, 18502198 edges, 104902 markings/sec, 175 secs
lola: 19016177 markings, 19032654 edges, 105999 markings/sec, 180 secs
lola: 19546117 markings, 19563058 edges, 105988 markings/sec, 185 secs
lola: 20072603 markings, 20090008 edges, 105297 markings/sec, 190 secs
lola: 20596055 markings, 20613920 edges, 104690 markings/sec, 195 secs
lola: 21135367 markings, 21153699 edges, 107862 markings/sec, 200 secs
lola: 21677079 markings, 21695880 edges, 108342 markings/sec, 205 secs
lola: 22215826 markings, 22235095 edges, 107749 markings/sec, 210 secs
lola: 22759155 markings, 22778898 edges, 108666 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(p3670)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 232 bytes per marking, with 2 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 2 will run for 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2991)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 232 bytes per marking, with 2 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: 1052775 markings, 1052775 edges, 210555 markings/sec, 0 secs
lola: 2098606 markings, 2098606 edges, 209166 markings/sec, 5 secs
lola: 3135801 markings, 3135801 edges, 207439 markings/sec, 10 secs
lola: 4171716 markings, 4171716 edges, 207183 markings/sec, 15 secs
lola: 5192111 markings, 5192111 edges, 204079 markings/sec, 20 secs
lola: 6243322 markings, 6243321 edges, 210242 markings/sec, 25 secs
lola: 7216404 markings, 7216404 edges, 194616 markings/sec, 30 secs
lola: 8264572 markings, 8264571 edges, 209634 markings/sec, 35 secs
lola: 9296219 markings, 9296219 edges, 206329 markings/sec, 40 secs
lola: 10356408 markings, 10356408 edges, 212038 markings/sec, 45 secs
lola: 11404487 markings, 11404487 edges, 209616 markings/sec, 50 secs
lola: 12416755 markings, 12416755 edges, 202454 markings/sec, 55 secs
lola: 13414251 markings, 13414251 edges, 199499 markings/sec, 60 secs
lola: 14426609 markings, 14426609 edges, 202472 markings/sec, 65 secs
lola: 15436750 markings, 15436750 edges, 202028 markings/sec, 70 secs
lola: 16462589 markings, 16462589 edges, 205168 markings/sec, 75 secs
lola: 17476632 markings, 17476631 edges, 202809 markings/sec, 80 secs
lola: 18500543 markings, 18500543 edges, 204782 markings/sec, 85 secs
lola: 19417759 markings, 19417759 edges, 183443 markings/sec, 90 secs
lola: 20421025 markings, 20421025 edges, 200653 markings/sec, 95 secs
lola: 21428663 markings, 21428663 edges, 201528 markings/sec, 100 secs
lola: 22426963 markings, 22426963 edges, 199660 markings/sec, 105 secs
lola: 23408247 markings, 23408247 edges, 196257 markings/sec, 110 secs
lola: 24470079 markings, 24470079 edges, 212366 markings/sec, 115 secs
lola: 25534639 markings, 25534639 edges, 212912 markings/sec, 120 secs
lola: 26576129 markings, 26576129 edges, 208298 markings/sec, 125 secs
lola: 27640964 markings, 27640964 edges, 212967 markings/sec, 130 secs
lola: 28693393 markings, 28693393 edges, 210486 markings/sec, 135 secs
lola: 29726068 markings, 29726068 edges, 206535 markings/sec, 140 secs
lola: 30785313 markings, 30785313 edges, 211849 markings/sec, 145 secs
lola: 31760535 markings, 31760535 edges, 195044 markings/sec, 150 secs
lola: 32819431 markings, 32819431 edges, 211779 markings/sec, 155 secs
lola: 33851062 markings, 33851062 edges, 206326 markings/sec, 160 secs
lola: 34891654 markings, 34891654 edges, 208118 markings/sec, 165 secs
lola: 35940967 markings, 35940967 edges, 209863 markings/sec, 170 secs
lola: 36945328 markings, 36945328 edges, 200872 markings/sec, 175 secs
lola: 37966390 markings, 37966390 edges, 204212 markings/sec, 180 secs
lola: 39007952 markings, 39007952 edges, 208312 markings/sec, 185 secs
lola: 39974565 markings, 39974565 edges, 193323 markings/sec, 190 secs
lola: 41024582 markings, 41024582 edges, 210003 markings/sec, 195 secs
lola: 42068943 markings, 42068943 edges, 208872 markings/sec, 200 secs
lola: 43103140 markings, 43103140 edges, 206839 markings/sec, 205 secs
lola: 44133692 markings, 44133692 edges, 206110 markings/sec, 210 secs
lola: 45184563 markings, 45184563 edges, 210174 markings/sec, 215 secs
lola: 46252969 markings, 46252969 edges, 213681 markings/sec, 220 secs
lola: 47327198 markings, 47327198 edges, 214846 markings/sec, 225 secs
lola: 48376144 markings, 48376144 edges, 209789 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3639)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 232 bytes per marking, with 2 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 4 will run for 256 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p98)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 232 bytes per marking, with 2 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: 584607 markings, 585197 edges, 116921 markings/sec, 0 secs
lola: 1167731 markings, 1168812 edges, 116625 markings/sec, 5 secs
lola: 1753656 markings, 1755141 edges, 117185 markings/sec, 10 secs
lola: 2333997 markings, 2335881 edges, 116068 markings/sec, 15 secs
lola: 2914094 markings, 2916377 edges, 116019 markings/sec, 20 secs
lola: 3484691 markings, 3487366 edges, 114119 markings/sec, 25 secs
lola: 4066700 markings, 4072431 edges, 116402 markings/sec, 30 secs
lola: 4658617 markings, 4665894 edges, 118383 markings/sec, 35 secs
lola: 5235379 markings, 5242967 edges, 115352 markings/sec, 40 secs
lola: 5823031 markings, 5830935 edges, 117530 markings/sec, 45 secs
lola: 6405729 markings, 6413947 edges, 116540 markings/sec, 50 secs
lola: 6989454 markings, 6997986 edges, 116745 markings/sec, 55 secs
lola: 7557954 markings, 7566791 edges, 113700 markings/sec, 60 secs
lola: 8108803 markings, 8117937 edges, 110170 markings/sec, 65 secs
lola: 8657540 markings, 8666976 edges, 109747 markings/sec, 70 secs
lola: 9210459 markings, 9220222 edges, 110584 markings/sec, 75 secs
lola: 9754262 markings, 9764318 edges, 108761 markings/sec, 80 secs
lola: 10316358 markings, 10326716 edges, 112419 markings/sec, 85 secs
lola: 10874825 markings, 10885483 edges, 111693 markings/sec, 90 secs
lola: 11447089 markings, 11458056 edges, 114453 markings/sec, 95 secs
lola: 12022495 markings, 12033771 edges, 115081 markings/sec, 100 secs
lola: 12597123 markings, 12608708 edges, 114926 markings/sec, 105 secs
lola: 13172310 markings, 13184204 edges, 115037 markings/sec, 110 secs
lola: 13757600 markings, 13769833 edges, 117058 markings/sec, 115 secs
lola: 14334974 markings, 14347530 edges, 115475 markings/sec, 120 secs
lola: 14914738 markings, 14927606 edges, 115953 markings/sec, 125 secs
lola: 15494016 markings, 15507196 edges, 115856 markings/sec, 130 secs
lola: 16071935 markings, 16085425 edges, 115584 markings/sec, 135 secs
lola: 16643286 markings, 16657084 edges, 114270 markings/sec, 140 secs
lola: 17215583 markings, 17229690 edges, 114459 markings/sec, 145 secs
lola: 17787191 markings, 17801604 edges, 114322 markings/sec, 150 secs
lola: 18364515 markings, 18379251 edges, 115465 markings/sec, 155 secs
lola: 18947744 markings, 18962818 edges, 116646 markings/sec, 160 secs
lola: 19527888 markings, 19543275 edges, 116029 markings/sec, 165 secs
lola: 20077280 markings, 20092962 edges, 109878 markings/sec, 170 secs
lola: 20642215 markings, 20658201 edges, 112987 markings/sec, 175 secs
lola: 21194225 markings, 21210508 edges, 110402 markings/sec, 180 secs
lola: 21737706 markings, 21754282 edges, 108696 markings/sec, 185 secs
lola: 22289176 markings, 22306047 edges, 110294 markings/sec, 190 secs
lola: 22833763 markings, 22850927 edges, 108917 markings/sec, 195 secs
lola: 23393561 markings, 23411051 edges, 111960 markings/sec, 200 secs
lola: 23948593 markings, 23966393 edges, 111006 markings/sec, 205 secs
lola: 24508087 markings, 24526188 edges, 111899 markings/sec, 210 secs
lola: 25065447 markings, 25083848 edges, 111472 markings/sec, 215 secs
lola: 25624301 markings, 25643004 edges, 111771 markings/sec, 220 secs
lola: 26175434 markings, 26194433 edges, 110227 markings/sec, 225 secs
lola: 26729040 markings, 26748337 edges, 110721 markings/sec, 230 secs
lola: 27282804 markings, 27302399 edges, 110753 markings/sec, 235 secs
lola: 27837332 markings, 27857224 edges, 110906 markings/sec, 240 secs
lola: 28403930 markings, 28424178 edges, 113320 markings/sec, 245 secs
lola: 28979018 markings, 28999843 edges, 115018 markings/sec, 250 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 256 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3341)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 232 bytes per marking, with 2 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: 885398 markings, 886025 edges, 177080 markings/sec, 0 secs
lola: 1759243 markings, 1760474 edges, 174769 markings/sec, 5 secs
lola: 2616126 markings, 2617936 edges, 171377 markings/sec, 10 secs
lola: 3468417 markings, 3470801 edges, 170458 markings/sec, 15 secs
lola: 4331232 markings, 4334278 edges, 172563 markings/sec, 20 secs
lola: 5187526 markings, 5191161 edges, 171259 markings/sec, 25 secs
lola: 6067402 markings, 6071718 edges, 175975 markings/sec, 30 secs
lola: 6913097 markings, 6917995 edges, 169139 markings/sec, 35 secs
lola: 7775737 markings, 7781238 edges, 172528 markings/sec, 40 secs
lola: 8651229 markings, 8657404 edges, 175098 markings/sec, 45 secs
lola: 9516217 markings, 9522988 edges, 172998 markings/sec, 50 secs
lola: 10391201 markings, 10398647 edges, 174997 markings/sec, 55 secs
lola: 11255669 markings, 11263717 edges, 172894 markings/sec, 60 secs
lola: 12132225 markings, 12140881 edges, 175311 markings/sec, 65 secs
lola: 13008998 markings, 13018334 edges, 175355 markings/sec, 70 secs
lola: 13877296 markings, 13887339 edges, 173660 markings/sec, 75 secs
lola: 14766635 markings, 14777321 edges, 177868 markings/sec, 80 secs
lola: 15653993 markings, 15665290 edges, 177472 markings/sec, 85 secs
lola: 16523966 markings, 16535847 edges, 173995 markings/sec, 90 secs
lola: 17393827 markings, 17406293 edges, 173972 markings/sec, 95 secs
lola: 18271531 markings, 18284666 edges, 175541 markings/sec, 100 secs
lola: 19129797 markings, 19143528 edges, 171653 markings/sec, 105 secs
lola: 20013009 markings, 20027421 edges, 176642 markings/sec, 110 secs
lola: 20888980 markings, 20904000 edges, 175194 markings/sec, 115 secs
lola: 21766698 markings, 21782326 edges, 175544 markings/sec, 120 secs
lola: 22633113 markings, 22649409 edges, 173283 markings/sec, 125 secs
lola: 23493207 markings, 23510098 edges, 172019 markings/sec, 130 secs
lola: 24373818 markings, 24391391 edges, 176122 markings/sec, 135 secs
lola: 25244113 markings, 25262288 edges, 174059 markings/sec, 140 secs
lola: 26115621 markings, 26134404 edges, 174302 markings/sec, 145 secs
lola: 26989927 markings, 27009392 edges, 174861 markings/sec, 150 secs
lola: 27861215 markings, 27881393 edges, 174258 markings/sec, 155 secs
lola: 28745364 markings, 28766169 edges, 176830 markings/sec, 160 secs
lola: 29632771 markings, 29654187 edges, 177481 markings/sec, 165 secs
lola: 30506953 markings, 30528960 edges, 174836 markings/sec, 170 secs
lola: 31374646 markings, 31397238 edges, 173539 markings/sec, 175 secs
lola: 32255422 markings, 32278684 edges, 176155 markings/sec, 180 secs
lola: 33123170 markings, 33147035 edges, 173550 markings/sec, 185 secs
lola: 34006899 markings, 34031443 edges, 176746 markings/sec, 190 secs
lola: 34881646 markings, 34906799 edges, 174949 markings/sec, 195 secs
lola: 35747985 markings, 35773740 edges, 173268 markings/sec, 200 secs
lola: 36605351 markings, 36631768 edges, 171473 markings/sec, 205 secs
lola: 37463422 markings, 37490435 edges, 171614 markings/sec, 210 secs
lola: 38339501 markings, 38367188 edges, 175216 markings/sec, 215 secs
lola: 39209987 markings, 39238276 edges, 174097 markings/sec, 220 secs
lola: 40068470 markings, 40097355 edges, 171697 markings/sec, 225 secs
lola: 40931504 markings, 40961074 edges, 172607 markings/sec, 230 secs
lola: 41789927 markings, 41820193 edges, 171685 markings/sec, 235 secs
lola: 42663419 markings, 42694301 edges, 174698 markings/sec, 240 secs
lola: 43526652 markings, 43558164 edges, 172647 markings/sec, 245 secs
lola: 44388548 markings, 44420693 edges, 172379 markings/sec, 250 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 257 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1617)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 232 bytes per marking, with 2 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: 788267 markings, 788301 edges, 157653 markings/sec, 0 secs
lola: 1588222 markings, 1588259 edges, 159991 markings/sec, 5 secs
lola: 2383975 markings, 2384014 edges, 159151 markings/sec, 10 secs
lola: 3179293 markings, 3179333 edges, 159064 markings/sec, 15 secs
lola: 3972626 markings, 3972669 edges, 158667 markings/sec, 20 secs
lola: 4768188 markings, 4768233 edges, 159112 markings/sec, 25 secs
lola: 5555386 markings, 5555433 edges, 157440 markings/sec, 30 secs
lola: 6330200 markings, 6330248 edges, 154963 markings/sec, 35 secs
lola: 7103805 markings, 7103856 edges, 154721 markings/sec, 40 secs
lola: 7856151 markings, 7856203 edges, 150469 markings/sec, 45 secs
lola: 8605457 markings, 8605511 edges, 149861 markings/sec, 50 secs
lola: 9369700 markings, 9369755 edges, 152849 markings/sec, 55 secs
lola: 10134588 markings, 10134646 edges, 152978 markings/sec, 60 secs
lola: 10926805 markings, 10926907 edges, 158443 markings/sec, 65 secs
lola: 11721101 markings, 11721207 edges, 158859 markings/sec, 70 secs
lola: 12517791 markings, 12517986 edges, 159338 markings/sec, 75 secs
lola: 13310755 markings, 13310953 edges, 158593 markings/sec, 80 secs
lola: 14112709 markings, 14112996 edges, 160391 markings/sec, 85 secs
lola: 14925169 markings, 14925457 edges, 162492 markings/sec, 90 secs
lola: 15739665 markings, 15740044 edges, 162899 markings/sec, 95 secs
lola: 16543192 markings, 16543573 edges, 160705 markings/sec, 100 secs
lola: 17346009 markings, 17346480 edges, 160563 markings/sec, 105 secs
lola: 18130203 markings, 18130675 edges, 156839 markings/sec, 110 secs
lola: 18893837 markings, 18894399 edges, 152727 markings/sec, 115 secs
lola: 19642435 markings, 19643000 edges, 149720 markings/sec, 120 secs
lola: 20401658 markings, 20402356 edges, 151845 markings/sec, 125 secs
lola: 21192601 markings, 21193301 edges, 158189 markings/sec, 130 secs
lola: 21988373 markings, 21989164 edges, 159154 markings/sec, 135 secs
lola: 22800025 markings, 22800816 edges, 162330 markings/sec, 140 secs
lola: 23606161 markings, 23607044 edges, 161227 markings/sec, 145 secs
lola: 24383076 markings, 24383960 edges, 155383 markings/sec, 150 secs
lola: 25190348 markings, 25191323 edges, 161454 markings/sec, 155 secs
lola: 25977459 markings, 25978434 edges, 157422 markings/sec, 160 secs
lola: 26776960 markings, 26777938 edges, 159900 markings/sec, 165 secs
lola: 27573129 markings, 27574196 edges, 159234 markings/sec, 170 secs
lola: 28372022 markings, 28373092 edges, 159779 markings/sec, 175 secs
lola: 29138522 markings, 29139681 edges, 153300 markings/sec, 180 secs
lola: 29881283 markings, 29882445 edges, 148552 markings/sec, 185 secs
lola: 30617051 markings, 30618346 edges, 147154 markings/sec, 190 secs
lola: 31366282 markings, 31367579 edges, 149846 markings/sec, 195 secs
lola: 32112859 markings, 32114245 edges, 149315 markings/sec, 200 secs
lola: 32873134 markings, 32874522 edges, 152055 markings/sec, 205 secs
lola: 33652937 markings, 33654415 edges, 155961 markings/sec, 210 secs
lola: 34454279 markings, 34455758 edges, 160268 markings/sec, 215 secs
lola: 35254623 markings, 35256193 edges, 160069 markings/sec, 220 secs
lola: 36058062 markings, 36059634 edges, 160688 markings/sec, 225 secs
lola: 36868986 markings, 36870648 edges, 162185 markings/sec, 230 secs
lola: 37676600 markings, 37678263 edges, 161523 markings/sec, 235 secs
lola: 38476370 markings, 38478125 edges, 159954 markings/sec, 240 secs
lola: 39250508 markings, 39252264 edges, 154828 markings/sec, 245 secs
lola: 40023890 markings, 40025648 edges, 154676 markings/sec, 250 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 256 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p927)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 232 bytes per marking, with 2 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: 34119 markings, 163370 edges, 6824 markings/sec, 0 secs
lola: 66968 markings, 350367 edges, 6570 markings/sec, 5 secs
lola: 96068 markings, 532689 edges, 5820 markings/sec, 10 secs
lola: 129097 markings, 731652 edges, 6606 markings/sec, 15 secs
lola: 161635 markings, 942923 edges, 6508 markings/sec, 20 secs
lola: 194322 markings, 1151556 edges, 6537 markings/sec, 25 secs
lola: 226561 markings, 1366162 edges, 6448 markings/sec, 30 secs
lola: 259336 markings, 1569527 edges, 6555 markings/sec, 35 secs
lola: 291715 markings, 1779141 edges, 6476 markings/sec, 40 secs
lola: 324432 markings, 1987819 edges, 6543 markings/sec, 45 secs
lola: 356753 markings, 2187574 edges, 6464 markings/sec, 50 secs
lola: 389688 markings, 2392811 edges, 6587 markings/sec, 55 secs
lola: 421746 markings, 2618628 edges, 6412 markings/sec, 60 secs
lola: 453462 markings, 2849733 edges, 6343 markings/sec, 65 secs
lola: 485157 markings, 3070950 edges, 6339 markings/sec, 70 secs
lola: 516592 markings, 3314201 edges, 6287 markings/sec, 75 secs
lola: 548311 markings, 3546655 edges, 6344 markings/sec, 80 secs
lola: 579998 markings, 3780660 edges, 6337 markings/sec, 85 secs
lola: 611474 markings, 4015045 edges, 6295 markings/sec, 90 secs
lola: 642983 markings, 4246203 edges, 6302 markings/sec, 95 secs
lola: 674629 markings, 4484384 edges, 6329 markings/sec, 100 secs
lola: 707290 markings, 4690254 edges, 6532 markings/sec, 105 secs
lola: 739893 markings, 4901366 edges, 6521 markings/sec, 110 secs
lola: 771753 markings, 5127363 edges, 6372 markings/sec, 115 secs
lola: 802767 markings, 5351142 edges, 6203 markings/sec, 120 secs
lola: 834824 markings, 5578797 edges, 6411 markings/sec, 125 secs
lola: 862412 markings, 5792073 edges, 5518 markings/sec, 130 secs
lola: 892260 markings, 6011577 edges, 5970 markings/sec, 135 secs
lola: 923459 markings, 6243185 edges, 6240 markings/sec, 140 secs
lola: 954416 markings, 6473959 edges, 6191 markings/sec, 145 secs
lola: 985396 markings, 6700207 edges, 6196 markings/sec, 150 secs
lola: 1016063 markings, 6931534 edges, 6133 markings/sec, 155 secs
lola: 1048432 markings, 7136840 edges, 6474 markings/sec, 160 secs
lola: 1080548 markings, 7342503 edges, 6423 markings/sec, 165 secs
lola: 1111767 markings, 7564504 edges, 6244 markings/sec, 170 secs
lola: 1143168 markings, 7791829 edges, 6280 markings/sec, 175 secs
lola: 1174887 markings, 8015299 edges, 6344 markings/sec, 180 secs
lola: 1206032 markings, 8254112 edges, 6229 markings/sec, 185 secs
lola: 1237146 markings, 8484987 edges, 6223 markings/sec, 190 secs
lola: 1268246 markings, 8713731 edges, 6220 markings/sec, 195 secs
lola: 1299237 markings, 8947147 edges, 6198 markings/sec, 200 secs
lola: 1330021 markings, 9170269 edges, 6157 markings/sec, 205 secs
lola: 1360548 markings, 9401088 edges, 6105 markings/sec, 210 secs
lola: 1392505 markings, 9599794 edges, 6391 markings/sec, 215 secs
lola: 1424196 markings, 9806233 edges, 6338 markings/sec, 220 secs
lola: 1455387 markings, 10027011 edges, 6238 markings/sec, 225 secs
lola: 1486529 markings, 10251942 edges, 6228 markings/sec, 230 secs
lola: 1518198 markings, 10476290 edges, 6334 markings/sec, 235 secs
lola: 1549198 markings, 10713724 edges, 6200 markings/sec, 240 secs
lola: 1580190 markings, 10944349 edges, 6198 markings/sec, 245 secs
lola: 1611094 markings, 11171203 edges, 6181 markings/sec, 250 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 257 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2019)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 232 bytes per marking, with 2 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: 757355 markings, 759799 edges, 151471 markings/sec, 0 secs
lola: 1524563 markings, 1529296 edges, 153442 markings/sec, 5 secs
lola: 2266618 markings, 2282930 edges, 148411 markings/sec, 10 secs
lola: 3007041 markings, 3026247 edges, 148085 markings/sec, 15 secs
lola: 3762239 markings, 3783696 edges, 151040 markings/sec, 20 secs
lola: 4502520 markings, 4534400 edges, 148056 markings/sec, 25 secs
lola: 5245029 markings, 5280963 edges, 148502 markings/sec, 30 secs
lola: 5975812 markings, 6013924 edges, 146157 markings/sec, 35 secs
lola: 6701963 markings, 6747663 edges, 145230 markings/sec, 40 secs
lola: 7427216 markings, 7479708 edges, 145051 markings/sec, 45 secs
lola: 8178142 markings, 8232874 edges, 150185 markings/sec, 50 secs
lola: 8920416 markings, 8980844 edges, 148455 markings/sec, 55 secs
lola: 9642993 markings, 9712146 edges, 144515 markings/sec, 60 secs
lola: 10383923 markings, 10455288 edges, 148186 markings/sec, 65 secs
lola: 11119028 markings, 11193236 edges, 147021 markings/sec, 70 secs
lola: 11842038 markings, 11927803 edges, 144602 markings/sec, 75 secs
lola: 12584869 markings, 12672851 edges, 148566 markings/sec, 80 secs
lola: 13322665 markings, 13412846 edges, 147559 markings/sec, 85 secs
lola: 14041122 markings, 14143498 edges, 143691 markings/sec, 90 secs
lola: 14772940 markings, 14877497 edges, 146364 markings/sec, 95 secs
lola: 15502660 markings, 15609396 edges, 145944 markings/sec, 100 secs
lola: 16217622 markings, 16336499 edges, 142992 markings/sec, 105 secs
lola: 16951763 markings, 17072871 edges, 146828 markings/sec, 110 secs
lola: 17677764 markings, 17801040 edges, 145200 markings/sec, 115 secs
lola: 18394977 markings, 18530369 edges, 143443 markings/sec, 120 secs
lola: 19131441 markings, 19269104 edges, 147293 markings/sec, 125 secs
lola: 19865896 markings, 20005747 edges, 146891 markings/sec, 130 secs
lola: 20585587 markings, 20737528 edges, 143938 markings/sec, 135 secs
lola: 21315768 markings, 21469996 edges, 146036 markings/sec, 140 secs
lola: 22046970 markings, 22203380 edges, 146240 markings/sec, 145 secs
lola: 22763686 markings, 22932131 edges, 143343 markings/sec, 150 secs
lola: 23482379 markings, 23653122 edges, 143739 markings/sec, 155 secs
lola: 24213461 markings, 24386386 edges, 146216 markings/sec, 160 secs
lola: 24930510 markings, 25115432 edges, 143410 markings/sec, 165 secs
lola: 25648934 markings, 25836192 edges, 143685 markings/sec, 170 secs
lola: 26367477 markings, 26556876 edges, 143709 markings/sec, 175 secs
lola: 27080282 markings, 27278530 edges, 142561 markings/sec, 180 secs
lola: 27791849 markings, 27995549 edges, 142313 markings/sec, 185 secs
lola: 28514993 markings, 28720852 edges, 144629 markings/sec, 190 secs
lola: 29218415 markings, 29427499 edges, 140684 markings/sec, 195 secs
lola: 29929911 markings, 30150041 edges, 142299 markings/sec, 200 secs
lola: 30665488 markings, 30887814 edges, 147115 markings/sec, 205 secs
lola: 31394537 markings, 31619035 edges, 145810 markings/sec, 210 secs
lola: 32100667 markings, 32337325 edges, 141226 markings/sec, 215 secs
lola: 32833362 markings, 33072203 edges, 146539 markings/sec, 220 secs
lola: 33560139 markings, 33801149 edges, 145355 markings/sec, 225 secs
lola: 34271727 markings, 34524858 edges, 142318 markings/sec, 230 secs
lola: 35001467 markings, 35256828 edges, 145948 markings/sec, 235 secs
lola: 35728022 markings, 35985552 edges, 145311 markings/sec, 240 secs
lola: 36438494 markings, 36708087 edges, 142094 markings/sec, 245 secs
lola: 37163366 markings, 37435229 edges, 144974 markings/sec, 250 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 257 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3491)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 232 bytes per marking, with 2 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 10 will run for 299 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3279)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 232 bytes per marking, with 2 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: 590905 markings, 590973 edges, 118181 markings/sec, 0 secs
lola: 1180313 markings, 1180389 edges, 117882 markings/sec, 5 secs
lola: 1783637 markings, 1783724 edges, 120665 markings/sec, 10 secs
lola: 2383567 markings, 2383668 edges, 119986 markings/sec, 15 secs
lola: 2980402 markings, 2980518 edges, 119367 markings/sec, 20 secs
lola: 3575530 markings, 3575658 edges, 119026 markings/sec, 25 secs
lola: 4166358 markings, 4166497 edges, 118166 markings/sec, 30 secs
lola: 4759269 markings, 4759420 edges, 118582 markings/sec, 35 secs
lola: 5352322 markings, 5352484 edges, 118611 markings/sec, 40 secs
lola: 5947445 markings, 5947617 edges, 119025 markings/sec, 45 secs
lola: 6540398 markings, 6540582 edges, 118591 markings/sec, 50 secs
lola: 7129058 markings, 7129254 edges, 117732 markings/sec, 55 secs
lola: 7723414 markings, 7723621 edges, 118871 markings/sec, 60 secs
lola: 8315777 markings, 8315995 edges, 118473 markings/sec, 65 secs
lola: 8908412 markings, 8908642 edges, 118527 markings/sec, 70 secs
lola: 9500716 markings, 9500956 edges, 118461 markings/sec, 75 secs
lola: 10091107 markings, 10091359 edges, 118078 markings/sec, 80 secs
lola: 10683411 markings, 10683674 edges, 118461 markings/sec, 85 secs
lola: 11273343 markings, 11273617 edges, 117986 markings/sec, 90 secs
lola: 11863506 markings, 11863792 edges, 118033 markings/sec, 95 secs
lola: 12455012 markings, 12455310 edges, 118301 markings/sec, 100 secs
lola: 13044885 markings, 13045194 edges, 117975 markings/sec, 105 secs
lola: 13616185 markings, 13616505 edges, 114260 markings/sec, 110 secs
lola: 14203600 markings, 14203929 edges, 117483 markings/sec, 115 secs
lola: 14789427 markings, 14789764 edges, 117165 markings/sec, 120 secs
lola: 15379907 markings, 15380254 edges, 118096 markings/sec, 125 secs
lola: 15971359 markings, 15971715 edges, 118290 markings/sec, 130 secs
lola: 16557326 markings, 16557691 edges, 117193 markings/sec, 135 secs
lola: 17145129 markings, 17145503 edges, 117561 markings/sec, 140 secs
lola: 17733817 markings, 17734201 edges, 117738 markings/sec, 145 secs
lola: 18320235 markings, 18320629 edges, 117284 markings/sec, 150 secs
lola: 18906779 markings, 18907182 edges, 117309 markings/sec, 155 secs
lola: 19492138 markings, 19492550 edges, 117072 markings/sec, 160 secs
lola: 20077795 markings, 20078217 edges, 117131 markings/sec, 165 secs
lola: 20661761 markings, 20662192 edges, 116793 markings/sec, 170 secs
lola: 21241975 markings, 21242415 edges, 116043 markings/sec, 175 secs
lola: 21821023 markings, 21821471 edges, 115810 markings/sec, 180 secs
lola: 22408034 markings, 22408491 edges, 117402 markings/sec, 185 secs
lola: 23000877 markings, 23001345 edges, 118569 markings/sec, 190 secs
lola: 23587605 markings, 23588082 edges, 117346 markings/sec, 195 secs
lola: 24179738 markings, 24180224 edges, 118427 markings/sec, 200 secs
lola: 24774099 markings, 24774594 edges, 118872 markings/sec, 205 secs
lola: 25366501 markings, 25367006 edges, 118480 markings/sec, 210 secs
lola: 25956097 markings, 25956610 edges, 117919 markings/sec, 215 secs
lola: 26539006 markings, 26539529 edges, 116582 markings/sec, 220 secs
lola: 27124771 markings, 27125304 edges, 117153 markings/sec, 225 secs
lola: 27705853 markings, 27706394 edges, 116216 markings/sec, 230 secs
lola: 28290853 markings, 28291404 edges, 117000 markings/sec, 235 secs
lola: 28877804 markings, 28878364 edges, 117390 markings/sec, 240 secs
lola: 29468276 markings, 29468846 edges, 118094 markings/sec, 245 secs
lola: 30060860 markings, 30061438 edges, 118517 markings/sec, 250 secs
lola: 30651219 markings, 30651806 edges, 118072 markings/sec, 255 secs
lola: 31238335 markings, 31238932 edges, 117423 markings/sec, 260 secs
lola: 31829904 markings, 31830510 edges, 118314 markings/sec, 265 secs
lola: 32419999 markings, 32420615 edges, 118019 markings/sec, 270 secs
lola: 33014399 markings, 33015024 edges, 118880 markings/sec, 275 secs
lola: 33602973 markings, 33603608 edges, 117715 markings/sec, 280 secs
lola: 34193689 markings, 34194333 edges, 118143 markings/sec, 285 secs
lola: 34781395 markings, 34782047 edges, 117541 markings/sec, 290 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 300 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2146)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 232 bytes per marking, with 2 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: 701928 markings, 703902 edges, 140386 markings/sec, 0 secs
lola: 1392320 markings, 1396176 edges, 138078 markings/sec, 5 secs
lola: 2081272 markings, 2087005 edges, 137790 markings/sec, 10 secs
lola: 2709432 markings, 2716877 edges, 125632 markings/sec, 15 secs
lola: 3300400 markings, 3309454 edges, 118194 markings/sec, 20 secs
lola: 3981510 markings, 3992420 edges, 136222 markings/sec, 25 secs
lola: 4675271 markings, 4688068 edges, 138752 markings/sec, 30 secs
lola: 5311387 markings, 5325921 edges, 127223 markings/sec, 35 secs
lola: 5893654 markings, 5909775 edges, 116453 markings/sec, 40 secs
lola: 6573133 markings, 6591104 edges, 135896 markings/sec, 45 secs
lola: 7252763 markings, 7272592 edges, 135926 markings/sec, 50 secs
lola: 7873767 markings, 7895289 edges, 124201 markings/sec, 55 secs
lola: 8448557 markings, 8471652 edges, 114958 markings/sec, 60 secs
lola: 9118107 markings, 9143028 edges, 133910 markings/sec, 65 secs
lola: 9781995 markings, 9808729 edges, 132778 markings/sec, 70 secs
lola: 10443615 markings, 10472155 edges, 132324 markings/sec, 75 secs
lola: 11116032 markings, 11146409 edges, 134483 markings/sec, 80 secs
lola: 11785177 markings, 11817383 edges, 133829 markings/sec, 85 secs
lola: 12449458 markings, 12483475 edges, 132856 markings/sec, 90 secs
lola: 13054018 markings, 13089684 edges, 120912 markings/sec, 95 secs
lola: 13613992 markings, 13651188 edges, 111995 markings/sec, 100 secs
lola: 14264452 markings, 14303425 edges, 130092 markings/sec, 105 secs
lola: 14921170 markings, 14961936 edges, 131344 markings/sec, 110 secs
lola: 15574959 markings, 15617510 edges, 130758 markings/sec, 115 secs
lola: 16247365 markings, 16291795 edges, 134481 markings/sec, 120 secs
lola: 16898347 markings, 16944623 edges, 130196 markings/sec, 125 secs
lola: 17565588 markings, 17613683 edges, 133448 markings/sec, 130 secs
lola: 18192300 markings, 18242102 edges, 125342 markings/sec, 135 secs
lola: 18770568 markings, 18821946 edges, 115654 markings/sec, 140 secs
lola: 19451618 markings, 19504854 edges, 136210 markings/sec, 145 secs
lola: 20128910 markings, 20183991 edges, 135458 markings/sec, 150 secs
lola: 20804188 markings, 20861112 edges, 135056 markings/sec, 155 secs
lola: 21479635 markings, 21538398 edges, 135089 markings/sec, 160 secs
lola: 22141907 markings, 22202473 edges, 132454 markings/sec, 165 secs
lola: 22808312 markings, 22870698 edges, 133281 markings/sec, 170 secs
lola: 23473430 markings, 23537627 edges, 133024 markings/sec, 175 secs
lola: 24135457 markings, 24201459 edges, 132405 markings/sec, 180 secs
lola: 24813580 markings, 24881968 edges, 135625 markings/sec, 185 secs
lola: 25493974 markings, 25564773 edges, 136079 markings/sec, 190 secs
lola: 26165363 markings, 26238015 edges, 134278 markings/sec, 195 secs
lola: 26827496 markings, 26901954 edges, 132427 markings/sec, 200 secs
lola: 27494860 markings, 27571138 edges, 133473 markings/sec, 205 secs
lola: 28152845 markings, 28230916 edges, 131597 markings/sec, 210 secs
lola: 28814227 markings, 28894099 edges, 132276 markings/sec, 215 secs
lola: 29469695 markings, 29551355 edges, 131094 markings/sec, 220 secs
lola: 30128195 markings, 30211649 edges, 131700 markings/sec, 225 secs
lola: 30782747 markings, 30867987 edges, 130910 markings/sec, 230 secs
lola: 31444221 markings, 31531263 edges, 132295 markings/sec, 235 secs
lola: 32106779 markings, 32195627 edges, 132512 markings/sec, 240 secs
lola: 32772421 markings, 32863324 edges, 133128 markings/sec, 245 secs
lola: 33447678 markings, 33540970 edges, 135051 markings/sec, 250 secs
lola: 34117204 markings, 34212652 edges, 133905 markings/sec, 255 secs
lola: 34799968 markings, 34897275 edges, 136553 markings/sec, 260 secs
lola: 35467207 markings, 35566332 edges, 133448 markings/sec, 265 secs
lola: 36145163 markings, 36246138 edges, 135591 markings/sec, 270 secs
lola: 36812261 markings, 36915052 edges, 133420 markings/sec, 275 secs
lola: 37486675 markings, 37591308 edges, 134883 markings/sec, 280 secs
lola: 38155481 markings, 38261935 edges, 133761 markings/sec, 285 secs
lola: 38817566 markings, 38925825 edges, 132417 markings/sec, 290 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 300 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1279)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 232 bytes per marking, with 2 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: 783991 markings, 787273 edges, 156798 markings/sec, 0 secs
lola: 1564750 markings, 1571816 edges, 156152 markings/sec, 5 secs
lola: 2321955 markings, 2332538 edges, 151441 markings/sec, 10 secs
lola: 3067625 markings, 3081697 edges, 149134 markings/sec, 15 secs
lola: 3832792 markings, 3850404 edges, 153033 markings/sec, 20 secs
lola: 4604689 markings, 4625897 edges, 154379 markings/sec, 25 secs
lola: 5341828 markings, 5366467 edges, 147428 markings/sec, 30 secs
lola: 6082736 markings, 6110838 edges, 148182 markings/sec, 35 secs
lola: 6851387 markings, 6883059 edges, 153730 markings/sec, 40 secs
lola: 7603858 markings, 7639051 edges, 150494 markings/sec, 45 secs
lola: 8349755 markings, 8388414 edges, 149179 markings/sec, 50 secs
lola: 9096794 markings, 9138923 edges, 149408 markings/sec, 55 secs
lola: 9836311 markings, 9881891 edges, 147903 markings/sec, 60 secs
lola: 10573755 markings, 10622777 edges, 147489 markings/sec, 65 secs
lola: 11310566 markings, 11363027 edges, 147362 markings/sec, 70 secs
lola: 12052733 markings, 12108643 edges, 148433 markings/sec, 75 secs
lola: 12819799 markings, 12879288 edges, 153413 markings/sec, 80 secs
lola: 13577957 markings, 13640959 edges, 151632 markings/sec, 85 secs
lola: 14326631 markings, 14393128 edges, 149735 markings/sec, 90 secs
lola: 15093827 markings, 15163887 edges, 153439 markings/sec, 95 secs
lola: 15846132 markings, 15919715 edges, 150461 markings/sec, 100 secs
lola: 16590949 markings, 16667993 edges, 148963 markings/sec, 105 secs
lola: 17334687 markings, 17415188 edges, 148748 markings/sec, 110 secs
lola: 18067743 markings, 18151657 edges, 146611 markings/sec, 115 secs
lola: 18810631 markings, 18898009 edges, 148578 markings/sec, 120 secs
lola: 19556121 markings, 19646983 edges, 149098 markings/sec, 125 secs
lola: 20304819 markings, 20399158 edges, 149740 markings/sec, 130 secs
lola: 21036886 markings, 21134632 edges, 146413 markings/sec, 135 secs
lola: 21702342 markings, 21803199 edges, 133091 markings/sec, 140 secs
lola: 22443659 markings, 22547964 edges, 148263 markings/sec, 145 secs
lola: 23205619 markings, 23313469 edges, 152392 markings/sec, 150 secs
lola: 23961244 markings, 24072613 edges, 151125 markings/sec, 155 secs
lola: 24709181 markings, 24824022 edges, 149587 markings/sec, 160 secs
lola: 25462713 markings, 25581080 edges, 150706 markings/sec, 165 secs
lola: 26207935 markings, 26329765 edges, 149044 markings/sec, 170 secs
lola: 26907247 markings, 27032330 edges, 139862 markings/sec, 175 secs
lola: 27542935 markings, 27670983 edges, 127138 markings/sec, 180 secs
lola: 28282866 markings, 28414376 edges, 147986 markings/sec, 185 secs
lola: 29062302 markings, 29197437 edges, 155887 markings/sec, 190 secs
lola: 29769483 markings, 29907905 edges, 141436 markings/sec, 195 secs
lola: 30420763 markings, 30562214 edges, 130256 markings/sec, 200 secs
lola: 31181736 markings, 31326736 edges, 152195 markings/sec, 205 secs
lola: 31952807 markings, 32101402 edges, 154214 markings/sec, 210 secs
lola: 32697467 markings, 32849523 edges, 148932 markings/sec, 215 secs
lola: 33450213 markings, 33605779 edges, 150549 markings/sec, 220 secs
lola: 34203906 markings, 34362981 edges, 150739 markings/sec, 225 secs
lola: 34968870 markings, 35131514 edges, 152993 markings/sec, 230 secs
lola: 35690791 markings, 35856786 edges, 144384 markings/sec, 235 secs
lola: 36341107 markings, 36510138 edges, 130063 markings/sec, 240 secs
lola: 37107634 markings, 37280231 edges, 153305 markings/sec, 245 secs
lola: 37870126 markings, 38046266 edges, 152498 markings/sec, 250 secs
lola: 38632421 markings, 38812125 edges, 152459 markings/sec, 255 secs
lola: 39389227 markings, 39572436 edges, 151361 markings/sec, 260 secs
lola: 40151994 markings, 40338770 edges, 152553 markings/sec, 265 secs
lola: 40904211 markings, 41094472 edges, 150443 markings/sec, 270 secs
lola: 41629617 markings, 41823264 edges, 145081 markings/sec, 275 secs
lola: 42281392 markings, 42478082 edges, 130355 markings/sec, 280 secs
lola: 43047692 markings, 43247941 edges, 153260 markings/sec, 285 secs
lola: 43798210 markings, 44001971 edges, 150104 markings/sec, 290 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 300 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2898)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 232 bytes per marking, with 2 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: 729013 markings, 890962 edges, 145803 markings/sec, 0 secs
lola: 1380342 markings, 1746347 edges, 130266 markings/sec, 5 secs
lola: 2046918 markings, 2601253 edges, 133315 markings/sec, 10 secs
lola: 2745978 markings, 3472734 edges, 139812 markings/sec, 15 secs
lola: 3375803 markings, 4297071 edges, 125965 markings/sec, 20 secs
lola: 4023464 markings, 5128873 edges, 129532 markings/sec, 25 secs
lola: 4722161 markings, 5999977 edges, 139739 markings/sec, 30 secs
lola: 5360887 markings, 6834883 edges, 127745 markings/sec, 35 secs
lola: 6005983 markings, 7669998 edges, 129019 markings/sec, 40 secs
lola: 6633364 markings, 8542873 edges, 125476 markings/sec, 45 secs
lola: 7252588 markings, 9353252 edges, 123845 markings/sec, 50 secs
lola: 7878926 markings, 10168667 edges, 125268 markings/sec, 55 secs
lola: 8472440 markings, 11019542 edges, 118703 markings/sec, 60 secs
lola: 9038080 markings, 11863858 edges, 113128 markings/sec, 65 secs
lola: 9667743 markings, 12708840 edges, 125933 markings/sec, 70 secs
lola: 10275563 markings, 13547545 edges, 121564 markings/sec, 75 secs
lola: 10845134 markings, 14386403 edges, 113914 markings/sec, 80 secs
lola: 11445416 markings, 15248187 edges, 120056 markings/sec, 85 secs
lola: 12100540 markings, 16103141 edges, 131025 markings/sec, 90 secs
lola: 12745404 markings, 16947562 edges, 128973 markings/sec, 95 secs
lola: 13453382 markings, 17816646 edges, 141596 markings/sec, 100 secs
lola: 14095647 markings, 18655621 edges, 128453 markings/sec, 105 secs
lola: 14728606 markings, 19484288 edges, 126592 markings/sec, 110 secs
lola: 15433902 markings, 20348534 edges, 141059 markings/sec, 115 secs
lola: 16072799 markings, 21184173 edges, 127779 markings/sec, 120 secs
lola: 16696789 markings, 22000720 edges, 124798 markings/sec, 125 secs
lola: 17325414 markings, 22831821 edges, 125725 markings/sec, 130 secs
lola: 17949526 markings, 23681609 edges, 124822 markings/sec, 135 secs
lola: 18561811 markings, 24483833 edges, 122457 markings/sec, 140 secs
lola: 19201945 markings, 25312850 edges, 128027 markings/sec, 145 secs
lola: 19767557 markings, 26153052 edges, 113122 markings/sec, 150 secs
lola: 20355975 markings, 26996672 edges, 117684 markings/sec, 155 secs
lola: 20948308 markings, 27830742 edges, 118467 markings/sec, 160 secs
lola: 21569118 markings, 28661180 edges, 124162 markings/sec, 165 secs
lola: 22100272 markings, 29503851 edges, 106231 markings/sec, 170 secs
lola: 22650827 markings, 30286127 edges, 110111 markings/sec, 175 secs
lola: 23220339 markings, 31020332 edges, 113902 markings/sec, 180 secs
lola: 23848539 markings, 31833210 edges, 125640 markings/sec, 185 secs
lola: 24477618 markings, 32653880 edges, 125816 markings/sec, 190 secs
lola: 25107019 markings, 33461354 edges, 125880 markings/sec, 195 secs
lola: 25715953 markings, 34260361 edges, 121787 markings/sec, 200 secs
lola: 26335116 markings, 35063164 edges, 123833 markings/sec, 205 secs
lola: 26966383 markings, 35870913 edges, 126253 markings/sec, 210 secs
lola: 27585108 markings, 36670844 edges, 123745 markings/sec, 215 secs
lola: 28148335 markings, 37433982 edges, 112645 markings/sec, 220 secs
lola: 28693139 markings, 38170970 edges, 108961 markings/sec, 225 secs
lola: 29208708 markings, 38940662 edges, 103114 markings/sec, 230 secs
lola: 29814514 markings, 39738131 edges, 121161 markings/sec, 235 secs
lola: 30432172 markings, 40522775 edges, 123532 markings/sec, 240 secs
lola: 31050184 markings, 41302032 edges, 123602 markings/sec, 245 secs
lola: 31654617 markings, 42081248 edges, 120887 markings/sec, 250 secs
lola: 32240918 markings, 42895221 edges, 117260 markings/sec, 255 secs
lola: 32694753 markings, 43677490 edges, 90767 markings/sec, 260 secs
lola: 33250922 markings, 44510570 edges, 111234 markings/sec, 265 secs
lola: 33894745 markings, 45347163 edges, 128765 markings/sec, 270 secs
lola: 34522271 markings, 46170849 edges, 125505 markings/sec, 275 secs
lola: 35161922 markings, 46996223 edges, 127930 markings/sec, 280 secs
lola: 35794446 markings, 47802079 edges, 126505 markings/sec, 285 secs
lola: 36403295 markings, 48603949 edges, 121770 markings/sec, 290 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 300 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3135)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 232 bytes per marking, with 2 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: 689677 markings, 870284 edges, 137935 markings/sec, 0 secs
lola: 1352644 markings, 1721080 edges, 132593 markings/sec, 5 secs
lola: 2004361 markings, 2557430 edges, 130343 markings/sec, 10 secs
lola: 2647107 markings, 3382218 edges, 128549 markings/sec, 15 secs
lola: 3299434 markings, 4219271 edges, 130465 markings/sec, 20 secs
lola: 3951266 markings, 5055824 edges, 130366 markings/sec, 25 secs
lola: 4613259 markings, 5905481 edges, 132399 markings/sec, 30 secs
lola: 5273717 markings, 6753130 edges, 132092 markings/sec, 35 secs
lola: 5850818 markings, 7493766 edges, 115420 markings/sec, 40 secs
lola: 6505963 markings, 8334589 edges, 131029 markings/sec, 45 secs
lola: 7163152 markings, 9178080 edges, 131438 markings/sec, 50 secs
lola: 7817030 markings, 10017292 edges, 130776 markings/sec, 55 secs
lola: 8389298 markings, 10751788 edges, 114454 markings/sec, 60 secs
lola: 9044373 markings, 11592518 edges, 131015 markings/sec, 65 secs
lola: 9697140 markings, 12430300 edges, 130553 markings/sec, 70 secs
lola: 10348843 markings, 13266695 edges, 130341 markings/sec, 75 secs
lola: 10995648 markings, 14096852 edges, 129361 markings/sec, 80 secs
lola: 11653485 markings, 14941124 edges, 131567 markings/sec, 85 secs
lola: 12304311 markings, 15776381 edges, 130165 markings/sec, 90 secs
lola: 12956051 markings, 16612879 edges, 130348 markings/sec, 95 secs
lola: 13524913 markings, 17342952 edges, 113772 markings/sec, 100 secs
lola: 14162847 markings, 18161711 edges, 127587 markings/sec, 105 secs
lola: 14820492 markings, 19005750 edges, 131529 markings/sec, 110 secs
lola: 15474990 markings, 19845742 edges, 130900 markings/sec, 115 secs
lola: 16124760 markings, 20679671 edges, 129954 markings/sec, 120 secs
lola: 16771668 markings, 21509950 edges, 129382 markings/sec, 125 secs
lola: 17407454 markings, 22325993 edges, 127157 markings/sec, 130 secs
lola: 18051063 markings, 23151981 edges, 128722 markings/sec, 135 secs
lola: 18694830 markings, 23978189 edges, 128753 markings/sec, 140 secs
lola: 19335319 markings, 24800251 edges, 128098 markings/sec, 145 secs
lola: 19975788 markings, 25622262 edges, 128094 markings/sec, 150 secs
lola: 20602816 markings, 26426985 edges, 125406 markings/sec, 155 secs
lola: 21243180 markings, 27249045 edges, 128073 markings/sec, 160 secs
lola: 21892805 markings, 28083234 edges, 129925 markings/sec, 165 secs
lola: 22535706 markings, 28908743 edges, 128580 markings/sec, 170 secs
lola: 23102369 markings, 29636340 edges, 113333 markings/sec, 175 secs
lola: 23655725 markings, 30346896 edges, 110671 markings/sec, 180 secs
lola: 24305633 markings, 31180987 edges, 129982 markings/sec, 185 secs
lola: 24954789 markings, 32013992 edges, 129831 markings/sec, 190 secs
lola: 25598722 markings, 32840320 edges, 128787 markings/sec, 195 secs
lola: 26237191 markings, 33659647 edges, 127694 markings/sec, 200 secs
lola: 26873671 markings, 34476365 edges, 127296 markings/sec, 205 secs
lola: 27515344 markings, 35299871 edges, 128335 markings/sec, 210 secs
lola: 28102987 markings, 36054093 edges, 117529 markings/sec, 215 secs
lola: 28684959 markings, 36801009 edges, 116394 markings/sec, 220 secs
lola: 29343844 markings, 37646637 edges, 131777 markings/sec, 225 secs
lola: 30000067 markings, 38488832 edges, 131245 markings/sec, 230 secs
lola: 30652175 markings, 39325770 edges, 130422 markings/sec, 235 secs
lola: 31304448 markings, 40162951 edges, 130455 markings/sec, 240 secs
lola: 31963931 markings, 41009395 edges, 131897 markings/sec, 245 secs
lola: 32618979 markings, 41850084 edges, 131010 markings/sec, 250 secs
lola: 33192422 markings, 42586064 edges, 114689 markings/sec, 255 secs
lola: 33764038 markings, 43319665 edges, 114323 markings/sec, 260 secs
lola: 34402820 markings, 44139518 edges, 127756 markings/sec, 265 secs
lola: 35060020 markings, 44982996 edges, 131440 markings/sec, 270 secs
lola: 35712959 markings, 45820961 edges, 130588 markings/sec, 275 secs
lola: 36359110 markings, 46650250 edges, 129230 markings/sec, 280 secs
lola: 37005660 markings, 47480102 edges, 129310 markings/sec, 285 secs
lola: 37641158 markings, 48295725 edges, 127100 markings/sec, 290 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 300 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p948)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 232 bytes per marking, with 2 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: 604289 markings, 606572 edges, 120858 markings/sec, 0 secs
lola: 1198283 markings, 1202996 edges, 118799 markings/sec, 5 secs
lola: 1787878 markings, 1795010 edges, 117919 markings/sec, 10 secs
lola: 2380016 markings, 2389572 edges, 118428 markings/sec, 15 secs
lola: 2955581 markings, 2967729 edges, 115113 markings/sec, 20 secs
lola: 3548772 markings, 3563349 edges, 118638 markings/sec, 25 secs
lola: 4142449 markings, 4159456 edges, 118735 markings/sec, 30 secs
lola: 4735762 markings, 4755200 edges, 118663 markings/sec, 35 secs
lola: 5303226 markings, 5324998 edges, 113493 markings/sec, 40 secs
lola: 5900704 markings, 5924924 edges, 119496 markings/sec, 45 secs
lola: 6492756 markings, 6519400 edges, 118410 markings/sec, 50 secs
lola: 7085320 markings, 7114621 edges, 118513 markings/sec, 55 secs
lola: 7640321 markings, 7671908 edges, 111000 markings/sec, 60 secs
lola: 8206440 markings, 8240356 edges, 113224 markings/sec, 65 secs
lola: 8806052 markings, 8842421 edges, 119922 markings/sec, 70 secs
lola: 9405220 markings, 9444044 edges, 119834 markings/sec, 75 secs
lola: 10005177 markings, 10046455 edges, 119991 markings/sec, 80 secs
lola: 10613815 markings, 10657576 edges, 121728 markings/sec, 85 secs
lola: 11228205 markings, 11274709 edges, 122878 markings/sec, 90 secs
lola: 11833452 markings, 11882428 edges, 121049 markings/sec, 95 secs
lola: 12378174 markings, 12429399 edges, 108944 markings/sec, 100 secs
lola: 12982553 markings, 13036244 edges, 120876 markings/sec, 105 secs
lola: 13571327 markings, 13627436 edges, 117755 markings/sec, 110 secs
lola: 14168950 markings, 14227501 edges, 119525 markings/sec, 115 secs
lola: 14780777 markings, 14841897 edges, 122365 markings/sec, 120 secs
lola: 15387141 markings, 15450901 edges, 121273 markings/sec, 125 secs
lola: 15989275 markings, 16055494 edges, 120427 markings/sec, 130 secs
lola: 16595178 markings, 16663876 edges, 121181 markings/sec, 135 secs
lola: 17204917 markings, 17276106 edges, 121948 markings/sec, 140 secs
lola: 17806440 markings, 17880089 edges, 120305 markings/sec, 145 secs
lola: 18414806 markings, 18491166 edges, 121673 markings/sec, 150 secs
lola: 19005741 markings, 19084533 edges, 118187 markings/sec, 155 secs
lola: 19605867 markings, 19687113 edges, 120025 markings/sec, 160 secs
lola: 20200239 markings, 20283915 edges, 118874 markings/sec, 165 secs
lola: 20787873 markings, 20873961 edges, 117527 markings/sec, 170 secs
lola: 21372687 markings, 21461168 edges, 116963 markings/sec, 175 secs
lola: 21938044 markings, 22028855 edges, 113071 markings/sec, 180 secs
lola: 22511027 markings, 22604262 edges, 114597 markings/sec, 185 secs
lola: 23108097 markings, 23203935 edges, 119414 markings/sec, 190 secs
lola: 23704815 markings, 23803096 edges, 119344 markings/sec, 195 secs
lola: 24298680 markings, 24399391 edges, 118773 markings/sec, 200 secs
lola: 24902895 markings, 25006079 edges, 120843 markings/sec, 205 secs
lola: 25500104 markings, 25605730 edges, 119442 markings/sec, 210 secs
lola: 26070938 markings, 26178909 edges, 114167 markings/sec, 215 secs
lola: 26609248 markings, 26719446 edges, 107662 markings/sec, 220 secs
lola: 27202117 markings, 27314980 edges, 118574 markings/sec, 225 secs
lola: 27806473 markings, 27921802 edges, 120871 markings/sec, 230 secs
lola: 28407403 markings, 28525191 edges, 120186 markings/sec, 235 secs
lola: 29010765 markings, 29131020 edges, 120672 markings/sec, 240 secs
lola: 29596409 markings, 29719065 edges, 117129 markings/sec, 245 secs
lola: 30169323 markings, 30294331 edges, 114583 markings/sec, 250 secs
lola: 30686104 markings, 30813260 edges, 103356 markings/sec, 255 secs
lola: 31215284 markings, 31344629 edges, 105836 markings/sec, 260 secs
lola: 31816459 markings, 31948411 edges, 120235 markings/sec, 265 secs
lola: 32421267 markings, 32555778 edges, 120962 markings/sec, 270 secs
lola: 32955289 markings, 33092008 edges, 106804 markings/sec, 275 secs
lola: 33496546 markings, 33635503 edges, 108251 markings/sec, 280 secs
lola: 34095212 markings, 34236618 edges, 119733 markings/sec, 285 secs
lola: 34677838 markings, 34821638 edges, 116525 markings/sec, 290 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 unknown 1 unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA Echo-PT-d05r03-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d05r03-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d05r03-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d05r03-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d05r03-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d05r03-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d05r03-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d05r03-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d05r03-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d05r03-UpperBounds-9 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d05r03-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d05r03-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d05r03-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d05r03-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d05r03-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Echo-PT-d05r03-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494697321536
--------------------
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="Echo-PT-d05r03"
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/Echo-PT-d05r03.tgz
mv Echo-PT-d05r03 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 Echo-PT-d05r03, 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 r028-blw3-149440264100308"
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 ;