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

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

=== Now, execution of the tool begins

BK_START 1496529495962


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


checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-301: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ CloudReconfiguration-PT-301 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5678/65536 symbol table entries, 638 collisions
lola: preprocessing...
lola: finding significant places
lola: 2584 places, 3094 transitions, 2580 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2707 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-301-UpperBounds.task
lola: MAX(p1686) : MAX(p1782) : MAX(p66) : MAX(p284) : MAX(p1048) : MAX(p256) : MAX(p1626) : MAX(p994) : MAX(p1712) : MAX(p853) : MAX(p1391) : MAX(p2407) : MAX(p1839) : MAX(p2164) : MAX(p1228) : MAX(p2134)
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(p1686)
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 12 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: 134724 markings, 161603 edges, 26945 markings/sec, 0 secs
lola: 271815 markings, 326714 edges, 27418 markings/sec, 5 secs
lola: 416442 markings, 501872 edges, 28925 markings/sec, 10 secs
lola: 555459 markings, 671691 edges, 27803 markings/sec, 15 secs
lola: 684504 markings, 833979 edges, 25809 markings/sec, 20 secs
lola: 818985 markings, 1001364 edges, 26896 markings/sec, 25 secs
lola: 956156 markings, 1171120 edges, 27434 markings/sec, 30 secs
lola: 1107086 markings, 1360117 edges, 30186 markings/sec, 35 secs
lola: 1244546 markings, 1533029 edges, 27492 markings/sec, 40 secs
lola: 1379697 markings, 1703406 edges, 27030 markings/sec, 45 secs
lola: 1502519 markings, 1855585 edges, 24564 markings/sec, 50 secs
lola: 1615774 markings, 1998115 edges, 22651 markings/sec, 55 secs
lola: 1734734 markings, 2148781 edges, 23792 markings/sec, 60 secs
lola: 1851195 markings, 2296183 edges, 23292 markings/sec, 65 secs
lola: 1992527 markings, 2473999 edges, 28266 markings/sec, 70 secs
lola: 2127965 markings, 2644936 edges, 27088 markings/sec, 75 secs
lola: 2265877 markings, 2822211 edges, 27582 markings/sec, 80 secs
lola: 2380961 markings, 2964903 edges, 23017 markings/sec, 85 secs
lola: 2504757 markings, 3115388 edges, 24759 markings/sec, 90 secs
lola: 2616713 markings, 3256003 edges, 22391 markings/sec, 95 secs
lola: 2725827 markings, 3392480 edges, 21823 markings/sec, 100 secs
lola: 2841741 markings, 3538402 edges, 23183 markings/sec, 105 secs
lola: 2986215 markings, 3722255 edges, 28895 markings/sec, 110 secs
lola: 3131538 markings, 3904719 edges, 29065 markings/sec, 115 secs
lola: 3266132 markings, 4073526 edges, 26919 markings/sec, 120 secs
lola: 3411488 markings, 4259001 edges, 29071 markings/sec, 125 secs
lola: 3536844 markings, 4419317 edges, 25071 markings/sec, 130 secs
lola: 3644264 markings, 4557043 edges, 21484 markings/sec, 135 secs
lola: 3755977 markings, 4693099 edges, 22343 markings/sec, 140 secs
lola: 3895456 markings, 4868330 edges, 27896 markings/sec, 145 secs
lola: 4020802 markings, 5026186 edges, 25069 markings/sec, 150 secs
lola: 4154770 markings, 5199491 edges, 26794 markings/sec, 155 secs
lola: 4279105 markings, 5357750 edges, 24867 markings/sec, 160 secs
lola: 4395919 markings, 5505868 edges, 23363 markings/sec, 165 secs
lola: 4504665 markings, 5642159 edges, 21749 markings/sec, 170 secs
lola: 4605750 markings, 5768955 edges, 20217 markings/sec, 175 secs
lola: 4720481 markings, 5917513 edges, 22946 markings/sec, 180 secs
lola: 4833004 markings, 6062237 edges, 22505 markings/sec, 185 secs
lola: 4940100 markings, 6200368 edges, 21419 markings/sec, 190 secs
lola: 5032387 markings, 6316260 edges, 18457 markings/sec, 195 secs
lola: 5166310 markings, 6488038 edges, 26785 markings/sec, 200 secs
lola: 5241472 markings, 6584682 edges, 15032 markings/sec, 205 secs
lola: 5341049 markings, 6709193 edges, 19915 markings/sec, 210 secs
lola: 5466503 markings, 6869084 edges, 25091 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(p1782)
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 12 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: 129370 markings, 155173 edges, 25874 markings/sec, 0 secs
lola: 263318 markings, 317393 edges, 26790 markings/sec, 5 secs
lola: 396337 markings, 477738 edges, 26604 markings/sec, 10 secs
lola: 529172 markings, 638740 edges, 26567 markings/sec, 15 secs
lola: 670362 markings, 815323 edges, 28238 markings/sec, 20 secs
lola: 802787 markings, 980646 edges, 26485 markings/sec, 25 secs
lola: 941681 markings, 1151268 edges, 27779 markings/sec, 30 secs
lola: 1093261 markings, 1339685 edges, 30316 markings/sec, 35 secs
lola: 1244763 markings, 1530031 edges, 30300 markings/sec, 40 secs
lola: 1390850 markings, 1714972 edges, 29217 markings/sec, 45 secs
lola: 1527619 markings, 1885528 edges, 27354 markings/sec, 50 secs
lola: 1650021 markings, 2039302 edges, 24480 markings/sec, 55 secs
lola: 1781636 markings, 2205290 edges, 26323 markings/sec, 60 secs
lola: 1912039 markings, 2369959 edges, 26081 markings/sec, 65 secs
lola: 2053958 markings, 2548175 edges, 28384 markings/sec, 70 secs
lola: 2188195 markings, 2716059 edges, 26847 markings/sec, 75 secs
lola: 2324334 markings, 2889938 edges, 27228 markings/sec, 80 secs
lola: 2449351 markings, 3046706 edges, 25003 markings/sec, 85 secs
lola: 2575540 markings, 3201117 edges, 25238 markings/sec, 90 secs
lola: 2689467 markings, 3344071 edges, 22785 markings/sec, 95 secs
lola: 2804189 markings, 3487919 edges, 22944 markings/sec, 100 secs
lola: 2932981 markings, 3652042 edges, 25758 markings/sec, 105 secs
lola: 3057308 markings, 3807438 edges, 24865 markings/sec, 110 secs
lola: 3178862 markings, 3962511 edges, 24311 markings/sec, 115 secs
lola: 3332132 markings, 4154533 edges, 30654 markings/sec, 120 secs
lola: 3485906 markings, 4348954 edges, 30755 markings/sec, 125 secs
lola: 3629525 markings, 4531731 edges, 28724 markings/sec, 130 secs
lola: 3764521 markings, 4700357 edges, 26999 markings/sec, 135 secs
lola: 3909876 markings, 4881689 edges, 29071 markings/sec, 140 secs
lola: 4055090 markings, 5066590 edges, 29043 markings/sec, 145 secs
lola: 4174678 markings, 5215737 edges, 23918 markings/sec, 150 secs
lola: 4290197 markings, 5360692 edges, 23104 markings/sec, 155 secs
lola: 4401593 markings, 5500366 edges, 22279 markings/sec, 160 secs
lola: 4527811 markings, 5663968 edges, 25244 markings/sec, 165 secs
lola: 4647390 markings, 5816144 edges, 23916 markings/sec, 170 secs
lola: 4790581 markings, 6000763 edges, 28638 markings/sec, 175 secs
lola: 4928605 markings, 6179817 edges, 27605 markings/sec, 180 secs
lola: 5060347 markings, 6346550 edges, 26348 markings/sec, 185 secs
lola: 5185567 markings, 6506039 edges, 25044 markings/sec, 190 secs
lola: 5285010 markings, 6634507 edges, 19889 markings/sec, 195 secs
lola: 5395097 markings, 6771928 edges, 22017 markings/sec, 200 secs
lola: 5531083 markings, 6945055 edges, 27197 markings/sec, 205 secs
lola: 5669162 markings, 7118615 edges, 27616 markings/sec, 210 secs
lola: 5785077 markings, 7265801 edges, 23183 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(p66)
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 12 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: 100048 markings, 121994 edges, 20010 markings/sec, 0 secs
lola: 196214 markings, 239024 edges, 19233 markings/sec, 5 secs
lola: 301868 markings, 371199 edges, 21131 markings/sec, 10 secs
lola: 395434 markings, 485534 edges, 18713 markings/sec, 15 secs
lola: 494177 markings, 609562 edges, 19749 markings/sec, 20 secs
lola: 584589 markings, 719833 edges, 18082 markings/sec, 25 secs
lola: 672932 markings, 827947 edges, 17669 markings/sec, 30 secs
lola: 773264 markings, 954325 edges, 20066 markings/sec, 35 secs
lola: 870504 markings, 1075243 edges, 19448 markings/sec, 40 secs
lola: 961246 markings, 1187676 edges, 18148 markings/sec, 45 secs
lola: 1041681 markings, 1285672 edges, 16087 markings/sec, 50 secs
lola: 1124205 markings, 1386142 edges, 16505 markings/sec, 55 secs
lola: 1213184 markings, 1494134 edges, 17796 markings/sec, 60 secs
lola: 1317615 markings, 1626915 edges, 20886 markings/sec, 65 secs
lola: 1417072 markings, 1754602 edges, 19891 markings/sec, 70 secs
lola: 1518444 markings, 1880662 edges, 20274 markings/sec, 75 secs
lola: 1615378 markings, 2005828 edges, 19387 markings/sec, 80 secs
lola: 1703717 markings, 2113647 edges, 17668 markings/sec, 85 secs
lola: 1798234 markings, 2234395 edges, 18903 markings/sec, 90 secs
lola: 1894190 markings, 2359211 edges, 19191 markings/sec, 95 secs
lola: 1995060 markings, 2485437 edges, 20174 markings/sec, 100 secs
lola: 2090122 markings, 2606790 edges, 19012 markings/sec, 105 secs
lola: 2181526 markings, 2722064 edges, 18281 markings/sec, 110 secs
lola: 2275528 markings, 2836395 edges, 18800 markings/sec, 115 secs
lola: 2368821 markings, 2952154 edges, 18659 markings/sec, 120 secs
lola: 2480495 markings, 3094657 edges, 22335 markings/sec, 125 secs
lola: 2590472 markings, 3233373 edges, 21995 markings/sec, 130 secs
lola: 2694324 markings, 3363962 edges, 20770 markings/sec, 135 secs
lola: 2791283 markings, 3484257 edges, 19392 markings/sec, 140 secs
lola: 2879785 markings, 3593056 edges, 17700 markings/sec, 145 secs
lola: 2970576 markings, 3703704 edges, 18158 markings/sec, 150 secs
lola: 3072815 markings, 3834469 edges, 20448 markings/sec, 155 secs
lola: 3179384 markings, 3972013 edges, 21314 markings/sec, 160 secs
lola: 3284776 markings, 4104229 edges, 21078 markings/sec, 165 secs
lola: 3381637 markings, 4224941 edges, 19372 markings/sec, 170 secs
lola: 3473045 markings, 4341021 edges, 18282 markings/sec, 175 secs
lola: 3571835 markings, 4465739 edges, 19758 markings/sec, 180 secs
lola: 3666207 markings, 4582418 edges, 18874 markings/sec, 185 secs
lola: 3752643 markings, 4687903 edges, 17287 markings/sec, 190 secs
lola: 3835021 markings, 4794502 edges, 16476 markings/sec, 195 secs
lola: 3936113 markings, 4918552 edges, 20218 markings/sec, 200 secs
lola: 4001635 markings, 4998059 edges, 13104 markings/sec, 205 secs
lola: 4104765 markings, 5130946 edges, 20626 markings/sec, 210 secs
lola: 4209161 markings, 5260047 edges, 20879 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(p284)
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 12 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: 93683 markings, 190275 edges, 18737 markings/sec, 0 secs
lola: 191205 markings, 412182 edges, 19504 markings/sec, 5 secs
lola: 289131 markings, 623346 edges, 19585 markings/sec, 10 secs
lola: 375093 markings, 812033 edges, 17192 markings/sec, 15 secs
lola: 462444 markings, 1004711 edges, 17470 markings/sec, 20 secs
lola: 552075 markings, 1200659 edges, 17926 markings/sec, 25 secs
lola: 640164 markings, 1399011 edges, 17618 markings/sec, 30 secs
lola: 725045 markings, 1589864 edges, 16976 markings/sec, 35 secs
lola: 806021 markings, 1772702 edges, 16195 markings/sec, 40 secs
lola: 888780 markings, 1959601 edges, 16552 markings/sec, 45 secs
lola: 966686 markings, 2142073 edges, 15581 markings/sec, 50 secs
lola: 1044679 markings, 2313581 edges, 15599 markings/sec, 55 secs
lola: 1126164 markings, 2483952 edges, 16297 markings/sec, 60 secs
lola: 1213164 markings, 2680089 edges, 17400 markings/sec, 65 secs
lola: 1299956 markings, 2875660 edges, 17358 markings/sec, 70 secs
lola: 1381422 markings, 3059131 edges, 16293 markings/sec, 75 secs
lola: 1464970 markings, 3250956 edges, 16710 markings/sec, 80 secs
lola: 1550403 markings, 3443227 edges, 17087 markings/sec, 85 secs
lola: 1635551 markings, 3639151 edges, 17030 markings/sec, 90 secs
lola: 1718334 markings, 3826231 edges, 16557 markings/sec, 95 secs
lola: 1800274 markings, 4011644 edges, 16388 markings/sec, 100 secs
lola: 1884630 markings, 4196184 edges, 16871 markings/sec, 105 secs
lola: 1967038 markings, 4386523 edges, 16482 markings/sec, 110 secs
lola: 2047463 markings, 4560017 edges, 16085 markings/sec, 115 secs
lola: 2127671 markings, 4739463 edges, 16042 markings/sec, 120 secs
lola: 2212592 markings, 4930024 edges, 16984 markings/sec, 125 secs
lola: 2293690 markings, 5110515 edges, 16220 markings/sec, 130 secs
lola: 2372885 markings, 5288020 edges, 15839 markings/sec, 135 secs
lola: 2450470 markings, 5466125 edges, 15517 markings/sec, 140 secs
lola: 2527134 markings, 5640536 edges, 15333 markings/sec, 145 secs
lola: 2605482 markings, 5815116 edges, 15670 markings/sec, 150 secs
lola: 2684187 markings, 5989542 edges, 15741 markings/sec, 155 secs
lola: 2761043 markings, 6164026 edges, 15371 markings/sec, 160 secs
lola: 2839378 markings, 6341242 edges, 15667 markings/sec, 165 secs
lola: 2913962 markings, 6510423 edges, 14917 markings/sec, 170 secs
lola: 2989123 markings, 6678434 edges, 15032 markings/sec, 175 secs
lola: 3066437 markings, 6855007 edges, 15463 markings/sec, 180 secs
lola: 3145690 markings, 7034125 edges, 15851 markings/sec, 185 secs
lola: 3227364 markings, 7216307 edges, 16335 markings/sec, 190 secs
lola: 3306083 markings, 7398044 edges, 15744 markings/sec, 195 secs
lola: 3384210 markings, 7573415 edges, 15625 markings/sec, 200 secs
lola: 3457857 markings, 7739544 edges, 14729 markings/sec, 205 secs
lola: 3536453 markings, 7918706 edges, 15719 markings/sec, 210 secs
lola: 3610789 markings, 8076433 edges, 14867 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(p1048)
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 12 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: 128507 markings, 156652 edges, 25701 markings/sec, 0 secs
lola: 255059 markings, 312337 edges, 25310 markings/sec, 5 secs
lola: 380225 markings, 466724 edges, 25033 markings/sec, 10 secs
lola: 504270 markings, 621692 edges, 24809 markings/sec, 15 secs
lola: 620309 markings, 763103 edges, 23208 markings/sec, 20 secs
lola: 734437 markings, 904644 edges, 22826 markings/sec, 25 secs
lola: 850809 markings, 1050759 edges, 23274 markings/sec, 30 secs
lola: 956209 markings, 1181414 edges, 21080 markings/sec, 35 secs
lola: 1050252 markings, 1295965 edges, 18809 markings/sec, 40 secs
lola: 1158898 markings, 1428153 edges, 21729 markings/sec, 45 secs
lola: 1274227 markings, 1571391 edges, 23066 markings/sec, 50 secs
lola: 1403239 markings, 1737211 edges, 25802 markings/sec, 55 secs
lola: 1533475 markings, 1899206 edges, 26047 markings/sec, 60 secs
lola: 1647045 markings, 2044244 edges, 22714 markings/sec, 65 secs
lola: 1754274 markings, 2176661 edges, 21446 markings/sec, 70 secs
lola: 1876510 markings, 2334838 edges, 24447 markings/sec, 75 secs
lola: 1993731 markings, 2483652 edges, 23444 markings/sec, 80 secs
lola: 2106085 markings, 2627462 edges, 22471 markings/sec, 85 secs
lola: 2211844 markings, 2758889 edges, 21152 markings/sec, 90 secs
lola: 2325290 markings, 2896699 edges, 22689 markings/sec, 95 secs
lola: 2465895 markings, 3075581 edges, 28121 markings/sec, 100 secs
lola: 2603664 markings, 3249632 edges, 27554 markings/sec, 105 secs
lola: 2731111 markings, 3409198 edges, 25489 markings/sec, 110 secs
lola: 2842328 markings, 3546535 edges, 22243 markings/sec, 115 secs
lola: 2949697 markings, 3678099 edges, 21474 markings/sec, 120 secs
lola: 3071821 markings, 3833130 edges, 24425 markings/sec, 125 secs
lola: 3205559 markings, 4004242 edges, 26748 markings/sec, 130 secs
lola: 3331495 markings, 4162299 edges, 25187 markings/sec, 135 secs
lola: 3444850 markings, 4303299 edges, 22671 markings/sec, 140 secs
lola: 3572590 markings, 4466538 edges, 25548 markings/sec, 145 secs
lola: 3693319 markings, 4615576 edges, 24146 markings/sec, 150 secs
lola: 3781580 markings, 4724297 edges, 17652 markings/sec, 155 secs
lola: 3896643 markings, 4870021 edges, 23013 markings/sec, 160 secs
lola: 3988782 markings, 4982376 edges, 18428 markings/sec, 165 secs
lola: 4106737 markings, 5133081 edges, 23591 markings/sec, 170 secs
lola: 4229102 markings, 5284107 edges, 24473 markings/sec, 175 secs
lola: 4333351 markings, 5411632 edges, 20850 markings/sec, 180 secs
lola: 4442598 markings, 5548247 edges, 21849 markings/sec, 185 secs
lola: 4534846 markings, 5664630 edges, 18450 markings/sec, 190 secs
lola: 4642830 markings, 5797994 edges, 21597 markings/sec, 195 secs
lola: 4737979 markings, 5914194 edges, 19030 markings/sec, 200 secs
lola: 4831694 markings, 6034425 edges, 18743 markings/sec, 205 secs
lola: 4961353 markings, 6197631 edges, 25932 markings/sec, 210 secs
lola: 5038641 markings, 6291310 edges, 15458 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(p256)
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 12 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: 87528 markings, 174690 edges, 17506 markings/sec, 0 secs
lola: 176260 markings, 375041 edges, 17746 markings/sec, 5 secs
lola: 265836 markings, 566286 edges, 17915 markings/sec, 10 secs
lola: 347353 markings, 742016 edges, 16303 markings/sec, 15 secs
lola: 431138 markings, 933392 edges, 16757 markings/sec, 20 secs
lola: 517008 markings, 1121654 edges, 17174 markings/sec, 25 secs
lola: 604272 markings, 1308935 edges, 17453 markings/sec, 30 secs
lola: 687365 markings, 1496467 edges, 16619 markings/sec, 35 secs
lola: 768805 markings, 1679086 edges, 16288 markings/sec, 40 secs
lola: 851044 markings, 1863343 edges, 16448 markings/sec, 45 secs
lola: 931672 markings, 2050244 edges, 16126 markings/sec, 50 secs
lola: 1015916 markings, 2223478 edges, 16849 markings/sec, 55 secs
lola: 1100649 markings, 2414159 edges, 16947 markings/sec, 60 secs
lola: 1188212 markings, 2612676 edges, 17513 markings/sec, 65 secs
lola: 1273009 markings, 2803714 edges, 16959 markings/sec, 70 secs
lola: 1358475 markings, 2995069 edges, 17093 markings/sec, 75 secs
lola: 1444130 markings, 3187732 edges, 17131 markings/sec, 80 secs
lola: 1528514 markings, 3380092 edges, 16877 markings/sec, 85 secs
lola: 1610360 markings, 3564253 edges, 16369 markings/sec, 90 secs
lola: 1691272 markings, 3746922 edges, 16182 markings/sec, 95 secs
lola: 1771738 markings, 3926254 edges, 16093 markings/sec, 100 secs
lola: 1850661 markings, 4095232 edges, 15785 markings/sec, 105 secs
lola: 1928590 markings, 4270817 edges, 15586 markings/sec, 110 secs
lola: 2004262 markings, 4437681 edges, 15134 markings/sec, 115 secs
lola: 2083069 markings, 4612318 edges, 15761 markings/sec, 120 secs
lola: 2161652 markings, 4788766 edges, 15717 markings/sec, 125 secs
lola: 2240487 markings, 4959910 edges, 15767 markings/sec, 130 secs
lola: 2322767 markings, 5148912 edges, 16456 markings/sec, 135 secs
lola: 2396033 markings, 5327688 edges, 14653 markings/sec, 140 secs
lola: 2476724 markings, 5496585 edges, 16138 markings/sec, 145 secs
lola: 2557478 markings, 5676130 edges, 16151 markings/sec, 150 secs
lola: 2635111 markings, 5851097 edges, 15527 markings/sec, 155 secs
lola: 2714256 markings, 6028555 edges, 15829 markings/sec, 160 secs
lola: 2792787 markings, 6206899 edges, 15706 markings/sec, 165 secs
lola: 2867884 markings, 6375453 edges, 15019 markings/sec, 170 secs
lola: 2939812 markings, 6537789 edges, 14386 markings/sec, 175 secs
lola: 3014774 markings, 6703557 edges, 14992 markings/sec, 180 secs
lola: 3090884 markings, 6875648 edges, 15222 markings/sec, 185 secs
lola: 3171800 markings, 7057694 edges, 16183 markings/sec, 190 secs
lola: 3251465 markings, 7240103 edges, 15933 markings/sec, 195 secs
lola: 3326217 markings, 7406712 edges, 14950 markings/sec, 200 secs
lola: 3398289 markings, 7569007 edges, 14414 markings/sec, 205 secs
lola: 3471296 markings, 7746560 edges, 14601 markings/sec, 210 secs
lola: 3549380 markings, 7894677 edges, 15617 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(p1626)
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 12 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: 139865 markings, 192991 edges, 27973 markings/sec, 0 secs
lola: 278110 markings, 365821 edges, 27649 markings/sec, 5 secs
lola: 411341 markings, 531314 edges, 26646 markings/sec, 10 secs
lola: 541239 markings, 692480 edges, 25980 markings/sec, 15 secs
lola: 669819 markings, 852277 edges, 25716 markings/sec, 20 secs
lola: 796517 markings, 1011390 edges, 25340 markings/sec, 25 secs
lola: 920380 markings, 1164986 edges, 24773 markings/sec, 30 secs
lola: 1021557 markings, 1289302 edges, 20235 markings/sec, 35 secs
lola: 1139879 markings, 1434907 edges, 23664 markings/sec, 40 secs
lola: 1277685 markings, 1619965 edges, 27561 markings/sec, 45 secs
lola: 1414335 markings, 1792921 edges, 27330 markings/sec, 50 secs
lola: 1534586 markings, 1944827 edges, 24050 markings/sec, 55 secs
lola: 1657415 markings, 2107139 edges, 24566 markings/sec, 60 secs
lola: 1792587 markings, 2281023 edges, 27034 markings/sec, 65 secs
lola: 1909980 markings, 2431857 edges, 23479 markings/sec, 70 secs
lola: 2021874 markings, 2571823 edges, 22379 markings/sec, 75 secs
lola: 2132184 markings, 2707849 edges, 22062 markings/sec, 80 secs
lola: 2287685 markings, 2916251 edges, 31100 markings/sec, 85 secs
lola: 2429783 markings, 3095561 edges, 28420 markings/sec, 90 secs
lola: 2562469 markings, 3264752 edges, 26537 markings/sec, 95 secs
lola: 2684134 markings, 3415625 edges, 24333 markings/sec, 100 secs
lola: 2811823 markings, 3583682 edges, 25538 markings/sec, 105 secs
lola: 2959663 markings, 3772411 edges, 29568 markings/sec, 110 secs
lola: 3082368 markings, 3927560 edges, 24541 markings/sec, 115 secs
lola: 3206739 markings, 4087572 edges, 24874 markings/sec, 120 secs
lola: 3317756 markings, 4226238 edges, 22203 markings/sec, 125 secs
lola: 3448914 markings, 4388032 edges, 26232 markings/sec, 130 secs
lola: 3534497 markings, 4497044 edges, 17117 markings/sec, 135 secs
lola: 3631486 markings, 4617326 edges, 19398 markings/sec, 140 secs
lola: 3739505 markings, 4751562 edges, 21604 markings/sec, 145 secs
lola: 3831049 markings, 4867517 edges, 18309 markings/sec, 150 secs
lola: 3935256 markings, 4997144 edges, 20841 markings/sec, 155 secs
lola: 4051761 markings, 5143028 edges, 23301 markings/sec, 160 secs
lola: 4163335 markings, 5282359 edges, 22315 markings/sec, 165 secs
lola: 4253876 markings, 5396453 edges, 18108 markings/sec, 170 secs
lola: 4373082 markings, 5544163 edges, 23841 markings/sec, 175 secs
lola: 4471918 markings, 5667305 edges, 19767 markings/sec, 180 secs
lola: 4565384 markings, 5787129 edges, 18693 markings/sec, 185 secs
lola: 4706995 markings, 5974564 edges, 28322 markings/sec, 190 secs
lola: 4814413 markings, 6107894 edges, 21484 markings/sec, 195 secs
lola: 4925020 markings, 6244942 edges, 22121 markings/sec, 200 secs
lola: 5025096 markings, 6369845 edges, 20015 markings/sec, 205 secs
lola: 5142888 markings, 6517096 edges, 23558 markings/sec, 210 secs
lola: 5247354 markings, 6648076 edges, 20893 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(p994)
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 12 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: 122037 markings, 148766 edges, 24407 markings/sec, 0 secs
lola: 240076 markings, 293505 edges, 23608 markings/sec, 5 secs
lola: 361111 markings, 443533 edges, 24207 markings/sec, 10 secs
lola: 478036 markings, 588395 edges, 23385 markings/sec, 15 secs
lola: 588123 markings, 724023 edges, 22017 markings/sec, 20 secs
lola: 692193 markings, 851758 edges, 20814 markings/sec, 25 secs
lola: 810159 markings, 999705 edges, 23593 markings/sec, 30 secs
lola: 924583 markings, 1143061 edges, 22885 markings/sec, 35 secs
lola: 1018706 markings, 1257540 edges, 18825 markings/sec, 40 secs
lola: 1118558 markings, 1379251 edges, 19970 markings/sec, 45 secs
lola: 1230643 markings, 1515495 edges, 22417 markings/sec, 50 secs
lola: 1365796 markings, 1688510 edges, 27031 markings/sec, 55 secs
lola: 1494813 markings, 1850811 edges, 25803 markings/sec, 60 secs
lola: 1623469 markings, 2015664 edges, 25731 markings/sec, 65 secs
lola: 1730436 markings, 2146039 edges, 21393 markings/sec, 70 secs
lola: 1857314 markings, 2310615 edges, 25376 markings/sec, 75 secs
lola: 1986706 markings, 2474796 edges, 25878 markings/sec, 80 secs
lola: 2103679 markings, 2624551 edges, 23395 markings/sec, 85 secs
lola: 2204092 markings, 2749399 edges, 20083 markings/sec, 90 secs
lola: 2312152 markings, 2880680 edges, 21612 markings/sec, 95 secs
lola: 2450741 markings, 3056092 edges, 27718 markings/sec, 100 secs
lola: 2592824 markings, 3236158 edges, 28417 markings/sec, 105 secs
lola: 2725403 markings, 3402058 edges, 26516 markings/sec, 110 secs
lola: 2839388 markings, 3543008 edges, 22797 markings/sec, 115 secs
lola: 2941933 markings, 3668751 edges, 20509 markings/sec, 120 secs
lola: 3054893 markings, 3810886 edges, 22592 markings/sec, 125 secs
lola: 3189377 markings, 3984172 edges, 26897 markings/sec, 130 secs
lola: 3322607 markings, 4151424 edges, 26646 markings/sec, 135 secs
lola: 3443158 markings, 4301262 edges, 24110 markings/sec, 140 secs
lola: 3572250 markings, 4466154 edges, 25818 markings/sec, 145 secs
lola: 3698514 markings, 4622003 edges, 25253 markings/sec, 150 secs
lola: 3785485 markings, 4729906 edges, 17394 markings/sec, 155 secs
lola: 3910182 markings, 4886712 edges, 24939 markings/sec, 160 secs
lola: 3997193 markings, 4992617 edges, 17402 markings/sec, 165 secs
lola: 4124374 markings, 5155426 edges, 25436 markings/sec, 170 secs
lola: 4238785 markings, 5295880 edges, 22882 markings/sec, 175 secs
lola: 4350656 markings, 5433033 edges, 22374 markings/sec, 180 secs
lola: 4461307 markings, 5571696 edges, 22130 markings/sec, 185 secs
lola: 4546166 markings, 5679164 edges, 16972 markings/sec, 190 secs
lola: 4658542 markings, 5817078 edges, 22475 markings/sec, 195 secs
lola: 4769652 markings, 5953360 edges, 22222 markings/sec, 200 secs
lola: 4867064 markings, 6081192 edges, 19482 markings/sec, 205 secs
lola: 4984416 markings, 6225594 edges, 23470 markings/sec, 210 secs
lola: 5074514 markings, 6335317 edges, 18020 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(p1712)
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 12 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: 145586 markings, 174479 edges, 29117 markings/sec, 0 secs
lola: 283912 markings, 340889 edges, 27665 markings/sec, 5 secs
lola: 427595 markings, 515105 edges, 28737 markings/sec, 10 secs
lola: 589687 markings, 714768 edges, 32418 markings/sec, 15 secs
lola: 741302 markings, 905037 edges, 30323 markings/sec, 20 secs
lola: 883616 markings, 1083489 edges, 28463 markings/sec, 25 secs
lola: 1025081 markings, 1260111 edges, 28293 markings/sec, 30 secs
lola: 1173970 markings, 1446458 edges, 29778 markings/sec, 35 secs
lola: 1319838 markings, 1628724 edges, 29174 markings/sec, 40 secs
lola: 1454631 markings, 1794474 edges, 26959 markings/sec, 45 secs
lola: 1584282 markings, 1957091 edges, 25930 markings/sec, 50 secs
lola: 1714441 markings, 2121770 edges, 26032 markings/sec, 55 secs
lola: 1850832 markings, 2295497 edges, 27278 markings/sec, 60 secs
lola: 2000104 markings, 2482828 edges, 29854 markings/sec, 65 secs
lola: 2138150 markings, 2657353 edges, 27609 markings/sec, 70 secs
lola: 2276254 markings, 2835129 edges, 27621 markings/sec, 75 secs
lola: 2405694 markings, 2992992 edges, 25888 markings/sec, 80 secs
lola: 2561217 markings, 3184801 edges, 31105 markings/sec, 85 secs
lola: 2723303 markings, 3388042 edges, 32417 markings/sec, 90 secs
lola: 2874807 markings, 3581502 edges, 30301 markings/sec, 95 secs
lola: 3020273 markings, 3764235 edges, 29093 markings/sec, 100 secs
lola: 3144895 markings, 3920844 edges, 24924 markings/sec, 105 secs
lola: 3265612 markings, 4071318 edges, 24143 markings/sec, 110 secs
lola: 3400267 markings, 4243022 edges, 26931 markings/sec, 115 secs
lola: 3532710 markings, 4411020 edges, 26489 markings/sec, 120 secs
lola: 3640823 markings, 4548747 edges, 21623 markings/sec, 125 secs
lola: 3788563 markings, 4733444 edges, 29548 markings/sec, 130 secs
lola: 3925469 markings, 4907246 edges, 27381 markings/sec, 135 secs
lola: 4036517 markings, 5044787 edges, 22210 markings/sec, 140 secs
lola: 4173344 markings, 5219927 edges, 27365 markings/sec, 145 secs
lola: 4305169 markings, 5388826 edges, 26365 markings/sec, 150 secs
lola: 4420180 markings, 5533369 edges, 23002 markings/sec, 155 secs
lola: 4525409 markings, 5664576 edges, 21046 markings/sec, 160 secs
lola: 4637125 markings, 5806263 edges, 22343 markings/sec, 165 secs
lola: 4765504 markings, 5973909 edges, 25676 markings/sec, 170 secs
lola: 4880752 markings, 6120816 edges, 23050 markings/sec, 175 secs
lola: 4987360 markings, 6256905 edges, 21322 markings/sec, 180 secs
lola: 5110230 markings, 6413978 edges, 24574 markings/sec, 185 secs
lola: 5217437 markings, 6551980 edges, 21441 markings/sec, 190 secs
lola: 5333722 markings, 6697504 edges, 23257 markings/sec, 195 secs
lola: 5461123 markings, 6860132 edges, 25480 markings/sec, 200 secs
lola: 5593214 markings, 7026652 edges, 26418 markings/sec, 205 secs
lola: 5710954 markings, 7176440 edges, 23548 markings/sec, 210 secs
lola: 5828205 markings, 7321446 edges, 23450 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(p853)
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 12 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: 128866 markings, 157093 edges, 25773 markings/sec, 0 secs
lola: 258150 markings, 316314 edges, 25857 markings/sec, 5 secs
lola: 383854 markings, 471196 edges, 25141 markings/sec, 10 secs
lola: 509409 markings, 627977 edges, 25111 markings/sec, 15 secs
lola: 619869 markings, 762582 edges, 22092 markings/sec, 20 secs
lola: 736401 markings, 907020 edges, 23306 markings/sec, 25 secs
lola: 858526 markings, 1060147 edges, 24425 markings/sec, 30 secs
lola: 968438 markings, 1196298 edges, 21982 markings/sec, 35 secs
lola: 1067236 markings, 1316698 edges, 19760 markings/sec, 40 secs
lola: 1177898 markings, 1451144 edges, 22132 markings/sec, 45 secs
lola: 1301416 markings, 1606902 edges, 24704 markings/sec, 50 secs
lola: 1429330 markings, 1769511 edges, 25583 markings/sec, 55 secs
lola: 1553461 markings, 1924304 edges, 24826 markings/sec, 60 secs
lola: 1675439 markings, 2078950 edges, 24396 markings/sec, 65 secs
lola: 1795400 markings, 2230009 edges, 23992 markings/sec, 70 secs
lola: 1921770 markings, 2393763 edges, 25274 markings/sec, 75 secs
lola: 2042878 markings, 2545503 edges, 24222 markings/sec, 80 secs
lola: 2156728 markings, 2691816 edges, 22770 markings/sec, 85 secs
lola: 2260714 markings, 2818169 edges, 20797 markings/sec, 90 secs
lola: 2375722 markings, 2960443 edges, 23002 markings/sec, 95 secs
lola: 2519538 markings, 3145380 edges, 28763 markings/sec, 100 secs
lola: 2660972 markings, 3321926 edges, 28287 markings/sec, 105 secs
lola: 2779558 markings, 3469430 edges, 23717 markings/sec, 110 secs
lola: 2888949 markings, 3604068 edges, 21878 markings/sec, 115 secs
lola: 3000096 markings, 3739732 edges, 22229 markings/sec, 120 secs
lola: 3139098 markings, 3919617 edges, 27800 markings/sec, 125 secs
lola: 3267252 markings, 4081433 edges, 25631 markings/sec, 130 secs
lola: 3385140 markings, 4229133 edges, 23578 markings/sec, 135 secs
lola: 3500564 markings, 4376116 edges, 23085 markings/sec, 140 secs
lola: 3618060 markings, 4523203 edges, 23499 markings/sec, 145 secs
lola: 3738934 markings, 4671182 edges, 24175 markings/sec, 150 secs
lola: 3834114 markings, 4793067 edges, 19036 markings/sec, 155 secs
lola: 3954090 markings, 4940289 edges, 23995 markings/sec, 160 secs
lola: 4039771 markings, 5045923 edges, 17136 markings/sec, 165 secs
lola: 4171666 markings, 5213851 edges, 26379 markings/sec, 170 secs
lola: 4267904 markings, 5331315 edges, 19248 markings/sec, 175 secs
lola: 4381464 markings, 5472654 edges, 22712 markings/sec, 180 secs
lola: 4494850 markings, 5613846 edges, 22677 markings/sec, 185 secs
lola: 4581574 markings, 5722946 edges, 17345 markings/sec, 190 secs
lola: 4682183 markings, 5845732 edges, 20122 markings/sec, 195 secs
lola: 4791720 markings, 5982172 edges, 21907 markings/sec, 200 secs
lola: 4903675 markings, 6126829 edges, 22391 markings/sec, 205 secs
lola: 5006031 markings, 6251787 edges, 20471 markings/sec, 210 secs
lola: 5110592 markings, 6379558 edges, 20912 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(p1391)
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 12 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: 134267 markings, 166788 edges, 26853 markings/sec, 0 secs
lola: 258757 markings, 320690 edges, 24898 markings/sec, 5 secs
lola: 387431 markings, 482017 edges, 25735 markings/sec, 10 secs
lola: 502685 markings, 623740 edges, 23051 markings/sec, 15 secs
lola: 624691 markings, 776850 edges, 24401 markings/sec, 20 secs
lola: 744738 markings, 926617 edges, 24009 markings/sec, 25 secs
lola: 858110 markings, 1067172 edges, 22674 markings/sec, 30 secs
lola: 960308 markings, 1192640 edges, 20440 markings/sec, 35 secs
lola: 1074125 markings, 1334343 edges, 22763 markings/sec, 40 secs
lola: 1212188 markings, 1509492 edges, 27613 markings/sec, 45 secs
lola: 1344008 markings, 1676759 edges, 26364 markings/sec, 50 secs
lola: 1471990 markings, 1840567 edges, 25596 markings/sec, 55 secs
lola: 1588704 markings, 1984917 edges, 23343 markings/sec, 60 secs
lola: 1722754 markings, 2157056 edges, 26810 markings/sec, 65 secs
lola: 1845979 markings, 2315069 edges, 24645 markings/sec, 70 secs
lola: 1956310 markings, 2456641 edges, 22066 markings/sec, 75 secs
lola: 2057446 markings, 2583384 edges, 20227 markings/sec, 80 secs
lola: 2162393 markings, 2713696 edges, 20989 markings/sec, 85 secs
lola: 2308350 markings, 2898947 edges, 29191 markings/sec, 90 secs
lola: 2456361 markings, 3086779 edges, 29602 markings/sec, 95 secs
lola: 2597495 markings, 3265351 edges, 28227 markings/sec, 100 secs
lola: 2727301 markings, 3429681 edges, 25961 markings/sec, 105 secs
lola: 2842767 markings, 3572603 edges, 23093 markings/sec, 110 secs
lola: 2983374 markings, 3752118 edges, 28121 markings/sec, 115 secs
lola: 3119629 markings, 3925946 edges, 27251 markings/sec, 120 secs
lola: 3248155 markings, 4088309 edges, 25705 markings/sec, 125 secs
lola: 3368002 markings, 4241834 edges, 23969 markings/sec, 130 secs
lola: 3485622 markings, 4389022 edges, 23524 markings/sec, 135 secs
lola: 3604484 markings, 4538082 edges, 23772 markings/sec, 140 secs
lola: 3677893 markings, 4633186 edges, 14682 markings/sec, 145 secs
lola: 3793315 markings, 4776312 edges, 23084 markings/sec, 150 secs
lola: 3882634 markings, 4896649 edges, 17864 markings/sec, 155 secs
lola: 4007309 markings, 5051453 edges, 24935 markings/sec, 160 secs
lola: 4117618 markings, 5191879 edges, 22062 markings/sec, 165 secs
lola: 4233573 markings, 5339267 edges, 23191 markings/sec, 170 secs
lola: 4353362 markings, 5488403 edges, 23958 markings/sec, 175 secs
lola: 4442855 markings, 5600391 edges, 17899 markings/sec, 180 secs
lola: 4547667 markings, 5730511 edges, 20962 markings/sec, 185 secs
lola: 4660410 markings, 5872511 edges, 22549 markings/sec, 190 secs
lola: 4781095 markings, 6037264 edges, 24137 markings/sec, 195 secs
lola: 4881521 markings, 6161960 edges, 20085 markings/sec, 200 secs
lola: 4986227 markings, 6291725 edges, 20941 markings/sec, 205 secs
lola: 5082871 markings, 6411915 edges, 19329 markings/sec, 210 secs
lola: 5191542 markings, 6549553 edges, 21734 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(p2407)
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 12 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: 152092 markings, 185494 edges, 30418 markings/sec, 0 secs
lola: 300275 markings, 366514 edges, 29637 markings/sec, 5 secs
lola: 435490 markings, 534071 edges, 27043 markings/sec, 10 secs
lola: 552153 markings, 676449 edges, 23333 markings/sec, 15 secs
lola: 675251 markings, 830013 edges, 24620 markings/sec, 20 secs
lola: 799405 markings, 985097 edges, 24831 markings/sec, 25 secs
lola: 910529 markings, 1122714 edges, 22225 markings/sec, 30 secs
lola: 1021038 markings, 1256378 edges, 22102 markings/sec, 35 secs
lola: 1140759 markings, 1401241 edges, 23944 markings/sec, 40 secs
lola: 1278904 markings, 1577597 edges, 27629 markings/sec, 45 secs
lola: 1411607 markings, 1744781 edges, 26541 markings/sec, 50 secs
lola: 1537542 markings, 1906519 edges, 25187 markings/sec, 55 secs
lola: 1651872 markings, 2045241 edges, 22866 markings/sec, 60 secs
lola: 1790589 markings, 2224054 edges, 27743 markings/sec, 65 secs
lola: 1928246 markings, 2398567 edges, 27531 markings/sec, 70 secs
lola: 2057122 markings, 2563330 edges, 25775 markings/sec, 75 secs
lola: 2182449 markings, 2717641 edges, 25065 markings/sec, 80 secs
lola: 2317449 markings, 2883010 edges, 27000 markings/sec, 85 secs
lola: 2471661 markings, 3081099 edges, 30842 markings/sec, 90 secs
lola: 2622568 markings, 3269524 edges, 30181 markings/sec, 95 secs
lola: 2753480 markings, 3431895 edges, 26182 markings/sec, 100 secs
lola: 2884824 markings, 3592744 edges, 26269 markings/sec, 105 secs
lola: 3016144 markings, 3756685 edges, 26264 markings/sec, 110 secs
lola: 3161729 markings, 3944095 edges, 29117 markings/sec, 115 secs
lola: 3305585 markings, 4124158 edges, 28771 markings/sec, 120 secs
lola: 3437127 markings, 4288634 edges, 26308 markings/sec, 125 secs
lola: 3582148 markings, 4472588 edges, 29004 markings/sec, 130 secs
lola: 3725270 markings, 4650017 edges, 28624 markings/sec, 135 secs
lola: 3821159 markings, 4770739 edges, 19178 markings/sec, 140 secs
lola: 3968997 markings, 4959039 edges, 29568 markings/sec, 145 secs
lola: 4075551 markings, 5088812 edges, 21311 markings/sec, 150 secs
lola: 4194864 markings, 5235621 edges, 23863 markings/sec, 155 secs
lola: 4313427 markings, 5380666 edges, 23713 markings/sec, 160 secs
lola: 4439459 markings, 5537827 edges, 25206 markings/sec, 165 secs
lola: 4532650 markings, 5655756 edges, 18638 markings/sec, 170 secs
lola: 4647511 markings, 5795985 edges, 22972 markings/sec, 175 secs
lola: 4789487 markings, 5975793 edges, 28395 markings/sec, 180 secs
lola: 4890182 markings, 6102694 edges, 20139 markings/sec, 185 secs
lola: 4993849 markings, 6228835 edges, 20733 markings/sec, 190 secs
lola: 5105258 markings, 6366302 edges, 22282 markings/sec, 195 secs
lola: 5216183 markings, 6502848 edges, 22185 markings/sec, 200 secs
lola: 5332556 markings, 6647460 edges, 23275 markings/sec, 205 secs
lola: 5437220 markings, 6777586 edges, 20933 markings/sec, 210 secs
lola: 5543319 markings, 6906984 edges, 21220 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(p1839)
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 12 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: 132951 markings, 160834 edges, 26590 markings/sec, 0 secs
lola: 275095 markings, 333615 edges, 28429 markings/sec, 5 secs
lola: 403962 markings, 490566 edges, 25773 markings/sec, 10 secs
lola: 534724 markings, 650515 edges, 26152 markings/sec, 15 secs
lola: 667792 markings, 812578 edges, 26614 markings/sec, 20 secs
lola: 795782 markings, 968879 edges, 25598 markings/sec, 25 secs
lola: 933936 markings, 1138567 edges, 27631 markings/sec, 30 secs
lola: 1070698 markings, 1310566 edges, 27352 markings/sec, 35 secs
lola: 1207222 markings, 1477904 edges, 27305 markings/sec, 40 secs
lola: 1338758 markings, 1638466 edges, 26307 markings/sec, 45 secs
lola: 1474759 markings, 1809093 edges, 27200 markings/sec, 50 secs
lola: 1601328 markings, 1966971 edges, 25314 markings/sec, 55 secs
lola: 1730735 markings, 2128423 edges, 25881 markings/sec, 60 secs
lola: 1851695 markings, 2275225 edges, 24192 markings/sec, 65 secs
lola: 1976081 markings, 2426386 edges, 24877 markings/sec, 70 secs
lola: 2098149 markings, 2579431 edges, 24414 markings/sec, 75 secs
lola: 2218273 markings, 2730307 edges, 24025 markings/sec, 80 secs
lola: 2343655 markings, 2885839 edges, 25076 markings/sec, 85 secs
lola: 2459803 markings, 3031877 edges, 23230 markings/sec, 90 secs
lola: 2604135 markings, 3212664 edges, 28866 markings/sec, 95 secs
lola: 2745080 markings, 3389963 edges, 28189 markings/sec, 100 secs
lola: 2884522 markings, 3567933 edges, 27888 markings/sec, 105 secs
lola: 3013453 markings, 3731712 edges, 25786 markings/sec, 110 secs
lola: 3140594 markings, 3888189 edges, 25428 markings/sec, 115 secs
lola: 3279615 markings, 4063823 edges, 27804 markings/sec, 120 secs
lola: 3405085 markings, 4223163 edges, 25094 markings/sec, 125 secs
lola: 3526435 markings, 4375877 edges, 24270 markings/sec, 130 secs
lola: 3637971 markings, 4514499 edges, 22307 markings/sec, 135 secs
lola: 3761629 markings, 4672443 edges, 24732 markings/sec, 140 secs
lola: 3882344 markings, 4825007 edges, 24143 markings/sec, 145 secs
lola: 4017702 markings, 5000010 edges, 27072 markings/sec, 150 secs
lola: 4156046 markings, 5178622 edges, 27669 markings/sec, 155 secs
lola: 4327251 markings, 5390859 edges, 34241 markings/sec, 160 secs
lola: 4483408 markings, 5589453 edges, 31231 markings/sec, 165 secs
lola: 4629044 markings, 5775309 edges, 29127 markings/sec, 170 secs
lola: 4782725 markings, 5966426 edges, 30736 markings/sec, 175 secs
lola: 4936589 markings, 6164592 edges, 30773 markings/sec, 180 secs
lola: 5101009 markings, 6369797 edges, 32884 markings/sec, 185 secs
lola: 5248826 markings, 6557354 edges, 29563 markings/sec, 190 secs
lola: 5386835 markings, 6733272 edges, 27602 markings/sec, 195 secs
lola: 5532561 markings, 6920138 edges, 29145 markings/sec, 200 secs
lola: 5678199 markings, 7108595 edges, 29128 markings/sec, 205 secs
lola: 5805124 markings, 7269177 edges, 25385 markings/sec, 210 secs
lola: 5941557 markings, 7443110 edges, 27287 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(p2164)
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 12 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: 147431 markings, 178904 edges, 29486 markings/sec, 0 secs
lola: 298740 markings, 369911 edges, 30262 markings/sec, 5 secs
lola: 438738 markings, 545960 edges, 28000 markings/sec, 10 secs
lola: 578927 markings, 721551 edges, 28038 markings/sec, 15 secs
lola: 711806 markings, 888653 edges, 26576 markings/sec, 20 secs
lola: 846162 markings, 1057744 edges, 26871 markings/sec, 25 secs
lola: 959198 markings, 1196618 edges, 22607 markings/sec, 30 secs
lola: 1069856 markings, 1330928 edges, 22132 markings/sec, 35 secs
lola: 1188692 markings, 1475319 edges, 23767 markings/sec, 40 secs
lola: 1304717 markings, 1616293 edges, 23205 markings/sec, 45 secs
lola: 1438587 markings, 1783971 edges, 26774 markings/sec, 50 secs
lola: 1579301 markings, 1962549 edges, 28143 markings/sec, 55 secs
lola: 1714457 markings, 2131385 edges, 27031 markings/sec, 60 secs
lola: 1845737 markings, 2296001 edges, 26256 markings/sec, 65 secs
lola: 1968907 markings, 2450383 edges, 24634 markings/sec, 70 secs
lola: 2096911 markings, 2608919 edges, 25601 markings/sec, 75 secs
lola: 2228964 markings, 2779874 edges, 26411 markings/sec, 80 secs
lola: 2359733 markings, 2944079 edges, 26154 markings/sec, 85 secs
lola: 2481374 markings, 3096110 edges, 24328 markings/sec, 90 secs
lola: 2607451 markings, 3256687 edges, 25215 markings/sec, 95 secs
lola: 2734809 markings, 3414559 edges, 25472 markings/sec, 100 secs
lola: 2869274 markings, 3579315 edges, 26893 markings/sec, 105 secs
lola: 2983811 markings, 3725710 edges, 22907 markings/sec, 110 secs
lola: 3123705 markings, 3900335 edges, 27979 markings/sec, 115 secs
lola: 3241579 markings, 4044207 edges, 23575 markings/sec, 120 secs
lola: 3365988 markings, 4197507 edges, 24882 markings/sec, 125 secs
lola: 3490840 markings, 4351497 edges, 24970 markings/sec, 130 secs
lola: 3621411 markings, 4514296 edges, 26114 markings/sec, 135 secs
lola: 3742935 markings, 4665789 edges, 24305 markings/sec, 140 secs
lola: 3866540 markings, 4816911 edges, 24721 markings/sec, 145 secs
lola: 3976357 markings, 4955226 edges, 21963 markings/sec, 150 secs
lola: 4092604 markings, 5097060 edges, 23249 markings/sec, 155 secs
lola: 4219622 markings, 5252484 edges, 25404 markings/sec, 160 secs
lola: 4346828 markings, 5409461 edges, 25441 markings/sec, 165 secs
lola: 4475368 markings, 5570121 edges, 25708 markings/sec, 170 secs
lola: 4590027 markings, 5712833 edges, 22932 markings/sec, 175 secs
lola: 4722553 markings, 5878346 edges, 26505 markings/sec, 180 secs
lola: 4843880 markings, 6031692 edges, 24265 markings/sec, 185 secs
lola: 4970465 markings, 6191069 edges, 25317 markings/sec, 190 secs
lola: 5084121 markings, 6334796 edges, 22731 markings/sec, 195 secs
lola: 5207877 markings, 6490275 edges, 24751 markings/sec, 200 secs
lola: 5332599 markings, 6643165 edges, 24944 markings/sec, 205 secs
lola: 5454910 markings, 6794625 edges, 24462 markings/sec, 210 secs
lola: 5589195 markings, 6960832 edges, 26857 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(p1228)
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 12 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: 130758 markings, 159387 edges, 26152 markings/sec, 0 secs
lola: 261675 markings, 320658 edges, 26183 markings/sec, 5 secs
lola: 386503 markings, 474449 edges, 24966 markings/sec, 10 secs
lola: 513401 markings, 632890 edges, 25380 markings/sec, 15 secs
lola: 622810 markings, 766223 edges, 21882 markings/sec, 20 secs
lola: 741582 markings, 913601 edges, 23754 markings/sec, 25 secs
lola: 864443 markings, 1067552 edges, 24572 markings/sec, 30 secs
lola: 975137 markings, 1204454 edges, 22139 markings/sec, 35 secs
lola: 1076466 markings, 1327974 edges, 20266 markings/sec, 40 secs
lola: 1187634 markings, 1462913 edges, 22234 markings/sec, 45 secs
lola: 1319559 markings, 1629175 edges, 26385 markings/sec, 50 secs
lola: 1453801 markings, 1799914 edges, 26848 markings/sec, 55 secs
lola: 1585656 markings, 1967143 edges, 26371 markings/sec, 60 secs
lola: 1702804 markings, 2112475 edges, 23430 markings/sec, 65 secs
lola: 1827031 markings, 2271124 edges, 24845 markings/sec, 70 secs
lola: 1950363 markings, 2429157 edges, 24666 markings/sec, 75 secs
lola: 2062077 markings, 2568993 edges, 22343 markings/sec, 80 secs
lola: 2178647 markings, 2718470 edges, 23314 markings/sec, 85 secs
lola: 2291282 markings, 2855364 edges, 22527 markings/sec, 90 secs
lola: 2423552 markings, 3022076 edges, 26454 markings/sec, 95 secs
lola: 2558757 markings, 3194089 edges, 27041 markings/sec, 100 secs
lola: 2694169 markings, 3363423 edges, 27082 markings/sec, 105 secs
lola: 2810865 markings, 3508166 edges, 23339 markings/sec, 110 secs
lola: 2919396 markings, 3641201 edges, 21706 markings/sec, 115 secs
lola: 3028131 markings, 3776413 edges, 21747 markings/sec, 120 secs
lola: 3168363 markings, 3958172 edges, 28046 markings/sec, 125 secs
lola: 3307494 markings, 4132277 edges, 27826 markings/sec, 130 secs
lola: 3434122 markings, 4290052 edges, 25326 markings/sec, 135 secs
lola: 3563565 markings, 4455531 edges, 25889 markings/sec, 140 secs
lola: 3692294 markings, 4614335 edges, 25746 markings/sec, 145 secs
lola: 3783535 markings, 4727310 edges, 18248 markings/sec, 150 secs
lola: 3905146 markings, 4880494 edges, 24322 markings/sec, 155 secs
lola: 3993048 markings, 4987552 edges, 17580 markings/sec, 160 secs
lola: 4113394 markings, 5141476 edges, 24069 markings/sec, 165 secs
lola: 4227422 markings, 5282072 edges, 22806 markings/sec, 170 secs
lola: 4325034 markings, 5401428 edges, 19522 markings/sec, 175 secs
lola: 4438779 markings, 5543580 edges, 22749 markings/sec, 180 secs
lola: 4537093 markings, 5667527 edges, 19663 markings/sec, 185 secs
lola: 4651471 markings, 5808508 edges, 22876 markings/sec, 190 secs
lola: 4759180 markings, 5940258 edges, 21542 markings/sec, 195 secs
lola: 4855542 markings, 6065648 edges, 19272 markings/sec, 200 secs
lola: 4978166 markings, 6218015 edges, 24525 markings/sec, 205 secs
lola: 5066743 markings, 6325763 edges, 17715 markings/sec, 210 secs
lola: 5171063 markings, 6453097 edges, 20864 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(p2134)
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 12 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: 140271 markings, 225980 edges, 28054 markings/sec, 0 secs
lola: 260815 markings, 462871 edges, 24109 markings/sec, 5 secs
lola: 394768 markings, 667816 edges, 26791 markings/sec, 10 secs
lola: 506424 markings, 884755 edges, 22331 markings/sec, 15 secs
lola: 628748 markings, 1089592 edges, 24465 markings/sec, 20 secs
lola: 744534 markings, 1261703 edges, 23157 markings/sec, 25 secs
lola: 876508 markings, 1446430 edges, 26395 markings/sec, 30 secs
lola: 988940 markings, 1596200 edges, 22486 markings/sec, 35 secs
lola: 1110270 markings, 1765434 edges, 24266 markings/sec, 40 secs
lola: 1230591 markings, 1919325 edges, 24064 markings/sec, 45 secs
lola: 1330056 markings, 2057158 edges, 19893 markings/sec, 50 secs
lola: 1428086 markings, 2183976 edges, 19606 markings/sec, 55 secs
lola: 1522763 markings, 2313177 edges, 18935 markings/sec, 60 secs
lola: 1622921 markings, 2451499 edges, 20032 markings/sec, 65 secs
lola: 1722800 markings, 2577733 edges, 19976 markings/sec, 70 secs
lola: 1834826 markings, 2720498 edges, 22405 markings/sec, 75 secs
lola: 1960163 markings, 2879373 edges, 25067 markings/sec, 80 secs
lola: 2085714 markings, 3039287 edges, 25110 markings/sec, 85 secs
lola: 2212600 markings, 3197754 edges, 25377 markings/sec, 90 secs
lola: 2329685 markings, 3348068 edges, 23417 markings/sec, 95 secs
lola: 2445296 markings, 3493519 edges, 23122 markings/sec, 100 secs
lola: 2554717 markings, 3633727 edges, 21884 markings/sec, 105 secs
lola: 2679852 markings, 3795181 edges, 25027 markings/sec, 110 secs
lola: 2796863 markings, 3944056 edges, 23402 markings/sec, 115 secs
lola: 2906841 markings, 4082433 edges, 21996 markings/sec, 120 secs
lola: 3013183 markings, 4214442 edges, 21268 markings/sec, 125 secs
lola: 3127775 markings, 4364598 edges, 22918 markings/sec, 130 secs
lola: 3231455 markings, 4501906 edges, 20736 markings/sec, 135 secs
lola: 3348762 markings, 4664449 edges, 23461 markings/sec, 140 secs
lola: 3442908 markings, 4801629 edges, 18829 markings/sec, 145 secs
lola: 3540605 markings, 4958382 edges, 19539 markings/sec, 150 secs
lola: 3648060 markings, 5101568 edges, 21491 markings/sec, 155 secs
lola: 3734999 markings, 5230245 edges, 17388 markings/sec, 160 secs
lola: 3860519 markings, 5402139 edges, 25104 markings/sec, 165 secs
lola: 3951992 markings, 5532987 edges, 18295 markings/sec, 170 secs
lola: 4078572 markings, 5703779 edges, 25316 markings/sec, 175 secs
lola: 4181760 markings, 5849104 edges, 20638 markings/sec, 180 secs
lola: 4292525 markings, 6008505 edges, 22153 markings/sec, 185 secs
lola: 4378361 markings, 6139884 edges, 17167 markings/sec, 190 secs
lola: 4481999 markings, 6295012 edges, 20728 markings/sec, 195 secs
lola: 4576188 markings, 6432102 edges, 18838 markings/sec, 200 secs
lola: 4688973 markings, 6592507 edges, 22557 markings/sec, 205 secs
lola: 4780802 markings, 6727782 edges, 18366 markings/sec, 210 secs
lola: 4906580 markings, 6900619 edges, 25156 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA CloudReconfiguration-PT-301-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-301-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-301-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-301-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-301-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-301-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-301-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-301-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-301-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-301-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-301-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-301-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-301-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-301-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-301-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-301-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496533035249

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