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

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

=== Now, execution of the tool begins

BK_START 1496533847915


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


checking for too many tokens
===========================================================================================
CloudReconfiguration-PT-317: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ CloudReconfiguration-PT-317 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5686/65536 symbol table entries, 641 collisions
lola: preprocessing...
lola: finding significant places
lola: 2587 places, 3099 transitions, 2583 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2716 transition conflict sets
lola: TASK
lola: reading formula from CloudReconfiguration-PT-317-UpperBounds.task
lola: MAX(p1773) : MAX(p661) : MAX(p1026) : MAX(p67) : MAX(p1747) : MAX(p1213) : MAX(p1993) : MAX(p1905) : MAX(p1397) : MAX(p351) : MAX(p2436) : MAX(p1635) : MAX(p2477) : MAX(p629) : MAX(p1222) : MAX(p2542)
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(p1773)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 107139 markings, 129185 edges, 21428 markings/sec, 0 secs
lola: 224352 markings, 270668 edges, 23443 markings/sec, 5 secs
lola: 364518 markings, 441579 edges, 28033 markings/sec, 10 secs
lola: 502430 markings, 610535 edges, 27582 markings/sec, 15 secs
lola: 634216 markings, 771277 edges, 26357 markings/sec, 20 secs
lola: 764832 markings, 930874 edges, 26123 markings/sec, 25 secs
lola: 899744 markings, 1096186 edges, 26982 markings/sec, 30 secs
lola: 1037740 markings, 1265494 edges, 27599 markings/sec, 35 secs
lola: 1186153 markings, 1450728 edges, 29683 markings/sec, 40 secs
lola: 1325776 markings, 1623447 edges, 27925 markings/sec, 45 secs
lola: 1453483 markings, 1779702 edges, 25541 markings/sec, 50 secs
lola: 1578588 markings, 1932604 edges, 25021 markings/sec, 55 secs
lola: 1705430 markings, 2089850 edges, 25368 markings/sec, 60 secs
lola: 1824549 markings, 2239557 edges, 23824 markings/sec, 65 secs
lola: 1953067 markings, 2399731 edges, 25704 markings/sec, 70 secs
lola: 2087034 markings, 2565017 edges, 26793 markings/sec, 75 secs
lola: 2208211 markings, 2712908 edges, 24235 markings/sec, 80 secs
lola: 2321670 markings, 2851571 edges, 22692 markings/sec, 85 secs
lola: 2440748 markings, 3000945 edges, 23816 markings/sec, 90 secs
lola: 2554314 markings, 3143398 edges, 22713 markings/sec, 95 secs
lola: 2668572 markings, 3284910 edges, 22852 markings/sec, 100 secs
lola: 2785333 markings, 3429491 edges, 23352 markings/sec, 105 secs
lola: 2914848 markings, 3589731 edges, 25903 markings/sec, 110 secs
lola: 3053867 markings, 3763346 edges, 27804 markings/sec, 115 secs
lola: 3192290 markings, 3937503 edges, 27685 markings/sec, 120 secs
lola: 3323169 markings, 4104385 edges, 26176 markings/sec, 125 secs
lola: 3449757 markings, 4265772 edges, 25318 markings/sec, 130 secs
lola: 3565504 markings, 4411764 edges, 23149 markings/sec, 135 secs
lola: 3669980 markings, 4543026 edges, 20895 markings/sec, 140 secs
lola: 3771090 markings, 4669215 edges, 20222 markings/sec, 145 secs
lola: 3881848 markings, 4809928 edges, 22152 markings/sec, 150 secs
lola: 4002679 markings, 4961127 edges, 24166 markings/sec, 155 secs
lola: 4141485 markings, 5135639 edges, 27761 markings/sec, 160 secs
lola: 4277555 markings, 5309800 edges, 27214 markings/sec, 165 secs
lola: 4399695 markings, 5466668 edges, 24428 markings/sec, 170 secs
lola: 4526978 markings, 5630330 edges, 25457 markings/sec, 175 secs
lola: 4671125 markings, 5811868 edges, 28829 markings/sec, 180 secs
lola: 4831738 markings, 6013354 edges, 32123 markings/sec, 185 secs
lola: 4977100 markings, 6199336 edges, 29072 markings/sec, 190 secs
lola: 5134864 markings, 6399703 edges, 31553 markings/sec, 195 secs
lola: 5294081 markings, 6599438 edges, 31843 markings/sec, 200 secs
lola: 5446273 markings, 6793078 edges, 30438 markings/sec, 205 secs
lola: 5592545 markings, 6976867 edges, 29254 markings/sec, 210 secs
lola: 5730043 markings, 7152371 edges, 27500 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(p661)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 135122 markings, 161930 edges, 27024 markings/sec, 0 secs
lola: 282653 markings, 338854 edges, 29506 markings/sec, 5 secs
lola: 439263 markings, 528939 edges, 31322 markings/sec, 10 secs
lola: 595233 markings, 719885 edges, 31194 markings/sec, 15 secs
lola: 751667 markings, 911427 edges, 31287 markings/sec, 20 secs
lola: 935514 markings, 1137102 edges, 36769 markings/sec, 25 secs
lola: 1092967 markings, 1329077 edges, 31491 markings/sec, 30 secs
lola: 1223390 markings, 1485732 edges, 26085 markings/sec, 35 secs
lola: 1366534 markings, 1658314 edges, 28629 markings/sec, 40 secs
lola: 1503126 markings, 1824569 edges, 27318 markings/sec, 45 secs
lola: 1646746 markings, 2001456 edges, 28724 markings/sec, 50 secs
lola: 1783452 markings, 2166462 edges, 27341 markings/sec, 55 secs
lola: 1912646 markings, 2322626 edges, 25839 markings/sec, 60 secs
lola: 2033017 markings, 2469053 edges, 24074 markings/sec, 65 secs
lola: 2171594 markings, 2638630 edges, 27715 markings/sec, 70 secs
lola: 2308603 markings, 2807272 edges, 27402 markings/sec, 75 secs
lola: 2437966 markings, 2965776 edges, 25873 markings/sec, 80 secs
lola: 2577040 markings, 3136501 edges, 27815 markings/sec, 85 secs
lola: 2711737 markings, 3301536 edges, 26939 markings/sec, 90 secs
lola: 2849009 markings, 3471188 edges, 27454 markings/sec, 95 secs
lola: 2995361 markings, 3650044 edges, 29270 markings/sec, 100 secs
lola: 3130256 markings, 3815189 edges, 26979 markings/sec, 105 secs
lola: 3258878 markings, 3973420 edges, 25724 markings/sec, 110 secs
lola: 3394538 markings, 4140256 edges, 27132 markings/sec, 115 secs
lola: 3514093 markings, 4284445 edges, 23911 markings/sec, 120 secs
lola: 3629558 markings, 4425840 edges, 23093 markings/sec, 125 secs
lola: 3755164 markings, 4580533 edges, 25121 markings/sec, 130 secs
lola: 3882022 markings, 4737417 edges, 25372 markings/sec, 135 secs
lola: 4005928 markings, 4890054 edges, 24781 markings/sec, 140 secs
lola: 4123547 markings, 5034483 edges, 23524 markings/sec, 145 secs
lola: 4250243 markings, 5189173 edges, 25339 markings/sec, 150 secs
lola: 4376844 markings, 5344890 edges, 25320 markings/sec, 155 secs
lola: 4519006 markings, 5515947 edges, 28432 markings/sec, 160 secs
lola: 4674111 markings, 5701766 edges, 31021 markings/sec, 165 secs
lola: 4804459 markings, 5860978 edges, 26070 markings/sec, 170 secs
lola: 4935642 markings, 6020418 edges, 26237 markings/sec, 175 secs
lola: 5057290 markings, 6170548 edges, 24330 markings/sec, 180 secs
lola: 5195245 markings, 6339998 edges, 27591 markings/sec, 185 secs
lola: 5328058 markings, 6503464 edges, 26563 markings/sec, 190 secs
lola: 5458367 markings, 6664523 edges, 26062 markings/sec, 195 secs
lola: 5589212 markings, 6825711 edges, 26169 markings/sec, 200 secs
lola: 5718945 markings, 6985563 edges, 25947 markings/sec, 205 secs
lola: 5858669 markings, 7157044 edges, 27945 markings/sec, 210 secs
lola: 5989447 markings, 7317788 edges, 26156 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(p1026)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 113344 markings, 136210 edges, 22669 markings/sec, 0 secs
lola: 220781 markings, 265670 edges, 21487 markings/sec, 5 secs
lola: 346397 markings, 419091 edges, 25123 markings/sec, 10 secs
lola: 473804 markings, 576613 edges, 25481 markings/sec, 15 secs
lola: 590556 markings, 720223 edges, 23350 markings/sec, 20 secs
lola: 710050 markings, 869574 edges, 23899 markings/sec, 25 secs
lola: 810930 markings, 992494 edges, 20176 markings/sec, 30 secs
lola: 917005 markings, 1124004 edges, 21215 markings/sec, 35 secs
lola: 1031132 markings, 1266760 edges, 22825 markings/sec, 40 secs
lola: 1139816 markings, 1402342 edges, 21737 markings/sec, 45 secs
lola: 1235434 markings, 1518753 edges, 19124 markings/sec, 50 secs
lola: 1338807 markings, 1644464 edges, 20675 markings/sec, 55 secs
lola: 1446798 markings, 1777472 edges, 21598 markings/sec, 60 secs
lola: 1577749 markings, 1944484 edges, 26190 markings/sec, 65 secs
lola: 1703607 markings, 2102805 edges, 25172 markings/sec, 70 secs
lola: 1824519 markings, 2257687 edges, 24182 markings/sec, 75 secs
lola: 1929495 markings, 2385617 edges, 20995 markings/sec, 80 secs
lola: 2058104 markings, 2552301 edges, 25722 markings/sec, 85 secs
lola: 2183435 markings, 2711652 edges, 25066 markings/sec, 90 secs
lola: 2299473 markings, 2860163 edges, 23208 markings/sec, 95 secs
lola: 2404637 markings, 2990868 edges, 21033 markings/sec, 100 secs
lola: 2517558 markings, 3128079 edges, 22584 markings/sec, 105 secs
lola: 2662126 markings, 3311785 edges, 28914 markings/sec, 110 secs
lola: 2808557 markings, 3496609 edges, 29286 markings/sec, 115 secs
lola: 2953732 markings, 3678096 edges, 29035 markings/sec, 120 secs
lola: 3069434 markings, 3821124 edges, 23140 markings/sec, 125 secs
lola: 3181761 markings, 3958097 edges, 22465 markings/sec, 130 secs
lola: 3316415 markings, 4131517 edges, 26931 markings/sec, 135 secs
lola: 3450644 markings, 4301607 edges, 26846 markings/sec, 140 secs
lola: 3568926 markings, 4449628 edges, 23656 markings/sec, 145 secs
lola: 3681209 markings, 4592949 edges, 22457 markings/sec, 150 secs
lola: 3794783 markings, 4734494 edges, 22715 markings/sec, 155 secs
lola: 3915129 markings, 4883024 edges, 24069 markings/sec, 160 secs
lola: 3989253 markings, 4976028 edges, 14825 markings/sec, 165 secs
lola: 4112808 markings, 5130722 edges, 24711 markings/sec, 170 secs
lola: 4198117 markings, 5234443 edges, 17062 markings/sec, 175 secs
lola: 4340773 markings, 5416751 edges, 28531 markings/sec, 180 secs
lola: 4446378 markings, 5545782 edges, 21121 markings/sec, 185 secs
lola: 4555772 markings, 5680755 edges, 21879 markings/sec, 190 secs
lola: 4664528 markings, 5816478 edges, 21751 markings/sec, 195 secs
lola: 4744723 markings, 5918260 edges, 16039 markings/sec, 200 secs
lola: 4853835 markings, 6052089 edges, 21822 markings/sec, 205 secs
lola: 4961684 markings, 6184145 edges, 21570 markings/sec, 210 secs
lola: 5048120 markings, 6296928 edges, 17287 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(p67)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 98205 markings, 119718 edges, 19641 markings/sec, 0 secs
lola: 194259 markings, 236599 edges, 19211 markings/sec, 5 secs
lola: 299600 markings, 368212 edges, 21068 markings/sec, 10 secs
lola: 396445 markings, 486754 edges, 19369 markings/sec, 15 secs
lola: 493797 markings, 608977 edges, 19470 markings/sec, 20 secs
lola: 584118 markings, 719255 edges, 18064 markings/sec, 25 secs
lola: 668988 markings, 823080 edges, 16974 markings/sec, 30 secs
lola: 771371 markings, 951978 edges, 20477 markings/sec, 35 secs
lola: 869206 markings, 1073615 edges, 19567 markings/sec, 40 secs
lola: 959981 markings, 1186121 edges, 18155 markings/sec, 45 secs
lola: 1038593 markings, 1281935 edges, 15722 markings/sec, 50 secs
lola: 1121239 markings, 1382532 edges, 16529 markings/sec, 55 secs
lola: 1210255 markings, 1490551 edges, 17803 markings/sec, 60 secs
lola: 1313614 markings, 1622023 edges, 20672 markings/sec, 65 secs
lola: 1420717 markings, 1759057 edges, 21421 markings/sec, 70 secs
lola: 1529582 markings, 1894475 edges, 21773 markings/sec, 75 secs
lola: 1632208 markings, 2026363 edges, 20525 markings/sec, 80 secs
lola: 1727279 markings, 2142259 edges, 19014 markings/sec, 85 secs
lola: 1836964 markings, 2284500 edges, 21937 markings/sec, 90 secs
lola: 1937842 markings, 2413888 edges, 20176 markings/sec, 95 secs
lola: 2038889 markings, 2540736 edges, 20209 markings/sec, 100 secs
lola: 2136490 markings, 2666008 edges, 19520 markings/sec, 105 secs
lola: 2212290 markings, 2759517 edges, 15160 markings/sec, 110 secs
lola: 2305051 markings, 2872137 edges, 18552 markings/sec, 115 secs
lola: 2404919 markings, 2999223 edges, 19974 markings/sec, 120 secs
lola: 2517777 markings, 3143436 edges, 22572 markings/sec, 125 secs
lola: 2632355 markings, 3285823 edges, 22916 markings/sec, 130 secs
lola: 2740235 markings, 3420722 edges, 21576 markings/sec, 135 secs
lola: 2835590 markings, 3538495 edges, 19071 markings/sec, 140 secs
lola: 2927904 markings, 3651678 edges, 18463 markings/sec, 145 secs
lola: 3023375 markings, 3770251 edges, 19094 markings/sec, 150 secs
lola: 3133855 markings, 3912969 edges, 22096 markings/sec, 155 secs
lola: 3242565 markings, 4050925 edges, 21742 markings/sec, 160 secs
lola: 3347232 markings, 4181981 edges, 20933 markings/sec, 165 secs
lola: 3443822 markings, 4302193 edges, 19318 markings/sec, 170 secs
lola: 3552891 markings, 4442520 edges, 21814 markings/sec, 175 secs
lola: 3648911 markings, 4561184 edges, 19204 markings/sec, 180 secs
lola: 3742926 markings, 4676085 edges, 18803 markings/sec, 185 secs
lola: 3821015 markings, 4776544 edges, 15618 markings/sec, 190 secs
lola: 3929729 markings, 4910812 edges, 21743 markings/sec, 195 secs
lola: 3996562 markings, 4991930 edges, 13367 markings/sec, 200 secs
lola: 4099735 markings, 5124485 edges, 20635 markings/sec, 205 secs
lola: 4207616 markings, 5258125 edges, 21576 markings/sec, 210 secs
lola: 4284060 markings, 5351265 edges, 15289 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(p1747)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 122273 markings, 146827 edges, 24455 markings/sec, 0 secs
lola: 271309 markings, 328201 edges, 29807 markings/sec, 5 secs
lola: 409237 markings, 496881 edges, 27586 markings/sec, 10 secs
lola: 537208 markings, 653065 edges, 25594 markings/sec, 15 secs
lola: 655382 markings, 797531 edges, 23635 markings/sec, 20 secs
lola: 781464 markings, 951983 edges, 25216 markings/sec, 25 secs
lola: 904784 markings, 1103309 edges, 24664 markings/sec, 30 secs
lola: 1035910 markings, 1265633 edges, 26225 markings/sec, 35 secs
lola: 1162822 markings, 1424483 edges, 25382 markings/sec, 40 secs
lola: 1292047 markings, 1582983 edges, 25845 markings/sec, 45 secs
lola: 1416280 markings, 1734884 edges, 24847 markings/sec, 50 secs
lola: 1549777 markings, 1898703 edges, 26699 markings/sec, 55 secs
lola: 1682439 markings, 2065156 edges, 26532 markings/sec, 60 secs
lola: 1809198 markings, 2223988 edges, 25352 markings/sec, 65 secs
lola: 1940218 markings, 2386728 edges, 26204 markings/sec, 70 secs
lola: 2065481 markings, 2539212 edges, 25053 markings/sec, 75 secs
lola: 2177804 markings, 2675899 edges, 22465 markings/sec, 80 secs
lola: 2300819 markings, 2830185 edges, 24603 markings/sec, 85 secs
lola: 2413247 markings, 2970314 edges, 22486 markings/sec, 90 secs
lola: 2530078 markings, 3115752 edges, 23366 markings/sec, 95 secs
lola: 2646032 markings, 3259903 edges, 23191 markings/sec, 100 secs
lola: 2770418 markings, 3413225 edges, 24877 markings/sec, 105 secs
lola: 2923250 markings, 3604376 edges, 30566 markings/sec, 110 secs
lola: 3066092 markings, 3783193 edges, 28568 markings/sec, 115 secs
lola: 3204278 markings, 3960315 edges, 27637 markings/sec, 120 secs
lola: 3332831 markings, 4123807 edges, 25711 markings/sec, 125 secs
lola: 3450142 markings, 4271946 edges, 23462 markings/sec, 130 secs
lola: 3556984 markings, 4405560 edges, 21368 markings/sec, 135 secs
lola: 3660796 markings, 4535820 edges, 20762 markings/sec, 140 secs
lola: 3777428 markings, 4683496 edges, 23326 markings/sec, 145 secs
lola: 3914016 markings, 4854833 edges, 27318 markings/sec, 150 secs
lola: 4044527 markings, 5018749 edges, 26102 markings/sec, 155 secs
lola: 4172007 markings, 5182202 edges, 25496 markings/sec, 160 secs
lola: 4295979 markings, 5341587 edges, 24794 markings/sec, 165 secs
lola: 4425313 markings, 5509235 edges, 25867 markings/sec, 170 secs
lola: 4582517 markings, 5705375 edges, 31441 markings/sec, 175 secs
lola: 4738415 markings, 5901756 edges, 31180 markings/sec, 180 secs
lola: 4890543 markings, 6095839 edges, 30426 markings/sec, 185 secs
lola: 5047376 markings, 6293815 edges, 31367 markings/sec, 190 secs
lola: 5208304 markings, 6498137 edges, 32186 markings/sec, 195 secs
lola: 5372310 markings, 6705182 edges, 32801 markings/sec, 200 secs
lola: 5523087 markings, 6895660 edges, 30155 markings/sec, 205 secs
lola: 5671824 markings, 7085120 edges, 29747 markings/sec, 210 secs
lola: 5824278 markings, 7281431 edges, 30491 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(p1213)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 113119 markings, 135721 edges, 22624 markings/sec, 0 secs
lola: 229805 markings, 276506 edges, 23337 markings/sec, 5 secs
lola: 345246 markings, 416636 edges, 23088 markings/sec, 10 secs
lola: 471413 markings, 570762 edges, 25233 markings/sec, 15 secs
lola: 602430 markings, 733990 edges, 26203 markings/sec, 20 secs
lola: 703983 markings, 858395 edges, 20311 markings/sec, 25 secs
lola: 812894 markings, 994262 edges, 21782 markings/sec, 30 secs
lola: 902996 markings, 1103920 edges, 18020 markings/sec, 35 secs
lola: 1007865 markings, 1234304 edges, 20974 markings/sec, 40 secs
lola: 1121774 markings, 1377137 edges, 22782 markings/sec, 45 secs
lola: 1223077 markings, 1502808 edges, 20261 markings/sec, 50 secs
lola: 1318078 markings, 1618612 edges, 19000 markings/sec, 55 secs
lola: 1423944 markings, 1747359 edges, 21173 markings/sec, 60 secs
lola: 1547196 markings, 1900957 edges, 24650 markings/sec, 65 secs
lola: 1675523 markings, 2065529 edges, 25665 markings/sec, 70 secs
lola: 1806963 markings, 2229268 edges, 26288 markings/sec, 75 secs
lola: 1924565 markings, 2378593 edges, 23520 markings/sec, 80 secs
lola: 2035606 markings, 2516833 edges, 22208 markings/sec, 85 secs
lola: 2168459 markings, 2689995 edges, 26571 markings/sec, 90 secs
lola: 2303368 markings, 2859093 edges, 26982 markings/sec, 95 secs
lola: 2418314 markings, 3006417 edges, 22989 markings/sec, 100 secs
lola: 2519579 markings, 3129823 edges, 20253 markings/sec, 105 secs
lola: 2637168 markings, 3275251 edges, 23518 markings/sec, 110 secs
lola: 2780917 markings, 3459569 edges, 28750 markings/sec, 115 secs
lola: 2922859 markings, 3636898 edges, 28388 markings/sec, 120 secs
lola: 3046051 markings, 3790391 edges, 24638 markings/sec, 125 secs
lola: 3157883 markings, 3927964 edges, 22366 markings/sec, 130 secs
lola: 3268581 markings, 4063111 edges, 22140 markings/sec, 135 secs
lola: 3410956 markings, 4247868 edges, 28475 markings/sec, 140 secs
lola: 3542457 markings, 4414141 edges, 26300 markings/sec, 145 secs
lola: 3669547 markings, 4572441 edges, 25418 markings/sec, 150 secs
lola: 3794316 markings, 4731718 edges, 24954 markings/sec, 155 secs
lola: 3909534 markings, 4874824 edges, 23044 markings/sec, 160 secs
lola: 4021424 markings, 5011529 edges, 22378 markings/sec, 165 secs
lola: 4126842 markings, 5146467 edges, 21084 markings/sec, 170 secs
lola: 4233999 markings, 5277506 edges, 21431 markings/sec, 175 secs
lola: 4334551 markings, 5404642 edges, 20110 markings/sec, 180 secs
lola: 4480394 markings, 5586646 edges, 29169 markings/sec, 185 secs
lola: 4579649 markings, 5707801 edges, 19851 markings/sec, 190 secs
lola: 4698055 markings, 5855540 edges, 23681 markings/sec, 195 secs
lola: 4798273 markings, 5981789 edges, 20044 markings/sec, 200 secs
lola: 4913939 markings, 6124569 edges, 23133 markings/sec, 205 secs
lola: 5026807 markings, 6262592 edges, 22574 markings/sec, 210 secs
lola: 5116395 markings, 6378715 edges, 17918 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(p1993)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 139292 markings, 176517 edges, 27858 markings/sec, 0 secs
lola: 291737 markings, 369346 edges, 30489 markings/sec, 5 secs
lola: 449251 markings, 565899 edges, 31503 markings/sec, 10 secs
lola: 602554 markings, 760952 edges, 30661 markings/sec, 15 secs
lola: 756747 markings, 957490 edges, 30839 markings/sec, 20 secs
lola: 908209 markings, 1150774 edges, 30292 markings/sec, 25 secs
lola: 1064751 markings, 1349329 edges, 31308 markings/sec, 30 secs
lola: 1223202 markings, 1547326 edges, 31690 markings/sec, 35 secs
lola: 1376215 markings, 1737374 edges, 30603 markings/sec, 40 secs
lola: 1516514 markings, 1912880 edges, 28060 markings/sec, 45 secs
lola: 1661139 markings, 2092440 edges, 28925 markings/sec, 50 secs
lola: 1794801 markings, 2261248 edges, 26732 markings/sec, 55 secs
lola: 1924743 markings, 2429687 edges, 25988 markings/sec, 60 secs
lola: 2045939 markings, 2588510 edges, 24239 markings/sec, 65 secs
lola: 2171765 markings, 2751125 edges, 25165 markings/sec, 70 secs
lola: 2301646 markings, 2915225 edges, 25976 markings/sec, 75 secs
lola: 2439574 markings, 3091454 edges, 27586 markings/sec, 80 secs
lola: 2563381 markings, 3252164 edges, 24761 markings/sec, 85 secs
lola: 2695530 markings, 3417057 edges, 26430 markings/sec, 90 secs
lola: 2824381 markings, 3578345 edges, 25770 markings/sec, 95 secs
lola: 2944704 markings, 3730886 edges, 24065 markings/sec, 100 secs
lola: 3056773 markings, 3873704 edges, 22414 markings/sec, 105 secs
lola: 3174978 markings, 4024636 edges, 23641 markings/sec, 110 secs
lola: 3299632 markings, 4186252 edges, 24931 markings/sec, 115 secs
lola: 3421311 markings, 4340345 edges, 24336 markings/sec, 120 secs
lola: 3541646 markings, 4496051 edges, 24067 markings/sec, 125 secs
lola: 3666592 markings, 4654896 edges, 24989 markings/sec, 130 secs
lola: 3788016 markings, 4812432 edges, 24285 markings/sec, 135 secs
lola: 3914075 markings, 4974471 edges, 25212 markings/sec, 140 secs
lola: 4036191 markings, 5133312 edges, 24423 markings/sec, 145 secs
lola: 4168536 markings, 5300040 edges, 26469 markings/sec, 150 secs
lola: 4299110 markings, 5463129 edges, 26115 markings/sec, 155 secs
lola: 4400405 markings, 5598826 edges, 20259 markings/sec, 160 secs
lola: 4534003 markings, 5769250 edges, 26720 markings/sec, 165 secs
lola: 4655224 markings, 5921309 edges, 24244 markings/sec, 170 secs
lola: 4777786 markings, 6075739 edges, 24512 markings/sec, 175 secs
lola: 4878486 markings, 6207748 edges, 20140 markings/sec, 180 secs
lola: 4979390 markings, 6341439 edges, 20181 markings/sec, 185 secs
lola: 5065832 markings, 6455040 edges, 17288 markings/sec, 190 secs
lola: 5180832 markings, 6599483 edges, 23000 markings/sec, 195 secs
lola: 5267881 markings, 6716320 edges, 17410 markings/sec, 200 secs
lola: 5348950 markings, 6827958 edges, 16214 markings/sec, 205 secs
lola: 5424259 markings, 6925352 edges, 15062 markings/sec, 210 secs
lola: 5499890 markings, 7024570 edges, 15126 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(p1905)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 130583 markings, 154862 edges, 26117 markings/sec, 0 secs
lola: 247182 markings, 294763 edges, 23320 markings/sec, 5 secs
lola: 349461 markings, 418491 edges, 20456 markings/sec, 10 secs
lola: 477220 markings, 570669 edges, 25552 markings/sec, 15 secs
lola: 625352 markings, 746930 edges, 29626 markings/sec, 20 secs
lola: 775966 markings, 926092 edges, 30123 markings/sec, 25 secs
lola: 921844 markings, 1099805 edges, 29176 markings/sec, 30 secs
lola: 1067618 markings, 1273042 edges, 29155 markings/sec, 35 secs
lola: 1232662 markings, 1469511 edges, 33009 markings/sec, 40 secs
lola: 1399124 markings, 1667716 edges, 33292 markings/sec, 45 secs
lola: 1556642 markings, 1856016 edges, 31504 markings/sec, 50 secs
lola: 1748836 markings, 2083803 edges, 38439 markings/sec, 55 secs
lola: 1930039 markings, 2299163 edges, 36241 markings/sec, 60 secs
lola: 2112922 markings, 2517370 edges, 36577 markings/sec, 65 secs
lola: 2307650 markings, 2748964 edges, 38946 markings/sec, 70 secs
lola: 2485794 markings, 2961305 edges, 35629 markings/sec, 75 secs
lola: 2677946 markings, 3189885 edges, 38430 markings/sec, 80 secs
lola: 2799887 markings, 3335246 edges, 24388 markings/sec, 85 secs
lola: 2939492 markings, 3501581 edges, 27921 markings/sec, 90 secs
lola: 3098755 markings, 3690648 edges, 31853 markings/sec, 95 secs
lola: 3257179 markings, 3878421 edges, 31685 markings/sec, 100 secs
lola: 3423455 markings, 4075068 edges, 33255 markings/sec, 105 secs
lola: 3544781 markings, 4220942 edges, 24265 markings/sec, 110 secs
lola: 3646634 markings, 4346071 edges, 20371 markings/sec, 115 secs
lola: 3752346 markings, 4474422 edges, 21142 markings/sec, 120 secs
lola: 3863283 markings, 4607456 edges, 22187 markings/sec, 125 secs
lola: 3981136 markings, 4748675 edges, 23571 markings/sec, 130 secs
lola: 4100591 markings, 4891671 edges, 23891 markings/sec, 135 secs
lola: 4224157 markings, 5039818 edges, 24713 markings/sec, 140 secs
lola: 4346243 markings, 5186298 edges, 24417 markings/sec, 145 secs
lola: 4484812 markings, 5352411 edges, 27714 markings/sec, 150 secs
lola: 4656410 markings, 5558148 edges, 34320 markings/sec, 155 secs
lola: 4823033 markings, 5758136 edges, 33325 markings/sec, 160 secs
lola: 4963032 markings, 5926712 edges, 28000 markings/sec, 165 secs
lola: 5119831 markings, 6114081 edges, 31360 markings/sec, 170 secs
lola: 5270767 markings, 6295109 edges, 30187 markings/sec, 175 secs
lola: 5446666 markings, 6506088 edges, 35180 markings/sec, 180 secs
lola: 5629321 markings, 6725522 edges, 36531 markings/sec, 185 secs
lola: 5802629 markings, 6933456 edges, 34662 markings/sec, 190 secs
lola: 5984304 markings, 7151416 edges, 36335 markings/sec, 195 secs
lola: 6118722 markings, 7312670 edges, 26884 markings/sec, 200 secs
lola: 6242311 markings, 7460961 edges, 24718 markings/sec, 205 secs
lola: 6399496 markings, 7648765 edges, 31437 markings/sec, 210 secs
lola: 6537588 markings, 7813288 edges, 27618 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(p1397)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 113556 markings, 203916 edges, 22711 markings/sec, 0 secs
lola: 237394 markings, 421007 edges, 24768 markings/sec, 5 secs
lola: 347440 markings, 618991 edges, 22009 markings/sec, 10 secs
lola: 488446 markings, 859754 edges, 28201 markings/sec, 15 secs
lola: 630084 markings, 1077988 edges, 28328 markings/sec, 20 secs
lola: 770560 markings, 1286326 edges, 28095 markings/sec, 25 secs
lola: 895689 markings, 1473759 edges, 25026 markings/sec, 30 secs
lola: 1016245 markings, 1635378 edges, 24111 markings/sec, 35 secs
lola: 1135757 markings, 1795865 edges, 23902 markings/sec, 40 secs
lola: 1255263 markings, 1958903 edges, 23901 markings/sec, 45 secs
lola: 1368877 markings, 2109617 edges, 22723 markings/sec, 50 secs
lola: 1485538 markings, 2269429 edges, 23332 markings/sec, 55 secs
lola: 1598917 markings, 2428306 edges, 22676 markings/sec, 60 secs
lola: 1710297 markings, 2588085 edges, 22276 markings/sec, 65 secs
lola: 1819986 markings, 2740656 edges, 21938 markings/sec, 70 secs
lola: 1922221 markings, 2876317 edges, 20447 markings/sec, 75 secs
lola: 2029891 markings, 3023285 edges, 21534 markings/sec, 80 secs
lola: 2137792 markings, 3171156 edges, 21580 markings/sec, 85 secs
lola: 2247599 markings, 3321615 edges, 21961 markings/sec, 90 secs
lola: 2360939 markings, 3478009 edges, 22668 markings/sec, 95 secs
lola: 2469243 markings, 3626661 edges, 21661 markings/sec, 100 secs
lola: 2572897 markings, 3759878 edges, 20731 markings/sec, 105 secs
lola: 2673565 markings, 3899003 edges, 20134 markings/sec, 110 secs
lola: 2779421 markings, 4037969 edges, 21171 markings/sec, 115 secs
lola: 2886725 markings, 4192887 edges, 21461 markings/sec, 120 secs
lola: 3018723 markings, 4394239 edges, 26400 markings/sec, 125 secs
lola: 3129043 markings, 4549958 edges, 22064 markings/sec, 130 secs
lola: 3252259 markings, 4710385 edges, 24643 markings/sec, 135 secs
lola: 3372085 markings, 4862270 edges, 23965 markings/sec, 140 secs
lola: 3484002 markings, 5002844 edges, 22383 markings/sec, 145 secs
lola: 3606281 markings, 5167673 edges, 24456 markings/sec, 150 secs
lola: 3719751 markings, 5316547 edges, 22694 markings/sec, 155 secs
lola: 3840946 markings, 5486643 edges, 24239 markings/sec, 160 secs
lola: 3964197 markings, 5653618 edges, 24650 markings/sec, 165 secs
lola: 4079773 markings, 5798850 edges, 23115 markings/sec, 170 secs
lola: 4209947 markings, 5983711 edges, 26035 markings/sec, 175 secs
lola: 4356857 markings, 6201152 edges, 29382 markings/sec, 180 secs
lola: 4486114 markings, 6378931 edges, 25851 markings/sec, 185 secs
lola: 4626313 markings, 6579437 edges, 28040 markings/sec, 190 secs
lola: 4792707 markings, 6825513 edges, 33279 markings/sec, 195 secs
lola: 4932332 markings, 7003064 edges, 27925 markings/sec, 200 secs
lola: 5065207 markings, 7179453 edges, 26575 markings/sec, 205 secs
lola: 5267989 markings, 7500186 edges, 40556 markings/sec, 210 secs
lola: 5436324 markings, 7744442 edges, 33667 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(p351)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 84382 markings, 120590 edges, 16876 markings/sec, 0 secs
lola: 168735 markings, 304330 edges, 16871 markings/sec, 5 secs
lola: 255426 markings, 497698 edges, 17338 markings/sec, 10 secs
lola: 340264 markings, 672741 edges, 16968 markings/sec, 15 secs
lola: 424126 markings, 848418 edges, 16772 markings/sec, 20 secs
lola: 515373 markings, 1036090 edges, 18249 markings/sec, 25 secs
lola: 613562 markings, 1255066 edges, 19638 markings/sec, 30 secs
lola: 708335 markings, 1469758 edges, 18955 markings/sec, 35 secs
lola: 799952 markings, 1664401 edges, 18323 markings/sec, 40 secs
lola: 890668 markings, 1865483 edges, 18143 markings/sec, 45 secs
lola: 979322 markings, 2062055 edges, 17731 markings/sec, 50 secs
lola: 1066233 markings, 2252887 edges, 17382 markings/sec, 55 secs
lola: 1152247 markings, 2441603 edges, 17203 markings/sec, 60 secs
lola: 1231825 markings, 2624655 edges, 15916 markings/sec, 65 secs
lola: 1321712 markings, 2814606 edges, 17977 markings/sec, 70 secs
lola: 1413191 markings, 3011624 edges, 18296 markings/sec, 75 secs
lola: 1499600 markings, 3196241 edges, 17282 markings/sec, 80 secs
lola: 1586693 markings, 3390233 edges, 17419 markings/sec, 85 secs
lola: 1671369 markings, 3577680 edges, 16935 markings/sec, 90 secs
lola: 1756406 markings, 3763539 edges, 17007 markings/sec, 95 secs
lola: 1840692 markings, 3948174 edges, 16857 markings/sec, 100 secs
lola: 1925897 markings, 4142102 edges, 17041 markings/sec, 105 secs
lola: 2009422 markings, 4324801 edges, 16705 markings/sec, 110 secs
lola: 2088970 markings, 4500906 edges, 15910 markings/sec, 115 secs
lola: 2165641 markings, 4659832 edges, 15334 markings/sec, 120 secs
lola: 2240732 markings, 4830604 edges, 15018 markings/sec, 125 secs
lola: 2317665 markings, 4999397 edges, 15387 markings/sec, 130 secs
lola: 2391411 markings, 5160662 edges, 14749 markings/sec, 135 secs
lola: 2467270 markings, 5325451 edges, 15172 markings/sec, 140 secs
lola: 2541950 markings, 5493282 edges, 14936 markings/sec, 145 secs
lola: 2621144 markings, 5670793 edges, 15839 markings/sec, 150 secs
lola: 2695825 markings, 5846191 edges, 14936 markings/sec, 155 secs
lola: 2774683 markings, 6007545 edges, 15772 markings/sec, 160 secs
lola: 2854179 markings, 6188093 edges, 15899 markings/sec, 165 secs
lola: 2928060 markings, 6343705 edges, 14776 markings/sec, 170 secs
lola: 2999889 markings, 6502980 edges, 14366 markings/sec, 175 secs
lola: 3073001 markings, 6664529 edges, 14622 markings/sec, 180 secs
lola: 3145450 markings, 6828437 edges, 14490 markings/sec, 185 secs
lola: 3214028 markings, 6981424 edges, 13716 markings/sec, 190 secs
lola: 3286521 markings, 7140116 edges, 14499 markings/sec, 195 secs
lola: 3356470 markings, 7293223 edges, 13990 markings/sec, 200 secs
lola: 3431832 markings, 7460710 edges, 15072 markings/sec, 205 secs
lola: 3508669 markings, 7627460 edges, 15367 markings/sec, 210 secs
lola: 3584016 markings, 7800771 edges, 15069 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(p2436)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 116574 markings, 140092 edges, 23315 markings/sec, 0 secs
lola: 252814 markings, 305411 edges, 27248 markings/sec, 5 secs
lola: 398233 markings, 484989 edges, 29084 markings/sec, 10 secs
lola: 552859 markings, 678382 edges, 30925 markings/sec, 15 secs
lola: 672998 markings, 824742 edges, 24028 markings/sec, 20 secs
lola: 796658 markings, 978696 edges, 24732 markings/sec, 25 secs
lola: 922885 markings, 1135099 edges, 25245 markings/sec, 30 secs
lola: 1032359 markings, 1268947 edges, 21895 markings/sec, 35 secs
lola: 1150299 markings, 1416507 edges, 23588 markings/sec, 40 secs
lola: 1271706 markings, 1567793 edges, 24281 markings/sec, 45 secs
lola: 1396673 markings, 1722510 edges, 24993 markings/sec, 50 secs
lola: 1509801 markings, 1860340 edges, 22626 markings/sec, 55 secs
lola: 1637167 markings, 2015915 edges, 25473 markings/sec, 60 secs
lola: 1760667 markings, 2166517 edges, 24700 markings/sec, 65 secs
lola: 1889069 markings, 2330116 edges, 25680 markings/sec, 70 secs
lola: 2015585 markings, 2490143 edges, 25303 markings/sec, 75 secs
lola: 2143978 markings, 2653246 edges, 25679 markings/sec, 80 secs
lola: 2255808 markings, 2789444 edges, 22366 markings/sec, 85 secs
lola: 2382684 markings, 2947277 edges, 25375 markings/sec, 90 secs
lola: 2512792 markings, 3115077 edges, 26022 markings/sec, 95 secs
lola: 2632993 markings, 3266849 edges, 24040 markings/sec, 100 secs
lola: 2744242 markings, 3408750 edges, 22250 markings/sec, 105 secs
lola: 2863103 markings, 3555378 edges, 23772 markings/sec, 110 secs
lola: 2980938 markings, 3698701 edges, 23567 markings/sec, 115 secs
lola: 3135568 markings, 3893392 edges, 30926 markings/sec, 120 secs
lola: 3284035 markings, 4081690 edges, 29693 markings/sec, 125 secs
lola: 3415838 markings, 4245736 edges, 26361 markings/sec, 130 secs
lola: 3543097 markings, 4402006 edges, 25452 markings/sec, 135 secs
lola: 3660486 markings, 4547088 edges, 23478 markings/sec, 140 secs
lola: 3783882 markings, 4699108 edges, 24679 markings/sec, 145 secs
lola: 3921642 markings, 4873184 edges, 27552 markings/sec, 150 secs
lola: 4056176 markings, 5045257 edges, 26907 markings/sec, 155 secs
lola: 4182363 markings, 5203463 edges, 25237 markings/sec, 160 secs
lola: 4323188 markings, 5381234 edges, 28165 markings/sec, 165 secs
lola: 4449781 markings, 5537037 edges, 25319 markings/sec, 170 secs
lola: 4563073 markings, 5675066 edges, 22658 markings/sec, 175 secs
lola: 4689837 markings, 5830514 edges, 25353 markings/sec, 180 secs
lola: 4785486 markings, 5947034 edges, 19130 markings/sec, 185 secs
lola: 4875719 markings, 6058916 edges, 18047 markings/sec, 190 secs
lola: 4978940 markings, 6188073 edges, 20644 markings/sec, 195 secs
lola: 5048689 markings, 6276860 edges, 13950 markings/sec, 200 secs
lola: 5155645 markings, 6408782 edges, 21391 markings/sec, 205 secs
lola: 5271483 markings, 6550823 edges, 23168 markings/sec, 210 secs
lola: 5345435 markings, 6640598 edges, 14790 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(p1635)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 141958 markings, 182472 edges, 28392 markings/sec, 0 secs
lola: 286667 markings, 362532 edges, 28942 markings/sec, 5 secs
lola: 437238 markings, 551084 edges, 30114 markings/sec, 10 secs
lola: 570949 markings, 716118 edges, 26742 markings/sec, 15 secs
lola: 707642 markings, 887721 edges, 27339 markings/sec, 20 secs
lola: 833349 markings, 1044131 edges, 25141 markings/sec, 25 secs
lola: 939823 markings, 1175065 edges, 21295 markings/sec, 30 secs
lola: 1058848 markings, 1323466 edges, 23805 markings/sec, 35 secs
lola: 1206754 markings, 1511922 edges, 29581 markings/sec, 40 secs
lola: 1349939 markings, 1692693 edges, 28637 markings/sec, 45 secs
lola: 1475759 markings, 1852851 edges, 25164 markings/sec, 50 secs
lola: 1602429 markings, 2011856 edges, 25334 markings/sec, 55 secs
lola: 1744012 markings, 2195361 edges, 28317 markings/sec, 60 secs
lola: 1870951 markings, 2355782 edges, 25388 markings/sec, 65 secs
lola: 1993711 markings, 2512135 edges, 24552 markings/sec, 70 secs
lola: 2114627 markings, 2662424 edges, 24183 markings/sec, 75 secs
lola: 2269616 markings, 2860048 edges, 30998 markings/sec, 80 secs
lola: 2421402 markings, 3052054 edges, 30357 markings/sec, 85 secs
lola: 2554793 markings, 3219991 edges, 26678 markings/sec, 90 secs
lola: 2680727 markings, 3379265 edges, 25187 markings/sec, 95 secs
lola: 2788529 markings, 3513817 edges, 21560 markings/sec, 100 secs
lola: 2931783 markings, 3698859 edges, 28651 markings/sec, 105 secs
lola: 3068434 markings, 3871308 edges, 27330 markings/sec, 110 secs
lola: 3201684 markings, 4038938 edges, 26650 markings/sec, 115 secs
lola: 3336865 markings, 4212480 edges, 27036 markings/sec, 120 secs
lola: 3442397 markings, 4343750 edges, 21106 markings/sec, 125 secs
lola: 3564670 markings, 4495110 edges, 24455 markings/sec, 130 secs
lola: 3665342 markings, 4624685 edges, 20134 markings/sec, 135 secs
lola: 3770488 markings, 4755606 edges, 21029 markings/sec, 140 secs
lola: 3876928 markings, 4887873 edges, 21288 markings/sec, 145 secs
lola: 3969589 markings, 5004374 edges, 18532 markings/sec, 150 secs
lola: 4086764 markings, 5160326 edges, 23435 markings/sec, 155 secs
lola: 4206918 markings, 5310279 edges, 24031 markings/sec, 160 secs
lola: 4293738 markings, 5419658 edges, 17364 markings/sec, 165 secs
lola: 4413323 markings, 5571080 edges, 23917 markings/sec, 170 secs
lola: 4512486 markings, 5694438 edges, 19833 markings/sec, 175 secs
lola: 4624970 markings, 5837796 edges, 22497 markings/sec, 180 secs
lola: 4739343 markings, 5982223 edges, 22875 markings/sec, 185 secs
lola: 4823179 markings, 6087761 edges, 16767 markings/sec, 190 secs
lola: 4962780 markings, 6275040 edges, 27920 markings/sec, 195 secs
lola: 5063972 markings, 6400781 edges, 20238 markings/sec, 200 secs
lola: 5183214 markings, 6549926 edges, 23848 markings/sec, 205 secs
lola: 5283103 markings, 6675379 edges, 19978 markings/sec, 210 secs
lola: 5397898 markings, 6817436 edges, 22959 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(p2477)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 111529 markings, 134161 edges, 22306 markings/sec, 0 secs
lola: 224285 markings, 270279 edges, 22551 markings/sec, 5 secs
lola: 338007 markings, 406985 edges, 22744 markings/sec, 10 secs
lola: 485912 markings, 588340 edges, 29581 markings/sec, 15 secs
lola: 627938 markings, 763086 edges, 28405 markings/sec, 20 secs
lola: 769765 markings, 941354 edges, 28365 markings/sec, 25 secs
lola: 889192 markings, 1085847 edges, 23885 markings/sec, 30 secs
lola: 1005831 markings, 1231667 edges, 23328 markings/sec, 35 secs
lola: 1131770 markings, 1387969 edges, 25188 markings/sec, 40 secs
lola: 1240625 markings, 1519883 edges, 21771 markings/sec, 45 secs
lola: 1344590 markings, 1650649 edges, 20793 markings/sec, 50 secs
lola: 1465899 markings, 1802433 edges, 24262 markings/sec, 55 secs
lola: 1574925 markings, 1938023 edges, 21805 markings/sec, 60 secs
lola: 1682286 markings, 2069279 edges, 21472 markings/sec, 65 secs
lola: 1801362 markings, 2214596 edges, 23815 markings/sec, 70 secs
lola: 1918830 markings, 2358546 edges, 23494 markings/sec, 75 secs
lola: 2048571 markings, 2524545 edges, 25948 markings/sec, 80 secs
lola: 2168229 markings, 2675492 edges, 23932 markings/sec, 85 secs
lola: 2293183 markings, 2833478 edges, 24991 markings/sec, 90 secs
lola: 2404280 markings, 2968778 edges, 22219 markings/sec, 95 secs
lola: 2531952 markings, 3130988 edges, 25534 markings/sec, 100 secs
lola: 2652633 markings, 3286354 edges, 24136 markings/sec, 105 secs
lola: 2765723 markings, 3430009 edges, 22618 markings/sec, 110 secs
lola: 2879525 markings, 3569546 edges, 22760 markings/sec, 115 secs
lola: 3006318 markings, 3724519 edges, 25359 markings/sec, 120 secs
lola: 3148933 markings, 3903207 edges, 28523 markings/sec, 125 secs
lola: 3304146 markings, 4102313 edges, 31043 markings/sec, 130 secs
lola: 3448792 markings, 4281617 edges, 28929 markings/sec, 135 secs
lola: 3561154 markings, 4419132 edges, 22472 markings/sec, 140 secs
lola: 3696414 markings, 4586869 edges, 27052 markings/sec, 145 secs
lola: 3827388 markings, 4756563 edges, 26195 markings/sec, 150 secs
lola: 3961820 markings, 4925367 edges, 26886 markings/sec, 155 secs
lola: 4094743 markings, 5093778 edges, 26585 markings/sec, 160 secs
lola: 4216017 markings, 5241781 edges, 24255 markings/sec, 165 secs
lola: 4334687 markings, 5389665 edges, 23734 markings/sec, 170 secs
lola: 4408106 markings, 5482923 edges, 14684 markings/sec, 175 secs
lola: 4527704 markings, 5629789 edges, 23920 markings/sec, 180 secs
lola: 4646096 markings, 5774880 edges, 23678 markings/sec, 185 secs
lola: 4724586 markings, 5870346 edges, 15698 markings/sec, 190 secs
lola: 4844546 markings, 6017257 edges, 23992 markings/sec, 195 secs
lola: 4916656 markings, 6104696 edges, 14422 markings/sec, 200 secs
lola: 4999372 markings, 6206660 edges, 16543 markings/sec, 205 secs
lola: 5117890 markings, 6351961 edges, 23704 markings/sec, 210 secs
lola: 5220250 markings, 6477000 edges, 20472 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p629)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 126789 markings, 219199 edges, 25358 markings/sec, 0 secs
lola: 239667 markings, 424835 edges, 22576 markings/sec, 5 secs
lola: 352073 markings, 627631 edges, 22481 markings/sec, 10 secs
lola: 462004 markings, 832471 edges, 21986 markings/sec, 15 secs
lola: 580919 markings, 1046362 edges, 23783 markings/sec, 20 secs
lola: 694089 markings, 1255202 edges, 22634 markings/sec, 25 secs
lola: 804976 markings, 1453592 edges, 22177 markings/sec, 30 secs
lola: 929450 markings, 1671713 edges, 24895 markings/sec, 35 secs
lola: 1057152 markings, 1897371 edges, 25540 markings/sec, 40 secs
lola: 1184189 markings, 2121693 edges, 25407 markings/sec, 45 secs
lola: 1318200 markings, 2358769 edges, 26802 markings/sec, 50 secs
lola: 1456819 markings, 2603734 edges, 27724 markings/sec, 55 secs
lola: 1594667 markings, 2846007 edges, 27570 markings/sec, 60 secs
lola: 1725800 markings, 3083757 edges, 26227 markings/sec, 65 secs
lola: 1848271 markings, 3308583 edges, 24494 markings/sec, 70 secs
lola: 1983578 markings, 3552172 edges, 27061 markings/sec, 75 secs
lola: 2078941 markings, 3750751 edges, 19073 markings/sec, 80 secs
lola: 2211760 markings, 3992539 edges, 26564 markings/sec, 85 secs
lola: 2326129 markings, 4210913 edges, 22874 markings/sec, 90 secs
lola: 2450678 markings, 4438371 edges, 24910 markings/sec, 95 secs
lola: 2578762 markings, 4673520 edges, 25617 markings/sec, 100 secs
lola: 2693721 markings, 4893211 edges, 22992 markings/sec, 105 secs
lola: 2804205 markings, 5096177 edges, 22097 markings/sec, 110 secs
lola: 2916132 markings, 5299286 edges, 22385 markings/sec, 115 secs
lola: 3039183 markings, 5525997 edges, 24610 markings/sec, 120 secs
lola: 3140895 markings, 5719823 edges, 20342 markings/sec, 125 secs
lola: 3258598 markings, 5936525 edges, 23541 markings/sec, 130 secs
lola: 3381240 markings, 6168963 edges, 24528 markings/sec, 135 secs
lola: 3488747 markings, 6366825 edges, 21501 markings/sec, 140 secs
lola: 3588798 markings, 6553666 edges, 20010 markings/sec, 145 secs
lola: 3687513 markings, 6741019 edges, 19743 markings/sec, 150 secs
lola: 3774767 markings, 6911342 edges, 17451 markings/sec, 155 secs
lola: 3896213 markings, 7137226 edges, 24289 markings/sec, 160 secs
lola: 4011373 markings, 7351162 edges, 23032 markings/sec, 165 secs
lola: 4145833 markings, 7593856 edges, 26892 markings/sec, 170 secs
lola: 4264119 markings, 7809626 edges, 23657 markings/sec, 175 secs
lola: 4365595 markings, 8001266 edges, 20295 markings/sec, 180 secs
lola: 4476092 markings, 8212265 edges, 22099 markings/sec, 185 secs
lola: 4594114 markings, 8430688 edges, 23604 markings/sec, 190 secs
lola: 4714898 markings, 8653398 edges, 24157 markings/sec, 195 secs
lola: 4839176 markings, 8879012 edges, 24856 markings/sec, 200 secs
lola: 4957423 markings, 9096510 edges, 23649 markings/sec, 205 secs
lola: 5050799 markings, 9291759 edges, 18675 markings/sec, 210 secs
lola: 5157950 markings, 9499503 edges, 21430 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(p1222)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 103920 markings, 124935 edges, 20784 markings/sec, 0 secs
lola: 216571 markings, 261478 edges, 22530 markings/sec, 5 secs
lola: 322976 markings, 389909 edges, 21281 markings/sec, 10 secs
lola: 432466 markings, 522325 edges, 21898 markings/sec, 15 secs
lola: 542097 markings, 655407 edges, 21926 markings/sec, 20 secs
lola: 658682 markings, 797538 edges, 23317 markings/sec, 25 secs
lola: 787733 markings, 959101 edges, 25810 markings/sec, 30 secs
lola: 898528 markings, 1094332 edges, 22159 markings/sec, 35 secs
lola: 1015995 markings, 1240708 edges, 23493 markings/sec, 40 secs
lola: 1111437 markings, 1356801 edges, 19088 markings/sec, 45 secs
lola: 1228377 markings, 1503553 edges, 23388 markings/sec, 50 secs
lola: 1342507 markings, 1645790 edges, 22826 markings/sec, 55 secs
lola: 1447082 markings, 1774695 edges, 20915 markings/sec, 60 secs
lola: 1545024 markings, 1894089 edges, 19588 markings/sec, 65 secs
lola: 1651683 markings, 2023496 edges, 21332 markings/sec, 70 secs
lola: 1778971 markings, 2184106 edges, 25458 markings/sec, 75 secs
lola: 1906874 markings, 2347000 edges, 25581 markings/sec, 80 secs
lola: 2035533 markings, 2508836 edges, 25732 markings/sec, 85 secs
lola: 2149927 markings, 2652351 edges, 22879 markings/sec, 90 secs
lola: 2263017 markings, 2795500 edges, 22618 markings/sec, 95 secs
lola: 2385414 markings, 2953865 edges, 24479 markings/sec, 100 secs
lola: 2509885 markings, 3109819 edges, 24894 markings/sec, 105 secs
lola: 2625387 markings, 3257990 edges, 23100 markings/sec, 110 secs
lola: 2733358 markings, 3389266 edges, 21594 markings/sec, 115 secs
lola: 2854431 markings, 3539967 edges, 24215 markings/sec, 120 secs
lola: 3003042 markings, 3730061 edges, 29722 markings/sec, 125 secs
lola: 3149806 markings, 3913201 edges, 29353 markings/sec, 130 secs
lola: 3277645 markings, 4072104 edges, 25568 markings/sec, 135 secs
lola: 3388373 markings, 4207786 edges, 22146 markings/sec, 140 secs
lola: 3501195 markings, 4348064 edges, 22564 markings/sec, 145 secs
lola: 3632531 markings, 4518836 edges, 26267 markings/sec, 150 secs
lola: 3759646 markings, 4677985 edges, 25423 markings/sec, 155 secs
lola: 3874518 markings, 4821228 edges, 22974 markings/sec, 160 secs
lola: 3990605 markings, 4969779 edges, 23217 markings/sec, 165 secs
lola: 4099031 markings, 5104571 edges, 21685 markings/sec, 170 secs
lola: 4211249 markings, 5241815 edges, 22444 markings/sec, 175 secs
lola: 4303207 markings, 5360051 edges, 18392 markings/sec, 180 secs
lola: 4410333 markings, 5491409 edges, 21425 markings/sec, 185 secs
lola: 4481298 markings, 5577568 edges, 14193 markings/sec, 190 secs
lola: 4624790 markings, 5761057 edges, 28698 markings/sec, 195 secs
lola: 4723604 markings, 5881637 edges, 19763 markings/sec, 200 secs
lola: 4831391 markings, 6015798 edges, 21557 markings/sec, 205 secs
lola: 4941811 markings, 6152804 edges, 22084 markings/sec, 210 secs
lola: 5015851 markings, 6246760 edges, 14808 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(p2542)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 324 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 107350 markings, 129076 edges, 21470 markings/sec, 0 secs
lola: 239347 markings, 289894 edges, 26399 markings/sec, 5 secs
lola: 380166 markings, 462664 edges, 28164 markings/sec, 10 secs
lola: 518358 markings, 634960 edges, 27638 markings/sec, 15 secs
lola: 622376 markings, 761381 edges, 20804 markings/sec, 20 secs
lola: 736514 markings, 903128 edges, 22828 markings/sec, 25 secs
lola: 847018 markings, 1039980 edges, 22101 markings/sec, 30 secs
lola: 943245 markings, 1157605 edges, 19245 markings/sec, 35 secs
lola: 1044959 markings, 1284598 edges, 20343 markings/sec, 40 secs
lola: 1155381 markings, 1422273 edges, 22084 markings/sec, 45 secs
lola: 1264343 markings, 1557039 edges, 21792 markings/sec, 50 secs
lola: 1374035 markings, 1690819 edges, 21938 markings/sec, 55 secs
lola: 1484121 markings, 1825134 edges, 22017 markings/sec, 60 secs
lola: 1602358 markings, 1969266 edges, 23647 markings/sec, 65 secs
lola: 1721947 markings, 2116528 edges, 23918 markings/sec, 70 secs
lola: 1851849 markings, 2282080 edges, 25980 markings/sec, 75 secs
lola: 1976936 markings, 2439469 edges, 25017 markings/sec, 80 secs
lola: 2096658 markings, 2590753 edges, 23944 markings/sec, 85 secs
lola: 2205251 markings, 2723758 edges, 21719 markings/sec, 90 secs
lola: 2331011 markings, 2884537 edges, 25152 markings/sec, 95 secs
lola: 2447668 markings, 3034764 edges, 23331 markings/sec, 100 secs
lola: 2556659 markings, 3171314 edges, 21798 markings/sec, 105 secs
lola: 2666337 markings, 3310154 edges, 21936 markings/sec, 110 secs
lola: 2782488 markings, 3451622 edges, 23230 markings/sec, 115 secs
lola: 2908455 markings, 3605830 edges, 25193 markings/sec, 120 secs
lola: 3055909 markings, 3793272 edges, 29491 markings/sec, 125 secs
lola: 3193143 markings, 3966661 edges, 27447 markings/sec, 130 secs
lola: 3312066 markings, 4115046 edges, 23785 markings/sec, 135 secs
lola: 3428874 markings, 4258660 edges, 23362 markings/sec, 140 secs
lola: 3549767 markings, 4406415 edges, 24179 markings/sec, 145 secs
lola: 3671848 markings, 4555739 edges, 24416 markings/sec, 150 secs
lola: 3811128 markings, 4734758 edges, 27856 markings/sec, 155 secs
lola: 3946456 markings, 4906127 edges, 27066 markings/sec, 160 secs
lola: 4072273 markings, 5065421 edges, 25163 markings/sec, 165 secs
lola: 4193918 markings, 5217642 edges, 24329 markings/sec, 170 secs
lola: 4323040 markings, 5375275 edges, 25824 markings/sec, 175 secs
lola: 4433129 markings, 5509808 edges, 22018 markings/sec, 180 secs
lola: 4513723 markings, 5609341 edges, 16119 markings/sec, 185 secs
lola: 4628239 markings, 5752166 edges, 22903 markings/sec, 190 secs
lola: 4696031 markings, 5838364 edges, 13558 markings/sec, 195 secs
lola: 4797895 markings, 5964532 edges, 20373 markings/sec, 200 secs
lola: 4919134 markings, 6113132 edges, 24248 markings/sec, 205 secs
lola: 4995120 markings, 6205511 edges, 15197 markings/sec, 210 secs
lola: 5090365 markings, 6322405 edges, 19049 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA CloudReconfiguration-PT-317-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-317-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-317-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-317-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-317-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-317-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-317-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-317-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-317-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-317-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-317-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-317-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-317-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-317-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-317-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudReconfiguration-PT-317-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496537387180

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