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-308, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-csrt-149580961300065
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496530632586


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


checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-308: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ CloudReconfiguration-PT-308 @ 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: 5680/65536 symbol table entries, 639 collisions
lola: preprocessing...
lola: finding significant places
lola: 2585 places, 3095 transitions, 2581 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2708 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-308-UpperBounds.task
lola: MAX(p2268) : MAX(p2047) : MAX(p611) : MAX(p1407) : MAX(p1892) : MAX(p1499) : MAX(p587) : MAX(p1217) : MAX(p2128) : MAX(p444) : MAX(p801) : MAX(p1936) : MAX(p1432) : MAX(p629) : MAX(p1914) : MAX(p47)
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(p2268)
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 11 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: 109171 markings, 198897 edges, 21834 markings/sec, 0 secs
lola: 197734 markings, 379839 edges, 17713 markings/sec, 5 secs
lola: 292615 markings, 550026 edges, 18976 markings/sec, 10 secs
lola: 370830 markings, 728579 edges, 15643 markings/sec, 15 secs
lola: 467273 markings, 926843 edges, 19289 markings/sec, 20 secs
lola: 572887 markings, 1140362 edges, 21123 markings/sec, 25 secs
lola: 667969 markings, 1324528 edges, 19016 markings/sec, 30 secs
lola: 753609 markings, 1478180 edges, 17128 markings/sec, 35 secs
lola: 837896 markings, 1632197 edges, 16857 markings/sec, 40 secs
lola: 923346 markings, 1788016 edges, 17090 markings/sec, 45 secs
lola: 1010250 markings, 1942496 edges, 17381 markings/sec, 50 secs
lola: 1101005 markings, 2105901 edges, 18151 markings/sec, 55 secs
lola: 1191447 markings, 2272886 edges, 18088 markings/sec, 60 secs
lola: 1286657 markings, 2442229 edges, 19042 markings/sec, 65 secs
lola: 1387656 markings, 2595039 edges, 20200 markings/sec, 70 secs
lola: 1494816 markings, 2724473 edges, 21432 markings/sec, 75 secs
lola: 1592238 markings, 2856819 edges, 19484 markings/sec, 80 secs
lola: 1663847 markings, 2993180 edges, 14322 markings/sec, 85 secs
lola: 1742272 markings, 3146222 edges, 15685 markings/sec, 90 secs
lola: 1842616 markings, 3355033 edges, 20069 markings/sec, 95 secs
lola: 1936898 markings, 3535916 edges, 18856 markings/sec, 100 secs
lola: 2028690 markings, 3714058 edges, 18358 markings/sec, 105 secs
lola: 2112293 markings, 3877250 edges, 16721 markings/sec, 110 secs
lola: 2199259 markings, 4045940 edges, 17393 markings/sec, 115 secs
lola: 2295320 markings, 4223431 edges, 19212 markings/sec, 120 secs
lola: 2390677 markings, 4420957 edges, 19071 markings/sec, 125 secs
lola: 2489417 markings, 4620818 edges, 19748 markings/sec, 130 secs
lola: 2584619 markings, 4806580 edges, 19040 markings/sec, 135 secs
lola: 2676424 markings, 4978533 edges, 18361 markings/sec, 140 secs
lola: 2783493 markings, 5150195 edges, 21414 markings/sec, 145 secs
lola: 2916941 markings, 5339381 edges, 26690 markings/sec, 150 secs
lola: 3036444 markings, 5506688 edges, 23901 markings/sec, 155 secs
lola: 3157961 markings, 5666105 edges, 24303 markings/sec, 160 secs
lola: 3274465 markings, 5821772 edges, 23301 markings/sec, 165 secs
lola: 3384106 markings, 5973515 edges, 21928 markings/sec, 170 secs
lola: 3490160 markings, 6138444 edges, 21211 markings/sec, 175 secs
lola: 3587542 markings, 6332142 edges, 19476 markings/sec, 180 secs
lola: 3688985 markings, 6513117 edges, 20289 markings/sec, 185 secs
lola: 3812488 markings, 6667287 edges, 24701 markings/sec, 190 secs
lola: 3921665 markings, 6803767 edges, 21835 markings/sec, 195 secs
lola: 4034614 markings, 6946651 edges, 22590 markings/sec, 200 secs
lola: 4140235 markings, 7086697 edges, 21124 markings/sec, 205 secs
lola: 4231048 markings, 7253094 edges, 18163 markings/sec, 210 secs
lola: 4315284 markings, 7420343 edges, 16847 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(p2047)
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 11 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: 119271 markings, 149957 edges, 23854 markings/sec, 0 secs
lola: 232484 markings, 287105 edges, 22643 markings/sec, 5 secs
lola: 353074 markings, 436871 edges, 24118 markings/sec, 10 secs
lola: 472131 markings, 590538 edges, 23811 markings/sec, 15 secs
lola: 630544 markings, 785490 edges, 31683 markings/sec, 20 secs
lola: 773157 markings, 958913 edges, 28523 markings/sec, 25 secs
lola: 905532 markings, 1119899 edges, 26475 markings/sec, 30 secs
lola: 1034084 markings, 1276770 edges, 25710 markings/sec, 35 secs
lola: 1164456 markings, 1440078 edges, 26074 markings/sec, 40 secs
lola: 1292447 markings, 1600575 edges, 25598 markings/sec, 45 secs
lola: 1414676 markings, 1753365 edges, 24446 markings/sec, 50 secs
lola: 1541334 markings, 1909715 edges, 25332 markings/sec, 55 secs
lola: 1671476 markings, 2073978 edges, 26028 markings/sec, 60 secs
lola: 1793737 markings, 2228173 edges, 24452 markings/sec, 65 secs
lola: 1910684 markings, 2374551 edges, 23389 markings/sec, 70 secs
lola: 2030490 markings, 2527247 edges, 23961 markings/sec, 75 secs
lola: 2157636 markings, 2682113 edges, 25429 markings/sec, 80 secs
lola: 2291775 markings, 2848084 edges, 26828 markings/sec, 85 secs
lola: 2431763 markings, 3023114 edges, 27998 markings/sec, 90 secs
lola: 2561822 markings, 3185459 edges, 26012 markings/sec, 95 secs
lola: 2676147 markings, 3331519 edges, 22865 markings/sec, 100 secs
lola: 2809376 markings, 3499599 edges, 26646 markings/sec, 105 secs
lola: 2924691 markings, 3644618 edges, 23063 markings/sec, 110 secs
lola: 3034505 markings, 3782564 edges, 21963 markings/sec, 115 secs
lola: 3161791 markings, 3940530 edges, 25457 markings/sec, 120 secs
lola: 3291007 markings, 4105970 edges, 25843 markings/sec, 125 secs
lola: 3403605 markings, 4246883 edges, 22520 markings/sec, 130 secs
lola: 3519389 markings, 4389183 edges, 23157 markings/sec, 135 secs
lola: 3660457 markings, 4565886 edges, 28214 markings/sec, 140 secs
lola: 3793978 markings, 4731997 edges, 26704 markings/sec, 145 secs
lola: 3906436 markings, 4877414 edges, 22492 markings/sec, 150 secs
lola: 4029202 markings, 5036453 edges, 24553 markings/sec, 155 secs
lola: 4152157 markings, 5190543 edges, 24591 markings/sec, 160 secs
lola: 4262685 markings, 5328549 edges, 22106 markings/sec, 165 secs
lola: 4378848 markings, 5476462 edges, 23233 markings/sec, 170 secs
lola: 4506182 markings, 5640124 edges, 25467 markings/sec, 175 secs
lola: 4621714 markings, 5787989 edges, 23106 markings/sec, 180 secs
lola: 4743125 markings, 5944245 edges, 24282 markings/sec, 185 secs
lola: 4866830 markings, 6108460 edges, 24741 markings/sec, 190 secs
lola: 4979316 markings, 6254354 edges, 22497 markings/sec, 195 secs
lola: 5104186 markings, 6411150 edges, 24974 markings/sec, 200 secs
lola: 5189751 markings, 6522836 edges, 17113 markings/sec, 205 secs
lola: 5292679 markings, 6654466 edges, 20586 markings/sec, 210 secs
lola: 5411046 markings, 6801276 edges, 23673 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(p611)
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 11 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: 127790 markings, 151889 edges, 25558 markings/sec, 0 secs
lola: 264411 markings, 313354 edges, 27324 markings/sec, 5 secs
lola: 405167 markings, 484080 edges, 28151 markings/sec, 10 secs
lola: 551053 markings, 659981 edges, 29177 markings/sec, 15 secs
lola: 706821 markings, 851579 edges, 31154 markings/sec, 20 secs
lola: 856138 markings, 1033926 edges, 29863 markings/sec, 25 secs
lola: 1003245 markings, 1214085 edges, 29421 markings/sec, 30 secs
lola: 1159364 markings, 1401445 edges, 31224 markings/sec, 35 secs
lola: 1299612 markings, 1573892 edges, 28050 markings/sec, 40 secs
lola: 1439541 markings, 1744990 edges, 27986 markings/sec, 45 secs
lola: 1585880 markings, 1924407 edges, 29268 markings/sec, 50 secs
lola: 1733216 markings, 2104708 edges, 29467 markings/sec, 55 secs
lola: 1883027 markings, 2288448 edges, 29962 markings/sec, 60 secs
lola: 2028535 markings, 2466239 edges, 29102 markings/sec, 65 secs
lola: 2183540 markings, 2656572 edges, 31001 markings/sec, 70 secs
lola: 2328424 markings, 2834667 edges, 28977 markings/sec, 75 secs
lola: 2479093 markings, 3020367 edges, 30134 markings/sec, 80 secs
lola: 2626136 markings, 3200739 edges, 29409 markings/sec, 85 secs
lola: 2763301 markings, 3369207 edges, 27433 markings/sec, 90 secs
lola: 2896881 markings, 3533366 edges, 26716 markings/sec, 95 secs
lola: 3027574 markings, 3690523 edges, 26139 markings/sec, 100 secs
lola: 3172159 markings, 3867454 edges, 28917 markings/sec, 105 secs
lola: 3302356 markings, 4025497 edges, 26039 markings/sec, 110 secs
lola: 3443430 markings, 4198446 edges, 28215 markings/sec, 115 secs
lola: 3577037 markings, 4360105 edges, 26721 markings/sec, 120 secs
lola: 3717342 markings, 4532576 edges, 28061 markings/sec, 125 secs
lola: 3862859 markings, 4711398 edges, 29103 markings/sec, 130 secs
lola: 4000109 markings, 4880016 edges, 27450 markings/sec, 135 secs
lola: 4140126 markings, 5052191 edges, 28003 markings/sec, 140 secs
lola: 4288606 markings, 5235018 edges, 29696 markings/sec, 145 secs
lola: 4434379 markings, 5414963 edges, 29155 markings/sec, 150 secs
lola: 4571593 markings, 5583799 edges, 27443 markings/sec, 155 secs
lola: 4711991 markings, 5756068 edges, 28080 markings/sec, 160 secs
lola: 4849533 markings, 5924700 edges, 27508 markings/sec, 165 secs
lola: 4994351 markings, 6102416 edges, 28964 markings/sec, 170 secs
lola: 5137920 markings, 6278624 edges, 28714 markings/sec, 175 secs
lola: 5285685 markings, 6461192 edges, 29553 markings/sec, 180 secs
lola: 5429500 markings, 6638511 edges, 28763 markings/sec, 185 secs
lola: 5574830 markings, 6817875 edges, 29066 markings/sec, 190 secs
lola: 5724123 markings, 7001823 edges, 29859 markings/sec, 195 secs
lola: 5865661 markings, 7175751 edges, 28308 markings/sec, 200 secs
lola: 6008530 markings, 7352235 edges, 28574 markings/sec, 205 secs
lola: 6149721 markings, 7526620 edges, 28238 markings/sec, 210 secs
lola: 6300768 markings, 7710524 edges, 30209 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(p1407)
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 11 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: 58938 markings, 151945 edges, 11788 markings/sec, 0 secs
lola: 111582 markings, 278525 edges, 10529 markings/sec, 5 secs
lola: 163215 markings, 420695 edges, 10327 markings/sec, 10 secs
lola: 206575 markings, 569342 edges, 8672 markings/sec, 15 secs
lola: 274830 markings, 734547 edges, 13651 markings/sec, 20 secs
lola: 385714 markings, 931616 edges, 22177 markings/sec, 25 secs
lola: 486625 markings, 1113275 edges, 20182 markings/sec, 30 secs
lola: 595553 markings, 1302111 edges, 21786 markings/sec, 35 secs
lola: 716252 markings, 1510239 edges, 24140 markings/sec, 40 secs
lola: 816057 markings, 1690496 edges, 19961 markings/sec, 45 secs
lola: 924859 markings, 1882532 edges, 21760 markings/sec, 50 secs
lola: 1054384 markings, 2114475 edges, 25905 markings/sec, 55 secs
lola: 1180591 markings, 2338614 edges, 25241 markings/sec, 60 secs
lola: 1301980 markings, 2556450 edges, 24278 markings/sec, 65 secs
lola: 1430797 markings, 2786489 edges, 25763 markings/sec, 70 secs
lola: 1565514 markings, 3023420 edges, 26943 markings/sec, 75 secs
lola: 1690417 markings, 3244272 edges, 24981 markings/sec, 80 secs
lola: 1812265 markings, 3465090 edges, 24370 markings/sec, 85 secs
lola: 1934040 markings, 3675461 edges, 24355 markings/sec, 90 secs
lola: 2062915 markings, 3902438 edges, 25775 markings/sec, 95 secs
lola: 2192438 markings, 4131113 edges, 25905 markings/sec, 100 secs
lola: 2313721 markings, 4344253 edges, 24257 markings/sec, 105 secs
lola: 2438971 markings, 4571672 edges, 25050 markings/sec, 110 secs
lola: 2534815 markings, 4744126 edges, 19169 markings/sec, 115 secs
lola: 2661533 markings, 4968416 edges, 25344 markings/sec, 120 secs
lola: 2756933 markings, 5139308 edges, 19080 markings/sec, 125 secs
lola: 2863337 markings, 5330180 edges, 21281 markings/sec, 130 secs
lola: 2984417 markings, 5547297 edges, 24216 markings/sec, 135 secs
lola: 3114238 markings, 5778719 edges, 25964 markings/sec, 140 secs
lola: 3238365 markings, 6004581 edges, 24825 markings/sec, 145 secs
lola: 3369589 markings, 6238173 edges, 26245 markings/sec, 150 secs
lola: 3483750 markings, 6445844 edges, 22832 markings/sec, 155 secs
lola: 3601086 markings, 6655716 edges, 23467 markings/sec, 160 secs
lola: 3726227 markings, 6878185 edges, 25028 markings/sec, 165 secs
lola: 3846353 markings, 7091931 edges, 24025 markings/sec, 170 secs
lola: 3984854 markings, 7339990 edges, 27700 markings/sec, 175 secs
lola: 4111781 markings, 7566265 edges, 25385 markings/sec, 180 secs
lola: 4242618 markings, 7800036 edges, 26167 markings/sec, 185 secs
lola: 4360696 markings, 8009382 edges, 23616 markings/sec, 190 secs
lola: 4491696 markings, 8242107 edges, 26200 markings/sec, 195 secs
lola: 4598547 markings, 8459939 edges, 21370 markings/sec, 200 secs
lola: 4713967 markings, 8673030 edges, 23084 markings/sec, 205 secs
lola: 4829968 markings, 8880806 edges, 23200 markings/sec, 210 secs
lola: 4953972 markings, 9100162 edges, 24801 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(p1892)
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 11 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: 110390 markings, 132431 edges, 22078 markings/sec, 0 secs
lola: 222387 markings, 266216 edges, 22399 markings/sec, 5 secs
lola: 327045 markings, 392193 edges, 20932 markings/sec, 10 secs
lola: 430959 markings, 517846 edges, 20783 markings/sec, 15 secs
lola: 545026 markings, 655805 edges, 22813 markings/sec, 20 secs
lola: 660960 markings, 796597 edges, 23187 markings/sec, 25 secs
lola: 770309 markings, 928111 edges, 21870 markings/sec, 30 secs
lola: 894641 markings, 1079902 edges, 24866 markings/sec, 35 secs
lola: 1011502 markings, 1222128 edges, 23372 markings/sec, 40 secs
lola: 1138408 markings, 1377007 edges, 25381 markings/sec, 45 secs
lola: 1256984 markings, 1521312 edges, 23715 markings/sec, 50 secs
lola: 1378671 markings, 1668907 edges, 24337 markings/sec, 55 secs
lola: 1503272 markings, 1821183 edges, 24920 markings/sec, 60 secs
lola: 1620928 markings, 1964550 edges, 23531 markings/sec, 65 secs
lola: 1744146 markings, 2110323 edges, 24644 markings/sec, 70 secs
lola: 1866635 markings, 2258423 edges, 24498 markings/sec, 75 secs
lola: 1994912 markings, 2411952 edges, 25655 markings/sec, 80 secs
lola: 2127507 markings, 2573762 edges, 26519 markings/sec, 85 secs
lola: 2258167 markings, 2733529 edges, 26132 markings/sec, 90 secs
lola: 2390385 markings, 2895317 edges, 26444 markings/sec, 95 secs
lola: 2532968 markings, 3069847 edges, 28517 markings/sec, 100 secs
lola: 2668764 markings, 3235536 edges, 27159 markings/sec, 105 secs
lola: 2804412 markings, 3400776 edges, 27130 markings/sec, 110 secs
lola: 2909832 markings, 3528761 edges, 21084 markings/sec, 115 secs
lola: 3027984 markings, 3670248 edges, 23630 markings/sec, 120 secs
lola: 3153480 markings, 3818775 edges, 25099 markings/sec, 125 secs
lola: 3284595 markings, 3977682 edges, 26223 markings/sec, 130 secs
lola: 3414658 markings, 4136704 edges, 26013 markings/sec, 135 secs
lola: 3533880 markings, 4282348 edges, 23844 markings/sec, 140 secs
lola: 3651565 markings, 4424957 edges, 23537 markings/sec, 145 secs
lola: 3768593 markings, 4566887 edges, 23406 markings/sec, 150 secs
lola: 3884480 markings, 4707171 edges, 23177 markings/sec, 155 secs
lola: 4005361 markings, 4854550 edges, 24176 markings/sec, 160 secs
lola: 4122720 markings, 4998411 edges, 23472 markings/sec, 165 secs
lola: 4243222 markings, 5145294 edges, 24100 markings/sec, 170 secs
lola: 4394835 markings, 5332024 edges, 30323 markings/sec, 175 secs
lola: 4522205 markings, 5485942 edges, 25474 markings/sec, 180 secs
lola: 4640041 markings, 5629835 edges, 23567 markings/sec, 185 secs
lola: 4775766 markings, 5795822 edges, 27145 markings/sec, 190 secs
lola: 4895696 markings, 5943059 edges, 23986 markings/sec, 195 secs
lola: 5016164 markings, 6089219 edges, 24094 markings/sec, 200 secs
lola: 5143205 markings, 6244436 edges, 25408 markings/sec, 205 secs
lola: 5289240 markings, 6422359 edges, 29207 markings/sec, 210 secs
lola: 5421602 markings, 6584711 edges, 26472 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(p1499)
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 11 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: 112567 markings, 135459 edges, 22513 markings/sec, 0 secs
lola: 216999 markings, 261571 edges, 20886 markings/sec, 5 secs
lola: 317300 markings, 382733 edges, 20060 markings/sec, 10 secs
lola: 423371 markings, 511270 edges, 21214 markings/sec, 15 secs
lola: 532472 markings, 642571 edges, 21820 markings/sec, 20 secs
lola: 639345 markings, 771625 edges, 21375 markings/sec, 25 secs
lola: 744204 markings, 898217 edges, 20972 markings/sec, 30 secs
lola: 846738 markings, 1022245 edges, 20507 markings/sec, 35 secs
lola: 955913 markings, 1155168 edges, 21835 markings/sec, 40 secs
lola: 1062053 markings, 1284061 edges, 21228 markings/sec, 45 secs
lola: 1170396 markings, 1415928 edges, 21669 markings/sec, 50 secs
lola: 1279170 markings, 1546667 edges, 21755 markings/sec, 55 secs
lola: 1395195 markings, 1685878 edges, 23205 markings/sec, 60 secs
lola: 1518370 markings, 1836696 edges, 24635 markings/sec, 65 secs
lola: 1631118 markings, 1974274 edges, 22550 markings/sec, 70 secs
lola: 1753821 markings, 2125055 edges, 24541 markings/sec, 75 secs
lola: 1861625 markings, 2256852 edges, 21561 markings/sec, 80 secs
lola: 1977755 markings, 2399714 edges, 23226 markings/sec, 85 secs
lola: 2096213 markings, 2545305 edges, 23692 markings/sec, 90 secs
lola: 2207437 markings, 2681909 edges, 22245 markings/sec, 95 secs
lola: 2322255 markings, 2822998 edges, 22964 markings/sec, 100 secs
lola: 2419514 markings, 2941512 edges, 19452 markings/sec, 105 secs
lola: 2536697 markings, 3086190 edges, 23437 markings/sec, 110 secs
lola: 2647907 markings, 3222715 edges, 22242 markings/sec, 115 secs
lola: 2767564 markings, 3370276 edges, 23931 markings/sec, 120 secs
lola: 2880324 markings, 3509826 edges, 22552 markings/sec, 125 secs
lola: 3002747 markings, 3660293 edges, 24485 markings/sec, 130 secs
lola: 3121599 markings, 3806268 edges, 23770 markings/sec, 135 secs
lola: 3236878 markings, 3947750 edges, 23056 markings/sec, 140 secs
lola: 3363883 markings, 4104832 edges, 25401 markings/sec, 145 secs
lola: 3510595 markings, 4284971 edges, 29342 markings/sec, 150 secs
lola: 3635230 markings, 4437883 edges, 24927 markings/sec, 155 secs
lola: 3755369 markings, 4585543 edges, 24028 markings/sec, 160 secs
lola: 3880857 markings, 4740042 edges, 25098 markings/sec, 165 secs
lola: 3997863 markings, 4884993 edges, 23401 markings/sec, 170 secs
lola: 4128535 markings, 5045622 edges, 26134 markings/sec, 175 secs
lola: 4251502 markings, 5197258 edges, 24593 markings/sec, 180 secs
lola: 4354476 markings, 5321067 edges, 20595 markings/sec, 185 secs
lola: 4462798 markings, 5452093 edges, 21664 markings/sec, 190 secs
lola: 4595514 markings, 5615040 edges, 26543 markings/sec, 195 secs
lola: 4731388 markings, 5783698 edges, 27175 markings/sec, 200 secs
lola: 4866400 markings, 5951845 edges, 27002 markings/sec, 205 secs
lola: 5010786 markings, 6129857 edges, 28877 markings/sec, 210 secs
lola: 5145821 markings, 6297340 edges, 27007 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(p587)
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 11 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: 133589 markings, 160973 edges, 26718 markings/sec, 0 secs
lola: 290619 markings, 351494 edges, 31406 markings/sec, 5 secs
lola: 445843 markings, 541420 edges, 31045 markings/sec, 10 secs
lola: 611001 markings, 743398 edges, 33032 markings/sec, 15 secs
lola: 792143 markings, 965463 edges, 36228 markings/sec, 20 secs
lola: 919016 markings, 1118958 edges, 25375 markings/sec, 25 secs
lola: 1044220 markings, 1269996 edges, 25041 markings/sec, 30 secs
lola: 1183811 markings, 1438911 edges, 27918 markings/sec, 35 secs
lola: 1326671 markings, 1612687 edges, 28572 markings/sec, 40 secs
lola: 1463917 markings, 1779453 edges, 27449 markings/sec, 45 secs
lola: 1603686 markings, 1950064 edges, 27954 markings/sec, 50 secs
lola: 1758569 markings, 2135207 edges, 30977 markings/sec, 55 secs
lola: 1909487 markings, 2319731 edges, 30184 markings/sec, 60 secs
lola: 2057217 markings, 2501306 edges, 29546 markings/sec, 65 secs
lola: 2178732 markings, 2647970 edges, 24303 markings/sec, 70 secs
lola: 2320119 markings, 2821264 edges, 28277 markings/sec, 75 secs
lola: 2464765 markings, 3000092 edges, 28929 markings/sec, 80 secs
lola: 2604141 markings, 3171022 edges, 27875 markings/sec, 85 secs
lola: 2747246 markings, 3347007 edges, 28621 markings/sec, 90 secs
lola: 2889828 markings, 3521381 edges, 28516 markings/sec, 95 secs
lola: 3032508 markings, 3697540 edges, 28536 markings/sec, 100 secs
lola: 3181771 markings, 3880458 edges, 29853 markings/sec, 105 secs
lola: 3326382 markings, 4057641 edges, 28922 markings/sec, 110 secs
lola: 3458696 markings, 4218727 edges, 26463 markings/sec, 115 secs
lola: 3601450 markings, 4393451 edges, 28551 markings/sec, 120 secs
lola: 3744966 markings, 4568780 edges, 28703 markings/sec, 125 secs
lola: 3874150 markings, 4725629 edges, 25837 markings/sec, 130 secs
lola: 4007041 markings, 4887835 edges, 26578 markings/sec, 135 secs
lola: 4147272 markings, 5060265 edges, 28046 markings/sec, 140 secs
lola: 4287669 markings, 5233881 edges, 28079 markings/sec, 145 secs
lola: 4424407 markings, 5402009 edges, 27348 markings/sec, 150 secs
lola: 4569242 markings, 5579760 edges, 28967 markings/sec, 155 secs
lola: 4709968 markings, 5752676 edges, 28145 markings/sec, 160 secs
lola: 4847545 markings, 5921765 edges, 27515 markings/sec, 165 secs
lola: 4979619 markings, 6083683 edges, 26415 markings/sec, 170 secs
lola: 5095422 markings, 6224154 edges, 23161 markings/sec, 175 secs
lola: 5214204 markings, 6369001 edges, 23756 markings/sec, 180 secs
lola: 5329630 markings, 6509769 edges, 23085 markings/sec, 185 secs
lola: 5451755 markings, 6660188 edges, 24425 markings/sec, 190 secs
lola: 5576341 markings, 6813826 edges, 24917 markings/sec, 195 secs
lola: 5694102 markings, 6958927 edges, 23552 markings/sec, 200 secs
lola: 5822246 markings, 7116521 edges, 25629 markings/sec, 205 secs
lola: 5953737 markings, 7278802 edges, 26298 markings/sec, 210 secs
lola: 6089645 markings, 7446887 edges, 27182 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(p1217)
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 11 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: 109887 markings, 132690 edges, 21977 markings/sec, 0 secs
lola: 219876 markings, 265901 edges, 21998 markings/sec, 5 secs
lola: 329596 markings, 397871 edges, 21944 markings/sec, 10 secs
lola: 448496 markings, 541268 edges, 23780 markings/sec, 15 secs
lola: 571346 markings, 690003 edges, 24570 markings/sec, 20 secs
lola: 696133 markings, 841361 edges, 24957 markings/sec, 25 secs
lola: 822119 markings, 994328 edges, 25197 markings/sec, 30 secs
lola: 961372 markings, 1163301 edges, 27851 markings/sec, 35 secs
lola: 1104761 markings, 1336751 edges, 28678 markings/sec, 40 secs
lola: 1237297 markings, 1498068 edges, 26507 markings/sec, 45 secs
lola: 1368553 markings, 1657772 edges, 26251 markings/sec, 50 secs
lola: 1497831 markings, 1815318 edges, 25856 markings/sec, 55 secs
lola: 1617845 markings, 1960988 edges, 24003 markings/sec, 60 secs
lola: 1740007 markings, 2110434 edges, 24432 markings/sec, 65 secs
lola: 1859415 markings, 2259677 edges, 23882 markings/sec, 70 secs
lola: 1968627 markings, 2394823 edges, 21842 markings/sec, 75 secs
lola: 2087717 markings, 2540464 edges, 23818 markings/sec, 80 secs
lola: 2190362 markings, 2665055 edges, 20529 markings/sec, 85 secs
lola: 2302592 markings, 2803503 edges, 22446 markings/sec, 90 secs
lola: 2407808 markings, 2935444 edges, 21043 markings/sec, 95 secs
lola: 2512028 markings, 3065320 edges, 20844 markings/sec, 100 secs
lola: 2624209 markings, 3205700 edges, 22436 markings/sec, 105 secs
lola: 2743671 markings, 3349950 edges, 23892 markings/sec, 110 secs
lola: 2870194 markings, 3507285 edges, 25305 markings/sec, 115 secs
lola: 2979425 markings, 3642926 edges, 21846 markings/sec, 120 secs
lola: 3099946 markings, 3792660 edges, 24104 markings/sec, 125 secs
lola: 3264229 markings, 3996765 edges, 32857 markings/sec, 130 secs
lola: 3388941 markings, 4154884 edges, 24942 markings/sec, 135 secs
lola: 3513097 markings, 4308286 edges, 24831 markings/sec, 140 secs
lola: 3646990 markings, 4476507 edges, 26779 markings/sec, 145 secs
lola: 3779324 markings, 4644020 edges, 26467 markings/sec, 150 secs
lola: 3898013 markings, 4789854 edges, 23738 markings/sec, 155 secs
lola: 4004926 markings, 4923732 edges, 21383 markings/sec, 160 secs
lola: 4104310 markings, 5047983 edges, 19877 markings/sec, 165 secs
lola: 4217390 markings, 5191409 edges, 22616 markings/sec, 170 secs
lola: 4334327 markings, 5338078 edges, 23387 markings/sec, 175 secs
lola: 4489510 markings, 5531122 edges, 31037 markings/sec, 180 secs
lola: 4621909 markings, 5699450 edges, 26480 markings/sec, 185 secs
lola: 4736669 markings, 5848751 edges, 22952 markings/sec, 190 secs
lola: 4870362 markings, 6018876 edges, 26739 markings/sec, 195 secs
lola: 5045203 markings, 6233912 edges, 34968 markings/sec, 200 secs
lola: 5196046 markings, 6424388 edges, 30169 markings/sec, 205 secs
lola: 5347595 markings, 6617352 edges, 30310 markings/sec, 210 secs
lola: 5505779 markings, 6813726 edges, 31637 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(p2128)
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 11 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: 121765 markings, 207326 edges, 24353 markings/sec, 0 secs
lola: 221890 markings, 392732 edges, 20025 markings/sec, 5 secs
lola: 322240 markings, 582635 edges, 20070 markings/sec, 10 secs
lola: 412073 markings, 773928 edges, 17967 markings/sec, 15 secs
lola: 525228 markings, 930213 edges, 22631 markings/sec, 20 secs
lola: 636620 markings, 1096881 edges, 22278 markings/sec, 25 secs
lola: 738879 markings, 1285272 edges, 20452 markings/sec, 30 secs
lola: 837555 markings, 1451100 edges, 19735 markings/sec, 35 secs
lola: 934796 markings, 1620130 edges, 19448 markings/sec, 40 secs
lola: 1036951 markings, 1793172 edges, 20431 markings/sec, 45 secs
lola: 1145814 markings, 1990500 edges, 21773 markings/sec, 50 secs
lola: 1239340 markings, 2180731 edges, 18705 markings/sec, 55 secs
lola: 1335448 markings, 2358473 edges, 19222 markings/sec, 60 secs
lola: 1448112 markings, 2555835 edges, 22533 markings/sec, 65 secs
lola: 1542954 markings, 2757786 edges, 18968 markings/sec, 70 secs
lola: 1651761 markings, 2957605 edges, 21761 markings/sec, 75 secs
lola: 1756446 markings, 3149073 edges, 20937 markings/sec, 80 secs
lola: 1895059 markings, 3356633 edges, 27723 markings/sec, 85 secs
lola: 2032331 markings, 3547465 edges, 27454 markings/sec, 90 secs
lola: 2167976 markings, 3724039 edges, 27129 markings/sec, 95 secs
lola: 2297446 markings, 3891526 edges, 25894 markings/sec, 100 secs
lola: 2422723 markings, 4057865 edges, 25055 markings/sec, 105 secs
lola: 2545232 markings, 4244538 edges, 24502 markings/sec, 110 secs
lola: 2656885 markings, 4445112 edges, 22331 markings/sec, 115 secs
lola: 2790109 markings, 4634125 edges, 26645 markings/sec, 120 secs
lola: 2917396 markings, 4792967 edges, 25457 markings/sec, 125 secs
lola: 3044710 markings, 4954291 edges, 25463 markings/sec, 130 secs
lola: 3168133 markings, 5113133 edges, 24685 markings/sec, 135 secs
lola: 3271067 markings, 5290978 edges, 20587 markings/sec, 140 secs
lola: 3364427 markings, 5463064 edges, 18672 markings/sec, 145 secs
lola: 3499611 markings, 5633415 edges, 27037 markings/sec, 150 secs
lola: 3620468 markings, 5785014 edges, 24171 markings/sec, 155 secs
lola: 3743412 markings, 5941144 edges, 24589 markings/sec, 160 secs
lola: 3865993 markings, 6096583 edges, 24516 markings/sec, 165 secs
lola: 3999380 markings, 6268141 edges, 26677 markings/sec, 170 secs
lola: 4151583 markings, 6458650 edges, 30441 markings/sec, 175 secs
lola: 4297905 markings, 6640061 edges, 29264 markings/sec, 180 secs
lola: 4419452 markings, 6795491 edges, 24309 markings/sec, 185 secs
lola: 4562326 markings, 6975495 edges, 28575 markings/sec, 190 secs
lola: 4684983 markings, 7155514 edges, 24531 markings/sec, 195 secs
lola: 4799345 markings, 7362321 edges, 22872 markings/sec, 200 secs
lola: 4933619 markings, 7546470 edges, 26855 markings/sec, 205 secs
lola: 5053041 markings, 7695535 edges, 23884 markings/sec, 210 secs
lola: 5170885 markings, 7843277 edges, 23569 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(p444)
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 11 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: 123455 markings, 149087 edges, 24691 markings/sec, 0 secs
lola: 251809 markings, 303544 edges, 25671 markings/sec, 5 secs
lola: 390953 markings, 471946 edges, 27829 markings/sec, 10 secs
lola: 534177 markings, 647226 edges, 28645 markings/sec, 15 secs
lola: 672284 markings, 814794 edges, 27621 markings/sec, 20 secs
lola: 828334 markings, 1004858 edges, 31210 markings/sec, 25 secs
lola: 972216 markings, 1179765 edges, 28776 markings/sec, 30 secs
lola: 1115443 markings, 1356250 edges, 28645 markings/sec, 35 secs
lola: 1247295 markings, 1519514 edges, 26370 markings/sec, 40 secs
lola: 1376197 markings, 1678323 edges, 25780 markings/sec, 45 secs
lola: 1491673 markings, 1821237 edges, 23095 markings/sec, 50 secs
lola: 1617915 markings, 1974631 edges, 25248 markings/sec, 55 secs
lola: 1752960 markings, 2142152 edges, 27009 markings/sec, 60 secs
lola: 1879028 markings, 2299363 edges, 25214 markings/sec, 65 secs
lola: 2009517 markings, 2463062 edges, 26098 markings/sec, 70 secs
lola: 2148651 markings, 2634917 edges, 27827 markings/sec, 75 secs
lola: 2261974 markings, 2778178 edges, 22665 markings/sec, 80 secs
lola: 2385584 markings, 2932433 edges, 24722 markings/sec, 85 secs
lola: 2503538 markings, 3078896 edges, 23591 markings/sec, 90 secs
lola: 2621088 markings, 3227090 edges, 23510 markings/sec, 95 secs
lola: 2731815 markings, 3362894 edges, 22145 markings/sec, 100 secs
lola: 2822742 markings, 3512283 edges, 18185 markings/sec, 105 secs
lola: 2918775 markings, 3671746 edges, 19207 markings/sec, 110 secs
lola: 3010635 markings, 3821956 edges, 18372 markings/sec, 115 secs
lola: 3087633 markings, 3987966 edges, 15400 markings/sec, 120 secs
lola: 3197576 markings, 4122817 edges, 21989 markings/sec, 125 secs
lola: 3304469 markings, 4254049 edges, 21379 markings/sec, 130 secs
lola: 3376877 markings, 4418753 edges, 14482 markings/sec, 135 secs
lola: 3468680 markings, 4597551 edges, 18361 markings/sec, 140 secs
lola: 3561899 markings, 4785639 edges, 18644 markings/sec, 145 secs
lola: 3649365 markings, 4962452 edges, 17493 markings/sec, 150 secs
lola: 3732944 markings, 5130436 edges, 16716 markings/sec, 155 secs
lola: 3812187 markings, 5290165 edges, 15849 markings/sec, 160 secs
lola: 3886715 markings, 5439966 edges, 14906 markings/sec, 165 secs
lola: 3958681 markings, 5584727 edges, 14393 markings/sec, 170 secs
lola: 4031283 markings, 5739597 edges, 14520 markings/sec, 175 secs
lola: 4098794 markings, 5906875 edges, 13502 markings/sec, 180 secs
lola: 4190322 markings, 6055180 edges, 18306 markings/sec, 185 secs
lola: 4302860 markings, 6193205 edges, 22508 markings/sec, 190 secs
lola: 4412672 markings, 6327408 edges, 21962 markings/sec, 195 secs
lola: 4526333 markings, 6466909 edges, 22732 markings/sec, 200 secs
lola: 4632865 markings, 6596624 edges, 21306 markings/sec, 205 secs
lola: 4747571 markings, 6737277 edges, 22941 markings/sec, 210 secs
lola: 4864423 markings, 6880603 edges, 23370 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(p801)
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 11 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: 114971 markings, 211085 edges, 22994 markings/sec, 0 secs
lola: 246991 markings, 445865 edges, 26404 markings/sec, 5 secs
lola: 362540 markings, 657881 edges, 23110 markings/sec, 10 secs
lola: 498222 markings, 900120 edges, 27136 markings/sec, 15 secs
lola: 627756 markings, 1133867 edges, 25907 markings/sec, 20 secs
lola: 745544 markings, 1349083 edges, 23558 markings/sec, 25 secs
lola: 875164 markings, 1585624 edges, 25924 markings/sec, 30 secs
lola: 1016197 markings, 1834323 edges, 28207 markings/sec, 35 secs
lola: 1151567 markings, 2042161 edges, 27074 markings/sec, 40 secs
lola: 1287470 markings, 2253608 edges, 27181 markings/sec, 45 secs
lola: 1424492 markings, 2450078 edges, 27404 markings/sec, 50 secs
lola: 1550881 markings, 2627053 edges, 25278 markings/sec, 55 secs
lola: 1678347 markings, 2801726 edges, 25493 markings/sec, 60 secs
lola: 1804062 markings, 2972491 edges, 25143 markings/sec, 65 secs
lola: 1926366 markings, 3137913 edges, 24461 markings/sec, 70 secs
lola: 2050366 markings, 3307948 edges, 24800 markings/sec, 75 secs
lola: 2168292 markings, 3464531 edges, 23585 markings/sec, 80 secs
lola: 2288820 markings, 3628695 edges, 24106 markings/sec, 85 secs
lola: 2402384 markings, 3783037 edges, 22713 markings/sec, 90 secs
lola: 2517226 markings, 3933863 edges, 22968 markings/sec, 95 secs
lola: 2632938 markings, 4084162 edges, 23142 markings/sec, 100 secs
lola: 2733607 markings, 4219937 edges, 20134 markings/sec, 105 secs
lola: 2848714 markings, 4399550 edges, 23021 markings/sec, 110 secs
lola: 2960199 markings, 4544657 edges, 22297 markings/sec, 115 secs
lola: 3060720 markings, 4670427 edges, 20104 markings/sec, 120 secs
lola: 3161453 markings, 4796413 edges, 20147 markings/sec, 125 secs
lola: 3298517 markings, 4987347 edges, 27413 markings/sec, 130 secs
lola: 3453575 markings, 5182718 edges, 31012 markings/sec, 135 secs
lola: 3593870 markings, 5358738 edges, 28059 markings/sec, 140 secs
lola: 3688929 markings, 5478206 edges, 19012 markings/sec, 145 secs
lola: 3795938 markings, 5622411 edges, 21402 markings/sec, 150 secs
lola: 3930399 markings, 5789388 edges, 26892 markings/sec, 155 secs
lola: 4050060 markings, 5941943 edges, 23932 markings/sec, 160 secs
lola: 4154375 markings, 6073514 edges, 20863 markings/sec, 165 secs
lola: 4251743 markings, 6195731 edges, 19474 markings/sec, 170 secs
lola: 4345065 markings, 6311648 edges, 18664 markings/sec, 175 secs
lola: 4445559 markings, 6441152 edges, 20099 markings/sec, 180 secs
lola: 4548121 markings, 6578911 edges, 20512 markings/sec, 185 secs
lola: 4686168 markings, 6757443 edges, 27609 markings/sec, 190 secs
lola: 4808381 markings, 6910055 edges, 24443 markings/sec, 195 secs
lola: 4924001 markings, 7059879 edges, 23124 markings/sec, 200 secs
lola: 5039295 markings, 7212550 edges, 23059 markings/sec, 205 secs
lola: 5156691 markings, 7363658 edges, 23479 markings/sec, 210 secs
lola: 5302801 markings, 7591813 edges, 29222 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(p1936)
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 11 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: 146524 markings, 302430 edges, 29305 markings/sec, 0 secs
lola: 284655 markings, 589730 edges, 27626 markings/sec, 5 secs
lola: 423479 markings, 879708 edges, 27765 markings/sec, 10 secs
lola: 559873 markings, 1169424 edges, 27279 markings/sec, 15 secs
lola: 701081 markings, 1465951 edges, 28242 markings/sec, 20 secs
lola: 838095 markings, 1756469 edges, 27403 markings/sec, 25 secs
lola: 971672 markings, 2034499 edges, 26715 markings/sec, 30 secs
lola: 1105664 markings, 2316081 edges, 26798 markings/sec, 35 secs
lola: 1240507 markings, 2599276 edges, 26969 markings/sec, 40 secs
lola: 1378956 markings, 2889950 edges, 27690 markings/sec, 45 secs
lola: 1515203 markings, 3176949 edges, 27249 markings/sec, 50 secs
lola: 1653098 markings, 3465827 edges, 27579 markings/sec, 55 secs
lola: 1790438 markings, 3754568 edges, 27468 markings/sec, 60 secs
lola: 1927341 markings, 4041544 edges, 27381 markings/sec, 65 secs
lola: 2068067 markings, 4339037 edges, 28145 markings/sec, 70 secs
lola: 2208174 markings, 4635800 edges, 28021 markings/sec, 75 secs
lola: 2343601 markings, 4925360 edges, 27085 markings/sec, 80 secs
lola: 2493567 markings, 5237747 edges, 29993 markings/sec, 85 secs
lola: 2638550 markings, 5541173 edges, 28997 markings/sec, 90 secs
lola: 2781574 markings, 5846701 edges, 28605 markings/sec, 95 secs
lola: 2921811 markings, 6143779 edges, 28047 markings/sec, 100 secs
lola: 3056571 markings, 6431243 edges, 26952 markings/sec, 105 secs
lola: 3186092 markings, 6706043 edges, 25904 markings/sec, 110 secs
lola: 3331138 markings, 7014519 edges, 29009 markings/sec, 115 secs
lola: 3477628 markings, 7326539 edges, 29298 markings/sec, 120 secs
lola: 3613529 markings, 7620583 edges, 27180 markings/sec, 125 secs
lola: 3744363 markings, 7898269 edges, 26167 markings/sec, 130 secs
lola: 3877641 markings, 8175938 edges, 26656 markings/sec, 135 secs
lola: 4017329 markings, 8475898 edges, 27938 markings/sec, 140 secs
lola: 4161428 markings, 8783937 edges, 28820 markings/sec, 145 secs
lola: 4280484 markings, 9038028 edges, 23811 markings/sec, 150 secs
lola: 4410794 markings, 9315756 edges, 26062 markings/sec, 155 secs
lola: 4539815 markings, 9596772 edges, 25804 markings/sec, 160 secs
lola: 4663463 markings, 9863533 edges, 24730 markings/sec, 165 secs
lola: 4790030 markings, 10125589 edges, 25313 markings/sec, 170 secs
lola: 4930968 markings, 10417066 edges, 28188 markings/sec, 175 secs
lola: 5082691 markings, 10740910 edges, 30345 markings/sec, 180 secs
lola: 5223590 markings, 11048730 edges, 28180 markings/sec, 185 secs
lola: 5367736 markings, 11357207 edges, 28829 markings/sec, 190 secs
lola: 5509624 markings, 11666493 edges, 28378 markings/sec, 195 secs
lola: 5642768 markings, 11953104 edges, 26629 markings/sec, 200 secs
lola: 5776953 markings, 12244852 edges, 26837 markings/sec, 205 secs
lola: 5911285 markings, 12535464 edges, 26866 markings/sec, 210 secs
lola: 6047987 markings, 12832087 edges, 27340 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(p1432)
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 11 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: 120080 markings, 163877 edges, 24016 markings/sec, 0 secs
lola: 217367 markings, 281341 edges, 19457 markings/sec, 5 secs
lola: 328099 markings, 420790 edges, 22146 markings/sec, 10 secs
lola: 440257 markings, 571318 edges, 22432 markings/sec, 15 secs
lola: 547182 markings, 705458 edges, 21385 markings/sec, 20 secs
lola: 662693 markings, 881434 edges, 23102 markings/sec, 25 secs
lola: 765851 markings, 1026238 edges, 20632 markings/sec, 30 secs
lola: 864729 markings, 1188825 edges, 19776 markings/sec, 35 secs
lola: 978957 markings, 1350262 edges, 22846 markings/sec, 40 secs
lola: 1102319 markings, 1509649 edges, 24672 markings/sec, 45 secs
lola: 1213305 markings, 1672761 edges, 22197 markings/sec, 50 secs
lola: 1349909 markings, 1858432 edges, 27321 markings/sec, 55 secs
lola: 1483232 markings, 2046102 edges, 26665 markings/sec, 60 secs
lola: 1586755 markings, 2172310 edges, 20705 markings/sec, 65 secs
lola: 1672969 markings, 2276433 edges, 17243 markings/sec, 70 secs
lola: 1760619 markings, 2383260 edges, 17530 markings/sec, 75 secs
lola: 1851844 markings, 2522939 edges, 18245 markings/sec, 80 secs
lola: 1969855 markings, 2684614 edges, 23602 markings/sec, 85 secs
lola: 2088696 markings, 2855951 edges, 23768 markings/sec, 90 secs
lola: 2210433 markings, 3014232 edges, 24347 markings/sec, 95 secs
lola: 2346638 markings, 3203483 edges, 27241 markings/sec, 100 secs
lola: 2446699 markings, 3325922 edges, 20012 markings/sec, 105 secs
lola: 2553430 markings, 3456733 edges, 21346 markings/sec, 110 secs
lola: 2652877 markings, 3579104 edges, 19889 markings/sec, 115 secs
lola: 2774308 markings, 3747399 edges, 24286 markings/sec, 120 secs
lola: 2891550 markings, 3899505 edges, 23448 markings/sec, 125 secs
lola: 3017603 markings, 4067362 edges, 25211 markings/sec, 130 secs
lola: 3133014 markings, 4225119 edges, 23082 markings/sec, 135 secs
lola: 3239527 markings, 4356787 edges, 21303 markings/sec, 140 secs
lola: 3347269 markings, 4499244 edges, 21548 markings/sec, 145 secs
lola: 3465733 markings, 4696768 edges, 23693 markings/sec, 150 secs
lola: 3560187 markings, 4814598 edges, 18891 markings/sec, 155 secs
lola: 3684583 markings, 4968248 edges, 24879 markings/sec, 160 secs
lola: 3804272 markings, 5147225 edges, 23938 markings/sec, 165 secs
lola: 3921515 markings, 5294202 edges, 23449 markings/sec, 170 secs
lola: 4046822 markings, 5449436 edges, 25061 markings/sec, 175 secs
lola: 4160574 markings, 5596577 edges, 22750 markings/sec, 180 secs
lola: 4277562 markings, 5763433 edges, 23398 markings/sec, 185 secs
lola: 4398545 markings, 5912974 edges, 24197 markings/sec, 190 secs
lola: 4516524 markings, 6064275 edges, 23596 markings/sec, 195 secs
lola: 4617771 markings, 6200482 edges, 20249 markings/sec, 200 secs
lola: 4727793 markings, 6348983 edges, 22004 markings/sec, 205 secs
lola: 4840344 markings, 6501245 edges, 22510 markings/sec, 210 secs
lola: 4952924 markings, 6639876 edges, 22516 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p629)
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 11 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: 133960 markings, 229033 edges, 26792 markings/sec, 0 secs
lola: 251347 markings, 443693 edges, 23477 markings/sec, 5 secs
lola: 364010 markings, 643331 edges, 22533 markings/sec, 10 secs
lola: 477574 markings, 857262 edges, 22713 markings/sec, 15 secs
lola: 596699 markings, 1070693 edges, 23825 markings/sec, 20 secs
lola: 701216 markings, 1258940 edges, 20903 markings/sec, 25 secs
lola: 828552 markings, 1479905 edges, 25467 markings/sec, 30 secs
lola: 962661 markings, 1712819 edges, 26822 markings/sec, 35 secs
lola: 1096591 markings, 1946465 edges, 26786 markings/sec, 40 secs
lola: 1230533 markings, 2179949 edges, 26788 markings/sec, 45 secs
lola: 1366628 markings, 2417279 edges, 27219 markings/sec, 50 secs
lola: 1495393 markings, 2640785 edges, 25753 markings/sec, 55 secs
lola: 1615753 markings, 2856822 edges, 24072 markings/sec, 60 secs
lola: 1731495 markings, 3064942 edges, 23148 markings/sec, 65 secs
lola: 1858574 markings, 3290469 edges, 25416 markings/sec, 70 secs
lola: 1950132 markings, 3474033 edges, 18312 markings/sec, 75 secs
lola: 2065793 markings, 3693706 edges, 23132 markings/sec, 80 secs
lola: 2187778 markings, 3917224 edges, 24397 markings/sec, 85 secs
lola: 2292847 markings, 4113091 edges, 21014 markings/sec, 90 secs
lola: 2412381 markings, 4328695 edges, 23907 markings/sec, 95 secs
lola: 2521203 markings, 4534565 edges, 21764 markings/sec, 100 secs
lola: 2630917 markings, 4739331 edges, 21943 markings/sec, 105 secs
lola: 2730104 markings, 4919310 edges, 19837 markings/sec, 110 secs
lola: 2848833 markings, 5133959 edges, 23746 markings/sec, 115 secs
lola: 2950805 markings, 5324505 edges, 20394 markings/sec, 120 secs
lola: 3071216 markings, 5539795 edges, 24082 markings/sec, 125 secs
lola: 3187708 markings, 5758293 edges, 23298 markings/sec, 130 secs
lola: 3300745 markings, 5970596 edges, 22607 markings/sec, 135 secs
lola: 3398753 markings, 6156001 edges, 19602 markings/sec, 140 secs
lola: 3484799 markings, 6320353 edges, 17209 markings/sec, 145 secs
lola: 3578833 markings, 6494376 edges, 18807 markings/sec, 150 secs
lola: 3663619 markings, 6665982 edges, 16957 markings/sec, 155 secs
lola: 3787395 markings, 6881395 edges, 24755 markings/sec, 160 secs
lola: 3901482 markings, 7092994 edges, 22817 markings/sec, 165 secs
lola: 4019367 markings, 7306253 edges, 23577 markings/sec, 170 secs
lola: 4129373 markings, 7502734 edges, 22001 markings/sec, 175 secs
lola: 4225956 markings, 7687031 edges, 19317 markings/sec, 180 secs
lola: 4324148 markings, 7881343 edges, 19638 markings/sec, 185 secs
lola: 4442373 markings, 8097436 edges, 23645 markings/sec, 190 secs
lola: 4570125 markings, 8322600 edges, 25550 markings/sec, 195 secs
lola: 4687878 markings, 8537564 edges, 23551 markings/sec, 200 secs
lola: 4795444 markings, 8744295 edges, 21513 markings/sec, 205 secs
lola: 4901176 markings, 8953594 edges, 21146 markings/sec, 210 secs
lola: 4994317 markings, 9132912 edges, 18628 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(p1914)
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 11 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: 158354 markings, 191595 edges, 31671 markings/sec, 0 secs
lola: 316516 markings, 381986 edges, 31632 markings/sec, 5 secs
lola: 459935 markings, 554082 edges, 28684 markings/sec, 10 secs
lola: 635083 markings, 767631 edges, 35030 markings/sec, 15 secs
lola: 792950 markings, 958216 edges, 31573 markings/sec, 20 secs
lola: 968767 markings, 1174108 edges, 35163 markings/sec, 25 secs
lola: 1140199 markings, 1384034 edges, 34286 markings/sec, 30 secs
lola: 1311152 markings, 1593955 edges, 34191 markings/sec, 35 secs
lola: 1484182 markings, 1805636 edges, 34606 markings/sec, 40 secs
lola: 1629908 markings, 1983902 edges, 29145 markings/sec, 45 secs
lola: 1743471 markings, 2123224 edges, 22713 markings/sec, 50 secs
lola: 1865875 markings, 2273035 edges, 24481 markings/sec, 55 secs
lola: 1967407 markings, 2396237 edges, 20306 markings/sec, 60 secs
lola: 2086151 markings, 2539555 edges, 23749 markings/sec, 65 secs
lola: 2242647 markings, 2732095 edges, 31299 markings/sec, 70 secs
lola: 2408538 markings, 2935415 edges, 33178 markings/sec, 75 secs
lola: 2567325 markings, 3129756 edges, 31757 markings/sec, 80 secs
lola: 2702172 markings, 3292151 edges, 26969 markings/sec, 85 secs
lola: 2865358 markings, 3492732 edges, 32637 markings/sec, 90 secs
lola: 2998454 markings, 3654843 edges, 26619 markings/sec, 95 secs
lola: 3122259 markings, 3805530 edges, 24761 markings/sec, 100 secs
lola: 3247127 markings, 3956513 edges, 24974 markings/sec, 105 secs
lola: 3398157 markings, 4141470 edges, 30206 markings/sec, 110 secs
lola: 3555562 markings, 4334069 edges, 31481 markings/sec, 115 secs
lola: 3699882 markings, 4511175 edges, 28864 markings/sec, 120 secs
lola: 3864828 markings, 4714459 edges, 32989 markings/sec, 125 secs
lola: 4026192 markings, 4913421 edges, 32273 markings/sec, 130 secs
lola: 4152074 markings, 5064901 edges, 25176 markings/sec, 135 secs
lola: 4272329 markings, 5210930 edges, 24051 markings/sec, 140 secs
lola: 4397550 markings, 5362963 edges, 25044 markings/sec, 145 secs
lola: 4528725 markings, 5522472 edges, 26235 markings/sec, 150 secs
lola: 4667478 markings, 5692474 edges, 27751 markings/sec, 155 secs
lola: 4806279 markings, 5863415 edges, 27760 markings/sec, 160 secs
lola: 4938410 markings, 6027460 edges, 26426 markings/sec, 165 secs
lola: 5073751 markings, 6195669 edges, 27068 markings/sec, 170 secs
lola: 5201125 markings, 6353754 edges, 25475 markings/sec, 175 secs
lola: 5331470 markings, 6514535 edges, 26069 markings/sec, 180 secs
lola: 5470102 markings, 6684890 edges, 27726 markings/sec, 185 secs
lola: 5607665 markings, 6854633 edges, 27513 markings/sec, 190 secs
lola: 5734249 markings, 7012731 edges, 25317 markings/sec, 195 secs
lola: 5899636 markings, 7214989 edges, 33077 markings/sec, 200 secs
lola: 6052266 markings, 7401222 edges, 30526 markings/sec, 205 secs
lola: 6194785 markings, 7574797 edges, 28504 markings/sec, 210 secs
lola: 6329145 markings, 7738185 edges, 26872 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(p47)
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 11 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: 107752 markings, 179921 edges, 21550 markings/sec, 0 secs
lola: 211699 markings, 359637 edges, 20789 markings/sec, 5 secs
lola: 330980 markings, 544831 edges, 23856 markings/sec, 10 secs
lola: 417077 markings, 684110 edges, 17219 markings/sec, 15 secs
lola: 518253 markings, 809750 edges, 20235 markings/sec, 20 secs
lola: 608741 markings, 952612 edges, 18098 markings/sec, 25 secs
lola: 719373 markings, 1089312 edges, 22126 markings/sec, 30 secs
lola: 829379 markings, 1224897 edges, 22001 markings/sec, 35 secs
lola: 931377 markings, 1349830 edges, 20400 markings/sec, 40 secs
lola: 1035946 markings, 1478735 edges, 20914 markings/sec, 45 secs
lola: 1151405 markings, 1624429 edges, 23092 markings/sec, 50 secs
lola: 1263977 markings, 1766668 edges, 22514 markings/sec, 55 secs
lola: 1382290 markings, 1915317 edges, 23663 markings/sec, 60 secs
lola: 1490564 markings, 2049421 edges, 21655 markings/sec, 65 secs
lola: 1597983 markings, 2187602 edges, 21484 markings/sec, 70 secs
lola: 1716443 markings, 2335993 edges, 23692 markings/sec, 75 secs
lola: 1828495 markings, 2474626 edges, 22410 markings/sec, 80 secs
lola: 1946597 markings, 2622218 edges, 23620 markings/sec, 85 secs
lola: 2057007 markings, 2784935 edges, 22082 markings/sec, 90 secs
lola: 2166167 markings, 2920247 edges, 21832 markings/sec, 95 secs
lola: 2267942 markings, 3047945 edges, 20355 markings/sec, 100 secs
lola: 2364737 markings, 3172037 edges, 19359 markings/sec, 105 secs
lola: 2460450 markings, 3292187 edges, 19143 markings/sec, 110 secs
lola: 2564482 markings, 3422695 edges, 20806 markings/sec, 115 secs
lola: 2677449 markings, 3561251 edges, 22593 markings/sec, 120 secs
lola: 2786836 markings, 3695015 edges, 21877 markings/sec, 125 secs
lola: 2884120 markings, 3814567 edges, 19457 markings/sec, 130 secs
lola: 2992581 markings, 3949844 edges, 21692 markings/sec, 135 secs
lola: 3081176 markings, 4062155 edges, 17719 markings/sec, 140 secs
lola: 3181235 markings, 4185424 edges, 20012 markings/sec, 145 secs
lola: 3284160 markings, 4311638 edges, 20585 markings/sec, 150 secs
lola: 3385155 markings, 4435035 edges, 20199 markings/sec, 155 secs
lola: 3497662 markings, 4573125 edges, 22501 markings/sec, 160 secs
lola: 3592858 markings, 4688703 edges, 19039 markings/sec, 165 secs
lola: 3681246 markings, 4801530 edges, 17678 markings/sec, 170 secs
lola: 3788878 markings, 4933546 edges, 21526 markings/sec, 175 secs
lola: 3895966 markings, 5064869 edges, 21418 markings/sec, 180 secs
lola: 3988267 markings, 5177575 edges, 18460 markings/sec, 185 secs
lola: 4084630 markings, 5296514 edges, 19273 markings/sec, 190 secs
lola: 4185063 markings, 5422558 edges, 20087 markings/sec, 195 secs
lola: 4273732 markings, 5534313 edges, 17734 markings/sec, 200 secs
lola: 4379997 markings, 5664644 edges, 21253 markings/sec, 205 secs
lola: 4486140 markings, 5794812 edges, 21229 markings/sec, 210 secs
lola: 4573565 markings, 5901619 edges, 17485 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 CloudReconfiguration-PT-308-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-308-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-308-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-308-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-308-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-308-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-308-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-308-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-308-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-308-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-308-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-308-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-308-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-308-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-308-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-308-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496534172470

--------------------
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-308"
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-308.tgz
mv CloudReconfiguration-PT-308 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-308, 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-149580961300065"
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 ;