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

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

=== Now, execution of the tool begins

BK_START 1496437952858


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


checking for too many tokens
===========================================================================================
S_CloudDeployment-PT-5b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_CloudDeployment-PT-5b @ 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: 4657/65536 symbol table entries, 459 collisions
lola: preprocessing...
lola: finding significant places
lola: 1525 places, 3132 transitions, 1504 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2183 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-5b-UpperBounds.task
lola: MAX(p670) : MAX(p667) : MAX(p433) : MAX(p1197) : MAX(p1431) : MAX(p1060) : MAX(p310) : MAX(p1031) : MAX(p970) : MAX(p890) : MAX(p282) : MAX(p763) : MAX(p788) : MAX(p276) : MAX(p1333) : MAX(p136)
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(p670)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 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: 98037 markings, 135341 edges, 19607 markings/sec, 0 secs
lola: 182881 markings, 341459 edges, 16969 markings/sec, 5 secs
lola: 281846 markings, 483881 edges, 19793 markings/sec, 10 secs
lola: 367490 markings, 685440 edges, 17129 markings/sec, 15 secs
lola: 464802 markings, 838430 edges, 19462 markings/sec, 20 secs
lola: 550554 markings, 1035147 edges, 17150 markings/sec, 25 secs
lola: 642097 markings, 1211532 edges, 18309 markings/sec, 30 secs
lola: 731356 markings, 1391892 edges, 17852 markings/sec, 35 secs
lola: 815189 markings, 1602327 edges, 16767 markings/sec, 40 secs
lola: 912319 markings, 1758278 edges, 19426 markings/sec, 45 secs
lola: 998881 markings, 1954996 edges, 17312 markings/sec, 50 secs
lola: 1088886 markings, 2134801 edges, 18001 markings/sec, 55 secs
lola: 1179464 markings, 2311896 edges, 18116 markings/sec, 60 secs
lola: 1265349 markings, 2523573 edges, 17177 markings/sec, 65 secs
lola: 1365984 markings, 2703653 edges, 20127 markings/sec, 70 secs
lola: 1463850 markings, 2882785 edges, 19573 markings/sec, 75 secs
lola: 1556144 markings, 3075165 edges, 18459 markings/sec, 80 secs
lola: 1648914 markings, 3267826 edges, 18554 markings/sec, 85 secs
lola: 1746924 markings, 3439708 edges, 19602 markings/sec, 90 secs
lola: 1849333 markings, 3614667 edges, 20482 markings/sec, 95 secs
lola: 1957522 markings, 3770700 edges, 21638 markings/sec, 100 secs
lola: 2066122 markings, 3926658 edges, 21720 markings/sec, 105 secs
lola: 2177419 markings, 4081371 edges, 22259 markings/sec, 110 secs
lola: 2289285 markings, 4235814 edges, 22373 markings/sec, 115 secs
lola: 2400275 markings, 4390951 edges, 22198 markings/sec, 120 secs
lola: 2510033 markings, 4547369 edges, 21952 markings/sec, 125 secs
lola: 2618586 markings, 4705090 edges, 21711 markings/sec, 130 secs
lola: 2726154 markings, 4865669 edges, 21514 markings/sec, 135 secs
lola: 2832665 markings, 5027627 edges, 21302 markings/sec, 140 secs
lola: 2937870 markings, 5189907 edges, 21041 markings/sec, 145 secs
lola: 3041876 markings, 5355475 edges, 20801 markings/sec, 150 secs
lola: 3144682 markings, 5519500 edges, 20561 markings/sec, 155 secs
lola: 3246482 markings, 5683795 edges, 20360 markings/sec, 160 secs
lola: 3347230 markings, 5849661 edges, 20150 markings/sec, 165 secs
lola: 3446601 markings, 6017784 edges, 19874 markings/sec, 170 secs
lola: 3544399 markings, 6187991 edges, 19560 markings/sec, 175 secs
lola: 3638476 markings, 6362310 edges, 18815 markings/sec, 180 secs
lola: 3730918 markings, 6540131 edges, 18488 markings/sec, 185 secs
lola: 3820643 markings, 6726701 edges, 17945 markings/sec, 190 secs
lola: 3908141 markings, 6923250 edges, 17500 markings/sec, 195 secs
lola: 3996791 markings, 7109549 edges, 17730 markings/sec, 200 secs
lola: 4085250 markings, 7290547 edges, 17692 markings/sec, 205 secs
lola: 4173940 markings, 7472653 edges, 17738 markings/sec, 210 secs
lola: 4260358 markings, 7671981 edges, 17284 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(p667)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 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: 91035 markings, 154907 edges, 18207 markings/sec, 0 secs
lola: 174027 markings, 328475 edges, 16598 markings/sec, 5 secs
lola: 261648 markings, 505750 edges, 17524 markings/sec, 10 secs
lola: 348751 markings, 680610 edges, 17421 markings/sec, 15 secs
lola: 435338 markings, 855934 edges, 17317 markings/sec, 20 secs
lola: 522781 markings, 1020943 edges, 17489 markings/sec, 25 secs
lola: 608678 markings, 1200993 edges, 17179 markings/sec, 30 secs
lola: 700468 markings, 1356232 edges, 18358 markings/sec, 35 secs
lola: 786964 markings, 1543937 edges, 17299 markings/sec, 40 secs
lola: 879872 markings, 1712521 edges, 18582 markings/sec, 45 secs
lola: 971482 markings, 1879049 edges, 18322 markings/sec, 50 secs
lola: 1061998 markings, 2052085 edges, 18103 markings/sec, 55 secs
lola: 1151292 markings, 2229485 edges, 17859 markings/sec, 60 secs
lola: 1242421 markings, 2405136 edges, 18226 markings/sec, 65 secs
lola: 1332982 markings, 2579158 edges, 18112 markings/sec, 70 secs
lola: 1422394 markings, 2752454 edges, 17882 markings/sec, 75 secs
lola: 1512860 markings, 2930710 edges, 18093 markings/sec, 80 secs
lola: 1602181 markings, 3108069 edges, 17864 markings/sec, 85 secs
lola: 1692410 markings, 3284571 edges, 18046 markings/sec, 90 secs
lola: 1782446 markings, 3460036 edges, 18007 markings/sec, 95 secs
lola: 1873291 markings, 3634954 edges, 18169 markings/sec, 100 secs
lola: 1974705 markings, 3776010 edges, 20283 markings/sec, 105 secs
lola: 2065241 markings, 3948954 edges, 18107 markings/sec, 110 secs
lola: 2166904 markings, 4086750 edges, 20333 markings/sec, 115 secs
lola: 2259988 markings, 4249174 edges, 18617 markings/sec, 120 secs
lola: 2355340 markings, 4400856 edges, 19070 markings/sec, 125 secs
lola: 2444647 markings, 4570235 edges, 17861 markings/sec, 130 secs
lola: 2543298 markings, 4716353 edges, 19730 markings/sec, 135 secs
lola: 2641241 markings, 4867260 edges, 19589 markings/sec, 140 secs
lola: 2734254 markings, 5024623 edges, 18603 markings/sec, 145 secs
lola: 2831061 markings, 5178032 edges, 19361 markings/sec, 150 secs
lola: 2930179 markings, 5320333 edges, 19824 markings/sec, 155 secs
lola: 3027843 markings, 5466763 edges, 19533 markings/sec, 160 secs
lola: 3121647 markings, 5620319 edges, 18761 markings/sec, 165 secs
lola: 3215296 markings, 5774380 edges, 18730 markings/sec, 170 secs
lola: 3306066 markings, 5931853 edges, 18154 markings/sec, 175 secs
lola: 3397095 markings, 6093313 edges, 18206 markings/sec, 180 secs
lola: 3494856 markings, 6245196 edges, 19552 markings/sec, 185 secs
lola: 3586627 markings, 6411481 edges, 18354 markings/sec, 190 secs
lola: 3674871 markings, 6574720 edges, 17649 markings/sec, 195 secs
lola: 3761317 markings, 6741904 edges, 17289 markings/sec, 200 secs
lola: 3847010 markings, 6905036 edges, 17139 markings/sec, 205 secs
lola: 3929869 markings, 7073308 edges, 16572 markings/sec, 210 secs
lola: 4012649 markings, 7248373 edges, 16556 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(p433)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 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: 101322 markings, 106369 edges, 20264 markings/sec, 0 secs
lola: 204352 markings, 212614 edges, 20606 markings/sec, 5 secs
lola: 308089 markings, 318678 edges, 20747 markings/sec, 10 secs
lola: 412208 markings, 425109 edges, 20824 markings/sec, 15 secs
lola: 516206 markings, 531419 edges, 20800 markings/sec, 20 secs
lola: 620096 markings, 637630 edges, 20778 markings/sec, 25 secs
lola: 722816 markings, 743147 edges, 20544 markings/sec, 30 secs
lola: 824110 markings, 848176 edges, 20259 markings/sec, 35 secs
lola: 927461 markings, 953633 edges, 20670 markings/sec, 40 secs
lola: 1030951 markings, 1059272 edges, 20698 markings/sec, 45 secs
lola: 1134792 markings, 1165230 edges, 20768 markings/sec, 50 secs
lola: 1238612 markings, 1271251 edges, 20764 markings/sec, 55 secs
lola: 1340202 markings, 1378467 edges, 20318 markings/sec, 60 secs
lola: 1438130 markings, 1491121 edges, 19586 markings/sec, 65 secs
lola: 1536280 markings, 1604118 edges, 19630 markings/sec, 70 secs
lola: 1634208 markings, 1717085 edges, 19586 markings/sec, 75 secs
lola: 1732007 markings, 1831572 edges, 19560 markings/sec, 80 secs
lola: 1829200 markings, 1947286 edges, 19439 markings/sec, 85 secs
lola: 1924488 markings, 2069615 edges, 19058 markings/sec, 90 secs
lola: 2018054 markings, 2201532 edges, 18713 markings/sec, 95 secs
lola: 2112063 markings, 2329916 edges, 18802 markings/sec, 100 secs
lola: 2209606 markings, 2451073 edges, 19509 markings/sec, 105 secs
lola: 2306539 markings, 2571986 edges, 19387 markings/sec, 110 secs
lola: 2404195 markings, 2693692 edges, 19531 markings/sec, 115 secs
lola: 2500735 markings, 2818663 edges, 19308 markings/sec, 120 secs
lola: 2597248 markings, 2945425 edges, 19303 markings/sec, 125 secs
lola: 2691780 markings, 3078495 edges, 18906 markings/sec, 130 secs
lola: 2786252 markings, 3210934 edges, 18894 markings/sec, 135 secs
lola: 2883634 markings, 3331409 edges, 19476 markings/sec, 140 secs
lola: 2980413 markings, 3452644 edges, 19356 markings/sec, 145 secs
lola: 3077615 markings, 3575243 edges, 19440 markings/sec, 150 secs
lola: 3174112 markings, 3700731 edges, 19299 markings/sec, 155 secs
lola: 3270352 markings, 3827446 edges, 19248 markings/sec, 160 secs
lola: 3364176 markings, 3962379 edges, 18765 markings/sec, 165 secs
lola: 3459696 markings, 4086118 edges, 19104 markings/sec, 170 secs
lola: 3557454 markings, 4194193 edges, 19552 markings/sec, 175 secs
lola: 3654814 markings, 4304204 edges, 19472 markings/sec, 180 secs
lola: 3751965 markings, 4416400 edges, 19430 markings/sec, 185 secs
lola: 3849187 markings, 4530039 edges, 19444 markings/sec, 190 secs
lola: 3945763 markings, 4645840 edges, 19315 markings/sec, 195 secs
lola: 4039100 markings, 4774430 edges, 18667 markings/sec, 200 secs
lola: 4134611 markings, 4900282 edges, 19102 markings/sec, 205 secs
lola: 4230132 markings, 5028954 edges, 19104 markings/sec, 210 secs
lola: 4325547 markings, 5158554 edges, 19083 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(p1197)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 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: 69670 markings, 142089 edges, 13934 markings/sec, 0 secs
lola: 137449 markings, 298165 edges, 13556 markings/sec, 5 secs
lola: 200367 markings, 471490 edges, 12584 markings/sec, 10 secs
lola: 263433 markings, 646811 edges, 12613 markings/sec, 15 secs
lola: 328720 markings, 810755 edges, 13057 markings/sec, 20 secs
lola: 392754 markings, 972008 edges, 12807 markings/sec, 25 secs
lola: 455287 markings, 1133449 edges, 12507 markings/sec, 30 secs
lola: 520473 markings, 1296493 edges, 13037 markings/sec, 35 secs
lola: 586110 markings, 1448727 edges, 13127 markings/sec, 40 secs
lola: 653124 markings, 1600313 edges, 13403 markings/sec, 45 secs
lola: 708433 markings, 1762784 edges, 11062 markings/sec, 50 secs
lola: 766357 markings, 1917793 edges, 11585 markings/sec, 55 secs
lola: 823599 markings, 2067188 edges, 11448 markings/sec, 60 secs
lola: 888743 markings, 2216007 edges, 13029 markings/sec, 65 secs
lola: 948868 markings, 2385483 edges, 12025 markings/sec, 70 secs
lola: 1007038 markings, 2548128 edges, 11634 markings/sec, 75 secs
lola: 1077752 markings, 2702690 edges, 14143 markings/sec, 80 secs
lola: 1153808 markings, 2822622 edges, 15211 markings/sec, 85 secs
lola: 1231530 markings, 2932576 edges, 15544 markings/sec, 90 secs
lola: 1308467 markings, 3040774 edges, 15387 markings/sec, 95 secs
lola: 1374272 markings, 3198241 edges, 13161 markings/sec, 100 secs
lola: 1429031 markings, 3359448 edges, 10952 markings/sec, 105 secs
lola: 1486569 markings, 3512341 edges, 11508 markings/sec, 110 secs
lola: 1548403 markings, 3666374 edges, 12367 markings/sec, 115 secs
lola: 1617710 markings, 3822734 edges, 13861 markings/sec, 120 secs
lola: 1686775 markings, 3977545 edges, 13813 markings/sec, 125 secs
lola: 1752630 markings, 4129979 edges, 13171 markings/sec, 130 secs
lola: 1819552 markings, 4290276 edges, 13384 markings/sec, 135 secs
lola: 1884588 markings, 4474253 edges, 13007 markings/sec, 140 secs
lola: 1952111 markings, 4638121 edges, 13505 markings/sec, 145 secs
lola: 2020217 markings, 4804884 edges, 13621 markings/sec, 150 secs
lola: 2089161 markings, 4961427 edges, 13789 markings/sec, 155 secs
lola: 2157368 markings, 5130630 edges, 13641 markings/sec, 160 secs
lola: 2223243 markings, 5306999 edges, 13175 markings/sec, 165 secs
lola: 2291874 markings, 5463320 edges, 13726 markings/sec, 170 secs
lola: 2358637 markings, 5640815 edges, 13353 markings/sec, 175 secs
lola: 2427959 markings, 5811352 edges, 13864 markings/sec, 180 secs
lola: 2498326 markings, 5978225 edges, 14073 markings/sec, 185 secs
lola: 2568495 markings, 6144693 edges, 14034 markings/sec, 190 secs
lola: 2637483 markings, 6312718 edges, 13798 markings/sec, 195 secs
lola: 2704686 markings, 6482714 edges, 13441 markings/sec, 200 secs
lola: 2775558 markings, 6645329 edges, 14174 markings/sec, 205 secs
lola: 2849376 markings, 6769952 edges, 14764 markings/sec, 210 secs
lola: 2917658 markings, 6927305 edges, 13656 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(p1431)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 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: 87136 markings, 200805 edges, 17427 markings/sec, 0 secs
lola: 158971 markings, 420685 edges, 14367 markings/sec, 5 secs
lola: 233607 markings, 630648 edges, 14927 markings/sec, 10 secs
lola: 319981 markings, 823564 edges, 17275 markings/sec, 15 secs
lola: 405681 markings, 1000465 edges, 17140 markings/sec, 20 secs
lola: 509718 markings, 1181869 edges, 20807 markings/sec, 25 secs
lola: 613534 markings, 1354180 edges, 20763 markings/sec, 30 secs
lola: 685039 markings, 1511203 edges, 14301 markings/sec, 35 secs
lola: 742861 markings, 1697913 edges, 11564 markings/sec, 40 secs
lola: 799269 markings, 1901163 edges, 11282 markings/sec, 45 secs
lola: 861090 markings, 2109454 edges, 12364 markings/sec, 50 secs
lola: 915839 markings, 2367140 edges, 10950 markings/sec, 55 secs
lola: 952385 markings, 2739727 edges, 7309 markings/sec, 60 secs
lola: 1020367 markings, 2932672 edges, 13596 markings/sec, 65 secs
lola: 1090884 markings, 3119337 edges, 14103 markings/sec, 70 secs
lola: 1152864 markings, 3343214 edges, 12396 markings/sec, 75 secs
lola: 1223828 markings, 3526975 edges, 14193 markings/sec, 80 secs
lola: 1303999 markings, 3702438 edges, 16034 markings/sec, 85 secs
lola: 1396252 markings, 3876227 edges, 18451 markings/sec, 90 secs
lola: 1485330 markings, 4051111 edges, 17816 markings/sec, 95 secs
lola: 1581246 markings, 4242646 edges, 19183 markings/sec, 100 secs
lola: 1685063 markings, 4433126 edges, 20763 markings/sec, 105 secs
lola: 1769069 markings, 4622540 edges, 16801 markings/sec, 110 secs
lola: 1824870 markings, 4877319 edges, 11160 markings/sec, 115 secs
lola: 1900539 markings, 5078672 edges, 15134 markings/sec, 120 secs
lola: 1981696 markings, 5288914 edges, 16231 markings/sec, 125 secs
lola: 2048753 markings, 5504962 edges, 13411 markings/sec, 130 secs
lola: 2116083 markings, 5707360 edges, 13466 markings/sec, 135 secs
lola: 2188000 markings, 5903490 edges, 14383 markings/sec, 140 secs
lola: 2280313 markings, 6077447 edges, 18463 markings/sec, 145 secs
lola: 2368133 markings, 6249514 edges, 17564 markings/sec, 150 secs
lola: 2459310 markings, 6437246 edges, 18235 markings/sec, 155 secs
lola: 2560857 markings, 6621327 edges, 20309 markings/sec, 160 secs
lola: 2642055 markings, 6804299 edges, 16240 markings/sec, 165 secs
lola: 2694029 markings, 7050444 edges, 10395 markings/sec, 170 secs
lola: 2769262 markings, 7241078 edges, 15047 markings/sec, 175 secs
lola: 2849263 markings, 7451200 edges, 16000 markings/sec, 180 secs
lola: 2915145 markings, 7670097 edges, 13176 markings/sec, 185 secs
lola: 2981833 markings, 7869240 edges, 13338 markings/sec, 190 secs
lola: 3051678 markings, 8073322 edges, 13969 markings/sec, 195 secs
lola: 3138332 markings, 8247752 edges, 17331 markings/sec, 200 secs
lola: 3227734 markings, 8422495 edges, 17880 markings/sec, 205 secs
lola: 3320372 markings, 8617669 edges, 18528 markings/sec, 210 secs
lola: 3397723 markings, 8839319 edges, 15470 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(p1060)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 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: 101503 markings, 136939 edges, 20301 markings/sec, 0 secs
lola: 191779 markings, 295162 edges, 18055 markings/sec, 5 secs
lola: 284847 markings, 446326 edges, 18614 markings/sec, 10 secs
lola: 389601 markings, 593411 edges, 20951 markings/sec, 15 secs
lola: 486150 markings, 760463 edges, 19310 markings/sec, 20 secs
lola: 584728 markings, 920881 edges, 19716 markings/sec, 25 secs
lola: 687239 markings, 1087285 edges, 20502 markings/sec, 30 secs
lola: 775845 markings, 1289876 edges, 17721 markings/sec, 35 secs
lola: 867867 markings, 1478214 edges, 18404 markings/sec, 40 secs
lola: 964756 markings, 1627621 edges, 19378 markings/sec, 45 secs
lola: 1055406 markings, 1781573 edges, 18130 markings/sec, 50 secs
lola: 1146922 markings, 1930145 edges, 18303 markings/sec, 55 secs
lola: 1242105 markings, 2097849 edges, 19037 markings/sec, 60 secs
lola: 1328451 markings, 2314991 edges, 17269 markings/sec, 65 secs
lola: 1414018 markings, 2534263 edges, 17113 markings/sec, 70 secs
lola: 1502020 markings, 2733560 edges, 17600 markings/sec, 75 secs
lola: 1594731 markings, 2903361 edges, 18542 markings/sec, 80 secs
lola: 1677546 markings, 3091478 edges, 16563 markings/sec, 85 secs
lola: 1764091 markings, 3264473 edges, 17309 markings/sec, 90 secs
lola: 1862351 markings, 3405004 edges, 19652 markings/sec, 95 secs
lola: 1951454 markings, 3561425 edges, 17821 markings/sec, 100 secs
lola: 2043582 markings, 3710466 edges, 18426 markings/sec, 105 secs
lola: 2141493 markings, 3850880 edges, 19582 markings/sec, 110 secs
lola: 2233002 markings, 4006222 edges, 18302 markings/sec, 115 secs
lola: 2325538 markings, 4155932 edges, 18507 markings/sec, 120 secs
lola: 2420759 markings, 4309667 edges, 19044 markings/sec, 125 secs
lola: 2507266 markings, 4493433 edges, 17301 markings/sec, 130 secs
lola: 2593949 markings, 4673803 edges, 17337 markings/sec, 135 secs
lola: 2682835 markings, 4844093 edges, 17777 markings/sec, 140 secs
lola: 2775503 markings, 5015595 edges, 18534 markings/sec, 145 secs
lola: 2859473 markings, 5204061 edges, 16794 markings/sec, 150 secs
lola: 2946543 markings, 5379319 edges, 17414 markings/sec, 155 secs
lola: 3042697 markings, 5537609 edges, 19231 markings/sec, 160 secs
lola: 3125880 markings, 5729086 edges, 16637 markings/sec, 165 secs
lola: 3213122 markings, 5905893 edges, 17448 markings/sec, 170 secs
lola: 3305156 markings, 6071362 edges, 18407 markings/sec, 175 secs
lola: 3391255 markings, 6256464 edges, 17220 markings/sec, 180 secs
lola: 3478038 markings, 6434820 edges, 17357 markings/sec, 185 secs
lola: 3567019 markings, 6604700 edges, 17796 markings/sec, 190 secs
lola: 3659132 markings, 6775513 edges, 18423 markings/sec, 195 secs
lola: 3742853 markings, 6963543 edges, 16744 markings/sec, 200 secs
lola: 3829720 markings, 7138448 edges, 17373 markings/sec, 205 secs
lola: 3926821 markings, 7299169 edges, 19420 markings/sec, 210 secs
lola: 4010654 markings, 7492159 edges, 16767 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(p310)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 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: 132955 markings, 174160 edges, 26591 markings/sec, 0 secs
lola: 253417 markings, 380417 edges, 24092 markings/sec, 5 secs
lola: 373606 markings, 582219 edges, 24038 markings/sec, 10 secs
lola: 497757 markings, 766407 edges, 24830 markings/sec, 15 secs
lola: 619410 markings, 978128 edges, 24331 markings/sec, 20 secs
lola: 740580 markings, 1177127 edges, 24234 markings/sec, 25 secs
lola: 864599 markings, 1360859 edges, 24804 markings/sec, 30 secs
lola: 984981 markings, 1575961 edges, 24076 markings/sec, 35 secs
lola: 1103689 markings, 1780887 edges, 23742 markings/sec, 40 secs
lola: 1235665 markings, 1979176 edges, 26395 markings/sec, 45 secs
lola: 1361092 markings, 2173504 edges, 25085 markings/sec, 50 secs
lola: 1492597 markings, 2379832 edges, 26301 markings/sec, 55 secs
lola: 1608217 markings, 2591810 edges, 23124 markings/sec, 60 secs
lola: 1707125 markings, 2866705 edges, 19782 markings/sec, 65 secs
lola: 1822684 markings, 3158448 edges, 23112 markings/sec, 70 secs
lola: 1943931 markings, 3376539 edges, 24249 markings/sec, 75 secs
lola: 2056488 markings, 3611311 edges, 22511 markings/sec, 80 secs
lola: 2175204 markings, 3821925 edges, 23743 markings/sec, 85 secs
lola: 2292185 markings, 4026299 edges, 23396 markings/sec, 90 secs
lola: 2411679 markings, 4229269 edges, 23899 markings/sec, 95 secs
lola: 2534329 markings, 4422348 edges, 24530 markings/sec, 100 secs
lola: 2646740 markings, 4652229 edges, 22482 markings/sec, 105 secs
lola: 2765133 markings, 4863855 edges, 23679 markings/sec, 110 secs
lola: 2885202 markings, 5062054 edges, 24014 markings/sec, 115 secs
lola: 3003085 markings, 5262294 edges, 23577 markings/sec, 120 secs
lola: 3118957 markings, 5488796 edges, 23174 markings/sec, 125 secs
lola: 3236580 markings, 5692569 edges, 23525 markings/sec, 130 secs
lola: 3354450 markings, 5897339 edges, 23574 markings/sec, 135 secs
lola: 3461837 markings, 6142239 edges, 21477 markings/sec, 140 secs
lola: 3578389 markings, 6346595 edges, 23310 markings/sec, 145 secs
lola: 3696367 markings, 6544113 edges, 23596 markings/sec, 150 secs
lola: 3814302 markings, 6733617 edges, 23587 markings/sec, 155 secs
lola: 3939846 markings, 6906365 edges, 25109 markings/sec, 160 secs
lola: 4057659 markings, 7115635 edges, 23563 markings/sec, 165 secs
lola: 4179853 markings, 7305484 edges, 24439 markings/sec, 170 secs
lola: 4287238 markings, 7544553 edges, 21477 markings/sec, 175 secs
lola: 4397745 markings, 7766754 edges, 22101 markings/sec, 180 secs
lola: 4514670 markings, 7969846 edges, 23385 markings/sec, 185 secs
lola: 4622927 markings, 8215411 edges, 21651 markings/sec, 190 secs
lola: 4736884 markings, 8430494 edges, 22791 markings/sec, 195 secs
lola: 4847778 markings, 8660117 edges, 22179 markings/sec, 200 secs
lola: 4958068 markings, 8883730 edges, 22058 markings/sec, 205 secs
lola: 5075667 markings, 9085991 edges, 23520 markings/sec, 210 secs
lola: 5182891 markings, 9326771 edges, 21445 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(p1031)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 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: 85264 markings, 193018 edges, 17053 markings/sec, 0 secs
lola: 168117 markings, 394426 edges, 16571 markings/sec, 5 secs
lola: 259368 markings, 564076 edges, 18250 markings/sec, 10 secs
lola: 353782 markings, 744548 edges, 18883 markings/sec, 15 secs
lola: 445761 markings, 935500 edges, 18396 markings/sec, 20 secs
lola: 527899 markings, 1169940 edges, 16428 markings/sec, 25 secs
lola: 623718 markings, 1343143 edges, 19164 markings/sec, 30 secs
lola: 707327 markings, 1563050 edges, 16722 markings/sec, 35 secs
lola: 788825 markings, 1795891 edges, 16300 markings/sec, 40 secs
lola: 884829 markings, 1962180 edges, 19201 markings/sec, 45 secs
lola: 964676 markings, 2198415 edges, 15969 markings/sec, 50 secs
lola: 1058700 markings, 2373618 edges, 18805 markings/sec, 55 secs
lola: 1143739 markings, 2590555 edges, 17008 markings/sec, 60 secs
lola: 1223154 markings, 2836851 edges, 15883 markings/sec, 65 secs
lola: 1319145 markings, 3005934 edges, 19198 markings/sec, 70 secs
lola: 1400431 markings, 3242584 edges, 16257 markings/sec, 75 secs
lola: 1489767 markings, 3445775 edges, 17867 markings/sec, 80 secs
lola: 1569532 markings, 3685959 edges, 15953 markings/sec, 85 secs
lola: 1652435 markings, 3909300 edges, 16581 markings/sec, 90 secs
lola: 1736881 markings, 4128733 edges, 16889 markings/sec, 95 secs
lola: 1810980 markings, 4393324 edges, 14820 markings/sec, 100 secs
lola: 1904008 markings, 4571725 edges, 18606 markings/sec, 105 secs
lola: 1977460 markings, 4834458 edges, 14690 markings/sec, 110 secs
lola: 2070454 markings, 5020372 edges, 18599 markings/sec, 115 secs
lola: 2143883 markings, 5271665 edges, 14686 markings/sec, 120 secs
lola: 2231715 markings, 5474997 edges, 17566 markings/sec, 125 secs
lola: 2312161 markings, 5702871 edges, 16089 markings/sec, 130 secs
lola: 2393887 markings, 5929613 edges, 16345 markings/sec, 135 secs
lola: 2484197 markings, 6115280 edges, 18062 markings/sec, 140 secs
lola: 2557772 markings, 6376658 edges, 14715 markings/sec, 145 secs
lola: 2648561 markings, 6556804 edges, 18158 markings/sec, 150 secs
lola: 2722106 markings, 6810205 edges, 14709 markings/sec, 155 secs
lola: 2811456 markings, 7000679 edges, 17870 markings/sec, 160 secs
lola: 2888104 markings, 7243795 edges, 15330 markings/sec, 165 secs
lola: 2971939 markings, 7456290 edges, 16767 markings/sec, 170 secs
lola: 3053803 markings, 7683734 edges, 16373 markings/sec, 175 secs
lola: 3128005 markings, 7935240 edges, 14840 markings/sec, 180 secs
lola: 3218967 markings, 8123250 edges, 18192 markings/sec, 185 secs
lola: 3291520 markings, 8391046 edges, 14511 markings/sec, 190 secs
lola: 3388570 markings, 8555934 edges, 19410 markings/sec, 195 secs
lola: 3467372 markings, 8791659 edges, 15760 markings/sec, 200 secs
lola: 3554759 markings, 8996032 edges, 17477 markings/sec, 205 secs
lola: 3633909 markings, 9230846 edges, 15830 markings/sec, 210 secs
lola: 3713198 markings, 9464569 edges, 15858 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(p970)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 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: 125094 markings, 180020 edges, 25019 markings/sec, 0 secs
lola: 237206 markings, 391523 edges, 22422 markings/sec, 5 secs
lola: 362161 markings, 568925 edges, 24991 markings/sec, 10 secs
lola: 473133 markings, 786224 edges, 22194 markings/sec, 15 secs
lola: 592284 markings, 967764 edges, 23830 markings/sec, 20 secs
lola: 709816 markings, 1176992 edges, 23506 markings/sec, 25 secs
lola: 830642 markings, 1370684 edges, 24165 markings/sec, 30 secs
lola: 952276 markings, 1569576 edges, 24327 markings/sec, 35 secs
lola: 1075057 markings, 1773050 edges, 24556 markings/sec, 40 secs
lola: 1194614 markings, 2020895 edges, 23911 markings/sec, 45 secs
lola: 1316763 markings, 2223716 edges, 24430 markings/sec, 50 secs
lola: 1449698 markings, 2403847 edges, 26587 markings/sec, 55 secs
lola: 1575959 markings, 2584849 edges, 25252 markings/sec, 60 secs
lola: 1714334 markings, 2768047 edges, 27675 markings/sec, 65 secs
lola: 1852334 markings, 2946322 edges, 27600 markings/sec, 70 secs
lola: 1987373 markings, 3121730 edges, 27008 markings/sec, 75 secs
lola: 2127456 markings, 3301872 edges, 28017 markings/sec, 80 secs
lola: 2265956 markings, 3481289 edges, 27700 markings/sec, 85 secs
lola: 2408006 markings, 3668553 edges, 28410 markings/sec, 90 secs
lola: 2553072 markings, 3861283 edges, 29013 markings/sec, 95 secs
lola: 2696866 markings, 4055036 edges, 28759 markings/sec, 100 secs
lola: 2838429 markings, 4246393 edges, 28313 markings/sec, 105 secs
lola: 2975453 markings, 4441136 edges, 27405 markings/sec, 110 secs
lola: 3108915 markings, 4635170 edges, 26692 markings/sec, 115 secs
lola: 3239420 markings, 4832861 edges, 26101 markings/sec, 120 secs
lola: 3372814 markings, 5040272 edges, 26679 markings/sec, 125 secs
lola: 3502499 markings, 5252688 edges, 25937 markings/sec, 130 secs
lola: 3628300 markings, 5468338 edges, 25160 markings/sec, 135 secs
lola: 3754993 markings, 5688096 edges, 25339 markings/sec, 140 secs
lola: 3889557 markings, 5912576 edges, 26913 markings/sec, 145 secs
lola: 4005309 markings, 6155886 edges, 23150 markings/sec, 150 secs
lola: 4127818 markings, 6395355 edges, 24502 markings/sec, 155 secs
lola: 4245666 markings, 6630985 edges, 23570 markings/sec, 160 secs
lola: 4359344 markings, 6867267 edges, 22736 markings/sec, 165 secs
lola: 4456094 markings, 7116185 edges, 19350 markings/sec, 170 secs
lola: 4535130 markings, 7360625 edges, 15807 markings/sec, 175 secs
lola: 4604627 markings, 7645704 edges, 13899 markings/sec, 180 secs
lola: 4666562 markings, 7964823 edges, 12387 markings/sec, 185 secs
lola: 4725180 markings, 8289549 edges, 11724 markings/sec, 190 secs
lola: 4782827 markings, 8635465 edges, 11529 markings/sec, 195 secs
lola: 4836817 markings, 9038015 edges, 10798 markings/sec, 200 secs
lola: 4896126 markings, 9464085 edges, 11862 markings/sec, 205 secs
lola: 4979111 markings, 9886331 edges, 16597 markings/sec, 210 secs
lola: 5102212 markings, 10105964 edges, 24620 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(p890)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 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: 133139 markings, 202095 edges, 26628 markings/sec, 0 secs
lola: 258064 markings, 420757 edges, 24985 markings/sec, 5 secs
lola: 387648 markings, 637004 edges, 25917 markings/sec, 10 secs
lola: 494885 markings, 905646 edges, 21447 markings/sec, 15 secs
lola: 612060 markings, 1114312 edges, 23435 markings/sec, 20 secs
lola: 728710 markings, 1322115 edges, 23330 markings/sec, 25 secs
lola: 842385 markings, 1519535 edges, 22735 markings/sec, 30 secs
lola: 962345 markings, 1768201 edges, 23992 markings/sec, 35 secs
lola: 1061120 markings, 2061303 edges, 19755 markings/sec, 40 secs
lola: 1168589 markings, 2297909 edges, 21494 markings/sec, 45 secs
lola: 1274768 markings, 2541256 edges, 21236 markings/sec, 50 secs
lola: 1379801 markings, 2768248 edges, 21007 markings/sec, 55 secs
lola: 1504997 markings, 2948317 edges, 25039 markings/sec, 60 secs
lola: 1613234 markings, 3160044 edges, 21647 markings/sec, 65 secs
lola: 1731489 markings, 3338572 edges, 23651 markings/sec, 70 secs
lola: 1847215 markings, 3546333 edges, 23145 markings/sec, 75 secs
lola: 1960714 markings, 3742286 edges, 22700 markings/sec, 80 secs
lola: 2077576 markings, 3949171 edges, 23372 markings/sec, 85 secs
lola: 2178646 markings, 4193777 edges, 20214 markings/sec, 90 secs
lola: 2288829 markings, 4400846 edges, 22037 markings/sec, 95 secs
lola: 2394744 markings, 4647388 edges, 21183 markings/sec, 100 secs
lola: 2498865 markings, 4875055 edges, 20824 markings/sec, 105 secs
lola: 2620404 markings, 5069635 edges, 24308 markings/sec, 110 secs
lola: 2715460 markings, 5326280 edges, 19011 markings/sec, 115 secs
lola: 2824252 markings, 5536016 edges, 21758 markings/sec, 120 secs
lola: 2931836 markings, 5772592 edges, 21517 markings/sec, 125 secs
lola: 3037270 markings, 6001727 edges, 21087 markings/sec, 130 secs
lola: 3154349 markings, 6196573 edges, 23416 markings/sec, 135 secs
lola: 3252097 markings, 6452831 edges, 19550 markings/sec, 140 secs
lola: 3358074 markings, 6673563 edges, 21195 markings/sec, 145 secs
lola: 3473439 markings, 6890388 edges, 23073 markings/sec, 150 secs
lola: 3576654 markings, 7135453 edges, 20643 markings/sec, 155 secs
lola: 3692566 markings, 7342958 edges, 23182 markings/sec, 160 secs
lola: 3797621 markings, 7588814 edges, 21011 markings/sec, 165 secs
lola: 3902106 markings, 7822401 edges, 20897 markings/sec, 170 secs
lola: 4022158 markings, 7984158 edges, 24010 markings/sec, 175 secs
lola: 4119477 markings, 8174696 edges, 19464 markings/sec, 180 secs
lola: 4223738 markings, 8340786 edges, 20852 markings/sec, 185 secs
lola: 4326944 markings, 8526328 edges, 20641 markings/sec, 190 secs
lola: 4433306 markings, 8723319 edges, 21272 markings/sec, 195 secs
lola: 4536457 markings, 8914214 edges, 20630 markings/sec, 200 secs
lola: 4655298 markings, 9079393 edges, 23768 markings/sec, 205 secs
lola: 4788458 markings, 9239945 edges, 26632 markings/sec, 210 secs
lola: 4920562 markings, 9405538 edges, 26421 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(p282)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 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: 122982 markings, 176742 edges, 24596 markings/sec, 0 secs
lola: 233840 markings, 362420 edges, 22172 markings/sec, 5 secs
lola: 353248 markings, 543700 edges, 23882 markings/sec, 10 secs
lola: 476005 markings, 744303 edges, 24551 markings/sec, 15 secs
lola: 596653 markings, 939799 edges, 24130 markings/sec, 20 secs
lola: 720435 markings, 1155743 edges, 24756 markings/sec, 25 secs
lola: 828310 markings, 1392684 edges, 21575 markings/sec, 30 secs
lola: 943056 markings, 1604885 edges, 22949 markings/sec, 35 secs
lola: 1059508 markings, 1787476 edges, 23290 markings/sec, 40 secs
lola: 1170398 markings, 1970854 edges, 22178 markings/sec, 45 secs
lola: 1288008 markings, 2180735 edges, 23522 markings/sec, 50 secs
lola: 1389417 markings, 2446978 edges, 20282 markings/sec, 55 secs
lola: 1492183 markings, 2703198 edges, 20553 markings/sec, 60 secs
lola: 1606889 markings, 2913793 edges, 22941 markings/sec, 65 secs
lola: 1705622 markings, 3138537 edges, 19747 markings/sec, 70 secs
lola: 1809581 markings, 3348948 edges, 20792 markings/sec, 75 secs
lola: 1929294 markings, 3529861 edges, 23943 markings/sec, 80 secs
lola: 2038325 markings, 3714881 edges, 21806 markings/sec, 85 secs
lola: 2153263 markings, 3890668 edges, 22988 markings/sec, 90 secs
lola: 2269112 markings, 4073443 edges, 23170 markings/sec, 95 secs
lola: 2380287 markings, 4256247 edges, 22235 markings/sec, 100 secs
lola: 2496389 markings, 4444723 edges, 23220 markings/sec, 105 secs
lola: 2598584 markings, 4663986 edges, 20439 markings/sec, 110 secs
lola: 2701338 markings, 4875394 edges, 20551 markings/sec, 115 secs
lola: 2815873 markings, 5073903 edges, 22907 markings/sec, 120 secs
lola: 2914737 markings, 5298610 edges, 19773 markings/sec, 125 secs
lola: 3018749 markings, 5509289 edges, 20802 markings/sec, 130 secs
lola: 3132390 markings, 5712728 edges, 22728 markings/sec, 135 secs
lola: 3232634 markings, 5933089 edges, 20049 markings/sec, 140 secs
lola: 3337103 markings, 6141558 edges, 20894 markings/sec, 145 secs
lola: 3450788 markings, 6345197 edges, 22737 markings/sec, 150 secs
lola: 3550228 markings, 6565679 edges, 19888 markings/sec, 155 secs
lola: 3656852 markings, 6770942 edges, 21325 markings/sec, 160 secs
lola: 3768496 markings, 6975761 edges, 22329 markings/sec, 165 secs
lola: 3867891 markings, 7197912 edges, 19879 markings/sec, 170 secs
lola: 3976865 markings, 7402283 edges, 21795 markings/sec, 175 secs
lola: 4084128 markings, 7620443 edges, 21453 markings/sec, 180 secs
lola: 4188200 markings, 7837192 edges, 20814 markings/sec, 185 secs
lola: 4301031 markings, 8041687 edges, 22566 markings/sec, 190 secs
lola: 4405477 markings, 8263446 edges, 20889 markings/sec, 195 secs
lola: 4510200 markings, 8477802 edges, 20945 markings/sec, 200 secs
lola: 4629077 markings, 8662995 edges, 23775 markings/sec, 205 secs
lola: 4736586 markings, 8850182 edges, 21502 markings/sec, 210 secs
lola: 4850881 markings, 9029027 edges, 22859 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(p763)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 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: 135355 markings, 170183 edges, 27071 markings/sec, 0 secs
lola: 270516 markings, 342810 edges, 27032 markings/sec, 5 secs
lola: 387684 markings, 496834 edges, 23434 markings/sec, 10 secs
lola: 489225 markings, 667272 edges, 20308 markings/sec, 15 secs
lola: 579084 markings, 845360 edges, 17972 markings/sec, 20 secs
lola: 673210 markings, 1018509 edges, 18825 markings/sec, 25 secs
lola: 795141 markings, 1183787 edges, 24386 markings/sec, 30 secs
lola: 960502 markings, 1381637 edges, 33072 markings/sec, 35 secs
lola: 1125660 markings, 1579065 edges, 33032 markings/sec, 40 secs
lola: 1291164 markings, 1776263 edges, 33101 markings/sec, 45 secs
lola: 1456614 markings, 1974990 edges, 33090 markings/sec, 50 secs
lola: 1618551 markings, 2171469 edges, 32387 markings/sec, 55 secs
lola: 1778411 markings, 2370952 edges, 31972 markings/sec, 60 secs
lola: 1890900 markings, 2593153 edges, 22498 markings/sec, 65 secs
lola: 2027001 markings, 2767341 edges, 27220 markings/sec, 70 secs
lola: 2161340 markings, 2938648 edges, 26868 markings/sec, 75 secs
lola: 2288104 markings, 3098940 edges, 25353 markings/sec, 80 secs
lola: 2396152 markings, 3256179 edges, 21610 markings/sec, 85 secs
lola: 2489800 markings, 3427179 edges, 18730 markings/sec, 90 secs
lola: 2577301 markings, 3604846 edges, 17500 markings/sec, 95 secs
lola: 2690749 markings, 3780888 edges, 22690 markings/sec, 100 secs
lola: 2842608 markings, 3970128 edges, 30372 markings/sec, 105 secs
lola: 3007931 markings, 4167643 edges, 33065 markings/sec, 110 secs
lola: 3173744 markings, 4365264 edges, 33163 markings/sec, 115 secs
lola: 3339393 markings, 4563425 edges, 33130 markings/sec, 120 secs
lola: 3503616 markings, 4761352 edges, 32845 markings/sec, 125 secs
lola: 3663986 markings, 4958159 edges, 32074 markings/sec, 130 secs
lola: 3779836 markings, 5185758 edges, 23170 markings/sec, 135 secs
lola: 3918420 markings, 5366593 edges, 27717 markings/sec, 140 secs
lola: 4057474 markings, 5540444 edges, 27811 markings/sec, 145 secs
lola: 4190197 markings, 5708019 edges, 26545 markings/sec, 150 secs
lola: 4301136 markings, 5864515 edges, 22188 markings/sec, 155 secs
lola: 4398381 markings, 6037853 edges, 19449 markings/sec, 160 secs
lola: 4488959 markings, 6205207 edges, 18116 markings/sec, 165 secs
lola: 4592469 markings, 6388989 edges, 20702 markings/sec, 170 secs
lola: 4733584 markings, 6568562 edges, 28223 markings/sec, 175 secs
lola: 4898931 markings, 6766278 edges, 33069 markings/sec, 180 secs
lola: 5064577 markings, 6964135 edges, 33129 markings/sec, 185 secs
lola: 5230163 markings, 7162146 edges, 33117 markings/sec, 190 secs
lola: 5395452 markings, 7360904 edges, 33058 markings/sec, 195 secs
lola: 5557024 markings, 7558314 edges, 32314 markings/sec, 200 secs
lola: 5693510 markings, 7772011 edges, 27297 markings/sec, 205 secs
lola: 5823955 markings, 7978297 edges, 26089 markings/sec, 210 secs
lola: 5953083 markings, 8149896 edges, 25826 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(p788)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 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: 111388 markings, 164780 edges, 22278 markings/sec, 0 secs
lola: 207188 markings, 377984 edges, 19160 markings/sec, 5 secs
lola: 308550 markings, 572128 edges, 20272 markings/sec, 10 secs
lola: 410104 markings, 764430 edges, 20311 markings/sec, 15 secs
lola: 505675 markings, 991059 edges, 19114 markings/sec, 20 secs
lola: 616619 markings, 1188230 edges, 22189 markings/sec, 25 secs
lola: 718213 markings, 1403060 edges, 20319 markings/sec, 30 secs
lola: 828874 markings, 1594017 edges, 22132 markings/sec, 35 secs
lola: 929745 markings, 1800124 edges, 20174 markings/sec, 40 secs
lola: 1030734 markings, 2005911 edges, 20198 markings/sec, 45 secs
lola: 1152569 markings, 2172194 edges, 24367 markings/sec, 50 secs
lola: 1272058 markings, 2344726 edges, 23898 markings/sec, 55 secs
lola: 1394536 markings, 2512630 edges, 24496 markings/sec, 60 secs
lola: 1516581 markings, 2684405 edges, 24409 markings/sec, 65 secs
lola: 1638253 markings, 2854698 edges, 24334 markings/sec, 70 secs
lola: 1758367 markings, 3026314 edges, 24023 markings/sec, 75 secs
lola: 1877538 markings, 3199992 edges, 23834 markings/sec, 80 secs
lola: 1994555 markings, 3376878 edges, 23403 markings/sec, 85 secs
lola: 2111869 markings, 3554784 edges, 23463 markings/sec, 90 secs
lola: 2228010 markings, 3735218 edges, 23228 markings/sec, 95 secs
lola: 2342670 markings, 3915977 edges, 22932 markings/sec, 100 secs
lola: 2455719 markings, 4097028 edges, 22610 markings/sec, 105 secs
lola: 2566768 markings, 4278620 edges, 22210 markings/sec, 110 secs
lola: 2676340 markings, 4465175 edges, 21914 markings/sec, 115 secs
lola: 2781885 markings, 4654234 edges, 21109 markings/sec, 120 secs
lola: 2887204 markings, 4846736 edges, 21064 markings/sec, 125 secs
lola: 2989683 markings, 5042917 edges, 20496 markings/sec, 130 secs
lola: 3086646 markings, 5252281 edges, 19393 markings/sec, 135 secs
lola: 3183373 markings, 5468862 edges, 19345 markings/sec, 140 secs
lola: 3280040 markings, 5671544 edges, 19333 markings/sec, 145 secs
lola: 3378866 markings, 5875885 edges, 19765 markings/sec, 150 secs
lola: 3476417 markings, 6080716 edges, 19510 markings/sec, 155 secs
lola: 3574841 markings, 6284686 edges, 19685 markings/sec, 160 secs
lola: 3666310 markings, 6507297 edges, 18294 markings/sec, 165 secs
lola: 3749597 markings, 6747765 edges, 16657 markings/sec, 170 secs
lola: 3831696 markings, 6992739 edges, 16420 markings/sec, 175 secs
lola: 3926924 markings, 7201411 edges, 19046 markings/sec, 180 secs
lola: 4003492 markings, 7465931 edges, 15314 markings/sec, 185 secs
lola: 4055291 markings, 7830358 edges, 10360 markings/sec, 190 secs
lola: 4100120 markings, 8228582 edges, 8966 markings/sec, 195 secs
lola: 4145161 markings, 8634740 edges, 9008 markings/sec, 200 secs
lola: 4193751 markings, 9049366 edges, 9718 markings/sec, 205 secs
lola: 4277820 markings, 9323925 edges, 16814 markings/sec, 210 secs
lola: 4366719 markings, 9549973 edges, 17780 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(p276)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 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: 73901 markings, 143960 edges, 14780 markings/sec, 0 secs
lola: 145533 markings, 269520 edges, 14326 markings/sec, 5 secs
lola: 216690 markings, 394577 edges, 14231 markings/sec, 10 secs
lola: 286894 markings, 525605 edges, 14041 markings/sec, 15 secs
lola: 346227 markings, 698410 edges, 11867 markings/sec, 20 secs
lola: 402557 markings, 881896 edges, 11266 markings/sec, 25 secs
lola: 454351 markings, 1095464 edges, 10359 markings/sec, 30 secs
lola: 510525 markings, 1292030 edges, 11235 markings/sec, 35 secs
lola: 573963 markings, 1437377 edges, 12688 markings/sec, 40 secs
lola: 645652 markings, 1559444 edges, 14338 markings/sec, 45 secs
lola: 716322 markings, 1684933 edges, 14134 markings/sec, 50 secs
lola: 785895 markings, 1816476 edges, 13915 markings/sec, 55 secs
lola: 845394 markings, 1986281 edges, 11900 markings/sec, 60 secs
lola: 901616 markings, 2168625 edges, 11244 markings/sec, 65 secs
lola: 954038 markings, 2376510 edges, 10484 markings/sec, 70 secs
lola: 1009213 markings, 2577592 edges, 11035 markings/sec, 75 secs
lola: 1071394 markings, 2729411 edges, 12436 markings/sec, 80 secs
lola: 1143826 markings, 2848069 edges, 14486 markings/sec, 85 secs
lola: 1212969 markings, 2977430 edges, 13829 markings/sec, 90 secs
lola: 1282938 markings, 3105008 edges, 13994 markings/sec, 95 secs
lola: 1343489 markings, 3267745 edges, 12110 markings/sec, 100 secs
lola: 1398845 markings, 3451264 edges, 11071 markings/sec, 105 secs
lola: 1452958 markings, 3644639 edges, 10823 markings/sec, 110 secs
lola: 1508117 markings, 3848311 edges, 11032 markings/sec, 115 secs
lola: 1578113 markings, 3972227 edges, 13999 markings/sec, 120 secs
lola: 1648374 markings, 4097204 edges, 14052 markings/sec, 125 secs
lola: 1715860 markings, 4230805 edges, 13497 markings/sec, 130 secs
lola: 1772057 markings, 4410657 edges, 11239 markings/sec, 135 secs
lola: 1828176 markings, 4591009 edges, 11224 markings/sec, 140 secs
lola: 1875478 markings, 4829960 edges, 9460 markings/sec, 145 secs
lola: 1947510 markings, 4950471 edges, 14406 markings/sec, 150 secs
lola: 2017258 markings, 5079010 edges, 13950 markings/sec, 155 secs
lola: 2086933 markings, 5208015 edges, 13935 markings/sec, 160 secs
lola: 2145364 markings, 5381747 edges, 11686 markings/sec, 165 secs
lola: 2203169 markings, 5555061 edges, 11561 markings/sec, 170 secs
lola: 2253386 markings, 5769283 edges, 10043 markings/sec, 175 secs
lola: 2317679 markings, 5935709 edges, 12859 markings/sec, 180 secs
lola: 2386918 markings, 6067295 edges, 13848 markings/sec, 185 secs
lola: 2458580 markings, 6191136 edges, 14332 markings/sec, 190 secs
lola: 2521321 markings, 6349114 edges, 12548 markings/sec, 195 secs
lola: 2577954 markings, 6530779 edges, 11327 markings/sec, 200 secs
lola: 2633854 markings, 6715628 edges, 11180 markings/sec, 205 secs
lola: 2687155 markings, 6935676 edges, 10660 markings/sec, 210 secs
lola: 2760858 markings, 7054600 edges, 14741 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(p1333)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 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: 83920 markings, 150147 edges, 16784 markings/sec, 0 secs
lola: 164318 markings, 322443 edges, 16080 markings/sec, 5 secs
lola: 240031 markings, 518436 edges, 15143 markings/sec, 10 secs
lola: 321227 markings, 690167 edges, 16239 markings/sec, 15 secs
lola: 396070 markings, 879685 edges, 14969 markings/sec, 20 secs
lola: 476556 markings, 1062780 edges, 16097 markings/sec, 25 secs
lola: 556335 markings, 1248629 edges, 15956 markings/sec, 30 secs
lola: 636562 markings, 1434324 edges, 16045 markings/sec, 35 secs
lola: 714159 markings, 1628181 edges, 15519 markings/sec, 40 secs
lola: 794467 markings, 1805385 edges, 16062 markings/sec, 45 secs
lola: 871982 markings, 1998475 edges, 15503 markings/sec, 50 secs
lola: 951328 markings, 2185390 edges, 15869 markings/sec, 55 secs
lola: 1030408 markings, 2371321 edges, 15816 markings/sec, 60 secs
lola: 1109459 markings, 2533908 edges, 15810 markings/sec, 65 secs
lola: 1179837 markings, 2718157 edges, 14076 markings/sec, 70 secs
lola: 1260989 markings, 2883912 edges, 16230 markings/sec, 75 secs
lola: 1344482 markings, 3052980 edges, 16699 markings/sec, 80 secs
lola: 1427152 markings, 3223835 edges, 16534 markings/sec, 85 secs
lola: 1508686 markings, 3397973 edges, 16307 markings/sec, 90 secs
lola: 1590087 markings, 3571970 edges, 16280 markings/sec, 95 secs
lola: 1670571 markings, 3751361 edges, 16097 markings/sec, 100 secs
lola: 1751223 markings, 3930488 edges, 16130 markings/sec, 105 secs
lola: 1830964 markings, 4110997 edges, 15948 markings/sec, 110 secs
lola: 1910079 markings, 4291396 edges, 15823 markings/sec, 115 secs
lola: 1987529 markings, 4474539 edges, 15490 markings/sec, 120 secs
lola: 2061977 markings, 4663070 edges, 14890 markings/sec, 125 secs
lola: 2136891 markings, 4850472 edges, 14983 markings/sec, 130 secs
lola: 2209250 markings, 5045135 edges, 14472 markings/sec, 135 secs
lola: 2282783 markings, 5242239 edges, 14707 markings/sec, 140 secs
lola: 2354501 markings, 5443971 edges, 14344 markings/sec, 145 secs
lola: 2426731 markings, 5642063 edges, 14446 markings/sec, 150 secs
lola: 2503078 markings, 5833443 edges, 15269 markings/sec, 155 secs
lola: 2579984 markings, 6017889 edges, 15381 markings/sec, 160 secs
lola: 2655120 markings, 6211771 edges, 15027 markings/sec, 165 secs
lola: 2731691 markings, 6398790 edges, 15314 markings/sec, 170 secs
lola: 2801891 markings, 6598067 edges, 14040 markings/sec, 175 secs
lola: 2870929 markings, 6796692 edges, 13808 markings/sec, 180 secs
lola: 2947293 markings, 6979101 edges, 15273 markings/sec, 185 secs
lola: 3023609 markings, 7171811 edges, 15263 markings/sec, 190 secs
lola: 3099206 markings, 7361029 edges, 15119 markings/sec, 195 secs
lola: 3175265 markings, 7550796 edges, 15212 markings/sec, 200 secs
lola: 3246867 markings, 7742825 edges, 14320 markings/sec, 205 secs
lola: 3314696 markings, 7941039 edges, 13566 markings/sec, 210 secs
lola: 3385964 markings, 8146964 edges, 14254 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(p136)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 188 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: 94896 markings, 216294 edges, 18979 markings/sec, 0 secs
lola: 187393 markings, 442363 edges, 18499 markings/sec, 5 secs
lola: 296718 markings, 617406 edges, 21865 markings/sec, 10 secs
lola: 396096 markings, 849138 edges, 19876 markings/sec, 15 secs
lola: 497387 markings, 1075500 edges, 20258 markings/sec, 20 secs
lola: 601120 markings, 1292596 edges, 20747 markings/sec, 25 secs
lola: 693610 markings, 1543309 edges, 18498 markings/sec, 30 secs
lola: 788230 markings, 1788336 edges, 18924 markings/sec, 35 secs
lola: 896677 markings, 1986091 edges, 21689 markings/sec, 40 secs
lola: 988606 markings, 2234673 edges, 18386 markings/sec, 45 secs
lola: 1079331 markings, 2494012 edges, 18145 markings/sec, 50 secs
lola: 1191239 markings, 2683523 edges, 22382 markings/sec, 55 secs
lola: 1281463 markings, 2935254 edges, 18045 markings/sec, 60 secs
lola: 1373130 markings, 3192189 edges, 18333 markings/sec, 65 secs
lola: 1478467 markings, 3409137 edges, 21067 markings/sec, 70 secs
lola: 1565518 markings, 3678696 edges, 17410 markings/sec, 75 secs
lola: 1655939 markings, 3936518 edges, 18084 markings/sec, 80 secs
lola: 1754778 markings, 4166868 edges, 19768 markings/sec, 85 secs
lola: 1839786 markings, 4446414 edges, 17002 markings/sec, 90 secs
lola: 1939447 markings, 4673488 edges, 19932 markings/sec, 95 secs
lola: 2030414 markings, 4929331 edges, 18193 markings/sec, 100 secs
lola: 2111854 markings, 5214672 edges, 16288 markings/sec, 105 secs
lola: 2218190 markings, 5428182 edges, 21267 markings/sec, 110 secs
lola: 2304312 markings, 5690566 edges, 17224 markings/sec, 115 secs
lola: 2395666 markings, 5945519 edges, 18271 markings/sec, 120 secs
lola: 2500546 markings, 6154995 edges, 20976 markings/sec, 125 secs
lola: 2586460 markings, 6427081 edges, 17183 markings/sec, 130 secs
lola: 2680498 markings, 6669003 edges, 18808 markings/sec, 135 secs
lola: 2775148 markings, 6910496 edges, 18930 markings/sec, 140 secs
lola: 2857342 markings, 7191449 edges, 16439 markings/sec, 145 secs
lola: 2959276 markings, 7403363 edges, 20387 markings/sec, 150 secs
lola: 3043746 markings, 7666856 edges, 16894 markings/sec, 155 secs
lola: 3128056 markings, 7934110 edges, 16862 markings/sec, 160 secs
lola: 3231592 markings, 8148878 edges, 20707 markings/sec, 165 secs
lola: 3312152 markings, 8422953 edges, 16112 markings/sec, 170 secs
lola: 3413132 markings, 8631885 edges, 20196 markings/sec, 175 secs
lola: 3508104 markings, 8869809 edges, 18994 markings/sec, 180 secs
lola: 3589696 markings, 9152465 edges, 16318 markings/sec, 185 secs
lola: 3692812 markings, 9360736 edges, 20623 markings/sec, 190 secs
lola: 3776671 markings, 9621737 edges, 16772 markings/sec, 195 secs
lola: 3862078 markings, 9884378 edges, 17081 markings/sec, 200 secs
lola: 3961941 markings, 10099801 edges, 19973 markings/sec, 205 secs
lola: 4042444 markings, 10378603 edges, 16101 markings/sec, 210 secs
lola: 4140937 markings, 10594278 edges, 19699 markings/sec, 215 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 CloudDeployment-PT-5b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-5b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496441492318

--------------------
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-5b"
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-5b.tgz
mv S_CloudDeployment-PT-5b 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-5b, 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-149488455400029"
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 ;