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

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

=== Now, execution of the tool begins

BK_START 1496531987509


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


checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-311: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ CloudReconfiguration-PT-311 @ 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: 2709 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-311-UpperBounds.task
lola: MAX(p421) : MAX(p904) : MAX(p2511) : MAX(p1261) : MAX(p1849) : MAX(p972) : MAX(p373) : MAX(p1478) : MAX(p1286) : MAX(p836) : MAX(p1277) : MAX(p113) : MAX(p1893) : MAX(p2493) : MAX(p2331) : MAX(p61)
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(p421)
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: 118671 markings, 142564 edges, 23734 markings/sec, 0 secs
lola: 249899 markings, 304686 edges, 26246 markings/sec, 5 secs
lola: 360019 markings, 440071 edges, 22024 markings/sec, 10 secs
lola: 467813 markings, 572843 edges, 21559 markings/sec, 15 secs
lola: 562640 markings, 690117 edges, 18965 markings/sec, 20 secs
lola: 669991 markings, 823600 edges, 21470 markings/sec, 25 secs
lola: 769093 markings, 947386 edges, 19820 markings/sec, 30 secs
lola: 870392 markings, 1071463 edges, 20260 markings/sec, 35 secs
lola: 966179 markings, 1187662 edges, 19157 markings/sec, 40 secs
lola: 1076454 markings, 1324584 edges, 22055 markings/sec, 45 secs
lola: 1171572 markings, 1441495 edges, 19024 markings/sec, 50 secs
lola: 1275785 markings, 1576776 edges, 20843 markings/sec, 55 secs
lola: 1380362 markings, 1704913 edges, 20915 markings/sec, 60 secs
lola: 1490789 markings, 1843898 edges, 22085 markings/sec, 65 secs
lola: 1588408 markings, 1963595 edges, 19524 markings/sec, 70 secs
lola: 1682283 markings, 2088149 edges, 18775 markings/sec, 75 secs
lola: 1759168 markings, 2252545 edges, 15377 markings/sec, 80 secs
lola: 1858857 markings, 2374937 edges, 19938 markings/sec, 85 secs
lola: 1934513 markings, 2537206 edges, 15131 markings/sec, 90 secs
lola: 2025184 markings, 2688048 edges, 18134 markings/sec, 95 secs
lola: 2124664 markings, 2810023 edges, 19896 markings/sec, 100 secs
lola: 2215775 markings, 2941294 edges, 18222 markings/sec, 105 secs
lola: 2295474 markings, 3112155 edges, 15940 markings/sec, 110 secs
lola: 2388226 markings, 3299772 edges, 18550 markings/sec, 115 secs
lola: 2471510 markings, 3469000 edges, 16657 markings/sec, 120 secs
lola: 2546869 markings, 3622133 edges, 15072 markings/sec, 125 secs
lola: 2607863 markings, 3746784 edges, 12199 markings/sec, 130 secs
lola: 2658905 markings, 3850347 edges, 10208 markings/sec, 135 secs
lola: 2707051 markings, 3949291 edges, 9629 markings/sec, 140 secs
lola: 2751716 markings, 4040303 edges, 8933 markings/sec, 145 secs
lola: 2796609 markings, 4131952 edges, 8979 markings/sec, 150 secs
lola: 2832082 markings, 4204476 edges, 7095 markings/sec, 155 secs
lola: 2872552 markings, 4287105 edges, 8094 markings/sec, 160 secs
lola: 2939300 markings, 4430900 edges, 13350 markings/sec, 165 secs
lola: 3006352 markings, 4597179 edges, 13410 markings/sec, 170 secs
lola: 3097107 markings, 4739668 edges, 18151 markings/sec, 175 secs
lola: 3195871 markings, 4860759 edges, 19753 markings/sec, 180 secs
lola: 3291345 markings, 4977660 edges, 19095 markings/sec, 185 secs
lola: 3395507 markings, 5105212 edges, 20832 markings/sec, 190 secs
lola: 3494488 markings, 5226207 edges, 19796 markings/sec, 195 secs
lola: 3603090 markings, 5358807 edges, 21720 markings/sec, 200 secs
lola: 3702377 markings, 5480545 edges, 19857 markings/sec, 205 secs
lola: 3805160 markings, 5606726 edges, 20557 markings/sec, 210 secs
lola: 3911361 markings, 5736610 edges, 21240 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(p904)
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: 125968 markings, 153612 edges, 25194 markings/sec, 0 secs
lola: 249623 markings, 305331 edges, 24731 markings/sec, 5 secs
lola: 376538 markings, 462278 edges, 25383 markings/sec, 10 secs
lola: 501962 markings, 618916 edges, 25085 markings/sec, 15 secs
lola: 612570 markings, 753776 edges, 22122 markings/sec, 20 secs
lola: 720389 markings, 887346 edges, 21564 markings/sec, 25 secs
lola: 847125 markings, 1046273 edges, 25347 markings/sec, 30 secs
lola: 956031 markings, 1181220 edges, 21781 markings/sec, 35 secs
lola: 1048347 markings, 1293655 edges, 18463 markings/sec, 40 secs
lola: 1149677 markings, 1417022 edges, 20266 markings/sec, 45 secs
lola: 1256097 markings, 1548553 edges, 21284 markings/sec, 50 secs
lola: 1388718 markings, 1717888 edges, 26524 markings/sec, 55 secs
lola: 1513735 markings, 1874757 edges, 25003 markings/sec, 60 secs
lola: 1632464 markings, 2026609 edges, 23746 markings/sec, 65 secs
lola: 1737787 markings, 2154971 edges, 21065 markings/sec, 70 secs
lola: 1872091 markings, 2328771 edges, 26861 markings/sec, 75 secs
lola: 1999625 markings, 2490929 edges, 25507 markings/sec, 80 secs
lola: 2118710 markings, 2643331 edges, 23817 markings/sec, 85 secs
lola: 2216216 markings, 2764226 edges, 19501 markings/sec, 90 secs
lola: 2323283 markings, 2894311 edges, 21413 markings/sec, 95 secs
lola: 2461136 markings, 3069777 edges, 27571 markings/sec, 100 secs
lola: 2600682 markings, 3246022 edges, 27909 markings/sec, 105 secs
lola: 2724503 markings, 3400944 edges, 24764 markings/sec, 110 secs
lola: 2836938 markings, 3540058 edges, 22487 markings/sec, 115 secs
lola: 2944119 markings, 3671373 edges, 21436 markings/sec, 120 secs
lola: 3071700 markings, 3832995 edges, 25516 markings/sec, 125 secs
lola: 3214395 markings, 4015362 edges, 28539 markings/sec, 130 secs
lola: 3345400 markings, 4179445 edges, 26201 markings/sec, 135 secs
lola: 3453983 markings, 4315181 edges, 21717 markings/sec, 140 secs
lola: 3575557 markings, 4470169 edges, 24315 markings/sec, 145 secs
lola: 3693915 markings, 4616347 edges, 23672 markings/sec, 150 secs
lola: 3775726 markings, 4716544 edges, 16362 markings/sec, 155 secs
lola: 3884630 markings, 4855316 edges, 21781 markings/sec, 160 secs
lola: 3977832 markings, 4969109 edges, 18640 markings/sec, 165 secs
lola: 4081041 markings, 5100521 edges, 20642 markings/sec, 170 secs
lola: 4215252 markings, 5267354 edges, 26842 markings/sec, 175 secs
lola: 4303914 markings, 5375528 edges, 17732 markings/sec, 180 secs
lola: 4412824 markings, 5511467 edges, 21782 markings/sec, 185 secs
lola: 4513408 markings, 5637500 edges, 20117 markings/sec, 190 secs
lola: 4609045 markings, 5756668 edges, 19127 markings/sec, 195 secs
lola: 4700637 markings, 5868410 edges, 18318 markings/sec, 200 secs
lola: 4800778 markings, 5993925 edges, 20028 markings/sec, 205 secs
lola: 4916899 markings, 6143078 edges, 23224 markings/sec, 210 secs
lola: 5010669 markings, 6257427 edges, 18754 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(p2511)
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: 129189 markings, 168220 edges, 25838 markings/sec, 0 secs
lola: 273163 markings, 350452 edges, 28795 markings/sec, 5 secs
lola: 416033 markings, 528513 edges, 28574 markings/sec, 10 secs
lola: 559358 markings, 707698 edges, 28665 markings/sec, 15 secs
lola: 678304 markings, 856138 edges, 23789 markings/sec, 20 secs
lola: 789933 markings, 994460 edges, 22326 markings/sec, 25 secs
lola: 909071 markings, 1142750 edges, 23828 markings/sec, 30 secs
lola: 1017768 markings, 1277992 edges, 21739 markings/sec, 35 secs
lola: 1131668 markings, 1419046 edges, 22780 markings/sec, 40 secs
lola: 1238347 markings, 1552010 edges, 21336 markings/sec, 45 secs
lola: 1351161 markings, 1693923 edges, 22563 markings/sec, 50 secs
lola: 1454712 markings, 1821863 edges, 20710 markings/sec, 55 secs
lola: 1573883 markings, 1968797 edges, 23834 markings/sec, 60 secs
lola: 1694872 markings, 2117169 edges, 24198 markings/sec, 65 secs
lola: 1825078 markings, 2283140 edges, 26041 markings/sec, 70 secs
lola: 1954442 markings, 2446828 edges, 25873 markings/sec, 75 secs
lola: 2073231 markings, 2598243 edges, 23758 markings/sec, 80 secs
lola: 2181136 markings, 2730950 edges, 21581 markings/sec, 85 secs
lola: 2306401 markings, 2892778 edges, 25053 markings/sec, 90 secs
lola: 2426373 markings, 3045129 edges, 23994 markings/sec, 95 secs
lola: 2540025 markings, 3191564 edges, 22730 markings/sec, 100 secs
lola: 2646200 markings, 3322537 edges, 21235 markings/sec, 105 secs
lola: 2773388 markings, 3478588 edges, 25438 markings/sec, 110 secs
lola: 2907006 markings, 3647494 edges, 26724 markings/sec, 115 secs
lola: 3047885 markings, 3826821 edges, 28176 markings/sec, 120 secs
lola: 3181517 markings, 3994520 edges, 26726 markings/sec, 125 secs
lola: 3303730 markings, 4144965 edges, 24443 markings/sec, 130 secs
lola: 3415771 markings, 4282791 edges, 22408 markings/sec, 135 secs
lola: 3543153 markings, 4440011 edges, 25476 markings/sec, 140 secs
lola: 3676697 markings, 4611888 edges, 26709 markings/sec, 145 secs
lola: 3805969 markings, 4775079 edges, 25854 markings/sec, 150 secs
lola: 3924402 markings, 4923680 edges, 23687 markings/sec, 155 secs
lola: 4062392 markings, 5098478 edges, 27598 markings/sec, 160 secs
lola: 4166086 markings, 5226212 edges, 20739 markings/sec, 165 secs
lola: 4281623 markings, 5368629 edges, 23107 markings/sec, 170 secs
lola: 4363764 markings, 5470359 edges, 16428 markings/sec, 175 secs
lola: 4471356 markings, 5602909 edges, 21518 markings/sec, 180 secs
lola: 4543476 markings, 5692500 edges, 14424 markings/sec, 185 secs
lola: 4663241 markings, 5840511 edges, 23953 markings/sec, 190 secs
lola: 4740839 markings, 5937305 edges, 15520 markings/sec, 195 secs
lola: 4818860 markings, 6037570 edges, 15604 markings/sec, 200 secs
lola: 4937701 markings, 6184677 edges, 23768 markings/sec, 205 secs
lola: 5040336 markings, 6313555 edges, 20527 markings/sec, 210 secs
lola: 5137311 markings, 6437809 edges, 19395 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(p1261)
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: 184435 markings, 225151 edges, 36887 markings/sec, 0 secs
lola: 346535 markings, 423179 edges, 32420 markings/sec, 5 secs
lola: 521658 markings, 637860 edges, 35025 markings/sec, 10 secs
lola: 696270 markings, 854270 edges, 34922 markings/sec, 15 secs
lola: 836776 markings, 1027779 edges, 28101 markings/sec, 20 secs
lola: 968772 markings, 1190918 edges, 26399 markings/sec, 25 secs
lola: 1148216 markings, 1412512 edges, 35889 markings/sec, 30 secs
lola: 1318680 markings, 1638829 edges, 34093 markings/sec, 35 secs
lola: 1415188 markings, 1787835 edges, 19302 markings/sec, 40 secs
lola: 1520540 markings, 1933450 edges, 21070 markings/sec, 45 secs
lola: 1635058 markings, 2083343 edges, 22904 markings/sec, 50 secs
lola: 1747421 markings, 2230741 edges, 22473 markings/sec, 55 secs
lola: 1878139 markings, 2395147 edges, 26144 markings/sec, 60 secs
lola: 2003955 markings, 2552494 edges, 25163 markings/sec, 65 secs
lola: 2128219 markings, 2708645 edges, 24853 markings/sec, 70 secs
lola: 2248884 markings, 2863016 edges, 24133 markings/sec, 75 secs
lola: 2375823 markings, 3024188 edges, 25388 markings/sec, 80 secs
lola: 2497393 markings, 3177034 edges, 24314 markings/sec, 85 secs
lola: 2630214 markings, 3345794 edges, 26564 markings/sec, 90 secs
lola: 2771876 markings, 3520780 edges, 28332 markings/sec, 95 secs
lola: 2901861 markings, 3685209 edges, 25997 markings/sec, 100 secs
lola: 3032736 markings, 3848282 edges, 26175 markings/sec, 105 secs
lola: 3157870 markings, 4009684 edges, 25027 markings/sec, 110 secs
lola: 3280762 markings, 4167791 edges, 24578 markings/sec, 115 secs
lola: 3411804 markings, 4332366 edges, 26208 markings/sec, 120 secs
lola: 3555795 markings, 4509987 edges, 28798 markings/sec, 125 secs
lola: 3684764 markings, 4672208 edges, 25794 markings/sec, 130 secs
lola: 3819437 markings, 4839877 edges, 26935 markings/sec, 135 secs
lola: 3952296 markings, 5003031 edges, 26572 markings/sec, 140 secs
lola: 4084560 markings, 5169499 edges, 26453 markings/sec, 145 secs
lola: 4208406 markings, 5323592 edges, 24769 markings/sec, 150 secs
lola: 4317130 markings, 5462595 edges, 21745 markings/sec, 155 secs
lola: 4456146 markings, 5633830 edges, 27803 markings/sec, 160 secs
lola: 4577340 markings, 5784950 edges, 24239 markings/sec, 165 secs
lola: 4699171 markings, 5938176 edges, 24366 markings/sec, 170 secs
lola: 4832078 markings, 6107660 edges, 26581 markings/sec, 175 secs
lola: 4970112 markings, 6278224 edges, 27607 markings/sec, 180 secs
lola: 5098235 markings, 6440460 edges, 25625 markings/sec, 185 secs
lola: 5223728 markings, 6597576 edges, 25099 markings/sec, 190 secs
lola: 5352459 markings, 6757710 edges, 25746 markings/sec, 195 secs
lola: 5466035 markings, 6900969 edges, 22715 markings/sec, 200 secs
lola: 5554056 markings, 7031235 edges, 17604 markings/sec, 205 secs
lola: 5667910 markings, 7181326 edges, 22771 markings/sec, 210 secs
lola: 5795117 markings, 7338534 edges, 25441 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(p1849)
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: 148558 markings, 187851 edges, 29712 markings/sec, 0 secs
lola: 294182 markings, 368837 edges, 29125 markings/sec, 5 secs
lola: 440530 markings, 549099 edges, 29270 markings/sec, 10 secs
lola: 592281 markings, 738117 edges, 30350 markings/sec, 15 secs
lola: 737048 markings, 919247 edges, 28953 markings/sec, 20 secs
lola: 869238 markings, 1084330 edges, 26438 markings/sec, 25 secs
lola: 1018419 markings, 1271286 edges, 29836 markings/sec, 30 secs
lola: 1177509 markings, 1470580 edges, 31818 markings/sec, 35 secs
lola: 1332320 markings, 1665092 edges, 30962 markings/sec, 40 secs
lola: 1480849 markings, 1851330 edges, 29706 markings/sec, 45 secs
lola: 1632181 markings, 2041700 edges, 30266 markings/sec, 50 secs
lola: 1779336 markings, 2227812 edges, 29431 markings/sec, 55 secs
lola: 1906120 markings, 2386903 edges, 25357 markings/sec, 60 secs
lola: 2025154 markings, 2535877 edges, 23807 markings/sec, 65 secs
lola: 2152013 markings, 2697300 edges, 25372 markings/sec, 70 secs
lola: 2292950 markings, 2876525 edges, 28187 markings/sec, 75 secs
lola: 2429093 markings, 3051687 edges, 27229 markings/sec, 80 secs
lola: 2552098 markings, 3203710 edges, 24601 markings/sec, 85 secs
lola: 2682657 markings, 3366186 edges, 26112 markings/sec, 90 secs
lola: 2803707 markings, 3517903 edges, 24210 markings/sec, 95 secs
lola: 2928826 markings, 3673718 edges, 25024 markings/sec, 100 secs
lola: 3075550 markings, 3861682 edges, 29345 markings/sec, 105 secs
lola: 3244392 markings, 4074223 edges, 33768 markings/sec, 110 secs
lola: 3408902 markings, 4280566 edges, 32902 markings/sec, 115 secs
lola: 3561992 markings, 4476422 edges, 30618 markings/sec, 120 secs
lola: 3697196 markings, 4649001 edges, 27041 markings/sec, 125 secs
lola: 3822382 markings, 4810008 edges, 25037 markings/sec, 130 secs
lola: 3938855 markings, 4954133 edges, 23295 markings/sec, 135 secs
lola: 4099547 markings, 5156277 edges, 32138 markings/sec, 140 secs
lola: 4257863 markings, 5359131 edges, 31663 markings/sec, 145 secs
lola: 4407252 markings, 5550141 edges, 29878 markings/sec, 150 secs
lola: 4542311 markings, 5721895 edges, 27012 markings/sec, 155 secs
lola: 4661491 markings, 5871815 edges, 23836 markings/sec, 160 secs
lola: 4786099 markings, 6028699 edges, 24922 markings/sec, 165 secs
lola: 4910417 markings, 6190306 edges, 24864 markings/sec, 170 secs
lola: 5018944 markings, 6328997 edges, 21705 markings/sec, 175 secs
lola: 5130782 markings, 6478809 edges, 22368 markings/sec, 180 secs
lola: 5263951 markings, 6669126 edges, 26634 markings/sec, 185 secs
lola: 5416777 markings, 6885203 edges, 30565 markings/sec, 190 secs
lola: 5514364 markings, 7008705 edges, 19517 markings/sec, 195 secs
lola: 5636207 markings, 7180996 edges, 24369 markings/sec, 200 secs
lola: 5772739 markings, 7367386 edges, 27306 markings/sec, 205 secs
lola: 5908102 markings, 7557879 edges, 27073 markings/sec, 210 secs
lola: 6020843 markings, 7706054 edges, 22548 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(p972)
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: 121709 markings, 148414 edges, 24342 markings/sec, 0 secs
lola: 238537 markings, 291601 edges, 23366 markings/sec, 5 secs
lola: 362506 markings, 445251 edges, 24794 markings/sec, 10 secs
lola: 480211 markings, 591403 edges, 23541 markings/sec, 15 secs
lola: 589604 markings, 725844 edges, 21879 markings/sec, 20 secs
lola: 693902 markings, 853904 edges, 20860 markings/sec, 25 secs
lola: 814563 markings, 1005166 edges, 24132 markings/sec, 30 secs
lola: 928028 markings, 1147302 edges, 22693 markings/sec, 35 secs
lola: 1022998 markings, 1262774 edges, 18994 markings/sec, 40 secs
lola: 1121436 markings, 1382751 edges, 19688 markings/sec, 45 secs
lola: 1229419 markings, 1513942 edges, 21597 markings/sec, 50 secs
lola: 1368916 markings, 1692332 edges, 27899 markings/sec, 55 secs
lola: 1501780 markings, 1859538 edges, 26573 markings/sec, 60 secs
lola: 1626069 markings, 2018890 edges, 24858 markings/sec, 65 secs
lola: 1734283 markings, 2150776 edges, 21643 markings/sec, 70 secs
lola: 1867601 markings, 2323228 edges, 26664 markings/sec, 75 secs
lola: 1994986 markings, 2485289 edges, 25477 markings/sec, 80 secs
lola: 2115495 markings, 2639424 edges, 24102 markings/sec, 85 secs
lola: 2220408 markings, 2769402 edges, 20983 markings/sec, 90 secs
lola: 2332948 markings, 2906048 edges, 22508 markings/sec, 95 secs
lola: 2481690 markings, 3096073 edges, 29748 markings/sec, 100 secs
lola: 2625108 markings, 3276549 edges, 28684 markings/sec, 105 secs
lola: 2759362 markings, 3444358 edges, 26851 markings/sec, 110 secs
lola: 2869184 markings, 3580173 edges, 21964 markings/sec, 115 secs
lola: 2980805 markings, 3716267 edges, 22324 markings/sec, 120 secs
lola: 3118247 markings, 3893081 edges, 27488 markings/sec, 125 secs
lola: 3255852 markings, 4067315 edges, 27521 markings/sec, 130 secs
lola: 3384855 markings, 4229069 edges, 25801 markings/sec, 135 secs
lola: 3513881 markings, 4393373 edges, 25805 markings/sec, 140 secs
lola: 3632360 markings, 4540840 edges, 23696 markings/sec, 145 secs
lola: 3746648 markings, 4680598 edges, 22858 markings/sec, 150 secs
lola: 3847944 markings, 4810376 edges, 20259 markings/sec, 155 secs
lola: 3960944 markings, 4948663 edges, 22600 markings/sec, 160 secs
lola: 4057882 markings, 5070417 edges, 19388 markings/sec, 165 secs
lola: 4190789 markings, 5237406 edges, 26581 markings/sec, 170 secs
lola: 4282546 markings, 5349373 edges, 18351 markings/sec, 175 secs
lola: 4389759 markings, 5483011 edges, 21443 markings/sec, 180 secs
lola: 4502680 markings, 5623953 edges, 22584 markings/sec, 185 secs
lola: 4596558 markings, 5741405 edges, 18776 markings/sec, 190 secs
lola: 4698383 markings, 5865713 edges, 20365 markings/sec, 195 secs
lola: 4801710 markings, 5995320 edges, 20665 markings/sec, 200 secs
lola: 4924834 markings, 6152870 edges, 24625 markings/sec, 205 secs
lola: 5016779 markings, 6264850 edges, 18389 markings/sec, 210 secs
lola: 5123672 markings, 6395712 edges, 21379 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(p373)
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: 90853 markings, 185581 edges, 18171 markings/sec, 0 secs
lola: 181296 markings, 389996 edges, 18089 markings/sec, 5 secs
lola: 283584 markings, 593963 edges, 20458 markings/sec, 10 secs
lola: 377226 markings, 803364 edges, 18728 markings/sec, 15 secs
lola: 470521 markings, 1005433 edges, 18659 markings/sec, 20 secs
lola: 566610 markings, 1219292 edges, 19218 markings/sec, 25 secs
lola: 666012 markings, 1445607 edges, 19880 markings/sec, 30 secs
lola: 765648 markings, 1658559 edges, 19927 markings/sec, 35 secs
lola: 855970 markings, 1862907 edges, 18064 markings/sec, 40 secs
lola: 946146 markings, 2066424 edges, 18035 markings/sec, 45 secs
lola: 1032716 markings, 2262074 edges, 17314 markings/sec, 50 secs
lola: 1121544 markings, 2462588 edges, 17766 markings/sec, 55 secs
lola: 1206497 markings, 2658623 edges, 16991 markings/sec, 60 secs
lola: 1293831 markings, 2839395 edges, 17467 markings/sec, 65 secs
lola: 1382377 markings, 3040662 edges, 17709 markings/sec, 70 secs
lola: 1471646 markings, 3240774 edges, 17854 markings/sec, 75 secs
lola: 1559717 markings, 3438257 edges, 17614 markings/sec, 80 secs
lola: 1646165 markings, 3637777 edges, 17290 markings/sec, 85 secs
lola: 1734600 markings, 3837304 edges, 17687 markings/sec, 90 secs
lola: 1823585 markings, 4041652 edges, 17797 markings/sec, 95 secs
lola: 1909494 markings, 4231955 edges, 17182 markings/sec, 100 secs
lola: 1994216 markings, 4422813 edges, 16944 markings/sec, 105 secs
lola: 2079725 markings, 4603822 edges, 17102 markings/sec, 110 secs
lola: 2161700 markings, 4791408 edges, 16395 markings/sec, 115 secs
lola: 2244874 markings, 4978062 edges, 16635 markings/sec, 120 secs
lola: 2329234 markings, 5165719 edges, 16872 markings/sec, 125 secs
lola: 2414142 markings, 5356590 edges, 16982 markings/sec, 130 secs
lola: 2496129 markings, 5540704 edges, 16397 markings/sec, 135 secs
lola: 2581248 markings, 5732481 edges, 17024 markings/sec, 140 secs
lola: 2657356 markings, 5917759 edges, 15222 markings/sec, 145 secs
lola: 2740543 markings, 6092876 edges, 16637 markings/sec, 150 secs
lola: 2825800 markings, 6281406 edges, 17051 markings/sec, 155 secs
lola: 2906962 markings, 6465098 edges, 16232 markings/sec, 160 secs
lola: 2989660 markings, 6648942 edges, 16540 markings/sec, 165 secs
lola: 3070351 markings, 6836027 edges, 16138 markings/sec, 170 secs
lola: 3148747 markings, 7014257 edges, 15679 markings/sec, 175 secs
lola: 3227900 markings, 7192541 edges, 15831 markings/sec, 180 secs
lola: 3310069 markings, 7375548 edges, 16434 markings/sec, 185 secs
lola: 3393049 markings, 7565046 edges, 16596 markings/sec, 190 secs
lola: 3478710 markings, 7759342 edges, 17132 markings/sec, 195 secs
lola: 3554353 markings, 7932273 edges, 15129 markings/sec, 200 secs
lola: 3630185 markings, 8102489 edges, 15166 markings/sec, 205 secs
lola: 3705787 markings, 8273672 edges, 15120 markings/sec, 210 secs
lola: 3779342 markings, 8452555 edges, 14711 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(p1478)
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: 130304 markings, 278732 edges, 26061 markings/sec, 0 secs
lola: 269112 markings, 541403 edges, 27762 markings/sec, 5 secs
lola: 417691 markings, 749659 edges, 29716 markings/sec, 10 secs
lola: 543517 markings, 951041 edges, 25165 markings/sec, 15 secs
lola: 669713 markings, 1123743 edges, 25239 markings/sec, 20 secs
lola: 794972 markings, 1291310 edges, 25052 markings/sec, 25 secs
lola: 900893 markings, 1450706 edges, 21184 markings/sec, 30 secs
lola: 1014552 markings, 1598041 edges, 22732 markings/sec, 35 secs
lola: 1129007 markings, 1742163 edges, 22891 markings/sec, 40 secs
lola: 1245127 markings, 1893312 edges, 23224 markings/sec, 45 secs
lola: 1358430 markings, 2060915 edges, 22661 markings/sec, 50 secs
lola: 1467216 markings, 2226280 edges, 21757 markings/sec, 55 secs
lola: 1584874 markings, 2435250 edges, 23532 markings/sec, 60 secs
lola: 1714776 markings, 2711375 edges, 25980 markings/sec, 65 secs
lola: 1845724 markings, 2877857 edges, 26190 markings/sec, 70 secs
lola: 1976737 markings, 3043842 edges, 26203 markings/sec, 75 secs
lola: 2103997 markings, 3266993 edges, 25452 markings/sec, 80 secs
lola: 2224618 markings, 3471937 edges, 24124 markings/sec, 85 secs
lola: 2351393 markings, 3727657 edges, 25355 markings/sec, 90 secs
lola: 2483027 markings, 3912127 edges, 26327 markings/sec, 95 secs
lola: 2601036 markings, 4062501 edges, 23602 markings/sec, 100 secs
lola: 2717460 markings, 4266622 edges, 23285 markings/sec, 105 secs
lola: 2842024 markings, 4441102 edges, 24913 markings/sec, 110 secs
lola: 2970893 markings, 4661211 edges, 25774 markings/sec, 115 secs
lola: 3110658 markings, 4936846 edges, 27953 markings/sec, 120 secs
lola: 3258912 markings, 5141048 edges, 29651 markings/sec, 125 secs
lola: 3393699 markings, 5311526 edges, 26957 markings/sec, 130 secs
lola: 3525941 markings, 5478460 edges, 26448 markings/sec, 135 secs
lola: 3664873 markings, 5709840 edges, 27786 markings/sec, 140 secs
lola: 3789915 markings, 5922215 edges, 25008 markings/sec, 145 secs
lola: 3932828 markings, 6200282 edges, 28583 markings/sec, 150 secs
lola: 4078085 markings, 6387996 edges, 29051 markings/sec, 155 secs
lola: 4218945 markings, 6565696 edges, 28172 markings/sec, 160 secs
lola: 4340979 markings, 6720048 edges, 24407 markings/sec, 165 secs
lola: 4493025 markings, 6969108 edges, 30409 markings/sec, 170 secs
lola: 4604175 markings, 7123582 edges, 22230 markings/sec, 175 secs
lola: 4723570 markings, 7269811 edges, 23879 markings/sec, 180 secs
lola: 4816290 markings, 7386827 edges, 18544 markings/sec, 185 secs
lola: 4931890 markings, 7533666 edges, 23120 markings/sec, 190 secs
lola: 5013034 markings, 7635672 edges, 16229 markings/sec, 195 secs
lola: 5128800 markings, 7780180 edges, 23153 markings/sec, 200 secs
lola: 5219515 markings, 7893292 edges, 18143 markings/sec, 205 secs
lola: 5337840 markings, 8042213 edges, 23665 markings/sec, 210 secs
lola: 5449847 markings, 8182434 edges, 22401 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(p1286)
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: 169602 markings, 206922 edges, 33920 markings/sec, 0 secs
lola: 328329 markings, 400723 edges, 31745 markings/sec, 5 secs
lola: 500170 markings, 611308 edges, 34368 markings/sec, 10 secs
lola: 670160 markings, 821695 edges, 33998 markings/sec, 15 secs
lola: 812871 markings, 997984 edges, 28542 markings/sec, 20 secs
lola: 942119 markings, 1157643 edges, 25850 markings/sec, 25 secs
lola: 1099566 markings, 1352433 edges, 31489 markings/sec, 30 secs
lola: 1273791 markings, 1567996 edges, 34845 markings/sec, 35 secs
lola: 1369278 markings, 1720703 edges, 19097 markings/sec, 40 secs
lola: 1478768 markings, 1866845 edges, 21898 markings/sec, 45 secs
lola: 1592835 markings, 2019355 edges, 22813 markings/sec, 50 secs
lola: 1716083 markings, 2180269 edges, 24650 markings/sec, 55 secs
lola: 1849954 markings, 2349154 edges, 26774 markings/sec, 60 secs
lola: 1979325 markings, 2511619 edges, 25874 markings/sec, 65 secs
lola: 2110498 markings, 2676023 edges, 26235 markings/sec, 70 secs
lola: 2237145 markings, 2835935 edges, 25329 markings/sec, 75 secs
lola: 2367072 markings, 3002393 edges, 25985 markings/sec, 80 secs
lola: 2505111 markings, 3173209 edges, 27608 markings/sec, 85 secs
lola: 2644378 markings, 3348757 edges, 27853 markings/sec, 90 secs
lola: 2778859 markings, 3513674 edges, 26896 markings/sec, 95 secs
lola: 2917273 markings, 3686876 edges, 27683 markings/sec, 100 secs
lola: 3057770 markings, 3863471 edges, 28099 markings/sec, 105 secs
lola: 3186318 markings, 4031066 edges, 25710 markings/sec, 110 secs
lola: 3334841 markings, 4216014 edges, 29705 markings/sec, 115 secs
lola: 3479116 markings, 4396615 edges, 28855 markings/sec, 120 secs
lola: 3617906 markings, 4570452 edges, 27758 markings/sec, 125 secs
lola: 3748195 markings, 4733637 edges, 26058 markings/sec, 130 secs
lola: 3877245 markings, 4895917 edges, 25810 markings/sec, 135 secs
lola: 4021262 markings, 5074802 edges, 28803 markings/sec, 140 secs
lola: 4156556 markings, 5245085 edges, 27059 markings/sec, 145 secs
lola: 4284919 markings, 5407507 edges, 25673 markings/sec, 150 secs
lola: 4406625 markings, 5562938 edges, 24341 markings/sec, 155 secs
lola: 4550785 markings, 5742443 edges, 28832 markings/sec, 160 secs
lola: 4689880 markings, 5916276 edges, 27819 markings/sec, 165 secs
lola: 4838040 markings, 6098485 edges, 29632 markings/sec, 170 secs
lola: 4977986 markings, 6273548 edges, 27989 markings/sec, 175 secs
lola: 5099803 markings, 6427791 edges, 24363 markings/sec, 180 secs
lola: 5238716 markings, 6602813 edges, 27783 markings/sec, 185 secs
lola: 5383272 markings, 6782075 edges, 28911 markings/sec, 190 secs
lola: 5505537 markings, 6937335 edges, 24453 markings/sec, 195 secs
lola: 5617878 markings, 7090110 edges, 22468 markings/sec, 200 secs
lola: 5754327 markings, 7258512 edges, 27290 markings/sec, 205 secs
lola: 5889785 markings, 7425532 edges, 27092 markings/sec, 210 secs
lola: 6014735 markings, 7581611 edges, 24990 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(p836)
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: 127034 markings, 154885 edges, 25407 markings/sec, 0 secs
lola: 252954 markings, 309813 edges, 25184 markings/sec, 5 secs
lola: 374879 markings, 460258 edges, 24385 markings/sec, 10 secs
lola: 496853 markings, 612708 edges, 24395 markings/sec, 15 secs
lola: 607263 markings, 747313 edges, 22082 markings/sec, 20 secs
lola: 726027 markings, 894316 edges, 23753 markings/sec, 25 secs
lola: 854808 markings, 1055655 edges, 25756 markings/sec, 30 secs
lola: 969431 markings, 1197503 edges, 22925 markings/sec, 35 secs
lola: 1069869 markings, 1319921 edges, 20088 markings/sec, 40 secs
lola: 1177796 markings, 1451017 edges, 21585 markings/sec, 45 secs
lola: 1300170 markings, 1605423 edges, 24475 markings/sec, 50 secs
lola: 1428580 markings, 1768644 edges, 25682 markings/sec, 55 secs
lola: 1556082 markings, 1928127 edges, 25500 markings/sec, 60 secs
lola: 1676542 markings, 2080301 edges, 24092 markings/sec, 65 secs
lola: 1801208 markings, 2238220 edges, 24933 markings/sec, 70 secs
lola: 1937300 markings, 2413149 edges, 27218 markings/sec, 75 secs
lola: 2065373 markings, 2573706 edges, 25615 markings/sec, 80 secs
lola: 2189680 markings, 2731987 edges, 24861 markings/sec, 85 secs
lola: 2305472 markings, 2872585 edges, 23158 markings/sec, 90 secs
lola: 2450900 markings, 3056422 edges, 29086 markings/sec, 95 secs
lola: 2604769 markings, 3251045 edges, 30774 markings/sec, 100 secs
lola: 2752084 markings, 3435225 edges, 29463 markings/sec, 105 secs
lola: 2869899 markings, 3580985 edges, 23563 markings/sec, 110 secs
lola: 2987388 markings, 3724220 edges, 23498 markings/sec, 115 secs
lola: 3134983 markings, 3914291 edges, 29519 markings/sec, 120 secs
lola: 3281684 markings, 4100333 edges, 29340 markings/sec, 125 secs
lola: 3415960 markings, 4267415 edges, 26855 markings/sec, 130 secs
lola: 3552779 markings, 4442321 edges, 27364 markings/sec, 135 secs
lola: 3681249 markings, 4600803 edges, 25694 markings/sec, 140 secs
lola: 3779753 markings, 4722245 edges, 19701 markings/sec, 145 secs
lola: 3907787 markings, 4883778 edges, 25607 markings/sec, 150 secs
lola: 3998642 markings, 4994373 edges, 18171 markings/sec, 155 secs
lola: 4132614 markings, 5165987 edges, 26794 markings/sec, 160 secs
lola: 4246422 markings, 5305127 edges, 22762 markings/sec, 165 secs
lola: 4360411 markings, 5445917 edges, 22798 markings/sec, 170 secs
lola: 4485579 markings, 5602192 edges, 25034 markings/sec, 175 secs
lola: 4575496 markings, 5715530 edges, 17983 markings/sec, 180 secs
lola: 4682782 markings, 5846472 edges, 21457 markings/sec, 185 secs
lola: 4795808 markings, 5987602 edges, 22605 markings/sec, 190 secs
lola: 4920292 markings, 6147263 edges, 24897 markings/sec, 195 secs
lola: 5020200 markings, 6268972 edges, 19982 markings/sec, 200 secs
lola: 5135229 markings, 6409663 edges, 23006 markings/sec, 205 secs
lola: 5250677 markings, 6550834 edges, 23090 markings/sec, 210 secs
lola: 5368969 markings, 6699300 edges, 23658 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(p1277)
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: 168354 markings, 205446 edges, 33671 markings/sec, 0 secs
lola: 320242 markings, 391374 edges, 30378 markings/sec, 5 secs
lola: 493386 markings, 603460 edges, 34629 markings/sec, 10 secs
lola: 669196 markings, 820769 edges, 35162 markings/sec, 15 secs
lola: 811856 markings, 997069 edges, 28532 markings/sec, 20 secs
lola: 940777 markings, 1156299 edges, 25784 markings/sec, 25 secs
lola: 1099545 markings, 1352498 edges, 31754 markings/sec, 30 secs
lola: 1288004 markings, 1585674 edges, 37692 markings/sec, 35 secs
lola: 1385429 markings, 1744268 edges, 19485 markings/sec, 40 secs
lola: 1498248 markings, 1899202 edges, 22564 markings/sec, 45 secs
lola: 1629237 markings, 2068982 edges, 26198 markings/sec, 50 secs
lola: 1756453 markings, 2236537 edges, 25443 markings/sec, 55 secs
lola: 1896286 markings, 2411305 edges, 27967 markings/sec, 60 secs
lola: 2018991 markings, 2570502 edges, 24541 markings/sec, 65 secs
lola: 2152176 markings, 2739215 edges, 26637 markings/sec, 70 secs
lola: 2277329 markings, 2900487 edges, 25031 markings/sec, 75 secs
lola: 2411266 markings, 3067203 edges, 26787 markings/sec, 80 secs
lola: 2550382 markings, 3241119 edges, 27823 markings/sec, 85 secs
lola: 2688967 markings, 3414995 edges, 27717 markings/sec, 90 secs
lola: 2833722 markings, 3594446 edges, 28951 markings/sec, 95 secs
lola: 2970720 markings, 3765885 edges, 27400 markings/sec, 100 secs
lola: 3109310 markings, 3941055 edges, 27718 markings/sec, 105 secs
lola: 3243042 markings, 4114037 edges, 26746 markings/sec, 110 secs
lola: 3388765 markings, 4297404 edges, 29145 markings/sec, 115 secs
lola: 3517902 markings, 4462390 edges, 25827 markings/sec, 120 secs
lola: 3644880 markings, 4622315 edges, 25396 markings/sec, 125 secs
lola: 3773895 markings, 4784358 edges, 25803 markings/sec, 130 secs
lola: 3908882 markings, 4952388 edges, 26997 markings/sec, 135 secs
lola: 4041413 markings, 5117088 edges, 26506 markings/sec, 140 secs
lola: 4179959 markings, 5292598 edges, 27709 markings/sec, 145 secs
lola: 4320406 markings, 5467236 edges, 28089 markings/sec, 150 secs
lola: 4450947 markings, 5632302 edges, 26108 markings/sec, 155 secs
lola: 4548706 markings, 5775769 edges, 19552 markings/sec, 160 secs
lola: 4666515 markings, 5922841 edges, 23562 markings/sec, 165 secs
lola: 4793427 markings, 6086340 edges, 25382 markings/sec, 170 secs
lola: 4931135 markings, 6256743 edges, 27542 markings/sec, 175 secs
lola: 5063634 markings, 6420388 edges, 26500 markings/sec, 180 secs
lola: 5203432 markings, 6593058 edges, 27960 markings/sec, 185 secs
lola: 5342301 markings, 6764931 edges, 27774 markings/sec, 190 secs
lola: 5480748 markings, 6936016 edges, 27689 markings/sec, 195 secs
lola: 5624636 markings, 7113729 edges, 28778 markings/sec, 200 secs
lola: 5766268 markings, 7289046 edges, 28326 markings/sec, 205 secs
lola: 5880809 markings, 7447552 edges, 22908 markings/sec, 210 secs
lola: 5982621 markings, 7592709 edges, 20362 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(p113)
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: 100990 markings, 123099 edges, 20198 markings/sec, 0 secs
lola: 200036 markings, 243675 edges, 19809 markings/sec, 5 secs
lola: 301386 markings, 370552 edges, 20270 markings/sec, 10 secs
lola: 390729 markings, 479714 edges, 17869 markings/sec, 15 secs
lola: 483238 markings, 595450 edges, 18502 markings/sec, 20 secs
lola: 573619 markings, 706537 edges, 18076 markings/sec, 25 secs
lola: 652645 markings, 802730 edges, 15805 markings/sec, 30 secs
lola: 742770 markings, 915382 edges, 18025 markings/sec, 35 secs
lola: 834088 markings, 1029665 edges, 18264 markings/sec, 40 secs
lola: 924980 markings, 1143635 edges, 18178 markings/sec, 45 secs
lola: 1003939 markings, 1239689 edges, 15792 markings/sec, 50 secs
lola: 1084048 markings, 1337207 edges, 16022 markings/sec, 55 secs
lola: 1175331 markings, 1448078 edges, 18257 markings/sec, 60 secs
lola: 1266104 markings, 1560814 edges, 18155 markings/sec, 65 secs
lola: 1365049 markings, 1687632 edges, 19789 markings/sec, 70 secs
lola: 1461517 markings, 1809683 edges, 19294 markings/sec, 75 secs
lola: 1556075 markings, 1928209 edges, 18912 markings/sec, 80 secs
lola: 1646632 markings, 2043785 edges, 18111 markings/sec, 85 secs
lola: 1734152 markings, 2150603 edges, 17504 markings/sec, 90 secs
lola: 1837835 markings, 2285538 edges, 20737 markings/sec, 95 secs
lola: 1936346 markings, 2412019 edges, 19702 markings/sec, 100 secs
lola: 2035156 markings, 2536114 edges, 19762 markings/sec, 105 secs
lola: 2125799 markings, 2652634 edges, 18129 markings/sec, 110 secs
lola: 2206865 markings, 2752892 edges, 16213 markings/sec, 115 secs
lola: 2296125 markings, 2861339 edges, 17852 markings/sec, 120 secs
lola: 2393381 markings, 2983749 edges, 19451 markings/sec, 125 secs
lola: 2504755 markings, 3125746 edges, 22275 markings/sec, 130 secs
lola: 2615490 markings, 3264462 edges, 22147 markings/sec, 135 secs
lola: 2724608 markings, 3401146 edges, 21824 markings/sec, 140 secs
lola: 2818735 markings, 3517888 edges, 18825 markings/sec, 145 secs
lola: 2904095 markings, 3622508 edges, 17072 markings/sec, 150 secs
lola: 2988158 markings, 3725194 edges, 16813 markings/sec, 155 secs
lola: 3093059 markings, 3860963 edges, 20980 markings/sec, 160 secs
lola: 3199079 markings, 3996379 edges, 21204 markings/sec, 165 secs
lola: 3295034 markings, 4116772 edges, 19191 markings/sec, 170 secs
lola: 3383761 markings, 4227672 edges, 17745 markings/sec, 175 secs
lola: 3468573 markings, 4334952 edges, 16962 markings/sec, 180 secs
lola: 3564524 markings, 4456796 edges, 19190 markings/sec, 185 secs
lola: 3653228 markings, 4566446 edges, 17741 markings/sec, 190 secs
lola: 3735917 markings, 4667563 edges, 16538 markings/sec, 195 secs
lola: 3796893 markings, 4744816 edges, 12195 markings/sec, 200 secs
lola: 3893958 markings, 4866826 edges, 19413 markings/sec, 205 secs
lola: 3971203 markings, 4961097 edges, 15449 markings/sec, 210 secs
lola: 4053047 markings, 5064163 edges, 16369 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(p1893)
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: 136186 markings, 162619 edges, 27237 markings/sec, 0 secs
lola: 270994 markings, 324990 edges, 26962 markings/sec, 5 secs
lola: 402198 markings, 483390 edges, 26241 markings/sec, 10 secs
lola: 550708 markings, 666833 edges, 29702 markings/sec, 15 secs
lola: 693581 markings, 845394 edges, 28575 markings/sec, 20 secs
lola: 845510 markings, 1032491 edges, 30386 markings/sec, 25 secs
lola: 994247 markings, 1216487 edges, 29747 markings/sec, 30 secs
lola: 1149001 markings, 1411661 edges, 30951 markings/sec, 35 secs
lola: 1295528 markings, 1596713 edges, 29305 markings/sec, 40 secs
lola: 1448486 markings, 1788099 edges, 30592 markings/sec, 45 secs
lola: 1585540 markings, 1959968 edges, 27411 markings/sec, 50 secs
lola: 1716765 markings, 2124953 edges, 26245 markings/sec, 55 secs
lola: 1857168 markings, 2303226 edges, 28081 markings/sec, 60 secs
lola: 2011190 markings, 2496571 edges, 30804 markings/sec, 65 secs
lola: 2146187 markings, 2667861 edges, 26999 markings/sec, 70 secs
lola: 2292382 markings, 2854729 edges, 29239 markings/sec, 75 secs
lola: 2424698 markings, 3020168 edges, 26463 markings/sec, 80 secs
lola: 2561302 markings, 3186588 edges, 27321 markings/sec, 85 secs
lola: 2686359 markings, 3343848 edges, 25011 markings/sec, 90 secs
lola: 2816053 markings, 3505473 edges, 25939 markings/sec, 95 secs
lola: 2967319 markings, 3698917 edges, 30253 markings/sec, 100 secs
lola: 3130236 markings, 3902902 edges, 32583 markings/sec, 105 secs
lola: 3285476 markings, 4099115 edges, 31048 markings/sec, 110 secs
lola: 3444875 markings, 4301643 edges, 31880 markings/sec, 115 secs
lola: 3560703 markings, 4447819 edges, 23166 markings/sec, 120 secs
lola: 3698960 markings, 4627663 edges, 27651 markings/sec, 125 secs
lola: 3813277 markings, 4766013 edges, 22863 markings/sec, 130 secs
lola: 3960150 markings, 4950591 edges, 29375 markings/sec, 135 secs
lola: 4099093 markings, 5126578 edges, 27789 markings/sec, 140 secs
lola: 4249856 markings, 5321229 edges, 30153 markings/sec, 145 secs
lola: 4377922 markings, 5481977 edges, 25613 markings/sec, 150 secs
lola: 4495706 markings, 5629966 edges, 23557 markings/sec, 155 secs
lola: 4618852 markings, 5785756 edges, 24629 markings/sec, 160 secs
lola: 4752422 markings, 5959113 edges, 26714 markings/sec, 165 secs
lola: 4884230 markings, 6128595 edges, 26362 markings/sec, 170 secs
lola: 5013002 markings, 6295253 edges, 25754 markings/sec, 175 secs
lola: 5131485 markings, 6447755 edges, 23697 markings/sec, 180 secs
lola: 5254197 markings, 6606694 edges, 24542 markings/sec, 185 secs
lola: 5366186 markings, 6747719 edges, 22398 markings/sec, 190 secs
lola: 5498765 markings, 6918838 edges, 26516 markings/sec, 195 secs
lola: 5641612 markings, 7101494 edges, 28569 markings/sec, 200 secs
lola: 5745476 markings, 7230819 edges, 20773 markings/sec, 205 secs
lola: 5845329 markings, 7354992 edges, 19971 markings/sec, 210 secs
lola: 5950099 markings, 7486095 edges, 20954 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(p2493)
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: 102363 markings, 122936 edges, 20473 markings/sec, 0 secs
lola: 203760 markings, 244916 edges, 20279 markings/sec, 5 secs
lola: 329644 markings, 397821 edges, 25177 markings/sec, 10 secs
lola: 460535 markings, 558253 edges, 26178 markings/sec, 15 secs
lola: 599587 markings, 732660 edges, 27810 markings/sec, 20 secs
lola: 715314 markings, 873849 edges, 23145 markings/sec, 25 secs
lola: 825976 markings, 1010989 edges, 22132 markings/sec, 30 secs
lola: 936231 markings, 1147959 edges, 22051 markings/sec, 35 secs
lola: 1040861 markings, 1276285 edges, 20926 markings/sec, 40 secs
lola: 1150105 markings, 1412442 edges, 21849 markings/sec, 45 secs
lola: 1254451 markings, 1541528 edges, 20869 markings/sec, 50 secs
lola: 1360760 markings, 1675860 edges, 21262 markings/sec, 55 secs
lola: 1474988 markings, 1816610 edges, 22846 markings/sec, 60 secs
lola: 1584719 markings, 1950498 edges, 21946 markings/sec, 65 secs
lola: 1706256 markings, 2098524 edges, 24307 markings/sec, 70 secs
lola: 1851544 markings, 2281624 edges, 29058 markings/sec, 75 secs
lola: 1983422 markings, 2449437 edges, 26376 markings/sec, 80 secs
lola: 2116198 markings, 2617667 edges, 26555 markings/sec, 85 secs
lola: 2233295 markings, 2760248 edges, 23419 markings/sec, 90 secs
lola: 2371687 markings, 2936600 edges, 27678 markings/sec, 95 secs
lola: 2502553 markings, 3103652 edges, 26173 markings/sec, 100 secs
lola: 2615611 markings, 3246607 edges, 22612 markings/sec, 105 secs
lola: 2730534 markings, 3388348 edges, 22985 markings/sec, 110 secs
lola: 2852843 markings, 3537983 edges, 24462 markings/sec, 115 secs
lola: 2988335 markings, 3707141 edges, 27098 markings/sec, 120 secs
lola: 3139604 markings, 3901089 edges, 30254 markings/sec, 125 secs
lola: 3282983 markings, 4080122 edges, 28676 markings/sec, 130 secs
lola: 3401116 markings, 4224827 edges, 23627 markings/sec, 135 secs
lola: 3527884 markings, 4380262 edges, 25354 markings/sec, 140 secs
lola: 3661115 markings, 4551841 edges, 26646 markings/sec, 145 secs
lola: 3791808 markings, 4717364 edges, 26139 markings/sec, 150 secs
lola: 3919346 markings, 4876316 edges, 25508 markings/sec, 155 secs
lola: 4035413 markings, 5022668 edges, 23213 markings/sec, 160 secs
lola: 4163453 markings, 5181950 edges, 25608 markings/sec, 165 secs
lola: 4268221 markings, 5310902 edges, 20954 markings/sec, 170 secs
lola: 4390015 markings, 5460167 edges, 24359 markings/sec, 175 secs
lola: 4477248 markings, 5566309 edges, 17447 markings/sec, 180 secs
lola: 4598699 markings, 5715463 edges, 24290 markings/sec, 185 secs
lola: 4676189 markings, 5809373 edges, 15498 markings/sec, 190 secs
lola: 4754140 markings, 5905230 edges, 15590 markings/sec, 195 secs
lola: 4871985 markings, 6049724 edges, 23569 markings/sec, 200 secs
lola: 4983528 markings, 6186284 edges, 22309 markings/sec, 205 secs
lola: 5057109 markings, 6276676 edges, 14716 markings/sec, 210 secs
lola: 5175536 markings, 6423958 edges, 23685 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(p2331)
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: 110127 markings, 132529 edges, 22025 markings/sec, 0 secs
lola: 239322 markings, 292065 edges, 25839 markings/sec, 5 secs
lola: 367361 markings, 450614 edges, 25608 markings/sec, 10 secs
lola: 496876 markings, 610632 edges, 25903 markings/sec, 15 secs
lola: 597433 markings, 734618 edges, 20111 markings/sec, 20 secs
lola: 704322 markings, 867826 edges, 21378 markings/sec, 25 secs
lola: 807196 markings, 995439 edges, 20575 markings/sec, 30 secs
lola: 910255 markings, 1123286 edges, 20612 markings/sec, 35 secs
lola: 1012234 markings, 1251137 edges, 20396 markings/sec, 40 secs
lola: 1117823 markings, 1382923 edges, 21118 markings/sec, 45 secs
lola: 1213689 markings, 1499744 edges, 19173 markings/sec, 50 secs
lola: 1310751 markings, 1617483 edges, 19412 markings/sec, 55 secs
lola: 1420583 markings, 1750531 edges, 21966 markings/sec, 60 secs
lola: 1552067 markings, 1918605 edges, 26297 markings/sec, 65 secs
lola: 1676360 markings, 2075603 edges, 24859 markings/sec, 70 secs
lola: 1797161 markings, 2230020 edges, 24160 markings/sec, 75 secs
lola: 1904357 markings, 2361438 edges, 21439 markings/sec, 80 secs
lola: 2020991 markings, 2509727 edges, 23327 markings/sec, 85 secs
lola: 2137143 markings, 2659416 edges, 23230 markings/sec, 90 secs
lola: 2252616 markings, 2804181 edges, 23095 markings/sec, 95 secs
lola: 2363954 markings, 2947398 edges, 22268 markings/sec, 100 secs
lola: 2464918 markings, 3069519 edges, 20193 markings/sec, 105 secs
lola: 2595390 markings, 3231838 edges, 26094 markings/sec, 110 secs
lola: 2742373 markings, 3419640 edges, 29397 markings/sec, 115 secs
lola: 2890597 markings, 3604620 edges, 29645 markings/sec, 120 secs
lola: 3018849 markings, 3763657 edges, 25650 markings/sec, 125 secs
lola: 3132643 markings, 3902822 edges, 22759 markings/sec, 130 secs
lola: 3252539 markings, 4052627 edges, 23979 markings/sec, 135 secs
lola: 3384607 markings, 4223247 edges, 26414 markings/sec, 140 secs
lola: 3519466 markings, 4391933 edges, 26972 markings/sec, 145 secs
lola: 3646208 markings, 4549744 edges, 25348 markings/sec, 150 secs
lola: 3772106 markings, 4711103 edges, 25180 markings/sec, 155 secs
lola: 3888406 markings, 4853764 edges, 23260 markings/sec, 160 secs
lola: 3985605 markings, 4972318 edges, 19440 markings/sec, 165 secs
lola: 4087637 markings, 5102792 edges, 20406 markings/sec, 170 secs
lola: 4192587 markings, 5231090 edges, 20990 markings/sec, 175 secs
lola: 4291338 markings, 5355940 edges, 19750 markings/sec, 180 secs
lola: 4419475 markings, 5516576 edges, 25627 markings/sec, 185 secs
lola: 4503063 markings, 5618509 edges, 16718 markings/sec, 190 secs
lola: 4605746 markings, 5746470 edges, 20537 markings/sec, 195 secs
lola: 4714500 markings, 5881611 edges, 21751 markings/sec, 200 secs
lola: 4784914 markings, 5970842 edges, 14083 markings/sec, 205 secs
lola: 4888572 markings, 6097696 edges, 20732 markings/sec, 210 secs
lola: 4990255 markings, 6222203 edges, 20337 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(p61)
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: 104895 markings, 127864 edges, 20979 markings/sec, 0 secs
lola: 206544 markings, 251907 edges, 20330 markings/sec, 5 secs
lola: 316362 markings, 389633 edges, 21964 markings/sec, 10 secs
lola: 412252 markings, 506355 edges, 19178 markings/sec, 15 secs
lola: 510805 markings, 629804 edges, 19711 markings/sec, 20 secs
lola: 602869 markings, 742011 edges, 18413 markings/sec, 25 secs
lola: 692311 markings, 851980 edges, 17888 markings/sec, 30 secs
lola: 788893 markings, 973540 edges, 19316 markings/sec, 35 secs
lola: 883149 markings, 1091535 edges, 18851 markings/sec, 40 secs
lola: 971711 markings, 1200324 edges, 17712 markings/sec, 45 secs
lola: 1053885 markings, 1300502 edges, 16435 markings/sec, 50 secs
lola: 1142981 markings, 1408886 edges, 17819 markings/sec, 55 secs
lola: 1234601 markings, 1520999 edges, 18324 markings/sec, 60 secs
lola: 1342510 markings, 1658930 edges, 21582 markings/sec, 65 secs
lola: 1443800 markings, 1787739 edges, 20258 markings/sec, 70 secs
lola: 1544144 markings, 1912870 edges, 20069 markings/sec, 75 secs
lola: 1642160 markings, 2038406 edges, 19603 markings/sec, 80 secs
lola: 1729900 markings, 2145449 edges, 17548 markings/sec, 85 secs
lola: 1831929 markings, 2278055 edges, 20406 markings/sec, 90 secs
lola: 1929524 markings, 2403399 edges, 19519 markings/sec, 95 secs
lola: 2024497 markings, 2523047 edges, 18995 markings/sec, 100 secs
lola: 2115609 markings, 2639598 edges, 18222 markings/sec, 105 secs
lola: 2200887 markings, 2745544 edges, 17056 markings/sec, 110 secs
lola: 2293118 markings, 2857688 edges, 18446 markings/sec, 115 secs
lola: 2387673 markings, 2976216 edges, 18911 markings/sec, 120 secs
lola: 2493743 markings, 3111016 edges, 21214 markings/sec, 125 secs
lola: 2598520 markings, 3243449 edges, 20955 markings/sec, 130 secs
lola: 2701092 markings, 3372254 edges, 20514 markings/sec, 135 secs
lola: 2802347 markings, 3497809 edges, 20251 markings/sec, 140 secs
lola: 2892430 markings, 3608330 edges, 18017 markings/sec, 145 secs
lola: 2985295 markings, 3721715 edges, 18573 markings/sec, 150 secs
lola: 3093026 markings, 3860941 edges, 21546 markings/sec, 155 secs
lola: 3204091 markings, 4002557 edges, 22213 markings/sec, 160 secs
lola: 3309918 markings, 4135754 edges, 21165 markings/sec, 165 secs
lola: 3413393 markings, 4264330 edges, 20695 markings/sec, 170 secs
lola: 3512972 markings, 4392276 edges, 19916 markings/sec, 175 secs
lola: 3604382 markings, 4505621 edges, 18282 markings/sec, 180 secs
lola: 3712980 markings, 4639719 edges, 21720 markings/sec, 185 secs
lola: 3784940 markings, 4729359 edges, 14392 markings/sec, 190 secs
lola: 3885537 markings, 4856511 edges, 20119 markings/sec, 195 secs
lola: 3972460 markings, 4962636 edges, 17385 markings/sec, 200 secs
lola: 4058780 markings, 5071588 edges, 17264 markings/sec, 205 secs
lola: 4171363 markings, 5213584 edges, 22517 markings/sec, 210 secs
lola: 4248591 markings, 5307821 edges, 15446 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-311-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-311-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-311-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-311-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-311-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-311-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-311-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-311-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-311-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-311-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-311-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-311-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-311-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-311-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-311-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-311-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496535527295

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