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-14b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r188-blw3-149581034300101
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496489110972


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


checking for too many tokens
===========================================================================================
FlexibleBarrier-PT-14b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ FlexibleBarrier-PT-14b @ 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: 5763/65536 symbol table entries, 697 collisions
lola: preprocessing...
lola: finding significant places
lola: 2678 places, 3085 transitions, 2662 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3115 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-14b-UpperBounds.task
lola: MAX(p103) : MAX(p1216) : MAX(p1985) : MAX(p854) : MAX(p2424) : MAX(p1809) : MAX(p2542) : MAX(p46) : MAX(p1474) : MAX(p1968) : MAX(p2472) : MAX(p2161) : MAX(p2580) : MAX(p76) : MAX(p2026) : MAX(p1525)
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(p103)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 336 bytes per marking, with 26 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: 74710 markings, 183542 edges, 14942 markings/sec, 0 secs
lola: 151072 markings, 369971 edges, 15272 markings/sec, 5 secs
lola: 219048 markings, 590634 edges, 13595 markings/sec, 10 secs
lola: 279613 markings, 842256 edges, 12113 markings/sec, 15 secs
lola: 335848 markings, 1112706 edges, 11247 markings/sec, 20 secs
lola: 406533 markings, 1286376 edges, 14137 markings/sec, 25 secs
lola: 474956 markings, 1454187 edges, 13685 markings/sec, 30 secs
lola: 543338 markings, 1670495 edges, 13676 markings/sec, 35 secs
lola: 604390 markings, 1915453 edges, 12210 markings/sec, 40 secs
lola: 658655 markings, 2193161 edges, 10853 markings/sec, 45 secs
lola: 733474 markings, 2379910 edges, 14964 markings/sec, 50 secs
lola: 809026 markings, 2566236 edges, 15110 markings/sec, 55 secs
lola: 876856 markings, 2786287 edges, 13566 markings/sec, 60 secs
lola: 936635 markings, 3033765 edges, 11956 markings/sec, 65 secs
lola: 990446 markings, 3300184 edges, 10762 markings/sec, 70 secs
lola: 1064554 markings, 3483003 edges, 14822 markings/sec, 75 secs
lola: 1139544 markings, 3667220 edges, 14998 markings/sec, 80 secs
lola: 1203555 markings, 3875021 edges, 12802 markings/sec, 85 secs
lola: 1258452 markings, 4100400 edges, 10979 markings/sec, 90 secs
lola: 1311924 markings, 4371883 edges, 10694 markings/sec, 95 secs
lola: 1385301 markings, 4557581 edges, 14675 markings/sec, 100 secs
lola: 1456743 markings, 4734910 edges, 14288 markings/sec, 105 secs
lola: 1519662 markings, 4927811 edges, 12584 markings/sec, 110 secs
lola: 1581620 markings, 5168793 edges, 12392 markings/sec, 115 secs
lola: 1634873 markings, 5446168 edges, 10651 markings/sec, 120 secs
lola: 1702700 markings, 5628665 edges, 13565 markings/sec, 125 secs
lola: 1770962 markings, 5796956 edges, 13652 markings/sec, 130 secs
lola: 1842438 markings, 6001854 edges, 14295 markings/sec, 135 secs
lola: 1905442 markings, 6240583 edges, 12601 markings/sec, 140 secs
lola: 1958256 markings, 6517932 edges, 10563 markings/sec, 145 secs
lola: 2025985 markings, 6712488 edges, 13546 markings/sec, 150 secs
lola: 2099991 markings, 6892456 edges, 14801 markings/sec, 155 secs
lola: 2169632 markings, 7092359 edges, 13928 markings/sec, 160 secs
lola: 2232486 markings, 7327413 edges, 12571 markings/sec, 165 secs
lola: 2285572 markings, 7606715 edges, 10617 markings/sec, 170 secs
lola: 2354294 markings, 7805605 edges, 13744 markings/sec, 175 secs
lola: 2428741 markings, 7988494 edges, 14889 markings/sec, 180 secs
lola: 2499439 markings, 8191402 edges, 14140 markings/sec, 185 secs
lola: 2562223 markings, 8426175 edges, 12557 markings/sec, 190 secs
lola: 2615102 markings, 8703834 edges, 10576 markings/sec, 195 secs
lola: 2683685 markings, 8903983 edges, 13717 markings/sec, 200 secs
lola: 2758180 markings, 9087339 edges, 14899 markings/sec, 205 secs
lola: 2828952 markings, 9290064 edges, 14154 markings/sec, 210 secs
lola: 2891918 markings, 9524646 edges, 12593 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(p1216)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 336 bytes per marking, with 26 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: 85225 markings, 166355 edges, 17045 markings/sec, 0 secs
lola: 161704 markings, 351094 edges, 15296 markings/sec, 5 secs
lola: 236705 markings, 546425 edges, 15000 markings/sec, 10 secs
lola: 299670 markings, 796751 edges, 12593 markings/sec, 15 secs
lola: 366670 markings, 1025433 edges, 13400 markings/sec, 20 secs
lola: 450023 markings, 1194967 edges, 16671 markings/sec, 25 secs
lola: 528257 markings, 1378450 edges, 15647 markings/sec, 30 secs
lola: 599833 markings, 1588438 edges, 14315 markings/sec, 35 secs
lola: 658985 markings, 1861415 edges, 11830 markings/sec, 40 secs
lola: 733869 markings, 2052232 edges, 14977 markings/sec, 45 secs
lola: 814885 markings, 2224974 edges, 16203 markings/sec, 50 secs
lola: 894674 markings, 2405167 edges, 15958 markings/sec, 55 secs
lola: 962369 markings, 2630176 edges, 13539 markings/sec, 60 secs
lola: 1021994 markings, 2899471 edges, 11925 markings/sec, 65 secs
lola: 1100862 markings, 3078492 edges, 15774 markings/sec, 70 secs
lola: 1178901 markings, 3263606 edges, 15608 markings/sec, 75 secs
lola: 1259368 markings, 3442352 edges, 16093 markings/sec, 80 secs
lola: 1324719 markings, 3682602 edges, 13070 markings/sec, 85 secs
lola: 1386248 markings, 3938565 edges, 12306 markings/sec, 90 secs
lola: 1470065 markings, 4109571 edges, 16763 markings/sec, 95 secs
lola: 1547348 markings, 4294404 edges, 15457 markings/sec, 100 secs
lola: 1623325 markings, 4486643 edges, 15195 markings/sec, 105 secs
lola: 1686694 markings, 4733720 edges, 12674 markings/sec, 110 secs
lola: 1751756 markings, 4967963 edges, 13012 markings/sec, 115 secs
lola: 1835962 markings, 5137728 edges, 16841 markings/sec, 120 secs
lola: 1913438 markings, 5320007 edges, 15495 markings/sec, 125 secs
lola: 1986068 markings, 5526193 edges, 14526 markings/sec, 130 secs
lola: 2046174 markings, 5793331 edges, 12021 markings/sec, 135 secs
lola: 2119256 markings, 5995172 edges, 14616 markings/sec, 140 secs
lola: 2201354 markings, 6167703 edges, 16420 markings/sec, 145 secs
lola: 2280516 markings, 6348567 edges, 15832 markings/sec, 150 secs
lola: 2349569 markings, 6568366 edges, 13811 markings/sec, 155 secs
lola: 2408996 markings, 6839884 edges, 11885 markings/sec, 160 secs
lola: 2486964 markings, 7022368 edges, 15594 markings/sec, 165 secs
lola: 2565725 markings, 7204357 edges, 15752 markings/sec, 170 secs
lola: 2645770 markings, 7380539 edges, 16009 markings/sec, 175 secs
lola: 2711404 markings, 7617330 edges, 13127 markings/sec, 180 secs
lola: 2772248 markings, 7876805 edges, 12169 markings/sec, 185 secs
lola: 2854538 markings, 8049643 edges, 16458 markings/sec, 190 secs
lola: 2931376 markings, 8233051 edges, 15368 markings/sec, 195 secs
lola: 3008699 markings, 8420908 edges, 15465 markings/sec, 200 secs
lola: 3072586 markings, 8665222 edges, 12777 markings/sec, 205 secs
lola: 3135887 markings, 8907804 edges, 12660 markings/sec, 210 secs
lola: 3220572 markings, 9079445 edges, 16937 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(p1985)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 336 bytes per marking, with 26 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: 83836 markings, 187241 edges, 16767 markings/sec, 0 secs
lola: 170140 markings, 369677 edges, 17261 markings/sec, 5 secs
lola: 242306 markings, 593438 edges, 14433 markings/sec, 10 secs
lola: 305495 markings, 858919 edges, 12638 markings/sec, 15 secs
lola: 384479 markings, 1049723 edges, 15797 markings/sec, 20 secs
lola: 465561 markings, 1235450 edges, 16216 markings/sec, 25 secs
lola: 544248 markings, 1439450 edges, 15737 markings/sec, 30 secs
lola: 610582 markings, 1678979 edges, 13267 markings/sec, 35 secs
lola: 679730 markings, 1910617 edges, 13830 markings/sec, 40 secs
lola: 760050 markings, 2099500 edges, 16064 markings/sec, 45 secs
lola: 844138 markings, 2277291 edges, 16818 markings/sec, 50 secs
lola: 914960 markings, 2512778 edges, 14164 markings/sec, 55 secs
lola: 977953 markings, 2766509 edges, 12599 markings/sec, 60 secs
lola: 1058290 markings, 2955097 edges, 16067 markings/sec, 65 secs
lola: 1138717 markings, 3139661 edges, 16085 markings/sec, 70 secs
lola: 1217659 markings, 3343623 edges, 15788 markings/sec, 75 secs
lola: 1280966 markings, 3605128 edges, 12661 markings/sec, 80 secs
lola: 1352428 markings, 3818969 edges, 14292 markings/sec, 85 secs
lola: 1429210 markings, 4025577 edges, 15356 markings/sec, 90 secs
lola: 1508186 markings, 4231105 edges, 15795 markings/sec, 95 secs
lola: 1576570 markings, 4474091 edges, 13677 markings/sec, 100 secs
lola: 1632020 markings, 4770751 edges, 11090 markings/sec, 105 secs
lola: 1704795 markings, 4982431 edges, 14555 markings/sec, 110 secs
lola: 1781861 markings, 5189200 edges, 15413 markings/sec, 115 secs
lola: 1859475 markings, 5401120 edges, 15523 markings/sec, 120 secs
lola: 1924658 markings, 5655671 edges, 13037 markings/sec, 125 secs
lola: 1982115 markings, 5940212 edges, 11491 markings/sec, 130 secs
lola: 2060402 markings, 6129658 edges, 15657 markings/sec, 135 secs
lola: 2140030 markings, 6313336 edges, 15926 markings/sec, 140 secs
lola: 2216029 markings, 6516037 edges, 15200 markings/sec, 145 secs
lola: 2280066 markings, 6748593 edges, 12807 markings/sec, 150 secs
lola: 2346792 markings, 6976026 edges, 13345 markings/sec, 155 secs
lola: 2427488 markings, 7160327 edges, 16139 markings/sec, 160 secs
lola: 2502096 markings, 7361017 edges, 14922 markings/sec, 165 secs
lola: 2566727 markings, 7598901 edges, 12926 markings/sec, 170 secs
lola: 2637856 markings, 7827316 edges, 14226 markings/sec, 175 secs
lola: 2721333 markings, 8000203 edges, 16695 markings/sec, 180 secs
lola: 2790634 markings, 8220028 edges, 13860 markings/sec, 185 secs
lola: 2851351 markings, 8481286 edges, 12143 markings/sec, 190 secs
lola: 2932038 markings, 8669394 edges, 16137 markings/sec, 195 secs
lola: 3011390 markings, 8865936 edges, 15870 markings/sec, 200 secs
lola: 3077230 markings, 9106312 edges, 13168 markings/sec, 205 secs
lola: 3147642 markings, 9334529 edges, 14082 markings/sec, 210 secs
lola: 3230965 markings, 9521048 edges, 16665 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(p854)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 336 bytes per marking, with 26 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: 82658 markings, 166523 edges, 16532 markings/sec, 0 secs
lola: 163945 markings, 345125 edges, 16257 markings/sec, 5 secs
lola: 246647 markings, 522347 edges, 16540 markings/sec, 10 secs
lola: 333962 markings, 698458 edges, 17463 markings/sec, 15 secs
lola: 418369 markings, 885698 edges, 16881 markings/sec, 20 secs
lola: 501670 markings, 1065336 edges, 16660 markings/sec, 25 secs
lola: 579820 markings, 1259032 edges, 15630 markings/sec, 30 secs
lola: 642467 markings, 1509624 edges, 12529 markings/sec, 35 secs
lola: 708435 markings, 1752019 edges, 13194 markings/sec, 40 secs
lola: 779829 markings, 1947960 edges, 14279 markings/sec, 45 secs
lola: 857320 markings, 2140818 edges, 15498 markings/sec, 50 secs
lola: 936716 markings, 2326933 edges, 15879 markings/sec, 55 secs
lola: 1017195 markings, 2508069 edges, 16096 markings/sec, 60 secs
lola: 1081394 markings, 2745592 edges, 12840 markings/sec, 65 secs
lola: 1144167 markings, 2995394 edges, 12555 markings/sec, 70 secs
lola: 1215082 markings, 3191897 edges, 14183 markings/sec, 75 secs
lola: 1289576 markings, 3387437 edges, 14899 markings/sec, 80 secs
lola: 1365865 markings, 3568806 edges, 15258 markings/sec, 85 secs
lola: 1445153 markings, 3739235 edges, 15858 markings/sec, 90 secs
lola: 1513972 markings, 3953973 edges, 13764 markings/sec, 95 secs
lola: 1570957 markings, 4215847 edges, 11397 markings/sec, 100 secs
lola: 1642082 markings, 4422055 edges, 14225 markings/sec, 105 secs
lola: 1712758 markings, 4611720 edges, 14135 markings/sec, 110 secs
lola: 1789850 markings, 4794614 edges, 15418 markings/sec, 115 secs
lola: 1867880 markings, 4966621 edges, 15606 markings/sec, 120 secs
lola: 1941338 markings, 5162697 edges, 14692 markings/sec, 125 secs
lola: 2002532 markings, 5406750 edges, 12239 markings/sec, 130 secs
lola: 2068193 markings, 5638133 edges, 13132 markings/sec, 135 secs
lola: 2137973 markings, 5830701 edges, 13956 markings/sec, 140 secs
lola: 2214685 markings, 6015105 edges, 15342 markings/sec, 145 secs
lola: 2291671 markings, 6196472 edges, 15397 markings/sec, 150 secs
lola: 2369554 markings, 6374460 edges, 15577 markings/sec, 155 secs
lola: 2433149 markings, 6611131 edges, 12719 markings/sec, 160 secs
lola: 2494974 markings, 6855926 edges, 12365 markings/sec, 165 secs
lola: 2565073 markings, 7050303 edges, 14020 markings/sec, 170 secs
lola: 2638672 markings, 7245450 edges, 14720 markings/sec, 175 secs
lola: 2715603 markings, 7426711 edges, 15386 markings/sec, 180 secs
lola: 2794994 markings, 7597600 edges, 15878 markings/sec, 185 secs
lola: 2863952 markings, 7812553 edges, 13792 markings/sec, 190 secs
lola: 2921463 markings, 8075777 edges, 11502 markings/sec, 195 secs
lola: 2992313 markings, 8281369 edges, 14170 markings/sec, 200 secs
lola: 3062734 markings, 8470793 edges, 14084 markings/sec, 205 secs
lola: 3140020 markings, 8653850 edges, 15457 markings/sec, 210 secs
lola: 3219134 markings, 8828277 edges, 15823 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(p2424)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 336 bytes per marking, with 26 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: 78266 markings, 152950 edges, 15653 markings/sec, 0 secs
lola: 156232 markings, 306860 edges, 15593 markings/sec, 5 secs
lola: 221675 markings, 505049 edges, 13089 markings/sec, 10 secs
lola: 281598 markings, 736199 edges, 11985 markings/sec, 15 secs
lola: 339515 markings, 968229 edges, 11583 markings/sec, 20 secs
lola: 413756 markings, 1126394 edges, 14848 markings/sec, 25 secs
lola: 491524 markings, 1279758 edges, 15554 markings/sec, 30 secs
lola: 560102 markings, 1465688 edges, 13716 markings/sec, 35 secs
lola: 621756 markings, 1688743 edges, 12331 markings/sec, 40 secs
lola: 678391 markings, 1925011 edges, 11327 markings/sec, 45 secs
lola: 749684 markings, 2096003 edges, 14259 markings/sec, 50 secs
lola: 828017 markings, 2250196 edges, 15667 markings/sec, 55 secs
lola: 899189 markings, 2426211 edges, 14234 markings/sec, 60 secs
lola: 960997 markings, 2640879 edges, 12362 markings/sec, 65 secs
lola: 1019204 markings, 2872593 edges, 11641 markings/sec, 70 secs
lola: 1085474 markings, 3065265 edges, 13254 markings/sec, 75 secs
lola: 1163592 markings, 3219337 edges, 15624 markings/sec, 80 secs
lola: 1238127 markings, 3386298 edges, 14907 markings/sec, 85 secs
lola: 1301674 markings, 3595139 edges, 12709 markings/sec, 90 secs
lola: 1359869 markings, 3833979 edges, 11639 markings/sec, 95 secs
lola: 1422699 markings, 4037244 edges, 12566 markings/sec, 100 secs
lola: 1500405 markings, 4190430 edges, 15541 markings/sec, 105 secs
lola: 1577455 markings, 4347412 edges, 15410 markings/sec, 110 secs
lola: 1641891 markings, 4552197 edges, 12887 markings/sec, 115 secs
lola: 1701196 markings, 4783150 edges, 11861 markings/sec, 120 secs
lola: 1758612 markings, 5006054 edges, 11483 markings/sec, 125 secs
lola: 1836537 markings, 5161341 edges, 15585 markings/sec, 130 secs
lola: 1915247 markings, 5315406 edges, 15742 markings/sec, 135 secs
lola: 1980823 markings, 5511276 edges, 13115 markings/sec, 140 secs
lola: 2041171 markings, 5739269 edges, 12070 markings/sec, 145 secs
lola: 2099136 markings, 5973737 edges, 11593 markings/sec, 150 secs
lola: 2173991 markings, 6133171 edges, 14971 markings/sec, 155 secs
lola: 2251998 markings, 6287526 edges, 15601 markings/sec, 160 secs
lola: 2320799 markings, 6475042 edges, 13760 markings/sec, 165 secs
lola: 2382324 markings, 6698736 edges, 12305 markings/sec, 170 secs
lola: 2439546 markings, 6936876 edges, 11444 markings/sec, 175 secs
lola: 2511378 markings, 7105451 edges, 14366 markings/sec, 180 secs
lola: 2589349 markings, 7259217 edges, 15594 markings/sec, 185 secs
lola: 2660638 markings, 7437880 edges, 14258 markings/sec, 190 secs
lola: 2723136 markings, 7657179 edges, 12500 markings/sec, 195 secs
lola: 2781488 markings, 7888306 edges, 11670 markings/sec, 200 secs
lola: 2849258 markings, 8078707 edges, 13554 markings/sec, 205 secs
lola: 2927443 markings, 8232965 edges, 15637 markings/sec, 210 secs
lola: 3001117 markings, 8402472 edges, 14735 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(p1809)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 336 bytes per marking, with 26 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: 90839 markings, 180307 edges, 18168 markings/sec, 0 secs
lola: 185572 markings, 368064 edges, 18947 markings/sec, 5 secs
lola: 273956 markings, 540848 edges, 17677 markings/sec, 10 secs
lola: 360076 markings, 714175 edges, 17224 markings/sec, 15 secs
lola: 442130 markings, 881431 edges, 16411 markings/sec, 20 secs
lola: 525396 markings, 1049453 edges, 16653 markings/sec, 25 secs
lola: 609175 markings, 1217941 edges, 16756 markings/sec, 30 secs
lola: 692353 markings, 1386979 edges, 16636 markings/sec, 35 secs
lola: 776345 markings, 1555196 edges, 16798 markings/sec, 40 secs
lola: 859814 markings, 1724076 edges, 16694 markings/sec, 45 secs
lola: 940503 markings, 1895522 edges, 16138 markings/sec, 50 secs
lola: 1012713 markings, 2065306 edges, 14442 markings/sec, 55 secs
lola: 1084602 markings, 2266064 edges, 14378 markings/sec, 60 secs
lola: 1144753 markings, 2496975 edges, 12030 markings/sec, 65 secs
lola: 1208791 markings, 2711718 edges, 12808 markings/sec, 70 secs
lola: 1281000 markings, 2860053 edges, 14442 markings/sec, 75 secs
lola: 1352092 markings, 3035492 edges, 14218 markings/sec, 80 secs
lola: 1421329 markings, 3219886 edges, 13847 markings/sec, 85 secs
lola: 1479446 markings, 3434757 edges, 11623 markings/sec, 90 secs
lola: 1537288 markings, 3648366 edges, 11568 markings/sec, 95 secs
lola: 1610761 markings, 3806361 edges, 14695 markings/sec, 100 secs
lola: 1680904 markings, 3980145 edges, 14029 markings/sec, 105 secs
lola: 1751118 markings, 4151062 edges, 14043 markings/sec, 110 secs
lola: 1806039 markings, 4349674 edges, 10984 markings/sec, 115 secs
lola: 1862035 markings, 4568496 edges, 11199 markings/sec, 120 secs
lola: 1931433 markings, 4735950 edges, 13880 markings/sec, 125 secs
lola: 2003086 markings, 4907060 edges, 14331 markings/sec, 130 secs
lola: 2074450 markings, 5067788 edges, 14273 markings/sec, 135 secs
lola: 2136068 markings, 5272189 edges, 12324 markings/sec, 140 secs
lola: 2189205 markings, 5495105 edges, 10627 markings/sec, 145 secs
lola: 2254546 markings, 5672624 edges, 13068 markings/sec, 150 secs
lola: 2328706 markings, 5834931 edges, 14832 markings/sec, 155 secs
lola: 2398518 markings, 6001858 edges, 13962 markings/sec, 160 secs
lola: 2464692 markings, 6191689 edges, 13235 markings/sec, 165 secs
lola: 2519645 markings, 6404926 edges, 10991 markings/sec, 170 secs
lola: 2574539 markings, 6598020 edges, 10979 markings/sec, 175 secs
lola: 2646419 markings, 6762197 edges, 14376 markings/sec, 180 secs
lola: 2708200 markings, 6943315 edges, 12356 markings/sec, 185 secs
lola: 2787504 markings, 7116090 edges, 15861 markings/sec, 190 secs
lola: 2870955 markings, 7285367 edges, 16690 markings/sec, 195 secs
lola: 2954323 markings, 7458766 edges, 16674 markings/sec, 200 secs
lola: 3040550 markings, 7628077 edges, 17245 markings/sec, 205 secs
lola: 3120313 markings, 7795996 edges, 15953 markings/sec, 210 secs
lola: 3206549 markings, 7966329 edges, 17247 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(p2542)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 336 bytes per marking, with 26 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: 81410 markings, 160763 edges, 16282 markings/sec, 0 secs
lola: 161269 markings, 325913 edges, 15972 markings/sec, 5 secs
lola: 229764 markings, 536344 edges, 13699 markings/sec, 10 secs
lola: 292512 markings, 765918 edges, 12550 markings/sec, 15 secs
lola: 352190 markings, 1004139 edges, 11936 markings/sec, 20 secs
lola: 432148 markings, 1162235 edges, 15992 markings/sec, 25 secs
lola: 512678 markings, 1330228 edges, 16106 markings/sec, 30 secs
lola: 579998 markings, 1541091 edges, 13464 markings/sec, 35 secs
lola: 642140 markings, 1771477 edges, 12428 markings/sec, 40 secs
lola: 704362 markings, 2008677 edges, 12444 markings/sec, 45 secs
lola: 785297 markings, 2170513 edges, 16187 markings/sec, 50 secs
lola: 866405 markings, 2338302 edges, 16222 markings/sec, 55 secs
lola: 931330 markings, 2548986 edges, 12985 markings/sec, 60 secs
lola: 991797 markings, 2775614 edges, 12093 markings/sec, 65 secs
lola: 1054462 markings, 3010189 edges, 12533 markings/sec, 70 secs
lola: 1136292 markings, 3172501 edges, 16366 markings/sec, 75 secs
lola: 1216734 markings, 3340679 edges, 16088 markings/sec, 80 secs
lola: 1282636 markings, 3555713 edges, 13180 markings/sec, 85 secs
lola: 1343981 markings, 3794300 edges, 12269 markings/sec, 90 secs
lola: 1409127 markings, 4020217 edges, 13029 markings/sec, 95 secs
lola: 1491141 markings, 4182918 edges, 16403 markings/sec, 100 secs
lola: 1570336 markings, 4356326 edges, 15839 markings/sec, 105 secs
lola: 1636304 markings, 4568785 edges, 13194 markings/sec, 110 secs
lola: 1696465 markings, 4817103 edges, 12032 markings/sec, 115 secs
lola: 1762771 markings, 5028086 edges, 13261 markings/sec, 120 secs
lola: 1842607 markings, 5186822 edges, 15967 markings/sec, 125 secs
lola: 1921182 markings, 5363205 edges, 15715 markings/sec, 130 secs
lola: 1987176 markings, 5574380 edges, 13199 markings/sec, 135 secs
lola: 2046796 markings, 5829748 edges, 11924 markings/sec, 140 secs
lola: 2116251 markings, 6035551 edges, 13891 markings/sec, 145 secs
lola: 2198263 markings, 6197969 edges, 16402 markings/sec, 150 secs
lola: 2274964 markings, 6379092 edges, 15340 markings/sec, 155 secs
lola: 2339332 markings, 6590953 edges, 12874 markings/sec, 160 secs
lola: 2397554 markings, 6840427 edges, 11644 markings/sec, 165 secs
lola: 2467776 markings, 7040369 edges, 14044 markings/sec, 170 secs
lola: 2549859 markings, 7203016 edges, 16417 markings/sec, 175 secs
lola: 2625109 markings, 7383357 edges, 15050 markings/sec, 180 secs
lola: 2689152 markings, 7592664 edges, 12809 markings/sec, 185 secs
lola: 2748284 markings, 7851710 edges, 11826 markings/sec, 190 secs
lola: 2820122 markings, 8045016 edges, 14368 markings/sec, 195 secs
lola: 2902220 markings, 8207534 edges, 16420 markings/sec, 200 secs
lola: 2977476 markings, 8394769 edges, 15051 markings/sec, 205 secs
lola: 3043234 markings, 8607416 edges, 13152 markings/sec, 210 secs
lola: 3101403 markings, 8873895 edges, 11634 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(p46)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 336 bytes per marking, with 26 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: 81890 markings, 160181 edges, 16378 markings/sec, 0 secs
lola: 162786 markings, 319373 edges, 16179 markings/sec, 5 secs
lola: 230325 markings, 528531 edges, 13508 markings/sec, 10 secs
lola: 292632 markings, 766725 edges, 12461 markings/sec, 15 secs
lola: 352855 markings, 1001041 edges, 12045 markings/sec, 20 secs
lola: 433653 markings, 1162364 edges, 16160 markings/sec, 25 secs
lola: 514276 markings, 1321557 edges, 16125 markings/sec, 30 secs
lola: 582138 markings, 1527457 edges, 13572 markings/sec, 35 secs
lola: 644571 markings, 1763779 edges, 12487 markings/sec, 40 secs
lola: 704738 markings, 2000817 edges, 12033 markings/sec, 45 secs
lola: 784571 markings, 2163478 edges, 15967 markings/sec, 50 secs
lola: 865774 markings, 2323129 edges, 16241 markings/sec, 55 secs
lola: 934030 markings, 2526578 edges, 13651 markings/sec, 60 secs
lola: 996729 markings, 2762454 edges, 12540 markings/sec, 65 secs
lola: 1056671 markings, 3000674 edges, 11988 markings/sec, 70 secs
lola: 1135523 markings, 3165256 edges, 15770 markings/sec, 75 secs
lola: 1216913 markings, 3324734 edges, 16278 markings/sec, 80 secs
lola: 1285335 markings, 3524050 edges, 13684 markings/sec, 85 secs
lola: 1348434 markings, 3758273 edges, 12620 markings/sec, 90 secs
lola: 1408575 markings, 4000194 edges, 12028 markings/sec, 95 secs
lola: 1486655 markings, 4165537 edges, 15616 markings/sec, 100 secs
lola: 1567366 markings, 4325452 edges, 16142 markings/sec, 105 secs
lola: 1637332 markings, 4523467 edges, 13993 markings/sec, 110 secs
lola: 1700629 markings, 4757419 edges, 12659 markings/sec, 115 secs
lola: 1760657 markings, 5000863 edges, 12006 markings/sec, 120 secs
lola: 1837813 markings, 5167103 edges, 15431 markings/sec, 125 secs
lola: 1919143 markings, 5327084 edges, 16266 markings/sec, 130 secs
lola: 1989063 markings, 5522155 edges, 13984 markings/sec, 135 secs
lola: 2052596 markings, 5754101 edges, 12707 markings/sec, 140 secs
lola: 2112246 markings, 5999374 edges, 11930 markings/sec, 145 secs
lola: 2188477 markings, 6167492 edges, 15246 markings/sec, 150 secs
lola: 2268632 markings, 6325217 edges, 16031 markings/sec, 155 secs
lola: 2337849 markings, 6511448 edges, 13843 markings/sec, 160 secs
lola: 2401765 markings, 6740982 edges, 12783 markings/sec, 165 secs
lola: 2460873 markings, 6987461 edges, 11822 markings/sec, 170 secs
lola: 2535788 markings, 7161924 edges, 14983 markings/sec, 175 secs
lola: 2616553 markings, 7320104 edges, 16153 markings/sec, 180 secs
lola: 2688162 markings, 7504995 edges, 14322 markings/sec, 185 secs
lola: 2752005 markings, 7730796 edges, 12769 markings/sec, 190 secs
lola: 2810692 markings, 7974349 edges, 11737 markings/sec, 195 secs
lola: 2882543 markings, 8153774 edges, 14370 markings/sec, 200 secs
lola: 2962178 markings, 8311100 edges, 15927 markings/sec, 205 secs
lola: 3035228 markings, 8489509 edges, 14610 markings/sec, 210 secs
lola: 3099990 markings, 8712903 edges, 12952 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(p1474)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 336 bytes per marking, with 26 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: 80806 markings, 159605 edges, 16161 markings/sec, 0 secs
lola: 160810 markings, 318793 edges, 16001 markings/sec, 5 secs
lola: 228036 markings, 526768 edges, 13445 markings/sec, 10 secs
lola: 290053 markings, 766934 edges, 12403 markings/sec, 15 secs
lola: 350348 markings, 1004685 edges, 12059 markings/sec, 20 secs
lola: 428225 markings, 1168649 edges, 15575 markings/sec, 25 secs
lola: 507613 markings, 1326821 edges, 15878 markings/sec, 30 secs
lola: 576803 markings, 1524019 edges, 13838 markings/sec, 35 secs
lola: 638462 markings, 1755815 edges, 12332 markings/sec, 40 secs
lola: 697350 markings, 1997996 edges, 11778 markings/sec, 45 secs
lola: 772041 markings, 2169375 edges, 14938 markings/sec, 50 secs
lola: 851521 markings, 2327520 edges, 15896 markings/sec, 55 secs
lola: 924395 markings, 2517230 edges, 14575 markings/sec, 60 secs
lola: 987945 markings, 2750186 edges, 12710 markings/sec, 65 secs
lola: 1048838 markings, 2984944 edges, 12179 markings/sec, 70 secs
lola: 1119950 markings, 3179187 edges, 14222 markings/sec, 75 secs
lola: 1201308 markings, 3339942 edges, 16272 markings/sec, 80 secs
lola: 1276094 markings, 3523608 edges, 14957 markings/sec, 85 secs
lola: 1340030 markings, 3753736 edges, 12787 markings/sec, 90 secs
lola: 1401169 markings, 3991978 edges, 12228 markings/sec, 95 secs
lola: 1470410 markings, 4192469 edges, 13848 markings/sec, 100 secs
lola: 1551680 markings, 4353602 edges, 16254 markings/sec, 105 secs
lola: 1628166 markings, 4531098 edges, 15297 markings/sec, 110 secs
lola: 1693120 markings, 4752096 edges, 12991 markings/sec, 115 secs
lola: 1753352 markings, 4997737 edges, 12046 markings/sec, 120 secs
lola: 1820705 markings, 5206208 edges, 13471 markings/sec, 125 secs
lola: 1900500 markings, 5364731 edges, 15959 markings/sec, 130 secs
lola: 1979180 markings, 5536700 edges, 15736 markings/sec, 135 secs
lola: 2044577 markings, 5751257 edges, 13079 markings/sec, 140 secs
lola: 2104778 markings, 6001129 edges, 12040 markings/sec, 145 secs
lola: 2169240 markings, 6216596 edges, 12892 markings/sec, 150 secs
lola: 2249437 markings, 6375486 edges, 16039 markings/sec, 155 secs
lola: 2325866 markings, 6543795 edges, 15286 markings/sec, 160 secs
lola: 2393687 markings, 6749138 edges, 13564 markings/sec, 165 secs
lola: 2452977 markings, 6983218 edges, 11858 markings/sec, 170 secs
lola: 2510278 markings, 7205857 edges, 11460 markings/sec, 175 secs
lola: 2589014 markings, 7368190 edges, 15747 markings/sec, 180 secs
lola: 2668450 markings, 7525748 edges, 15887 markings/sec, 185 secs
lola: 2736869 markings, 7727652 edges, 13684 markings/sec, 190 secs
lola: 2799346 markings, 7965160 edges, 12495 markings/sec, 195 secs
lola: 2858834 markings, 8205902 edges, 11898 markings/sec, 200 secs
lola: 2935938 markings, 8375249 edges, 15421 markings/sec, 205 secs
lola: 3017281 markings, 8536536 edges, 16269 markings/sec, 210 secs
lola: 3087926 markings, 8732212 edges, 14129 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(p1968)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 336 bytes per marking, with 26 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: 82855 markings, 183218 edges, 16571 markings/sec, 0 secs
lola: 166973 markings, 364122 edges, 16824 markings/sec, 5 secs
lola: 239101 markings, 584646 edges, 14426 markings/sec, 10 secs
lola: 301232 markings, 846011 edges, 12426 markings/sec, 15 secs
lola: 377968 markings, 1036797 edges, 15347 markings/sec, 20 secs
lola: 458045 markings, 1219585 edges, 16015 markings/sec, 25 secs
lola: 536025 markings, 1413431 edges, 15596 markings/sec, 30 secs
lola: 601694 markings, 1647438 edges, 13134 markings/sec, 35 secs
lola: 665921 markings, 1883913 edges, 12845 markings/sec, 40 secs
lola: 751127 markings, 2053578 edges, 17041 markings/sec, 45 secs
lola: 831928 markings, 2235827 edges, 16160 markings/sec, 50 secs
lola: 901998 markings, 2451382 edges, 14014 markings/sec, 55 secs
lola: 961958 markings, 2707257 edges, 11992 markings/sec, 60 secs
lola: 1037592 markings, 2903365 edges, 15127 markings/sec, 65 secs
lola: 1122739 markings, 3073529 edges, 17029 markings/sec, 70 secs
lola: 1195820 markings, 3275115 edges, 14616 markings/sec, 75 secs
lola: 1262859 markings, 3504728 edges, 13408 markings/sec, 80 secs
lola: 1325147 markings, 3752398 edges, 12458 markings/sec, 85 secs
lola: 1401621 markings, 3951044 edges, 15295 markings/sec, 90 secs
lola: 1477602 markings, 4151781 edges, 15196 markings/sec, 95 secs
lola: 1549598 markings, 4374658 edges, 14399 markings/sec, 100 secs
lola: 1609073 markings, 4644024 edges, 11895 markings/sec, 105 secs
lola: 1670532 markings, 4898097 edges, 12292 markings/sec, 110 secs
lola: 1746834 markings, 5097898 edges, 15260 markings/sec, 115 secs
lola: 1822737 markings, 5296713 edges, 15181 markings/sec, 120 secs
lola: 1893403 markings, 5523750 edges, 14133 markings/sec, 125 secs
lola: 1951103 markings, 5802827 edges, 11540 markings/sec, 130 secs
lola: 2016284 markings, 6035995 edges, 13036 markings/sec, 135 secs
lola: 2094469 markings, 6215044 edges, 15637 markings/sec, 140 secs
lola: 2175131 markings, 6385978 edges, 16132 markings/sec, 145 secs
lola: 2241691 markings, 6597602 edges, 13312 markings/sec, 150 secs
lola: 2300110 markings, 6847594 edges, 11684 markings/sec, 155 secs
lola: 2371978 markings, 7042292 edges, 14374 markings/sec, 160 secs
lola: 2453665 markings, 7215633 edges, 16337 markings/sec, 165 secs
lola: 2524060 markings, 7431111 edges, 14079 markings/sec, 170 secs
lola: 2583634 markings, 7688168 edges, 11915 markings/sec, 175 secs
lola: 2661363 markings, 7876322 edges, 15546 markings/sec, 180 secs
lola: 2740256 markings, 8059990 edges, 15779 markings/sec, 185 secs
lola: 2806355 markings, 8289290 edges, 13220 markings/sec, 190 secs
lola: 2871964 markings, 8527593 edges, 13122 markings/sec, 195 secs
lola: 2955947 markings, 8708214 edges, 16797 markings/sec, 200 secs
lola: 3027770 markings, 8921228 edges, 14365 markings/sec, 205 secs
lola: 3088794 markings, 9161926 edges, 12205 markings/sec, 210 secs
lola: 3162417 markings, 9363555 edges, 14725 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(p2472)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 336 bytes per marking, with 26 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: 81489 markings, 157244 edges, 16298 markings/sec, 0 secs
lola: 174905 markings, 342296 edges, 18683 markings/sec, 5 secs
lola: 258328 markings, 528294 edges, 16685 markings/sec, 10 secs
lola: 345602 markings, 740632 edges, 17455 markings/sec, 15 secs
lola: 427858 markings, 961267 edges, 16451 markings/sec, 20 secs
lola: 492154 markings, 1227503 edges, 12859 markings/sec, 25 secs
lola: 564400 markings, 1486225 edges, 14449 markings/sec, 30 secs
lola: 642164 markings, 1717698 edges, 15553 markings/sec, 35 secs
lola: 720928 markings, 1894202 edges, 15753 markings/sec, 40 secs
lola: 811318 markings, 2078790 edges, 18078 markings/sec, 45 secs
lola: 875726 markings, 2312324 edges, 12882 markings/sec, 50 secs
lola: 940853 markings, 2580155 edges, 13025 markings/sec, 55 secs
lola: 1024944 markings, 2815620 edges, 16818 markings/sec, 60 secs
lola: 1109153 markings, 3003563 edges, 16842 markings/sec, 65 secs
lola: 1201505 markings, 3188933 edges, 18470 markings/sec, 70 secs
lola: 1269070 markings, 3413886 edges, 13513 markings/sec, 75 secs
lola: 1331502 markings, 3687929 edges, 12486 markings/sec, 80 secs
lola: 1417881 markings, 3929420 edges, 17276 markings/sec, 85 secs
lola: 1500013 markings, 4117813 edges, 16426 markings/sec, 90 secs
lola: 1592607 markings, 4304137 edges, 18519 markings/sec, 95 secs
lola: 1662857 markings, 4520333 edges, 14050 markings/sec, 100 secs
lola: 1724197 markings, 4797599 edges, 12268 markings/sec, 105 secs
lola: 1808831 markings, 5038391 edges, 16927 markings/sec, 110 secs
lola: 1888930 markings, 5226947 edges, 16020 markings/sec, 115 secs
lola: 1973668 markings, 5397736 edges, 16948 markings/sec, 120 secs
lola: 2050409 markings, 5604521 edges, 15348 markings/sec, 125 secs
lola: 2115150 markings, 5860009 edges, 12948 markings/sec, 130 secs
lola: 2192125 markings, 6119727 edges, 15395 markings/sec, 135 secs
lola: 2273271 markings, 6314533 edges, 16229 markings/sec, 140 secs
lola: 2363407 markings, 6509229 edges, 18027 markings/sec, 145 secs
lola: 2443919 markings, 6710127 edges, 16102 markings/sec, 150 secs
lola: 2508753 markings, 6964368 edges, 12967 markings/sec, 155 secs
lola: 2582572 markings, 7223053 edges, 14764 markings/sec, 160 secs
lola: 2665766 markings, 7428528 edges, 16639 markings/sec, 165 secs
lola: 2754174 markings, 7622995 edges, 17682 markings/sec, 170 secs
lola: 2838253 markings, 7818660 edges, 16816 markings/sec, 175 secs
lola: 2902689 markings, 8068295 edges, 12887 markings/sec, 180 secs
lola: 2973695 markings, 8328163 edges, 14201 markings/sec, 185 secs
lola: 3056866 markings, 8540161 edges, 16634 markings/sec, 190 secs
lola: 3141769 markings, 8730844 edges, 16981 markings/sec, 195 secs
lola: 3224990 markings, 8901210 edges, 16644 markings/sec, 200 secs
lola: 3289240 markings, 9137660 edges, 12850 markings/sec, 205 secs
lola: 3355247 markings, 9406161 edges, 13201 markings/sec, 210 secs
lola: 3437389 markings, 9634058 edges, 16428 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(p2161)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 336 bytes per marking, with 26 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: 84743 markings, 165779 edges, 16949 markings/sec, 0 secs
lola: 167361 markings, 334593 edges, 16524 markings/sec, 5 secs
lola: 236854 markings, 546992 edges, 13899 markings/sec, 10 secs
lola: 299947 markings, 792546 edges, 12619 markings/sec, 15 secs
lola: 368659 markings, 1019499 edges, 13742 markings/sec, 20 secs
lola: 452622 markings, 1184287 edges, 16793 markings/sec, 25 secs
lola: 530024 markings, 1372261 edges, 15480 markings/sec, 30 secs
lola: 598563 markings, 1584705 edges, 13708 markings/sec, 35 secs
lola: 657043 markings, 1856337 edges, 11696 markings/sec, 40 secs
lola: 736207 markings, 2037410 edges, 15833 markings/sec, 45 secs
lola: 818383 markings, 2199410 edges, 16435 markings/sec, 50 secs
lola: 890780 markings, 2404295 edges, 14479 markings/sec, 55 secs
lola: 956672 markings, 2625393 edges, 13178 markings/sec, 60 secs
lola: 1016694 markings, 2883879 edges, 12004 markings/sec, 65 secs
lola: 1100393 markings, 3049116 edges, 16740 markings/sec, 70 secs
lola: 1176143 markings, 3198431 edges, 15150 markings/sec, 75 secs
lola: 1245162 markings, 3410829 edges, 13804 markings/sec, 80 secs
lola: 1308044 markings, 3643849 edges, 12576 markings/sec, 85 secs
lola: 1373464 markings, 3880854 edges, 13084 markings/sec, 90 secs
lola: 1456613 markings, 4044884 edges, 16630 markings/sec, 95 secs
lola: 1534804 markings, 4222050 edges, 15638 markings/sec, 100 secs
lola: 1603461 markings, 4430822 edges, 13731 markings/sec, 105 secs
lola: 1663302 markings, 4691598 edges, 11968 markings/sec, 110 secs
lola: 1737462 markings, 4892057 edges, 14832 markings/sec, 115 secs
lola: 1820053 markings, 5055014 edges, 16518 markings/sec, 120 secs
lola: 1894460 markings, 5250246 edges, 14881 markings/sec, 125 secs
lola: 1961438 markings, 5462688 edges, 13396 markings/sec, 130 secs
lola: 2007834 markings, 5690468 edges, 9279 markings/sec, 135 secs
lola: 2084062 markings, 5869376 edges, 15246 markings/sec, 140 secs
lola: 2166360 markings, 6031939 edges, 16460 markings/sec, 145 secs
lola: 2239755 markings, 6232906 edges, 14679 markings/sec, 150 secs
lola: 2306214 markings, 6451959 edges, 13292 markings/sec, 155 secs
lola: 2364962 markings, 6713753 edges, 11750 markings/sec, 160 secs
lola: 2448635 markings, 6882228 edges, 16735 markings/sec, 165 secs
lola: 2530902 markings, 7044553 edges, 16453 markings/sec, 170 secs
lola: 2600168 markings, 7258483 edges, 13853 markings/sec, 175 secs
lola: 2663485 markings, 7495771 edges, 12663 markings/sec, 180 secs
lola: 2730000 markings, 7730238 edges, 13303 markings/sec, 185 secs
lola: 2814386 markings, 7895970 edges, 16877 markings/sec, 190 secs
lola: 2880614 markings, 8041525 edges, 13246 markings/sec, 195 secs
lola: 2948551 markings, 8246462 edges, 13587 markings/sec, 200 secs
lola: 3011017 markings, 8498299 edges, 12493 markings/sec, 205 secs
lola: 3081827 markings, 8717965 edges, 14162 markings/sec, 210 secs
lola: 3166022 markings, 8882926 edges, 16839 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(p2580)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 336 bytes per marking, with 26 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: 85651 markings, 167362 edges, 17130 markings/sec, 0 secs
lola: 161435 markings, 350495 edges, 15157 markings/sec, 5 secs
lola: 235862 markings, 543891 edges, 14885 markings/sec, 10 secs
lola: 298941 markings, 794016 edges, 12616 markings/sec, 15 secs
lola: 365697 markings, 1022734 edges, 13351 markings/sec, 20 secs
lola: 449201 markings, 1192985 edges, 16701 markings/sec, 25 secs
lola: 527206 markings, 1375842 edges, 15601 markings/sec, 30 secs
lola: 596475 markings, 1577647 edges, 13854 markings/sec, 35 secs
lola: 656408 markings, 1847994 edges, 11987 markings/sec, 40 secs
lola: 730609 markings, 2044838 edges, 14840 markings/sec, 45 secs
lola: 812187 markings, 2218839 edges, 16316 markings/sec, 50 secs
lola: 888790 markings, 2392949 edges, 15321 markings/sec, 55 secs
lola: 958074 markings, 2613133 edges, 13857 markings/sec, 60 secs
lola: 1017537 markings, 2884697 edges, 11893 markings/sec, 65 secs
lola: 1096179 markings, 3068301 edges, 15728 markings/sec, 70 secs
lola: 1172597 markings, 3242192 edges, 15284 markings/sec, 75 secs
lola: 1252719 markings, 3419863 edges, 16024 markings/sec, 80 secs
lola: 1318492 markings, 3655108 edges, 13155 markings/sec, 85 secs
lola: 1379138 markings, 3917987 edges, 12129 markings/sec, 90 secs
lola: 1460879 markings, 4091478 edges, 16348 markings/sec, 95 secs
lola: 1539147 markings, 4276305 edges, 15654 markings/sec, 100 secs
lola: 1616626 markings, 4463663 edges, 15496 markings/sec, 105 secs
lola: 1680724 markings, 4708417 edges, 12820 markings/sec, 110 secs
lola: 1743765 markings, 4951362 edges, 12608 markings/sec, 115 secs
lola: 1828693 markings, 5122110 edges, 16986 markings/sec, 120 secs
lola: 1906565 markings, 5305599 edges, 15574 markings/sec, 125 secs
lola: 1980151 markings, 5505966 edges, 14717 markings/sec, 130 secs
lola: 2040120 markings, 5750125 edges, 11994 markings/sec, 135 secs
lola: 2108921 markings, 5973981 edges, 13760 markings/sec, 140 secs
lola: 2191700 markings, 6145754 edges, 16556 markings/sec, 145 secs
lola: 2270667 markings, 6328259 edges, 15793 markings/sec, 150 secs
lola: 2341989 markings, 6542469 edges, 14264 markings/sec, 155 secs
lola: 2401124 markings, 6817071 edges, 11827 markings/sec, 160 secs
lola: 2477760 markings, 7004448 edges, 15327 markings/sec, 165 secs
lola: 2558837 markings, 7180926 edges, 16215 markings/sec, 170 secs
lola: 2636466 markings, 7353991 edges, 15526 markings/sec, 175 secs
lola: 2703624 markings, 7583240 edges, 13432 markings/sec, 180 secs
lola: 2763836 markings, 7852597 edges, 12042 markings/sec, 185 secs
lola: 2844080 markings, 8029473 edges, 16049 markings/sec, 190 secs
lola: 2918810 markings, 8208157 edges, 14946 markings/sec, 195 secs
lola: 2998605 markings, 8386661 edges, 15959 markings/sec, 200 secs
lola: 3063495 markings, 8625449 edges, 12978 markings/sec, 205 secs
lola: 3124552 markings, 8880176 edges, 12211 markings/sec, 210 secs
lola: 3208145 markings, 9054106 edges, 16719 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(p76)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 336 bytes per marking, with 26 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: 80423 markings, 196465 edges, 16085 markings/sec, 0 secs
lola: 157908 markings, 386861 edges, 15497 markings/sec, 5 secs
lola: 234846 markings, 574486 edges, 15388 markings/sec, 10 secs
lola: 303620 markings, 790958 edges, 13755 markings/sec, 15 secs
lola: 365065 markings, 1038976 edges, 12289 markings/sec, 20 secs
lola: 418556 markings, 1310814 edges, 10698 markings/sec, 25 secs
lola: 491059 markings, 1506941 edges, 14501 markings/sec, 30 secs
lola: 567025 markings, 1696099 edges, 15193 markings/sec, 35 secs
lola: 637860 markings, 1905651 edges, 14167 markings/sec, 40 secs
lola: 700411 markings, 2148870 edges, 12510 markings/sec, 45 secs
lola: 754162 markings, 2429059 edges, 10750 markings/sec, 50 secs
lola: 824884 markings, 2630749 edges, 14144 markings/sec, 55 secs
lola: 901983 markings, 2819145 edges, 15420 markings/sec, 60 secs
lola: 973402 markings, 3025703 edges, 14284 markings/sec, 65 secs
lola: 1037103 markings, 3264457 edges, 12740 markings/sec, 70 secs
lola: 1090873 markings, 3546701 edges, 10754 markings/sec, 75 secs
lola: 1159225 markings, 3756529 edges, 13670 markings/sec, 80 secs
lola: 1236565 markings, 3944959 edges, 15468 markings/sec, 85 secs
lola: 1309586 markings, 4146179 edges, 14604 markings/sec, 90 secs
lola: 1374054 markings, 4380905 edges, 12894 markings/sec, 95 secs
lola: 1428835 markings, 4658269 edges, 10956 markings/sec, 100 secs
lola: 1494319 markings, 4880256 edges, 13097 markings/sec, 105 secs
lola: 1570729 markings, 5070620 edges, 15282 markings/sec, 110 secs
lola: 1645307 markings, 5266814 edges, 14916 markings/sec, 115 secs
lola: 1710359 markings, 5494899 edges, 13010 markings/sec, 120 secs
lola: 1766074 markings, 5766473 edges, 11143 markings/sec, 125 secs
lola: 1828034 markings, 6003776 edges, 12392 markings/sec, 130 secs
lola: 1905174 markings, 6192221 edges, 15428 markings/sec, 135 secs
lola: 1980764 markings, 6385091 edges, 15118 markings/sec, 140 secs
lola: 2046151 markings, 6612424 edges, 13077 markings/sec, 145 secs
lola: 2103866 markings, 6875590 edges, 11543 markings/sec, 150 secs
lola: 2162006 markings, 7128069 edges, 11628 markings/sec, 155 secs
lola: 2239112 markings, 7317031 edges, 15421 markings/sec, 160 secs
lola: 2316213 markings, 7504934 edges, 15420 markings/sec, 165 secs
lola: 2382219 markings, 7732789 edges, 13201 markings/sec, 170 secs
lola: 2441587 markings, 7986846 edges, 11874 markings/sec, 175 secs
lola: 2497075 markings, 8249484 edges, 11098 markings/sec, 180 secs
lola: 2572038 markings, 8436464 edges, 14993 markings/sec, 185 secs
lola: 2647217 markings, 8621672 edges, 15036 markings/sec, 190 secs
lola: 2714248 markings, 8839508 edges, 13406 markings/sec, 195 secs
lola: 2773270 markings, 9081697 edges, 11804 markings/sec, 200 secs
lola: 2826691 markings, 9348058 edges, 10684 markings/sec, 205 secs
lola: 2898153 markings, 9542367 edges, 14292 markings/sec, 210 secs
lola: 2973174 markings, 9726636 edges, 15004 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(p2026)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 336 bytes per marking, with 26 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: 84306 markings, 195517 edges, 16861 markings/sec, 0 secs
lola: 166160 markings, 396321 edges, 16371 markings/sec, 5 secs
lola: 248597 markings, 599557 edges, 16487 markings/sec, 10 secs
lola: 330150 markings, 801536 edges, 16311 markings/sec, 15 secs
lola: 411105 markings, 1002245 edges, 16191 markings/sec, 20 secs
lola: 490985 markings, 1194975 edges, 15976 markings/sec, 25 secs
lola: 568775 markings, 1403479 edges, 15558 markings/sec, 30 secs
lola: 648400 markings, 1613682 edges, 15925 markings/sec, 35 secs
lola: 715838 markings, 1853913 edges, 13488 markings/sec, 40 secs
lola: 770294 markings, 2144734 edges, 10891 markings/sec, 45 secs
lola: 839404 markings, 2362158 edges, 13822 markings/sec, 50 secs
lola: 913342 markings, 2560313 edges, 14788 markings/sec, 55 secs
lola: 987684 markings, 2761011 edges, 14868 markings/sec, 60 secs
lola: 1052347 markings, 2989297 edges, 12933 markings/sec, 65 secs
lola: 1103954 markings, 3269708 edges, 10321 markings/sec, 70 secs
lola: 1169334 markings, 3482263 edges, 13076 markings/sec, 75 secs
lola: 1241983 markings, 3674740 edges, 14530 markings/sec, 80 secs
lola: 1313225 markings, 3868448 edges, 14248 markings/sec, 85 secs
lola: 1379529 markings, 4089939 edges, 13261 markings/sec, 90 secs
lola: 1430635 markings, 4360400 edges, 10221 markings/sec, 95 secs
lola: 1492600 markings, 4585091 edges, 12393 markings/sec, 100 secs
lola: 1561604 markings, 4798502 edges, 13801 markings/sec, 105 secs
lola: 1634179 markings, 4995894 edges, 14515 markings/sec, 110 secs
lola: 1711059 markings, 5184625 edges, 15376 markings/sec, 115 secs
lola: 1789977 markings, 5376967 edges, 15784 markings/sec, 120 secs
lola: 1868250 markings, 5571561 edges, 15655 markings/sec, 125 secs
lola: 1948347 markings, 5767549 edges, 16019 markings/sec, 130 secs
lola: 2023087 markings, 5952263 edges, 14948 markings/sec, 135 secs
lola: 2097247 markings, 6139031 edges, 14832 markings/sec, 140 secs
lola: 2174723 markings, 6330200 edges, 15495 markings/sec, 145 secs
lola: 2252899 markings, 6526438 edges, 15635 markings/sec, 150 secs
lola: 2334320 markings, 6714784 edges, 16284 markings/sec, 155 secs
lola: 2408228 markings, 6898779 edges, 14782 markings/sec, 160 secs
lola: 2484257 markings, 7086889 edges, 15206 markings/sec, 165 secs
lola: 2560889 markings, 7278602 edges, 15326 markings/sec, 170 secs
lola: 2638248 markings, 7470124 edges, 15472 markings/sec, 175 secs
lola: 2717638 markings, 7666374 edges, 15878 markings/sec, 180 secs
lola: 2788399 markings, 7841960 edges, 14152 markings/sec, 185 secs
lola: 2863922 markings, 8034014 edges, 15105 markings/sec, 190 secs
lola: 2940762 markings, 8225689 edges, 15368 markings/sec, 195 secs
lola: 3018017 markings, 8420011 edges, 15451 markings/sec, 200 secs
lola: 3093477 markings, 8609925 edges, 15092 markings/sec, 205 secs
lola: 3169141 markings, 8797122 edges, 15133 markings/sec, 210 secs
lola: 3245219 markings, 8988599 edges, 15216 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(p1525)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 336 bytes per marking, with 26 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: 79810 markings, 158351 edges, 15962 markings/sec, 0 secs
lola: 157375 markings, 319518 edges, 15513 markings/sec, 5 secs
lola: 223157 markings, 535877 edges, 13156 markings/sec, 10 secs
lola: 284117 markings, 768609 edges, 12192 markings/sec, 15 secs
lola: 350553 markings, 978669 edges, 13287 markings/sec, 20 secs
lola: 430241 markings, 1139591 edges, 15938 markings/sec, 25 secs
lola: 505435 markings, 1320902 edges, 15039 markings/sec, 30 secs
lola: 571129 markings, 1536119 edges, 13139 markings/sec, 35 secs
lola: 628916 markings, 1787334 edges, 11557 markings/sec, 40 secs
lola: 702496 markings, 1959996 edges, 14716 markings/sec, 45 secs
lola: 781724 markings, 2124030 edges, 15846 markings/sec, 50 secs
lola: 852719 markings, 2321832 edges, 14199 markings/sec, 55 secs
lola: 916439 markings, 2543803 edges, 12744 markings/sec, 60 secs
lola: 975329 markings, 2781729 edges, 11778 markings/sec, 65 secs
lola: 1052679 markings, 2938732 edges, 15470 markings/sec, 70 secs
lola: 1132730 markings, 3103874 edges, 16010 markings/sec, 75 secs
lola: 1199360 markings, 3320867 edges, 13326 markings/sec, 80 secs
lola: 1260468 markings, 3550563 edges, 12222 markings/sec, 85 secs
lola: 1325612 markings, 3762080 edges, 13029 markings/sec, 90 secs
lola: 1404611 markings, 3923392 edges, 15800 markings/sec, 95 secs
lola: 1480563 markings, 4102473 edges, 15190 markings/sec, 100 secs
lola: 1545881 markings, 4317068 edges, 13064 markings/sec, 105 secs
lola: 1603697 markings, 4566627 edges, 11563 markings/sec, 110 secs
lola: 1676986 markings, 4742722 edges, 14658 markings/sec, 115 secs
lola: 1756302 markings, 4907284 edges, 15863 markings/sec, 120 secs
lola: 1828018 markings, 5103143 edges, 14343 markings/sec, 125 secs
lola: 1891923 markings, 5325527 edges, 12781 markings/sec, 130 secs
lola: 1950968 markings, 5565169 edges, 11809 markings/sec, 135 secs
lola: 2029375 markings, 5725836 edges, 15681 markings/sec, 140 secs
lola: 2109357 markings, 5890927 edges, 15996 markings/sec, 145 secs
lola: 2175758 markings, 6106694 edges, 13280 markings/sec, 150 secs
lola: 2237058 markings, 6335547 edges, 12260 markings/sec, 155 secs
lola: 2302570 markings, 6549864 edges, 13102 markings/sec, 160 secs
lola: 2381623 markings, 6711393 edges, 15811 markings/sec, 165 secs
lola: 2457608 markings, 6890270 edges, 15197 markings/sec, 170 secs
lola: 2523387 markings, 7106360 edges, 13156 markings/sec, 175 secs
lola: 2581625 markings, 7357784 edges, 11648 markings/sec, 180 secs
lola: 2654836 markings, 7532428 edges, 14642 markings/sec, 185 secs
lola: 2734467 markings, 7696822 edges, 15926 markings/sec, 190 secs
lola: 2805706 markings, 7894516 edges, 14248 markings/sec, 195 secs
lola: 2869577 markings, 8115544 edges, 12774 markings/sec, 200 secs
lola: 2928656 markings, 8355047 edges, 11816 markings/sec, 205 secs
lola: 3006870 markings, 8514904 edges, 15643 markings/sec, 210 secs
lola: 3086792 markings, 8679759 edges, 15984 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-14b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-14b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496492650178

--------------------
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-14b"
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-14b.tgz
mv FlexibleBarrier-PT-14b 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-14b, 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-149581034300101"
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 ;