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

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

=== Now, execution of the tool begins

BK_START 1496529506663


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


checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-302: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ CloudReconfiguration-PT-302 @ 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-302-UpperBounds.task
lola: MAX(p2531) : MAX(p481) : MAX(p832) : MAX(p1390) : MAX(p832) : MAX(p2102) : MAX(p1206) : MAX(p496) : MAX(p836) : MAX(p1914) : MAX(p940) : MAX(p2166) : MAX(p1127) : MAX(p1115) : MAX(p117) : MAX(p2333)
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(p2531)
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: 54374 markings, 157190 edges, 10875 markings/sec, 0 secs
lola: 104057 markings, 309613 edges, 9937 markings/sec, 5 secs
lola: 156789 markings, 435164 edges, 10546 markings/sec, 10 secs
lola: 205514 markings, 575327 edges, 9745 markings/sec, 15 secs
lola: 249165 markings, 722995 edges, 8730 markings/sec, 20 secs
lola: 292222 markings, 870733 edges, 8611 markings/sec, 25 secs
lola: 337261 markings, 1022746 edges, 9008 markings/sec, 30 secs
lola: 380830 markings, 1172794 edges, 8714 markings/sec, 35 secs
lola: 427058 markings, 1328994 edges, 9246 markings/sec, 40 secs
lola: 470575 markings, 1478732 edges, 8703 markings/sec, 45 secs
lola: 517238 markings, 1636420 edges, 9333 markings/sec, 50 secs
lola: 574475 markings, 1769853 edges, 11447 markings/sec, 55 secs
lola: 670450 markings, 1885853 edges, 19195 markings/sec, 60 secs
lola: 768268 markings, 2003868 edges, 19564 markings/sec, 65 secs
lola: 865892 markings, 2122045 edges, 19525 markings/sec, 70 secs
lola: 960859 markings, 2236569 edges, 18993 markings/sec, 75 secs
lola: 1075068 markings, 2375071 edges, 22842 markings/sec, 80 secs
lola: 1176556 markings, 2497052 edges, 20298 markings/sec, 85 secs
lola: 1283372 markings, 2626224 edges, 21363 markings/sec, 90 secs
lola: 1389834 markings, 2754346 edges, 21292 markings/sec, 95 secs
lola: 1511104 markings, 2901683 edges, 24254 markings/sec, 100 secs
lola: 1667985 markings, 3092609 edges, 31376 markings/sec, 105 secs
lola: 1813098 markings, 3269708 edges, 29023 markings/sec, 110 secs
lola: 1955098 markings, 3442409 edges, 28400 markings/sec, 115 secs
lola: 2097944 markings, 3617429 edges, 28569 markings/sec, 120 secs
lola: 2237489 markings, 3787664 edges, 27909 markings/sec, 125 secs
lola: 2375040 markings, 3955486 edges, 27510 markings/sec, 130 secs
lola: 2527413 markings, 4145918 edges, 30475 markings/sec, 135 secs
lola: 2662102 markings, 4310480 edges, 26938 markings/sec, 140 secs
lola: 2791896 markings, 4469678 edges, 25959 markings/sec, 145 secs
lola: 2934532 markings, 4646706 edges, 28527 markings/sec, 150 secs
lola: 3074380 markings, 4821779 edges, 27970 markings/sec, 155 secs
lola: 3216833 markings, 4999089 edges, 28491 markings/sec, 160 secs
lola: 3354618 markings, 5167242 edges, 27557 markings/sec, 165 secs
lola: 3490723 markings, 5333007 edges, 27221 markings/sec, 170 secs
lola: 3647047 markings, 5525780 edges, 31265 markings/sec, 175 secs
lola: 3800793 markings, 5718153 edges, 30749 markings/sec, 180 secs
lola: 3940870 markings, 5889572 edges, 28015 markings/sec, 185 secs
lola: 4083949 markings, 6065765 edges, 28616 markings/sec, 190 secs
lola: 4245056 markings, 6267540 edges, 32221 markings/sec, 195 secs
lola: 4390760 markings, 6449336 edges, 29141 markings/sec, 200 secs
lola: 4506543 markings, 6590848 edges, 23157 markings/sec, 205 secs
lola: 4616686 markings, 6727503 edges, 22029 markings/sec, 210 secs
lola: 4732058 markings, 6871751 edges, 23074 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(p481)
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: 98637 markings, 136039 edges, 19727 markings/sec, 0 secs
lola: 227389 markings, 289995 edges, 25750 markings/sec, 5 secs
lola: 373997 markings, 467523 edges, 29322 markings/sec, 10 secs
lola: 505824 markings, 627497 edges, 26365 markings/sec, 15 secs
lola: 656807 markings, 812903 edges, 30197 markings/sec, 20 secs
lola: 807062 markings, 997935 edges, 30051 markings/sec, 25 secs
lola: 965118 markings, 1190313 edges, 31611 markings/sec, 30 secs
lola: 1120772 markings, 1380054 edges, 31131 markings/sec, 35 secs
lola: 1262396 markings, 1552729 edges, 28325 markings/sec, 40 secs
lola: 1406685 markings, 1730318 edges, 28858 markings/sec, 45 secs
lola: 1537280 markings, 1892076 edges, 26119 markings/sec, 50 secs
lola: 1670702 markings, 2056206 edges, 26684 markings/sec, 55 secs
lola: 1790330 markings, 2203164 edges, 23926 markings/sec, 60 secs
lola: 1927254 markings, 2370993 edges, 27385 markings/sec, 65 secs
lola: 2056298 markings, 2531698 edges, 25809 markings/sec, 70 secs
lola: 2185461 markings, 2692379 edges, 25833 markings/sec, 75 secs
lola: 2331091 markings, 2874609 edges, 29126 markings/sec, 80 secs
lola: 2463736 markings, 3040928 edges, 26529 markings/sec, 85 secs
lola: 2582928 markings, 3190797 edges, 23838 markings/sec, 90 secs
lola: 2719861 markings, 3359427 edges, 27387 markings/sec, 95 secs
lola: 2838128 markings, 3509627 edges, 23653 markings/sec, 100 secs
lola: 2948324 markings, 3644761 edges, 22039 markings/sec, 105 secs
lola: 3052477 markings, 3789171 edges, 20831 markings/sec, 110 secs
lola: 3135230 markings, 3953559 edges, 16551 markings/sec, 115 secs
lola: 3240751 markings, 4099672 edges, 21104 markings/sec, 120 secs
lola: 3317210 markings, 4265247 edges, 15292 markings/sec, 125 secs
lola: 3418831 markings, 4410606 edges, 20324 markings/sec, 130 secs
lola: 3527785 markings, 4544210 edges, 21791 markings/sec, 135 secs
lola: 3611060 markings, 4696647 edges, 16655 markings/sec, 140 secs
lola: 3700341 markings, 4880822 edges, 17856 markings/sec, 145 secs
lola: 3803137 markings, 5085882 edges, 20559 markings/sec, 150 secs
lola: 3897283 markings, 5276158 edges, 18829 markings/sec, 155 secs
lola: 3987936 markings, 5456574 edges, 18131 markings/sec, 160 secs
lola: 4066812 markings, 5614994 edges, 15775 markings/sec, 165 secs
lola: 4145545 markings, 5772300 edges, 15747 markings/sec, 170 secs
lola: 4221827 markings, 5924950 edges, 15256 markings/sec, 175 secs
lola: 4296158 markings, 6085535 edges, 14866 markings/sec, 180 secs
lola: 4367911 markings, 6254263 edges, 14351 markings/sec, 185 secs
lola: 4468390 markings, 6403171 edges, 20096 markings/sec, 190 secs
lola: 4580655 markings, 6540859 edges, 22453 markings/sec, 195 secs
lola: 4686139 markings, 6669644 edges, 21097 markings/sec, 200 secs
lola: 4797563 markings, 6806525 edges, 22285 markings/sec, 205 secs
lola: 4900881 markings, 6932037 edges, 20664 markings/sec, 210 secs
lola: 5015567 markings, 7072915 edges, 22937 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(p832)
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: 112021 markings, 169245 edges, 22404 markings/sec, 0 secs
lola: 219765 markings, 299355 edges, 21549 markings/sec, 5 secs
lola: 333110 markings, 456997 edges, 22669 markings/sec, 10 secs
lola: 453896 markings, 653533 edges, 24157 markings/sec, 15 secs
lola: 561514 markings, 797089 edges, 21524 markings/sec, 20 secs
lola: 681421 markings, 967376 edges, 23981 markings/sec, 25 secs
lola: 804541 markings, 1119927 edges, 24624 markings/sec, 30 secs
lola: 911088 markings, 1266665 edges, 21309 markings/sec, 35 secs
lola: 1023774 markings, 1416704 edges, 22537 markings/sec, 40 secs
lola: 1142638 markings, 1570507 edges, 23773 markings/sec, 45 secs
lola: 1280733 markings, 1743727 edges, 27619 markings/sec, 50 secs
lola: 1406288 markings, 1899823 edges, 25111 markings/sec, 55 secs
lola: 1532349 markings, 2055330 edges, 25212 markings/sec, 60 secs
lola: 1660326 markings, 2213347 edges, 25595 markings/sec, 65 secs
lola: 1791804 markings, 2380331 edges, 26296 markings/sec, 70 secs
lola: 1943909 markings, 2570186 edges, 30421 markings/sec, 75 secs
lola: 2079998 markings, 2740927 edges, 27218 markings/sec, 80 secs
lola: 2211738 markings, 2903584 edges, 26348 markings/sec, 85 secs
lola: 2342062 markings, 3068753 edges, 26065 markings/sec, 90 secs
lola: 2492768 markings, 3257442 edges, 30141 markings/sec, 95 secs
lola: 2629160 markings, 3430068 edges, 27278 markings/sec, 100 secs
lola: 2764252 markings, 3599640 edges, 27018 markings/sec, 105 secs
lola: 2883834 markings, 3746043 edges, 23916 markings/sec, 110 secs
lola: 3049150 markings, 3955697 edges, 33063 markings/sec, 115 secs
lola: 3208792 markings, 4155215 edges, 31928 markings/sec, 120 secs
lola: 3355382 markings, 4339388 edges, 29318 markings/sec, 125 secs
lola: 3496661 markings, 4518418 edges, 28256 markings/sec, 130 secs
lola: 3610754 markings, 4661295 edges, 22819 markings/sec, 135 secs
lola: 3717828 markings, 4794014 edges, 21415 markings/sec, 140 secs
lola: 3830979 markings, 4935789 edges, 22630 markings/sec, 145 secs
lola: 3954569 markings, 5092802 edges, 24718 markings/sec, 150 secs
lola: 4064885 markings, 5230741 edges, 22063 markings/sec, 155 secs
lola: 4166267 markings, 5359210 edges, 20276 markings/sec, 160 secs
lola: 4316668 markings, 5548905 edges, 30080 markings/sec, 165 secs
lola: 4478970 markings, 5752305 edges, 32460 markings/sec, 170 secs
lola: 4607612 markings, 5915963 edges, 25728 markings/sec, 175 secs
lola: 4738265 markings, 6080208 edges, 26131 markings/sec, 180 secs
lola: 4842911 markings, 6211114 edges, 20929 markings/sec, 185 secs
lola: 4938485 markings, 6330697 edges, 19115 markings/sec, 190 secs
lola: 5037029 markings, 6453960 edges, 19709 markings/sec, 195 secs
lola: 5136987 markings, 6583251 edges, 19992 markings/sec, 200 secs
lola: 5243876 markings, 6720933 edges, 21378 markings/sec, 205 secs
lola: 5339653 markings, 6844918 edges, 19155 markings/sec, 210 secs
lola: 5431691 markings, 6960865 edges, 18408 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(p1390)
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: 109743 markings, 139721 edges, 21949 markings/sec, 0 secs
lola: 214322 markings, 266715 edges, 20916 markings/sec, 5 secs
lola: 327333 markings, 411278 edges, 22602 markings/sec, 10 secs
lola: 425260 markings, 529823 edges, 19585 markings/sec, 15 secs
lola: 525520 markings, 650911 edges, 20052 markings/sec, 20 secs
lola: 635223 markings, 788737 edges, 21941 markings/sec, 25 secs
lola: 754650 markings, 956293 edges, 23885 markings/sec, 30 secs
lola: 873707 markings, 1107166 edges, 23811 markings/sec, 35 secs
lola: 984529 markings, 1249416 edges, 22164 markings/sec, 40 secs
lola: 1102767 markings, 1399039 edges, 23648 markings/sec, 45 secs
lola: 1228678 markings, 1561678 edges, 25182 markings/sec, 50 secs
lola: 1357352 markings, 1734094 edges, 25735 markings/sec, 55 secs
lola: 1473672 markings, 1879939 edges, 23264 markings/sec, 60 secs
lola: 1599116 markings, 2053714 edges, 25089 markings/sec, 65 secs
lola: 1726611 markings, 2223158 edges, 25499 markings/sec, 70 secs
lola: 1853511 markings, 2386262 edges, 25380 markings/sec, 75 secs
lola: 1977534 markings, 2543155 edges, 24805 markings/sec, 80 secs
lola: 2091098 markings, 2684825 edges, 22713 markings/sec, 85 secs
lola: 2220155 markings, 2845640 edges, 25811 markings/sec, 90 secs
lola: 2335080 markings, 2998866 edges, 22985 markings/sec, 95 secs
lola: 2451511 markings, 3156559 edges, 23286 markings/sec, 100 secs
lola: 2567090 markings, 3309165 edges, 23116 markings/sec, 105 secs
lola: 2686975 markings, 3462620 edges, 23977 markings/sec, 110 secs
lola: 2808661 markings, 3618991 edges, 24337 markings/sec, 115 secs
lola: 2936793 markings, 3788319 edges, 25626 markings/sec, 120 secs
lola: 3070293 markings, 3963629 edges, 26700 markings/sec, 125 secs
lola: 3186020 markings, 4106721 edges, 23145 markings/sec, 130 secs
lola: 3301962 markings, 4260004 edges, 23188 markings/sec, 135 secs
lola: 3421881 markings, 4411186 edges, 23984 markings/sec, 140 secs
lola: 3559929 markings, 4592147 edges, 27610 markings/sec, 145 secs
lola: 3694539 markings, 4774361 edges, 26922 markings/sec, 150 secs
lola: 3821726 markings, 4938686 edges, 25437 markings/sec, 155 secs
lola: 3953841 markings, 5119128 edges, 26423 markings/sec, 160 secs
lola: 4092023 markings, 5306766 edges, 27636 markings/sec, 165 secs
lola: 4222666 markings, 5472978 edges, 26129 markings/sec, 170 secs
lola: 4369975 markings, 5661159 edges, 29462 markings/sec, 175 secs
lola: 4509499 markings, 5839812 edges, 27905 markings/sec, 180 secs
lola: 4624927 markings, 5986162 edges, 23086 markings/sec, 185 secs
lola: 4757226 markings, 6150115 edges, 26460 markings/sec, 190 secs
lola: 4892012 markings, 6328563 edges, 26957 markings/sec, 195 secs
lola: 5008160 markings, 6488912 edges, 23230 markings/sec, 200 secs
lola: 5146946 markings, 6664746 edges, 27757 markings/sec, 205 secs
lola: 5272373 markings, 6822844 edges, 25085 markings/sec, 210 secs
lola: 5415548 markings, 7008485 edges, 28635 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(p832)
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: 108158 markings, 164576 edges, 21632 markings/sec, 0 secs
lola: 211719 markings, 289639 edges, 20712 markings/sec, 5 secs
lola: 320216 markings, 432239 edges, 21699 markings/sec, 10 secs
lola: 435576 markings, 628559 edges, 23072 markings/sec, 15 secs
lola: 537355 markings, 765914 edges, 20356 markings/sec, 20 secs
lola: 647144 markings, 925410 edges, 21958 markings/sec, 25 secs
lola: 757160 markings, 1060090 edges, 22003 markings/sec, 30 secs
lola: 864188 markings, 1205315 edges, 21406 markings/sec, 35 secs
lola: 969422 markings, 1350030 edges, 21047 markings/sec, 40 secs
lola: 1083187 markings, 1490125 edges, 22753 markings/sec, 45 secs
lola: 1209924 markings, 1654731 edges, 25347 markings/sec, 50 secs
lola: 1335302 markings, 1811447 edges, 25076 markings/sec, 55 secs
lola: 1452631 markings, 1956852 edges, 23466 markings/sec, 60 secs
lola: 1567729 markings, 2098495 edges, 23020 markings/sec, 65 secs
lola: 1688479 markings, 2247809 edges, 24150 markings/sec, 70 secs
lola: 1822479 markings, 2418501 edges, 26800 markings/sec, 75 secs
lola: 1973390 markings, 2606986 edges, 30182 markings/sec, 80 secs
lola: 2110412 markings, 2778247 edges, 27404 markings/sec, 85 secs
lola: 2241904 markings, 2940683 edges, 26298 markings/sec, 90 secs
lola: 2379941 markings, 3115757 edges, 27607 markings/sec, 95 secs
lola: 2521487 markings, 3293196 edges, 28309 markings/sec, 100 secs
lola: 2655857 markings, 3463917 edges, 26874 markings/sec, 105 secs
lola: 2789001 markings, 3629950 edges, 26629 markings/sec, 110 secs
lola: 2898962 markings, 3765232 edges, 21992 markings/sec, 115 secs
lola: 3062264 markings, 3972244 edges, 32660 markings/sec, 120 secs
lola: 3217862 markings, 4166672 edges, 31120 markings/sec, 125 secs
lola: 3359214 markings, 4344025 edges, 28270 markings/sec, 130 secs
lola: 3497818 markings, 4519831 edges, 27721 markings/sec, 135 secs
lola: 3608191 markings, 4658159 edges, 22075 markings/sec, 140 secs
lola: 3710526 markings, 4785042 edges, 20467 markings/sec, 145 secs
lola: 3820076 markings, 4921209 edges, 21910 markings/sec, 150 secs
lola: 3933457 markings, 5066880 edges, 22676 markings/sec, 155 secs
lola: 4046957 markings, 5208022 edges, 22700 markings/sec, 160 secs
lola: 4146101 markings, 5334744 edges, 19829 markings/sec, 165 secs
lola: 4262256 markings, 5481493 edges, 23231 markings/sec, 170 secs
lola: 4421254 markings, 5680268 edges, 31800 markings/sec, 175 secs
lola: 4560141 markings, 5855245 edges, 27777 markings/sec, 180 secs
lola: 4689540 markings, 6020232 edges, 25880 markings/sec, 185 secs
lola: 4793158 markings, 6148250 edges, 20724 markings/sec, 190 secs
lola: 4890225 markings, 6270154 edges, 19413 markings/sec, 195 secs
lola: 4985375 markings, 6388416 edges, 19030 markings/sec, 200 secs
lola: 5081406 markings, 6510582 edges, 19206 markings/sec, 205 secs
lola: 5183514 markings, 6643158 edges, 20422 markings/sec, 210 secs
lola: 5280606 markings, 6767354 edges, 19418 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(p2102)
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: 94154 markings, 132323 edges, 18831 markings/sec, 0 secs
lola: 200567 markings, 260839 edges, 21283 markings/sec, 5 secs
lola: 307576 markings, 390113 edges, 21402 markings/sec, 10 secs
lola: 421624 markings, 527858 edges, 22810 markings/sec, 15 secs
lola: 530742 markings, 659911 edges, 21824 markings/sec, 20 secs
lola: 633708 markings, 784232 edges, 20593 markings/sec, 25 secs
lola: 736069 markings, 907861 edges, 20472 markings/sec, 30 secs
lola: 843467 markings, 1037590 edges, 21480 markings/sec, 35 secs
lola: 960625 markings, 1180025 edges, 23432 markings/sec, 40 secs
lola: 1092015 markings, 1341052 edges, 26278 markings/sec, 45 secs
lola: 1207308 markings, 1481429 edges, 23059 markings/sec, 50 secs
lola: 1313943 markings, 1608982 edges, 21327 markings/sec, 55 secs
lola: 1425956 markings, 1744148 edges, 22403 markings/sec, 60 secs
lola: 1525473 markings, 1863266 edges, 19903 markings/sec, 65 secs
lola: 1632604 markings, 1993768 edges, 21426 markings/sec, 70 secs
lola: 1747997 markings, 2134477 edges, 23079 markings/sec, 75 secs
lola: 1877524 markings, 2292851 edges, 25905 markings/sec, 80 secs
lola: 1991773 markings, 2432678 edges, 22850 markings/sec, 85 secs
lola: 2109412 markings, 2576599 edges, 23528 markings/sec, 90 secs
lola: 2220290 markings, 2712445 edges, 22176 markings/sec, 95 secs
lola: 2331702 markings, 2848937 edges, 22282 markings/sec, 100 secs
lola: 2444128 markings, 2986532 edges, 22485 markings/sec, 105 secs
lola: 2547386 markings, 3112564 edges, 20652 markings/sec, 110 secs
lola: 2662352 markings, 3253261 edges, 22993 markings/sec, 115 secs
lola: 2772672 markings, 3388244 edges, 22064 markings/sec, 120 secs
lola: 2886108 markings, 3527706 edges, 22687 markings/sec, 125 secs
lola: 2997745 markings, 3663524 edges, 22327 markings/sec, 130 secs
lola: 3121780 markings, 3815190 edges, 24807 markings/sec, 135 secs
lola: 3237560 markings, 3957566 edges, 23156 markings/sec, 140 secs
lola: 3344292 markings, 4087815 edges, 21346 markings/sec, 145 secs
lola: 3470364 markings, 4242482 edges, 25214 markings/sec, 150 secs
lola: 3619955 markings, 4425947 edges, 29918 markings/sec, 155 secs
lola: 3749362 markings, 4581955 edges, 25881 markings/sec, 160 secs
lola: 3869256 markings, 4726622 edges, 23979 markings/sec, 165 secs
lola: 3981771 markings, 4862970 edges, 22503 markings/sec, 170 secs
lola: 4105553 markings, 5018850 edges, 24756 markings/sec, 175 secs
lola: 4222980 markings, 5165954 edges, 23485 markings/sec, 180 secs
lola: 4336442 markings, 5307790 edges, 22692 markings/sec, 185 secs
lola: 4456569 markings, 5456059 edges, 24025 markings/sec, 190 secs
lola: 4571064 markings, 5600358 edges, 22899 markings/sec, 195 secs
lola: 4687801 markings, 5747048 edges, 23347 markings/sec, 200 secs
lola: 4795573 markings, 5882145 edges, 21554 markings/sec, 205 secs
lola: 4906056 markings, 6020901 edges, 22097 markings/sec, 210 secs
lola: 5019340 markings, 6162161 edges, 22657 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(p1206)
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: 102049 markings, 122754 edges, 20410 markings/sec, 0 secs
lola: 214590 markings, 259211 edges, 22508 markings/sec, 5 secs
lola: 327981 markings, 397153 edges, 22678 markings/sec, 10 secs
lola: 429093 markings, 519075 edges, 20222 markings/sec, 15 secs
lola: 534142 markings, 646389 edges, 21010 markings/sec, 20 secs
lola: 642357 markings, 777192 edges, 21643 markings/sec, 25 secs
lola: 752073 markings, 910069 edges, 21943 markings/sec, 30 secs
lola: 867406 markings, 1050035 edges, 23067 markings/sec, 35 secs
lola: 990497 markings, 1199880 edges, 24618 markings/sec, 40 secs
lola: 1100887 markings, 1333029 edges, 22078 markings/sec, 45 secs
lola: 1208753 markings, 1462828 edges, 21573 markings/sec, 50 secs
lola: 1327621 markings, 1606771 edges, 23774 markings/sec, 55 secs
lola: 1460412 markings, 1768419 edges, 26558 markings/sec, 60 secs
lola: 1604600 markings, 1943702 edges, 28838 markings/sec, 65 secs
lola: 1744797 markings, 2114218 edges, 28039 markings/sec, 70 secs
lola: 1878202 markings, 2276682 edges, 26681 markings/sec, 75 secs
lola: 2004210 markings, 2430293 edges, 25202 markings/sec, 80 secs
lola: 2129795 markings, 2584179 edges, 25117 markings/sec, 85 secs
lola: 2247468 markings, 2727611 edges, 23535 markings/sec, 90 secs
lola: 2371293 markings, 2879301 edges, 24765 markings/sec, 95 secs
lola: 2489705 markings, 3027373 edges, 23682 markings/sec, 100 secs
lola: 2616067 markings, 3182993 edges, 25272 markings/sec, 105 secs
lola: 2733384 markings, 3326180 edges, 23463 markings/sec, 110 secs
lola: 2851189 markings, 3469806 edges, 23561 markings/sec, 115 secs
lola: 2966322 markings, 3614122 edges, 23027 markings/sec, 120 secs
lola: 3072580 markings, 3746335 edges, 21252 markings/sec, 125 secs
lola: 3193780 markings, 3896115 edges, 24240 markings/sec, 130 secs
lola: 3301907 markings, 4031510 edges, 21625 markings/sec, 135 secs
lola: 3416122 markings, 4170691 edges, 22843 markings/sec, 140 secs
lola: 3531186 markings, 4311271 edges, 23013 markings/sec, 145 secs
lola: 3647170 markings, 4456249 edges, 23197 markings/sec, 150 secs
lola: 3762076 markings, 4599745 edges, 22981 markings/sec, 155 secs
lola: 3881857 markings, 4745422 edges, 23956 markings/sec, 160 secs
lola: 4008203 markings, 4899709 edges, 25269 markings/sec, 165 secs
lola: 4117216 markings, 5036269 edges, 21803 markings/sec, 170 secs
lola: 4220391 markings, 5164331 edges, 20635 markings/sec, 175 secs
lola: 4356884 markings, 5336386 edges, 27299 markings/sec, 180 secs
lola: 4524590 markings, 5544484 edges, 33541 markings/sec, 185 secs
lola: 4663174 markings, 5719271 edges, 27717 markings/sec, 190 secs
lola: 4784484 markings, 5874369 edges, 24262 markings/sec, 195 secs
lola: 4905919 markings, 6027757 edges, 24287 markings/sec, 200 secs
lola: 5036477 markings, 6190028 edges, 26112 markings/sec, 205 secs
lola: 5183857 markings, 6373410 edges, 29476 markings/sec, 210 secs
lola: 5293775 markings, 6513858 edges, 21984 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(p496)
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: 92052 markings, 128009 edges, 18410 markings/sec, 0 secs
lola: 215468 markings, 275548 edges, 24683 markings/sec, 5 secs
lola: 367187 markings, 459327 edges, 30344 markings/sec, 10 secs
lola: 498885 markings, 618996 edges, 26340 markings/sec, 15 secs
lola: 652819 markings, 808008 edges, 30787 markings/sec, 20 secs
lola: 806414 markings, 997136 edges, 30719 markings/sec, 25 secs
lola: 968720 markings, 1194670 edges, 32461 markings/sec, 30 secs
lola: 1128883 markings, 1390003 edges, 32033 markings/sec, 35 secs
lola: 1266553 markings, 1557795 edges, 27534 markings/sec, 40 secs
lola: 1414339 markings, 1739873 edges, 29557 markings/sec, 45 secs
lola: 1548125 markings, 1905486 edges, 26757 markings/sec, 50 secs
lola: 1688387 markings, 2078147 edges, 28052 markings/sec, 55 secs
lola: 1814597 markings, 2232509 edges, 25242 markings/sec, 60 secs
lola: 1958482 markings, 2410263 edges, 28777 markings/sec, 65 secs
lola: 2091414 markings, 2575495 edges, 26586 markings/sec, 70 secs
lola: 2225040 markings, 2741804 edges, 26725 markings/sec, 75 secs
lola: 2373164 markings, 2926381 edges, 29625 markings/sec, 80 secs
lola: 2497006 markings, 3082648 edges, 24768 markings/sec, 85 secs
lola: 2628580 markings, 3246831 edges, 26315 markings/sec, 90 secs
lola: 2755969 markings, 3404831 edges, 25478 markings/sec, 95 secs
lola: 2872646 markings, 3551931 edges, 23335 markings/sec, 100 secs
lola: 2984302 markings, 3688870 edges, 22331 markings/sec, 105 secs
lola: 3076545 markings, 3841205 edges, 18449 markings/sec, 110 secs
lola: 3177668 markings, 4005584 edges, 20225 markings/sec, 115 secs
lola: 3267924 markings, 4158464 edges, 18051 markings/sec, 120 secs
lola: 3346965 markings, 4322350 edges, 15808 markings/sec, 125 secs
lola: 3458896 markings, 4459630 edges, 22386 markings/sec, 130 secs
lola: 3568313 markings, 4603977 edges, 21883 markings/sec, 135 secs
lola: 3645280 markings, 4770311 edges, 15393 markings/sec, 140 secs
lola: 3749723 markings, 4975314 edges, 20889 markings/sec, 145 secs
lola: 3848905 markings, 5170602 edges, 19836 markings/sec, 150 secs
lola: 3942795 markings, 5355383 edges, 18778 markings/sec, 155 secs
lola: 4029279 markings, 5521828 edges, 17297 markings/sec, 160 secs
lola: 4105955 markings, 5671793 edges, 15335 markings/sec, 165 secs
lola: 4188346 markings, 5833066 edges, 16478 markings/sec, 170 secs
lola: 4264613 markings, 5991282 edges, 15253 markings/sec, 175 secs
lola: 4338463 markings, 6161106 edges, 14770 markings/sec, 180 secs
lola: 4421258 markings, 6324137 edges, 16559 markings/sec, 185 secs
lola: 4536365 markings, 6465315 edges, 23021 markings/sec, 190 secs
lola: 4648760 markings, 6602912 edges, 22479 markings/sec, 195 secs
lola: 4760469 markings, 6739767 edges, 22342 markings/sec, 200 secs
lola: 4866088 markings, 6868689 edges, 21124 markings/sec, 205 secs
lola: 4976234 markings, 7003435 edges, 22029 markings/sec, 210 secs
lola: 5091623 markings, 7144961 edges, 23078 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(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: 105628 markings, 127137 edges, 21126 markings/sec, 0 secs
lola: 212932 markings, 256873 edges, 21461 markings/sec, 5 secs
lola: 318155 markings, 384446 edges, 21045 markings/sec, 10 secs
lola: 415117 markings, 501577 edges, 19392 markings/sec, 15 secs
lola: 511735 markings, 618319 edges, 19324 markings/sec, 20 secs
lola: 614696 markings, 744246 edges, 20592 markings/sec, 25 secs
lola: 727085 markings, 880839 edges, 22478 markings/sec, 30 secs
lola: 834561 markings, 1009494 edges, 21495 markings/sec, 35 secs
lola: 935446 markings, 1131979 edges, 20177 markings/sec, 40 secs
lola: 1037815 markings, 1256439 edges, 20474 markings/sec, 45 secs
lola: 1143953 markings, 1385635 edges, 21228 markings/sec, 50 secs
lola: 1249835 markings, 1514557 edges, 21176 markings/sec, 55 secs
lola: 1366471 markings, 1657298 edges, 23327 markings/sec, 60 secs
lola: 1486095 markings, 1803891 edges, 23925 markings/sec, 65 secs
lola: 1594167 markings, 1935925 edges, 21614 markings/sec, 70 secs
lola: 1705015 markings, 2071474 edges, 22170 markings/sec, 75 secs
lola: 1814166 markings, 2205124 edges, 21830 markings/sec, 80 secs
lola: 1929242 markings, 2345982 edges, 23015 markings/sec, 85 secs
lola: 2030160 markings, 2469329 edges, 20184 markings/sec, 90 secs
lola: 2135440 markings, 2598464 edges, 21056 markings/sec, 95 secs
lola: 2238941 markings, 2725490 edges, 20700 markings/sec, 100 secs
lola: 2345346 markings, 2856285 edges, 21281 markings/sec, 105 secs
lola: 2445216 markings, 2977050 edges, 19974 markings/sec, 110 secs
lola: 2548165 markings, 3100067 edges, 20590 markings/sec, 115 secs
lola: 2658545 markings, 3235607 edges, 22076 markings/sec, 120 secs
lola: 2764953 markings, 3366222 edges, 21282 markings/sec, 125 secs
lola: 2865253 markings, 3489242 edges, 20060 markings/sec, 130 secs
lola: 2976759 markings, 3626424 edges, 22301 markings/sec, 135 secs
lola: 3085638 markings, 3760360 edges, 21776 markings/sec, 140 secs
lola: 3204816 markings, 3906885 edges, 23836 markings/sec, 145 secs
lola: 3302955 markings, 4027158 edges, 19628 markings/sec, 150 secs
lola: 3412191 markings, 4161956 edges, 21847 markings/sec, 155 secs
lola: 3519164 markings, 4292923 edges, 21395 markings/sec, 160 secs
lola: 3641960 markings, 4443203 edges, 24559 markings/sec, 165 secs
lola: 3756510 markings, 4582720 edges, 22910 markings/sec, 170 secs
lola: 3873313 markings, 4726697 edges, 23361 markings/sec, 175 secs
lola: 3979340 markings, 4857117 edges, 21205 markings/sec, 180 secs
lola: 4087476 markings, 4990646 edges, 21627 markings/sec, 185 secs
lola: 4204036 markings, 5133573 edges, 23312 markings/sec, 190 secs
lola: 4320227 markings, 5277531 edges, 23238 markings/sec, 195 secs
lola: 4437411 markings, 5422566 edges, 23437 markings/sec, 200 secs
lola: 4553921 markings, 5566186 edges, 23302 markings/sec, 205 secs
lola: 4662729 markings, 5700106 edges, 21762 markings/sec, 210 secs
lola: 4781708 markings, 5847092 edges, 23796 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(p1914)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 11 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 91320 markings, 146661 edges, 18264 markings/sec, 0 secs
lola: 250206 markings, 337704 edges, 31777 markings/sec, 5 secs
lola: 421346 markings, 544926 edges, 34228 markings/sec, 10 secs
lola: 582619 markings, 739479 edges, 32255 markings/sec, 15 secs
lola: 764707 markings, 961428 edges, 36418 markings/sec, 20 secs
lola: 945433 markings, 1182312 edges, 36145 markings/sec, 25 secs
lola: 1128589 markings, 1406772 edges, 36631 markings/sec, 30 secs
lola: 1318056 markings, 1638496 edges, 37893 markings/sec, 35 secs
lola: 1473889 markings, 1829307 edges, 31167 markings/sec, 40 secs
lola: 1607919 markings, 1993435 edges, 26806 markings/sec, 45 secs
lola: 1737522 markings, 2152427 edges, 25921 markings/sec, 50 secs
lola: 1855571 markings, 2294414 edges, 23610 markings/sec, 55 secs
lola: 2005371 markings, 2476855 edges, 29960 markings/sec, 60 secs
lola: 2185287 markings, 2698469 edges, 35983 markings/sec, 65 secs
lola: 2356159 markings, 2906273 edges, 34174 markings/sec, 70 secs
lola: 2501152 markings, 3082847 edges, 28999 markings/sec, 75 secs
lola: 2678612 markings, 3300590 edges, 35492 markings/sec, 80 secs
lola: 2856221 markings, 3518042 edges, 35522 markings/sec, 85 secs
lola: 3019203 markings, 3717422 edges, 32596 markings/sec, 90 secs
lola: 3180270 markings, 3914978 edges, 32213 markings/sec, 95 secs
lola: 3354158 markings, 4128192 edges, 34778 markings/sec, 100 secs
lola: 3501405 markings, 4307401 edges, 29449 markings/sec, 105 secs
lola: 3636813 markings, 4470577 edges, 27082 markings/sec, 110 secs
lola: 3775002 markings, 4637520 edges, 27638 markings/sec, 115 secs
lola: 3920976 markings, 4814336 edges, 29195 markings/sec, 120 secs
lola: 4065621 markings, 4989379 edges, 28929 markings/sec, 125 secs
lola: 4208548 markings, 5163669 edges, 28585 markings/sec, 130 secs
lola: 4369735 markings, 5362883 edges, 32237 markings/sec, 135 secs
lola: 4547942 markings, 5582191 edges, 35641 markings/sec, 140 secs
lola: 4725974 markings, 5800903 edges, 35606 markings/sec, 145 secs
lola: 4901084 markings, 6015495 edges, 35022 markings/sec, 150 secs
lola: 5085393 markings, 6241897 edges, 36862 markings/sec, 155 secs
lola: 5249160 markings, 6443102 edges, 32753 markings/sec, 160 secs
lola: 5438025 markings, 6675791 edges, 37773 markings/sec, 165 secs
lola: 5612068 markings, 6890678 edges, 34809 markings/sec, 170 secs
lola: 5800325 markings, 7122255 edges, 37651 markings/sec, 175 secs
lola: 5967079 markings, 7327959 edges, 33351 markings/sec, 180 secs
lola: 6117517 markings, 7510362 edges, 30088 markings/sec, 185 secs
lola: 6259540 markings, 7683015 edges, 28405 markings/sec, 190 secs
lola: 6418082 markings, 7878786 edges, 31708 markings/sec, 195 secs
lola: 6585678 markings, 8084895 edges, 33519 markings/sec, 200 secs
lola: 6766733 markings, 8307049 edges, 36211 markings/sec, 205 secs
lola: 6923426 markings, 8499035 edges, 31339 markings/sec, 210 secs
lola: 7056184 markings, 8660007 edges, 26552 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(p940)
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: 121626 markings, 216636 edges, 24325 markings/sec, 0 secs
lola: 245268 markings, 437117 edges, 24728 markings/sec, 5 secs
lola: 368442 markings, 659596 edges, 24635 markings/sec, 10 secs
lola: 504735 markings, 899565 edges, 27259 markings/sec, 15 secs
lola: 642518 markings, 1146804 edges, 27557 markings/sec, 20 secs
lola: 773371 markings, 1377159 edges, 26171 markings/sec, 25 secs
lola: 912192 markings, 1620068 edges, 27764 markings/sec, 30 secs
lola: 1072310 markings, 1876120 edges, 32024 markings/sec, 35 secs
lola: 1214616 markings, 2120725 edges, 28461 markings/sec, 40 secs
lola: 1346068 markings, 2355234 edges, 26290 markings/sec, 45 secs
lola: 1479106 markings, 2591660 edges, 26608 markings/sec, 50 secs
lola: 1610836 markings, 2826296 edges, 26346 markings/sec, 55 secs
lola: 1735164 markings, 3048667 edges, 24866 markings/sec, 60 secs
lola: 1862461 markings, 3278564 edges, 25459 markings/sec, 65 secs
lola: 2009658 markings, 3520440 edges, 29439 markings/sec, 70 secs
lola: 2136911 markings, 3746531 edges, 25451 markings/sec, 75 secs
lola: 2274378 markings, 3985624 edges, 27493 markings/sec, 80 secs
lola: 2391174 markings, 4188581 edges, 23359 markings/sec, 85 secs
lola: 2516321 markings, 4404803 edges, 25029 markings/sec, 90 secs
lola: 2657878 markings, 4646585 edges, 28311 markings/sec, 95 secs
lola: 2775865 markings, 4857170 edges, 23597 markings/sec, 100 secs
lola: 2905213 markings, 5086504 edges, 25870 markings/sec, 105 secs
lola: 3036043 markings, 5315663 edges, 26166 markings/sec, 110 secs
lola: 3165752 markings, 5544923 edges, 25942 markings/sec, 115 secs
lola: 3309246 markings, 5798513 edges, 28699 markings/sec, 120 secs
lola: 3449183 markings, 6039200 edges, 27987 markings/sec, 125 secs
lola: 3576113 markings, 6262835 edges, 25386 markings/sec, 130 secs
lola: 3714268 markings, 6507851 edges, 27631 markings/sec, 135 secs
lola: 3857172 markings, 6758680 edges, 28581 markings/sec, 140 secs
lola: 3992484 markings, 6996825 edges, 27062 markings/sec, 145 secs
lola: 4113252 markings, 7209399 edges, 24154 markings/sec, 150 secs
lola: 4244580 markings, 7439805 edges, 26266 markings/sec, 155 secs
lola: 4392869 markings, 7696031 edges, 29658 markings/sec, 160 secs
lola: 4545088 markings, 7952696 edges, 30444 markings/sec, 165 secs
lola: 4670416 markings, 8171514 edges, 25066 markings/sec, 170 secs
lola: 4796959 markings, 8397968 edges, 25309 markings/sec, 175 secs
lola: 4915731 markings, 8610311 edges, 23754 markings/sec, 180 secs
lola: 5051545 markings, 8851292 edges, 27163 markings/sec, 185 secs
lola: 5184852 markings, 9083176 edges, 26661 markings/sec, 190 secs
lola: 5309312 markings, 9265442 edges, 24892 markings/sec, 195 secs
lola: 5435093 markings, 9458124 edges, 25156 markings/sec, 200 secs
lola: 5558904 markings, 9636159 edges, 24762 markings/sec, 205 secs
lola: 5679856 markings, 9813575 edges, 24190 markings/sec, 210 secs
lola: 5803500 markings, 9987593 edges, 24729 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(p2166)
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: 109141 markings, 131151 edges, 21828 markings/sec, 0 secs
lola: 223381 markings, 269101 edges, 22848 markings/sec, 5 secs
lola: 341709 markings, 412671 edges, 23666 markings/sec, 10 secs
lola: 445344 markings, 537993 edges, 20727 markings/sec, 15 secs
lola: 571879 markings, 692904 edges, 25307 markings/sec, 20 secs
lola: 677403 markings, 820859 edges, 21105 markings/sec, 25 secs
lola: 785863 markings, 952977 edges, 21692 markings/sec, 30 secs
lola: 888898 markings, 1076942 edges, 20607 markings/sec, 35 secs
lola: 993315 markings, 1202892 edges, 20883 markings/sec, 40 secs
lola: 1106048 markings, 1340296 edges, 22547 markings/sec, 45 secs
lola: 1213470 markings, 1471545 edges, 21484 markings/sec, 50 secs
lola: 1327683 markings, 1611462 edges, 22843 markings/sec, 55 secs
lola: 1447416 markings, 1757114 edges, 23947 markings/sec, 60 secs
lola: 1562047 markings, 1896521 edges, 22926 markings/sec, 65 secs
lola: 1713711 markings, 2081982 edges, 30333 markings/sec, 70 secs
lola: 1879019 markings, 2287678 edges, 33062 markings/sec, 75 secs
lola: 2009875 markings, 2445347 edges, 26171 markings/sec, 80 secs
lola: 2134682 markings, 2596682 edges, 24961 markings/sec, 85 secs
lola: 2261404 markings, 2752125 edges, 25344 markings/sec, 90 secs
lola: 2397398 markings, 2923107 edges, 27199 markings/sec, 95 secs
lola: 2518789 markings, 3075691 edges, 24278 markings/sec, 100 secs
lola: 2643965 markings, 3229088 edges, 25035 markings/sec, 105 secs
lola: 2769637 markings, 3385415 edges, 25134 markings/sec, 110 secs
lola: 2897033 markings, 3546588 edges, 25479 markings/sec, 115 secs
lola: 3013769 markings, 3692796 edges, 23347 markings/sec, 120 secs
lola: 3134231 markings, 3844806 edges, 24092 markings/sec, 125 secs
lola: 3256649 markings, 3995222 edges, 24484 markings/sec, 130 secs
lola: 3388647 markings, 4157506 edges, 26400 markings/sec, 135 secs
lola: 3527012 markings, 4332318 edges, 27673 markings/sec, 140 secs
lola: 3643492 markings, 4478206 edges, 23296 markings/sec, 145 secs
lola: 3753324 markings, 4615277 edges, 21966 markings/sec, 150 secs
lola: 3868864 markings, 4760008 edges, 23108 markings/sec, 155 secs
lola: 4004896 markings, 4930310 edges, 27206 markings/sec, 160 secs
lola: 4154275 markings, 5117242 edges, 29876 markings/sec, 165 secs
lola: 4289648 markings, 5286856 edges, 27075 markings/sec, 170 secs
lola: 4407843 markings, 5435403 edges, 23639 markings/sec, 175 secs
lola: 4544154 markings, 5608663 edges, 27262 markings/sec, 180 secs
lola: 4655460 markings, 5744835 edges, 22261 markings/sec, 185 secs
lola: 4773566 markings, 5894778 edges, 23621 markings/sec, 190 secs
lola: 4875164 markings, 6022597 edges, 20320 markings/sec, 195 secs
lola: 4974250 markings, 6146604 edges, 19817 markings/sec, 200 secs
lola: 5087127 markings, 6291012 edges, 22575 markings/sec, 205 secs
lola: 5194818 markings, 6427301 edges, 21538 markings/sec, 210 secs
lola: 5329953 markings, 6596897 edges, 27027 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(p1127)
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: 110798 markings, 133352 edges, 22160 markings/sec, 0 secs
lola: 221885 markings, 267597 edges, 22217 markings/sec, 5 secs
lola: 336588 markings, 405227 edges, 22941 markings/sec, 10 secs
lola: 453291 markings, 545652 edges, 23341 markings/sec, 15 secs
lola: 578697 markings, 697725 edges, 25081 markings/sec, 20 secs
lola: 702708 markings, 846821 edges, 24802 markings/sec, 25 secs
lola: 829228 markings, 998301 edges, 25304 markings/sec, 30 secs
lola: 959401 markings, 1157849 edges, 26035 markings/sec, 35 secs
lola: 1089411 markings, 1315579 edges, 26002 markings/sec, 40 secs
lola: 1216165 markings, 1470481 edges, 25351 markings/sec, 45 secs
lola: 1342081 markings, 1624059 edges, 25183 markings/sec, 50 secs
lola: 1450612 markings, 1755652 edges, 21706 markings/sec, 55 secs
lola: 1570602 markings, 1900935 edges, 23998 markings/sec, 60 secs
lola: 1704373 markings, 2063002 edges, 26754 markings/sec, 65 secs
lola: 1828459 markings, 2213623 edges, 24817 markings/sec, 70 secs
lola: 1952032 markings, 2364107 edges, 24715 markings/sec, 75 secs
lola: 2072226 markings, 2510376 edges, 24039 markings/sec, 80 secs
lola: 2193212 markings, 2657789 edges, 24197 markings/sec, 85 secs
lola: 2304392 markings, 2792838 edges, 22236 markings/sec, 90 secs
lola: 2425362 markings, 2942290 edges, 24194 markings/sec, 95 secs
lola: 2534338 markings, 3078618 edges, 21795 markings/sec, 100 secs
lola: 2653803 markings, 3225475 edges, 23893 markings/sec, 105 secs
lola: 2765582 markings, 3361775 edges, 22356 markings/sec, 110 secs
lola: 2880097 markings, 3503375 edges, 22903 markings/sec, 115 secs
lola: 2989136 markings, 3639620 edges, 21808 markings/sec, 120 secs
lola: 3102215 markings, 3780930 edges, 22616 markings/sec, 125 secs
lola: 3216812 markings, 3923468 edges, 22919 markings/sec, 130 secs
lola: 3346701 markings, 4080352 edges, 25978 markings/sec, 135 secs
lola: 3508090 markings, 4280654 edges, 32278 markings/sec, 140 secs
lola: 3663213 markings, 4474332 edges, 31025 markings/sec, 145 secs
lola: 3785467 markings, 4630470 edges, 24451 markings/sec, 150 secs
lola: 3912691 markings, 4789723 edges, 25445 markings/sec, 155 secs
lola: 4020957 markings, 4925236 edges, 21653 markings/sec, 160 secs
lola: 4136901 markings, 5069569 edges, 23189 markings/sec, 165 secs
lola: 4274809 markings, 5244025 edges, 27582 markings/sec, 170 secs
lola: 4412791 markings, 5413360 edges, 27596 markings/sec, 175 secs
lola: 4560667 markings, 5599057 edges, 29575 markings/sec, 180 secs
lola: 4676361 markings, 5744447 edges, 23139 markings/sec, 185 secs
lola: 4810347 markings, 5913086 edges, 26797 markings/sec, 190 secs
lola: 4924901 markings, 6058354 edges, 22911 markings/sec, 195 secs
lola: 5038427 markings, 6200742 edges, 22705 markings/sec, 200 secs
lola: 5155959 markings, 6348224 edges, 23506 markings/sec, 205 secs
lola: 5297354 markings, 6529918 edges, 28279 markings/sec, 210 secs
lola: 5416025 markings, 6680292 edges, 23734 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(p1115)
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: 110206 markings, 132671 edges, 22041 markings/sec, 0 secs
lola: 215801 markings, 259889 edges, 21119 markings/sec, 5 secs
lola: 336149 markings, 404140 edges, 24070 markings/sec, 10 secs
lola: 468825 markings, 563961 edges, 26535 markings/sec, 15 secs
lola: 604634 markings, 727294 edges, 27162 markings/sec, 20 secs
lola: 729418 markings, 878201 edges, 24957 markings/sec, 25 secs
lola: 869571 markings, 1050000 edges, 28031 markings/sec, 30 secs
lola: 990481 markings, 1201153 edges, 24182 markings/sec, 35 secs
lola: 1122781 markings, 1366474 edges, 26460 markings/sec, 40 secs
lola: 1289278 markings, 1572569 edges, 33299 markings/sec, 45 secs
lola: 1463790 markings, 1790187 edges, 34902 markings/sec, 50 secs
lola: 1591499 markings, 1950615 edges, 25542 markings/sec, 55 secs
lola: 1730625 markings, 2125179 edges, 27825 markings/sec, 60 secs
lola: 1859043 markings, 2281811 edges, 25684 markings/sec, 65 secs
lola: 1977856 markings, 2430677 edges, 23763 markings/sec, 70 secs
lola: 2091551 markings, 2572826 edges, 22739 markings/sec, 75 secs
lola: 2228664 markings, 2746891 edges, 27423 markings/sec, 80 secs
lola: 2387958 markings, 2945510 edges, 31859 markings/sec, 85 secs
lola: 2532760 markings, 3129472 edges, 28960 markings/sec, 90 secs
lola: 2651875 markings, 3280503 edges, 23823 markings/sec, 95 secs
lola: 2788911 markings, 3452631 edges, 27407 markings/sec, 100 secs
lola: 2922974 markings, 3615095 edges, 26813 markings/sec, 105 secs
lola: 3045629 markings, 3768475 edges, 24531 markings/sec, 110 secs
lola: 3161598 markings, 3913050 edges, 23194 markings/sec, 115 secs
lola: 3289320 markings, 4074174 edges, 25544 markings/sec, 120 secs
lola: 3456201 markings, 4283606 edges, 33376 markings/sec, 125 secs
lola: 3642683 markings, 4516052 edges, 37296 markings/sec, 130 secs
lola: 3795704 markings, 4710507 edges, 30604 markings/sec, 135 secs
lola: 3949468 markings, 4905489 edges, 30753 markings/sec, 140 secs
lola: 4072593 markings, 5056568 edges, 24625 markings/sec, 145 secs
lola: 4240426 markings, 5265358 edges, 33567 markings/sec, 150 secs
lola: 4404489 markings, 5472312 edges, 32813 markings/sec, 155 secs
lola: 4536092 markings, 5641557 edges, 26321 markings/sec, 160 secs
lola: 4655096 markings, 5790785 edges, 23801 markings/sec, 165 secs
lola: 4765354 markings, 5927558 edges, 22052 markings/sec, 170 secs
lola: 4884452 markings, 6078781 edges, 23820 markings/sec, 175 secs
lola: 5031283 markings, 6267625 edges, 29366 markings/sec, 180 secs
lola: 5147756 markings, 6417068 edges, 23295 markings/sec, 185 secs
lola: 5273986 markings, 6577671 edges, 25246 markings/sec, 190 secs
lola: 5398583 markings, 6734384 edges, 24919 markings/sec, 195 secs
lola: 5541540 markings, 6918757 edges, 28591 markings/sec, 200 secs
lola: 5651716 markings, 7060429 edges, 22035 markings/sec, 205 secs
lola: 5749762 markings, 7185909 edges, 19609 markings/sec, 210 secs
lola: 5866849 markings, 7333216 edges, 23417 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(p117)
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: 103090 markings, 133883 edges, 20618 markings/sec, 0 secs
lola: 204906 markings, 287523 edges, 20363 markings/sec, 5 secs
lola: 318961 markings, 428214 edges, 22811 markings/sec, 10 secs
lola: 433768 markings, 569223 edges, 22961 markings/sec, 15 secs
lola: 535562 markings, 694621 edges, 20359 markings/sec, 20 secs
lola: 646109 markings, 831048 edges, 22109 markings/sec, 25 secs
lola: 763464 markings, 978758 edges, 23471 markings/sec, 30 secs
lola: 873706 markings, 1119027 edges, 22048 markings/sec, 35 secs
lola: 986727 markings, 1259643 edges, 22604 markings/sec, 40 secs
lola: 1091725 markings, 1390319 edges, 21000 markings/sec, 45 secs
lola: 1207964 markings, 1538983 edges, 23248 markings/sec, 50 secs
lola: 1328546 markings, 1690710 edges, 24116 markings/sec, 55 secs
lola: 1441593 markings, 1829490 edges, 22609 markings/sec, 60 secs
lola: 1556196 markings, 1973489 edges, 22921 markings/sec, 65 secs
lola: 1656409 markings, 2121820 edges, 20043 markings/sec, 70 secs
lola: 1755564 markings, 2244743 edges, 19831 markings/sec, 75 secs
lola: 1858040 markings, 2374218 edges, 20495 markings/sec, 80 secs
lola: 1952144 markings, 2494002 edges, 18821 markings/sec, 85 secs
lola: 2042183 markings, 2607207 edges, 18008 markings/sec, 90 secs
lola: 2138796 markings, 2728624 edges, 19323 markings/sec, 95 secs
lola: 2243252 markings, 2856716 edges, 20891 markings/sec, 100 secs
lola: 2346935 markings, 2983806 edges, 20737 markings/sec, 105 secs
lola: 2433751 markings, 3089895 edges, 17363 markings/sec, 110 secs
lola: 2534659 markings, 3214880 edges, 20182 markings/sec, 115 secs
lola: 2630122 markings, 3335185 edges, 19093 markings/sec, 120 secs
lola: 2724242 markings, 3452878 edges, 18824 markings/sec, 125 secs
lola: 2833138 markings, 3586442 edges, 21779 markings/sec, 130 secs
lola: 2938187 markings, 3714863 edges, 21010 markings/sec, 135 secs
lola: 3031729 markings, 3829584 edges, 18708 markings/sec, 140 secs
lola: 3133367 markings, 3953711 edges, 20328 markings/sec, 145 secs
lola: 3215169 markings, 4054297 edges, 16360 markings/sec, 150 secs
lola: 3299631 markings, 4161418 edges, 16892 markings/sec, 155 secs
lola: 3400036 markings, 4284543 edges, 20081 markings/sec, 160 secs
lola: 3500808 markings, 4408137 edges, 20154 markings/sec, 165 secs
lola: 3584502 markings, 4510259 edges, 16739 markings/sec, 170 secs
lola: 3677964 markings, 4625774 edges, 18692 markings/sec, 175 secs
lola: 3774094 markings, 4746740 edges, 19226 markings/sec, 180 secs
lola: 3855107 markings, 4848897 edges, 16203 markings/sec, 185 secs
lola: 3953732 markings, 4969856 edges, 19725 markings/sec, 190 secs
lola: 4054124 markings, 5093111 edges, 20078 markings/sec, 195 secs
lola: 4132796 markings, 5189140 edges, 15734 markings/sec, 200 secs
lola: 4226829 markings, 5304468 edges, 18807 markings/sec, 205 secs
lola: 4313067 markings, 5409408 edges, 17248 markings/sec, 210 secs
lola: 4393450 markings, 5511034 edges, 16077 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(p2333)
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: 107643 markings, 129364 edges, 21529 markings/sec, 0 secs
lola: 217239 markings, 262004 edges, 21919 markings/sec, 5 secs
lola: 329861 markings, 397981 edges, 22524 markings/sec, 10 secs
lola: 439656 markings, 530455 edges, 21959 markings/sec, 15 secs
lola: 549104 markings, 663404 edges, 21890 markings/sec, 20 secs
lola: 655441 markings, 791704 edges, 21267 markings/sec, 25 secs
lola: 760505 markings, 918035 edges, 21013 markings/sec, 30 secs
lola: 873913 markings, 1056180 edges, 22682 markings/sec, 35 secs
lola: 989548 markings, 1196786 edges, 23127 markings/sec, 40 secs
lola: 1115618 markings, 1350475 edges, 25214 markings/sec, 45 secs
lola: 1235605 markings, 1496750 edges, 23997 markings/sec, 50 secs
lola: 1354989 markings, 1642652 edges, 23877 markings/sec, 55 secs
lola: 1463889 markings, 1775022 edges, 21780 markings/sec, 60 secs
lola: 1595254 markings, 1936740 edges, 26273 markings/sec, 65 secs
lola: 1729557 markings, 2100264 edges, 26861 markings/sec, 70 secs
lola: 1857391 markings, 2254168 edges, 25567 markings/sec, 75 secs
lola: 2003702 markings, 2430572 edges, 29262 markings/sec, 80 secs
lola: 2149799 markings, 2607134 edges, 29219 markings/sec, 85 secs
lola: 2289500 markings, 2779788 edges, 27940 markings/sec, 90 secs
lola: 2412185 markings, 2932583 edges, 24537 markings/sec, 95 secs
lola: 2537131 markings, 3088558 edges, 24989 markings/sec, 100 secs
lola: 2697268 markings, 3289520 edges, 32027 markings/sec, 105 secs
lola: 2849456 markings, 3479469 edges, 30438 markings/sec, 110 secs
lola: 2975312 markings, 3636598 edges, 25171 markings/sec, 115 secs
lola: 3124877 markings, 3823592 edges, 29913 markings/sec, 120 secs
lola: 3242937 markings, 3967838 edges, 23612 markings/sec, 125 secs
lola: 3354762 markings, 4107761 edges, 22365 markings/sec, 130 secs
lola: 3463954 markings, 4244604 edges, 21838 markings/sec, 135 secs
lola: 3597483 markings, 4414433 edges, 26706 markings/sec, 140 secs
lola: 3761836 markings, 4620062 edges, 32871 markings/sec, 145 secs
lola: 3908481 markings, 4803694 edges, 29329 markings/sec, 150 secs
lola: 4026582 markings, 4954198 edges, 23620 markings/sec, 155 secs
lola: 4171912 markings, 5138596 edges, 29066 markings/sec, 160 secs
lola: 4297425 markings, 5290064 edges, 25103 markings/sec, 165 secs
lola: 4416057 markings, 5437791 edges, 23726 markings/sec, 170 secs
lola: 4519681 markings, 5567092 edges, 20725 markings/sec, 175 secs
lola: 4627300 markings, 5701651 edges, 21524 markings/sec, 180 secs
lola: 4749152 markings, 5857090 edges, 24370 markings/sec, 185 secs
lola: 4916626 markings, 6067828 edges, 33495 markings/sec, 190 secs
lola: 5084056 markings, 6276541 edges, 33486 markings/sec, 195 secs
lola: 5225018 markings, 6455223 edges, 28192 markings/sec, 200 secs
lola: 5343134 markings, 6604908 edges, 23623 markings/sec, 205 secs
lola: 5472252 markings, 6763437 edges, 25824 markings/sec, 210 secs
lola: 5590435 markings, 6910375 edges, 23637 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-302-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-302-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-302-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-302-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-302-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-302-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-302-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-302-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-302-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-302-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-302-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-302-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-302-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-302-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-302-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-302-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496533046607

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