Execution Chart

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

Trace from the execution

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

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DES-PT-40b-UpperBounds-0
FORMULA_NAME DES-PT-40b-UpperBounds-1
FORMULA_NAME DES-PT-40b-UpperBounds-10
FORMULA_NAME DES-PT-40b-UpperBounds-11
FORMULA_NAME DES-PT-40b-UpperBounds-12
FORMULA_NAME DES-PT-40b-UpperBounds-13
FORMULA_NAME DES-PT-40b-UpperBounds-14
FORMULA_NAME DES-PT-40b-UpperBounds-15
FORMULA_NAME DES-PT-40b-UpperBounds-2
FORMULA_NAME DES-PT-40b-UpperBounds-3
FORMULA_NAME DES-PT-40b-UpperBounds-4
FORMULA_NAME DES-PT-40b-UpperBounds-5
FORMULA_NAME DES-PT-40b-UpperBounds-6
FORMULA_NAME DES-PT-40b-UpperBounds-7
FORMULA_NAME DES-PT-40b-UpperBounds-8
FORMULA_NAME DES-PT-40b-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496455105013


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


checking for too many tokens
===========================================================================================
S_DES-PT-40b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_DES-PT-40b @ 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: 829/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 439 places, 390 transitions, 374 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 487 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-40b-UpperBounds.task
lola: MAX(p182) : MAX(p191) : MAX(p255) : MAX(p239) : MAX(p33) : MAX(p132) : MAX(p116) : MAX(p200) : MAX(p83) : MAX(p16) : MAX(p319) : MAX(p421) : MAX(p59) : MAX(p320) : MAX(p352) : MAX(p72)
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(p182)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 450647 markings, 1369530 edges, 90129 markings/sec, 0 secs
lola: 899352 markings, 2771347 edges, 89741 markings/sec, 5 secs
lola: 1353334 markings, 4165089 edges, 90796 markings/sec, 10 secs
lola: 1815432 markings, 5584328 edges, 92420 markings/sec, 15 secs
lola: 2255157 markings, 6957537 edges, 87945 markings/sec, 20 secs
lola: 2652878 markings, 8192564 edges, 79544 markings/sec, 25 secs
lola: 3044749 markings, 9408880 edges, 78374 markings/sec, 30 secs
lola: 3467124 markings, 10628919 edges, 84475 markings/sec, 35 secs
lola: 3891708 markings, 11819547 edges, 84917 markings/sec, 40 secs
lola: 4315791 markings, 13040567 edges, 84817 markings/sec, 45 secs
lola: 4731569 markings, 14207185 edges, 83156 markings/sec, 50 secs
lola: 5150140 markings, 15421021 edges, 83714 markings/sec, 55 secs
lola: 5550470 markings, 16602760 edges, 80066 markings/sec, 60 secs
lola: 5994377 markings, 17828826 edges, 88781 markings/sec, 65 secs
lola: 6379894 markings, 19030367 edges, 77103 markings/sec, 70 secs
lola: 6825924 markings, 20217505 edges, 89206 markings/sec, 75 secs
lola: 7216903 markings, 21455020 edges, 78196 markings/sec, 80 secs
lola: 7645540 markings, 22620282 edges, 85727 markings/sec, 85 secs
lola: 8057988 markings, 23834560 edges, 82490 markings/sec, 90 secs
lola: 8467660 markings, 25003516 edges, 81934 markings/sec, 95 secs
lola: 8893027 markings, 26210194 edges, 85073 markings/sec, 100 secs
lola: 9278904 markings, 27379357 edges, 77175 markings/sec, 105 secs
lola: 9725214 markings, 28596345 edges, 89262 markings/sec, 110 secs
lola: 10103951 markings, 29795890 edges, 75747 markings/sec, 115 secs
lola: 10541465 markings, 30957676 edges, 87503 markings/sec, 120 secs
lola: 10939113 markings, 32188243 edges, 79530 markings/sec, 125 secs
lola: 11355732 markings, 33339737 edges, 83324 markings/sec, 130 secs
lola: 11766043 markings, 34544951 edges, 82062 markings/sec, 135 secs
lola: 12173954 markings, 35706714 edges, 81582 markings/sec, 140 secs
lola: 12597876 markings, 36908779 edges, 84784 markings/sec, 145 secs
lola: 12983891 markings, 38080160 edges, 77203 markings/sec, 150 secs
lola: 13427827 markings, 39289637 edges, 88787 markings/sec, 155 secs
lola: 13803049 markings, 40478570 edges, 75044 markings/sec, 160 secs
lola: 14240996 markings, 41641200 edges, 87589 markings/sec, 165 secs
lola: 14630607 markings, 42857481 edges, 77922 markings/sec, 170 secs
lola: 15049343 markings, 44003462 edges, 83747 markings/sec, 175 secs
lola: 15469349 markings, 45240078 edges, 84001 markings/sec, 180 secs
lola: 15922994 markings, 46562946 edges, 90729 markings/sec, 185 secs
lola: 16398742 markings, 47911626 edges, 95150 markings/sec, 190 secs
lola: 16844563 markings, 49275746 edges, 89164 markings/sec, 195 secs
lola: 17284391 markings, 50644008 edges, 87966 markings/sec, 200 secs
lola: 17660024 markings, 51895122 edges, 75127 markings/sec, 205 secs
lola: 17986591 markings, 53130791 edges, 65313 markings/sec, 210 secs
lola: 18314989 markings, 54360034 edges, 65680 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(p191)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 760152 markings, 1066771 edges, 152030 markings/sec, 0 secs
lola: 1499480 markings, 2106068 edges, 147866 markings/sec, 5 secs
lola: 2170554 markings, 3172017 edges, 134215 markings/sec, 10 secs
lola: 2929370 markings, 4286708 edges, 151763 markings/sec, 15 secs
lola: 3603181 markings, 5409463 edges, 134762 markings/sec, 20 secs
lola: 4169055 markings, 6467691 edges, 113175 markings/sec, 25 secs
lola: 4691505 markings, 7497676 edges, 104490 markings/sec, 30 secs
lola: 5228713 markings, 8527550 edges, 107442 markings/sec, 35 secs
lola: 5749434 markings, 9591037 edges, 104144 markings/sec, 40 secs
lola: 6270431 markings, 10627495 edges, 104199 markings/sec, 45 secs
lola: 6752644 markings, 11625390 edges, 96443 markings/sec, 50 secs
lola: 7263295 markings, 12656352 edges, 102130 markings/sec, 55 secs
lola: 7766023 markings, 13688339 edges, 100546 markings/sec, 60 secs
lola: 8230062 markings, 14717665 edges, 92808 markings/sec, 65 secs
lola: 8745245 markings, 15783565 edges, 103037 markings/sec, 70 secs
lola: 9244031 markings, 16878052 edges, 99757 markings/sec, 75 secs
lola: 9927960 markings, 18002507 edges, 136786 markings/sec, 80 secs
lola: 10471124 markings, 19043513 edges, 108633 markings/sec, 85 secs
lola: 10951843 markings, 20052416 edges, 96144 markings/sec, 90 secs
lola: 11452150 markings, 21105843 edges, 100061 markings/sec, 95 secs
lola: 11978079 markings, 22138710 edges, 105186 markings/sec, 100 secs
lola: 12647997 markings, 23166265 edges, 133984 markings/sec, 105 secs
lola: 13116555 markings, 24220709 edges, 93712 markings/sec, 110 secs
lola: 13588778 markings, 25270557 edges, 94445 markings/sec, 115 secs
lola: 14158459 markings, 26295621 edges, 113936 markings/sec, 120 secs
lola: 14870508 markings, 27326697 edges, 142410 markings/sec, 125 secs
lola: 15340291 markings, 28387994 edges, 93957 markings/sec, 130 secs
lola: 15791589 markings, 29419724 edges, 90260 markings/sec, 135 secs
lola: 16247043 markings, 30482716 edges, 91091 markings/sec, 140 secs
lola: 16777480 markings, 31497360 edges, 106087 markings/sec, 145 secs
lola: 17277271 markings, 32548281 edges, 99958 markings/sec, 150 secs
lola: 17778716 markings, 33597444 edges, 100289 markings/sec, 155 secs
lola: 18282098 markings, 34628121 edges, 100676 markings/sec, 160 secs
lola: 18781370 markings, 35630970 edges, 99854 markings/sec, 165 secs
lola: 19273396 markings, 36654359 edges, 98405 markings/sec, 170 secs
lola: 19789556 markings, 37673133 edges, 103232 markings/sec, 175 secs
lola: 20333780 markings, 38767820 edges, 108845 markings/sec, 180 secs
lola: 20891850 markings, 39854400 edges, 111614 markings/sec, 185 secs
lola: 21436293 markings, 40904500 edges, 108889 markings/sec, 190 secs
lola: 21935316 markings, 41921363 edges, 99805 markings/sec, 195 secs
lola: 22517499 markings, 42949212 edges, 116437 markings/sec, 200 secs
lola: 23017406 markings, 44005631 edges, 99981 markings/sec, 205 secs
lola: 23616226 markings, 45096740 edges, 119764 markings/sec, 210 secs
lola: 24071464 markings, 46139598 edges, 91048 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(p255)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 879488 markings, 1379749 edges, 175898 markings/sec, 0 secs
lola: 1775334 markings, 2785404 edges, 179169 markings/sec, 5 secs
lola: 2570987 markings, 4033993 edges, 159131 markings/sec, 10 secs
lola: 3368959 markings, 5162818 edges, 159594 markings/sec, 15 secs
lola: 4158461 markings, 6190137 edges, 157900 markings/sec, 20 secs
lola: 4934722 markings, 7190738 edges, 155252 markings/sec, 25 secs
lola: 5722038 markings, 8222291 edges, 157463 markings/sec, 30 secs
lola: 6498250 markings, 9232862 edges, 155242 markings/sec, 35 secs
lola: 7278748 markings, 10247095 edges, 156100 markings/sec, 40 secs
lola: 8063586 markings, 11268813 edges, 156968 markings/sec, 45 secs
lola: 8846446 markings, 12286384 edges, 156572 markings/sec, 50 secs
lola: 9632711 markings, 13310006 edges, 157253 markings/sec, 55 secs
lola: 10408900 markings, 14319818 edges, 155238 markings/sec, 60 secs
lola: 11191083 markings, 15344987 edges, 156437 markings/sec, 65 secs
lola: 11969331 markings, 16349526 edges, 155650 markings/sec, 70 secs
lola: 12745713 markings, 17357139 edges, 155276 markings/sec, 75 secs
lola: 13530521 markings, 18391556 edges, 156962 markings/sec, 80 secs
lola: 14310415 markings, 19393656 edges, 155979 markings/sec, 85 secs
lola: 15089756 markings, 20403005 edges, 155868 markings/sec, 90 secs
lola: 15874196 markings, 21438204 edges, 156888 markings/sec, 95 secs
lola: 16654267 markings, 22453894 edges, 156014 markings/sec, 100 secs
lola: 17429183 markings, 23451188 edges, 154983 markings/sec, 105 secs
lola: 18207769 markings, 24475367 edges, 155717 markings/sec, 110 secs
lola: 18998170 markings, 25501769 edges, 158080 markings/sec, 115 secs
lola: 19790995 markings, 26534389 edges, 158565 markings/sec, 120 secs
lola: 20422883 markings, 27562069 edges, 126378 markings/sec, 125 secs
lola: 21330302 markings, 28707603 edges, 181484 markings/sec, 130 secs
lola: 22223532 markings, 29846300 edges, 178646 markings/sec, 135 secs
lola: 23103565 markings, 30958321 edges, 176007 markings/sec, 140 secs
lola: 23915445 markings, 31931553 edges, 162376 markings/sec, 145 secs
lola: 24760205 markings, 32895635 edges, 168952 markings/sec, 150 secs
lola: 25613625 markings, 34058947 edges, 170684 markings/sec, 155 secs
lola: 26449589 markings, 35186870 edges, 167193 markings/sec, 160 secs
lola: 27233405 markings, 36236362 edges, 156763 markings/sec, 165 secs
lola: 28035646 markings, 37260930 edges, 160448 markings/sec, 170 secs
lola: 28812119 markings, 38318934 edges, 155295 markings/sec, 175 secs
lola: 29612100 markings, 39402899 edges, 159996 markings/sec, 180 secs
lola: 30365496 markings, 40477445 edges, 150679 markings/sec, 185 secs
lola: 31132352 markings, 41546822 edges, 153371 markings/sec, 190 secs
lola: 31925676 markings, 42613002 edges, 158665 markings/sec, 195 secs
lola: 32733344 markings, 43694710 edges, 161534 markings/sec, 200 secs
lola: 33518581 markings, 44746803 edges, 157047 markings/sec, 205 secs
lola: 34301639 markings, 45824291 edges, 156612 markings/sec, 210 secs
lola: 35117841 markings, 46850682 edges, 163240 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(p239)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 723371 markings, 1275364 edges, 144674 markings/sec, 0 secs
lola: 1419735 markings, 2539014 edges, 139273 markings/sec, 5 secs
lola: 2099936 markings, 3790166 edges, 136040 markings/sec, 10 secs
lola: 2824275 markings, 5046731 edges, 144868 markings/sec, 15 secs
lola: 3524810 markings, 6227251 edges, 140107 markings/sec, 20 secs
lola: 4403195 markings, 7423251 edges, 175677 markings/sec, 25 secs
lola: 5347429 markings, 8625877 edges, 188847 markings/sec, 30 secs
lola: 6275241 markings, 9810418 edges, 185562 markings/sec, 35 secs
lola: 7102374 markings, 11033510 edges, 165427 markings/sec, 40 secs
lola: 7892168 markings, 12189319 edges, 157959 markings/sec, 45 secs
lola: 8830387 markings, 13332527 edges, 187644 markings/sec, 50 secs
lola: 9789820 markings, 14476832 edges, 191887 markings/sec, 55 secs
lola: 10700167 markings, 15596931 edges, 182069 markings/sec, 60 secs
lola: 11553688 markings, 16706984 edges, 170704 markings/sec, 65 secs
lola: 12419276 markings, 17783478 edges, 173118 markings/sec, 70 secs
lola: 13302845 markings, 18980722 edges, 176714 markings/sec, 75 secs
lola: 14228556 markings, 20169957 edges, 185142 markings/sec, 80 secs
lola: 15144799 markings, 21399661 edges, 183249 markings/sec, 85 secs
lola: 15991893 markings, 22609763 edges, 169419 markings/sec, 90 secs
lola: 16805431 markings, 23796365 edges, 162708 markings/sec, 95 secs
lola: 17468193 markings, 25036633 edges, 132552 markings/sec, 100 secs
lola: 18165161 markings, 26281479 edges, 139394 markings/sec, 105 secs
lola: 19004434 markings, 27409561 edges, 167855 markings/sec, 110 secs
lola: 19799907 markings, 28517791 edges, 159095 markings/sec, 115 secs
lola: 20543270 markings, 29544711 edges, 148673 markings/sec, 120 secs
lola: 21359681 markings, 30615469 edges, 163282 markings/sec, 125 secs
lola: 22310372 markings, 31732917 edges, 190138 markings/sec, 130 secs
lola: 23347072 markings, 32840871 edges, 207340 markings/sec, 135 secs
lola: 24312025 markings, 33938842 edges, 192991 markings/sec, 140 secs
lola: 25203025 markings, 35001295 edges, 178200 markings/sec, 145 secs
lola: 26082535 markings, 36117360 edges, 175902 markings/sec, 150 secs
lola: 27010975 markings, 37247125 edges, 185688 markings/sec, 155 secs
lola: 27848313 markings, 38349578 edges, 167468 markings/sec, 160 secs
lola: 28751441 markings, 39454002 edges, 180626 markings/sec, 165 secs
lola: 29587881 markings, 40548747 edges, 167288 markings/sec, 170 secs
lola: 30357620 markings, 41663931 edges, 153948 markings/sec, 175 secs
lola: 31223679 markings, 42774248 edges, 173212 markings/sec, 180 secs
lola: 32061624 markings, 43827832 edges, 167589 markings/sec, 185 secs
lola: 32937392 markings, 44941803 edges, 175154 markings/sec, 190 secs
lola: 33752856 markings, 45973382 edges, 163093 markings/sec, 195 secs
lola: 34496948 markings, 47149368 edges, 148818 markings/sec, 200 secs
lola: 35381589 markings, 48255437 edges, 176928 markings/sec, 205 secs
lola: 36261167 markings, 49345865 edges, 175916 markings/sec, 210 secs
lola: 37088335 markings, 50427547 edges, 165434 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(p33)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 863425 markings, 1093267 edges, 172685 markings/sec, 0 secs
lola: 1701863 markings, 2184364 edges, 167688 markings/sec, 5 secs
lola: 2480549 markings, 3276721 edges, 155737 markings/sec, 10 secs
lola: 3279930 markings, 4376171 edges, 159876 markings/sec, 15 secs
lola: 4069930 markings, 5463040 edges, 158000 markings/sec, 20 secs
lola: 4813062 markings, 6529906 edges, 148626 markings/sec, 25 secs
lola: 5569508 markings, 7578735 edges, 151289 markings/sec, 30 secs
lola: 6233358 markings, 8654819 edges, 132770 markings/sec, 35 secs
lola: 6741153 markings, 9835850 edges, 101559 markings/sec, 40 secs
lola: 7339010 markings, 11004520 edges, 119571 markings/sec, 45 secs
lola: 7904667 markings, 12095483 edges, 113131 markings/sec, 50 secs
lola: 8426118 markings, 13309286 edges, 104290 markings/sec, 55 secs
lola: 9016771 markings, 14462663 edges, 118131 markings/sec, 60 secs
lola: 9524142 markings, 15563538 edges, 101474 markings/sec, 65 secs
lola: 10095478 markings, 16745966 edges, 114267 markings/sec, 70 secs
lola: 10662668 markings, 17845482 edges, 113438 markings/sec, 75 secs
lola: 11170036 markings, 19021805 edges, 101474 markings/sec, 80 secs
lola: 11760806 markings, 20174524 edges, 118154 markings/sec, 85 secs
lola: 12286601 markings, 21257978 edges, 105159 markings/sec, 90 secs
lola: 12842047 markings, 22466389 edges, 111089 markings/sec, 95 secs
lola: 13422318 markings, 23595398 edges, 116054 markings/sec, 100 secs
lola: 13928982 markings, 24773007 edges, 101333 markings/sec, 105 secs
lola: 14527280 markings, 25942616 edges, 119660 markings/sec, 110 secs
lola: 15093210 markings, 27035220 edges, 113186 markings/sec, 115 secs
lola: 15623222 markings, 28265989 edges, 106002 markings/sec, 120 secs
lola: 16223094 markings, 29443042 edges, 119974 markings/sec, 125 secs
lola: 16736220 markings, 30547402 edges, 102625 markings/sec, 130 secs
lola: 17300626 markings, 31722647 edges, 112881 markings/sec, 135 secs
lola: 17833939 markings, 32825868 edges, 106663 markings/sec, 140 secs
lola: 18295794 markings, 33897567 edges, 92371 markings/sec, 145 secs
lola: 18783291 markings, 34975195 edges, 97499 markings/sec, 150 secs
lola: 19509400 markings, 35877984 edges, 145222 markings/sec, 155 secs
lola: 20418530 markings, 36835505 edges, 181826 markings/sec, 160 secs
lola: 21305432 markings, 37769554 edges, 177380 markings/sec, 165 secs
lola: 22113999 markings, 38621058 edges, 161713 markings/sec, 170 secs
lola: 22905497 markings, 39455169 edges, 158300 markings/sec, 175 secs
lola: 23640212 markings, 40234599 edges, 146943 markings/sec, 180 secs
lola: 24359153 markings, 41002427 edges, 143788 markings/sec, 185 secs
lola: 25067801 markings, 41757711 edges, 141730 markings/sec, 190 secs
lola: 25774228 markings, 42513480 edges, 141285 markings/sec, 195 secs
lola: 26492352 markings, 43276517 edges, 143625 markings/sec, 200 secs
lola: 27218753 markings, 44049500 edges, 145280 markings/sec, 205 secs
lola: 27939593 markings, 44819416 edges, 144168 markings/sec, 210 secs
lola: 28650744 markings, 45577345 edges, 142230 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(p132)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 790067 markings, 1099362 edges, 158013 markings/sec, 0 secs
lola: 1451019 markings, 2213263 edges, 132190 markings/sec, 5 secs
lola: 2125008 markings, 3333853 edges, 134798 markings/sec, 10 secs
lola: 2794249 markings, 4450487 edges, 133848 markings/sec, 15 secs
lola: 3465995 markings, 5568721 edges, 134349 markings/sec, 20 secs
lola: 4137403 markings, 6683151 edges, 134282 markings/sec, 25 secs
lola: 4780237 markings, 7710130 edges, 128567 markings/sec, 30 secs
lola: 5370146 markings, 8563246 edges, 117982 markings/sec, 35 secs
lola: 6072720 markings, 9358541 edges, 140515 markings/sec, 40 secs
lola: 6757845 markings, 10137972 edges, 137025 markings/sec, 45 secs
lola: 7430177 markings, 10913454 edges, 134466 markings/sec, 50 secs
lola: 8102711 markings, 11705778 edges, 134507 markings/sec, 55 secs
lola: 8766835 markings, 12477442 edges, 132825 markings/sec, 60 secs
lola: 9434987 markings, 13228417 edges, 133630 markings/sec, 65 secs
lola: 10113966 markings, 13980409 edges, 135796 markings/sec, 70 secs
lola: 10787325 markings, 14721872 edges, 134672 markings/sec, 75 secs
lola: 11450955 markings, 15524529 edges, 132726 markings/sec, 80 secs
lola: 12170454 markings, 16363278 edges, 143900 markings/sec, 85 secs
lola: 12853056 markings, 17207221 edges, 136520 markings/sec, 90 secs
lola: 13534485 markings, 18040715 edges, 136286 markings/sec, 95 secs
lola: 14211947 markings, 18858215 edges, 135492 markings/sec, 100 secs
lola: 14871656 markings, 19663524 edges, 131942 markings/sec, 105 secs
lola: 15561067 markings, 20455080 edges, 137882 markings/sec, 110 secs
lola: 16227118 markings, 21222952 edges, 133210 markings/sec, 115 secs
lola: 16791879 markings, 22217146 edges, 112952 markings/sec, 120 secs
lola: 17364167 markings, 23239498 edges, 114458 markings/sec, 125 secs
lola: 17906776 markings, 24302882 edges, 108522 markings/sec, 130 secs
lola: 18410914 markings, 25345313 edges, 100828 markings/sec, 135 secs
lola: 18862271 markings, 26507940 edges, 90271 markings/sec, 140 secs
lola: 19282235 markings, 27609096 edges, 83993 markings/sec, 145 secs
lola: 19720122 markings, 28730968 edges, 87577 markings/sec, 150 secs
lola: 20149188 markings, 29868338 edges, 85813 markings/sec, 155 secs
lola: 20549896 markings, 30956554 edges, 80142 markings/sec, 160 secs
lola: 20980491 markings, 32009871 edges, 86119 markings/sec, 165 secs
lola: 21371600 markings, 33050607 edges, 78222 markings/sec, 170 secs
lola: 21762285 markings, 34074981 edges, 78137 markings/sec, 175 secs
lola: 22181424 markings, 35154810 edges, 83828 markings/sec, 180 secs
lola: 22585437 markings, 36163167 edges, 80803 markings/sec, 185 secs
lola: 22969611 markings, 37191446 edges, 76835 markings/sec, 190 secs
lola: 23378962 markings, 38245942 edges, 81870 markings/sec, 195 secs
lola: 23742255 markings, 39237831 edges, 72659 markings/sec, 200 secs
lola: 24222911 markings, 40206318 edges, 96131 markings/sec, 205 secs
lola: 24599629 markings, 41282976 edges, 75344 markings/sec, 210 secs
lola: 25092267 markings, 42170484 edges, 98528 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(p116)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 1020931 markings, 1168926 edges, 204186 markings/sec, 0 secs
lola: 1830514 markings, 2195568 edges, 161917 markings/sec, 5 secs
lola: 2586034 markings, 3156155 edges, 151104 markings/sec, 10 secs
lola: 3338631 markings, 4113636 edges, 150519 markings/sec, 15 secs
lola: 4090709 markings, 5070983 edges, 150416 markings/sec, 20 secs
lola: 4847579 markings, 6032875 edges, 151374 markings/sec, 25 secs
lola: 5601904 markings, 6992103 edges, 150865 markings/sec, 30 secs
lola: 6355193 markings, 7949903 edges, 150658 markings/sec, 35 secs
lola: 7108076 markings, 8911325 edges, 150577 markings/sec, 40 secs
lola: 7863025 markings, 9871134 edges, 150990 markings/sec, 45 secs
lola: 8615714 markings, 10829085 edges, 150538 markings/sec, 50 secs
lola: 9371828 markings, 11791292 edges, 151223 markings/sec, 55 secs
lola: 10128351 markings, 12759586 edges, 151305 markings/sec, 60 secs
lola: 10887861 markings, 13730368 edges, 151902 markings/sec, 65 secs
lola: 11642525 markings, 14690503 edges, 150933 markings/sec, 70 secs
lola: 12390454 markings, 15644067 edges, 149586 markings/sec, 75 secs
lola: 13140074 markings, 16597214 edges, 149924 markings/sec, 80 secs
lola: 13892782 markings, 17558160 edges, 150542 markings/sec, 85 secs
lola: 14648422 markings, 18523847 edges, 151128 markings/sec, 90 secs
lola: 15405199 markings, 19486572 edges, 151355 markings/sec, 95 secs
lola: 16158250 markings, 20455767 edges, 150610 markings/sec, 100 secs
lola: 16915628 markings, 21419506 edges, 151476 markings/sec, 105 secs
lola: 17671008 markings, 22382977 edges, 151076 markings/sec, 110 secs
lola: 18428642 markings, 23349722 edges, 151527 markings/sec, 115 secs
lola: 19184707 markings, 24310891 edges, 151213 markings/sec, 120 secs
lola: 19941948 markings, 25276627 edges, 151448 markings/sec, 125 secs
lola: 20701582 markings, 26248984 edges, 151927 markings/sec, 130 secs
lola: 21458461 markings, 27210755 edges, 151376 markings/sec, 135 secs
lola: 22212012 markings, 28169996 edges, 150710 markings/sec, 140 secs
lola: 22971202 markings, 29141776 edges, 151838 markings/sec, 145 secs
lola: 23732263 markings, 30116651 edges, 152212 markings/sec, 150 secs
lola: 24490233 markings, 31079224 edges, 151594 markings/sec, 155 secs
lola: 25256851 markings, 32055987 edges, 153324 markings/sec, 160 secs
lola: 26024912 markings, 33036038 edges, 153612 markings/sec, 165 secs
lola: 26793432 markings, 34011541 edges, 153704 markings/sec, 170 secs
lola: 27427133 markings, 34968076 edges, 126740 markings/sec, 175 secs
lola: 28016114 markings, 35972751 edges, 117796 markings/sec, 180 secs
lola: 28807317 markings, 37000448 edges, 158241 markings/sec, 185 secs
lola: 29644406 markings, 38080310 edges, 167418 markings/sec, 190 secs
lola: 30538732 markings, 39217909 edges, 178865 markings/sec, 195 secs
lola: 31417990 markings, 40329953 edges, 175852 markings/sec, 200 secs
lola: 32273828 markings, 41366312 edges, 171168 markings/sec, 205 secs
lola: 33054535 markings, 42274927 edges, 156141 markings/sec, 210 secs
lola: 33893315 markings, 43223892 edges, 167756 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(p200)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 761516 markings, 1069179 edges, 152303 markings/sec, 0 secs
lola: 1488548 markings, 2091381 edges, 145406 markings/sec, 5 secs
lola: 2165519 markings, 3150999 edges, 135394 markings/sec, 10 secs
lola: 2914043 markings, 4343720 edges, 149705 markings/sec, 15 secs
lola: 3571982 markings, 5492247 edges, 131588 markings/sec, 20 secs
lola: 4107398 markings, 6515568 edges, 107083 markings/sec, 25 secs
lola: 4650323 markings, 7553550 edges, 108585 markings/sec, 30 secs
lola: 5158526 markings, 8609826 edges, 101641 markings/sec, 35 secs
lola: 5685604 markings, 9640174 edges, 105416 markings/sec, 40 secs
lola: 6172615 markings, 10642100 edges, 97402 markings/sec, 45 secs
lola: 6697889 markings, 11688586 edges, 105055 markings/sec, 50 secs
lola: 7158593 markings, 12693937 edges, 92141 markings/sec, 55 secs
lola: 7664576 markings, 13740469 edges, 101197 markings/sec, 60 secs
lola: 8229006 markings, 14871499 edges, 112886 markings/sec, 65 secs
lola: 8873159 markings, 15958689 edges, 128831 markings/sec, 70 secs
lola: 9356541 markings, 16980601 edges, 96676 markings/sec, 75 secs
lola: 9841022 markings, 18002086 edges, 96896 markings/sec, 80 secs
lola: 10362346 markings, 19033732 edges, 104265 markings/sec, 85 secs
lola: 11003817 markings, 20043836 edges, 128294 markings/sec, 90 secs
lola: 11465504 markings, 21093752 edges, 92337 markings/sec, 95 secs
lola: 11945608 markings, 22138312 edges, 96021 markings/sec, 100 secs
lola: 12608525 markings, 23177260 edges, 132583 markings/sec, 105 secs
lola: 13181332 markings, 24226292 edges, 114561 markings/sec, 110 secs
lola: 13648201 markings, 25278825 edges, 93374 markings/sec, 115 secs
lola: 14102913 markings, 26344595 edges, 90942 markings/sec, 120 secs
lola: 14623205 markings, 27350860 edges, 104058 markings/sec, 125 secs
lola: 15120347 markings, 28408717 edges, 99428 markings/sec, 130 secs
lola: 15624692 markings, 29455982 edges, 100869 markings/sec, 135 secs
lola: 16124355 markings, 30451086 edges, 99933 markings/sec, 140 secs
lola: 16612676 markings, 31474466 edges, 97664 markings/sec, 145 secs
lola: 17125642 markings, 32479314 edges, 102593 markings/sec, 150 secs
lola: 17662921 markings, 33559524 edges, 107456 markings/sec, 155 secs
lola: 18249677 markings, 34682029 edges, 117351 markings/sec, 160 secs
lola: 18749569 markings, 35711226 edges, 99978 markings/sec, 165 secs
lola: 19338403 markings, 36764786 edges, 117767 markings/sec, 170 secs
lola: 19809977 markings, 37812351 edges, 94315 markings/sec, 175 secs
lola: 20442780 markings, 38916308 edges, 126561 markings/sec, 180 secs
lola: 20909446 markings, 39978895 edges, 93333 markings/sec, 185 secs
lola: 21412843 markings, 41022499 edges, 100679 markings/sec, 190 secs
lola: 21922192 markings, 42032197 edges, 101870 markings/sec, 195 secs
lola: 22461560 markings, 43060158 edges, 107874 markings/sec, 200 secs
lola: 23051039 markings, 44169665 edges, 117896 markings/sec, 205 secs
lola: 23637358 markings, 45290311 edges, 117264 markings/sec, 210 secs
lola: 24322346 markings, 46435160 edges, 136998 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(p83)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 849299 markings, 1006897 edges, 169860 markings/sec, 0 secs
lola: 1625797 markings, 1927414 edges, 155300 markings/sec, 5 secs
lola: 2358403 markings, 2701152 edges, 146521 markings/sec, 10 secs
lola: 3089350 markings, 3468822 edges, 146189 markings/sec, 15 secs
lola: 3794552 markings, 4213538 edges, 141040 markings/sec, 20 secs
lola: 4512489 markings, 4973020 edges, 143587 markings/sec, 25 secs
lola: 5229185 markings, 5810714 edges, 143339 markings/sec, 30 secs
lola: 5980663 markings, 6728321 edges, 150296 markings/sec, 35 secs
lola: 6670678 markings, 7527307 edges, 138003 markings/sec, 40 secs
lola: 7368521 markings, 8275696 edges, 139569 markings/sec, 45 secs
lola: 8076845 markings, 9090997 edges, 141665 markings/sec, 50 secs
lola: 8783892 markings, 9948672 edges, 141409 markings/sec, 55 secs
lola: 9491501 markings, 10744450 edges, 141522 markings/sec, 60 secs
lola: 10253337 markings, 11577918 edges, 152367 markings/sec, 65 secs
lola: 11012388 markings, 12418795 edges, 151810 markings/sec, 70 secs
lola: 11750715 markings, 13187189 edges, 147665 markings/sec, 75 secs
lola: 12475482 markings, 13941838 edges, 144953 markings/sec, 80 secs
lola: 13208479 markings, 14704947 edges, 146599 markings/sec, 85 secs
lola: 13938622 markings, 15473261 edges, 146029 markings/sec, 90 secs
lola: 14661259 markings, 16279331 edges, 144527 markings/sec, 95 secs
lola: 15377584 markings, 17146489 edges, 143265 markings/sec, 100 secs
lola: 16081134 markings, 17898668 edges, 140710 markings/sec, 105 secs
lola: 16788098 markings, 18644050 edges, 141393 markings/sec, 110 secs
lola: 17503526 markings, 19410131 edges, 143086 markings/sec, 115 secs
lola: 18221490 markings, 20245794 edges, 143593 markings/sec, 120 secs
lola: 18939484 markings, 21028138 edges, 143599 markings/sec, 125 secs
lola: 19704296 markings, 21872776 edges, 152962 markings/sec, 130 secs
lola: 20479770 markings, 22720741 edges, 155095 markings/sec, 135 secs
lola: 21219803 markings, 23488578 edges, 148007 markings/sec, 140 secs
lola: 21952201 markings, 24256149 edges, 146480 markings/sec, 145 secs
lola: 22669059 markings, 25031301 edges, 143372 markings/sec, 150 secs
lola: 23391590 markings, 25803458 edges, 144506 markings/sec, 155 secs
lola: 24153256 markings, 26619146 edges, 152333 markings/sec, 160 secs
lola: 24894150 markings, 27408795 edges, 148179 markings/sec, 165 secs
lola: 25583563 markings, 28182997 edges, 137883 markings/sec, 170 secs
lola: 26355854 markings, 28995239 edges, 154458 markings/sec, 175 secs
lola: 27100946 markings, 29761689 edges, 149018 markings/sec, 180 secs
lola: 27839998 markings, 30521568 edges, 147810 markings/sec, 185 secs
lola: 28572624 markings, 31337561 edges, 146525 markings/sec, 190 secs
lola: 29286679 markings, 32096135 edges, 142811 markings/sec, 195 secs
lola: 30005336 markings, 32844540 edges, 143731 markings/sec, 200 secs
lola: 30721685 markings, 33632727 edges, 143270 markings/sec, 205 secs
lola: 31510533 markings, 34477665 edges, 157770 markings/sec, 210 secs
lola: 32278662 markings, 35272545 edges, 153626 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(p16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 798145 markings, 1017171 edges, 159629 markings/sec, 0 secs
lola: 1578672 markings, 2025544 edges, 156105 markings/sec, 5 secs
lola: 2303292 markings, 3028929 edges, 144924 markings/sec, 10 secs
lola: 3037727 markings, 4044632 edges, 146887 markings/sec, 15 secs
lola: 3779048 markings, 5046978 edges, 148264 markings/sec, 20 secs
lola: 4474105 markings, 6034922 edges, 139011 markings/sec, 25 secs
lola: 5167893 markings, 7028986 edges, 138758 markings/sec, 30 secs
lola: 5851976 markings, 7984007 edges, 136817 markings/sec, 35 secs
lola: 6417146 markings, 9082312 edges, 113034 markings/sec, 40 secs
lola: 6948318 markings, 10115807 edges, 106234 markings/sec, 45 secs
lola: 7463018 markings, 11291849 edges, 102940 markings/sec, 50 secs
lola: 8019983 markings, 12365990 edges, 111393 markings/sec, 55 secs
lola: 8507577 markings, 13498543 edges, 97519 markings/sec, 60 secs
lola: 9080085 markings, 14605439 edges, 114502 markings/sec, 65 secs
lola: 9594792 markings, 15656083 edges, 102941 markings/sec, 70 secs
lola: 10124224 markings, 16812620 edges, 105886 markings/sec, 75 secs
lola: 10675101 markings, 17875103 edges, 110175 markings/sec, 80 secs
lola: 11166877 markings, 19014647 edges, 98355 markings/sec, 85 secs
lola: 11738164 markings, 20124722 edges, 114257 markings/sec, 90 secs
lola: 12229059 markings, 21183786 edges, 98179 markings/sec, 95 secs
lola: 12785119 markings, 22333689 edges, 111212 markings/sec, 100 secs
lola: 13333863 markings, 23389714 edges, 109749 markings/sec, 105 secs
lola: 13834712 markings, 24551314 edges, 100170 markings/sec, 110 secs
lola: 14405407 markings, 25660113 edges, 114139 markings/sec, 115 secs
lola: 14895616 markings, 26751448 edges, 98042 markings/sec, 120 secs
lola: 15462813 markings, 27896667 edges, 113439 markings/sec, 125 secs
lola: 16016185 markings, 28960422 edges, 110674 markings/sec, 130 secs
lola: 16524011 markings, 30138510 edges, 101565 markings/sec, 135 secs
lola: 17098019 markings, 31254546 edges, 114802 markings/sec, 140 secs
lola: 17592203 markings, 32359781 edges, 98837 markings/sec, 145 secs
lola: 18166592 markings, 33517796 edges, 114878 markings/sec, 150 secs
lola: 18723652 markings, 34590186 edges, 111412 markings/sec, 155 secs
lola: 19236058 markings, 35778740 edges, 102481 markings/sec, 160 secs
lola: 19817117 markings, 36911980 edges, 116212 markings/sec, 165 secs
lola: 20319300 markings, 38008582 edges, 100437 markings/sec, 170 secs
lola: 20890261 markings, 39182493 edges, 114192 markings/sec, 175 secs
lola: 21454430 markings, 40274725 edges, 112834 markings/sec, 180 secs
lola: 21966392 markings, 41461976 edges, 102392 markings/sec, 185 secs
lola: 22557506 markings, 42617227 edges, 118223 markings/sec, 190 secs
lola: 23081154 markings, 43701902 edges, 104730 markings/sec, 195 secs
lola: 23638459 markings, 44906743 edges, 111461 markings/sec, 200 secs
lola: 24215390 markings, 46027074 edges, 115386 markings/sec, 205 secs
lola: 24721234 markings, 47203281 edges, 101169 markings/sec, 210 secs
lola: 25315840 markings, 48363749 edges, 118921 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(p319)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 970452 markings, 1048668 edges, 194090 markings/sec, 0 secs
lola: 2044332 markings, 2160273 edges, 214776 markings/sec, 5 secs
lola: 3104306 markings, 3250681 edges, 211995 markings/sec, 10 secs
lola: 3997120 markings, 4289150 edges, 178563 markings/sec, 15 secs
lola: 4930595 markings, 5332727 edges, 186695 markings/sec, 20 secs
lola: 5925157 markings, 6410637 edges, 198912 markings/sec, 25 secs
lola: 6890795 markings, 7419190 edges, 193128 markings/sec, 30 secs
lola: 7962693 markings, 8551241 edges, 214380 markings/sec, 35 secs
lola: 8667124 markings, 9670041 edges, 140886 markings/sec, 40 secs
lola: 9180399 markings, 10777791 edges, 102655 markings/sec, 45 secs
lola: 9926415 markings, 11793883 edges, 149203 markings/sec, 50 secs
lola: 10911240 markings, 12865295 edges, 196965 markings/sec, 55 secs
lola: 12031121 markings, 14012546 edges, 223976 markings/sec, 60 secs
lola: 12992318 markings, 15104874 edges, 192239 markings/sec, 65 secs
lola: 13930401 markings, 16185800 edges, 187617 markings/sec, 70 secs
lola: 14723176 markings, 17257472 edges, 158555 markings/sec, 75 secs
lola: 15461754 markings, 18340745 edges, 147716 markings/sec, 80 secs
lola: 16180787 markings, 19366582 edges, 143807 markings/sec, 85 secs
lola: 16830545 markings, 20419895 edges, 129952 markings/sec, 90 secs
lola: 17580697 markings, 21455091 edges, 150030 markings/sec, 95 secs
lola: 18601524 markings, 22567424 edges, 204165 markings/sec, 100 secs
lola: 19607820 markings, 23674862 edges, 201259 markings/sec, 105 secs
lola: 20612626 markings, 24780427 edges, 200961 markings/sec, 110 secs
lola: 21613011 markings, 25881290 edges, 200077 markings/sec, 115 secs
lola: 22630497 markings, 26980660 edges, 203497 markings/sec, 120 secs
lola: 23711001 markings, 28097113 edges, 216101 markings/sec, 125 secs
lola: 24631530 markings, 29212710 edges, 184106 markings/sec, 130 secs
lola: 25095676 markings, 30331374 edges, 92829 markings/sec, 135 secs
lola: 25800495 markings, 31395228 edges, 140964 markings/sec, 140 secs
lola: 26675471 markings, 32444435 edges, 174995 markings/sec, 145 secs
lola: 27770357 markings, 33578056 edges, 218977 markings/sec, 150 secs
lola: 28755933 markings, 34666162 edges, 197115 markings/sec, 155 secs
lola: 29750063 markings, 35744762 edges, 198826 markings/sec, 160 secs
lola: 30616333 markings, 36783071 edges, 173254 markings/sec, 165 secs
lola: 31295556 markings, 37875255 edges, 135845 markings/sec, 170 secs
lola: 31997783 markings, 38913027 edges, 140445 markings/sec, 175 secs
lola: 32707390 markings, 39953887 edges, 141921 markings/sec, 180 secs
lola: 33399621 markings, 40984122 edges, 138446 markings/sec, 185 secs
lola: 34306298 markings, 42060833 edges, 181335 markings/sec, 190 secs
lola: 35301358 markings, 43160939 edges, 199012 markings/sec, 195 secs
lola: 36288777 markings, 44253792 edges, 197484 markings/sec, 200 secs
lola: 37284199 markings, 45349182 edges, 199084 markings/sec, 205 secs
lola: 38280210 markings, 46450291 edges, 199202 markings/sec, 210 secs
lola: 39338579 markings, 47537660 edges, 211674 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(p421)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 824309 markings, 877376 edges, 164862 markings/sec, 0 secs
lola: 1563614 markings, 1642931 edges, 147861 markings/sec, 5 secs
lola: 2328820 markings, 2451802 edges, 153041 markings/sec, 10 secs
lola: 3161143 markings, 3329894 edges, 166465 markings/sec, 15 secs
lola: 3895123 markings, 4100675 edges, 146796 markings/sec, 20 secs
lola: 4619701 markings, 4870551 edges, 144916 markings/sec, 25 secs
lola: 5424552 markings, 5722167 edges, 160970 markings/sec, 30 secs
lola: 6178814 markings, 6514453 edges, 150852 markings/sec, 35 secs
lola: 6892006 markings, 7270684 edges, 142638 markings/sec, 40 secs
lola: 7683080 markings, 8110877 edges, 158215 markings/sec, 45 secs
lola: 8466077 markings, 8933630 edges, 156599 markings/sec, 50 secs
lola: 9164786 markings, 9671416 edges, 139742 markings/sec, 55 secs
lola: 9920307 markings, 10476107 edges, 151104 markings/sec, 60 secs
lola: 10726939 markings, 11326708 edges, 161326 markings/sec, 65 secs
lola: 11445249 markings, 12080773 edges, 143662 markings/sec, 70 secs
lola: 12166302 markings, 12846895 edges, 144211 markings/sec, 75 secs
lola: 12970116 markings, 13697639 edges, 160763 markings/sec, 80 secs
lola: 13721410 markings, 14484070 edges, 150259 markings/sec, 85 secs
lola: 14428456 markings, 15236286 edges, 141409 markings/sec, 90 secs
lola: 15212160 markings, 16069829 edges, 156741 markings/sec, 95 secs
lola: 15994944 markings, 16892324 edges, 156557 markings/sec, 100 secs
lola: 16690288 markings, 17625477 edges, 139069 markings/sec, 105 secs
lola: 17435609 markings, 18418443 edges, 149064 markings/sec, 110 secs
lola: 18239112 markings, 19266391 edges, 160701 markings/sec, 115 secs
lola: 18955910 markings, 20018895 edges, 143360 markings/sec, 120 secs
lola: 19668061 markings, 20775645 edges, 142430 markings/sec, 125 secs
lola: 20463959 markings, 21618184 edges, 159180 markings/sec, 130 secs
lola: 21224454 markings, 22416127 edges, 152099 markings/sec, 135 secs
lola: 21930396 markings, 23165113 edges, 141188 markings/sec, 140 secs
lola: 22706643 markings, 23990292 edges, 155249 markings/sec, 145 secs
lola: 23494226 markings, 24821426 edges, 157517 markings/sec, 150 secs
lola: 24192496 markings, 25554629 edges, 139654 markings/sec, 155 secs
lola: 24930678 markings, 26339374 edges, 147636 markings/sec, 160 secs
lola: 25736348 markings, 27190788 edges, 161134 markings/sec, 165 secs
lola: 26461674 markings, 27951984 edges, 145065 markings/sec, 170 secs
lola: 27176352 markings, 28711243 edges, 142936 markings/sec, 175 secs
lola: 27970445 markings, 29551009 edges, 158819 markings/sec, 180 secs
lola: 28733730 markings, 30355257 edges, 152657 markings/sec, 185 secs
lola: 29438180 markings, 31100189 edges, 140890 markings/sec, 190 secs
lola: 30212143 markings, 31925594 edges, 154793 markings/sec, 195 secs
lola: 31004186 markings, 32759623 edges, 158409 markings/sec, 200 secs
lola: 31706961 markings, 33496759 edges, 140555 markings/sec, 205 secs
lola: 32440668 markings, 34276746 edges, 146741 markings/sec, 210 secs
lola: 33243958 markings, 35125683 edges, 160658 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(p59)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 851237 markings, 1008572 edges, 170247 markings/sec, 0 secs
lola: 1740712 markings, 2125238 edges, 177895 markings/sec, 5 secs
lola: 2630705 markings, 3240719 edges, 177999 markings/sec, 10 secs
lola: 3517122 markings, 4352154 edges, 177283 markings/sec, 15 secs
lola: 4417566 markings, 5482644 edges, 180089 markings/sec, 20 secs
lola: 5309183 markings, 6601593 edges, 178323 markings/sec, 25 secs
lola: 6195363 markings, 7717073 edges, 177236 markings/sec, 30 secs
lola: 7078113 markings, 8822239 edges, 176550 markings/sec, 35 secs
lola: 7953321 markings, 9930814 edges, 175042 markings/sec, 40 secs
lola: 8847508 markings, 11042087 edges, 178837 markings/sec, 45 secs
lola: 9727593 markings, 12156664 edges, 176017 markings/sec, 50 secs
lola: 10457570 markings, 12971491 edges, 145995 markings/sec, 55 secs
lola: 11171193 markings, 13721818 edges, 142725 markings/sec, 60 secs
lola: 11881897 markings, 14466972 edges, 142141 markings/sec, 65 secs
lola: 12591908 markings, 15217911 edges, 142002 markings/sec, 70 secs
lola: 13300753 markings, 15967774 edges, 141769 markings/sec, 75 secs
lola: 14019137 markings, 16828229 edges, 143677 markings/sec, 80 secs
lola: 14758583 markings, 17734114 edges, 147889 markings/sec, 85 secs
lola: 15439131 markings, 18504513 edges, 136110 markings/sec, 90 secs
lola: 16133284 markings, 19246747 edges, 138831 markings/sec, 95 secs
lola: 16836931 markings, 20077737 edges, 140729 markings/sec, 100 secs
lola: 17535412 markings, 20905530 edges, 139696 markings/sec, 105 secs
lola: 18242293 markings, 21702001 edges, 141376 markings/sec, 110 secs
lola: 19008297 markings, 22541528 edges, 153201 markings/sec, 115 secs
lola: 19768787 markings, 23378434 edges, 152098 markings/sec, 120 secs
lola: 20499206 markings, 24137630 edges, 146084 markings/sec, 125 secs
lola: 21226706 markings, 24895753 edges, 145500 markings/sec, 130 secs
lola: 21956483 markings, 25655408 edges, 145955 markings/sec, 135 secs
lola: 22684852 markings, 26424159 edges, 145674 markings/sec, 140 secs
lola: 23408059 markings, 27246881 edges, 144641 markings/sec, 145 secs
lola: 24120632 markings, 28096142 edges, 142515 markings/sec, 150 secs
lola: 24834486 markings, 28855952 edges, 142771 markings/sec, 155 secs
lola: 25541697 markings, 29601677 edges, 141442 markings/sec, 160 secs
lola: 26260066 markings, 30372912 edges, 143674 markings/sec, 165 secs
lola: 26980557 markings, 31223400 edges, 144098 markings/sec, 170 secs
lola: 27700726 markings, 31996104 edges, 144034 markings/sec, 175 secs
lola: 28484906 markings, 32863033 edges, 156836 markings/sec, 180 secs
lola: 29264043 markings, 33708665 edges, 155827 markings/sec, 185 secs
lola: 30006779 markings, 34479250 edges, 148547 markings/sec, 190 secs
lola: 30739498 markings, 35259615 edges, 146544 markings/sec, 195 secs
lola: 31459226 markings, 36029881 edges, 143946 markings/sec, 200 secs
lola: 32187647 markings, 36808889 edges, 145684 markings/sec, 205 secs
lola: 32974431 markings, 37651850 edges, 157357 markings/sec, 210 secs
lola: 33665825 markings, 38401815 edges, 138279 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(p320)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 1043353 markings, 1167158 edges, 208671 markings/sec, 0 secs
lola: 2054234 markings, 2343943 edges, 202176 markings/sec, 5 secs
lola: 3022131 markings, 3500693 edges, 193579 markings/sec, 10 secs
lola: 4044868 markings, 4644864 edges, 204547 markings/sec, 15 secs
lola: 4839960 markings, 5860561 edges, 159018 markings/sec, 20 secs
lola: 5348180 markings, 7032020 edges, 101644 markings/sec, 25 secs
lola: 5991880 markings, 8088146 edges, 128740 markings/sec, 30 secs
lola: 7111955 markings, 9331059 edges, 224015 markings/sec, 35 secs
lola: 8056502 markings, 10534217 edges, 188909 markings/sec, 40 secs
lola: 8774088 markings, 11670396 edges, 143517 markings/sec, 45 secs
lola: 9381691 markings, 12843880 edges, 121521 markings/sec, 50 secs
lola: 9954260 markings, 13924358 edges, 114514 markings/sec, 55 secs
lola: 10529024 markings, 15041304 edges, 114953 markings/sec, 60 secs
lola: 11062786 markings, 16123181 edges, 106752 markings/sec, 65 secs
lola: 11762879 markings, 17270215 edges, 140019 markings/sec, 70 secs
lola: 12776427 markings, 18494574 edges, 202710 markings/sec, 75 secs
lola: 13789129 markings, 19707507 edges, 202540 markings/sec, 80 secs
lola: 14731085 markings, 20865980 edges, 188391 markings/sec, 85 secs
lola: 15609937 markings, 21984424 edges, 175770 markings/sec, 90 secs
lola: 16525018 markings, 23150415 edges, 183016 markings/sec, 95 secs
lola: 17413185 markings, 24267428 edges, 177633 markings/sec, 100 secs
lola: 18304256 markings, 25375607 edges, 178214 markings/sec, 105 secs
lola: 19208298 markings, 26470796 edges, 180808 markings/sec, 110 secs
lola: 20258037 markings, 27715625 edges, 209948 markings/sec, 115 secs
lola: 20749052 markings, 28896793 edges, 98203 markings/sec, 120 secs
lola: 21384586 markings, 30020208 edges, 127107 markings/sec, 125 secs
lola: 22259401 markings, 31148381 edges, 174963 markings/sec, 130 secs
lola: 23333306 markings, 32368249 edges, 214781 markings/sec, 135 secs
lola: 24182932 markings, 33567412 edges, 169925 markings/sec, 140 secs
lola: 24615532 markings, 34684870 edges, 86520 markings/sec, 145 secs
lola: 25142436 markings, 35782053 edges, 105381 markings/sec, 150 secs
lola: 25736657 markings, 36869493 edges, 118844 markings/sec, 155 secs
lola: 26288260 markings, 37928203 edges, 110321 markings/sec, 160 secs
lola: 27257712 markings, 39098612 edges, 193890 markings/sec, 165 secs
lola: 28143345 markings, 40216472 edges, 177127 markings/sec, 170 secs
lola: 29055383 markings, 41378509 edges, 182408 markings/sec, 175 secs
lola: 29939805 markings, 42492197 edges, 176884 markings/sec, 180 secs
lola: 30825200 markings, 43593580 edges, 177079 markings/sec, 185 secs
lola: 31732477 markings, 44688154 edges, 181455 markings/sec, 190 secs
lola: 32763558 markings, 45924479 edges, 206216 markings/sec, 195 secs
lola: 33250916 markings, 47099094 edges, 97472 markings/sec, 200 secs
lola: 33885899 markings, 48213986 edges, 126997 markings/sec, 205 secs
lola: 34757059 markings, 49338133 edges, 174232 markings/sec, 210 secs
lola: 35832236 markings, 50559360 edges, 215035 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p352)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 949644 markings, 1091236 edges, 189929 markings/sec, 0 secs
lola: 1783852 markings, 2161858 edges, 166842 markings/sec, 5 secs
lola: 2653361 markings, 3240470 edges, 173902 markings/sec, 10 secs
lola: 3620753 markings, 4351157 edges, 193478 markings/sec, 15 secs
lola: 4101099 markings, 5535122 edges, 96069 markings/sec, 20 secs
lola: 4646823 markings, 6579572 edges, 109145 markings/sec, 25 secs
lola: 5381382 markings, 7633115 edges, 146912 markings/sec, 30 secs
lola: 6349059 markings, 8784163 edges, 193535 markings/sec, 35 secs
lola: 7084521 markings, 9849350 edges, 147092 markings/sec, 40 secs
lola: 7647512 markings, 11007683 edges, 112598 markings/sec, 45 secs
lola: 8149796 markings, 12110360 edges, 100457 markings/sec, 50 secs
lola: 8650559 markings, 13173214 edges, 100153 markings/sec, 55 secs
lola: 9157731 markings, 14236711 edges, 101434 markings/sec, 60 secs
lola: 9673705 markings, 15307781 edges, 103195 markings/sec, 65 secs
lola: 10364989 markings, 16418981 edges, 138257 markings/sec, 70 secs
lola: 11239751 markings, 17548878 edges, 174952 markings/sec, 75 secs
lola: 12123917 markings, 18671841 edges, 176833 markings/sec, 80 secs
lola: 13032029 markings, 19779767 edges, 181622 markings/sec, 85 secs
lola: 13884890 markings, 20864613 edges, 170572 markings/sec, 90 secs
lola: 14803953 markings, 21994404 edges, 183813 markings/sec, 95 secs
lola: 15658197 markings, 23085062 edges, 170849 markings/sec, 100 secs
lola: 16512055 markings, 24151837 edges, 170772 markings/sec, 105 secs
lola: 17361421 markings, 25210074 edges, 169873 markings/sec, 110 secs
lola: 18224836 markings, 26273158 edges, 172683 markings/sec, 115 secs
lola: 19089633 markings, 27325057 edges, 172959 markings/sec, 120 secs
lola: 19994218 markings, 28478406 edges, 180917 markings/sec, 125 secs
lola: 20475042 markings, 29653887 edges, 96165 markings/sec, 130 secs
lola: 21079708 markings, 30753668 edges, 120933 markings/sec, 135 secs
lola: 21881710 markings, 31819571 edges, 160400 markings/sec, 140 secs
lola: 22845063 markings, 32964852 edges, 192671 markings/sec, 145 secs
lola: 23465217 markings, 34109747 edges, 124031 markings/sec, 150 secs
lola: 23876179 markings, 35210985 edges, 82192 markings/sec, 155 secs
lola: 24399473 markings, 36311994 edges, 104659 markings/sec, 160 secs
lola: 24950098 markings, 37395439 edges, 110125 markings/sec, 165 secs
lola: 25456071 markings, 38437308 edges, 101195 markings/sec, 170 secs
lola: 26301377 markings, 39552985 edges, 169061 markings/sec, 175 secs
lola: 27186483 markings, 40644643 edges, 177021 markings/sec, 180 secs
lola: 28059035 markings, 41723357 edges, 174510 markings/sec, 185 secs
lola: 28934352 markings, 42837993 edges, 175063 markings/sec, 190 secs
lola: 29783268 markings, 43916443 edges, 169783 markings/sec, 195 secs
lola: 30635317 markings, 44976355 edges, 170410 markings/sec, 200 secs
lola: 31485730 markings, 46027644 edges, 170083 markings/sec, 205 secs
lola: 32333006 markings, 47070471 edges, 169455 markings/sec, 210 secs
lola: 33284234 markings, 48151150 edges, 190246 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(p72)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 836464 markings, 989807 edges, 167293 markings/sec, 0 secs
lola: 1718161 markings, 2095359 edges, 176339 markings/sec, 5 secs
lola: 2601620 markings, 3207810 edges, 176692 markings/sec, 10 secs
lola: 3481949 markings, 4310849 edges, 176066 markings/sec, 15 secs
lola: 4373919 markings, 5436629 edges, 178394 markings/sec, 20 secs
lola: 5233605 markings, 6502070 edges, 171937 markings/sec, 25 secs
lola: 5977793 markings, 7311672 edges, 148838 markings/sec, 30 secs
lola: 6690027 markings, 8059499 edges, 142447 markings/sec, 35 secs
lola: 7393499 markings, 8798947 edges, 140694 markings/sec, 40 secs
lola: 8110226 markings, 9557164 edges, 143345 markings/sec, 45 secs
lola: 8823052 markings, 10320277 edges, 142565 markings/sec, 50 secs
lola: 9548854 markings, 11218612 edges, 145160 markings/sec, 55 secs
lola: 10259691 markings, 12080716 edges, 142167 markings/sec, 60 secs
lola: 10945592 markings, 12834075 edges, 137180 markings/sec, 65 secs
lola: 11633169 markings, 13568373 edges, 137515 markings/sec, 70 secs
lola: 12351078 markings, 14447093 edges, 143582 markings/sec, 75 secs
lola: 13043702 markings, 15236077 edges, 138525 markings/sec, 80 secs
lola: 13761736 markings, 16044851 edges, 143607 markings/sec, 85 secs
lola: 14560579 markings, 16924518 edges, 159769 markings/sec, 90 secs
lola: 15280202 markings, 17706978 edges, 143925 markings/sec, 95 secs
lola: 16003967 markings, 18460062 edges, 144753 markings/sec, 100 secs
lola: 16731812 markings, 19217797 edges, 145569 markings/sec, 105 secs
lola: 17452779 markings, 19968339 edges, 144193 markings/sec, 110 secs
lola: 18177337 markings, 20737034 edges, 144912 markings/sec, 115 secs
lola: 18904032 markings, 21590851 edges, 145339 markings/sec, 120 secs
lola: 19611457 markings, 22412148 edges, 141485 markings/sec, 125 secs
lola: 20327749 markings, 23167789 edges, 143258 markings/sec, 130 secs
lola: 21036950 markings, 23915496 edges, 141840 markings/sec, 135 secs
lola: 21756482 markings, 24708152 edges, 143906 markings/sec, 140 secs
lola: 22479598 markings, 25546014 edges, 144623 markings/sec, 145 secs
lola: 23193184 markings, 26309914 edges, 142717 markings/sec, 150 secs
lola: 23986616 markings, 27191393 edges, 158686 markings/sec, 155 secs
lola: 24753151 markings, 28013263 edges, 153307 markings/sec, 160 secs
lola: 25490585 markings, 28778605 edges, 147487 markings/sec, 165 secs
lola: 26211682 markings, 29558731 edges, 144219 markings/sec, 170 secs
lola: 26930345 markings, 30321125 edges, 143733 markings/sec, 175 secs
lola: 27651953 markings, 31091997 edges, 144322 markings/sec, 180 secs
lola: 28430303 markings, 31924102 edges, 155670 markings/sec, 185 secs
lola: 29107120 markings, 32665421 edges, 135363 markings/sec, 190 secs
lola: 29774550 markings, 33402991 edges, 133486 markings/sec, 195 secs
lola: 30535736 markings, 34188124 edges, 152237 markings/sec, 200 secs
lola: 31260801 markings, 34934821 edges, 145013 markings/sec, 205 secs
lola: 31981868 markings, 35678479 edges, 144213 markings/sec, 210 secs
lola: 32702778 markings, 36483986 edges, 144182 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 unknownlola:
caught signal User defined signal 1 - aborting LoLA
FORMULA DES-PT-40b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496458645434

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_DES-PT-40b"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/S_DES-PT-40b.tgz
mv S_DES-PT-40b execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_DES-PT-40b, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r098-ebro-149488455700308"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;