Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is CloudReconfiguration-PT-320, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-csrt-149580961500173
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496534905517


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


checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-320: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ CloudReconfiguration-PT-320 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5686/65536 symbol table entries, 641 collisions
lola: preprocessing...
lola: finding significant places
lola: 2587 places, 3099 transitions, 2583 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2716 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-320-UpperBounds.task
lola: MAX(p1118) : MAX(p1471) : MAX(p1792) : MAX(p1129) : MAX(p10) : MAX(p1189) : MAX(p2199) : MAX(p902) : MAX(p898) : MAX(p2173) : MAX(p1785) : MAX(p1345) : MAX(p219) : MAX(p2169) : MAX(p1470) : MAX(p938)
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(p1118)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 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: 109086 markings, 130360 edges, 21817 markings/sec, 0 secs
lola: 207527 markings, 249129 edges, 19688 markings/sec, 5 secs
lola: 328067 markings, 396403 edges, 24108 markings/sec, 10 secs
lola: 447394 markings, 544165 edges, 23865 markings/sec, 15 secs
lola: 553050 markings, 674152 edges, 21131 markings/sec, 20 secs
lola: 666213 markings, 815835 edges, 22633 markings/sec, 25 secs
lola: 768591 markings, 940673 edges, 20476 markings/sec, 30 secs
lola: 873751 markings, 1070157 edges, 21032 markings/sec, 35 secs
lola: 993979 markings, 1220642 edges, 24046 markings/sec, 40 secs
lola: 1106457 markings, 1361423 edges, 22496 markings/sec, 45 secs
lola: 1199970 markings, 1475204 edges, 18703 markings/sec, 50 secs
lola: 1297824 markings, 1594339 edges, 19571 markings/sec, 55 secs
lola: 1407354 markings, 1728511 edges, 21906 markings/sec, 60 secs
lola: 1538288 markings, 1895413 edges, 26187 markings/sec, 65 secs
lola: 1668756 markings, 2059633 edges, 26094 markings/sec, 70 secs
lola: 1792986 markings, 2218980 edges, 24846 markings/sec, 75 secs
lola: 1894894 markings, 2343213 edges, 20382 markings/sec, 80 secs
lola: 2022502 markings, 2508382 edges, 25522 markings/sec, 85 secs
lola: 2149192 markings, 2669073 edges, 25338 markings/sec, 90 secs
lola: 2259222 markings, 2809445 edges, 22006 markings/sec, 95 secs
lola: 2364247 markings, 2941355 edges, 21005 markings/sec, 100 secs
lola: 2467560 markings, 3066923 edges, 20663 markings/sec, 105 secs
lola: 2594356 markings, 3226998 edges, 25359 markings/sec, 110 secs
lola: 2739763 markings, 3411535 edges, 29081 markings/sec, 115 secs
lola: 2870581 markings, 3575455 edges, 26164 markings/sec, 120 secs
lola: 2981242 markings, 3712560 edges, 22132 markings/sec, 125 secs
lola: 3084983 markings, 3839736 edges, 20748 markings/sec, 130 secs
lola: 3187326 markings, 3966181 edges, 20469 markings/sec, 135 secs
lola: 3325349 markings, 4145772 edges, 27605 markings/sec, 140 secs
lola: 3458645 markings, 4312783 edges, 26659 markings/sec, 145 secs
lola: 3576468 markings, 4459651 edges, 23565 markings/sec, 150 secs
lola: 3695369 markings, 4611668 edges, 23780 markings/sec, 155 secs
lola: 3799118 markings, 4740709 edges, 20750 markings/sec, 160 secs
lola: 3905655 markings, 4871119 edges, 21307 markings/sec, 165 secs
lola: 3980974 markings, 4967440 edges, 15064 markings/sec, 170 secs
lola: 4103486 markings, 5119206 edges, 24502 markings/sec, 175 secs
lola: 4169848 markings, 5199727 edges, 13272 markings/sec, 180 secs
lola: 4302137 markings, 5369302 edges, 26458 markings/sec, 185 secs
lola: 4404959 markings, 5495128 edges, 20564 markings/sec, 190 secs
lola: 4501476 markings, 5613284 edges, 19303 markings/sec, 195 secs
lola: 4597345 markings, 5733353 edges, 19174 markings/sec, 200 secs
lola: 4686536 markings, 5845422 edges, 17838 markings/sec, 205 secs
lola: 4777728 markings, 5958966 edges, 18238 markings/sec, 210 secs
lola: 4862761 markings, 6062673 edges, 17007 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(p1471)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 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: 111004 markings, 187735 edges, 22201 markings/sec, 0 secs
lola: 233315 markings, 401616 edges, 24462 markings/sec, 5 secs
lola: 371609 markings, 635430 edges, 27659 markings/sec, 10 secs
lola: 501409 markings, 807014 edges, 25960 markings/sec, 15 secs
lola: 629311 markings, 997793 edges, 25580 markings/sec, 20 secs
lola: 734933 markings, 1144119 edges, 21124 markings/sec, 25 secs
lola: 842397 markings, 1279044 edges, 21493 markings/sec, 30 secs
lola: 954994 markings, 1431044 edges, 22519 markings/sec, 35 secs
lola: 1058223 markings, 1574286 edges, 20646 markings/sec, 40 secs
lola: 1163222 markings, 1708513 edges, 21000 markings/sec, 45 secs
lola: 1259541 markings, 1829268 edges, 19264 markings/sec, 50 secs
lola: 1362463 markings, 1961835 edges, 20584 markings/sec, 55 secs
lola: 1462305 markings, 2095485 edges, 19968 markings/sec, 60 secs
lola: 1564121 markings, 2245211 edges, 20363 markings/sec, 65 secs
lola: 1681042 markings, 2413445 edges, 23384 markings/sec, 70 secs
lola: 1816786 markings, 2602241 edges, 27149 markings/sec, 75 secs
lola: 1934940 markings, 2766059 edges, 23631 markings/sec, 80 secs
lola: 2071171 markings, 2983138 edges, 27246 markings/sec, 85 secs
lola: 2203591 markings, 3190230 edges, 26484 markings/sec, 90 secs
lola: 2320720 markings, 3358359 edges, 23426 markings/sec, 95 secs
lola: 2448023 markings, 3529463 edges, 25461 markings/sec, 100 secs
lola: 2562087 markings, 3680305 edges, 22813 markings/sec, 105 secs
lola: 2688624 markings, 3889971 edges, 25307 markings/sec, 110 secs
lola: 2812295 markings, 4086216 edges, 24734 markings/sec, 115 secs
lola: 2924211 markings, 4235715 edges, 22383 markings/sec, 120 secs
lola: 3052263 markings, 4423177 edges, 25610 markings/sec, 125 secs
lola: 3202927 markings, 4617624 edges, 30133 markings/sec, 130 secs
lola: 3328362 markings, 4778889 edges, 25087 markings/sec, 135 secs
lola: 3479689 markings, 5030079 edges, 30265 markings/sec, 140 secs
lola: 3609773 markings, 5194782 edges, 26017 markings/sec, 145 secs
lola: 3745519 markings, 5398198 edges, 27149 markings/sec, 150 secs
lola: 3860966 markings, 5569091 edges, 23089 markings/sec, 155 secs
lola: 3991147 markings, 5737392 edges, 26036 markings/sec, 160 secs
lola: 4113437 markings, 5891105 edges, 24458 markings/sec, 165 secs
lola: 4215985 markings, 6026502 edges, 20510 markings/sec, 170 secs
lola: 4353621 markings, 6246398 edges, 27527 markings/sec, 175 secs
lola: 4486124 markings, 6446217 edges, 26501 markings/sec, 180 secs
lola: 4610820 markings, 6609082 edges, 24939 markings/sec, 185 secs
lola: 4730987 markings, 6776534 edges, 24033 markings/sec, 190 secs
lola: 4829341 markings, 6899205 edges, 19671 markings/sec, 195 secs
lola: 4927151 markings, 7027969 edges, 19562 markings/sec, 200 secs
lola: 5019489 markings, 7143125 edges, 18468 markings/sec, 205 secs
lola: 5120501 markings, 7273227 edges, 20202 markings/sec, 210 secs
lola: 5212444 markings, 7392613 edges, 18389 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(p1792)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 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: 136859 markings, 177642 edges, 27372 markings/sec, 0 secs
lola: 277330 markings, 359173 edges, 28094 markings/sec, 5 secs
lola: 419777 markings, 535357 edges, 28489 markings/sec, 10 secs
lola: 552047 markings, 697589 edges, 26454 markings/sec, 15 secs
lola: 688344 markings, 864942 edges, 27259 markings/sec, 20 secs
lola: 827001 markings, 1035143 edges, 27731 markings/sec, 25 secs
lola: 954432 markings, 1194949 edges, 25486 markings/sec, 30 secs
lola: 1064198 markings, 1332304 edges, 21953 markings/sec, 35 secs
lola: 1197155 markings, 1498595 edges, 26591 markings/sec, 40 secs
lola: 1329283 markings, 1662402 edges, 26426 markings/sec, 45 secs
lola: 1470152 markings, 1838598 edges, 28174 markings/sec, 50 secs
lola: 1598422 markings, 2000423 edges, 25654 markings/sec, 55 secs
lola: 1732807 markings, 2169605 edges, 26877 markings/sec, 60 secs
lola: 1850778 markings, 2318048 edges, 23594 markings/sec, 65 secs
lola: 1965637 markings, 2460865 edges, 22972 markings/sec, 70 secs
lola: 2094561 markings, 2624378 edges, 25785 markings/sec, 75 secs
lola: 2225977 markings, 2789355 edges, 26283 markings/sec, 80 secs
lola: 2343530 markings, 2938976 edges, 23511 markings/sec, 85 secs
lola: 2470214 markings, 3098507 edges, 25337 markings/sec, 90 secs
lola: 2597715 markings, 3260733 edges, 25500 markings/sec, 95 secs
lola: 2716689 markings, 3409963 edges, 23795 markings/sec, 100 secs
lola: 2853107 markings, 3578745 edges, 27284 markings/sec, 105 secs
lola: 2968269 markings, 3723060 edges, 23032 markings/sec, 110 secs
lola: 3077051 markings, 3860032 edges, 21756 markings/sec, 115 secs
lola: 3203399 markings, 4019928 edges, 25270 markings/sec, 120 secs
lola: 3361864 markings, 4219211 edges, 31693 markings/sec, 125 secs
lola: 3530160 markings, 4430152 edges, 33659 markings/sec, 130 secs
lola: 3691844 markings, 4635446 edges, 32337 markings/sec, 135 secs
lola: 3817124 markings, 4794601 edges, 25056 markings/sec, 140 secs
lola: 3948496 markings, 4962998 edges, 26274 markings/sec, 145 secs
lola: 4079790 markings, 5128031 edges, 26259 markings/sec, 150 secs
lola: 4216065 markings, 5298037 edges, 27255 markings/sec, 155 secs
lola: 4367830 markings, 5489157 edges, 30353 markings/sec, 160 secs
lola: 4513030 markings, 5676502 edges, 29040 markings/sec, 165 secs
lola: 4630810 markings, 5825052 edges, 23556 markings/sec, 170 secs
lola: 4736198 markings, 5957558 edges, 21078 markings/sec, 175 secs
lola: 4840284 markings, 6087294 edges, 20817 markings/sec, 180 secs
lola: 4956614 markings, 6237865 edges, 23266 markings/sec, 185 secs
lola: 5096681 markings, 6418731 edges, 28013 markings/sec, 190 secs
lola: 5203810 markings, 6555613 edges, 21426 markings/sec, 195 secs
lola: 5327126 markings, 6718411 edges, 24663 markings/sec, 200 secs
lola: 5453677 markings, 6890706 edges, 25310 markings/sec, 205 secs
lola: 5597497 markings, 7087063 edges, 28764 markings/sec, 210 secs
lola: 5684191 markings, 7198143 edges, 17339 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(p1129)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 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: 111420 markings, 133716 edges, 22284 markings/sec, 0 secs
lola: 220748 markings, 265485 edges, 21866 markings/sec, 5 secs
lola: 347668 markings, 420087 edges, 25384 markings/sec, 10 secs
lola: 475583 markings, 576958 edges, 25583 markings/sec, 15 secs
lola: 602813 markings, 734449 edges, 25446 markings/sec, 20 secs
lola: 730468 markings, 893864 edges, 25531 markings/sec, 25 secs
lola: 845096 markings, 1033584 edges, 22926 markings/sec, 30 secs
lola: 961625 markings, 1177869 edges, 23306 markings/sec, 35 secs
lola: 1082192 markings, 1329191 edges, 24113 markings/sec, 40 secs
lola: 1184842 markings, 1456572 edges, 20530 markings/sec, 45 secs
lola: 1283802 markings, 1577066 edges, 19792 markings/sec, 50 secs
lola: 1387325 markings, 1703079 edges, 20705 markings/sec, 55 secs
lola: 1493938 markings, 1834813 edges, 21323 markings/sec, 60 secs
lola: 1622328 markings, 1999014 edges, 25678 markings/sec, 65 secs
lola: 1757165 markings, 2167964 edges, 26967 markings/sec, 70 secs
lola: 1876257 markings, 2320085 edges, 23818 markings/sec, 75 secs
lola: 1985378 markings, 2454750 edges, 21824 markings/sec, 80 secs
lola: 2110700 markings, 2616745 edges, 25064 markings/sec, 85 secs
lola: 2237813 markings, 2777727 edges, 25423 markings/sec, 90 secs
lola: 2359546 markings, 2933625 edges, 24347 markings/sec, 95 secs
lola: 2463340 markings, 3061757 edges, 20759 markings/sec, 100 secs
lola: 2580511 markings, 3204656 edges, 23434 markings/sec, 105 secs
lola: 2737676 markings, 3405879 edges, 31433 markings/sec, 110 secs
lola: 2887379 markings, 3593607 edges, 29941 markings/sec, 115 secs
lola: 3018208 markings, 3757072 edges, 26166 markings/sec, 120 secs
lola: 3133492 markings, 3898453 edges, 23057 markings/sec, 125 secs
lola: 3244933 markings, 4035731 edges, 22288 markings/sec, 130 secs
lola: 3383549 markings, 4215249 edges, 27723 markings/sec, 135 secs
lola: 3520920 markings, 4388355 edges, 27474 markings/sec, 140 secs
lola: 3646026 markings, 4544180 edges, 25021 markings/sec, 145 secs
lola: 3774665 markings, 4708619 edges, 25728 markings/sec, 150 secs
lola: 3893026 markings, 4855100 edges, 23672 markings/sec, 155 secs
lola: 3999246 markings, 4984752 edges, 21244 markings/sec, 160 secs
lola: 4110078 markings, 5126445 edges, 22166 markings/sec, 165 secs
lola: 4213890 markings, 5253233 edges, 20762 markings/sec, 170 secs
lola: 4330708 markings, 5401971 edges, 23364 markings/sec, 175 secs
lola: 4458374 markings, 5560018 edges, 25533 markings/sec, 180 secs
lola: 4563949 markings, 5689094 edges, 21115 markings/sec, 185 secs
lola: 4675953 markings, 5829097 edges, 22401 markings/sec, 190 secs
lola: 4770241 markings, 5948064 edges, 18858 markings/sec, 195 secs
lola: 4882400 markings, 6086405 edges, 22432 markings/sec, 200 secs
lola: 4990141 markings, 6218150 edges, 21548 markings/sec, 205 secs
lola: 5086991 markings, 6343740 edges, 19370 markings/sec, 210 secs
lola: 5211265 markings, 6498552 edges, 24855 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(p10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 5 will run for 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1189)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 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: 116336 markings, 156415 edges, 23267 markings/sec, 0 secs
lola: 233895 markings, 310514 edges, 23512 markings/sec, 5 secs
lola: 357031 markings, 460386 edges, 24627 markings/sec, 10 secs
lola: 483382 markings, 614831 edges, 25270 markings/sec, 15 secs
lola: 612140 markings, 774748 edges, 25752 markings/sec, 20 secs
lola: 732936 markings, 924129 edges, 24159 markings/sec, 25 secs
lola: 844122 markings, 1061369 edges, 22237 markings/sec, 30 secs
lola: 950757 markings, 1192194 edges, 21327 markings/sec, 35 secs
lola: 1068540 markings, 1339915 edges, 23557 markings/sec, 40 secs
lola: 1176128 markings, 1474869 edges, 21518 markings/sec, 45 secs
lola: 1267027 markings, 1585560 edges, 18180 markings/sec, 50 secs
lola: 1361620 markings, 1700793 edges, 18919 markings/sec, 55 secs
lola: 1464367 markings, 1825396 edges, 20549 markings/sec, 60 secs
lola: 1590379 markings, 1984673 edges, 25202 markings/sec, 65 secs
lola: 1717867 markings, 2147129 edges, 25498 markings/sec, 70 secs
lola: 1844878 markings, 2308539 edges, 25402 markings/sec, 75 secs
lola: 1960284 markings, 2451610 edges, 23081 markings/sec, 80 secs
lola: 2079313 markings, 2603087 edges, 23806 markings/sec, 85 secs
lola: 2209558 markings, 2770390 edges, 26049 markings/sec, 90 secs
lola: 2330025 markings, 2921966 edges, 24093 markings/sec, 95 secs
lola: 2447790 markings, 3071871 edges, 23553 markings/sec, 100 secs
lola: 2561621 markings, 3210101 edges, 22766 markings/sec, 105 secs
lola: 2698014 markings, 3381930 edges, 27279 markings/sec, 110 secs
lola: 2849055 markings, 3573728 edges, 30208 markings/sec, 115 secs
lola: 2995167 markings, 3756622 edges, 29222 markings/sec, 120 secs
lola: 3120176 markings, 3911392 edges, 25002 markings/sec, 125 secs
lola: 3229280 markings, 4044205 edges, 21821 markings/sec, 130 secs
lola: 3362360 markings, 4214652 edges, 26616 markings/sec, 135 secs
lola: 3499766 markings, 4389388 edges, 27481 markings/sec, 140 secs
lola: 3632249 markings, 4555114 edges, 26497 markings/sec, 145 secs
lola: 3758012 markings, 4715254 edges, 25153 markings/sec, 150 secs
lola: 3878074 markings, 4865466 edges, 24012 markings/sec, 155 secs
lola: 3996615 markings, 5010543 edges, 23708 markings/sec, 160 secs
lola: 4083504 markings, 5121903 edges, 17378 markings/sec, 165 secs
lola: 4207162 markings, 5274059 edges, 24732 markings/sec, 170 secs
lola: 4287338 markings, 5372348 edges, 16035 markings/sec, 175 secs
lola: 4423121 markings, 5545607 edges, 27157 markings/sec, 180 secs
lola: 4519263 markings, 5662865 edges, 19228 markings/sec, 185 secs
lola: 4628111 markings, 5798456 edges, 21770 markings/sec, 190 secs
lola: 4748100 markings, 5947687 edges, 23998 markings/sec, 195 secs
lola: 4836690 markings, 6059186 edges, 17718 markings/sec, 200 secs
lola: 4939859 markings, 6185116 edges, 20634 markings/sec, 205 secs
lola: 5050281 markings, 6322887 edges, 22084 markings/sec, 210 secs
lola: 5161119 markings, 6465929 edges, 22168 markings/sec, 215 secs
lola: 5260377 markings, 6587124 edges, 19852 markings/sec, 220 secs
lola: 5356535 markings, 6704530 edges, 19232 markings/sec, 225 secs
lola: 5452725 markings, 6821879 edges, 19238 markings/sec, 230 secs
lola: 5561237 markings, 6957436 edges, 21702 markings/sec, 235 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 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2199)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 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: 167194 markings, 232404 edges, 33439 markings/sec, 0 secs
lola: 305537 markings, 445868 edges, 27669 markings/sec, 5 secs
lola: 441824 markings, 643093 edges, 27257 markings/sec, 10 secs
lola: 571377 markings, 820283 edges, 25911 markings/sec, 15 secs
lola: 685230 markings, 987432 edges, 22771 markings/sec, 20 secs
lola: 810992 markings, 1162238 edges, 25152 markings/sec, 25 secs
lola: 928382 markings, 1328746 edges, 23478 markings/sec, 30 secs
lola: 1049311 markings, 1488425 edges, 24186 markings/sec, 35 secs
lola: 1161298 markings, 1655290 edges, 22397 markings/sec, 40 secs
lola: 1271305 markings, 1812649 edges, 22001 markings/sec, 45 secs
lola: 1380935 markings, 1966550 edges, 21926 markings/sec, 50 secs
lola: 1488211 markings, 2119728 edges, 21455 markings/sec, 55 secs
lola: 1596643 markings, 2266930 edges, 21686 markings/sec, 60 secs
lola: 1705036 markings, 2417287 edges, 21679 markings/sec, 65 secs
lola: 1813872 markings, 2566170 edges, 21767 markings/sec, 70 secs
lola: 1930560 markings, 2720688 edges, 23338 markings/sec, 75 secs
lola: 2059468 markings, 2897026 edges, 25782 markings/sec, 80 secs
lola: 2199953 markings, 3076015 edges, 28097 markings/sec, 85 secs
lola: 2344342 markings, 3257832 edges, 28878 markings/sec, 90 secs
lola: 2471567 markings, 3417216 edges, 25445 markings/sec, 95 secs
lola: 2589564 markings, 3567427 edges, 23599 markings/sec, 100 secs
lola: 2722805 markings, 3742701 edges, 26648 markings/sec, 105 secs
lola: 2858759 markings, 3913028 edges, 27191 markings/sec, 110 secs
lola: 2989889 markings, 4078971 edges, 26226 markings/sec, 115 secs
lola: 3110852 markings, 4229876 edges, 24193 markings/sec, 120 secs
lola: 3246574 markings, 4402960 edges, 27144 markings/sec, 125 secs
lola: 3385287 markings, 4581143 edges, 27743 markings/sec, 130 secs
lola: 3524418 markings, 4759136 edges, 27826 markings/sec, 135 secs
lola: 3652889 markings, 4935554 edges, 25694 markings/sec, 140 secs
lola: 3752281 markings, 5089463 edges, 19878 markings/sec, 145 secs
lola: 3869812 markings, 5252490 edges, 23506 markings/sec, 150 secs
lola: 3961726 markings, 5395072 edges, 18383 markings/sec, 155 secs
lola: 4078248 markings, 5556345 edges, 23304 markings/sec, 160 secs
lola: 4181251 markings, 5704137 edges, 20601 markings/sec, 165 secs
lola: 4296589 markings, 5857627 edges, 23068 markings/sec, 170 secs
lola: 4410972 markings, 6015882 edges, 22877 markings/sec, 175 secs
lola: 4521870 markings, 6171662 edges, 22180 markings/sec, 180 secs
lola: 4612401 markings, 6315793 edges, 18106 markings/sec, 185 secs
lola: 4728072 markings, 6478599 edges, 23134 markings/sec, 190 secs
lola: 4826423 markings, 6631662 edges, 19670 markings/sec, 195 secs
lola: 4934107 markings, 6783734 edges, 21537 markings/sec, 200 secs
lola: 5046446 markings, 6940445 edges, 22468 markings/sec, 205 secs
lola: 5141533 markings, 7087318 edges, 19017 markings/sec, 210 secs
lola: 5254290 markings, 7247865 edges, 22551 markings/sec, 215 secs
lola: 5343209 markings, 7383384 edges, 17784 markings/sec, 220 secs
lola: 5450704 markings, 7515213 edges, 21499 markings/sec, 225 secs
lola: 5561875 markings, 7663445 edges, 22234 markings/sec, 230 secs
lola: 5670606 markings, 7815377 edges, 21746 markings/sec, 235 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 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p902)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 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: 118074 markings, 145361 edges, 23615 markings/sec, 0 secs
lola: 240150 markings, 297808 edges, 24415 markings/sec, 5 secs
lola: 352901 markings, 434527 edges, 22550 markings/sec, 10 secs
lola: 480694 markings, 590132 edges, 25559 markings/sec, 15 secs
lola: 610026 markings, 748399 edges, 25866 markings/sec, 20 secs
lola: 740065 markings, 909644 edges, 26008 markings/sec, 25 secs
lola: 866256 markings, 1066912 edges, 25238 markings/sec, 30 secs
lola: 979157 markings, 1204873 edges, 22580 markings/sec, 35 secs
lola: 1092333 markings, 1344710 edges, 22635 markings/sec, 40 secs
lola: 1215840 markings, 1499882 edges, 24701 markings/sec, 45 secs
lola: 1330799 markings, 1642280 edges, 22992 markings/sec, 50 secs
lola: 1431156 markings, 1764552 edges, 20071 markings/sec, 55 secs
lola: 1540984 markings, 1898020 edges, 21966 markings/sec, 60 secs
lola: 1664649 markings, 2053516 edges, 24733 markings/sec, 65 secs
lola: 1798684 markings, 2223961 edges, 26807 markings/sec, 70 secs
lola: 1928254 markings, 2385579 edges, 25914 markings/sec, 75 secs
lola: 2050769 markings, 2540714 edges, 24503 markings/sec, 80 secs
lola: 2169148 markings, 2689862 edges, 23676 markings/sec, 85 secs
lola: 2295913 markings, 2854082 edges, 25353 markings/sec, 90 secs
lola: 2419573 markings, 3009051 edges, 24732 markings/sec, 95 secs
lola: 2536417 markings, 3158839 edges, 23369 markings/sec, 100 secs
lola: 2640362 markings, 3285204 edges, 20789 markings/sec, 105 secs
lola: 2755927 markings, 3428197 edges, 23113 markings/sec, 110 secs
lola: 2894682 markings, 3607089 edges, 27751 markings/sec, 115 secs
lola: 3042029 markings, 3790935 edges, 29469 markings/sec, 120 secs
lola: 3171984 markings, 3952485 edges, 25991 markings/sec, 125 secs
lola: 3290055 markings, 4097283 edges, 23614 markings/sec, 130 secs
lola: 3405515 markings, 4240755 edges, 23092 markings/sec, 135 secs
lola: 3544696 markings, 4421337 edges, 27836 markings/sec, 140 secs
lola: 3683852 markings, 4595472 edges, 27831 markings/sec, 145 secs
lola: 3806920 markings, 4748722 edges, 24614 markings/sec, 150 secs
lola: 3928899 markings, 4905026 edges, 24396 markings/sec, 155 secs
lola: 4042854 markings, 5045678 edges, 22791 markings/sec, 160 secs
lola: 4141186 markings, 5165676 edges, 19666 markings/sec, 165 secs
lola: 4246304 markings, 5300329 edges, 21024 markings/sec, 170 secs
lola: 4347518 markings, 5424017 edges, 20243 markings/sec, 175 secs
lola: 4450129 markings, 5554509 edges, 20522 markings/sec, 180 secs
lola: 4582090 markings, 5718732 edges, 26392 markings/sec, 185 secs
lola: 4678912 markings, 5836879 edges, 19364 markings/sec, 190 secs
lola: 4793067 markings, 5979326 edges, 22831 markings/sec, 195 secs
lola: 4896111 markings, 6108662 edges, 20609 markings/sec, 200 secs
lola: 5003774 markings, 6242258 edges, 21533 markings/sec, 205 secs
lola: 5100847 markings, 6360705 edges, 19415 markings/sec, 210 secs
lola: 5197448 markings, 6483645 edges, 19320 markings/sec, 215 secs
lola: 5334778 markings, 6657082 edges, 27466 markings/sec, 220 secs
lola: 5416105 markings, 6755653 edges, 16265 markings/sec, 225 secs
lola: 5527695 markings, 6892190 edges, 22318 markings/sec, 230 secs
lola: 5638194 markings, 7027915 edges, 22100 markings/sec, 235 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 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p898)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 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: 108961 markings, 130791 edges, 21792 markings/sec, 0 secs
lola: 210952 markings, 253806 edges, 20398 markings/sec, 5 secs
lola: 329734 markings, 398579 edges, 23756 markings/sec, 10 secs
lola: 447338 markings, 542531 edges, 23521 markings/sec, 15 secs
lola: 569935 markings, 694770 edges, 24519 markings/sec, 20 secs
lola: 683927 markings, 835724 edges, 22798 markings/sec, 25 secs
lola: 795490 markings, 973629 edges, 22313 markings/sec, 30 secs
lola: 891857 markings, 1091447 edges, 19273 markings/sec, 35 secs
lola: 998342 markings, 1225384 edges, 21297 markings/sec, 40 secs
lola: 1107556 markings, 1361994 edges, 21843 markings/sec, 45 secs
lola: 1200836 markings, 1476356 edges, 18656 markings/sec, 50 secs
lola: 1286050 markings, 1580164 edges, 17043 markings/sec, 55 secs
lola: 1381007 markings, 1695521 edges, 18991 markings/sec, 60 secs
lola: 1486263 markings, 1825952 edges, 21051 markings/sec, 65 secs
lola: 1601904 markings, 1974102 edges, 23128 markings/sec, 70 secs
lola: 1718959 markings, 2120950 edges, 23411 markings/sec, 75 secs
lola: 1832868 markings, 2267572 edges, 22782 markings/sec, 80 secs
lola: 1930066 markings, 2386159 edges, 19440 markings/sec, 85 secs
lola: 2042833 markings, 2530959 edges, 22553 markings/sec, 90 secs
lola: 2154173 markings, 2674221 edges, 22268 markings/sec, 95 secs
lola: 2263156 markings, 2810837 edges, 21797 markings/sec, 100 secs
lola: 2376184 markings, 2956019 edges, 22606 markings/sec, 105 secs
lola: 2480524 markings, 3082846 edges, 20868 markings/sec, 110 secs
lola: 2600124 markings, 3230979 edges, 23920 markings/sec, 115 secs
lola: 2742919 markings, 3414672 edges, 28559 markings/sec, 120 secs
lola: 2884383 markings, 3591271 edges, 28293 markings/sec, 125 secs
lola: 3002279 markings, 3738031 edges, 23579 markings/sec, 130 secs
lola: 3102427 markings, 3861047 edges, 20030 markings/sec, 135 secs
lola: 3207264 markings, 3988943 edges, 20967 markings/sec, 140 secs
lola: 3338892 markings, 4158704 edges, 26326 markings/sec, 145 secs
lola: 3468995 markings, 4323706 edges, 26021 markings/sec, 150 secs
lola: 3587037 markings, 4471371 edges, 23608 markings/sec, 155 secs
lola: 3692041 markings, 4604689 edges, 21001 markings/sec, 160 secs
lola: 3807210 markings, 4749393 edges, 23034 markings/sec, 165 secs
lola: 3924558 markings, 4894360 edges, 23470 markings/sec, 170 secs
lola: 4004137 markings, 4993287 edges, 15916 markings/sec, 175 secs
lola: 4123016 markings, 5142832 edges, 23776 markings/sec, 180 secs
lola: 4207236 markings, 5245417 edges, 16844 markings/sec, 185 secs
lola: 4322092 markings, 5392361 edges, 22971 markings/sec, 190 secs
lola: 4436777 markings, 5534086 edges, 22937 markings/sec, 195 secs
lola: 4524008 markings, 5640568 edges, 17446 markings/sec, 200 secs
lola: 4624189 markings, 5765770 edges, 20036 markings/sec, 205 secs
lola: 4721827 markings, 5887946 edges, 19528 markings/sec, 210 secs
lola: 4805261 markings, 5992417 edges, 16687 markings/sec, 215 secs
lola: 4896532 markings, 6103788 edges, 18254 markings/sec, 220 secs
lola: 4999136 markings, 6231093 edges, 20521 markings/sec, 225 secs
lola: 5095294 markings, 6356901 edges, 19232 markings/sec, 230 secs
lola: 5199155 markings, 6484079 edges, 20772 markings/sec, 235 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 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2173)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 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: 111927 markings, 134338 edges, 22385 markings/sec, 0 secs
lola: 220014 markings, 263854 edges, 21617 markings/sec, 5 secs
lola: 335262 markings, 401868 edges, 23050 markings/sec, 10 secs
lola: 472455 markings, 569932 edges, 27439 markings/sec, 15 secs
lola: 610403 markings, 740019 edges, 27590 markings/sec, 20 secs
lola: 742248 markings, 904271 edges, 26369 markings/sec, 25 secs
lola: 855823 markings, 1042989 edges, 22715 markings/sec, 30 secs
lola: 981294 markings, 1201036 edges, 25094 markings/sec, 35 secs
lola: 1100404 markings, 1350182 edges, 23822 markings/sec, 40 secs
lola: 1206817 markings, 1479571 edges, 21283 markings/sec, 45 secs
lola: 1323285 markings, 1620701 edges, 23294 markings/sec, 50 secs
lola: 1458787 markings, 1791382 edges, 27100 markings/sec, 55 secs
lola: 1596818 markings, 1966813 edges, 27606 markings/sec, 60 secs
lola: 1734352 markings, 2141527 edges, 27507 markings/sec, 65 secs
lola: 1856293 markings, 2291697 edges, 24388 markings/sec, 70 secs
lola: 1988252 markings, 2461111 edges, 26392 markings/sec, 75 secs
lola: 2120503 markings, 2629173 edges, 26450 markings/sec, 80 secs
lola: 2246282 markings, 2789075 edges, 25156 markings/sec, 85 secs
lola: 2370585 markings, 2944082 edges, 24861 markings/sec, 90 secs
lola: 2504731 markings, 3109252 edges, 26829 markings/sec, 95 secs
lola: 2664040 markings, 3313389 edges, 31862 markings/sec, 100 secs
lola: 2823787 markings, 3512740 edges, 31949 markings/sec, 105 secs
lola: 2964277 markings, 3686533 edges, 28098 markings/sec, 110 secs
lola: 3088695 markings, 3838408 edges, 24884 markings/sec, 115 secs
lola: 3227566 markings, 4015745 edges, 27774 markings/sec, 120 secs
lola: 3371114 markings, 4197726 edges, 28710 markings/sec, 125 secs
lola: 3506801 markings, 4367492 edges, 27137 markings/sec, 130 secs
lola: 3640600 markings, 4537716 edges, 26760 markings/sec, 135 secs
lola: 3772935 markings, 4702243 edges, 26467 markings/sec, 140 secs
lola: 3893031 markings, 4849177 edges, 24019 markings/sec, 145 secs
lola: 3996891 markings, 4981733 edges, 20772 markings/sec, 150 secs
lola: 4115397 markings, 5126853 edges, 23701 markings/sec, 155 secs
lola: 4219221 markings, 5257558 edges, 20765 markings/sec, 160 secs
lola: 4367590 markings, 5443428 edges, 29674 markings/sec, 165 secs
lola: 4471400 markings, 5570259 edges, 20762 markings/sec, 170 secs
lola: 4583960 markings, 5710916 edges, 22512 markings/sec, 175 secs
lola: 4688689 markings, 5842426 edges, 20946 markings/sec, 180 secs
lola: 4802847 markings, 5983861 edges, 22832 markings/sec, 185 secs
lola: 4909719 markings, 6114503 edges, 21374 markings/sec, 190 secs
lola: 5008969 markings, 6241891 edges, 19850 markings/sec, 195 secs
lola: 5140016 markings, 6406847 edges, 26209 markings/sec, 200 secs
lola: 5232846 markings, 6519859 edges, 18566 markings/sec, 205 secs
lola: 5338685 markings, 6649165 edges, 21168 markings/sec, 210 secs
lola: 5453225 markings, 6792103 edges, 22908 markings/sec, 215 secs
lola: 5565203 markings, 6931974 edges, 22396 markings/sec, 220 secs
lola: 5674665 markings, 7067654 edges, 21892 markings/sec, 225 secs
lola: 5781944 markings, 7198696 edges, 21456 markings/sec, 230 secs
lola: 5876919 markings, 7322549 edges, 18995 markings/sec, 235 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 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1785)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 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: 113443 markings, 136764 edges, 22689 markings/sec, 0 secs
lola: 243059 markings, 293572 edges, 25923 markings/sec, 5 secs
lola: 377804 markings, 456774 edges, 26949 markings/sec, 10 secs
lola: 509208 markings, 616943 edges, 26281 markings/sec, 15 secs
lola: 642935 markings, 780085 edges, 26745 markings/sec, 20 secs
lola: 779019 markings, 946265 edges, 27217 markings/sec, 25 secs
lola: 908612 markings, 1103957 edges, 25919 markings/sec, 30 secs
lola: 1044747 markings, 1272409 edges, 27227 markings/sec, 35 secs
lola: 1172456 markings, 1432459 edges, 25542 markings/sec, 40 secs
lola: 1308282 markings, 1599059 edges, 27165 markings/sec, 45 secs
lola: 1431333 markings, 1748812 edges, 24610 markings/sec, 50 secs
lola: 1563371 markings, 1914554 edges, 26408 markings/sec, 55 secs
lola: 1684792 markings, 2065572 edges, 24284 markings/sec, 60 secs
lola: 1812691 markings, 2225150 edges, 25580 markings/sec, 65 secs
lola: 1933265 markings, 2372603 edges, 24115 markings/sec, 70 secs
lola: 2054805 markings, 2520149 edges, 24308 markings/sec, 75 secs
lola: 2202193 markings, 2705349 edges, 29478 markings/sec, 80 secs
lola: 2337243 markings, 2876694 edges, 27010 markings/sec, 85 secs
lola: 2452623 markings, 3021397 edges, 23076 markings/sec, 90 secs
lola: 2562242 markings, 3158608 edges, 21924 markings/sec, 95 secs
lola: 2680932 markings, 3305657 edges, 23738 markings/sec, 100 secs
lola: 2783532 markings, 3434995 edges, 20520 markings/sec, 105 secs
lola: 2916799 markings, 3602145 edges, 26653 markings/sec, 110 secs
lola: 3043746 markings, 3763048 edges, 25389 markings/sec, 115 secs
lola: 3156426 markings, 3903549 edges, 22536 markings/sec, 120 secs
lola: 3269692 markings, 4043213 edges, 22653 markings/sec, 125 secs
lola: 3368903 markings, 4168105 edges, 19842 markings/sec, 130 secs
lola: 3460454 markings, 4282068 edges, 18310 markings/sec, 135 secs
lola: 3572591 markings, 4425413 edges, 22427 markings/sec, 140 secs
lola: 3706323 markings, 4594316 edges, 26746 markings/sec, 145 secs
lola: 3836579 markings, 4759340 edges, 26051 markings/sec, 150 secs
lola: 3963158 markings, 4922179 edges, 25316 markings/sec, 155 secs
lola: 4067835 markings, 5055995 edges, 20935 markings/sec, 160 secs
lola: 4181593 markings, 5201246 edges, 22752 markings/sec, 165 secs
lola: 4323230 markings, 5380018 edges, 28327 markings/sec, 170 secs
lola: 4493678 markings, 5594005 edges, 34090 markings/sec, 175 secs
lola: 4648586 markings, 5791817 edges, 30982 markings/sec, 180 secs
lola: 4807698 markings, 5993339 edges, 31822 markings/sec, 185 secs
lola: 4953971 markings, 6177000 edges, 29255 markings/sec, 190 secs
lola: 5110191 markings, 6375511 edges, 31244 markings/sec, 195 secs
lola: 5250411 markings, 6551517 edges, 28044 markings/sec, 200 secs
lola: 5381551 markings, 6718814 edges, 26228 markings/sec, 205 secs
lola: 5516467 markings, 6891539 edges, 26983 markings/sec, 210 secs
lola: 5654575 markings, 7067986 edges, 27622 markings/sec, 215 secs
lola: 5791312 markings, 7244800 edges, 27347 markings/sec, 220 secs
lola: 5901305 markings, 7383991 edges, 21999 markings/sec, 225 secs
lola: 6016638 markings, 7530255 edges, 23067 markings/sec, 230 secs
lola: 6112537 markings, 7653953 edges, 19180 markings/sec, 235 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 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1345)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 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: 155843 markings, 189158 edges, 31169 markings/sec, 0 secs
lola: 317882 markings, 387686 edges, 32408 markings/sec, 5 secs
lola: 494275 markings, 603873 edges, 35279 markings/sec, 10 secs
lola: 685408 markings, 838389 edges, 38227 markings/sec, 15 secs
lola: 841709 markings, 1031215 edges, 31260 markings/sec, 20 secs
lola: 974601 markings, 1195020 edges, 26578 markings/sec, 25 secs
lola: 1131706 markings, 1388714 edges, 31421 markings/sec, 30 secs
lola: 1301856 markings, 1599111 edges, 34030 markings/sec, 35 secs
lola: 1439672 markings, 1768119 edges, 27563 markings/sec, 40 secs
lola: 1564115 markings, 1919400 edges, 24889 markings/sec, 45 secs
lola: 1696153 markings, 2080328 edges, 26408 markings/sec, 50 secs
lola: 1832285 markings, 2246103 edges, 27226 markings/sec, 55 secs
lola: 1962588 markings, 2405387 edges, 26061 markings/sec, 60 secs
lola: 2094609 markings, 2567110 edges, 26404 markings/sec, 65 secs
lola: 2230204 markings, 2733504 edges, 27119 markings/sec, 70 secs
lola: 2362663 markings, 2896018 edges, 26492 markings/sec, 75 secs
lola: 2494816 markings, 3058342 edges, 26431 markings/sec, 80 secs
lola: 2643966 markings, 3240893 edges, 29830 markings/sec, 85 secs
lola: 2797146 markings, 3428630 edges, 30636 markings/sec, 90 secs
lola: 2953090 markings, 3619847 edges, 31189 markings/sec, 95 secs
lola: 3106938 markings, 3808461 edges, 30770 markings/sec, 100 secs
lola: 3258650 markings, 3994076 edges, 30342 markings/sec, 105 secs
lola: 3405612 markings, 4174055 edges, 29392 markings/sec, 110 secs
lola: 3530131 markings, 4326992 edges, 24904 markings/sec, 115 secs
lola: 3667634 markings, 4495570 edges, 27501 markings/sec, 120 secs
lola: 3807660 markings, 4667508 edges, 28005 markings/sec, 125 secs
lola: 3948116 markings, 4839575 edges, 28091 markings/sec, 130 secs
lola: 4085769 markings, 5008583 edges, 27531 markings/sec, 135 secs
lola: 4216115 markings, 5168428 edges, 26069 markings/sec, 140 secs
lola: 4356344 markings, 5340747 edges, 28046 markings/sec, 145 secs
lola: 4489311 markings, 5504664 edges, 26593 markings/sec, 150 secs
lola: 4623215 markings, 5668527 edges, 26781 markings/sec, 155 secs
lola: 4754354 markings, 5830043 edges, 26228 markings/sec, 160 secs
lola: 4884142 markings, 5989456 edges, 25958 markings/sec, 165 secs
lola: 5017257 markings, 6153082 edges, 26623 markings/sec, 170 secs
lola: 5148036 markings, 6312337 edges, 26156 markings/sec, 175 secs
lola: 5282849 markings, 6476769 edges, 26963 markings/sec, 180 secs
lola: 5410596 markings, 6634966 edges, 25549 markings/sec, 185 secs
lola: 5542557 markings, 6798118 edges, 26392 markings/sec, 190 secs
lola: 5678426 markings, 6965819 edges, 27174 markings/sec, 195 secs
lola: 5812389 markings, 7130181 edges, 26793 markings/sec, 200 secs
lola: 5952351 markings, 7301998 edges, 27992 markings/sec, 205 secs
lola: 6082606 markings, 7461756 edges, 26051 markings/sec, 210 secs
lola: 6220347 markings, 7631209 edges, 27548 markings/sec, 215 secs
lola: 6357001 markings, 7799418 edges, 27331 markings/sec, 220 secs
lola: 6490513 markings, 7963288 edges, 26702 markings/sec, 225 secs
lola: 6623898 markings, 8127708 edges, 26677 markings/sec, 230 secs
lola: 6754692 markings, 8287627 edges, 26159 markings/sec, 235 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 242 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p219)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 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: 75189 markings, 111578 edges, 15038 markings/sec, 0 secs
lola: 150502 markings, 271299 edges, 15063 markings/sec, 5 secs
lola: 227314 markings, 445240 edges, 15362 markings/sec, 10 secs
lola: 305354 markings, 611787 edges, 15608 markings/sec, 15 secs
lola: 381625 markings, 775264 edges, 15254 markings/sec, 20 secs
lola: 460412 markings, 957345 edges, 15757 markings/sec, 25 secs
lola: 539705 markings, 1132932 edges, 15859 markings/sec, 30 secs
lola: 621793 markings, 1313152 edges, 16418 markings/sec, 35 secs
lola: 701813 markings, 1492960 edges, 16004 markings/sec, 40 secs
lola: 781429 markings, 1672371 edges, 15923 markings/sec, 45 secs
lola: 856847 markings, 1843130 edges, 15084 markings/sec, 50 secs
lola: 934213 markings, 2018057 edges, 15473 markings/sec, 55 secs
lola: 1007718 markings, 2189844 edges, 14701 markings/sec, 60 secs
lola: 1083137 markings, 2343926 edges, 15084 markings/sec, 65 secs
lola: 1159062 markings, 2515484 edges, 15185 markings/sec, 70 secs
lola: 1237182 markings, 2693424 edges, 15624 markings/sec, 75 secs
lola: 1315124 markings, 2870478 edges, 15588 markings/sec, 80 secs
lola: 1391045 markings, 3041346 edges, 15184 markings/sec, 85 secs
lola: 1466955 markings, 3215690 edges, 15182 markings/sec, 90 secs
lola: 1544084 markings, 3389964 edges, 15426 markings/sec, 95 secs
lola: 1620469 markings, 3565202 edges, 15277 markings/sec, 100 secs
lola: 1697011 markings, 3738716 edges, 15308 markings/sec, 105 secs
lola: 1769984 markings, 3904407 edges, 14595 markings/sec, 110 secs
lola: 1842127 markings, 4065879 edges, 14429 markings/sec, 115 secs
lola: 1915284 markings, 4219530 edges, 14631 markings/sec, 120 secs
lola: 1985497 markings, 4380617 edges, 14043 markings/sec, 125 secs
lola: 2057872 markings, 4544993 edges, 14475 markings/sec, 130 secs
lola: 2131089 markings, 4708147 edges, 14643 markings/sec, 135 secs
lola: 2204303 markings, 4872003 edges, 14643 markings/sec, 140 secs
lola: 2274206 markings, 5028864 edges, 13981 markings/sec, 145 secs
lola: 2347348 markings, 5189750 edges, 14628 markings/sec, 150 secs
lola: 2416110 markings, 5348712 edges, 13752 markings/sec, 155 secs
lola: 2473882 markings, 5490684 edges, 11554 markings/sec, 160 secs
lola: 2542716 markings, 5636022 edges, 13767 markings/sec, 165 secs
lola: 2613233 markings, 5790681 edges, 14103 markings/sec, 170 secs
lola: 2677643 markings, 5939567 edges, 12882 markings/sec, 175 secs
lola: 2746976 markings, 6095682 edges, 13867 markings/sec, 180 secs
lola: 2817195 markings, 6253038 edges, 14044 markings/sec, 185 secs
lola: 2887340 markings, 6414867 edges, 14029 markings/sec, 190 secs
lola: 2955526 markings, 6569150 edges, 13637 markings/sec, 195 secs
lola: 3024409 markings, 6723539 edges, 13777 markings/sec, 200 secs
lola: 3093021 markings, 6880162 edges, 13722 markings/sec, 205 secs
lola: 3165619 markings, 7044698 edges, 14520 markings/sec, 210 secs
lola: 3238983 markings, 7207421 edges, 14673 markings/sec, 215 secs
lola: 3312247 markings, 7377030 edges, 14653 markings/sec, 220 secs
lola: 3382914 markings, 7537883 edges, 14133 markings/sec, 225 secs
lola: 3454428 markings, 7697533 edges, 14303 markings/sec, 230 secs
lola: 3524835 markings, 7859518 edges, 14081 markings/sec, 235 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 242 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2169)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 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: 121012 markings, 144909 edges, 24202 markings/sec, 0 secs
lola: 264865 markings, 321024 edges, 28771 markings/sec, 5 secs
lola: 401246 markings, 489655 edges, 27276 markings/sec, 10 secs
lola: 520985 markings, 639275 edges, 23948 markings/sec, 15 secs
lola: 631985 markings, 775086 edges, 22200 markings/sec, 20 secs
lola: 744499 markings, 914579 edges, 22503 markings/sec, 25 secs
lola: 861301 markings, 1062169 edges, 23360 markings/sec, 30 secs
lola: 968542 markings, 1195637 edges, 21448 markings/sec, 35 secs
lola: 1056362 markings, 1302490 edges, 17564 markings/sec, 40 secs
lola: 1153127 markings, 1419752 edges, 19353 markings/sec, 45 secs
lola: 1267696 markings, 1561500 edges, 22914 markings/sec, 50 secs
lola: 1387003 markings, 1714447 edges, 23861 markings/sec, 55 secs
lola: 1504845 markings, 1862148 edges, 23568 markings/sec, 60 secs
lola: 1619208 markings, 2009130 edges, 22873 markings/sec, 65 secs
lola: 1722568 markings, 2134735 edges, 20672 markings/sec, 70 secs
lola: 1839859 markings, 2286083 edges, 23458 markings/sec, 75 secs
lola: 1958388 markings, 2437013 edges, 23706 markings/sec, 80 secs
lola: 2070215 markings, 2577811 edges, 22365 markings/sec, 85 secs
lola: 2183134 markings, 2722121 edges, 22584 markings/sec, 90 secs
lola: 2295090 markings, 2857949 edges, 22391 markings/sec, 95 secs
lola: 2432869 markings, 3031406 edges, 27556 markings/sec, 100 secs
lola: 2572770 markings, 3209452 edges, 27980 markings/sec, 105 secs
lola: 2708248 markings, 3378895 edges, 27096 markings/sec, 110 secs
lola: 2825742 markings, 3523868 edges, 23499 markings/sec, 115 secs
lola: 2941960 markings, 3665893 edges, 23244 markings/sec, 120 secs
lola: 3069738 markings, 3827972 edges, 25556 markings/sec, 125 secs
lola: 3203835 markings, 3999445 edges, 26819 markings/sec, 130 secs
lola: 3333069 markings, 4161283 edges, 25847 markings/sec, 135 secs
lola: 3450196 markings, 4307514 edges, 23425 markings/sec, 140 secs
lola: 3578910 markings, 4471368 edges, 25743 markings/sec, 145 secs
lola: 3706604 markings, 4628307 edges, 25539 markings/sec, 150 secs
lola: 3788821 markings, 4730269 edges, 16443 markings/sec, 155 secs
lola: 3908792 markings, 4881086 edges, 23994 markings/sec, 160 secs
lola: 3999142 markings, 4991231 edges, 18070 markings/sec, 165 secs
lola: 4125658 markings, 5152940 edges, 25303 markings/sec, 170 secs
lola: 4244911 markings, 5299986 edges, 23851 markings/sec, 175 secs
lola: 4349084 markings, 5427491 edges, 20835 markings/sec, 180 secs
lola: 4451929 markings, 5556214 edges, 20569 markings/sec, 185 secs
lola: 4548875 markings, 5678123 edges, 19389 markings/sec, 190 secs
lola: 4656400 markings, 5811416 edges, 21505 markings/sec, 195 secs
lola: 4748979 markings, 5924408 edges, 18516 markings/sec, 200 secs
lola: 4841819 markings, 6041881 edges, 18568 markings/sec, 205 secs
lola: 4972921 markings, 6209081 edges, 26220 markings/sec, 210 secs
lola: 5059078 markings, 6313883 edges, 17231 markings/sec, 215 secs
lola: 5168293 markings, 6447569 edges, 21843 markings/sec, 220 secs
lola: 5265649 markings, 6567913 edges, 19471 markings/sec, 225 secs
lola: 5374846 markings, 6703706 edges, 21839 markings/sec, 230 secs
lola: 5465568 markings, 6817746 edges, 18144 markings/sec, 235 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 242 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1470)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 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: 119828 markings, 203319 edges, 23966 markings/sec, 0 secs
lola: 257435 markings, 441545 edges, 27521 markings/sec, 5 secs
lola: 400173 markings, 675799 edges, 28548 markings/sec, 10 secs
lola: 535418 markings, 853522 edges, 27049 markings/sec, 15 secs
lola: 654924 markings, 1028888 edges, 23901 markings/sec, 20 secs
lola: 769921 markings, 1187753 edges, 22999 markings/sec, 25 secs
lola: 885281 markings, 1335959 edges, 23072 markings/sec, 30 secs
lola: 994951 markings, 1483851 edges, 21934 markings/sec, 35 secs
lola: 1104368 markings, 1634786 edges, 21883 markings/sec, 40 secs
lola: 1207827 markings, 1765243 edges, 20692 markings/sec, 45 secs
lola: 1308231 markings, 1890285 edges, 20081 markings/sec, 50 secs
lola: 1411086 markings, 2023096 edges, 20571 markings/sec, 55 secs
lola: 1510856 markings, 2167335 edges, 19954 markings/sec, 60 secs
lola: 1605628 markings, 2304464 edges, 18954 markings/sec, 65 secs
lola: 1731712 markings, 2493332 edges, 25217 markings/sec, 70 secs
lola: 1848708 markings, 2641955 edges, 23399 markings/sec, 75 secs
lola: 1965945 markings, 2829546 edges, 23447 markings/sec, 80 secs
lola: 2091880 markings, 3009162 edges, 25187 markings/sec, 85 secs
lola: 2219953 markings, 3211717 edges, 25615 markings/sec, 90 secs
lola: 2339061 markings, 3389881 edges, 23822 markings/sec, 95 secs
lola: 2456960 markings, 3540651 edges, 23580 markings/sec, 100 secs
lola: 2562306 markings, 3680574 edges, 21069 markings/sec, 105 secs
lola: 2680916 markings, 3879441 edges, 23722 markings/sec, 110 secs
lola: 2799023 markings, 4068796 edges, 23621 markings/sec, 115 secs
lola: 2908987 markings, 4212688 edges, 21993 markings/sec, 120 secs
lola: 3025363 markings, 4374293 edges, 23275 markings/sec, 125 secs
lola: 3179894 markings, 4588942 edges, 30906 markings/sec, 130 secs
lola: 3309592 markings, 4751677 edges, 25940 markings/sec, 135 secs
lola: 3452074 markings, 4995458 edges, 28496 markings/sec, 140 secs
lola: 3592288 markings, 5173140 edges, 28043 markings/sec, 145 secs
lola: 3723838 markings, 5371087 edges, 26310 markings/sec, 150 secs
lola: 3833291 markings, 5516219 edges, 21891 markings/sec, 155 secs
lola: 3971856 markings, 5713492 edges, 27713 markings/sec, 160 secs
lola: 4098187 markings, 5871928 edges, 25266 markings/sec, 165 secs
lola: 4205523 markings, 6013773 edges, 21467 markings/sec, 170 secs
lola: 4340806 markings, 6229941 edges, 27057 markings/sec, 175 secs
lola: 4464609 markings, 6409491 edges, 24761 markings/sec, 180 secs
lola: 4588502 markings, 6577892 edges, 24779 markings/sec, 185 secs
lola: 4704818 markings, 6744431 edges, 23263 markings/sec, 190 secs
lola: 4808257 markings, 6872549 edges, 20688 markings/sec, 195 secs
lola: 4892100 markings, 6984949 edges, 16769 markings/sec, 200 secs
lola: 4994189 markings, 7111266 edges, 20418 markings/sec, 205 secs
lola: 5073458 markings, 7215470 edges, 15854 markings/sec, 210 secs
lola: 5176421 markings, 7342755 edges, 20593 markings/sec, 215 secs
lola: 5294932 markings, 7561151 edges, 23702 markings/sec, 220 secs
lola: 5427800 markings, 7768980 edges, 26574 markings/sec, 225 secs
lola: 5549849 markings, 7924471 edges, 24410 markings/sec, 230 secs
lola: 5660015 markings, 8062026 edges, 22033 markings/sec, 235 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 242 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p938)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 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: 122537 markings, 217986 edges, 24507 markings/sec, 0 secs
lola: 250653 markings, 443336 edges, 25623 markings/sec, 5 secs
lola: 377229 markings, 651246 edges, 25315 markings/sec, 10 secs
lola: 499853 markings, 867949 edges, 24525 markings/sec, 15 secs
lola: 628149 markings, 1092062 edges, 25659 markings/sec, 20 secs
lola: 750425 markings, 1276911 edges, 24455 markings/sec, 25 secs
lola: 862817 markings, 1413793 edges, 22478 markings/sec, 30 secs
lola: 969245 markings, 1543622 edges, 21286 markings/sec, 35 secs
lola: 1086817 markings, 1690891 edges, 23514 markings/sec, 40 secs
lola: 1192745 markings, 1820116 edges, 21186 markings/sec, 45 secs
lola: 1305598 markings, 1960839 edges, 22571 markings/sec, 50 secs
lola: 1400597 markings, 2076535 edges, 19000 markings/sec, 55 secs
lola: 1510629 markings, 2213558 edges, 22006 markings/sec, 60 secs
lola: 1625950 markings, 2357812 edges, 23064 markings/sec, 65 secs
lola: 1730349 markings, 2487216 edges, 20880 markings/sec, 70 secs
lola: 1824828 markings, 2602282 edges, 18896 markings/sec, 75 secs
lola: 1930511 markings, 2730757 edges, 21137 markings/sec, 80 secs
lola: 2047419 markings, 2877050 edges, 23382 markings/sec, 85 secs
lola: 2175659 markings, 3041241 edges, 25648 markings/sec, 90 secs
lola: 2304685 markings, 3202032 edges, 25805 markings/sec, 95 secs
lola: 2421516 markings, 3350401 edges, 23366 markings/sec, 100 secs
lola: 2532203 markings, 3488252 edges, 22137 markings/sec, 105 secs
lola: 2655554 markings, 3648459 edges, 24670 markings/sec, 110 secs
lola: 2774988 markings, 3798437 edges, 23887 markings/sec, 115 secs
lola: 2884275 markings, 3938693 edges, 21857 markings/sec, 120 secs
lola: 2981634 markings, 4059384 edges, 19472 markings/sec, 125 secs
lola: 3092794 markings, 4194374 edges, 22232 markings/sec, 130 secs
lola: 3239246 markings, 4380945 edges, 29290 markings/sec, 135 secs
lola: 3382690 markings, 4561740 edges, 28689 markings/sec, 140 secs
lola: 3524283 markings, 4738776 edges, 28319 markings/sec, 145 secs
lola: 3636021 markings, 4876995 edges, 22348 markings/sec, 150 secs
lola: 3742359 markings, 5006608 edges, 21268 markings/sec, 155 secs
lola: 3876060 markings, 5178217 edges, 26740 markings/sec, 160 secs
lola: 4011404 markings, 5350234 edges, 27069 markings/sec, 165 secs
lola: 4141223 markings, 5512421 edges, 25964 markings/sec, 170 secs
lola: 4264583 markings, 5669579 edges, 24672 markings/sec, 175 secs
lola: 4383994 markings, 5819028 edges, 23882 markings/sec, 180 secs
lola: 4501699 markings, 5963128 edges, 23541 markings/sec, 185 secs
lola: 4592686 markings, 6079530 edges, 18197 markings/sec, 190 secs
lola: 4713157 markings, 6227727 edges, 24094 markings/sec, 195 secs
lola: 4794657 markings, 6327640 edges, 16300 markings/sec, 200 secs
lola: 4936794 markings, 6508684 edges, 28427 markings/sec, 205 secs
lola: 5033125 markings, 6626263 edges, 19266 markings/sec, 210 secs
lola: 5145721 markings, 6766421 edges, 22519 markings/sec, 215 secs
lola: 5258690 markings, 6907081 edges, 22594 markings/sec, 220 secs
lola: 5338409 markings, 7007589 edges, 15944 markings/sec, 225 secs
lola: 5437241 markings, 7128367 edges, 19766 markings/sec, 230 secs
lola: 5542632 markings, 7258442 edges, 21078 markings/sec, 235 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 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA CloudReconfiguration-PT-320-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-320-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-320-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-320-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-320-UpperBounds-4 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-320-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-320-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-320-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-320-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-320-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-320-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-320-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-320-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-320-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-320-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-320-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496538445444

--------------------
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="CloudReconfiguration-PT-320"
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/CloudReconfiguration-PT-320.tgz
mv CloudReconfiguration-PT-320 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is CloudReconfiguration-PT-320, 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 r178-csrt-149580961500173"
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 ;