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 FlexibleBarrier-PT-16a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r188-blw3-149581034300110
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496490935932


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


checking for too many tokens
===========================================================================================
FlexibleBarrier-PT-16a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ FlexibleBarrier-PT-16a @ 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: 919/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 195 places, 724 transitions, 177 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 532 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-16a-UpperBounds.task
lola: MAX(p76) : MAX(p44) : MAX(p89) : MAX(p76) : MAX(p155) : MAX(p117) : MAX(p56) : MAX(p34) : MAX(p134) : MAX(p16) : MAX(p126) : MAX(p37) : MAX(p115) : MAX(p156) : MAX(p125) : MAX(p45)
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(p76)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 15 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: 238616 markings, 296182 edges, 47723 markings/sec, 0 secs
lola: 478405 markings, 597622 edges, 47958 markings/sec, 5 secs
lola: 718113 markings, 895407 edges, 47942 markings/sec, 10 secs
lola: 956016 markings, 1194043 edges, 47581 markings/sec, 15 secs
lola: 1192686 markings, 1496576 edges, 47334 markings/sec, 20 secs
lola: 1426637 markings, 1793405 edges, 46790 markings/sec, 25 secs
lola: 1661516 markings, 2092800 edges, 46976 markings/sec, 30 secs
lola: 1898373 markings, 2398918 edges, 47371 markings/sec, 35 secs
lola: 2135114 markings, 2701700 edges, 47348 markings/sec, 40 secs
lola: 2372147 markings, 2999949 edges, 47407 markings/sec, 45 secs
lola: 2608781 markings, 3301159 edges, 47327 markings/sec, 50 secs
lola: 2844445 markings, 3605685 edges, 47133 markings/sec, 55 secs
lola: 3081373 markings, 3904376 edges, 47386 markings/sec, 60 secs
lola: 3317778 markings, 4203933 edges, 47281 markings/sec, 65 secs
lola: 3547324 markings, 4497345 edges, 45909 markings/sec, 70 secs
lola: 3783292 markings, 4799961 edges, 47194 markings/sec, 75 secs
lola: 4018789 markings, 5098885 edges, 47099 markings/sec, 80 secs
lola: 4255410 markings, 5396080 edges, 47324 markings/sec, 85 secs
lola: 4490153 markings, 5700794 edges, 46949 markings/sec, 90 secs
lola: 4727166 markings, 6003221 edges, 47403 markings/sec, 95 secs
lola: 4962223 markings, 6308383 edges, 47011 markings/sec, 100 secs
lola: 5188807 markings, 6600702 edges, 45317 markings/sec, 105 secs
lola: 5412876 markings, 6891416 edges, 44814 markings/sec, 110 secs
lola: 5641136 markings, 7181654 edges, 45652 markings/sec, 115 secs
lola: 5866032 markings, 7474894 edges, 44979 markings/sec, 120 secs
lola: 6096960 markings, 7771246 edges, 46186 markings/sec, 125 secs
lola: 6327244 markings, 8067928 edges, 46057 markings/sec, 130 secs
lola: 6561741 markings, 8374017 edges, 46899 markings/sec, 135 secs
lola: 6798301 markings, 8675625 edges, 47312 markings/sec, 140 secs
lola: 7035220 markings, 8973137 edges, 47384 markings/sec, 145 secs
lola: 7270736 markings, 9278331 edges, 47103 markings/sec, 150 secs
lola: 7509826 markings, 9577697 edges, 47818 markings/sec, 155 secs
lola: 7747911 markings, 9876639 edges, 47617 markings/sec, 160 secs
lola: 7985227 markings, 10178938 edges, 47463 markings/sec, 165 secs
lola: 8219342 markings, 10482471 edges, 46823 markings/sec, 170 secs
lola: 8452397 markings, 10786058 edges, 46611 markings/sec, 175 secs
lola: 8686761 markings, 11090195 edges, 46873 markings/sec, 180 secs
lola: 8917876 markings, 11392767 edges, 46223 markings/sec, 185 secs
lola: 9155489 markings, 11693887 edges, 47523 markings/sec, 190 secs
lola: 9391872 markings, 11991732 edges, 47277 markings/sec, 195 secs
lola: 9627080 markings, 12292818 edges, 47042 markings/sec, 200 secs
lola: 9862982 markings, 12595186 edges, 47180 markings/sec, 205 secs
lola: 10097050 markings, 12904182 edges, 46814 markings/sec, 210 secs
lola: 10332377 markings, 13206522 edges, 47065 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(p44)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 15 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: 254266 markings, 369205 edges, 50853 markings/sec, 0 secs
lola: 508492 markings, 753262 edges, 50845 markings/sec, 5 secs
lola: 757442 markings, 1137147 edges, 49790 markings/sec, 10 secs
lola: 1006975 markings, 1520415 edges, 49907 markings/sec, 15 secs
lola: 1254980 markings, 1907109 edges, 49601 markings/sec, 20 secs
lola: 1504188 markings, 2301364 edges, 49842 markings/sec, 25 secs
lola: 1751073 markings, 2697722 edges, 49377 markings/sec, 30 secs
lola: 2001871 markings, 3079995 edges, 50160 markings/sec, 35 secs
lola: 2250158 markings, 3462192 edges, 49657 markings/sec, 40 secs
lola: 2497056 markings, 3838648 edges, 49380 markings/sec, 45 secs
lola: 2744869 markings, 4223165 edges, 49563 markings/sec, 50 secs
lola: 2991381 markings, 4607370 edges, 49302 markings/sec, 55 secs
lola: 3238817 markings, 4983841 edges, 49487 markings/sec, 60 secs
lola: 3490327 markings, 5374398 edges, 50302 markings/sec, 65 secs
lola: 3736315 markings, 5762678 edges, 49198 markings/sec, 70 secs
lola: 3981033 markings, 6149088 edges, 48944 markings/sec, 75 secs
lola: 4229672 markings, 6550550 edges, 49728 markings/sec, 80 secs
lola: 4472884 markings, 6946722 edges, 48642 markings/sec, 85 secs
lola: 4722746 markings, 7344991 edges, 49972 markings/sec, 90 secs
lola: 4975521 markings, 7748742 edges, 50555 markings/sec, 95 secs
lola: 5223262 markings, 8148355 edges, 49548 markings/sec, 100 secs
lola: 5469965 markings, 8535801 edges, 49341 markings/sec, 105 secs
lola: 5715189 markings, 8927016 edges, 49045 markings/sec, 110 secs
lola: 5958821 markings, 9325201 edges, 48726 markings/sec, 115 secs
lola: 6207289 markings, 9697771 edges, 49694 markings/sec, 120 secs
lola: 6456127 markings, 10063956 edges, 49768 markings/sec, 125 secs
lola: 6705546 markings, 10441213 edges, 49884 markings/sec, 130 secs
lola: 6955945 markings, 10813147 edges, 50080 markings/sec, 135 secs
lola: 7205992 markings, 11188716 edges, 50009 markings/sec, 140 secs
lola: 7454680 markings, 11569271 edges, 49738 markings/sec, 145 secs
lola: 7700300 markings, 11947573 edges, 49124 markings/sec, 150 secs
lola: 7942153 markings, 12329486 edges, 48371 markings/sec, 155 secs
lola: 8187213 markings, 12703673 edges, 49012 markings/sec, 160 secs
lola: 8407653 markings, 13047103 edges, 44088 markings/sec, 165 secs
lola: 8645521 markings, 13424308 edges, 47574 markings/sec, 170 secs
lola: 8888852 markings, 13812873 edges, 48666 markings/sec, 175 secs
lola: 9132244 markings, 14208053 edges, 48678 markings/sec, 180 secs
lola: 9378094 markings, 14584551 edges, 49170 markings/sec, 185 secs
lola: 9623508 markings, 14960953 edges, 49083 markings/sec, 190 secs
lola: 9868972 markings, 15347277 edges, 49093 markings/sec, 195 secs
lola: 10117765 markings, 15720703 edges, 49759 markings/sec, 200 secs
lola: 10366471 markings, 16094248 edges, 49741 markings/sec, 205 secs
lola: 10613761 markings, 16472854 edges, 49458 markings/sec, 210 secs
lola: 10859665 markings, 16851475 edges, 49181 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(p89)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 15 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: 230514 markings, 306570 edges, 46103 markings/sec, 0 secs
lola: 458542 markings, 614477 edges, 45606 markings/sec, 5 secs
lola: 684111 markings, 920198 edges, 45114 markings/sec, 10 secs
lola: 909446 markings, 1229503 edges, 45067 markings/sec, 15 secs
lola: 1131941 markings, 1543205 edges, 44499 markings/sec, 20 secs
lola: 1353064 markings, 1858550 edges, 44225 markings/sec, 25 secs
lola: 1576221 markings, 2167075 edges, 44631 markings/sec, 30 secs
lola: 1800149 markings, 2477961 edges, 44786 markings/sec, 35 secs
lola: 2022372 markings, 2782457 edges, 44445 markings/sec, 40 secs
lola: 2239844 markings, 3079500 edges, 43494 markings/sec, 45 secs
lola: 2438069 markings, 3356787 edges, 39645 markings/sec, 50 secs
lola: 2661060 markings, 3667263 edges, 44598 markings/sec, 55 secs
lola: 2885488 markings, 3979001 edges, 44886 markings/sec, 60 secs
lola: 3106734 markings, 4293958 edges, 44249 markings/sec, 65 secs
lola: 3330975 markings, 4600875 edges, 44848 markings/sec, 70 secs
lola: 3555320 markings, 4909646 edges, 44869 markings/sec, 75 secs
lola: 3782381 markings, 5223208 edges, 45412 markings/sec, 80 secs
lola: 4005900 markings, 5535814 edges, 44704 markings/sec, 85 secs
lola: 4226614 markings, 5852490 edges, 44143 markings/sec, 90 secs
lola: 4447496 markings, 6158383 edges, 44176 markings/sec, 95 secs
lola: 4666942 markings, 6463251 edges, 43889 markings/sec, 100 secs
lola: 4886309 markings, 6773058 edges, 43873 markings/sec, 105 secs
lola: 5109381 markings, 7080008 edges, 44614 markings/sec, 110 secs
lola: 5332247 markings, 7388146 edges, 44573 markings/sec, 115 secs
lola: 5554552 markings, 7694599 edges, 44461 markings/sec, 120 secs
lola: 5782525 markings, 7999237 edges, 45595 markings/sec, 125 secs
lola: 6014022 markings, 8308531 edges, 46299 markings/sec, 130 secs
lola: 6242659 markings, 8616879 edges, 45727 markings/sec, 135 secs
lola: 6470465 markings, 8922381 edges, 45561 markings/sec, 140 secs
lola: 6692743 markings, 9220491 edges, 44456 markings/sec, 145 secs
lola: 6894576 markings, 9492804 edges, 40367 markings/sec, 150 secs
lola: 7123525 markings, 9802804 edges, 45790 markings/sec, 155 secs
lola: 7353646 markings, 10112672 edges, 46024 markings/sec, 160 secs
lola: 7580222 markings, 10420301 edges, 45315 markings/sec, 165 secs
lola: 7802079 markings, 10724529 edges, 44371 markings/sec, 170 secs
lola: 8022642 markings, 11032031 edges, 44113 markings/sec, 175 secs
lola: 8245528 markings, 11339132 edges, 44577 markings/sec, 180 secs
lola: 8467111 markings, 11647939 edges, 44317 markings/sec, 185 secs
lola: 8685894 markings, 11950391 edges, 43757 markings/sec, 190 secs
lola: 8906275 markings, 12255487 edges, 44076 markings/sec, 195 secs
lola: 9131018 markings, 12560666 edges, 44949 markings/sec, 200 secs
lola: 9357764 markings, 12870189 edges, 45349 markings/sec, 205 secs
lola: 9584101 markings, 13181129 edges, 45267 markings/sec, 210 secs
lola: 9810000 markings, 13487693 edges, 45180 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(p76)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 15 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: 239445 markings, 297183 edges, 47889 markings/sec, 0 secs
lola: 476413 markings, 595083 edges, 47394 markings/sec, 5 secs
lola: 715286 markings, 891794 edges, 47775 markings/sec, 10 secs
lola: 952517 markings, 1189633 edges, 47446 markings/sec, 15 secs
lola: 1188963 markings, 1491813 edges, 47289 markings/sec, 20 secs
lola: 1428182 markings, 1795359 edges, 47844 markings/sec, 25 secs
lola: 1664536 markings, 2096788 edges, 47271 markings/sec, 30 secs
lola: 1900639 markings, 2401644 edges, 47221 markings/sec, 35 secs
lola: 2136745 markings, 2703837 edges, 47221 markings/sec, 40 secs
lola: 2357233 markings, 2981661 edges, 44098 markings/sec, 45 secs
lola: 2575808 markings, 3258760 edges, 43715 markings/sec, 50 secs
lola: 2811637 markings, 3563842 edges, 47166 markings/sec, 55 secs
lola: 3048121 markings, 3862683 edges, 47297 markings/sec, 60 secs
lola: 3284847 markings, 4162408 edges, 47345 markings/sec, 65 secs
lola: 3521986 markings, 4466052 edges, 47428 markings/sec, 70 secs
lola: 3758876 markings, 4768174 edges, 47378 markings/sec, 75 secs
lola: 3994220 markings, 5068222 edges, 47069 markings/sec, 80 secs
lola: 4230749 markings, 5364476 edges, 47306 markings/sec, 85 secs
lola: 4465300 markings, 5669187 edges, 46910 markings/sec, 90 secs
lola: 4702370 markings, 5970535 edges, 47414 markings/sec, 95 secs
lola: 4937204 markings, 6275994 edges, 46967 markings/sec, 100 secs
lola: 5171734 markings, 6578270 edges, 46906 markings/sec, 105 secs
lola: 5406208 markings, 6883290 edges, 46895 markings/sec, 110 secs
lola: 5643294 markings, 7184462 edges, 47417 markings/sec, 115 secs
lola: 5877635 markings, 7489899 edges, 46868 markings/sec, 120 secs
lola: 6112180 markings, 7791030 edges, 46909 markings/sec, 125 secs
lola: 6347106 markings, 8093690 edges, 46985 markings/sec, 130 secs
lola: 6581841 markings, 8400369 edges, 46947 markings/sec, 135 secs
lola: 6818931 markings, 8701266 edges, 47418 markings/sec, 140 secs
lola: 7055801 markings, 8999697 edges, 47374 markings/sec, 145 secs
lola: 7291445 markings, 9305657 edges, 47129 markings/sec, 150 secs
lola: 7531052 markings, 9603998 edges, 47921 markings/sec, 155 secs
lola: 7769266 markings, 9903315 edges, 47643 markings/sec, 160 secs
lola: 8006434 markings, 10205743 edges, 47434 markings/sec, 165 secs
lola: 8245883 markings, 10517249 edges, 47890 markings/sec, 170 secs
lola: 8480301 markings, 10822308 edges, 46884 markings/sec, 175 secs
lola: 8713847 markings, 11125597 edges, 46709 markings/sec, 180 secs
lola: 8948079 markings, 11430622 edges, 46846 markings/sec, 185 secs
lola: 9182948 markings, 11728812 edges, 46974 markings/sec, 190 secs
lola: 9419185 markings, 12026626 edges, 47247 markings/sec, 195 secs
lola: 9654031 markings, 12327495 edges, 46969 markings/sec, 200 secs
lola: 9887976 markings, 12627571 edges, 46789 markings/sec, 205 secs
lola: 10121470 markings, 12935778 edges, 46699 markings/sec, 210 secs
lola: 10357245 markings, 13237213 edges, 47155 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(p155)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 15 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: 173330 markings, 239714 edges, 34666 markings/sec, 0 secs
lola: 346837 markings, 481689 edges, 34701 markings/sec, 5 secs
lola: 520147 markings, 721120 edges, 34662 markings/sec, 10 secs
lola: 686048 markings, 963305 edges, 33180 markings/sec, 15 secs
lola: 852899 markings, 1200603 edges, 33370 markings/sec, 20 secs
lola: 1022348 markings, 1437174 edges, 33890 markings/sec, 25 secs
lola: 1194179 markings, 1676246 edges, 34366 markings/sec, 30 secs
lola: 1356500 markings, 1914607 edges, 32464 markings/sec, 35 secs
lola: 1525142 markings, 2154855 edges, 33728 markings/sec, 40 secs
lola: 1692672 markings, 2394050 edges, 33506 markings/sec, 45 secs
lola: 1861370 markings, 2633444 edges, 33740 markings/sec, 50 secs
lola: 2030499 markings, 2871337 edges, 33826 markings/sec, 55 secs
lola: 2199127 markings, 3108093 edges, 33726 markings/sec, 60 secs
lola: 2369487 markings, 3349869 edges, 34072 markings/sec, 65 secs
lola: 2533303 markings, 3584759 edges, 32763 markings/sec, 70 secs
lola: 2701943 markings, 3822602 edges, 33728 markings/sec, 75 secs
lola: 2868224 markings, 4064942 edges, 33256 markings/sec, 80 secs
lola: 3031189 markings, 4300566 edges, 32593 markings/sec, 85 secs
lola: 3198158 markings, 4536194 edges, 33394 markings/sec, 90 secs
lola: 3365092 markings, 4775754 edges, 33387 markings/sec, 95 secs
lola: 3523787 markings, 5013204 edges, 31739 markings/sec, 100 secs
lola: 3690211 markings, 5255341 edges, 33285 markings/sec, 105 secs
lola: 3856516 markings, 5489619 edges, 33261 markings/sec, 110 secs
lola: 4023761 markings, 5734749 edges, 33449 markings/sec, 115 secs
lola: 4187184 markings, 5977080 edges, 32685 markings/sec, 120 secs
lola: 4345175 markings, 6207707 edges, 31598 markings/sec, 125 secs
lola: 4510279 markings, 6447762 edges, 33021 markings/sec, 130 secs
lola: 4677747 markings, 6687786 edges, 33494 markings/sec, 135 secs
lola: 4845981 markings, 6925014 edges, 33647 markings/sec, 140 secs
lola: 5015560 markings, 7170023 edges, 33916 markings/sec, 145 secs
lola: 5178130 markings, 7408641 edges, 32514 markings/sec, 150 secs
lola: 5346523 markings, 7658323 edges, 33679 markings/sec, 155 secs
lola: 5511994 markings, 7897886 edges, 33094 markings/sec, 160 secs
lola: 5672942 markings, 8132328 edges, 32190 markings/sec, 165 secs
lola: 5835729 markings, 8373909 edges, 32557 markings/sec, 170 secs
lola: 5997584 markings, 8605217 edges, 32371 markings/sec, 175 secs
lola: 6166599 markings, 8843249 edges, 33803 markings/sec, 180 secs
lola: 6331299 markings, 9077850 edges, 32940 markings/sec, 185 secs
lola: 6498232 markings, 9330102 edges, 33387 markings/sec, 190 secs
lola: 6660207 markings, 9575487 edges, 32395 markings/sec, 195 secs
lola: 6824487 markings, 9812950 edges, 32856 markings/sec, 200 secs
lola: 6985614 markings, 10053289 edges, 32225 markings/sec, 205 secs
lola: 7153267 markings, 10295627 edges, 33531 markings/sec, 210 secs
lola: 7321084 markings, 10536733 edges, 33563 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(p117)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 15 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: 250280 markings, 363363 edges, 50056 markings/sec, 0 secs
lola: 497611 markings, 736944 edges, 49466 markings/sec, 5 secs
lola: 744561 markings, 1116560 edges, 49390 markings/sec, 10 secs
lola: 991255 markings, 1496544 edges, 49339 markings/sec, 15 secs
lola: 1236958 markings, 1878676 edges, 49141 markings/sec, 20 secs
lola: 1481700 markings, 2264113 edges, 48948 markings/sec, 25 secs
lola: 1725093 markings, 2660419 edges, 48679 markings/sec, 30 secs
lola: 1972907 markings, 3035292 edges, 49563 markings/sec, 35 secs
lola: 2218719 markings, 3415111 edges, 49162 markings/sec, 40 secs
lola: 2461645 markings, 3782990 edges, 48585 markings/sec, 45 secs
lola: 2706066 markings, 4162816 edges, 48884 markings/sec, 50 secs
lola: 2948502 markings, 4544167 edges, 48487 markings/sec, 55 secs
lola: 3193510 markings, 4913437 edges, 49002 markings/sec, 60 secs
lola: 3438516 markings, 5292529 edges, 49001 markings/sec, 65 secs
lola: 3680293 markings, 5677767 edges, 48355 markings/sec, 70 secs
lola: 3923455 markings, 6056323 edges, 48632 markings/sec, 75 secs
lola: 4165174 markings, 6444269 edges, 48344 markings/sec, 80 secs
lola: 4401356 markings, 6836255 edges, 47236 markings/sec, 85 secs
lola: 4646842 markings, 7222913 edges, 49097 markings/sec, 90 secs
lola: 4890252 markings, 7615453 edges, 48682 markings/sec, 95 secs
lola: 5134664 markings, 8003474 edges, 48882 markings/sec, 100 secs
lola: 5376840 markings, 8389117 edges, 48435 markings/sec, 105 secs
lola: 5617493 markings, 8771330 edges, 48131 markings/sec, 110 secs
lola: 5858793 markings, 9160189 edges, 48260 markings/sec, 115 secs
lola: 6101022 markings, 9543176 edges, 48446 markings/sec, 120 secs
lola: 6344837 markings, 9898911 edges, 48763 markings/sec, 125 secs
lola: 6590719 markings, 10266813 edges, 49176 markings/sec, 130 secs
lola: 6836049 markings, 10637626 edges, 49066 markings/sec, 135 secs
lola: 7079599 markings, 11000216 edges, 48710 markings/sec, 140 secs
lola: 7324976 markings, 11371567 edges, 49075 markings/sec, 145 secs
lola: 7564372 markings, 11736110 edges, 47879 markings/sec, 150 secs
lola: 7802159 markings, 12105757 edges, 47557 markings/sec, 155 secs
lola: 8039268 markings, 12478562 edges, 47422 markings/sec, 160 secs
lola: 8278833 markings, 12848595 edges, 47913 markings/sec, 165 secs
lola: 8519473 markings, 13224981 edges, 48128 markings/sec, 170 secs
lola: 8759967 markings, 13604306 edges, 48099 markings/sec, 175 secs
lola: 8996868 markings, 13985362 edges, 47380 markings/sec, 180 secs
lola: 9240203 markings, 14376943 edges, 48667 markings/sec, 185 secs
lola: 9479815 markings, 14739020 edges, 47922 markings/sec, 190 secs
lola: 9718835 markings, 15109268 edges, 47804 markings/sec, 195 secs
lola: 9957169 markings, 15487120 edges, 47667 markings/sec, 200 secs
lola: 10202811 markings, 15848280 edges, 49128 markings/sec, 205 secs
lola: 10450391 markings, 16222618 edges, 49516 markings/sec, 210 secs
lola: 10695179 markings, 16596672 edges, 48958 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(p56)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 15 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: 251607 markings, 365279 edges, 50321 markings/sec, 0 secs
lola: 500475 markings, 741155 edges, 49774 markings/sec, 5 secs
lola: 744684 markings, 1116752 edges, 48842 markings/sec, 10 secs
lola: 992728 markings, 1498821 edges, 49609 markings/sec, 15 secs
lola: 1241435 markings, 1885611 edges, 49741 markings/sec, 20 secs
lola: 1489000 markings, 2275937 edges, 49513 markings/sec, 25 secs
lola: 1733970 markings, 2672938 edges, 48994 markings/sec, 30 secs
lola: 1980268 markings, 3046689 edges, 49260 markings/sec, 35 secs
lola: 2202843 markings, 3391972 edges, 44515 markings/sec, 40 secs
lola: 2449249 markings, 3763848 edges, 49281 markings/sec, 45 secs
lola: 2694369 markings, 4143940 edges, 49024 markings/sec, 50 secs
lola: 2937490 markings, 4527960 edges, 48624 markings/sec, 55 secs
lola: 3183223 markings, 4897827 edges, 49147 markings/sec, 60 secs
lola: 3426517 markings, 5273683 edges, 48659 markings/sec, 65 secs
lola: 3671182 markings, 5664046 edges, 48933 markings/sec, 70 secs
lola: 3918073 markings, 6047724 edges, 49378 markings/sec, 75 secs
lola: 4164161 markings, 6442604 edges, 49218 markings/sec, 80 secs
lola: 4408141 markings, 6848466 edges, 48796 markings/sec, 85 secs
lola: 4654194 markings, 7234513 edges, 49211 markings/sec, 90 secs
lola: 4897875 markings, 7627121 edges, 48736 markings/sec, 95 secs
lola: 5116418 markings, 7973882 edges, 43709 markings/sec, 100 secs
lola: 5361789 markings, 8366439 edges, 49074 markings/sec, 105 secs
lola: 5606913 markings, 8753951 edges, 49025 markings/sec, 110 secs
lola: 5850179 markings, 9146272 edges, 48653 markings/sec, 115 secs
lola: 6094514 markings, 9533933 edges, 48867 markings/sec, 120 secs
lola: 6339059 markings, 9890163 edges, 48909 markings/sec, 125 secs
lola: 6582995 markings, 10255240 edges, 48787 markings/sec, 130 secs
lola: 6823156 markings, 10619014 edges, 48032 markings/sec, 135 secs
lola: 7072273 markings, 10989321 edges, 49823 markings/sec, 140 secs
lola: 7317831 markings, 11360480 edges, 49112 markings/sec, 145 secs
lola: 7560199 markings, 11729524 edges, 48474 markings/sec, 150 secs
lola: 7801290 markings, 12104377 edges, 48218 markings/sec, 155 secs
lola: 8038289 markings, 12477085 edges, 47400 markings/sec, 160 secs
lola: 8278681 markings, 12848331 edges, 48078 markings/sec, 165 secs
lola: 8525474 markings, 13234684 edges, 49359 markings/sec, 170 secs
lola: 8772210 markings, 13623711 edges, 49347 markings/sec, 175 secs
lola: 8989579 markings, 13973332 edges, 43474 markings/sec, 180 secs
lola: 9229331 markings, 14361518 edges, 47950 markings/sec, 185 secs
lola: 9470458 markings, 14724960 edges, 48225 markings/sec, 190 secs
lola: 9716647 markings, 15105767 edges, 49238 markings/sec, 195 secs
lola: 9963107 markings, 15495527 edges, 49292 markings/sec, 200 secs
lola: 10214759 markings, 15866593 edges, 50330 markings/sec, 205 secs
lola: 10465091 markings, 16245774 edges, 50066 markings/sec, 210 secs
lola: 10714405 markings, 16625429 edges, 49863 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(p34)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 15 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: 250161 markings, 387017 edges, 50032 markings/sec, 0 secs
lola: 497034 markings, 783396 edges, 49375 markings/sec, 5 secs
lola: 737365 markings, 1175272 edges, 48066 markings/sec, 10 secs
lola: 977112 markings, 1568488 edges, 47949 markings/sec, 15 secs
lola: 1223312 markings, 1972993 edges, 49240 markings/sec, 20 secs
lola: 1467945 markings, 2381536 edges, 48927 markings/sec, 25 secs
lola: 1711267 markings, 2800534 edges, 48664 markings/sec, 30 secs
lola: 1958492 markings, 3199981 edges, 49445 markings/sec, 35 secs
lola: 2203454 markings, 3602697 edges, 48992 markings/sec, 40 secs
lola: 2449372 markings, 3997302 edges, 49184 markings/sec, 45 secs
lola: 2695526 markings, 4402493 edges, 49231 markings/sec, 50 secs
lola: 2940276 markings, 4812072 edges, 48950 markings/sec, 55 secs
lola: 3185542 markings, 5205042 edges, 49053 markings/sec, 60 secs
lola: 3429705 markings, 5605250 edges, 48833 markings/sec, 65 secs
lola: 3672740 markings, 6016103 edges, 48607 markings/sec, 70 secs
lola: 3916486 markings, 6418248 edges, 48749 markings/sec, 75 secs
lola: 4156880 markings, 6826670 edges, 48079 markings/sec, 80 secs
lola: 4396942 markings, 7247326 edges, 48012 markings/sec, 85 secs
lola: 4641733 markings, 7656980 edges, 48958 markings/sec, 90 secs
lola: 4887128 markings, 8075952 edges, 49079 markings/sec, 95 secs
lola: 5129928 markings, 8484147 edges, 48560 markings/sec, 100 secs
lola: 5373181 markings, 8895279 edges, 48651 markings/sec, 105 secs
lola: 5615379 markings, 9302607 edges, 48440 markings/sec, 110 secs
lola: 5857074 markings, 9715314 edges, 48339 markings/sec, 115 secs
lola: 6099085 markings, 10121263 edges, 48402 markings/sec, 120 secs
lola: 6344540 markings, 10502687 edges, 49091 markings/sec, 125 secs
lola: 6590742 markings, 10894542 edges, 49240 markings/sec, 130 secs
lola: 6836066 markings, 11288702 edges, 49065 markings/sec, 135 secs
lola: 7082896 markings, 11679394 edges, 49366 markings/sec, 140 secs
lola: 7329439 markings, 12076672 edges, 49309 markings/sec, 145 secs
lola: 7574419 markings, 12472599 edges, 48996 markings/sec, 150 secs
lola: 7818712 markings, 12877173 edges, 48859 markings/sec, 155 secs
lola: 8063844 markings, 13283517 edges, 49026 markings/sec, 160 secs
lola: 8309288 markings, 13685316 edges, 49089 markings/sec, 165 secs
lola: 8544416 markings, 14079418 edges, 47026 markings/sec, 170 secs
lola: 8774328 markings, 14462661 edges, 45982 markings/sec, 175 secs
lola: 9004554 markings, 14855412 edges, 46045 markings/sec, 180 secs
lola: 9236013 markings, 15250492 edges, 46292 markings/sec, 185 secs
lola: 9477263 markings, 15637783 edges, 48250 markings/sec, 190 secs
lola: 9716205 markings, 16030392 edges, 47788 markings/sec, 195 secs
lola: 9954655 markings, 16431765 edges, 47690 markings/sec, 200 secs
lola: 10201261 markings, 16817493 edges, 49321 markings/sec, 205 secs
lola: 10447726 markings, 17213512 edges, 49293 markings/sec, 210 secs
lola: 10692365 markings, 17610931 edges, 48928 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(p134)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 15 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: 254225 markings, 381247 edges, 50845 markings/sec, 0 secs
lola: 505738 markings, 773147 edges, 50303 markings/sec, 5 secs
lola: 755898 markings, 1170837 edges, 50032 markings/sec, 10 secs
lola: 1005365 markings, 1565806 edges, 49893 markings/sec, 15 secs
lola: 1253031 markings, 1963670 edges, 49533 markings/sec, 20 secs
lola: 1500475 markings, 2366502 edges, 49489 markings/sec, 25 secs
lola: 1744530 markings, 2771224 edges, 48811 markings/sec, 30 secs
lola: 1995711 markings, 3165607 edges, 50236 markings/sec, 35 secs
lola: 2230771 markings, 3539249 edges, 47012 markings/sec, 40 secs
lola: 2464282 markings, 3904396 edges, 46702 markings/sec, 45 secs
lola: 2712129 markings, 4301987 edges, 49569 markings/sec, 50 secs
lola: 2957574 markings, 4698063 edges, 49089 markings/sec, 55 secs
lola: 3204757 markings, 5083146 edges, 49437 markings/sec, 60 secs
lola: 3453120 markings, 5480388 edges, 49673 markings/sec, 65 secs
lola: 3699590 markings, 5882794 edges, 49294 markings/sec, 70 secs
lola: 3945787 markings, 6280338 edges, 49239 markings/sec, 75 secs
lola: 4191665 markings, 6687236 edges, 49176 markings/sec, 80 secs
lola: 4435287 markings, 7100335 edges, 48724 markings/sec, 85 secs
lola: 4683447 markings, 7504224 edges, 49632 markings/sec, 90 secs
lola: 4930913 markings, 7913389 edges, 49493 markings/sec, 95 secs
lola: 5178463 markings, 8321272 edges, 49510 markings/sec, 100 secs
lola: 5425692 markings, 8723743 edges, 49446 markings/sec, 105 secs
lola: 5672080 markings, 9129161 edges, 49278 markings/sec, 110 secs
lola: 5915941 markings, 9535739 edges, 48772 markings/sec, 115 secs
lola: 6163025 markings, 9925908 edges, 49417 markings/sec, 120 secs
lola: 6408924 markings, 10301239 edges, 49180 markings/sec, 125 secs
lola: 6659404 markings, 10687039 edges, 50096 markings/sec, 130 secs
lola: 6904911 markings, 11066989 edges, 49101 markings/sec, 135 secs
lola: 7148473 markings, 11442243 edges, 48712 markings/sec, 140 secs
lola: 7390378 markings, 11825690 edges, 48381 markings/sec, 145 secs
lola: 7631508 markings, 12203360 edges, 48226 markings/sec, 150 secs
lola: 7872175 markings, 12591355 edges, 48133 markings/sec, 155 secs
lola: 8113018 markings, 12976704 edges, 48169 markings/sec, 160 secs
lola: 8354234 markings, 13361635 edges, 48243 markings/sec, 165 secs
lola: 8594683 markings, 13755786 edges, 48090 markings/sec, 170 secs
lola: 8835708 markings, 14146409 edges, 48205 markings/sec, 175 secs
lola: 9073599 markings, 14542912 edges, 47578 markings/sec, 180 secs
lola: 9312205 markings, 14927294 edges, 47721 markings/sec, 185 secs
lola: 9550269 markings, 15305103 edges, 47613 markings/sec, 190 secs
lola: 9796362 markings, 15697892 edges, 49219 markings/sec, 195 secs
lola: 10039056 markings, 16082833 edges, 48539 markings/sec, 200 secs
lola: 10284195 markings, 16459615 edges, 49028 markings/sec, 205 secs
lola: 10528091 markings, 16846399 edges, 48779 markings/sec, 210 secs
lola: 10769759 markings, 17223833 edges, 48334 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(p16)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 15 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: 233862 markings, 290433 edges, 46772 markings/sec, 0 secs
lola: 467291 markings, 583610 edges, 46686 markings/sec, 5 secs
lola: 703019 markings, 876031 edges, 47146 markings/sec, 10 secs
lola: 938113 markings, 1171139 edges, 47019 markings/sec, 15 secs
lola: 1169165 markings, 1467393 edges, 46210 markings/sec, 20 secs
lola: 1399819 markings, 1759282 edges, 46131 markings/sec, 25 secs
lola: 1632181 markings, 2054248 edges, 46472 markings/sec, 30 secs
lola: 1863697 markings, 2354900 edges, 46303 markings/sec, 35 secs
lola: 2095734 markings, 2650981 edges, 46407 markings/sec, 40 secs
lola: 2327555 markings, 2944975 edges, 46364 markings/sec, 45 secs
lola: 2560737 markings, 3238988 edges, 46636 markings/sec, 50 secs
lola: 2793099 markings, 3539703 edges, 46472 markings/sec, 55 secs
lola: 3022664 markings, 3830013 edges, 45913 markings/sec, 60 secs
lola: 3255887 markings, 4126363 edges, 46645 markings/sec, 65 secs
lola: 3485560 markings, 4419890 edges, 45935 markings/sec, 70 secs
lola: 3715584 markings, 4712433 edges, 46005 markings/sec, 75 secs
lola: 3944054 markings, 5004726 edges, 45694 markings/sec, 80 secs
lola: 4173836 markings, 5293769 edges, 45956 markings/sec, 85 secs
lola: 4403263 markings, 5588851 edges, 45885 markings/sec, 90 secs
lola: 4633145 markings, 5882278 edges, 45976 markings/sec, 95 secs
lola: 4863175 markings, 6180467 edges, 46006 markings/sec, 100 secs
lola: 5091914 markings, 6475718 edges, 45748 markings/sec, 105 secs
lola: 5319992 markings, 6770994 edges, 45616 markings/sec, 110 secs
lola: 5549879 markings, 7064327 edges, 45977 markings/sec, 115 secs
lola: 5778838 markings, 7360533 edges, 45792 markings/sec, 120 secs
lola: 6006735 markings, 7654561 edges, 45579 markings/sec, 125 secs
lola: 6235103 markings, 7951787 edges, 45674 markings/sec, 130 secs
lola: 6463858 markings, 8245953 edges, 45751 markings/sec, 135 secs
lola: 6693016 markings, 8541777 edges, 45832 markings/sec, 140 secs
lola: 6923778 markings, 8832862 edges, 46152 markings/sec, 145 secs
lola: 7153802 markings, 9125363 edges, 46005 markings/sec, 150 secs
lola: 7384019 markings, 9421507 edges, 46043 markings/sec, 155 secs
lola: 7616918 markings, 9711379 edges, 46580 markings/sec, 160 secs
lola: 7848306 markings, 10003505 edges, 46278 markings/sec, 165 secs
lola: 8078851 markings, 10296465 edges, 46109 markings/sec, 170 secs
lola: 8305674 markings, 10596132 edges, 45365 markings/sec, 175 secs
lola: 8533228 markings, 10890967 edges, 45511 markings/sec, 180 secs
lola: 8760582 markings, 11187073 edges, 45471 markings/sec, 185 secs
lola: 8987916 markings, 11481558 edges, 45467 markings/sec, 190 secs
lola: 9217034 markings, 11771077 edges, 45824 markings/sec, 195 secs
lola: 9445097 markings, 12059027 edges, 45613 markings/sec, 200 secs
lola: 9672217 markings, 12349892 edges, 45424 markings/sec, 205 secs
lola: 9899547 markings, 12642815 edges, 45466 markings/sec, 210 secs
lola: 10125672 markings, 12941164 edges, 45225 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(p126)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 15 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: 222866 markings, 296936 edges, 44573 markings/sec, 0 secs
lola: 446917 markings, 597165 edges, 44810 markings/sec, 5 secs
lola: 667639 markings, 893536 edges, 44144 markings/sec, 10 secs
lola: 887527 markings, 1189193 edges, 43978 markings/sec, 15 secs
lola: 1080288 markings, 1448217 edges, 38552 markings/sec, 20 secs
lola: 1299264 markings, 1746391 edges, 43795 markings/sec, 25 secs
lola: 1517847 markings, 2044453 edges, 43717 markings/sec, 30 secs
lola: 1736593 markings, 2338022 edges, 43749 markings/sec, 35 secs
lola: 1955621 markings, 2635695 edges, 43806 markings/sec, 40 secs
lola: 2174193 markings, 2932453 edges, 43714 markings/sec, 45 secs
lola: 2393251 markings, 3229930 edges, 43812 markings/sec, 50 secs
lola: 2613461 markings, 3526443 edges, 44042 markings/sec, 55 secs
lola: 2832742 markings, 3823140 edges, 43856 markings/sec, 60 secs
lola: 3049984 markings, 4118351 edges, 43448 markings/sec, 65 secs
lola: 3269128 markings, 4416309 edges, 43829 markings/sec, 70 secs
lola: 3486542 markings, 4717590 edges, 43483 markings/sec, 75 secs
lola: 3702784 markings, 5020045 edges, 43248 markings/sec, 80 secs
lola: 3920371 markings, 5321690 edges, 43517 markings/sec, 85 secs
lola: 4138709 markings, 5623620 edges, 43668 markings/sec, 90 secs
lola: 4357168 markings, 5926004 edges, 43692 markings/sec, 95 secs
lola: 4547716 markings, 6192756 edges, 38110 markings/sec, 100 secs
lola: 4762843 markings, 6497224 edges, 43025 markings/sec, 105 secs
lola: 4981478 markings, 6797644 edges, 43727 markings/sec, 110 secs
lola: 5197577 markings, 7092478 edges, 43220 markings/sec, 115 secs
lola: 5411962 markings, 7390674 edges, 42877 markings/sec, 120 secs
lola: 5629952 markings, 7690047 edges, 43598 markings/sec, 125 secs
lola: 5847479 markings, 7990939 edges, 43505 markings/sec, 130 secs
lola: 6063280 markings, 8292119 edges, 43160 markings/sec, 135 secs
lola: 6279541 markings, 8594107 edges, 43252 markings/sec, 140 secs
lola: 6496810 markings, 8895899 edges, 43454 markings/sec, 145 secs
lola: 6714774 markings, 9196804 edges, 43593 markings/sec, 150 secs
lola: 6931322 markings, 9498516 edges, 43310 markings/sec, 155 secs
lola: 7146376 markings, 9796581 edges, 43011 markings/sec, 160 secs
lola: 7361696 markings, 10095714 edges, 43064 markings/sec, 165 secs
lola: 7577434 markings, 10395093 edges, 43148 markings/sec, 170 secs
lola: 7793073 markings, 10697303 edges, 43128 markings/sec, 175 secs
lola: 8007476 markings, 11002700 edges, 42881 markings/sec, 180 secs
lola: 8222141 markings, 11300368 edges, 42933 markings/sec, 185 secs
lola: 8437017 markings, 11596748 edges, 42975 markings/sec, 190 secs
lola: 8650718 markings, 11891409 edges, 42740 markings/sec, 195 secs
lola: 8867020 markings, 12193348 edges, 43260 markings/sec, 200 secs
lola: 9083076 markings, 12490545 edges, 43211 markings/sec, 205 secs
lola: 9298091 markings, 12789833 edges, 43003 markings/sec, 210 secs
lola: 9514975 markings, 13084361 edges, 43377 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(p37)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 15 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: 248658 markings, 372814 edges, 49732 markings/sec, 0 secs
lola: 497546 markings, 760533 edges, 49778 markings/sec, 5 secs
lola: 743292 markings, 1149921 edges, 49149 markings/sec, 10 secs
lola: 988488 markings, 1539440 edges, 49039 markings/sec, 15 secs
lola: 1232027 markings, 1929148 edges, 48708 markings/sec, 20 secs
lola: 1474703 markings, 2322864 edges, 48535 markings/sec, 25 secs
lola: 1715804 markings, 2727119 edges, 48220 markings/sec, 30 secs
lola: 1960884 markings, 3110509 edges, 49016 markings/sec, 35 secs
lola: 2207475 markings, 3503740 edges, 49318 markings/sec, 40 secs
lola: 2457422 markings, 3893689 edges, 49989 markings/sec, 45 secs
lola: 2707402 markings, 4293923 edges, 49996 markings/sec, 50 secs
lola: 2952482 markings, 4690650 edges, 49016 markings/sec, 55 secs
lola: 3199915 markings, 5075496 edges, 49487 markings/sec, 60 secs
lola: 3443262 markings, 5464166 edges, 48669 markings/sec, 65 secs
lola: 3685930 markings, 5861453 edges, 48534 markings/sec, 70 secs
lola: 3931135 markings, 6256062 edges, 49041 markings/sec, 75 secs
lola: 4171549 markings, 6653517 edges, 48083 markings/sec, 80 secs
lola: 4408933 markings, 7059908 edges, 47477 markings/sec, 85 secs
lola: 4652234 markings, 7453078 edges, 48660 markings/sec, 90 secs
lola: 4894218 markings, 7854794 edges, 48397 markings/sec, 95 secs
lola: 5136661 markings, 8251257 edges, 48489 markings/sec, 100 secs
lola: 5378461 markings, 8647677 edges, 48360 markings/sec, 105 secs
lola: 5621615 markings, 9046030 edges, 48631 markings/sec, 110 secs
lola: 5857118 markings, 9436484 edges, 47101 markings/sec, 115 secs
lola: 6100378 markings, 9832726 edges, 48652 markings/sec, 120 secs
lola: 6349501 markings, 10208529 edges, 49825 markings/sec, 125 secs
lola: 6601675 markings, 10597010 edges, 50435 markings/sec, 130 secs
lola: 6852954 markings, 10988722 edges, 50256 markings/sec, 135 secs
lola: 7105872 markings, 11376424 edges, 50584 markings/sec, 140 secs
lola: 7363284 markings, 11783051 edges, 51482 markings/sec, 145 secs
lola: 7615758 markings, 12178001 edges, 50495 markings/sec, 150 secs
lola: 7856839 markings, 12566409 edges, 48216 markings/sec, 155 secs
lola: 8107218 markings, 12967387 edges, 50076 markings/sec, 160 secs
lola: 8356780 markings, 13365605 edges, 49912 markings/sec, 165 secs
lola: 8605740 markings, 13772878 edges, 49792 markings/sec, 170 secs
lola: 8853262 markings, 14176001 edges, 49504 markings/sec, 175 secs
lola: 9099897 markings, 14587710 edges, 49327 markings/sec, 180 secs
lola: 9348364 markings, 14984073 edges, 49693 markings/sec, 185 secs
lola: 9596011 markings, 15376165 edges, 49529 markings/sec, 190 secs
lola: 9842106 markings, 15773588 edges, 49219 markings/sec, 195 secs
lola: 10092586 markings, 16164845 edges, 50096 markings/sec, 200 secs
lola: 10344782 markings, 16553603 edges, 50439 markings/sec, 205 secs
lola: 10595430 markings, 16949442 edges, 50130 markings/sec, 210 secs
lola: 10842664 markings, 17342562 edges, 49447 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(p115)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 15 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: 228066 markings, 303141 edges, 45613 markings/sec, 0 secs
lola: 453343 markings, 605437 edges, 45055 markings/sec, 5 secs
lola: 679192 markings, 907598 edges, 45170 markings/sec, 10 secs
lola: 901367 markings, 1205939 edges, 44435 markings/sec, 15 secs
lola: 1126617 markings, 1508231 edges, 45050 markings/sec, 20 secs
lola: 1351507 markings, 1812564 edges, 44978 markings/sec, 25 secs
lola: 1571258 markings, 2117036 edges, 43950 markings/sec, 30 secs
lola: 1789955 markings, 2420936 edges, 43739 markings/sec, 35 secs
lola: 2012334 markings, 2728218 edges, 44476 markings/sec, 40 secs
lola: 2234237 markings, 3033335 edges, 44381 markings/sec, 45 secs
lola: 2454917 markings, 3341494 edges, 44136 markings/sec, 50 secs
lola: 2675498 markings, 3650165 edges, 44116 markings/sec, 55 secs
lola: 2894097 markings, 3953466 edges, 43720 markings/sec, 60 secs
lola: 3112874 markings, 4259637 edges, 43755 markings/sec, 65 secs
lola: 3332568 markings, 4561079 edges, 43939 markings/sec, 70 secs
lola: 3549251 markings, 4861203 edges, 43337 markings/sec, 75 secs
lola: 3770044 markings, 5166693 edges, 44159 markings/sec, 80 secs
lola: 3984507 markings, 5463897 edges, 42893 markings/sec, 85 secs
lola: 4197833 markings, 5765473 edges, 42665 markings/sec, 90 secs
lola: 4406585 markings, 6057087 edges, 41750 markings/sec, 95 secs
lola: 4603931 markings, 6328538 edges, 39469 markings/sec, 100 secs
lola: 4823430 markings, 6631935 edges, 43900 markings/sec, 105 secs
lola: 5044097 markings, 6939769 edges, 44133 markings/sec, 110 secs
lola: 5266073 markings, 7243518 edges, 44395 markings/sec, 115 secs
lola: 5487501 markings, 7554246 edges, 44286 markings/sec, 120 secs
lola: 5711538 markings, 7862256 edges, 44807 markings/sec, 125 secs
lola: 5934194 markings, 8171036 edges, 44531 markings/sec, 130 secs
lola: 6155062 markings, 8475041 edges, 44174 markings/sec, 135 secs
lola: 6377115 markings, 8784529 edges, 44411 markings/sec, 140 secs
lola: 6598132 markings, 9096716 edges, 44203 markings/sec, 145 secs
lola: 6817415 markings, 9408942 edges, 43857 markings/sec, 150 secs
lola: 7037485 markings, 9710554 edges, 44014 markings/sec, 155 secs
lola: 7257715 markings, 10019693 edges, 44046 markings/sec, 160 secs
lola: 7477751 markings, 10332639 edges, 44007 markings/sec, 165 secs
lola: 7689113 markings, 10629895 edges, 42272 markings/sec, 170 secs
lola: 7900288 markings, 10925195 edges, 42235 markings/sec, 175 secs
lola: 8115853 markings, 11231504 edges, 43113 markings/sec, 180 secs
lola: 8331941 markings, 11528348 edges, 43218 markings/sec, 185 secs
lola: 8547744 markings, 11832165 edges, 43161 markings/sec, 190 secs
lola: 8767469 markings, 12142314 edges, 43945 markings/sec, 195 secs
lola: 8987571 markings, 12442476 edges, 44020 markings/sec, 200 secs
lola: 9206937 markings, 12745447 edges, 43873 markings/sec, 205 secs
lola: 9425300 markings, 13051644 edges, 43673 markings/sec, 210 secs
lola: 9644939 markings, 13351381 edges, 43928 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(p156)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 15 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: 161971 markings, 337587 edges, 32394 markings/sec, 0 secs
lola: 327454 markings, 688328 edges, 33097 markings/sec, 5 secs
lola: 496203 markings, 1036196 edges, 33750 markings/sec, 10 secs
lola: 651539 markings, 1362336 edges, 31067 markings/sec, 15 secs
lola: 802126 markings, 1675628 edges, 30117 markings/sec, 20 secs
lola: 960914 markings, 2007973 edges, 31758 markings/sec, 25 secs
lola: 1116835 markings, 2337868 edges, 31184 markings/sec, 30 secs
lola: 1277958 markings, 2671424 edges, 32225 markings/sec, 35 secs
lola: 1452069 markings, 3011524 edges, 34822 markings/sec, 40 secs
lola: 1638433 markings, 3348023 edges, 37273 markings/sec, 45 secs
lola: 1818248 markings, 3691610 edges, 35963 markings/sec, 50 secs
lola: 1988681 markings, 4037713 edges, 34087 markings/sec, 55 secs
lola: 2156662 markings, 4367687 edges, 33596 markings/sec, 60 secs
lola: 2339831 markings, 4715931 edges, 36634 markings/sec, 65 secs
lola: 2521576 markings, 5059651 edges, 36349 markings/sec, 70 secs
lola: 2697632 markings, 5432794 edges, 35211 markings/sec, 75 secs
lola: 2880019 markings, 5805694 edges, 36477 markings/sec, 80 secs
lola: 3064042 markings, 6160996 edges, 36805 markings/sec, 85 secs
lola: 3241149 markings, 6514425 edges, 35421 markings/sec, 90 secs
lola: 3419504 markings, 6878577 edges, 35671 markings/sec, 95 secs
lola: 3601249 markings, 7240927 edges, 36349 markings/sec, 100 secs
lola: 3772455 markings, 7597655 edges, 34241 markings/sec, 105 secs
lola: 3949008 markings, 7950621 edges, 35311 markings/sec, 110 secs
lola: 4117832 markings, 8291611 edges, 33765 markings/sec, 115 secs
lola: 4284103 markings, 8622155 edges, 33254 markings/sec, 120 secs
lola: 4453298 markings, 8965484 edges, 33839 markings/sec, 125 secs
lola: 4618618 markings, 9313673 edges, 33064 markings/sec, 130 secs
lola: 4789492 markings, 9675400 edges, 34175 markings/sec, 135 secs
lola: 4962371 markings, 10032279 edges, 34576 markings/sec, 140 secs
lola: 5134548 markings, 10387541 edges, 34435 markings/sec, 145 secs
lola: 5308962 markings, 10742937 edges, 34883 markings/sec, 150 secs
lola: 5483632 markings, 11098891 edges, 34934 markings/sec, 155 secs
lola: 5660357 markings, 11455849 edges, 35345 markings/sec, 160 secs
lola: 5837727 markings, 11806374 edges, 35474 markings/sec, 165 secs
lola: 6014084 markings, 12153657 edges, 35271 markings/sec, 170 secs
lola: 6192208 markings, 12509492 edges, 35625 markings/sec, 175 secs
lola: 6374568 markings, 12863679 edges, 36472 markings/sec, 180 secs
lola: 6547054 markings, 13223238 edges, 34497 markings/sec, 185 secs
lola: 6725590 markings, 13580530 edges, 35707 markings/sec, 190 secs
lola: 6903972 markings, 13929007 edges, 35676 markings/sec, 195 secs
lola: 7083043 markings, 14277593 edges, 35814 markings/sec, 200 secs
lola: 7261319 markings, 14622722 edges, 35655 markings/sec, 205 secs
lola: 7432332 markings, 14966068 edges, 34203 markings/sec, 210 secs
lola: 7598695 markings, 15316682 edges, 33273 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(p125)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 15 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: 227990 markings, 303867 edges, 45598 markings/sec, 0 secs
lola: 454145 markings, 606745 edges, 45231 markings/sec, 5 secs
lola: 679777 markings, 909682 edges, 45126 markings/sec, 10 secs
lola: 903283 markings, 1210761 edges, 44701 markings/sec, 15 secs
lola: 1127691 markings, 1512591 edges, 44882 markings/sec, 20 secs
lola: 1351372 markings, 1817522 edges, 44736 markings/sec, 25 secs
lola: 1574432 markings, 2120192 edges, 44612 markings/sec, 30 secs
lola: 1796447 markings, 2418831 edges, 44403 markings/sec, 35 secs
lola: 2020453 markings, 2722494 edges, 44801 markings/sec, 40 secs
lola: 2243015 markings, 3026250 edges, 44512 markings/sec, 45 secs
lola: 2467738 markings, 3329427 edges, 44945 markings/sec, 50 secs
lola: 2691412 markings, 3631671 edges, 44735 markings/sec, 55 secs
lola: 2913069 markings, 3933213 edges, 44331 markings/sec, 60 secs
lola: 3127853 markings, 4224440 edges, 42957 markings/sec, 65 secs
lola: 3343800 markings, 4519466 edges, 43189 markings/sec, 70 secs
lola: 3564806 markings, 4825913 edges, 44201 markings/sec, 75 secs
lola: 3781137 markings, 5127264 edges, 43266 markings/sec, 80 secs
lola: 3996250 markings, 5428668 edges, 43023 markings/sec, 85 secs
lola: 4213901 markings, 5728094 edges, 43530 markings/sec, 90 secs
lola: 4436022 markings, 6034578 edges, 44424 markings/sec, 95 secs
lola: 4655773 markings, 6346500 edges, 43950 markings/sec, 100 secs
lola: 4878046 markings, 6653628 edges, 44455 markings/sec, 105 secs
lola: 5097185 markings, 6956039 edges, 43828 markings/sec, 110 secs
lola: 5315913 markings, 7257578 edges, 43746 markings/sec, 115 secs
lola: 5535371 markings, 7560206 edges, 43892 markings/sec, 120 secs
lola: 5756916 markings, 7865941 edges, 44309 markings/sec, 125 secs
lola: 5974511 markings, 8169471 edges, 43519 markings/sec, 130 secs
lola: 6194320 markings, 8474630 edges, 43962 markings/sec, 135 secs
lola: 6406960 markings, 8770842 edges, 42528 markings/sec, 140 secs
lola: 6624520 markings, 9071243 edges, 43512 markings/sec, 145 secs
lola: 6841612 markings, 9375376 edges, 43418 markings/sec, 150 secs
lola: 7060767 markings, 9676309 edges, 43831 markings/sec, 155 secs
lola: 7276714 markings, 9980072 edges, 43189 markings/sec, 160 secs
lola: 7496319 markings, 10283690 edges, 43921 markings/sec, 165 secs
lola: 7690543 markings, 10552709 edges, 38845 markings/sec, 170 secs
lola: 7902216 markings, 10852655 edges, 42335 markings/sec, 175 secs
lola: 8120859 markings, 11161298 edges, 43729 markings/sec, 180 secs
lola: 8340796 markings, 11465212 edges, 43987 markings/sec, 185 secs
lola: 8558988 markings, 11764004 edges, 43638 markings/sec, 190 secs
lola: 8777261 markings, 12068353 edges, 43655 markings/sec, 195 secs
lola: 8995996 markings, 12371507 edges, 43747 markings/sec, 200 secs
lola: 9216878 markings, 12677589 edges, 44176 markings/sec, 205 secs
lola: 9413727 markings, 12947940 edges, 39370 markings/sec, 210 secs
lola: 9634953 markings, 13248662 edges, 44245 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(p45)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 15 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: 253917 markings, 368686 edges, 50783 markings/sec, 0 secs
lola: 505084 markings, 748103 edges, 50233 markings/sec, 5 secs
lola: 747949 markings, 1122082 edges, 48573 markings/sec, 10 secs
lola: 973375 markings, 1469979 edges, 45085 markings/sec, 15 secs
lola: 1223206 markings, 1856312 edges, 49966 markings/sec, 20 secs
lola: 1473064 markings, 2250008 edges, 49972 markings/sec, 25 secs
lola: 1719313 markings, 2651595 edges, 49250 markings/sec, 30 secs
lola: 1970031 markings, 3030972 edges, 50144 markings/sec, 35 secs
lola: 2219714 markings, 3416612 edges, 49937 markings/sec, 40 secs
lola: 2467682 markings, 3792402 edges, 49594 markings/sec, 45 secs
lola: 2714737 markings, 4177284 edges, 49411 markings/sec, 50 secs
lola: 2960836 markings, 4561913 edges, 49220 markings/sec, 55 secs
lola: 3208684 markings, 4936702 edges, 49570 markings/sec, 60 secs
lola: 3456159 markings, 5320960 edges, 49495 markings/sec, 65 secs
lola: 3694179 markings, 5698325 edges, 47604 markings/sec, 70 secs
lola: 3915895 markings, 6044361 edges, 44343 markings/sec, 75 secs
lola: 4160484 markings, 6436587 edges, 48918 markings/sec, 80 secs
lola: 4402297 markings, 6837940 edges, 48363 markings/sec, 85 secs
lola: 4649393 markings, 7226998 edges, 49419 markings/sec, 90 secs
lola: 4895866 markings, 7624147 edges, 49295 markings/sec, 95 secs
lola: 5143236 markings, 8017254 edges, 49474 markings/sec, 100 secs
lola: 5389549 markings, 8408684 edges, 49263 markings/sec, 105 secs
lola: 5633613 markings, 8798323 edges, 48813 markings/sec, 110 secs
lola: 5878774 markings, 9192767 edges, 49032 markings/sec, 115 secs
lola: 6124821 markings, 9577303 edges, 49209 markings/sec, 120 secs
lola: 6373124 markings, 9941965 edges, 49661 markings/sec, 125 secs
lola: 6616835 markings, 10305131 edges, 48742 markings/sec, 130 secs
lola: 6842013 markings, 10646372 edges, 45036 markings/sec, 135 secs
lola: 7092013 markings, 11017906 edges, 50000 markings/sec, 140 secs
lola: 7341451 markings, 11397689 edges, 49888 markings/sec, 145 secs
lola: 7588856 markings, 11773538 edges, 49481 markings/sec, 150 secs
lola: 7836633 markings, 12160854 edges, 49555 markings/sec, 155 secs
lola: 8084034 markings, 12545840 edges, 49480 markings/sec, 160 secs
lola: 8330120 markings, 12925767 edges, 49217 markings/sec, 165 secs
lola: 8575975 markings, 13317928 edges, 49171 markings/sec, 170 secs
lola: 8822849 markings, 13704870 edges, 49375 markings/sec, 175 secs
lola: 9068291 markings, 14102238 edges, 49088 markings/sec, 180 secs
lola: 9314388 markings, 14487094 edges, 49219 markings/sec, 185 secs
lola: 9558913 markings, 14864859 edges, 48905 markings/sec, 190 secs
lola: 9806968 markings, 15247910 edges, 49611 markings/sec, 195 secs
lola: 10055518 markings, 15628999 edges, 49710 markings/sec, 200 secs
lola: 10305587 markings, 16002108 edges, 50014 markings/sec, 205 secs
lola: 10546739 markings, 16373495 edges, 48230 markings/sec, 210 secs
lola: 10770379 markings, 16711930 edges, 44728 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 FlexibleBarrier-PT-16a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-16a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496494475112

--------------------
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="FlexibleBarrier-PT-16a"
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/FlexibleBarrier-PT-16a.tgz
mv FlexibleBarrier-PT-16a 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 FlexibleBarrier-PT-16a, 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 r188-blw3-149581034300110"
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 ;