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

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

=== Now, execution of the tool begins

BK_START 1496450936312


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


checking for too many tokens
===========================================================================================
S_DES-PT-10a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_DES-PT-10a @ 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: 267/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 155 places, 112 transitions, 96 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 137 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-10a-UpperBounds.task
lola: MAX(p85) : MAX(p124) : MAX(p117) : MAX(p82) : MAX(p68) : MAX(p48) : MAX(p89) : MAX(p141) : MAX(p26) : MAX(p88) : MAX(p58) : MAX(p122) : MAX(p49) : MAX(p50) : MAX(p94) : MAX(p99)
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(p85)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1545832 markings, 2134696 edges, 309166 markings/sec, 0 secs
lola: 3071826 markings, 4242407 edges, 305199 markings/sec, 5 secs
lola: 4573335 markings, 6331624 edges, 300302 markings/sec, 10 secs
lola: 6052641 markings, 8397296 edges, 295861 markings/sec, 15 secs
lola: 7519184 markings, 10443791 edges, 293309 markings/sec, 20 secs
lola: 8972205 markings, 12478442 edges, 290604 markings/sec, 25 secs
lola: 10480626 markings, 14565233 edges, 301684 markings/sec, 30 secs
lola: 11844679 markings, 16607084 edges, 272811 markings/sec, 35 secs
lola: 13368110 markings, 18658058 edges, 304686 markings/sec, 40 secs
lola: 14818894 markings, 20660374 edges, 290157 markings/sec, 45 secs
lola: 16234261 markings, 22609671 edges, 283073 markings/sec, 50 secs
lola: 17681903 markings, 24608402 edges, 289528 markings/sec, 55 secs
lola: 19015043 markings, 26523333 edges, 266628 markings/sec, 60 secs
lola: 20446693 markings, 28510233 edges, 286330 markings/sec, 65 secs
lola: 21860364 markings, 30484846 edges, 282734 markings/sec, 70 secs
lola: 23151765 markings, 32347989 edges, 258280 markings/sec, 75 secs
lola: 24421332 markings, 34169056 edges, 253913 markings/sec, 80 secs
lola: 25832259 markings, 36145566 edges, 282185 markings/sec, 85 secs
lola: 27207107 markings, 38067449 edges, 274970 markings/sec, 90 secs
lola: 28471843 markings, 39930582 edges, 252947 markings/sec, 95 secs
lola: 29864444 markings, 41864128 edges, 278520 markings/sec, 100 secs
lola: 31300210 markings, 43894539 edges, 287153 markings/sec, 105 secs
lola: 32637396 markings, 45803784 edges, 267437 markings/sec, 110 secs
lola: 33929472 markings, 47683647 edges, 258415 markings/sec, 115 secs
lola: 35361523 markings, 49678187 edges, 286410 markings/sec, 120 secs
lola: 36739319 markings, 51620412 edges, 275559 markings/sec, 125 secs
lola: 38060781 markings, 53530840 edges, 264292 markings/sec, 130 secs
lola: 39355927 markings, 55379326 edges, 259029 markings/sec, 135 secs
lola: 40741791 markings, 57335106 edges, 277173 markings/sec, 140 secs
lola: 42110676 markings, 59247179 edges, 273777 markings/sec, 145 secs
lola: 43402192 markings, 61092043 edges, 258303 markings/sec, 150 secs
lola: 44682865 markings, 62935918 edges, 256135 markings/sec, 155 secs
lola: 45914667 markings, 64771674 edges, 246360 markings/sec, 160 secs
lola: 47239086 markings, 66563097 edges, 264884 markings/sec, 165 secs
lola: 48592178 markings, 68384886 edges, 270618 markings/sec, 170 secs
lola: 49832119 markings, 70130965 edges, 247988 markings/sec, 175 secs
lola: 51158359 markings, 71946527 edges, 265248 markings/sec, 180 secs
lola: 52478085 markings, 73744819 edges, 263945 markings/sec, 185 secs
lola: 53694688 markings, 75480096 edges, 243321 markings/sec, 190 secs
lola: 54900141 markings, 77206307 edges, 241091 markings/sec, 195 secs
lola: 56244756 markings, 79055423 edges, 268923 markings/sec, 200 secs
lola: 57548232 markings, 80872943 edges, 260695 markings/sec, 205 secs
lola: 58808390 markings, 82624318 edges, 252032 markings/sec, 210 secs
lola: 59959277 markings, 84315764 edges, 230177 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(p124)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1228654 markings, 2355706 edges, 245731 markings/sec, 0 secs
lola: 2421848 markings, 4526374 edges, 238639 markings/sec, 5 secs
lola: 3612769 markings, 6705327 edges, 238184 markings/sec, 10 secs
lola: 4725742 markings, 8802311 edges, 222595 markings/sec, 15 secs
lola: 5849804 markings, 10908337 edges, 224812 markings/sec, 20 secs
lola: 6918941 markings, 12971958 edges, 213827 markings/sec, 25 secs
lola: 8017577 markings, 15022406 edges, 219727 markings/sec, 30 secs
lola: 9055467 markings, 17073461 edges, 207578 markings/sec, 35 secs
lola: 10169217 markings, 19170996 edges, 222750 markings/sec, 40 secs
lola: 11232870 markings, 21223398 edges, 212731 markings/sec, 45 secs
lola: 12355218 markings, 23364277 edges, 224470 markings/sec, 50 secs
lola: 13463040 markings, 25471889 edges, 221564 markings/sec, 55 secs
lola: 14590193 markings, 27638449 edges, 225431 markings/sec, 60 secs
lola: 15763696 markings, 29844267 edges, 234701 markings/sec, 65 secs
lola: 16845566 markings, 31941374 edges, 216374 markings/sec, 70 secs
lola: 17811010 markings, 34094238 edges, 193089 markings/sec, 75 secs
lola: 18950152 markings, 36277771 edges, 227828 markings/sec, 80 secs
lola: 20113557 markings, 38374749 edges, 232681 markings/sec, 85 secs
lola: 21296440 markings, 40477861 edges, 236577 markings/sec, 90 secs
lola: 22407329 markings, 42522033 edges, 222178 markings/sec, 95 secs
lola: 23458079 markings, 44583982 edges, 210150 markings/sec, 100 secs
lola: 24563187 markings, 46628255 edges, 221022 markings/sec, 105 secs
lola: 25752160 markings, 48793897 edges, 237795 markings/sec, 110 secs
lola: 26817886 markings, 50813454 edges, 213145 markings/sec, 115 secs
lola: 27836920 markings, 52810043 edges, 203807 markings/sec, 120 secs
lola: 28837077 markings, 54830731 edges, 200031 markings/sec, 125 secs
lola: 29946740 markings, 56887831 edges, 221933 markings/sec, 130 secs
lola: 31076533 markings, 59053507 edges, 225959 markings/sec, 135 secs
lola: 32216406 markings, 61159709 edges, 227975 markings/sec, 140 secs
lola: 33300404 markings, 63202888 edges, 216800 markings/sec, 145 secs
lola: 34311568 markings, 65240174 edges, 202233 markings/sec, 150 secs
lola: 35277993 markings, 67234295 edges, 193285 markings/sec, 155 secs
lola: 36274657 markings, 69256556 edges, 199333 markings/sec, 160 secs
lola: 37387973 markings, 71330127 edges, 222663 markings/sec, 165 secs
lola: 38492458 markings, 73482961 edges, 220897 markings/sec, 170 secs
lola: 39551505 markings, 75543184 edges, 211809 markings/sec, 175 secs
lola: 40613220 markings, 77535944 edges, 212343 markings/sec, 180 secs
lola: 41638861 markings, 79581133 edges, 205128 markings/sec, 185 secs
lola: 42604571 markings, 81545563 edges, 193142 markings/sec, 190 secs
lola: 43564252 markings, 83515102 edges, 191936 markings/sec, 195 secs
lola: 44653164 markings, 85561007 edges, 217782 markings/sec, 200 secs
lola: 45718117 markings, 87634942 edges, 212991 markings/sec, 205 secs
lola: 46754147 markings, 89705675 edges, 207206 markings/sec, 210 secs
lola: 47853954 markings, 91755000 edges, 219961 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(p117)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1226922 markings, 2324892 edges, 245384 markings/sec, 0 secs
lola: 2428179 markings, 4496636 edges, 240251 markings/sec, 5 secs
lola: 3634601 markings, 6681980 edges, 241284 markings/sec, 10 secs
lola: 4784483 markings, 8845428 edges, 229976 markings/sec, 15 secs
lola: 5967828 markings, 11032963 edges, 236669 markings/sec, 20 secs
lola: 7092594 markings, 13164136 edges, 224953 markings/sec, 25 secs
lola: 8241266 markings, 15328797 edges, 229734 markings/sec, 30 secs
lola: 9342228 markings, 17427930 edges, 220192 markings/sec, 35 secs
lola: 10488772 markings, 19567396 edges, 229309 markings/sec, 40 secs
lola: 11562469 markings, 21648288 edges, 214739 markings/sec, 45 secs
lola: 12723750 markings, 23782781 edges, 232256 markings/sec, 50 secs
lola: 13798738 markings, 25868424 edges, 214998 markings/sec, 55 secs
lola: 14947011 markings, 28058816 edges, 229655 markings/sec, 60 secs
lola: 16112686 markings, 30228792 edges, 233135 markings/sec, 65 secs
lola: 17190315 markings, 32342104 edges, 215526 markings/sec, 70 secs
lola: 18144649 markings, 34476418 edges, 190867 markings/sec, 75 secs
lola: 19383988 markings, 36654855 edges, 247868 markings/sec, 80 secs
lola: 20514902 markings, 38753354 edges, 226183 markings/sec, 85 secs
lola: 21747661 markings, 40881258 edges, 246552 markings/sec, 90 secs
lola: 22817039 markings, 42910921 edges, 213876 markings/sec, 95 secs
lola: 23931368 markings, 44989994 edges, 222866 markings/sec, 100 secs
lola: 25068189 markings, 47117019 edges, 227364 markings/sec, 105 secs
lola: 26231344 markings, 49186780 edges, 232631 markings/sec, 110 secs
lola: 27306406 markings, 51255937 edges, 215012 markings/sec, 115 secs
lola: 28329044 markings, 53277284 edges, 204528 markings/sec, 120 secs
lola: 29401891 markings, 55347253 edges, 214569 markings/sec, 125 secs
lola: 30525354 markings, 57412788 edges, 224693 markings/sec, 130 secs
lola: 31648479 markings, 59545660 edges, 224625 markings/sec, 135 secs
lola: 32774268 markings, 61603248 edges, 225158 markings/sec, 140 secs
lola: 33849831 markings, 63675942 edges, 215113 markings/sec, 145 secs
lola: 34845155 markings, 65657686 edges, 199065 markings/sec, 150 secs
lola: 35822871 markings, 67627541 edges, 195543 markings/sec, 155 secs
lola: 36897366 markings, 69666252 edges, 214899 markings/sec, 160 secs
lola: 37993927 markings, 71728968 edges, 219312 markings/sec, 165 secs
lola: 39046923 markings, 73824441 edges, 210599 markings/sec, 170 secs
lola: 40161695 markings, 75874384 edges, 222954 markings/sec, 175 secs
lola: 41192687 markings, 77851199 edges, 206198 markings/sec, 180 secs
lola: 42174101 markings, 79794120 edges, 196283 markings/sec, 185 secs
lola: 43118766 markings, 81723235 edges, 188933 markings/sec, 190 secs
lola: 44115435 markings, 83708839 edges, 199334 markings/sec, 195 secs
lola: 45190669 markings, 85712881 edges, 215047 markings/sec, 200 secs
lola: 46280880 markings, 87812117 edges, 218042 markings/sec, 205 secs
lola: 47341937 markings, 89851630 edges, 212211 markings/sec, 210 secs
lola: 48393379 markings, 91825388 edges, 210288 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(p82)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1556306 markings, 2148152 edges, 311261 markings/sec, 0 secs
lola: 3113734 markings, 4295095 edges, 311486 markings/sec, 5 secs
lola: 4664604 markings, 6451771 edges, 310174 markings/sec, 10 secs
lola: 6185078 markings, 8576867 edges, 304095 markings/sec, 15 secs
lola: 7693131 markings, 10685661 edges, 301611 markings/sec, 20 secs
lola: 9198370 markings, 12789052 edges, 301048 markings/sec, 25 secs
lola: 10730893 markings, 14920619 edges, 306505 markings/sec, 30 secs
lola: 12164961 markings, 17034550 edges, 286814 markings/sec, 35 secs
lola: 13717790 markings, 19131518 edges, 310566 markings/sec, 40 secs
lola: 15190860 markings, 21174627 edges, 294614 markings/sec, 45 secs
lola: 16695733 markings, 23240594 edges, 300975 markings/sec, 50 secs
lola: 18140804 markings, 25267080 edges, 289014 markings/sec, 55 secs
lola: 19515570 markings, 27236436 edges, 274953 markings/sec, 60 secs
lola: 21010446 markings, 29299994 edges, 298975 markings/sec, 65 secs
lola: 22449853 markings, 31309750 edges, 287881 markings/sec, 70 secs
lola: 23739010 markings, 33213599 edges, 257831 markings/sec, 75 secs
lola: 25178634 markings, 35216630 edges, 287925 markings/sec, 80 secs
lola: 26627768 markings, 37250936 edges, 289827 markings/sec, 85 secs
lola: 27989980 markings, 39216232 edges, 272442 markings/sec, 90 secs
lola: 29341005 markings, 41160862 edges, 270205 markings/sec, 95 secs
lola: 30797353 markings, 43199218 edges, 291270 markings/sec, 100 secs
lola: 32215474 markings, 45187170 edges, 283624 markings/sec, 105 secs
lola: 33519998 markings, 47109294 edges, 260905 markings/sec, 110 secs
lola: 34951580 markings, 49092358 edges, 286316 markings/sec, 115 secs
lola: 36396154 markings, 51120782 edges, 288915 markings/sec, 120 secs
lola: 37740079 markings, 53065161 edges, 268785 markings/sec, 125 secs
lola: 39080598 markings, 55002773 edges, 268104 markings/sec, 130 secs
lola: 40541417 markings, 57059863 edges, 292164 markings/sec, 135 secs
lola: 42014399 markings, 59109219 edges, 294596 markings/sec, 140 secs
lola: 43410485 markings, 61103292 edges, 279217 markings/sec, 145 secs
lola: 44786546 markings, 63077511 edges, 275212 markings/sec, 150 secs
lola: 46162342 markings, 65098711 edges, 275159 markings/sec, 155 secs
lola: 47622283 markings, 67074426 edges, 291988 markings/sec, 160 secs
lola: 49052327 markings, 69032203 edges, 286009 markings/sec, 165 secs
lola: 50411959 markings, 70926243 edges, 271926 markings/sec, 170 secs
lola: 51844358 markings, 72882946 edges, 286480 markings/sec, 175 secs
lola: 53226171 markings, 74797960 edges, 276363 markings/sec, 180 secs
lola: 54519113 markings, 76663440 edges, 258588 markings/sec, 185 secs
lola: 55906488 markings, 78578530 edges, 277475 markings/sec, 190 secs
lola: 57286737 markings, 80520979 edges, 276050 markings/sec, 195 secs
lola: 58655279 markings, 82413701 edges, 273708 markings/sec, 200 secs
lola: 59946094 markings, 84296343 edges, 258163 markings/sec, 205 secs
lola: 61249525 markings, 86156978 edges, 260686 markings/sec, 210 secs
lola: 62665967 markings, 88122022 edges, 283288 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(p68)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1057836 markings, 2373327 edges, 211567 markings/sec, 0 secs
lola: 2010426 markings, 4617281 edges, 190518 markings/sec, 5 secs
lola: 2977525 markings, 6852159 edges, 193420 markings/sec, 10 secs
lola: 3907156 markings, 9054976 edges, 185926 markings/sec, 15 secs
lola: 4870398 markings, 11283872 edges, 192648 markings/sec, 20 secs
lola: 5785087 markings, 13459116 edges, 182938 markings/sec, 25 secs
lola: 6738387 markings, 15665504 edges, 190660 markings/sec, 30 secs
lola: 7660312 markings, 17842846 edges, 184385 markings/sec, 35 secs
lola: 8598319 markings, 20009791 edges, 187601 markings/sec, 40 secs
lola: 9497008 markings, 22160988 edges, 179738 markings/sec, 45 secs
lola: 10408058 markings, 24348292 edges, 182210 markings/sec, 50 secs
lola: 11296173 markings, 26519300 edges, 177623 markings/sec, 55 secs
lola: 12234076 markings, 28745895 edges, 187581 markings/sec, 60 secs
lola: 13156202 markings, 30932071 edges, 184425 markings/sec, 65 secs
lola: 14112237 markings, 33187673 edges, 191207 markings/sec, 70 secs
lola: 15016113 markings, 35524619 edges, 180775 markings/sec, 75 secs
lola: 15897645 markings, 37799229 edges, 176306 markings/sec, 80 secs
lola: 16796451 markings, 40044449 edges, 179761 markings/sec, 85 secs
lola: 17685126 markings, 42286595 edges, 177735 markings/sec, 90 secs
lola: 18548543 markings, 44487683 edges, 172683 markings/sec, 95 secs
lola: 19420516 markings, 46706050 edges, 174395 markings/sec, 100 secs
lola: 20307829 markings, 48919310 edges, 177463 markings/sec, 105 secs
lola: 21171942 markings, 51163780 edges, 172823 markings/sec, 110 secs
lola: 22195534 markings, 53501921 edges, 204718 markings/sec, 115 secs
lola: 23171331 markings, 55786796 edges, 195159 markings/sec, 120 secs
lola: 24073302 markings, 57958715 edges, 180394 markings/sec, 125 secs
lola: 24986029 markings, 60098696 edges, 182545 markings/sec, 130 secs
lola: 25924647 markings, 62271902 edges, 187724 markings/sec, 135 secs
lola: 26851908 markings, 64447405 edges, 185452 markings/sec, 140 secs
lola: 27711235 markings, 66556052 edges, 171865 markings/sec, 145 secs
lola: 28619562 markings, 68673848 edges, 181665 markings/sec, 150 secs
lola: 29543641 markings, 70828609 edges, 184816 markings/sec, 155 secs
lola: 30465825 markings, 72979131 edges, 184437 markings/sec, 160 secs
lola: 31318649 markings, 75072550 edges, 170565 markings/sec, 165 secs
lola: 32214550 markings, 77161992 edges, 179180 markings/sec, 170 secs
lola: 33124072 markings, 79284735 edges, 181904 markings/sec, 175 secs
lola: 34038907 markings, 81415451 edges, 182967 markings/sec, 180 secs
lola: 34884684 markings, 83492754 edges, 169155 markings/sec, 185 secs
lola: 35774682 markings, 85565549 edges, 178000 markings/sec, 190 secs
lola: 36678681 markings, 87666400 edges, 180800 markings/sec, 195 secs
lola: 37550152 markings, 89768175 edges, 174294 markings/sec, 200 secs
lola: 38407059 markings, 91824029 edges, 171381 markings/sec, 205 secs
lola: 39315823 markings, 93947781 edges, 181753 markings/sec, 210 secs
lola: 40161007 markings, 96059975 edges, 169037 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(p48)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 871453 markings, 2612000 edges, 174291 markings/sec, 0 secs
lola: 1727334 markings, 5142125 edges, 171176 markings/sec, 5 secs
lola: 2558863 markings, 7615277 edges, 166306 markings/sec, 10 secs
lola: 3322095 markings, 10027748 edges, 152646 markings/sec, 15 secs
lola: 4194781 markings, 12544550 edges, 174537 markings/sec, 20 secs
lola: 5015846 markings, 14937733 edges, 164213 markings/sec, 25 secs
lola: 5791669 markings, 17315395 edges, 155165 markings/sec, 30 secs
lola: 6524672 markings, 19606729 edges, 146601 markings/sec, 35 secs
lola: 7303815 markings, 22083253 edges, 155829 markings/sec, 40 secs
lola: 8135324 markings, 24513164 edges, 166302 markings/sec, 45 secs
lola: 8942739 markings, 26856230 edges, 161483 markings/sec, 50 secs
lola: 9705966 markings, 29204956 edges, 152645 markings/sec, 55 secs
lola: 10453537 markings, 31532370 edges, 149514 markings/sec, 60 secs
lola: 11208907 markings, 33864078 edges, 151074 markings/sec, 65 secs
lola: 12003819 markings, 36371975 edges, 158982 markings/sec, 70 secs
lola: 12832278 markings, 38734759 edges, 165692 markings/sec, 75 secs
lola: 13587224 markings, 41080536 edges, 150989 markings/sec, 80 secs
lola: 14342332 markings, 43412913 edges, 151022 markings/sec, 85 secs
lola: 15064783 markings, 45648890 edges, 144490 markings/sec, 90 secs
lola: 15832941 markings, 48118580 edges, 153632 markings/sec, 95 secs
lola: 16653364 markings, 50521006 edges, 164085 markings/sec, 100 secs
lola: 17453639 markings, 52837465 edges, 160055 markings/sec, 105 secs
lola: 18204975 markings, 55162432 edges, 150267 markings/sec, 110 secs
lola: 18942290 markings, 57478408 edges, 147463 markings/sec, 115 secs
lola: 19682297 markings, 59753408 edges, 148001 markings/sec, 120 secs
lola: 20459653 markings, 62243202 edges, 155471 markings/sec, 125 secs
lola: 21295411 markings, 64669476 edges, 167152 markings/sec, 130 secs
lola: 22132543 markings, 67186683 edges, 167426 markings/sec, 135 secs
lola: 22920096 markings, 69654924 edges, 157511 markings/sec, 140 secs
lola: 23714034 markings, 72123376 edges, 158788 markings/sec, 145 secs
lola: 24573545 markings, 74559837 edges, 171902 markings/sec, 150 secs
lola: 25310078 markings, 76962807 edges, 147307 markings/sec, 155 secs
lola: 26135312 markings, 79393779 edges, 165047 markings/sec, 160 secs
lola: 26883377 markings, 81784459 edges, 149613 markings/sec, 165 secs
lola: 27593836 markings, 84101070 edges, 142092 markings/sec, 170 secs
lola: 28443818 markings, 86600504 edges, 169996 markings/sec, 175 secs
lola: 29291040 markings, 88975832 edges, 169444 markings/sec, 180 secs
lola: 30065252 markings, 91301928 edges, 154842 markings/sec, 185 secs
lola: 30818402 markings, 93670459 edges, 150630 markings/sec, 190 secs
lola: 31565072 markings, 96045963 edges, 149334 markings/sec, 195 secs
lola: 32362859 markings, 98409890 edges, 159557 markings/sec, 200 secs
lola: 33112023 markings, 100737266 edges, 149833 markings/sec, 205 secs
lola: 33827308 markings, 103033900 edges, 143057 markings/sec, 210 secs
lola: 34526174 markings, 105275443 edges, 139773 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(p89)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1667686 markings, 2303513 edges, 333537 markings/sec, 0 secs
lola: 3269590 markings, 4502742 edges, 320381 markings/sec, 5 secs
lola: 4819919 markings, 6664460 edges, 310066 markings/sec, 10 secs
lola: 6351518 markings, 8801700 edges, 306320 markings/sec, 15 secs
lola: 7872033 markings, 10920936 edges, 304103 markings/sec, 20 secs
lola: 9378589 markings, 13026925 edges, 301311 markings/sec, 25 secs
lola: 10900978 markings, 15156860 edges, 304478 markings/sec, 30 secs
lola: 12386884 markings, 17325860 edges, 297181 markings/sec, 35 secs
lola: 13949831 markings, 19444981 edges, 312589 markings/sec, 40 secs
lola: 15423376 markings, 21507561 edges, 294709 markings/sec, 45 secs
lola: 16968377 markings, 23612773 edges, 309000 markings/sec, 50 secs
lola: 18402609 markings, 25645351 edges, 286846 markings/sec, 55 secs
lola: 19823959 markings, 27645606 edges, 284270 markings/sec, 60 secs
lola: 21323162 markings, 29733281 edges, 299841 markings/sec, 65 secs
lola: 22741461 markings, 31744884 edges, 283660 markings/sec, 70 secs
lola: 24074836 markings, 33687113 edges, 266675 markings/sec, 75 secs
lola: 25543424 markings, 35725781 edges, 293718 markings/sec, 80 secs
lola: 26950351 markings, 37708926 edges, 281385 markings/sec, 85 secs
lola: 28306379 markings, 39683638 edges, 271206 markings/sec, 90 secs
lola: 29694956 markings, 41631142 edges, 277715 markings/sec, 95 secs
lola: 31136689 markings, 43668705 edges, 288347 markings/sec, 100 secs
lola: 32530228 markings, 45641431 edges, 278708 markings/sec, 105 secs
lola: 33839374 markings, 47554026 edges, 261829 markings/sec, 110 secs
lola: 35273465 markings, 49556965 edges, 286818 markings/sec, 115 secs
lola: 36680198 markings, 51534914 edges, 281347 markings/sec, 120 secs
lola: 38023526 markings, 53475529 edges, 268666 markings/sec, 125 secs
lola: 39368603 markings, 55397048 edges, 269015 markings/sec, 130 secs
lola: 40819439 markings, 57445720 edges, 290167 markings/sec, 135 secs
lola: 42235002 markings, 59430160 edges, 283113 markings/sec, 140 secs
lola: 43623358 markings, 61403114 edges, 277671 markings/sec, 145 secs
lola: 44954689 markings, 63360411 edges, 266266 markings/sec, 150 secs
lola: 46362246 markings, 65370314 edges, 281511 markings/sec, 155 secs
lola: 47815595 markings, 67333532 edges, 290670 markings/sec, 160 secs
lola: 49217480 markings, 69271609 edges, 280377 markings/sec, 165 secs
lola: 50605436 markings, 71186368 edges, 277591 markings/sec, 170 secs
lola: 52051500 markings, 73167079 edges, 289213 markings/sec, 175 secs
lola: 53427620 markings, 75096612 edges, 275224 markings/sec, 180 secs
lola: 54741186 markings, 76984020 edges, 262713 markings/sec, 185 secs
lola: 56148860 markings, 78923414 edges, 281535 markings/sec, 190 secs
lola: 57540571 markings, 80862358 edges, 278342 markings/sec, 195 secs
lola: 58916503 markings, 82776591 edges, 275186 markings/sec, 200 secs
lola: 60180136 markings, 84636634 edges, 252727 markings/sec, 205 secs
lola: 61523142 markings, 86525181 edges, 268601 markings/sec, 210 secs
lola: 62945943 markings, 88509706 edges, 284560 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(p141)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1202379 markings, 2361607 edges, 240476 markings/sec, 0 secs
lola: 2297693 markings, 4684209 edges, 219063 markings/sec, 5 secs
lola: 3312541 markings, 6911533 edges, 202970 markings/sec, 10 secs
lola: 4319715 markings, 9168312 edges, 201435 markings/sec, 15 secs
lola: 5248155 markings, 11358845 edges, 185688 markings/sec, 20 secs
lola: 6260845 markings, 13616364 edges, 202538 markings/sec, 25 secs
lola: 7179048 markings, 15794257 edges, 183641 markings/sec, 30 secs
lola: 8263762 markings, 18020197 edges, 216943 markings/sec, 35 secs
lola: 9378139 markings, 20235975 edges, 222875 markings/sec, 40 secs
lola: 10404144 markings, 22451413 edges, 205201 markings/sec, 45 secs
lola: 11502515 markings, 24670982 edges, 219674 markings/sec, 50 secs
lola: 12526311 markings, 26833102 edges, 204759 markings/sec, 55 secs
lola: 13483379 markings, 28977031 edges, 191414 markings/sec, 60 secs
lola: 14475984 markings, 31185705 edges, 198521 markings/sec, 65 secs
lola: 15489687 markings, 33345206 edges, 202741 markings/sec, 70 secs
lola: 16401181 markings, 35472457 edges, 182299 markings/sec, 75 secs
lola: 17343975 markings, 37582571 edges, 188559 markings/sec, 80 secs
lola: 18208492 markings, 39679156 edges, 172903 markings/sec, 85 secs
lola: 19025780 markings, 41740954 edges, 163458 markings/sec, 90 secs
lola: 19964516 markings, 43932206 edges, 187747 markings/sec, 95 secs
lola: 20908761 markings, 46026252 edges, 188849 markings/sec, 100 secs
lola: 21820053 markings, 48144292 edges, 182258 markings/sec, 105 secs
lola: 22706365 markings, 50234696 edges, 177262 markings/sec, 110 secs
lola: 23555365 markings, 52345133 edges, 169800 markings/sec, 115 secs
lola: 24298031 markings, 54301075 edges, 148533 markings/sec, 120 secs
lola: 25223827 markings, 56485963 edges, 185159 markings/sec, 125 secs
lola: 26162367 markings, 58573727 edges, 187708 markings/sec, 130 secs
lola: 27011432 markings, 60627674 edges, 169813 markings/sec, 135 secs
lola: 27938219 markings, 62745724 edges, 185357 markings/sec, 140 secs
lola: 28773948 markings, 64772093 edges, 167146 markings/sec, 145 secs
lola: 29577511 markings, 66805470 edges, 160713 markings/sec, 150 secs
lola: 30347736 markings, 68786917 edges, 154045 markings/sec, 155 secs
lola: 31272513 markings, 70972269 edges, 184955 markings/sec, 160 secs
lola: 32241514 markings, 73076817 edges, 193800 markings/sec, 165 secs
lola: 33153181 markings, 75136434 edges, 182333 markings/sec, 170 secs
lola: 34199353 markings, 77171139 edges, 209234 markings/sec, 175 secs
lola: 35182608 markings, 79207451 edges, 196651 markings/sec, 180 secs
lola: 36136606 markings, 81243605 edges, 190800 markings/sec, 185 secs
lola: 37122292 markings, 83217337 edges, 197137 markings/sec, 190 secs
lola: 38081681 markings, 85244277 edges, 191878 markings/sec, 195 secs
lola: 39023412 markings, 87257376 edges, 188346 markings/sec, 200 secs
lola: 39868936 markings, 89216917 edges, 169105 markings/sec, 205 secs
lola: 40813223 markings, 91265667 edges, 188857 markings/sec, 210 secs
lola: 41720991 markings, 93225374 edges, 181554 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(p26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1237816 markings, 2290001 edges, 247563 markings/sec, 0 secs
lola: 2339655 markings, 4570082 edges, 220368 markings/sec, 5 secs
lola: 3376460 markings, 6696781 edges, 207361 markings/sec, 10 secs
lola: 4507468 markings, 8850482 edges, 226202 markings/sec, 15 secs
lola: 5572434 markings, 10990925 edges, 212993 markings/sec, 20 secs
lola: 6717286 markings, 13208794 edges, 228970 markings/sec, 25 secs
lola: 7764609 markings, 15389117 edges, 209465 markings/sec, 30 secs
lola: 8814504 markings, 17565754 edges, 209979 markings/sec, 35 secs
lola: 9915318 markings, 19763621 edges, 220163 markings/sec, 40 secs
lola: 11061610 markings, 21812351 edges, 229258 markings/sec, 45 secs
lola: 12195391 markings, 23888276 edges, 226756 markings/sec, 50 secs
lola: 13236346 markings, 26006205 edges, 208191 markings/sec, 55 secs
lola: 14362412 markings, 28182434 edges, 225213 markings/sec, 60 secs
lola: 15386334 markings, 30305051 edges, 204784 markings/sec, 65 secs
lola: 16412456 markings, 32438634 edges, 205224 markings/sec, 70 secs
lola: 17481550 markings, 34579700 edges, 213819 markings/sec, 75 secs
lola: 18582298 markings, 36455520 edges, 220150 markings/sec, 80 secs
lola: 19679673 markings, 38470026 edges, 219475 markings/sec, 85 secs
lola: 20753163 markings, 40500932 edges, 214698 markings/sec, 90 secs
lola: 21783696 markings, 42601269 edges, 206107 markings/sec, 95 secs
lola: 22869498 markings, 44749297 edges, 217160 markings/sec, 100 secs
lola: 23893063 markings, 46855233 edges, 204713 markings/sec, 105 secs
lola: 24903054 markings, 48921530 edges, 201998 markings/sec, 110 secs
lola: 25980689 markings, 50938496 edges, 215527 markings/sec, 115 secs
lola: 27058176 markings, 52860463 edges, 215497 markings/sec, 120 secs
lola: 28157969 markings, 54875802 edges, 219959 markings/sec, 125 secs
lola: 29171025 markings, 56888145 edges, 202611 markings/sec, 130 secs
lola: 30244195 markings, 59005248 edges, 214634 markings/sec, 135 secs
lola: 31277277 markings, 61125642 edges, 206616 markings/sec, 140 secs
lola: 32294413 markings, 63202067 edges, 203427 markings/sec, 145 secs
lola: 33329894 markings, 65270683 edges, 207096 markings/sec, 150 secs
lola: 34393952 markings, 67244236 edges, 212812 markings/sec, 155 secs
lola: 35469163 markings, 69181106 edges, 215042 markings/sec, 160 secs
lola: 36575494 markings, 71201167 edges, 221266 markings/sec, 165 secs
lola: 37639989 markings, 73085870 edges, 212899 markings/sec, 170 secs
lola: 38678579 markings, 75098623 edges, 207718 markings/sec, 175 secs
lola: 39745169 markings, 77184826 edges, 213318 markings/sec, 180 secs
lola: 40785696 markings, 79286687 edges, 208105 markings/sec, 185 secs
lola: 41795763 markings, 81356748 edges, 202013 markings/sec, 190 secs
lola: 42807721 markings, 83394350 edges, 202392 markings/sec, 195 secs
lola: 43806227 markings, 85367362 edges, 199701 markings/sec, 200 secs
lola: 44845383 markings, 87478174 edges, 207831 markings/sec, 205 secs
lola: 45883222 markings, 89551292 edges, 207568 markings/sec, 210 secs
lola: 46866703 markings, 91613536 edges, 196696 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(p88)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1627182 markings, 2248242 edges, 325436 markings/sec, 0 secs
lola: 3181991 markings, 4385219 edges, 310962 markings/sec, 5 secs
lola: 4700588 markings, 6498724 edges, 303719 markings/sec, 10 secs
lola: 6194319 markings, 8589031 edges, 298746 markings/sec, 15 secs
lola: 7679426 markings, 10668465 edges, 297021 markings/sec, 20 secs
lola: 9163185 markings, 12738993 edges, 296752 markings/sec, 25 secs
lola: 10681175 markings, 14847133 edges, 303598 markings/sec, 30 secs
lola: 12107021 markings, 16956658 edges, 285169 markings/sec, 35 secs
lola: 13663257 markings, 19056653 edges, 311247 markings/sec, 40 secs
lola: 15143013 markings, 21105266 edges, 295951 markings/sec, 45 secs
lola: 16643698 markings, 23169222 edges, 300137 markings/sec, 50 secs
lola: 18099913 markings, 25205806 edges, 291243 markings/sec, 55 secs
lola: 19475889 markings, 27181658 edges, 275195 markings/sec, 60 secs
lola: 20948368 markings, 29216559 edges, 294496 markings/sec, 65 secs
lola: 22373924 markings, 31204647 edges, 285111 markings/sec, 70 secs
lola: 23680734 markings, 33131237 edges, 261362 markings/sec, 75 secs
lola: 25114288 markings, 35115799 edges, 286711 markings/sec, 80 secs
lola: 26551613 markings, 37139694 edges, 287465 markings/sec, 85 secs
lola: 27902829 markings, 39092118 edges, 270243 markings/sec, 90 secs
lola: 29246117 markings, 41030221 edges, 268658 markings/sec, 95 secs
lola: 30702846 markings, 43061728 edges, 291346 markings/sec, 100 secs
lola: 32109003 markings, 45035104 edges, 281231 markings/sec, 105 secs
lola: 33424618 markings, 46966856 edges, 263123 markings/sec, 110 secs
lola: 34828205 markings, 48916677 edges, 280717 markings/sec, 115 secs
lola: 36249121 markings, 50926898 edges, 284183 markings/sec, 120 secs
lola: 37611100 markings, 52869246 edges, 272396 markings/sec, 125 secs
lola: 38916864 markings, 54773366 edges, 261153 markings/sec, 130 secs
lola: 40357261 markings, 56790656 edges, 288079 markings/sec, 135 secs
lola: 41798778 markings, 58803971 edges, 288303 markings/sec, 140 secs
lola: 43194535 markings, 60779277 edges, 279151 markings/sec, 145 secs
lola: 44512404 markings, 62701276 edges, 263574 markings/sec, 150 secs
lola: 45844966 markings, 64681936 edges, 266512 markings/sec, 155 secs
lola: 47295655 markings, 66639026 edges, 290138 markings/sec, 160 secs
lola: 48756700 markings, 68606819 edges, 292209 markings/sec, 165 secs
lola: 50096383 markings, 70505989 edges, 267937 markings/sec, 170 secs
lola: 51523395 markings, 72455078 edges, 285402 markings/sec, 175 secs
lola: 52925348 markings, 74371217 edges, 280391 markings/sec, 180 secs
lola: 54213717 markings, 76235960 edges, 257674 markings/sec, 185 secs
lola: 55561714 markings, 78104555 edges, 269599 markings/sec, 190 secs
lola: 56974170 markings, 80075214 edges, 282491 markings/sec, 195 secs
lola: 58324900 markings, 81942648 edges, 270146 markings/sec, 200 secs
lola: 59606682 markings, 83795658 edges, 256356 markings/sec, 205 secs
lola: 60866512 markings, 85625378 edges, 251966 markings/sec, 210 secs
lola: 62256498 markings, 87532108 edges, 277997 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(p58)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1112729 markings, 2428755 edges, 222546 markings/sec, 0 secs
lola: 2140196 markings, 4735510 edges, 205493 markings/sec, 5 secs
lola: 3171169 markings, 7056177 edges, 206195 markings/sec, 10 secs
lola: 4116592 markings, 9202066 edges, 189085 markings/sec, 15 secs
lola: 5042217 markings, 11579060 edges, 185125 markings/sec, 20 secs
lola: 5956764 markings, 13860740 edges, 182909 markings/sec, 25 secs
lola: 6893534 markings, 16099085 edges, 187354 markings/sec, 30 secs
lola: 7844836 markings, 18300345 edges, 190260 markings/sec, 35 secs
lola: 8736908 markings, 20382458 edges, 178414 markings/sec, 40 secs
lola: 9647577 markings, 22442323 edges, 182134 markings/sec, 45 secs
lola: 10485687 markings, 24552643 edges, 167622 markings/sec, 50 secs
lola: 11360773 markings, 26695535 edges, 175017 markings/sec, 55 secs
lola: 12179387 markings, 28834678 edges, 163723 markings/sec, 60 secs
lola: 13065161 markings, 30996670 edges, 177155 markings/sec, 65 secs
lola: 14033284 markings, 33303322 edges, 193625 markings/sec, 70 secs
lola: 14912656 markings, 35534346 edges, 175874 markings/sec, 75 secs
lola: 15746465 markings, 37703789 edges, 166762 markings/sec, 80 secs
lola: 16642202 markings, 39907342 edges, 179147 markings/sec, 85 secs
lola: 17552578 markings, 42079662 edges, 182075 markings/sec, 90 secs
lola: 18388814 markings, 44192716 edges, 167247 markings/sec, 95 secs
lola: 19185775 markings, 46324434 edges, 159392 markings/sec, 100 secs
lola: 20036096 markings, 48468582 edges, 170064 markings/sec, 105 secs
lola: 21011021 markings, 50654012 edges, 194985 markings/sec, 110 secs
lola: 21962912 markings, 52881402 edges, 190378 markings/sec, 115 secs
lola: 22887782 markings, 55103091 edges, 184974 markings/sec, 120 secs
lola: 23799833 markings, 57254958 edges, 182410 markings/sec, 125 secs
lola: 24718424 markings, 59462058 edges, 183718 markings/sec, 130 secs
lola: 25550752 markings, 61523817 edges, 166466 markings/sec, 135 secs
lola: 26425211 markings, 63600481 edges, 174892 markings/sec, 140 secs
lola: 27222910 markings, 65617329 edges, 159540 markings/sec, 145 secs
lola: 27992855 markings, 67562740 edges, 153989 markings/sec, 150 secs
lola: 28837321 markings, 69578737 edges, 168893 markings/sec, 155 secs
lola: 29693708 markings, 71632825 edges, 171277 markings/sec, 160 secs
lola: 30531230 markings, 73760251 edges, 167504 markings/sec, 165 secs
lola: 31393253 markings, 75974345 edges, 172405 markings/sec, 170 secs
lola: 32261903 markings, 78193236 edges, 173730 markings/sec, 175 secs
lola: 33108318 markings, 80315703 edges, 169283 markings/sec, 180 secs
lola: 33990162 markings, 82481540 edges, 176369 markings/sec, 185 secs
lola: 34797405 markings, 84571928 edges, 161449 markings/sec, 190 secs
lola: 35602628 markings, 86630465 edges, 161045 markings/sec, 195 secs
lola: 36509198 markings, 88741161 edges, 181314 markings/sec, 200 secs
lola: 37447587 markings, 90896959 edges, 187678 markings/sec, 205 secs
lola: 38408733 markings, 93117410 edges, 192229 markings/sec, 210 secs
lola: 39326786 markings, 95236655 edges, 183611 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(p122)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1264263 markings, 2413767 edges, 252853 markings/sec, 0 secs
lola: 2521614 markings, 4702867 edges, 251470 markings/sec, 5 secs
lola: 3752863 markings, 6959898 edges, 246250 markings/sec, 10 secs
lola: 4931564 markings, 9189961 edges, 235740 markings/sec, 15 secs
lola: 6107166 markings, 11412559 edges, 235120 markings/sec, 20 secs
lola: 7252503 markings, 13610771 edges, 229067 markings/sec, 25 secs
lola: 8421192 markings, 15818383 edges, 233738 markings/sec, 30 secs
lola: 9552720 markings, 17988570 edges, 226306 markings/sec, 35 secs
lola: 10708503 markings, 20191725 edges, 231157 markings/sec, 40 secs
lola: 11829406 markings, 22337064 edges, 224181 markings/sec, 45 secs
lola: 12985046 markings, 24540684 edges, 231128 markings/sec, 50 secs
lola: 14083077 markings, 26672426 edges, 219606 markings/sec, 55 secs
lola: 15237522 markings, 28888974 edges, 230889 markings/sec, 60 secs
lola: 16414790 markings, 31102889 edges, 235454 markings/sec, 65 secs
lola: 17453567 markings, 33284555 edges, 207755 markings/sec, 70 secs
lola: 18484747 markings, 35519186 edges, 206236 markings/sec, 75 secs
lola: 19762305 markings, 37748415 edges, 255512 markings/sec, 80 secs
lola: 20960948 markings, 39903738 edges, 239729 markings/sec, 85 secs
lola: 22174295 markings, 42051913 edges, 242669 markings/sec, 90 secs
lola: 23223232 markings, 44137190 edges, 209787 markings/sec, 95 secs
lola: 24351736 markings, 46239395 edges, 225701 markings/sec, 100 secs
lola: 25535976 markings, 48407614 edges, 236848 markings/sec, 105 secs
lola: 26681381 markings, 50525635 edges, 229081 markings/sec, 110 secs
lola: 27723102 markings, 52581410 edges, 208344 markings/sec, 115 secs
lola: 28750910 markings, 54647750 edges, 205562 markings/sec, 120 secs
lola: 29881047 markings, 56764576 edges, 226027 markings/sec, 125 secs
lola: 31029321 markings, 58960948 edges, 229655 markings/sec, 130 secs
lola: 32184916 markings, 61107109 edges, 231119 markings/sec, 135 secs
lola: 33292002 markings, 63187160 edges, 221417 markings/sec, 140 secs
lola: 34318085 markings, 65254020 edges, 205217 markings/sec, 145 secs
lola: 35299447 markings, 67275569 edges, 196272 markings/sec, 150 secs
lola: 36316024 markings, 69335947 edges, 203315 markings/sec, 155 secs
lola: 37437652 markings, 71433134 edges, 224326 markings/sec, 160 secs
lola: 38553549 markings, 73605060 edges, 223179 markings/sec, 165 secs
lola: 39646653 markings, 75709740 edges, 218621 markings/sec, 170 secs
lola: 40728804 markings, 77739866 edges, 216430 markings/sec, 175 secs
lola: 41759551 markings, 79820371 edges, 206149 markings/sec, 180 secs
lola: 42737731 markings, 81826239 edges, 195636 markings/sec, 185 secs
lola: 43721242 markings, 83831884 edges, 196702 markings/sec, 190 secs
lola: 44830442 markings, 85894644 edges, 221840 markings/sec, 195 secs
lola: 45916401 markings, 88032967 edges, 217192 markings/sec, 200 secs
lola: 46975278 markings, 90134431 edges, 211775 markings/sec, 205 secs
lola: 48074297 markings, 92193173 edges, 219804 markings/sec, 210 secs
lola: 49128499 markings, 94266257 edges, 210840 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(p49)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1001177 markings, 2502024 edges, 200235 markings/sec, 0 secs
lola: 1963019 markings, 4953708 edges, 192368 markings/sec, 5 secs
lola: 2883211 markings, 7279097 edges, 184038 markings/sec, 10 secs
lola: 3759595 markings, 9546702 edges, 175277 markings/sec, 15 secs
lola: 4711221 markings, 11908843 edges, 190325 markings/sec, 20 secs
lola: 5567387 markings, 14136965 edges, 171233 markings/sec, 25 secs
lola: 6535802 markings, 16563690 edges, 193683 markings/sec, 30 secs
lola: 7411373 markings, 18891968 edges, 175114 markings/sec, 35 secs
lola: 8348375 markings, 21289814 edges, 187400 markings/sec, 40 secs
lola: 9242294 markings, 23589683 edges, 178784 markings/sec, 45 secs
lola: 10084453 markings, 25816386 edges, 168432 markings/sec, 50 secs
lola: 10987964 markings, 28113348 edges, 180702 markings/sec, 55 secs
lola: 11844239 markings, 30324775 edges, 171255 markings/sec, 60 secs
lola: 12660509 markings, 32485801 edges, 163254 markings/sec, 65 secs
lola: 13541168 markings, 34729540 edges, 176132 markings/sec, 70 secs
lola: 14409042 markings, 36917437 edges, 173575 markings/sec, 75 secs
lola: 15242461 markings, 39015453 edges, 166684 markings/sec, 80 secs
lola: 16052786 markings, 41141446 edges, 162065 markings/sec, 85 secs
lola: 16867224 markings, 43266837 edges, 162888 markings/sec, 90 secs
lola: 17700248 markings, 45430568 edges, 166605 markings/sec, 95 secs
lola: 18600901 markings, 47655551 edges, 180131 markings/sec, 100 secs
lola: 19504343 markings, 49923973 edges, 180688 markings/sec, 105 secs
lola: 20367434 markings, 52079376 edges, 172618 markings/sec, 110 secs
lola: 21224360 markings, 54219821 edges, 171385 markings/sec, 115 secs
lola: 22049534 markings, 56311903 edges, 165035 markings/sec, 120 secs
lola: 22862290 markings, 58437131 edges, 162551 markings/sec, 125 secs
lola: 23797289 markings, 60784794 edges, 187000 markings/sec, 130 secs
lola: 24667025 markings, 63054022 edges, 173947 markings/sec, 135 secs
lola: 25532800 markings, 65322444 edges, 173155 markings/sec, 140 secs
lola: 26354861 markings, 67513823 edges, 164412 markings/sec, 145 secs
lola: 27265067 markings, 69901001 edges, 182041 markings/sec, 150 secs
lola: 28193127 markings, 72212958 edges, 185612 markings/sec, 155 secs
lola: 29016822 markings, 74408098 edges, 164739 markings/sec, 160 secs
lola: 29876579 markings, 76641841 edges, 171951 markings/sec, 165 secs
lola: 30727628 markings, 78850354 edges, 170210 markings/sec, 170 secs
lola: 31529984 markings, 81025324 edges, 160471 markings/sec, 175 secs
lola: 32403038 markings, 83268587 edges, 174611 markings/sec, 180 secs
lola: 33288520 markings, 85495257 edges, 177096 markings/sec, 185 secs
lola: 34078294 markings, 87577594 edges, 157955 markings/sec, 190 secs
lola: 34910379 markings, 89735897 edges, 166417 markings/sec, 195 secs
lola: 35716091 markings, 91831915 edges, 161142 markings/sec, 200 secs
lola: 36505608 markings, 93978833 edges, 157903 markings/sec, 205 secs
lola: 37347058 markings, 96145260 edges, 168290 markings/sec, 210 secs
lola: 38212190 markings, 98315805 edges, 173026 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(p50)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1138977 markings, 2458653 edges, 227795 markings/sec, 0 secs
lola: 2219646 markings, 4832833 edges, 216134 markings/sec, 5 secs
lola: 3261787 markings, 7101113 edges, 208428 markings/sec, 10 secs
lola: 4314188 markings, 9449994 edges, 210480 markings/sec, 15 secs
lola: 5404286 markings, 11842237 edges, 218020 markings/sec, 20 secs
lola: 6435732 markings, 14120267 edges, 206289 markings/sec, 25 secs
lola: 7434367 markings, 16350032 edges, 199727 markings/sec, 30 secs
lola: 8499205 markings, 18657701 edges, 212968 markings/sec, 35 secs
lola: 9507282 markings, 20904493 edges, 201615 markings/sec, 40 secs
lola: 10495584 markings, 23052582 edges, 197660 markings/sec, 45 secs
lola: 11444827 markings, 25176289 edges, 189849 markings/sec, 50 secs
lola: 12433339 markings, 27332720 edges, 197702 markings/sec, 55 secs
lola: 13469620 markings, 29613275 edges, 207256 markings/sec, 60 secs
lola: 14467495 markings, 31870810 edges, 199575 markings/sec, 65 secs
lola: 15454247 markings, 34100536 edges, 197350 markings/sec, 70 secs
lola: 16472467 markings, 36331772 edges, 203644 markings/sec, 75 secs
lola: 17527533 markings, 38709860 edges, 211013 markings/sec, 80 secs
lola: 18523663 markings, 40964255 edges, 199226 markings/sec, 85 secs
lola: 19445676 markings, 43128507 edges, 184403 markings/sec, 90 secs
lola: 20452469 markings, 45327102 edges, 201359 markings/sec, 95 secs
lola: 21426319 markings, 47510116 edges, 194770 markings/sec, 100 secs
lola: 22344336 markings, 49600791 edges, 183603 markings/sec, 105 secs
lola: 23315645 markings, 51768175 edges, 194262 markings/sec, 110 secs
lola: 24386703 markings, 54074374 edges, 214212 markings/sec, 115 secs
lola: 25367064 markings, 56288775 edges, 196072 markings/sec, 120 secs
lola: 26338358 markings, 58480205 edges, 194259 markings/sec, 125 secs
lola: 27301813 markings, 60595874 edges, 192691 markings/sec, 130 secs
lola: 28275267 markings, 62710491 edges, 194691 markings/sec, 135 secs
lola: 29185623 markings, 64743774 edges, 182071 markings/sec, 140 secs
lola: 30118133 markings, 66779568 edges, 186502 markings/sec, 145 secs
lola: 31028129 markings, 68808013 edges, 181999 markings/sec, 150 secs
lola: 31919048 markings, 70820235 edges, 178184 markings/sec, 155 secs
lola: 32833782 markings, 72889951 edges, 182947 markings/sec, 160 secs
lola: 33769869 markings, 74936800 edges, 187217 markings/sec, 165 secs
lola: 34750335 markings, 77102163 edges, 196093 markings/sec, 170 secs
lola: 35712914 markings, 79268685 edges, 192516 markings/sec, 175 secs
lola: 36703672 markings, 81470566 edges, 198152 markings/sec, 180 secs
lola: 37678811 markings, 83689579 edges, 195028 markings/sec, 185 secs
lola: 38600597 markings, 85787768 edges, 184357 markings/sec, 190 secs
lola: 39498365 markings, 87903414 edges, 179554 markings/sec, 195 secs
lola: 40452626 markings, 90062927 edges, 190852 markings/sec, 200 secs
lola: 41393427 markings, 92155478 edges, 188160 markings/sec, 205 secs
lola: 42284634 markings, 94209265 edges, 178241 markings/sec, 210 secs
lola: 43300576 markings, 96396638 edges, 203188 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(p94)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1649136 markings, 2276172 edges, 329827 markings/sec, 0 secs
lola: 3217833 markings, 4432221 edges, 313739 markings/sec, 5 secs
lola: 4741663 markings, 6553369 edges, 304766 markings/sec, 10 secs
lola: 6244648 markings, 8654391 edges, 300597 markings/sec, 15 secs
lola: 7732973 markings, 10737422 edges, 297665 markings/sec, 20 secs
lola: 9218849 markings, 12817491 edges, 297175 markings/sec, 25 secs
lola: 10737917 markings, 14930913 edges, 303814 markings/sec, 30 secs
lola: 12181204 markings, 17057202 edges, 288657 markings/sec, 35 secs
lola: 13732806 markings, 19151365 edges, 310320 markings/sec, 40 secs
lola: 15204835 markings, 21195634 edges, 294406 markings/sec, 45 secs
lola: 16710401 markings, 23260418 edges, 301113 markings/sec, 50 secs
lola: 18156120 markings, 25291133 edges, 289144 markings/sec, 55 secs
lola: 19535589 markings, 27265950 edges, 275894 markings/sec, 60 secs
lola: 21034460 markings, 29332030 edges, 299774 markings/sec, 65 secs
lola: 22482891 markings, 31358965 edges, 289686 markings/sec, 70 secs
lola: 23824482 markings, 33325591 edges, 268318 markings/sec, 75 secs
lola: 25267685 markings, 35348565 edges, 288641 markings/sec, 80 secs
lola: 26720258 markings, 37382619 edges, 290515 markings/sec, 85 secs
lola: 28087874 markings, 39360493 edges, 273523 markings/sec, 90 secs
lola: 29456909 markings, 41314599 edges, 273807 markings/sec, 95 secs
lola: 30917166 markings, 43364451 edges, 292051 markings/sec, 100 secs
lola: 32339031 markings, 45355322 edges, 284373 markings/sec, 105 secs
lola: 33646058 markings, 47288541 edges, 261405 markings/sec, 110 secs
lola: 35076429 markings, 49278762 edges, 286074 markings/sec, 115 secs
lola: 36514299 markings, 51294443 edges, 287574 markings/sec, 120 secs
lola: 37866383 markings, 53244548 edges, 270417 markings/sec, 125 secs
lola: 39210305 markings, 55187275 edges, 268784 markings/sec, 130 secs
lola: 40681031 markings, 57246914 edges, 294145 markings/sec, 135 secs
lola: 42125120 markings, 59269820 edges, 288818 markings/sec, 140 secs
lola: 43516486 markings, 61260303 edges, 278273 markings/sec, 145 secs
lola: 44875324 markings, 63232301 edges, 271768 markings/sec, 150 secs
lola: 46272918 markings, 65243782 edges, 279519 markings/sec, 155 secs
lola: 47719920 markings, 67208499 edges, 289400 markings/sec, 160 secs
lola: 49143353 markings, 69164978 edges, 284687 markings/sec, 165 secs
lola: 50530866 markings, 71084273 edges, 277503 markings/sec, 170 secs
lola: 51971409 markings, 73058836 edges, 288109 markings/sec, 175 secs
lola: 53361297 markings, 74996378 edges, 277978 markings/sec, 180 secs
lola: 54679557 markings, 76893706 edges, 263652 markings/sec, 185 secs
lola: 56086684 markings, 78833676 edges, 281425 markings/sec, 190 secs
lola: 57484199 markings, 80783564 edges, 279503 markings/sec, 195 secs
lola: 58857438 markings, 82696608 edges, 274648 markings/sec, 200 secs
lola: 60130197 markings, 84563872 edges, 254552 markings/sec, 205 secs
lola: 61452238 markings, 86426258 edges, 264408 markings/sec, 210 secs
lola: 62868512 markings, 88406945 edges, 283255 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1286840 markings, 2394831 edges, 257368 markings/sec, 0 secs
lola: 2564006 markings, 4663042 edges, 255433 markings/sec, 5 secs
lola: 3774242 markings, 6897682 edges, 242047 markings/sec, 10 secs
lola: 5011435 markings, 9138115 edges, 247439 markings/sec, 15 secs
lola: 6155198 markings, 11333555 edges, 228753 markings/sec, 20 secs
lola: 7343210 markings, 13545018 edges, 237602 markings/sec, 25 secs
lola: 8490147 markings, 15708131 edges, 229387 markings/sec, 30 secs
lola: 9645017 markings, 17893212 edges, 230974 markings/sec, 35 secs
lola: 10803276 markings, 20074158 edges, 231652 markings/sec, 40 secs
lola: 11941703 markings, 22229083 edges, 227685 markings/sec, 45 secs
lola: 13123424 markings, 24459939 edges, 236344 markings/sec, 50 secs
lola: 14322588 markings, 26674751 edges, 239833 markings/sec, 55 secs
lola: 15373058 markings, 28846154 edges, 210094 markings/sec, 60 secs
lola: 16498758 markings, 31077279 edges, 225140 markings/sec, 65 secs
lola: 17752653 markings, 33244839 edges, 250779 markings/sec, 70 secs
lola: 18998051 markings, 35413769 edges, 249080 markings/sec, 75 secs
lola: 20147427 markings, 37517665 edges, 229875 markings/sec, 80 secs
lola: 21293757 markings, 39612558 edges, 229266 markings/sec, 85 secs
lola: 22476710 markings, 41783251 edges, 236591 markings/sec, 90 secs
lola: 23660682 markings, 43917017 edges, 236794 markings/sec, 95 secs
lola: 24722158 markings, 45997402 edges, 212295 markings/sec, 100 secs
lola: 25764124 markings, 48057888 edges, 208393 markings/sec, 105 secs
lola: 26912100 markings, 50151089 edges, 229595 markings/sec, 110 secs
lola: 28077183 markings, 52333443 edges, 233017 markings/sec, 115 secs
lola: 29221187 markings, 54420711 edges, 228801 markings/sec, 120 secs
lola: 30295363 markings, 56514419 edges, 214835 markings/sec, 125 secs
lola: 31288926 markings, 58536340 edges, 198713 markings/sec, 130 secs
lola: 32370452 markings, 60629256 edges, 216305 markings/sec, 135 secs
lola: 33508059 markings, 62707412 edges, 227521 markings/sec, 140 secs
lola: 34600695 markings, 64858736 edges, 218527 markings/sec, 145 secs
lola: 35710366 markings, 66921142 edges, 221934 markings/sec, 150 secs
lola: 36786833 markings, 68996607 edges, 215293 markings/sec, 155 secs
lola: 37766891 markings, 70998561 edges, 196012 markings/sec, 160 secs
lola: 38822153 markings, 73059449 edges, 211052 markings/sec, 165 secs
lola: 39948083 markings, 75130257 edges, 225186 markings/sec, 170 secs
lola: 41044788 markings, 77262607 edges, 219341 markings/sec, 175 secs
lola: 42162819 markings, 79339506 edges, 223606 markings/sec, 180 secs
lola: 43228959 markings, 81392865 edges, 213228 markings/sec, 185 secs
lola: 44218356 markings, 83399293 edges, 197879 markings/sec, 190 secs
lola: 45231559 markings, 85419067 edges, 202641 markings/sec, 195 secs
lola: 46366306 markings, 87491702 edges, 226949 markings/sec, 200 secs
lola: 47458773 markings, 89621542 edges, 218493 markings/sec, 205 secs
lola: 48587859 markings, 91700208 edges, 225817 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA DES-PT-10a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-10a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496454476545

--------------------
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-10a"
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-10a.tgz
mv S_DES-PT-10a 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-10a, 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-149488455600245"
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 ;