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_CloudDeployment-PT-2b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455400011
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496437894914


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


checking for too many tokens
===========================================================================================
S_CloudDeployment-PT-2b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_CloudDeployment-PT-2b @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 1240/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 556 places, 684 transitions, 547 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 665 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-2b-UpperBounds.task
lola: MAX(p135) : MAX(p15) : MAX(p540) : MAX(p26) : MAX(p334) : MAX(p124) : MAX(p321) : MAX(p424) : MAX(p419) : MAX(p218) : MAX(p441) : MAX(p304) : MAX(p341) : MAX(p57) : MAX(p416) : MAX(p333)
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(p135)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 244313 markings, 381466 edges, 48863 markings/sec, 0 secs
lola: 481686 markings, 824964 edges, 47475 markings/sec, 5 secs
lola: 694864 markings, 1241127 edges, 42636 markings/sec, 10 secs
lola: 893083 markings, 1624200 edges, 39644 markings/sec, 15 secs
lola: 1114719 markings, 2015814 edges, 44327 markings/sec, 20 secs
lola: 1351038 markings, 2444483 edges, 47264 markings/sec, 25 secs
lola: 1567232 markings, 2919313 edges, 43239 markings/sec, 30 secs
lola: 1782076 markings, 3391674 edges, 42969 markings/sec, 35 secs
lola: 1995345 markings, 3849880 edges, 42654 markings/sec, 40 secs
lola: 2215604 markings, 4255863 edges, 44052 markings/sec, 45 secs
lola: 2418127 markings, 4637918 edges, 40505 markings/sec, 50 secs
lola: 2646193 markings, 5038413 edges, 45613 markings/sec, 55 secs
lola: 2855612 markings, 5501577 edges, 41884 markings/sec, 60 secs
lola: 3062038 markings, 5958428 edges, 41285 markings/sec, 65 secs
lola: 3268425 markings, 6412801 edges, 41277 markings/sec, 70 secs
lola: 3487685 markings, 6821346 edges, 43852 markings/sec, 75 secs
lola: 3711551 markings, 7254299 edges, 44773 markings/sec, 80 secs
lola: 3909780 markings, 7731120 edges, 39646 markings/sec, 85 secs
lola: 4128868 markings, 8148121 edges, 43818 markings/sec, 90 secs
lola: 4341990 markings, 8553355 edges, 42624 markings/sec, 95 secs
lola: 4546715 markings, 8912528 edges, 40945 markings/sec, 100 secs
lola: 4732335 markings, 9318845 edges, 37124 markings/sec, 105 secs
lola: 4923455 markings, 9707841 edges, 38224 markings/sec, 110 secs
lola: 5102632 markings, 10101766 edges, 35835 markings/sec, 115 secs
lola: 5283673 markings, 10487142 edges, 36208 markings/sec, 120 secs
lola: 5460239 markings, 10846374 edges, 35313 markings/sec, 125 secs
lola: 5637868 markings, 11209109 edges, 35526 markings/sec, 130 secs
lola: 5816284 markings, 11564830 edges, 35683 markings/sec, 135 secs
lola: 5987084 markings, 11930001 edges, 34160 markings/sec, 140 secs
lola: 6156218 markings, 12281554 edges, 33827 markings/sec, 145 secs
lola: 6320794 markings, 12633894 edges, 32915 markings/sec, 150 secs
lola: 6495799 markings, 12982549 edges, 35001 markings/sec, 155 secs
lola: 6668714 markings, 13369997 edges, 34583 markings/sec, 160 secs
lola: 6837241 markings, 13758522 edges, 33705 markings/sec, 165 secs
lola: 7008189 markings, 14132733 edges, 34190 markings/sec, 170 secs
lola: 7185424 markings, 14492279 edges, 35447 markings/sec, 175 secs
lola: 7382917 markings, 14853429 edges, 39499 markings/sec, 180 secs
lola: 7565449 markings, 15231517 edges, 36506 markings/sec, 185 secs
lola: 7718432 markings, 15539990 edges, 30597 markings/sec, 190 secs
lola: 7905459 markings, 15900397 edges, 37405 markings/sec, 195 secs
lola: 8094746 markings, 16275359 edges, 37857 markings/sec, 200 secs
lola: 8259556 markings, 16611608 edges, 32962 markings/sec, 205 secs
lola: 8414338 markings, 16934225 edges, 30956 markings/sec, 210 secs
lola: 8697100 markings, 17386158 edges, 56552 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(p15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 372935 markings, 589581 edges, 74587 markings/sec, 0 secs
lola: 726632 markings, 1164185 edges, 70739 markings/sec, 5 secs
lola: 1046382 markings, 1745970 edges, 63950 markings/sec, 10 secs
lola: 1369013 markings, 2286290 edges, 64526 markings/sec, 15 secs
lola: 1675176 markings, 2867199 edges, 61233 markings/sec, 20 secs
lola: 1989694 markings, 3445458 edges, 62904 markings/sec, 25 secs
lola: 2377421 markings, 4070887 edges, 77545 markings/sec, 30 secs
lola: 2744846 markings, 4641641 edges, 73485 markings/sec, 35 secs
lola: 3105622 markings, 5217073 edges, 72155 markings/sec, 40 secs
lola: 3529112 markings, 5872288 edges, 84698 markings/sec, 45 secs
lola: 3964392 markings, 6497463 edges, 87056 markings/sec, 50 secs
lola: 4374714 markings, 7095523 edges, 82064 markings/sec, 55 secs
lola: 4790051 markings, 7695243 edges, 83067 markings/sec, 60 secs
lola: 5202069 markings, 8302281 edges, 82404 markings/sec, 65 secs
lola: 5543803 markings, 8939921 edges, 68347 markings/sec, 70 secs
lola: 5898354 markings, 9544327 edges, 70910 markings/sec, 75 secs
lola: 6316547 markings, 10174194 edges, 83639 markings/sec, 80 secs
lola: 6603635 markings, 10910403 edges, 57418 markings/sec, 85 secs
lola: 6993081 markings, 11509590 edges, 77889 markings/sec, 90 secs
lola: 7274288 markings, 12174993 edges, 56241 markings/sec, 95 secs
lola: 7576279 markings, 12813038 edges, 60398 markings/sec, 100 secs
lola: 7837515 markings, 13362105 edges, 52247 markings/sec, 105 secs
lola: 7986205 markings, 14030051 edges, 29738 markings/sec, 110 secs
lola: 8228842 markings, 14684195 edges, 48527 markings/sec, 115 secs
lola: 8456132 markings, 15325330 edges, 45458 markings/sec, 120 secs
lola: 8795088 markings, 15971988 edges, 67791 markings/sec, 125 secs
lola: 9134789 markings, 16616379 edges, 67940 markings/sec, 130 secs
lola: 9459605 markings, 17227656 edges, 64963 markings/sec, 135 secs
lola: 9792261 markings, 17857379 edges, 66531 markings/sec, 140 secs
lola: 10134132 markings, 18451578 edges, 68374 markings/sec, 145 secs
lola: 10470619 markings, 19083335 edges, 67297 markings/sec, 150 secs
lola: 10717135 markings, 19700737 edges, 49303 markings/sec, 155 secs
lola: 11047188 markings, 20323574 edges, 66011 markings/sec, 160 secs
lola: 11362924 markings, 20923450 edges, 63147 markings/sec, 165 secs
lola: 11670227 markings, 21523155 edges, 61461 markings/sec, 170 secs
lola: 11992906 markings, 22111993 edges, 64536 markings/sec, 175 secs
lola: 12367204 markings, 22700930 edges, 74860 markings/sec, 180 secs
lola: 12703840 markings, 23309878 edges, 67327 markings/sec, 185 secs
lola: 12948554 markings, 23932610 edges, 48943 markings/sec, 190 secs
lola: 13279109 markings, 24540387 edges, 66111 markings/sec, 195 secs
lola: 13603828 markings, 25148395 edges, 64944 markings/sec, 200 secs
lola: 13928276 markings, 25753584 edges, 64890 markings/sec, 205 secs
lola: 14283400 markings, 26344728 edges, 71025 markings/sec, 210 secs
lola: 14597333 markings, 26908391 edges, 62787 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(p540)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 355411 markings, 554547 edges, 71082 markings/sec, 0 secs
lola: 680553 markings, 1129507 edges, 65028 markings/sec, 5 secs
lola: 1006761 markings, 1689786 edges, 65242 markings/sec, 10 secs
lola: 1328202 markings, 2272947 edges, 64288 markings/sec, 15 secs
lola: 1702912 markings, 2878175 edges, 74942 markings/sec, 20 secs
lola: 2048119 markings, 3428697 edges, 69041 markings/sec, 25 secs
lola: 2428903 markings, 4001521 edges, 76157 markings/sec, 30 secs
lola: 2827864 markings, 4631970 edges, 79792 markings/sec, 35 secs
lola: 3243042 markings, 5238485 edges, 83036 markings/sec, 40 secs
lola: 3643546 markings, 5814056 edges, 80101 markings/sec, 45 secs
lola: 4046309 markings, 6393580 edges, 80553 markings/sec, 50 secs
lola: 4443826 markings, 6980548 edges, 79503 markings/sec, 55 secs
lola: 4774087 markings, 7602851 edges, 66052 markings/sec, 60 secs
lola: 5112769 markings, 8183018 edges, 67736 markings/sec, 65 secs
lola: 5524442 markings, 8795225 edges, 82335 markings/sec, 70 secs
lola: 5808623 markings, 9536202 edges, 56836 markings/sec, 75 secs
lola: 6194890 markings, 10121310 edges, 77253 markings/sec, 80 secs
lola: 6468650 markings, 10784062 edges, 54752 markings/sec, 85 secs
lola: 6768147 markings, 11414167 edges, 59899 markings/sec, 90 secs
lola: 7044133 markings, 11959182 edges, 55197 markings/sec, 95 secs
lola: 7196909 markings, 12619224 edges, 30555 markings/sec, 100 secs
lola: 7442772 markings, 13291164 edges, 49173 markings/sec, 105 secs
lola: 7659029 markings, 13935938 edges, 43251 markings/sec, 110 secs
lola: 7991796 markings, 14570129 edges, 66553 markings/sec, 115 secs
lola: 8323917 markings, 15204720 edges, 66424 markings/sec, 120 secs
lola: 8648175 markings, 15818139 edges, 64852 markings/sec, 125 secs
lola: 8973495 markings, 16449681 edges, 65064 markings/sec, 130 secs
lola: 9315493 markings, 17034741 edges, 68400 markings/sec, 135 secs
lola: 9651291 markings, 17658004 edges, 67160 markings/sec, 140 secs
lola: 9916569 markings, 18255903 edges, 53056 markings/sec, 145 secs
lola: 10212212 markings, 18871740 edges, 59129 markings/sec, 150 secs
lola: 10528646 markings, 19480044 edges, 63287 markings/sec, 155 secs
lola: 10843590 markings, 20062580 edges, 62989 markings/sec, 160 secs
lola: 11148643 markings, 20634243 edges, 61011 markings/sec, 165 secs
lola: 11514853 markings, 21219861 edges, 73242 markings/sec, 170 secs
lola: 11842668 markings, 21823489 edges, 65563 markings/sec, 175 secs
lola: 12113122 markings, 22437310 edges, 54091 markings/sec, 180 secs
lola: 12421368 markings, 23036215 edges, 61649 markings/sec, 185 secs
lola: 12737840 markings, 23643051 edges, 63294 markings/sec, 190 secs
lola: 13055910 markings, 24247460 edges, 63614 markings/sec, 195 secs
lola: 13419104 markings, 24811694 edges, 72639 markings/sec, 200 secs
lola: 13730181 markings, 25407423 edges, 62215 markings/sec, 205 secs
lola: 13975704 markings, 25977989 edges, 49105 markings/sec, 210 secs
lola: 14293526 markings, 26568102 edges, 63564 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(p26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 310381 markings, 575942 edges, 62076 markings/sec, 0 secs
lola: 611580 markings, 1166155 edges, 60240 markings/sec, 5 secs
lola: 871385 markings, 1812951 edges, 51961 markings/sec, 10 secs
lola: 1135642 markings, 2479580 edges, 52851 markings/sec, 15 secs
lola: 1421163 markings, 3067701 edges, 57104 markings/sec, 20 secs
lola: 1699340 markings, 3650261 edges, 55635 markings/sec, 25 secs
lola: 1982498 markings, 4231526 edges, 56632 markings/sec, 30 secs
lola: 2240322 markings, 4871422 edges, 51565 markings/sec, 35 secs
lola: 2486099 markings, 5534620 edges, 49155 markings/sec, 40 secs
lola: 2752837 markings, 6095711 edges, 53348 markings/sec, 45 secs
lola: 3039858 markings, 6744002 edges, 57404 markings/sec, 50 secs
lola: 3348093 markings, 7401611 edges, 61647 markings/sec, 55 secs
lola: 3617406 markings, 8005990 edges, 53863 markings/sec, 60 secs
lola: 3868645 markings, 8640954 edges, 50248 markings/sec, 65 secs
lola: 4117777 markings, 9256348 edges, 49826 markings/sec, 70 secs
lola: 4362651 markings, 9864590 edges, 48975 markings/sec, 75 secs
lola: 4608896 markings, 10477718 edges, 49249 markings/sec, 80 secs
lola: 4853913 markings, 11081012 edges, 49003 markings/sec, 85 secs
lola: 5141526 markings, 11718006 edges, 57523 markings/sec, 90 secs
lola: 5434524 markings, 12356480 edges, 58600 markings/sec, 95 secs
lola: 5728959 markings, 12952679 edges, 58887 markings/sec, 100 secs
lola: 5999193 markings, 13513366 edges, 54047 markings/sec, 105 secs
lola: 6264957 markings, 14058771 edges, 53153 markings/sec, 110 secs
lola: 6533163 markings, 14644705 edges, 53641 markings/sec, 115 secs
lola: 6819725 markings, 15231884 edges, 57312 markings/sec, 120 secs
lola: 7100786 markings, 15830526 edges, 56212 markings/sec, 125 secs
lola: 7365921 markings, 16469369 edges, 53027 markings/sec, 130 secs
lola: 7624504 markings, 17136783 edges, 51717 markings/sec, 135 secs
lola: 7896313 markings, 17745229 edges, 54362 markings/sec, 140 secs
lola: 8177151 markings, 18332190 edges, 56168 markings/sec, 145 secs
lola: 8451792 markings, 18926526 edges, 54928 markings/sec, 150 secs
lola: 8715879 markings, 19549857 edges, 52817 markings/sec, 155 secs
lola: 8958888 markings, 20199483 edges, 48602 markings/sec, 160 secs
lola: 9219221 markings, 20809192 edges, 52067 markings/sec, 165 secs
lola: 9479024 markings, 21398696 edges, 51961 markings/sec, 170 secs
lola: 9768700 markings, 22064538 edges, 57935 markings/sec, 175 secs
lola: 10072555 markings, 22708239 edges, 60771 markings/sec, 180 secs
lola: 10319681 markings, 23344401 edges, 49425 markings/sec, 185 secs
lola: 10568819 markings, 23966939 edges, 49828 markings/sec, 190 secs
lola: 10805892 markings, 24589109 edges, 47415 markings/sec, 195 secs
lola: 11036123 markings, 25205612 edges, 46046 markings/sec, 200 secs
lola: 11274288 markings, 25819546 edges, 47633 markings/sec, 205 secs
lola: 11514062 markings, 26423852 edges, 47955 markings/sec, 210 secs
lola: 11795937 markings, 27042906 edges, 56375 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(p334)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 255762 markings, 461428 edges, 51152 markings/sec, 0 secs
lola: 489433 markings, 1017778 edges, 46734 markings/sec, 5 secs
lola: 698583 markings, 1440158 edges, 41830 markings/sec, 10 secs
lola: 896175 markings, 1824404 edges, 39518 markings/sec, 15 secs
lola: 1064279 markings, 2281146 edges, 33621 markings/sec, 20 secs
lola: 1225251 markings, 2766661 edges, 32194 markings/sec, 25 secs
lola: 1384718 markings, 3267718 edges, 31893 markings/sec, 30 secs
lola: 1551480 markings, 3723206 edges, 33352 markings/sec, 35 secs
lola: 1711618 markings, 4209126 edges, 32028 markings/sec, 40 secs
lola: 1872330 markings, 4703155 edges, 32142 markings/sec, 45 secs
lola: 2038332 markings, 5167996 edges, 33200 markings/sec, 50 secs
lola: 2199571 markings, 5667066 edges, 32248 markings/sec, 55 secs
lola: 2366084 markings, 6169356 edges, 33303 markings/sec, 60 secs
lola: 2542907 markings, 6625376 edges, 35365 markings/sec, 65 secs
lola: 2716416 markings, 7067236 edges, 34702 markings/sec, 70 secs
lola: 2894167 markings, 7466507 edges, 35550 markings/sec, 75 secs
lola: 3059277 markings, 7915464 edges, 33022 markings/sec, 80 secs
lola: 3210156 markings, 8422115 edges, 30176 markings/sec, 85 secs
lola: 3365582 markings, 8868332 edges, 31085 markings/sec, 90 secs
lola: 3498761 markings, 9344926 edges, 26636 markings/sec, 95 secs
lola: 3638653 markings, 9852646 edges, 27978 markings/sec, 100 secs
lola: 3785859 markings, 10385733 edges, 29441 markings/sec, 105 secs
lola: 3954565 markings, 10838826 edges, 33741 markings/sec, 110 secs
lola: 4098092 markings, 11354172 edges, 28705 markings/sec, 115 secs
lola: 4256757 markings, 11833723 edges, 31733 markings/sec, 120 secs
lola: 4416223 markings, 12328415 edges, 31893 markings/sec, 125 secs
lola: 4536082 markings, 12954679 edges, 23972 markings/sec, 130 secs
lola: 4648478 markings, 13617167 edges, 22479 markings/sec, 135 secs
lola: 4799075 markings, 14149797 edges, 30119 markings/sec, 140 secs
lola: 4957580 markings, 14636413 edges, 31701 markings/sec, 145 secs
lola: 5112732 markings, 15142419 edges, 31030 markings/sec, 150 secs
lola: 5267460 markings, 15658786 edges, 30946 markings/sec, 155 secs
lola: 5434270 markings, 16117469 edges, 33362 markings/sec, 160 secs
lola: 5596221 markings, 16616616 edges, 32390 markings/sec, 165 secs
lola: 5755682 markings, 17125672 edges, 31892 markings/sec, 170 secs
lola: 5934031 markings, 17577023 edges, 35670 markings/sec, 175 secs
lola: 6111393 markings, 18005824 edges, 35472 markings/sec, 180 secs
lola: 6282725 markings, 18431846 edges, 34266 markings/sec, 185 secs
lola: 6451368 markings, 18873413 edges, 33729 markings/sec, 190 secs
lola: 6599488 markings, 19374552 edges, 29624 markings/sec, 195 secs
lola: 6750908 markings, 19849359 edges, 30284 markings/sec, 200 secs
lola: 6889412 markings, 20303035 edges, 27701 markings/sec, 205 secs
lola: 7018629 markings, 20822941 edges, 25843 markings/sec, 210 secs
lola: 7179765 markings, 21285653 edges, 32227 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(p124)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 250769 markings, 390937 edges, 50154 markings/sec, 0 secs
lola: 489887 markings, 840920 edges, 47824 markings/sec, 5 secs
lola: 703812 markings, 1258155 edges, 42785 markings/sec, 10 secs
lola: 905278 markings, 1646982 edges, 40293 markings/sec, 15 secs
lola: 1128946 markings, 2040426 edges, 44734 markings/sec, 20 secs
lola: 1365686 markings, 2471207 edges, 47348 markings/sec, 25 secs
lola: 1579282 markings, 2942302 edges, 42719 markings/sec, 30 secs
lola: 1793787 markings, 3416833 edges, 42901 markings/sec, 35 secs
lola: 2013198 markings, 3877534 edges, 43882 markings/sec, 40 secs
lola: 2228106 markings, 4292329 edges, 42982 markings/sec, 45 secs
lola: 2438949 markings, 4665958 edges, 42169 markings/sec, 50 secs
lola: 2666376 markings, 5078129 edges, 45485 markings/sec, 55 secs
lola: 2876357 markings, 5543213 edges, 41996 markings/sec, 60 secs
lola: 3084980 markings, 6006230 edges, 41725 markings/sec, 65 secs
lola: 3293247 markings, 6465379 edges, 41653 markings/sec, 70 secs
lola: 3514735 markings, 6860203 edges, 44298 markings/sec, 75 secs
lola: 3736719 markings, 7312819 edges, 44397 markings/sec, 80 secs
lola: 3932528 markings, 7786826 edges, 39162 markings/sec, 85 secs
lola: 4154916 markings, 8202096 edges, 44478 markings/sec, 90 secs
lola: 4361198 markings, 8614213 edges, 41256 markings/sec, 95 secs
lola: 4568606 markings, 8959861 edges, 41482 markings/sec, 100 secs
lola: 4754458 markings, 9367576 edges, 37170 markings/sec, 105 secs
lola: 4943963 markings, 9750828 edges, 37901 markings/sec, 110 secs
lola: 5126380 markings, 10147616 edges, 36483 markings/sec, 115 secs
lola: 5302934 markings, 10535559 edges, 35311 markings/sec, 120 secs
lola: 5486652 markings, 10898090 edges, 36744 markings/sec, 125 secs
lola: 5666255 markings, 11265559 edges, 35921 markings/sec, 130 secs
lola: 5844502 markings, 11627374 edges, 35649 markings/sec, 135 secs
lola: 6016061 markings, 11994659 edges, 34312 markings/sec, 140 secs
lola: 6185886 markings, 12347580 edges, 33965 markings/sec, 145 secs
lola: 6350609 markings, 12703214 edges, 32945 markings/sec, 150 secs
lola: 6528784 markings, 13048904 edges, 35635 markings/sec, 155 secs
lola: 6701793 markings, 13451517 edges, 34602 markings/sec, 160 secs
lola: 6867904 markings, 13833041 edges, 33222 markings/sec, 165 secs
lola: 7047840 markings, 14204414 edges, 35987 markings/sec, 170 secs
lola: 7226416 markings, 14573381 edges, 35715 markings/sec, 175 secs
lola: 7429404 markings, 14939621 edges, 40598 markings/sec, 180 secs
lola: 7608995 markings, 15305770 edges, 35918 markings/sec, 185 secs
lola: 7759427 markings, 15629985 edges, 30086 markings/sec, 190 secs
lola: 7954470 markings, 15987787 edges, 39009 markings/sec, 195 secs
lola: 8136026 markings, 16372467 edges, 36311 markings/sec, 200 secs
lola: 8300033 markings, 16691174 edges, 32801 markings/sec, 205 secs
lola: 8484010 markings, 17039718 edges, 36795 markings/sec, 210 secs
lola: 8769170 markings, 17549643 edges, 57032 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(p321)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 169614 markings, 503235 edges, 33923 markings/sec, 0 secs
lola: 378724 markings, 1046648 edges, 41822 markings/sec, 5 secs
lola: 608276 markings, 1569355 edges, 45910 markings/sec, 10 secs
lola: 809889 markings, 2070399 edges, 40323 markings/sec, 15 secs
lola: 987934 markings, 2605292 edges, 35609 markings/sec, 20 secs
lola: 1130012 markings, 3246118 edges, 28416 markings/sec, 25 secs
lola: 1320067 markings, 3740684 edges, 38011 markings/sec, 30 secs
lola: 1493773 markings, 4260171 edges, 34741 markings/sec, 35 secs
lola: 1630332 markings, 4893814 edges, 27312 markings/sec, 40 secs
lola: 1821045 markings, 5350071 edges, 38143 markings/sec, 45 secs
lola: 1986679 markings, 5884652 edges, 33127 markings/sec, 50 secs
lola: 2123519 markings, 6495953 edges, 27368 markings/sec, 55 secs
lola: 2304982 markings, 6972034 edges, 36293 markings/sec, 60 secs
lola: 2472394 markings, 7481798 edges, 33482 markings/sec, 65 secs
lola: 2607901 markings, 8126532 edges, 27101 markings/sec, 70 secs
lola: 2829214 markings, 8675338 edges, 44263 markings/sec, 75 secs
lola: 3049849 markings, 9182148 edges, 44127 markings/sec, 80 secs
lola: 3243173 markings, 9731783 edges, 38665 markings/sec, 85 secs
lola: 3454774 markings, 10217063 edges, 42320 markings/sec, 90 secs
lola: 3670999 markings, 10668043 edges, 43245 markings/sec, 95 secs
lola: 3845335 markings, 11223345 edges, 34867 markings/sec, 100 secs
lola: 4010708 markings, 11879953 edges, 33075 markings/sec, 105 secs
lola: 4205671 markings, 12486720 edges, 38993 markings/sec, 110 secs
lola: 4291996 markings, 13272859 edges, 17265 markings/sec, 115 secs
lola: 4405672 markings, 14037118 edges, 22735 markings/sec, 120 secs
lola: 4604713 markings, 14634221 edges, 39808 markings/sec, 125 secs
lola: 4815848 markings, 15172460 edges, 42227 markings/sec, 130 secs
lola: 5019472 markings, 15656581 edges, 40725 markings/sec, 135 secs
lola: 5199700 markings, 16230470 edges, 36046 markings/sec, 140 secs
lola: 5395816 markings, 16726418 edges, 39223 markings/sec, 145 secs
lola: 5601451 markings, 17182699 edges, 41127 markings/sec, 150 secs
lola: 5797299 markings, 17670311 edges, 39170 markings/sec, 155 secs
lola: 5955207 markings, 18272405 edges, 31582 markings/sec, 160 secs
lola: 6127053 markings, 18902573 edges, 34369 markings/sec, 165 secs
lola: 6311422 markings, 19515822 edges, 36874 markings/sec, 170 secs
lola: 6379845 markings, 20310186 edges, 13685 markings/sec, 175 secs
lola: 6500668 markings, 21061190 edges, 24165 markings/sec, 180 secs
lola: 6720578 markings, 21590717 edges, 43982 markings/sec, 185 secs
lola: 6900985 markings, 22234175 edges, 36081 markings/sec, 190 secs
lola: 7080562 markings, 22887326 edges, 35915 markings/sec, 195 secs
lola: 7280541 markings, 23423620 edges, 39996 markings/sec, 200 secs
lola: 7439365 markings, 24100308 edges, 31765 markings/sec, 205 secs
lola: 7636904 markings, 24706907 edges, 39508 markings/sec, 210 secs
lola: 7831505 markings, 25278759 edges, 38920 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(p424)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 265971 markings, 474803 edges, 53194 markings/sec, 0 secs
lola: 499887 markings, 1029921 edges, 46783 markings/sec, 5 secs
lola: 734921 markings, 1520979 edges, 47007 markings/sec, 10 secs
lola: 938341 markings, 2084030 edges, 40684 markings/sec, 15 secs
lola: 1145984 markings, 2636063 edges, 41529 markings/sec, 20 secs
lola: 1350952 markings, 3183184 edges, 40994 markings/sec, 25 secs
lola: 1572877 markings, 3727606 edges, 44385 markings/sec, 30 secs
lola: 1815770 markings, 4246104 edges, 48579 markings/sec, 35 secs
lola: 2029307 markings, 4766718 edges, 42707 markings/sec, 40 secs
lola: 2220816 markings, 5264691 edges, 38302 markings/sec, 45 secs
lola: 2375031 markings, 5838035 edges, 30843 markings/sec, 50 secs
lola: 2577132 markings, 6411713 edges, 40420 markings/sec, 55 secs
lola: 2758537 markings, 7025887 edges, 36281 markings/sec, 60 secs
lola: 2918723 markings, 7607861 edges, 32037 markings/sec, 65 secs
lola: 3090068 markings, 8253597 edges, 34269 markings/sec, 70 secs
lola: 3296023 markings, 8805368 edges, 41191 markings/sec, 75 secs
lola: 3475308 markings, 9280306 edges, 35857 markings/sec, 80 secs
lola: 3649622 markings, 9776551 edges, 34863 markings/sec, 85 secs
lola: 3836039 markings, 10215916 edges, 37283 markings/sec, 90 secs
lola: 3990624 markings, 10710632 edges, 30917 markings/sec, 95 secs
lola: 4136067 markings, 11308013 edges, 29089 markings/sec, 100 secs
lola: 4321490 markings, 11797057 edges, 37085 markings/sec, 105 secs
lola: 4490561 markings, 12247878 edges, 33814 markings/sec, 110 secs
lola: 4656340 markings, 12740463 edges, 33156 markings/sec, 115 secs
lola: 4840390 markings, 13286670 edges, 36810 markings/sec, 120 secs
lola: 5025502 markings, 13763733 edges, 37022 markings/sec, 125 secs
lola: 5185323 markings, 14222072 edges, 31964 markings/sec, 130 secs
lola: 5326428 markings, 14683964 edges, 28221 markings/sec, 135 secs
lola: 5475541 markings, 15123626 edges, 29823 markings/sec, 140 secs
lola: 5640118 markings, 15569048 edges, 32915 markings/sec, 145 secs
lola: 5847928 markings, 16079407 edges, 41562 markings/sec, 150 secs
lola: 6045760 markings, 16548407 edges, 39566 markings/sec, 155 secs
lola: 6283222 markings, 17002208 edges, 47492 markings/sec, 160 secs
lola: 6483160 markings, 17523710 edges, 39988 markings/sec, 165 secs
lola: 6675432 markings, 18076887 edges, 38454 markings/sec, 170 secs
lola: 6878758 markings, 18607221 edges, 40665 markings/sec, 175 secs
lola: 7102017 markings, 19158426 edges, 44652 markings/sec, 180 secs
lola: 7323980 markings, 19681287 edges, 44393 markings/sec, 185 secs
lola: 7540140 markings, 20213986 edges, 43232 markings/sec, 190 secs
lola: 7778735 markings, 20740590 edges, 47719 markings/sec, 195 secs
lola: 7996253 markings, 21252321 edges, 43504 markings/sec, 200 secs
lola: 8210445 markings, 21747229 edges, 42838 markings/sec, 205 secs
lola: 8394205 markings, 22226104 edges, 36752 markings/sec, 210 secs
lola: 8588825 markings, 22732333 edges, 38924 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(p419)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 181235 markings, 438808 edges, 36247 markings/sec, 0 secs
lola: 343876 markings, 911365 edges, 32528 markings/sec, 5 secs
lola: 526949 markings, 1399494 edges, 36615 markings/sec, 10 secs
lola: 703418 markings, 1865090 edges, 35294 markings/sec, 15 secs
lola: 858620 markings, 2395942 edges, 31040 markings/sec, 20 secs
lola: 1016543 markings, 2871094 edges, 31585 markings/sec, 25 secs
lola: 1159102 markings, 3394990 edges, 28512 markings/sec, 30 secs
lola: 1299680 markings, 3947019 edges, 28116 markings/sec, 35 secs
lola: 1439755 markings, 4503593 edges, 28015 markings/sec, 40 secs
lola: 1583561 markings, 5043420 edges, 28761 markings/sec, 45 secs
lola: 1743754 markings, 5524120 edges, 32039 markings/sec, 50 secs
lola: 1923425 markings, 6035243 edges, 35934 markings/sec, 55 secs
lola: 2112353 markings, 6547276 edges, 37786 markings/sec, 60 secs
lola: 2280964 markings, 7002313 edges, 33722 markings/sec, 65 secs
lola: 2423570 markings, 7513168 edges, 28521 markings/sec, 70 secs
lola: 2561067 markings, 8050968 edges, 27499 markings/sec, 75 secs
lola: 2700161 markings, 8590278 edges, 27819 markings/sec, 80 secs
lola: 2834620 markings, 9130014 edges, 26892 markings/sec, 85 secs
lola: 2969283 markings, 9660241 edges, 26933 markings/sec, 90 secs
lola: 3154168 markings, 10201268 edges, 36977 markings/sec, 95 secs
lola: 3292927 markings, 10744321 edges, 27752 markings/sec, 100 secs
lola: 3458485 markings, 11251192 edges, 33112 markings/sec, 105 secs
lola: 3657678 markings, 11748193 edges, 39839 markings/sec, 110 secs
lola: 3857823 markings, 12234355 edges, 40029 markings/sec, 115 secs
lola: 4031436 markings, 12710256 edges, 34723 markings/sec, 120 secs
lola: 4198810 markings, 13235103 edges, 33475 markings/sec, 125 secs
lola: 4371027 markings, 13748964 edges, 34443 markings/sec, 130 secs
lola: 4545752 markings, 14210713 edges, 34945 markings/sec, 135 secs
lola: 4725240 markings, 14677757 edges, 35898 markings/sec, 140 secs
lola: 4888303 markings, 15161547 edges, 32613 markings/sec, 145 secs
lola: 5047186 markings, 15659371 edges, 31777 markings/sec, 150 secs
lola: 5230253 markings, 16122007 edges, 36613 markings/sec, 155 secs
lola: 5372711 markings, 16652083 edges, 28492 markings/sec, 160 secs
lola: 5524998 markings, 17143473 edges, 30457 markings/sec, 165 secs
lola: 5676981 markings, 17664640 edges, 30397 markings/sec, 170 secs
lola: 5845495 markings, 18123598 edges, 33703 markings/sec, 175 secs
lola: 6013443 markings, 18542923 edges, 33590 markings/sec, 180 secs
lola: 6158263 markings, 18988161 edges, 28964 markings/sec, 185 secs
lola: 6315658 markings, 19482032 edges, 31479 markings/sec, 190 secs
lola: 6432084 markings, 19957325 edges, 23285 markings/sec, 195 secs
lola: 6565300 markings, 20446499 edges, 26643 markings/sec, 200 secs
lola: 6702536 markings, 20943100 edges, 27447 markings/sec, 205 secs
lola: 6856628 markings, 21428671 edges, 30818 markings/sec, 210 secs
lola: 7008792 markings, 21980127 edges, 30433 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(p218)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 247541 markings, 453096 edges, 49508 markings/sec, 0 secs
lola: 528854 markings, 1092697 edges, 56263 markings/sec, 5 secs
lola: 813139 markings, 1721864 edges, 56857 markings/sec, 10 secs
lola: 1091923 markings, 2372009 edges, 55757 markings/sec, 15 secs
lola: 1356460 markings, 3013181 edges, 52907 markings/sec, 20 secs
lola: 1623612 markings, 3632012 edges, 53430 markings/sec, 25 secs
lola: 1901827 markings, 4192405 edges, 55643 markings/sec, 30 secs
lola: 2177685 markings, 4780836 edges, 55172 markings/sec, 35 secs
lola: 2439204 markings, 5438195 edges, 52304 markings/sec, 40 secs
lola: 2709622 markings, 6043993 edges, 54084 markings/sec, 45 secs
lola: 2980838 markings, 6675291 edges, 54243 markings/sec, 50 secs
lola: 3246892 markings, 7316472 edges, 53211 markings/sec, 55 secs
lola: 3505836 markings, 7925303 edges, 51789 markings/sec, 60 secs
lola: 3777218 markings, 8529082 edges, 54276 markings/sec, 65 secs
lola: 4010488 markings, 9062810 edges, 46654 markings/sec, 70 secs
lola: 4293360 markings, 9683181 edges, 56574 markings/sec, 75 secs
lola: 4530475 markings, 10249856 edges, 47423 markings/sec, 80 secs
lola: 4758999 markings, 10818337 edges, 45705 markings/sec, 85 secs
lola: 5047263 markings, 11391163 edges, 57653 markings/sec, 90 secs
lola: 5320057 markings, 11988467 edges, 54559 markings/sec, 95 secs
lola: 5598662 markings, 12562751 edges, 55721 markings/sec, 100 secs
lola: 5842834 markings, 13132419 edges, 48834 markings/sec, 105 secs
lola: 6107132 markings, 13735413 edges, 52860 markings/sec, 110 secs
lola: 6311950 markings, 14386827 edges, 40964 markings/sec, 115 secs
lola: 6508448 markings, 15016904 edges, 39300 markings/sec, 120 secs
lola: 6732149 markings, 15646500 edges, 44740 markings/sec, 125 secs
lola: 6996869 markings, 16311298 edges, 52944 markings/sec, 130 secs
lola: 7254514 markings, 16980295 edges, 51529 markings/sec, 135 secs
lola: 7526339 markings, 17678682 edges, 54365 markings/sec, 140 secs
lola: 7775137 markings, 18332111 edges, 49760 markings/sec, 145 secs
lola: 8033924 markings, 19002058 edges, 51757 markings/sec, 150 secs
lola: 8279186 markings, 19646774 edges, 49052 markings/sec, 155 secs
lola: 8537501 markings, 20184652 edges, 51663 markings/sec, 160 secs
lola: 8803111 markings, 20722346 edges, 53122 markings/sec, 165 secs
lola: 9076613 markings, 21361221 edges, 54700 markings/sec, 170 secs
lola: 9341658 markings, 22000597 edges, 53009 markings/sec, 175 secs
lola: 9606830 markings, 22648961 edges, 53034 markings/sec, 180 secs
lola: 9867932 markings, 23264724 edges, 52220 markings/sec, 185 secs
lola: 10132334 markings, 23873585 edges, 52880 markings/sec, 190 secs
lola: 10406646 markings, 24427841 edges, 54862 markings/sec, 195 secs
lola: 10677832 markings, 25008383 edges, 54237 markings/sec, 200 secs
lola: 10933554 markings, 25653268 edges, 51144 markings/sec, 205 secs
lola: 11185253 markings, 26276493 edges, 50340 markings/sec, 210 secs
lola: 11442517 markings, 26891224 edges, 51453 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(p441)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 325687 markings, 461633 edges, 65137 markings/sec, 0 secs
lola: 589312 markings, 968987 edges, 52725 markings/sec, 5 secs
lola: 846926 markings, 1467231 edges, 51523 markings/sec, 10 secs
lola: 1036771 markings, 1967872 edges, 37969 markings/sec, 15 secs
lola: 1296031 markings, 2529949 edges, 51852 markings/sec, 20 secs
lola: 1560973 markings, 3117956 edges, 52988 markings/sec, 25 secs
lola: 1776363 markings, 3654518 edges, 43078 markings/sec, 30 secs
lola: 1998618 markings, 4216016 edges, 44451 markings/sec, 35 secs
lola: 2279305 markings, 4760877 edges, 56137 markings/sec, 40 secs
lola: 2542969 markings, 5273479 edges, 52733 markings/sec, 45 secs
lola: 2747764 markings, 5818375 edges, 40959 markings/sec, 50 secs
lola: 3063118 markings, 6409078 edges, 63071 markings/sec, 55 secs
lola: 3354688 markings, 6983908 edges, 58314 markings/sec, 60 secs
lola: 3576571 markings, 7567548 edges, 44377 markings/sec, 65 secs
lola: 3835773 markings, 8107348 edges, 51840 markings/sec, 70 secs
lola: 4032148 markings, 8705610 edges, 39275 markings/sec, 75 secs
lola: 4249950 markings, 9254901 edges, 43560 markings/sec, 80 secs
lola: 4470834 markings, 9808971 edges, 44177 markings/sec, 85 secs
lola: 4671299 markings, 10389536 edges, 40093 markings/sec, 90 secs
lola: 4882954 markings, 10927018 edges, 42331 markings/sec, 95 secs
lola: 5089991 markings, 11494738 edges, 41407 markings/sec, 100 secs
lola: 5303301 markings, 12047500 edges, 42662 markings/sec, 105 secs
lola: 5514550 markings, 12600654 edges, 42250 markings/sec, 110 secs
lola: 5706712 markings, 13185291 edges, 38432 markings/sec, 115 secs
lola: 5977840 markings, 13700676 edges, 54226 markings/sec, 120 secs
lola: 6216499 markings, 14212955 edges, 47732 markings/sec, 125 secs
lola: 6422677 markings, 14779085 edges, 41236 markings/sec, 130 secs
lola: 6633597 markings, 15315064 edges, 42184 markings/sec, 135 secs
lola: 6851530 markings, 15841541 edges, 43587 markings/sec, 140 secs
lola: 7046906 markings, 16418072 edges, 39075 markings/sec, 145 secs
lola: 7354760 markings, 16990223 edges, 61571 markings/sec, 150 secs
lola: 7635151 markings, 17564848 edges, 56078 markings/sec, 155 secs
lola: 7889437 markings, 18137573 edges, 50857 markings/sec, 160 secs
lola: 8182955 markings, 18721116 edges, 58704 markings/sec, 165 secs
lola: 8463474 markings, 19318677 edges, 56104 markings/sec, 170 secs
lola: 8703869 markings, 19843463 edges, 48079 markings/sec, 175 secs
lola: 8926681 markings, 20368310 edges, 44562 markings/sec, 180 secs
lola: 9126072 markings, 20931104 edges, 39878 markings/sec, 185 secs
lola: 9407776 markings, 21603123 edges, 56341 markings/sec, 190 secs
lola: 9609826 markings, 22118624 edges, 40410 markings/sec, 195 secs
lola: 9924529 markings, 22692656 edges, 62941 markings/sec, 200 secs
lola: 10159214 markings, 23242328 edges, 46937 markings/sec, 205 secs
lola: 10422723 markings, 23755972 edges, 52702 markings/sec, 210 secs
lola: 10716589 markings, 24347027 edges, 58773 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(p304)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 365339 markings, 641867 edges, 73068 markings/sec, 0 secs
lola: 763240 markings, 1322542 edges, 79580 markings/sec, 5 secs
lola: 1160185 markings, 2011611 edges, 79389 markings/sec, 10 secs
lola: 1546489 markings, 2674446 edges, 77261 markings/sec, 15 secs
lola: 1931049 markings, 3340502 edges, 76912 markings/sec, 20 secs
lola: 2285309 markings, 4011865 edges, 70852 markings/sec, 25 secs
lola: 2529273 markings, 4740812 edges, 48793 markings/sec, 30 secs
lola: 2794942 markings, 5419898 edges, 53134 markings/sec, 35 secs
lola: 3075477 markings, 6088165 edges, 56107 markings/sec, 40 secs
lola: 3398812 markings, 6751179 edges, 64667 markings/sec, 45 secs
lola: 3668644 markings, 7463257 edges, 53966 markings/sec, 50 secs
lola: 3946091 markings, 8181039 edges, 55489 markings/sec, 55 secs
lola: 4191188 markings, 8928514 edges, 49019 markings/sec, 60 secs
lola: 4411193 markings, 9725668 edges, 44001 markings/sec, 65 secs
lola: 4666326 markings, 10469622 edges, 51027 markings/sec, 70 secs
lola: 4909473 markings, 11209119 edges, 48629 markings/sec, 75 secs
lola: 5126773 markings, 12011244 edges, 43460 markings/sec, 80 secs
lola: 5380890 markings, 12757643 edges, 50823 markings/sec, 85 secs
lola: 5634362 markings, 13488072 edges, 50694 markings/sec, 90 secs
lola: 5835103 markings, 14282307 edges, 40148 markings/sec, 95 secs
lola: 6109644 markings, 15001136 edges, 54908 markings/sec, 100 secs
lola: 6439351 markings, 15673143 edges, 65941 markings/sec, 105 secs
lola: 6684244 markings, 16367627 edges, 48979 markings/sec, 110 secs
lola: 6988218 markings, 17045217 edges, 60795 markings/sec, 115 secs
lola: 7221832 markings, 17751717 edges, 46723 markings/sec, 120 secs
lola: 7497288 markings, 18418253 edges, 55091 markings/sec, 125 secs
lola: 7756065 markings, 19078820 edges, 51755 markings/sec, 130 secs
lola: 8008798 markings, 19719631 edges, 50547 markings/sec, 135 secs
lola: 8272886 markings, 20383915 edges, 52818 markings/sec, 140 secs
lola: 8586356 markings, 21019143 edges, 62694 markings/sec, 145 secs
lola: 8811177 markings, 21705061 edges, 44964 markings/sec, 150 secs
lola: 9087490 markings, 22402584 edges, 55263 markings/sec, 155 secs
lola: 9355379 markings, 23141334 edges, 53578 markings/sec, 160 secs
lola: 9545008 markings, 23900937 edges, 37926 markings/sec, 165 secs
lola: 9786679 markings, 24652240 edges, 48334 markings/sec, 170 secs
lola: 10063806 markings, 25391721 edges, 55425 markings/sec, 175 secs
lola: 10266759 markings, 26125542 edges, 40591 markings/sec, 180 secs
lola: 10485000 markings, 26893960 edges, 43648 markings/sec, 185 secs
lola: 10773471 markings, 27606965 edges, 57694 markings/sec, 190 secs
lola: 10986995 markings, 28338252 edges, 42705 markings/sec, 195 secs
lola: 11182933 markings, 29118199 edges, 39188 markings/sec, 200 secs
lola: 11510508 markings, 29781136 edges, 65515 markings/sec, 205 secs
lola: 11745220 markings, 30484309 edges, 46942 markings/sec, 210 secs
lola: 12011370 markings, 31148651 edges, 53230 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(p341)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 273527 markings, 484677 edges, 54705 markings/sec, 0 secs
lola: 560928 markings, 1086885 edges, 57480 markings/sec, 5 secs
lola: 801187 markings, 1654149 edges, 48052 markings/sec, 10 secs
lola: 1040063 markings, 2255286 edges, 47775 markings/sec, 15 secs
lola: 1291687 markings, 2861809 edges, 50325 markings/sec, 20 secs
lola: 1537322 markings, 3418634 edges, 49127 markings/sec, 25 secs
lola: 1804505 markings, 3958725 edges, 53437 markings/sec, 30 secs
lola: 2014222 markings, 4467443 edges, 41943 markings/sec, 35 secs
lola: 2188842 markings, 5055809 edges, 34924 markings/sec, 40 secs
lola: 2373249 markings, 5667065 edges, 36881 markings/sec, 45 secs
lola: 2670822 markings, 6358240 edges, 59515 markings/sec, 50 secs
lola: 2859886 markings, 7024910 edges, 37813 markings/sec, 55 secs
lola: 3069412 markings, 7627729 edges, 41905 markings/sec, 60 secs
lola: 3272860 markings, 8153299 edges, 40690 markings/sec, 65 secs
lola: 3453859 markings, 8669120 edges, 36200 markings/sec, 70 secs
lola: 3649040 markings, 9147637 edges, 39036 markings/sec, 75 secs
lola: 3824724 markings, 9638917 edges, 35137 markings/sec, 80 secs
lola: 3961216 markings, 10247956 edges, 27298 markings/sec, 85 secs
lola: 4147188 markings, 10768543 edges, 37194 markings/sec, 90 secs
lola: 4327347 markings, 11244850 edges, 36032 markings/sec, 95 secs
lola: 4495188 markings, 11733244 edges, 33568 markings/sec, 100 secs
lola: 4685177 markings, 12295351 edges, 37998 markings/sec, 105 secs
lola: 4873363 markings, 12785355 edges, 37637 markings/sec, 110 secs
lola: 5039805 markings, 13258641 edges, 33288 markings/sec, 115 secs
lola: 5187034 markings, 13735947 edges, 29446 markings/sec, 120 secs
lola: 5341230 markings, 14187705 edges, 30839 markings/sec, 125 secs
lola: 5512994 markings, 14651023 edges, 34353 markings/sec, 130 secs
lola: 5722854 markings, 15166127 edges, 41972 markings/sec, 135 secs
lola: 5937441 markings, 15641086 edges, 42917 markings/sec, 140 secs
lola: 6172881 markings, 16149955 edges, 47088 markings/sec, 145 secs
lola: 6401485 markings, 16727449 edges, 45721 markings/sec, 150 secs
lola: 6640377 markings, 17300951 edges, 47778 markings/sec, 155 secs
lola: 6895408 markings, 17899146 edges, 51006 markings/sec, 160 secs
lola: 7175506 markings, 18461854 edges, 56020 markings/sec, 165 secs
lola: 7410686 markings, 19011835 edges, 47036 markings/sec, 170 secs
lola: 7667341 markings, 19546256 edges, 51331 markings/sec, 175 secs
lola: 7885187 markings, 20039803 edges, 43569 markings/sec, 180 secs
lola: 8084079 markings, 20538920 edges, 39778 markings/sec, 185 secs
lola: 8280819 markings, 21075252 edges, 39348 markings/sec, 190 secs
lola: 8452703 markings, 21645543 edges, 34377 markings/sec, 195 secs
lola: 8618240 markings, 22264561 edges, 33107 markings/sec, 200 secs
lola: 8956864 markings, 22919464 edges, 67725 markings/sec, 205 secs
lola: 9176512 markings, 23577734 edges, 43930 markings/sec, 210 secs
lola: 9389803 markings, 24242359 edges, 42658 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(p57)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 374405 markings, 592040 edges, 74881 markings/sec, 0 secs
lola: 728580 markings, 1168956 edges, 70835 markings/sec, 5 secs
lola: 1047249 markings, 1748366 edges, 63734 markings/sec, 10 secs
lola: 1370553 markings, 2295068 edges, 64661 markings/sec, 15 secs
lola: 1679246 markings, 2872095 edges, 61739 markings/sec, 20 secs
lola: 1993728 markings, 3453677 edges, 62896 markings/sec, 25 secs
lola: 2382107 markings, 4080483 edges, 77676 markings/sec, 30 secs
lola: 2751217 markings, 4649588 edges, 73822 markings/sec, 35 secs
lola: 3113490 markings, 5228954 edges, 72455 markings/sec, 40 secs
lola: 3537628 markings, 5886019 edges, 84828 markings/sec, 45 secs
lola: 3975432 markings, 6515807 edges, 87561 markings/sec, 50 secs
lola: 4393431 markings, 7121078 edges, 83600 markings/sec, 55 secs
lola: 4810453 markings, 7725095 edges, 83404 markings/sec, 60 secs
lola: 5223646 markings, 8335637 edges, 82639 markings/sec, 65 secs
lola: 5561178 markings, 8978586 edges, 67506 markings/sec, 70 secs
lola: 5927843 markings, 9583220 edges, 73333 markings/sec, 75 secs
lola: 6336541 markings, 10226528 edges, 81740 markings/sec, 80 secs
lola: 6642985 markings, 10973643 edges, 61289 markings/sec, 85 secs
lola: 7024560 markings, 11592764 edges, 76315 markings/sec, 90 secs
lola: 7323142 markings, 12258219 edges, 59716 markings/sec, 95 secs
lola: 7626670 markings, 12899864 edges, 60706 markings/sec, 100 secs
lola: 7864785 markings, 13472863 edges, 47623 markings/sec, 105 secs
lola: 8018631 markings, 14170303 edges, 30769 markings/sec, 110 secs
lola: 8259483 markings, 14821234 edges, 48170 markings/sec, 115 secs
lola: 8523621 markings, 15477372 edges, 52828 markings/sec, 120 secs
lola: 8864182 markings, 16125493 edges, 68112 markings/sec, 125 secs
lola: 9202421 markings, 16767333 edges, 67648 markings/sec, 130 secs
lola: 9525475 markings, 17389061 edges, 64611 markings/sec, 135 secs
lola: 9889859 markings, 18000920 edges, 72877 markings/sec, 140 secs
lola: 10236893 markings, 18610540 edges, 69407 markings/sec, 145 secs
lola: 10551984 markings, 19249021 edges, 63018 markings/sec, 150 secs
lola: 10796522 markings, 19859986 edges, 48908 markings/sec, 155 secs
lola: 11123705 markings, 20486647 edges, 65437 markings/sec, 160 secs
lola: 11440052 markings, 21067443 edges, 63269 markings/sec, 165 secs
lola: 11747966 markings, 21647109 edges, 61583 markings/sec, 170 secs
lola: 12073026 markings, 22255844 edges, 65012 markings/sec, 175 secs
lola: 12433838 markings, 22834214 edges, 72162 markings/sec, 180 secs
lola: 12766682 markings, 23447632 edges, 66569 markings/sec, 185 secs
lola: 13025486 markings, 24058662 edges, 51761 markings/sec, 190 secs
lola: 13347419 markings, 24670948 edges, 64387 markings/sec, 195 secs
lola: 13661053 markings, 25289117 edges, 62727 markings/sec, 200 secs
lola: 14006600 markings, 25885277 edges, 69109 markings/sec, 205 secs
lola: 14351356 markings, 26492669 edges, 68951 markings/sec, 210 secs
lola: 14647870 markings, 27052261 edges, 59303 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p416)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 263235 markings, 467281 edges, 52647 markings/sec, 0 secs
lola: 498326 markings, 1024308 edges, 47018 markings/sec, 5 secs
lola: 717146 markings, 1521368 edges, 43764 markings/sec, 10 secs
lola: 919675 markings, 2067816 edges, 40506 markings/sec, 15 secs
lola: 1125083 markings, 2611678 edges, 41082 markings/sec, 20 secs
lola: 1344717 markings, 3159471 edges, 43927 markings/sec, 25 secs
lola: 1556123 markings, 3705371 edges, 42281 markings/sec, 30 secs
lola: 1805896 markings, 4209349 edges, 49955 markings/sec, 35 secs
lola: 2008413 markings, 4691724 edges, 40503 markings/sec, 40 secs
lola: 2181930 markings, 5219364 edges, 34703 markings/sec, 45 secs
lola: 2378940 markings, 5793398 edges, 39402 markings/sec, 50 secs
lola: 2564075 markings, 6386559 edges, 37027 markings/sec, 55 secs
lola: 2752130 markings, 6965609 edges, 37611 markings/sec, 60 secs
lola: 2895928 markings, 7562514 edges, 28760 markings/sec, 65 secs
lola: 3069197 markings, 8193412 edges, 34654 markings/sec, 70 secs
lola: 3273755 markings, 8733816 edges, 40912 markings/sec, 75 secs
lola: 3450250 markings, 9203313 edges, 35299 markings/sec, 80 secs
lola: 3623549 markings, 9696023 edges, 34660 markings/sec, 85 secs
lola: 3808168 markings, 10129451 edges, 36924 markings/sec, 90 secs
lola: 3963067 markings, 10616668 edges, 30980 markings/sec, 95 secs
lola: 4104050 markings, 11211449 edges, 28197 markings/sec, 100 secs
lola: 4288266 markings, 11693448 edges, 36843 markings/sec, 105 secs
lola: 4455307 markings, 12147305 edges, 33408 markings/sec, 110 secs
lola: 4617676 markings, 12627314 edges, 32474 markings/sec, 115 secs
lola: 4802474 markings, 13176604 edges, 36960 markings/sec, 120 secs
lola: 4986325 markings, 13652199 edges, 36770 markings/sec, 125 secs
lola: 5145101 markings, 14108224 edges, 31755 markings/sec, 130 secs
lola: 5289307 markings, 14556324 edges, 28841 markings/sec, 135 secs
lola: 5433839 markings, 14997392 edges, 28906 markings/sec, 140 secs
lola: 5592977 markings, 15434316 edges, 31828 markings/sec, 145 secs
lola: 5797733 markings, 15942113 edges, 40951 markings/sec, 150 secs
lola: 5985786 markings, 16424953 edges, 37611 markings/sec, 155 secs
lola: 6232013 markings, 16851081 edges, 49245 markings/sec, 160 secs
lola: 6428909 markings, 17368806 edges, 39379 markings/sec, 165 secs
lola: 6617184 markings, 17925059 edges, 37655 markings/sec, 170 secs
lola: 6824976 markings, 18438280 edges, 41558 markings/sec, 175 secs
lola: 7050012 markings, 18984660 edges, 45007 markings/sec, 180 secs
lola: 7264481 markings, 19522443 edges, 42894 markings/sec, 185 secs
lola: 7485434 markings, 20043376 edges, 44191 markings/sec, 190 secs
lola: 7715671 markings, 20570392 edges, 46047 markings/sec, 195 secs
lola: 7940554 markings, 21069659 edges, 44977 markings/sec, 200 secs
lola: 8140227 markings, 21532860 edges, 39935 markings/sec, 205 secs
lola: 8326760 markings, 22032656 edges, 37307 markings/sec, 210 secs
lola: 8506330 markings, 22556499 edges, 35914 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(p333)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 72 bytes per marking, with 29 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: 363852 markings, 627991 edges, 72770 markings/sec, 0 secs
lola: 678500 markings, 1278417 edges, 62930 markings/sec, 5 secs
lola: 993806 markings, 1897967 edges, 63061 markings/sec, 10 secs
lola: 1320182 markings, 2460807 edges, 65275 markings/sec, 15 secs
lola: 1614642 markings, 3061011 edges, 58892 markings/sec, 20 secs
lola: 1930543 markings, 3728697 edges, 63180 markings/sec, 25 secs
lola: 2191729 markings, 4416207 edges, 52237 markings/sec, 30 secs
lola: 2433082 markings, 5099424 edges, 48271 markings/sec, 35 secs
lola: 2700683 markings, 5633314 edges, 53520 markings/sec, 40 secs
lola: 2985385 markings, 6147772 edges, 56940 markings/sec, 45 secs
lola: 3184449 markings, 6714041 edges, 39813 markings/sec, 50 secs
lola: 3434154 markings, 7240722 edges, 49941 markings/sec, 55 secs
lola: 3675142 markings, 7792915 edges, 48198 markings/sec, 60 secs
lola: 3916918 markings, 8310585 edges, 48355 markings/sec, 65 secs
lola: 4145887 markings, 8799386 edges, 45794 markings/sec, 70 secs
lola: 4347754 markings, 9239820 edges, 40373 markings/sec, 75 secs
lola: 4559937 markings, 9755429 edges, 42437 markings/sec, 80 secs
lola: 4904161 markings, 10372224 edges, 68845 markings/sec, 85 secs
lola: 5244981 markings, 10970751 edges, 68164 markings/sec, 90 secs
lola: 5554644 markings, 11588040 edges, 61933 markings/sec, 95 secs
lola: 5910663 markings, 12203657 edges, 71204 markings/sec, 100 secs
lola: 6283218 markings, 12793286 edges, 74511 markings/sec, 105 secs
lola: 6609778 markings, 13355647 edges, 65312 markings/sec, 110 secs
lola: 6977885 markings, 13964023 edges, 73621 markings/sec, 115 secs
lola: 7333966 markings, 14633893 edges, 71216 markings/sec, 120 secs
lola: 7659439 markings, 15309272 edges, 65095 markings/sec, 125 secs
lola: 7884389 markings, 16022604 edges, 44990 markings/sec, 130 secs
lola: 8172030 markings, 16547165 edges, 57528 markings/sec, 135 secs
lola: 8452350 markings, 17056933 edges, 56064 markings/sec, 140 secs
lola: 8752036 markings, 17599065 edges, 59937 markings/sec, 145 secs
lola: 9035628 markings, 18109111 edges, 56718 markings/sec, 150 secs
lola: 9325627 markings, 18613407 edges, 58000 markings/sec, 155 secs
lola: 9541611 markings, 19162866 edges, 43197 markings/sec, 160 secs
lola: 9820325 markings, 19672855 edges, 55743 markings/sec, 165 secs
lola: 10064392 markings, 20159300 edges, 48813 markings/sec, 170 secs
lola: 10292450 markings, 20617361 edges, 45612 markings/sec, 175 secs
lola: 10515690 markings, 21055819 edges, 44648 markings/sec, 180 secs
lola: 10809020 markings, 21645695 edges, 58666 markings/sec, 185 secs
lola: 11063753 markings, 22163167 edges, 50947 markings/sec, 190 secs
lola: 11353279 markings, 22752049 edges, 57905 markings/sec, 195 secs
lola: 11666611 markings, 23352701 edges, 62666 markings/sec, 200 secs
lola: 12009080 markings, 23967055 edges, 68494 markings/sec, 205 secs
lola: 12326579 markings, 24538766 edges, 63500 markings/sec, 210 secs
lola: 12640474 markings, 25152760 edges, 62779 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 CloudDeployment-PT-2b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-2b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496441434308

--------------------
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_CloudDeployment-PT-2b"
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_CloudDeployment-PT-2b.tgz
mv S_CloudDeployment-PT-2b 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_CloudDeployment-PT-2b, 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-149488455400011"
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 ;