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-3253
Executing tool lola
Input is DLCshifumi-PT-3b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436309300470
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494644262544


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DLCshifumi-PT-3b @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 16669/65536 symbol table entries, 5526 collisions
lola: preprocessing...
lola: finding significant places
lola: 7058 places, 9611 transitions, 6776 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 12409 transition conflict sets
lola: TASK
lola: reading formula from DLCshifumi-PT-3b-UpperBounds.task
lola: MAX(p3232) : MAX(p6609) : MAX(p3974) : MAX(p828) : MAX(p1831) : MAX(p6527) : MAX(p2101) : MAX(p6061) : MAX(p2256) : MAX(p3025) : MAX(p302) : MAX(p5610) : MAX(p155) : MAX(p4953) : MAX(p2433) : MAX(p4386)
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(p3232)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 848 bytes per marking, with 8 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p6609)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 848 bytes per marking, with 8 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: 58250 markings, 67464 edges, 11650 markings/sec, 0 secs
lola: 119845 markings, 138963 edges, 12319 markings/sec, 5 secs
lola: 179099 markings, 207746 edges, 11851 markings/sec, 10 secs
lola: 226856 markings, 263159 edges, 9551 markings/sec, 15 secs
lola: 276717 markings, 321085 edges, 9972 markings/sec, 20 secs
lola: 327499 markings, 380000 edges, 10156 markings/sec, 25 secs
lola: 374380 markings, 434391 edges, 9376 markings/sec, 30 secs
lola: 422837 markings, 490676 edges, 9691 markings/sec, 35 secs
lola: 459993 markings, 533751 edges, 7431 markings/sec, 40 secs
lola: 497775 markings, 577566 edges, 7556 markings/sec, 45 secs
lola: 532009 markings, 617305 edges, 6847 markings/sec, 50 secs
lola: 565331 markings, 655991 edges, 6664 markings/sec, 55 secs
lola: 599566 markings, 695669 edges, 6847 markings/sec, 60 secs
lola: 632163 markings, 733486 edges, 6519 markings/sec, 65 secs
lola: 664232 markings, 770687 edges, 6414 markings/sec, 70 secs
lola: 696693 markings, 808368 edges, 6492 markings/sec, 75 secs
lola: 728880 markings, 845714 edges, 6437 markings/sec, 80 secs
lola: 761780 markings, 883766 edges, 6580 markings/sec, 85 secs
lola: 796368 markings, 924014 edges, 6918 markings/sec, 90 secs
lola: 831631 markings, 964801 edges, 7053 markings/sec, 95 secs
lola: 865456 markings, 1004221 edges, 6765 markings/sec, 100 secs
lola: 899119 markings, 1043451 edges, 6733 markings/sec, 105 secs
lola: 932761 markings, 1082598 edges, 6728 markings/sec, 110 secs
lola: 967080 markings, 1122414 edges, 6864 markings/sec, 115 secs
lola: 1000914 markings, 1161730 edges, 6767 markings/sec, 120 secs
lola: 1034588 markings, 1200978 edges, 6735 markings/sec, 125 secs
lola: 1070302 markings, 1242620 edges, 7143 markings/sec, 130 secs
lola: 1104298 markings, 1282306 edges, 6799 markings/sec, 135 secs
lola: 1138203 markings, 1321922 edges, 6781 markings/sec, 140 secs
lola: 1171990 markings, 1361374 edges, 6757 markings/sec, 145 secs
lola: 1205797 markings, 1400847 edges, 6761 markings/sec, 150 secs
lola: 1239608 markings, 1440336 edges, 6762 markings/sec, 155 secs
lola: 1273917 markings, 1480282 edges, 6862 markings/sec, 160 secs
lola: 1315691 markings, 1528904 edges, 8355 markings/sec, 165 secs
lola: 1357643 markings, 1577808 edges, 8390 markings/sec, 170 secs
lola: 1396810 markings, 1623394 edges, 7833 markings/sec, 175 secs
lola: 1438722 markings, 1672202 edges, 8382 markings/sec, 180 secs
lola: 1482437 markings, 1723080 edges, 8743 markings/sec, 185 secs
lola: 1525444 markings, 1773174 edges, 8601 markings/sec, 190 secs
lola: 1562715 markings, 1816427 edges, 7454 markings/sec, 195 secs
lola: 1602658 markings, 1862985 edges, 7989 markings/sec, 200 secs
lola: 1649993 markings, 1918205 edges, 9467 markings/sec, 205 secs
lola: 1685121 markings, 1958913 edges, 7026 markings/sec, 210 secs
lola: 1716046 markings, 1994967 edges, 6185 markings/sec, 215 secs
lola: 1750539 markings, 2035243 edges, 6899 markings/sec, 220 secs
lola: 1782969 markings, 2073000 edges, 6486 markings/sec, 225 secs
lola: 1820790 markings, 2116975 edges, 7564 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3974)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 848 bytes per marking, with 8 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: 61311 markings, 72211 edges, 12262 markings/sec, 0 secs
lola: 122712 markings, 145980 edges, 12280 markings/sec, 5 secs
lola: 178768 markings, 212810 edges, 11211 markings/sec, 10 secs
lola: 232872 markings, 277368 edges, 10821 markings/sec, 15 secs
lola: 287180 markings, 342240 edges, 10862 markings/sec, 20 secs
lola: 345249 markings, 411031 edges, 11614 markings/sec, 25 secs
lola: 398864 markings, 475136 edges, 10723 markings/sec, 30 secs
lola: 458190 markings, 546175 edges, 11865 markings/sec, 35 secs
lola: 512639 markings, 611237 edges, 10890 markings/sec, 40 secs
lola: 570232 markings, 679909 edges, 11519 markings/sec, 45 secs
lola: 630021 markings, 751408 edges, 11958 markings/sec, 50 secs
lola: 685505 markings, 817638 edges, 11097 markings/sec, 55 secs
lola: 741659 markings, 884363 edges, 11231 markings/sec, 60 secs
lola: 800225 markings, 954713 edges, 11713 markings/sec, 65 secs
lola: 855844 markings, 1020932 edges, 11124 markings/sec, 70 secs
lola: 911614 markings, 1087373 edges, 11154 markings/sec, 75 secs
lola: 969403 markings, 1156744 edges, 11558 markings/sec, 80 secs
lola: 1024862 markings, 1222852 edges, 11092 markings/sec, 85 secs
lola: 1080242 markings, 1288900 edges, 11076 markings/sec, 90 secs
lola: 1138256 markings, 1358501 edges, 11603 markings/sec, 95 secs
lola: 1195279 markings, 1426473 edges, 11405 markings/sec, 100 secs
lola: 1250090 markings, 1491831 edges, 10962 markings/sec, 105 secs
lola: 1307786 markings, 1560736 edges, 11539 markings/sec, 110 secs
lola: 1364691 markings, 1628777 edges, 11381 markings/sec, 115 secs
lola: 1418169 markings, 1692678 edges, 10696 markings/sec, 120 secs
lola: 1476156 markings, 1761837 edges, 11597 markings/sec, 125 secs
lola: 1533145 markings, 1830078 edges, 11398 markings/sec, 130 secs
lola: 1587640 markings, 1895044 edges, 10899 markings/sec, 135 secs
lola: 1643685 markings, 1961822 edges, 11209 markings/sec, 140 secs
lola: 1699770 markings, 2029081 edges, 11217 markings/sec, 145 secs
lola: 1755013 markings, 2094818 edges, 11049 markings/sec, 150 secs
lola: 1809851 markings, 2160190 edges, 10968 markings/sec, 155 secs
lola: 1866025 markings, 2227665 edges, 11235 markings/sec, 160 secs
lola: 1921609 markings, 2293888 edges, 11117 markings/sec, 165 secs
lola: 1976294 markings, 2359130 edges, 10937 markings/sec, 170 secs
lola: 2031672 markings, 2425381 edges, 11076 markings/sec, 175 secs
lola: 2087560 markings, 2492133 edges, 11178 markings/sec, 180 secs
lola: 2140821 markings, 2555752 edges, 10652 markings/sec, 185 secs
lola: 2197978 markings, 2623900 edges, 11431 markings/sec, 190 secs
lola: 2254386 markings, 2691475 edges, 11282 markings/sec, 195 secs
lola: 2308245 markings, 2755724 edges, 10772 markings/sec, 200 secs
lola: 2364110 markings, 2822264 edges, 11173 markings/sec, 205 secs
lola: 2419180 markings, 2888316 edges, 11014 markings/sec, 210 secs
lola: 2474408 markings, 2954062 edges, 11046 markings/sec, 215 secs
lola: 2528842 markings, 3018916 edges, 10887 markings/sec, 220 secs
lola: 2584572 markings, 3085965 edges, 11146 markings/sec, 225 secs
lola: 2640072 markings, 3152036 edges, 11100 markings/sec, 230 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 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p828)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 848 bytes per marking, with 8 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: 90144 markings, 102318 edges, 18029 markings/sec, 0 secs
lola: 168481 markings, 192434 edges, 15667 markings/sec, 5 secs
lola: 240110 markings, 275851 edges, 14326 markings/sec, 10 secs
lola: 304209 markings, 350553 edges, 12820 markings/sec, 15 secs
lola: 368238 markings, 424384 edges, 12806 markings/sec, 20 secs
lola: 427415 markings, 493192 edges, 11835 markings/sec, 25 secs
lola: 491497 markings, 567159 edges, 12816 markings/sec, 30 secs
lola: 550293 markings, 635502 edges, 11759 markings/sec, 35 secs
lola: 614730 markings, 709897 edges, 12887 markings/sec, 40 secs
lola: 674035 markings, 778868 edges, 11861 markings/sec, 45 secs
lola: 733951 markings, 848527 edges, 11983 markings/sec, 50 secs
lola: 793440 markings, 917584 edges, 11898 markings/sec, 55 secs
lola: 857332 markings, 992196 edges, 12778 markings/sec, 60 secs
lola: 917141 markings, 1061692 edges, 11962 markings/sec, 65 secs
lola: 979281 markings, 1133455 edges, 12428 markings/sec, 70 secs
lola: 1039366 markings, 1203459 edges, 12017 markings/sec, 75 secs
lola: 1102319 markings, 1275986 edges, 12591 markings/sec, 80 secs
lola: 1161870 markings, 1345201 edges, 11910 markings/sec, 85 secs
lola: 1224062 markings, 1417458 edges, 12438 markings/sec, 90 secs
lola: 1286684 markings, 1489941 edges, 12524 markings/sec, 95 secs
lola: 1347063 markings, 1560174 edges, 12076 markings/sec, 100 secs
lola: 1409771 markings, 1633433 edges, 12542 markings/sec, 105 secs
lola: 1473420 markings, 1706968 edges, 12730 markings/sec, 110 secs
lola: 1533821 markings, 1777184 edges, 12080 markings/sec, 115 secs
lola: 1595210 markings, 1848190 edges, 12278 markings/sec, 120 secs
lola: 1655814 markings, 1918424 edges, 12121 markings/sec, 125 secs
lola: 1715186 markings, 1987603 edges, 11874 markings/sec, 130 secs
lola: 1778877 markings, 2061167 edges, 12738 markings/sec, 135 secs
lola: 1839050 markings, 2131078 edges, 12035 markings/sec, 140 secs
lola: 1902795 markings, 2205532 edges, 12749 markings/sec, 145 secs
lola: 1963854 markings, 2276347 edges, 12212 markings/sec, 150 secs
lola: 2023838 markings, 2345823 edges, 11997 markings/sec, 155 secs
lola: 2082505 markings, 2414097 edges, 11733 markings/sec, 160 secs
lola: 2145575 markings, 2486755 edges, 12614 markings/sec, 165 secs
lola: 2203978 markings, 2554668 edges, 11681 markings/sec, 170 secs
lola: 2265450 markings, 2626026 edges, 12294 markings/sec, 175 secs
lola: 2326476 markings, 2696714 edges, 12205 markings/sec, 180 secs
lola: 2385751 markings, 2765637 edges, 11855 markings/sec, 185 secs
lola: 2446526 markings, 2836697 edges, 12155 markings/sec, 190 secs
lola: 2508909 markings, 2908709 edges, 12477 markings/sec, 195 secs
lola: 2567649 markings, 2977005 edges, 11748 markings/sec, 200 secs
lola: 2627778 markings, 3046586 edges, 12026 markings/sec, 205 secs
lola: 2687488 markings, 3115754 edges, 11942 markings/sec, 210 secs
lola: 2745730 markings, 3183601 edges, 11648 markings/sec, 215 secs
lola: 2808293 markings, 3255913 edges, 12513 markings/sec, 220 secs
lola: 2866123 markings, 3323058 edges, 11566 markings/sec, 225 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1831)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 848 bytes per marking, with 8 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: 101261 markings, 110821 edges, 20252 markings/sec, 0 secs
lola: 187740 markings, 206132 edges, 17296 markings/sec, 5 secs
lola: 275140 markings, 302381 edges, 17480 markings/sec, 10 secs
lola: 366795 markings, 403374 edges, 18331 markings/sec, 15 secs
lola: 459303 markings, 505308 edges, 18502 markings/sec, 20 secs
lola: 552117 markings, 607572 edges, 18563 markings/sec, 25 secs
lola: 644942 markings, 709708 edges, 18565 markings/sec, 30 secs
lola: 736652 markings, 810661 edges, 18342 markings/sec, 35 secs
lola: 828753 markings, 912121 edges, 18420 markings/sec, 40 secs
lola: 920037 markings, 1012445 edges, 18257 markings/sec, 45 secs
lola: 1011386 markings, 1113079 edges, 18270 markings/sec, 50 secs
lola: 1102164 markings, 1213070 edges, 18156 markings/sec, 55 secs
lola: 1193080 markings, 1313104 edges, 18183 markings/sec, 60 secs
lola: 1284069 markings, 1413298 edges, 18198 markings/sec, 65 secs
lola: 1375169 markings, 1513647 edges, 18220 markings/sec, 70 secs
lola: 1465401 markings, 1612907 edges, 18046 markings/sec, 75 secs
lola: 1554951 markings, 1711436 edges, 17910 markings/sec, 80 secs
lola: 1646237 markings, 1812030 edges, 18257 markings/sec, 85 secs
lola: 1735969 markings, 1910830 edges, 17946 markings/sec, 90 secs
lola: 1824121 markings, 2007769 edges, 17630 markings/sec, 95 secs
lola: 1914805 markings, 2107691 edges, 18137 markings/sec, 100 secs
lola: 2004869 markings, 2206903 edges, 18013 markings/sec, 105 secs
lola: 2094591 markings, 2305705 edges, 17944 markings/sec, 110 secs
lola: 2178933 markings, 2398445 edges, 16868 markings/sec, 115 secs
lola: 2268153 markings, 2496895 edges, 17844 markings/sec, 120 secs
lola: 2360693 markings, 2598975 edges, 18508 markings/sec, 125 secs
lola: 2449697 markings, 2696988 edges, 17801 markings/sec, 130 secs
lola: 2540202 markings, 2796801 edges, 18101 markings/sec, 135 secs
lola: 2629466 markings, 2895035 edges, 17853 markings/sec, 140 secs
lola: 2719156 markings, 2993874 edges, 17938 markings/sec, 145 secs
lola: 2809080 markings, 3093002 edges, 17985 markings/sec, 150 secs
lola: 2894566 markings, 3187197 edges, 17097 markings/sec, 155 secs
lola: 2981141 markings, 3282373 edges, 17315 markings/sec, 160 secs
lola: 3074026 markings, 3385023 edges, 18577 markings/sec, 165 secs
lola: 3167441 markings, 3488105 edges, 18683 markings/sec, 170 secs
lola: 3256653 markings, 3586284 edges, 17842 markings/sec, 175 secs
lola: 3346363 markings, 3685011 edges, 17942 markings/sec, 180 secs
lola: 3436680 markings, 3784545 edges, 18063 markings/sec, 185 secs
lola: 3526034 markings, 3883100 edges, 17871 markings/sec, 190 secs
lola: 3618828 markings, 3985483 edges, 18559 markings/sec, 195 secs
lola: 3707564 markings, 4083295 edges, 17747 markings/sec, 200 secs
lola: 3796597 markings, 4181330 edges, 17807 markings/sec, 205 secs
lola: 3887031 markings, 4281154 edges, 18087 markings/sec, 210 secs
lola: 3979459 markings, 4383110 edges, 18486 markings/sec, 215 secs
lola: 4069353 markings, 4482043 edges, 17979 markings/sec, 220 secs
lola: 4160033 markings, 4582095 edges, 18136 markings/sec, 225 secs
lola: 4251148 markings, 4682436 edges, 18223 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p6527)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 848 bytes per marking, with 8 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 6 will run for 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2101)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 848 bytes per marking, with 8 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 7 will run for 288 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p6061)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 848 bytes per marking, with 8 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: 57611 markings, 66981 edges, 11522 markings/sec, 0 secs
lola: 113367 markings, 132047 edges, 11151 markings/sec, 5 secs
lola: 173502 markings, 201989 edges, 12027 markings/sec, 10 secs
lola: 233113 markings, 271624 edges, 11922 markings/sec, 15 secs
lola: 299065 markings, 348122 edges, 13190 markings/sec, 20 secs
lola: 364906 markings, 424535 edges, 13168 markings/sec, 25 secs
lola: 432507 markings, 503153 edges, 13520 markings/sec, 30 secs
lola: 499171 markings, 580588 edges, 13333 markings/sec, 35 secs
lola: 568671 markings, 661372 edges, 13900 markings/sec, 40 secs
lola: 635440 markings, 738956 edges, 13354 markings/sec, 45 secs
lola: 705172 markings, 819898 edges, 13946 markings/sec, 50 secs
lola: 772022 markings, 897515 edges, 13370 markings/sec, 55 secs
lola: 841744 markings, 978463 edges, 13944 markings/sec, 60 secs
lola: 909166 markings, 1056733 edges, 13484 markings/sec, 65 secs
lola: 978377 markings, 1137076 edges, 13842 markings/sec, 70 secs
lola: 1045914 markings, 1215524 edges, 13507 markings/sec, 75 secs
lola: 1116221 markings, 1297102 edges, 14061 markings/sec, 80 secs
lola: 1188152 markings, 1380559 edges, 14386 markings/sec, 85 secs
lola: 1257496 markings, 1461120 edges, 13869 markings/sec, 90 secs
lola: 1326168 markings, 1540992 edges, 13734 markings/sec, 95 secs
lola: 1390711 markings, 1616099 edges, 12909 markings/sec, 100 secs
lola: 1462119 markings, 1699104 edges, 14282 markings/sec, 105 secs
lola: 1524597 markings, 1772095 edges, 12496 markings/sec, 110 secs
lola: 1590849 markings, 1849370 edges, 13250 markings/sec, 115 secs
lola: 1659003 markings, 1928859 edges, 13631 markings/sec, 120 secs
lola: 1725043 markings, 2005479 edges, 13208 markings/sec, 125 secs
lola: 1793210 markings, 2084631 edges, 13633 markings/sec, 130 secs
lola: 1861108 markings, 2163676 edges, 13580 markings/sec, 135 secs
lola: 1926220 markings, 2239449 edges, 13022 markings/sec, 140 secs
lola: 1991784 markings, 2315558 edges, 13113 markings/sec, 145 secs
lola: 2058410 markings, 2392916 edges, 13325 markings/sec, 150 secs
lola: 2126400 markings, 2471952 edges, 13598 markings/sec, 155 secs
lola: 2192866 markings, 2549645 edges, 13293 markings/sec, 160 secs
lola: 2259265 markings, 2626802 edges, 13280 markings/sec, 165 secs
lola: 2328231 markings, 2706818 edges, 13793 markings/sec, 170 secs
lola: 2397333 markings, 2787103 edges, 13820 markings/sec, 175 secs
lola: 2463105 markings, 2863397 edges, 13154 markings/sec, 180 secs
lola: 2527529 markings, 2938231 edges, 12885 markings/sec, 185 secs
lola: 2592819 markings, 3014104 edges, 13058 markings/sec, 190 secs
lola: 2656927 markings, 3088583 edges, 12822 markings/sec, 195 secs
lola: 2721733 markings, 3164002 edges, 12961 markings/sec, 200 secs
lola: 2787480 markings, 3240516 edges, 13149 markings/sec, 205 secs
lola: 2852463 markings, 3316083 edges, 12997 markings/sec, 210 secs
lola: 2916694 markings, 3390808 edges, 12846 markings/sec, 215 secs
lola: 2981834 markings, 3466690 edges, 13028 markings/sec, 220 secs
lola: 3047860 markings, 3543422 edges, 13205 markings/sec, 225 secs
lola: 3114369 markings, 3620683 edges, 13302 markings/sec, 230 secs
lola: 3178143 markings, 3694832 edges, 12755 markings/sec, 235 secs
lola: 3244131 markings, 3771419 edges, 13198 markings/sec, 240 secs
lola: 3311781 markings, 3849928 edges, 13530 markings/sec, 245 secs
lola: 3376937 markings, 3925582 edges, 13031 markings/sec, 250 secs
lola: 3444794 markings, 4004363 edges, 13571 markings/sec, 255 secs
lola: 3511031 markings, 4081283 edges, 13247 markings/sec, 260 secs
lola: 3574982 markings, 4155961 edges, 12790 markings/sec, 265 secs
lola: 3641170 markings, 4233378 edges, 13238 markings/sec, 270 secs
lola: 3705637 markings, 4308482 edges, 12893 markings/sec, 275 secs
lola: 3770614 markings, 4384407 edges, 12995 markings/sec, 280 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 288 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2256)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 848 bytes per marking, with 8 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: 60138 markings, 66220 edges, 12028 markings/sec, 0 secs
lola: 115524 markings, 127675 edges, 11077 markings/sec, 5 secs
lola: 170477 markings, 188621 edges, 10991 markings/sec, 10 secs
lola: 222827 markings, 246450 edges, 10470 markings/sec, 15 secs
lola: 266954 markings, 294635 edges, 8825 markings/sec, 20 secs
lola: 309417 markings, 341075 edges, 8493 markings/sec, 25 secs
lola: 353101 markings, 389145 edges, 8737 markings/sec, 30 secs
lola: 394498 markings, 434587 edges, 8279 markings/sec, 35 secs
lola: 433078 markings, 477049 edges, 7716 markings/sec, 40 secs
lola: 474654 markings, 522805 edges, 8315 markings/sec, 45 secs
lola: 515253 markings, 567341 edges, 8120 markings/sec, 50 secs
lola: 554776 markings, 610766 edges, 7905 markings/sec, 55 secs
lola: 595760 markings, 655855 edges, 8197 markings/sec, 60 secs
lola: 637583 markings, 701875 edges, 8365 markings/sec, 65 secs
lola: 677845 markings, 746082 edges, 8052 markings/sec, 70 secs
lola: 715345 markings, 787276 edges, 7500 markings/sec, 75 secs
lola: 755872 markings, 831939 edges, 8105 markings/sec, 80 secs
lola: 797575 markings, 877681 edges, 8341 markings/sec, 85 secs
lola: 836547 markings, 920555 edges, 7794 markings/sec, 90 secs
lola: 876178 markings, 964153 edges, 7926 markings/sec, 95 secs
lola: 917219 markings, 1009253 edges, 8208 markings/sec, 100 secs
lola: 958537 markings, 1054724 edges, 8264 markings/sec, 105 secs
lola: 995560 markings, 1095298 edges, 7405 markings/sec, 110 secs
lola: 1035784 markings, 1139566 edges, 8045 markings/sec, 115 secs
lola: 1077683 markings, 1185594 edges, 8380 markings/sec, 120 secs
lola: 1117117 markings, 1228952 edges, 7887 markings/sec, 125 secs
lola: 1156070 markings, 1271802 edges, 7791 markings/sec, 130 secs
lola: 1193793 markings, 1313347 edges, 7545 markings/sec, 135 secs
lola: 1233211 markings, 1356695 edges, 7884 markings/sec, 140 secs
lola: 1273411 markings, 1400791 edges, 8040 markings/sec, 145 secs
lola: 1312235 markings, 1443447 edges, 7765 markings/sec, 150 secs
lola: 1356862 markings, 1492422 edges, 8925 markings/sec, 155 secs
lola: 1403260 markings, 1543328 edges, 9280 markings/sec, 160 secs
lola: 1454101 markings, 1599328 edges, 10168 markings/sec, 165 secs
lola: 1496001 markings, 1645465 edges, 8380 markings/sec, 170 secs
lola: 1545410 markings, 1700292 edges, 9882 markings/sec, 175 secs
lola: 1598930 markings, 1760630 edges, 10704 markings/sec, 180 secs
lola: 1648412 markings, 1815766 edges, 9896 markings/sec, 185 secs
lola: 1696760 markings, 1869864 edges, 9670 markings/sec, 190 secs
lola: 1743769 markings, 1921677 edges, 9402 markings/sec, 195 secs
lola: 1790272 markings, 1972664 edges, 9301 markings/sec, 200 secs
lola: 1831784 markings, 2018322 edges, 8302 markings/sec, 205 secs
lola: 1882626 markings, 2074948 edges, 10168 markings/sec, 210 secs
lola: 1931052 markings, 2129035 edges, 9685 markings/sec, 215 secs
lola: 1977352 markings, 2179953 edges, 9260 markings/sec, 220 secs
lola: 2025087 markings, 2232318 edges, 9547 markings/sec, 225 secs
lola: 2067678 markings, 2279290 edges, 8518 markings/sec, 230 secs
lola: 2117049 markings, 2334293 edges, 9874 markings/sec, 235 secs
lola: 2167091 markings, 2390213 edges, 10008 markings/sec, 240 secs
lola: 2212537 markings, 2440094 edges, 9089 markings/sec, 245 secs
lola: 2257915 markings, 2489842 edges, 9076 markings/sec, 250 secs
lola: 2299988 markings, 2536284 edges, 8415 markings/sec, 255 secs
lola: 2349629 markings, 2591613 edges, 9928 markings/sec, 260 secs
lola: 2400200 markings, 2648146 edges, 10114 markings/sec, 265 secs
lola: 2445763 markings, 2698111 edges, 9113 markings/sec, 270 secs
lola: 2490173 markings, 2746733 edges, 8882 markings/sec, 275 secs
lola: 2532497 markings, 2793532 edges, 8465 markings/sec, 280 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 288 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3025)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 848 bytes per marking, with 8 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 10 will run for 336 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p302)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 848 bytes per marking, with 8 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: 100022 markings, 108725 edges, 20004 markings/sec, 0 secs
lola: 198274 markings, 215359 edges, 19650 markings/sec, 5 secs
lola: 286771 markings, 312407 edges, 17699 markings/sec, 10 secs
lola: 367128 markings, 400900 edges, 16071 markings/sec, 15 secs
lola: 445161 markings, 486947 edges, 15607 markings/sec, 20 secs
lola: 519659 markings, 569066 edges, 14900 markings/sec, 25 secs
lola: 593314 markings, 650205 edges, 14731 markings/sec, 30 secs
lola: 665703 markings, 729989 edges, 14478 markings/sec, 35 secs
lola: 737816 markings, 809466 edges, 14423 markings/sec, 40 secs
lola: 809751 markings, 888693 edges, 14387 markings/sec, 45 secs
lola: 880406 markings, 966588 edges, 14131 markings/sec, 50 secs
lola: 949580 markings, 1042785 edges, 13835 markings/sec, 55 secs
lola: 1018177 markings, 1118402 edges, 13719 markings/sec, 60 secs
lola: 1086408 markings, 1193592 edges, 13646 markings/sec, 65 secs
lola: 1153484 markings, 1267777 edges, 13415 markings/sec, 70 secs
lola: 1219675 markings, 1341146 edges, 13238 markings/sec, 75 secs
lola: 1283835 markings, 1412786 edges, 12832 markings/sec, 80 secs
lola: 1349350 markings, 1486068 edges, 13103 markings/sec, 85 secs
lola: 1416547 markings, 1561286 edges, 13439 markings/sec, 90 secs
lola: 1482715 markings, 1635253 edges, 13234 markings/sec, 95 secs
lola: 1550049 markings, 1711316 edges, 13467 markings/sec, 100 secs
lola: 1616891 markings, 1786322 edges, 13368 markings/sec, 105 secs
lola: 1686750 markings, 1864608 edges, 13972 markings/sec, 110 secs
lola: 1754217 markings, 1940299 edges, 13493 markings/sec, 115 secs
lola: 1824937 markings, 2018740 edges, 14144 markings/sec, 120 secs
lola: 1892321 markings, 2094373 edges, 13477 markings/sec, 125 secs
lola: 1958930 markings, 2168739 edges, 13322 markings/sec, 130 secs
lola: 2024965 markings, 2242691 edges, 13207 markings/sec, 135 secs
lola: 2092282 markings, 2317947 edges, 13463 markings/sec, 140 secs
lola: 2160092 markings, 2393883 edges, 13562 markings/sec, 145 secs
lola: 2229512 markings, 2471297 edges, 13884 markings/sec, 150 secs
lola: 2294704 markings, 2544131 edges, 13038 markings/sec, 155 secs
lola: 2362512 markings, 2619988 edges, 13562 markings/sec, 160 secs
lola: 2430131 markings, 2696113 edges, 13524 markings/sec, 165 secs
lola: 2497219 markings, 2770521 edges, 13418 markings/sec, 170 secs
lola: 2564784 markings, 2846052 edges, 13513 markings/sec, 175 secs
lola: 2631619 markings, 2921042 edges, 13367 markings/sec, 180 secs
lola: 2700775 markings, 2997878 edges, 13831 markings/sec, 185 secs
lola: 2772388 markings, 3077972 edges, 14323 markings/sec, 190 secs
lola: 2842483 markings, 3155777 edges, 14019 markings/sec, 195 secs
lola: 2913320 markings, 3234267 edges, 14167 markings/sec, 200 secs
lola: 2978507 markings, 3307319 edges, 13037 markings/sec, 205 secs
lola: 3046896 markings, 3383795 edges, 13678 markings/sec, 210 secs
lola: 3113537 markings, 3458754 edges, 13328 markings/sec, 215 secs
lola: 3184640 markings, 3537891 edges, 14221 markings/sec, 220 secs
lola: 3253464 markings, 3614695 edges, 13765 markings/sec, 225 secs
lola: 3321990 markings, 3691381 edges, 13705 markings/sec, 230 secs
lola: 3387278 markings, 3765047 edges, 13058 markings/sec, 235 secs
lola: 3451736 markings, 3836956 edges, 12892 markings/sec, 240 secs
lola: 3519947 markings, 3913775 edges, 13642 markings/sec, 245 secs
lola: 3585492 markings, 3987669 edges, 13109 markings/sec, 250 secs
lola: 3650787 markings, 4060509 edges, 13059 markings/sec, 255 secs
lola: 3719246 markings, 4136903 edges, 13692 markings/sec, 260 secs
lola: 3785121 markings, 4210486 edges, 13175 markings/sec, 265 secs
lola: 3850272 markings, 4283521 edges, 13030 markings/sec, 270 secs
lola: 3915611 markings, 4356596 edges, 13068 markings/sec, 275 secs
lola: 3980297 markings, 4429000 edges, 12937 markings/sec, 280 secs
lola: 4048041 markings, 4504976 edges, 13549 markings/sec, 285 secs
lola: 4113955 markings, 4579038 edges, 13183 markings/sec, 290 secs
lola: 4177881 markings, 4650604 edges, 12785 markings/sec, 295 secs
lola: 4245984 markings, 4727062 edges, 13621 markings/sec, 300 secs
lola: 4312111 markings, 4801011 edges, 13225 markings/sec, 305 secs
lola: 4379393 markings, 4876699 edges, 13456 markings/sec, 310 secs
lola: 4446334 markings, 4952497 edges, 13388 markings/sec, 315 secs
lola: 4512233 markings, 5026504 edges, 13180 markings/sec, 320 secs
lola: 4580095 markings, 5102742 edges, 13572 markings/sec, 325 secs
lola: 4645953 markings, 5176507 edges, 13172 markings/sec, 330 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 336 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p5610)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 848 bytes per marking, with 8 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: 95868 markings, 103042 edges, 19174 markings/sec, 0 secs
lola: 195380 markings, 209799 edges, 19902 markings/sec, 5 secs
lola: 296618 markings, 318514 edges, 20248 markings/sec, 10 secs
lola: 397602 markings, 426848 edges, 20197 markings/sec, 15 secs
lola: 504791 markings, 541759 edges, 21438 markings/sec, 20 secs
lola: 607183 markings, 651641 edges, 20478 markings/sec, 25 secs
lola: 704142 markings, 755740 edges, 19392 markings/sec, 30 secs
lola: 798101 markings, 856524 edges, 18792 markings/sec, 35 secs
lola: 886372 markings, 951242 edges, 17654 markings/sec, 40 secs
lola: 973874 markings, 1045117 edges, 17500 markings/sec, 45 secs
lola: 1062012 markings, 1139654 edges, 17628 markings/sec, 50 secs
lola: 1143566 markings, 1227183 edges, 16311 markings/sec, 55 secs
lola: 1228761 markings, 1318616 edges, 17039 markings/sec, 60 secs
lola: 1310725 markings, 1406574 edges, 16393 markings/sec, 65 secs
lola: 1387762 markings, 1489263 edges, 15407 markings/sec, 70 secs
lola: 1466668 markings, 1573946 edges, 15781 markings/sec, 75 secs
lola: 1540836 markings, 1653489 edges, 14834 markings/sec, 80 secs
lola: 1623002 markings, 1741725 edges, 16433 markings/sec, 85 secs
lola: 1702622 markings, 1827148 edges, 15924 markings/sec, 90 secs
lola: 1784449 markings, 1914952 edges, 16365 markings/sec, 95 secs
lola: 1873924 markings, 2011019 edges, 17895 markings/sec, 100 secs
lola: 1961627 markings, 2105153 edges, 17541 markings/sec, 105 secs
lola: 2046111 markings, 2195752 edges, 16897 markings/sec, 110 secs
lola: 2133294 markings, 2289350 edges, 17437 markings/sec, 115 secs
lola: 2217942 markings, 2380182 edges, 16930 markings/sec, 120 secs
lola: 2300690 markings, 2469041 edges, 16550 markings/sec, 125 secs
lola: 2385922 markings, 2560594 edges, 17046 markings/sec, 130 secs
lola: 2471129 markings, 2652023 edges, 17041 markings/sec, 135 secs
lola: 2561139 markings, 2748689 edges, 18002 markings/sec, 140 secs
lola: 2644974 markings, 2838639 edges, 16767 markings/sec, 145 secs
lola: 2732323 markings, 2932409 edges, 17470 markings/sec, 150 secs
lola: 2821132 markings, 3027752 edges, 17762 markings/sec, 155 secs
lola: 2906100 markings, 3118955 edges, 16994 markings/sec, 160 secs
lola: 2995756 markings, 3215163 edges, 17931 markings/sec, 165 secs
lola: 3089732 markings, 3315987 edges, 18795 markings/sec, 170 secs
lola: 3181780 markings, 3414780 edges, 18410 markings/sec, 175 secs
lola: 3261797 markings, 3500672 edges, 16003 markings/sec, 180 secs
lola: 3346990 markings, 3592092 edges, 17039 markings/sec, 185 secs
lola: 3426536 markings, 3677361 edges, 15909 markings/sec, 190 secs
lola: 3504265 markings, 3760738 edges, 15546 markings/sec, 195 secs
lola: 3588553 markings, 3851197 edges, 16858 markings/sec, 200 secs
lola: 3658922 markings, 3926603 edges, 14074 markings/sec, 205 secs
lola: 3740491 markings, 4014114 edges, 16314 markings/sec, 210 secs
lola: 3830469 markings, 4110748 edges, 17996 markings/sec, 215 secs
lola: 3906780 markings, 4192548 edges, 15262 markings/sec, 220 secs
lola: 3986654 markings, 4278280 edges, 15975 markings/sec, 225 secs
lola: 4058606 markings, 4355417 edges, 14390 markings/sec, 230 secs
lola: 4130644 markings, 4432617 edges, 14408 markings/sec, 235 secs
lola: 4204604 markings, 4511863 edges, 14792 markings/sec, 240 secs
lola: 4278452 markings, 4590998 edges, 14770 markings/sec, 245 secs
lola: 4350218 markings, 4667901 edges, 14353 markings/sec, 250 secs
lola: 4424241 markings, 4747220 edges, 14805 markings/sec, 255 secs
lola: 4496682 markings, 4824845 edges, 14488 markings/sec, 260 secs
lola: 4571753 markings, 4905327 edges, 15014 markings/sec, 265 secs
lola: 4647252 markings, 4986359 edges, 15100 markings/sec, 270 secs
lola: 4732508 markings, 5077816 edges, 17051 markings/sec, 275 secs
lola: 4819988 markings, 5171663 edges, 17496 markings/sec, 280 secs
lola: 4907644 markings, 5265716 edges, 17531 markings/sec, 285 secs
lola: 4988676 markings, 5352696 edges, 16206 markings/sec, 290 secs
lola: 5067108 markings, 5436794 edges, 15686 markings/sec, 295 secs
lola: 5153830 markings, 5529865 edges, 17344 markings/sec, 300 secs
lola: 5242145 markings, 5624686 edges, 17663 markings/sec, 305 secs
lola: 5325371 markings, 5714041 edges, 16645 markings/sec, 310 secs
lola: 5403987 markings, 5798422 edges, 15723 markings/sec, 315 secs
lola: 5489295 markings, 5889957 edges, 17062 markings/sec, 320 secs
lola: 5575071 markings, 5982087 edges, 17155 markings/sec, 325 secs
lola: 5657371 markings, 6070466 edges, 16460 markings/sec, 330 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 337 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 848 bytes per marking, with 8 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: 61264 markings, 68416 edges, 12253 markings/sec, 0 secs
lola: 120827 markings, 134858 edges, 11913 markings/sec, 5 secs
lola: 179836 markings, 200721 edges, 11802 markings/sec, 10 secs
lola: 238383 markings, 266067 edges, 11709 markings/sec, 15 secs
lola: 303752 markings, 339988 edges, 13074 markings/sec, 20 secs
lola: 372216 markings, 417339 edges, 13693 markings/sec, 25 secs
lola: 439781 markings, 493686 edges, 13513 markings/sec, 30 secs
lola: 504805 markings, 567150 edges, 13005 markings/sec, 35 secs
lola: 567474 markings, 637970 edges, 12534 markings/sec, 40 secs
lola: 629780 markings, 708360 edges, 12461 markings/sec, 45 secs
lola: 691599 markings, 778239 edges, 12364 markings/sec, 50 secs
lola: 754180 markings, 848938 edges, 12516 markings/sec, 55 secs
lola: 816332 markings, 919184 edges, 12430 markings/sec, 60 secs
lola: 877193 markings, 987965 edges, 12172 markings/sec, 65 secs
lola: 937438 markings, 1056037 edges, 12049 markings/sec, 70 secs
lola: 997972 markings, 1124443 edges, 12107 markings/sec, 75 secs
lola: 1058095 markings, 1192375 edges, 12025 markings/sec, 80 secs
lola: 1117601 markings, 1259857 edges, 11901 markings/sec, 85 secs
lola: 1172939 markings, 1323926 edges, 11068 markings/sec, 90 secs
lola: 1232540 markings, 1392127 edges, 11920 markings/sec, 95 secs
lola: 1280912 markings, 1447774 edges, 9674 markings/sec, 100 secs
lola: 1341314 markings, 1516786 edges, 12080 markings/sec, 105 secs
lola: 1413216 markings, 1599260 edges, 14380 markings/sec, 110 secs
lola: 1478424 markings, 1674251 edges, 13042 markings/sec, 115 secs
lola: 1542979 markings, 1748916 edges, 12911 markings/sec, 120 secs
lola: 1604154 markings, 1819164 edges, 12235 markings/sec, 125 secs
lola: 1667048 markings, 1891358 edges, 12579 markings/sec, 130 secs
lola: 1737359 markings, 1972276 edges, 14062 markings/sec, 135 secs
lola: 1808017 markings, 2052865 edges, 14132 markings/sec, 140 secs
lola: 1875968 markings, 2131075 edges, 13590 markings/sec, 145 secs
lola: 1947329 markings, 2212836 edges, 14272 markings/sec, 150 secs
lola: 2017934 markings, 2294190 edges, 14121 markings/sec, 155 secs
lola: 2087263 markings, 2373099 edges, 13866 markings/sec, 160 secs
lola: 2154450 markings, 2449913 edges, 13437 markings/sec, 165 secs
lola: 2224998 markings, 2530257 edges, 14110 markings/sec, 170 secs
lola: 2293922 markings, 2608662 edges, 13785 markings/sec, 175 secs
lola: 2357918 markings, 2682456 edges, 12799 markings/sec, 180 secs
lola: 2422522 markings, 2757175 edges, 12921 markings/sec, 185 secs
lola: 2492518 markings, 2837589 edges, 13999 markings/sec, 190 secs
lola: 2558603 markings, 2913417 edges, 13217 markings/sec, 195 secs
lola: 2629379 markings, 2994324 edges, 14155 markings/sec, 200 secs
lola: 2696927 markings, 3071659 edges, 13510 markings/sec, 205 secs
lola: 2766265 markings, 3150989 edges, 13868 markings/sec, 210 secs
lola: 2828700 markings, 3222640 edges, 12487 markings/sec, 215 secs
lola: 2897185 markings, 3301025 edges, 13697 markings/sec, 220 secs
lola: 2968661 markings, 3382832 edges, 14295 markings/sec, 225 secs
lola: 3035485 markings, 3459833 edges, 13365 markings/sec, 230 secs
lola: 3103590 markings, 3538429 edges, 13621 markings/sec, 235 secs
lola: 3169155 markings, 3613923 edges, 13113 markings/sec, 240 secs
lola: 3235851 markings, 3690528 edges, 13339 markings/sec, 245 secs
lola: 3306353 markings, 3771465 edges, 14100 markings/sec, 250 secs
lola: 3375870 markings, 3850931 edges, 13903 markings/sec, 255 secs
lola: 3444998 markings, 3929947 edges, 13826 markings/sec, 260 secs
lola: 3513827 markings, 4008882 edges, 13766 markings/sec, 265 secs
lola: 3581299 markings, 4085977 edges, 13494 markings/sec, 270 secs
lola: 3646749 markings, 4161202 edges, 13090 markings/sec, 275 secs
lola: 3713258 markings, 4237593 edges, 13302 markings/sec, 280 secs
lola: 3779156 markings, 4313230 edges, 13180 markings/sec, 285 secs
lola: 3847823 markings, 4391958 edges, 13733 markings/sec, 290 secs
lola: 3914717 markings, 4469395 edges, 13379 markings/sec, 295 secs
lola: 3982573 markings, 4547184 edges, 13571 markings/sec, 300 secs
lola: 4050735 markings, 4625427 edges, 13632 markings/sec, 305 secs
lola: 4119393 markings, 4704158 edges, 13732 markings/sec, 310 secs
lola: 4186062 markings, 4781068 edges, 13334 markings/sec, 315 secs
lola: 4251901 markings, 4856753 edges, 13168 markings/sec, 320 secs
lola: 4317395 markings, 4932499 edges, 13099 markings/sec, 325 secs
lola: 4385653 markings, 5010718 edges, 13652 markings/sec, 330 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 336 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4953)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 848 bytes per marking, with 8 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: 78317 markings, 87213 edges, 15663 markings/sec, 0 secs
lola: 144231 markings, 160991 edges, 13183 markings/sec, 5 secs
lola: 205689 markings, 230058 edges, 12292 markings/sec, 10 secs
lola: 265880 markings, 297892 edges, 12038 markings/sec, 15 secs
lola: 329860 markings, 369569 edges, 12796 markings/sec, 20 secs
lola: 396877 markings, 444754 edges, 13403 markings/sec, 25 secs
lola: 463171 markings, 519220 edges, 13259 markings/sec, 30 secs
lola: 529375 markings, 593572 edges, 13241 markings/sec, 35 secs
lola: 595272 markings, 667600 edges, 13179 markings/sec, 40 secs
lola: 661784 markings, 742293 edges, 13302 markings/sec, 45 secs
lola: 729035 markings, 817581 edges, 13450 markings/sec, 50 secs
lola: 796346 markings, 892429 edges, 13462 markings/sec, 55 secs
lola: 862933 markings, 966294 edges, 13317 markings/sec, 60 secs
lola: 929708 markings, 1040241 edges, 13355 markings/sec, 65 secs
lola: 997704 markings, 1115619 edges, 13599 markings/sec, 70 secs
lola: 1065173 markings, 1190414 edges, 13494 markings/sec, 75 secs
lola: 1132424 markings, 1265056 edges, 13450 markings/sec, 80 secs
lola: 1199078 markings, 1338999 edges, 13331 markings/sec, 85 secs
lola: 1263845 markings, 1410745 edges, 12953 markings/sec, 90 secs
lola: 1329595 markings, 1483933 edges, 13150 markings/sec, 95 secs
lola: 1394797 markings, 1556567 edges, 13040 markings/sec, 100 secs
lola: 1460547 markings, 1629438 edges, 13150 markings/sec, 105 secs
lola: 1525139 markings, 1700909 edges, 12918 markings/sec, 110 secs
lola: 1590875 markings, 1773610 edges, 13147 markings/sec, 115 secs
lola: 1657126 markings, 1847301 edges, 13250 markings/sec, 120 secs
lola: 1723103 markings, 1920404 edges, 13195 markings/sec, 125 secs
lola: 1788081 markings, 1992383 edges, 12996 markings/sec, 130 secs
lola: 1855015 markings, 2066655 edges, 13387 markings/sec, 135 secs
lola: 1919667 markings, 2138346 edges, 12930 markings/sec, 140 secs
lola: 1983852 markings, 2209504 edges, 12837 markings/sec, 145 secs
lola: 2048499 markings, 2281136 edges, 12929 markings/sec, 150 secs
lola: 2112331 markings, 2352129 edges, 12766 markings/sec, 155 secs
lola: 2176687 markings, 2423475 edges, 12871 markings/sec, 160 secs
lola: 2241775 markings, 2495842 edges, 13018 markings/sec, 165 secs
lola: 2306651 markings, 2567700 edges, 12975 markings/sec, 170 secs
lola: 2372966 markings, 2641422 edges, 13263 markings/sec, 175 secs
lola: 2436973 markings, 2712346 edges, 12801 markings/sec, 180 secs
lola: 2500630 markings, 2782941 edges, 12731 markings/sec, 185 secs
lola: 2565468 markings, 2854946 edges, 12968 markings/sec, 190 secs
lola: 2628616 markings, 2924987 edges, 12630 markings/sec, 195 secs
lola: 2692220 markings, 2995753 edges, 12721 markings/sec, 200 secs
lola: 2756325 markings, 3066744 edges, 12821 markings/sec, 205 secs
lola: 2821379 markings, 3139020 edges, 13011 markings/sec, 210 secs
lola: 2886797 markings, 3211618 edges, 13084 markings/sec, 215 secs
lola: 2950958 markings, 3282769 edges, 12832 markings/sec, 220 secs
lola: 3014375 markings, 3353073 edges, 12683 markings/sec, 225 secs
lola: 3081120 markings, 3427099 edges, 13349 markings/sec, 230 secs
lola: 3145113 markings, 3498433 edges, 12799 markings/sec, 235 secs
lola: 3210746 markings, 3571382 edges, 13127 markings/sec, 240 secs
lola: 3275509 markings, 3643213 edges, 12953 markings/sec, 245 secs
lola: 3340016 markings, 3714715 edges, 12901 markings/sec, 250 secs
lola: 3406991 markings, 3788996 edges, 13395 markings/sec, 255 secs
lola: 3471605 markings, 3860752 edges, 12923 markings/sec, 260 secs
lola: 3536681 markings, 3932881 edges, 13015 markings/sec, 265 secs
lola: 3601358 markings, 4004512 edges, 12935 markings/sec, 270 secs
lola: 3666607 markings, 4077096 edges, 13050 markings/sec, 275 secs
lola: 3730622 markings, 4148041 edges, 12803 markings/sec, 280 secs
lola: 3795853 markings, 4220599 edges, 13046 markings/sec, 285 secs
lola: 3860016 markings, 4291686 edges, 12833 markings/sec, 290 secs
lola: 3925384 markings, 4364415 edges, 13074 markings/sec, 295 secs
lola: 3989278 markings, 4435133 edges, 12779 markings/sec, 300 secs
lola: 4053935 markings, 4506821 edges, 12931 markings/sec, 305 secs
lola: 4119287 markings, 4579322 edges, 13070 markings/sec, 310 secs
lola: 4183154 markings, 4650123 edges, 12773 markings/sec, 315 secs
lola: 4248678 markings, 4722950 edges, 13105 markings/sec, 320 secs
lola: 4312344 markings, 4793528 edges, 12733 markings/sec, 325 secs
lola: 4377759 markings, 4866271 edges, 13083 markings/sec, 330 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 337 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2433)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 848 bytes per marking, with 8 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: 48569 markings, 54584 edges, 9714 markings/sec, 0 secs
lola: 90479 markings, 102427 edges, 8382 markings/sec, 5 secs
lola: 131880 markings, 149584 edges, 8280 markings/sec, 10 secs
lola: 175560 markings, 199367 edges, 8736 markings/sec, 15 secs
lola: 216825 markings, 246225 edges, 8253 markings/sec, 20 secs
lola: 255636 markings, 290413 edges, 7762 markings/sec, 25 secs
lola: 296847 markings, 337199 edges, 8242 markings/sec, 30 secs
lola: 339783 markings, 386109 edges, 8587 markings/sec, 35 secs
lola: 377258 markings, 428641 edges, 7495 markings/sec, 40 secs
lola: 418168 markings, 475211 edges, 8182 markings/sec, 45 secs
lola: 460713 markings, 523700 edges, 8509 markings/sec, 50 secs
lola: 501053 markings, 569503 edges, 8068 markings/sec, 55 secs
lola: 538487 markings, 612103 edges, 7487 markings/sec, 60 secs
lola: 578048 markings, 657068 edges, 7912 markings/sec, 65 secs
lola: 619704 markings, 704433 edges, 8331 markings/sec, 70 secs
lola: 659291 markings, 749497 edges, 7917 markings/sec, 75 secs
lola: 697988 markings, 793478 edges, 7739 markings/sec, 80 secs
lola: 739394 markings, 840621 edges, 8281 markings/sec, 85 secs
lola: 779021 markings, 885715 edges, 7925 markings/sec, 90 secs
lola: 815883 markings, 927558 edges, 7372 markings/sec, 95 secs
lola: 857361 markings, 974853 edges, 8296 markings/sec, 100 secs
lola: 897375 markings, 1020241 edges, 8003 markings/sec, 105 secs
lola: 938151 markings, 1066755 edges, 8155 markings/sec, 110 secs
lola: 977903 markings, 1111865 edges, 7950 markings/sec, 115 secs
lola: 1019994 markings, 1160087 edges, 8418 markings/sec, 120 secs
lola: 1058806 markings, 1204227 edges, 7762 markings/sec, 125 secs
lola: 1100687 markings, 1251941 edges, 8376 markings/sec, 130 secs
lola: 1140478 markings, 1297186 edges, 7958 markings/sec, 135 secs
lola: 1181303 markings, 1343651 edges, 8165 markings/sec, 140 secs
lola: 1221224 markings, 1389120 edges, 7984 markings/sec, 145 secs
lola: 1259344 markings, 1432602 edges, 7624 markings/sec, 150 secs
lola: 1298495 markings, 1477154 edges, 7830 markings/sec, 155 secs
lola: 1339190 markings, 1523514 edges, 8139 markings/sec, 160 secs
lola: 1378095 markings, 1567731 edges, 7781 markings/sec, 165 secs
lola: 1418640 markings, 1613877 edges, 8109 markings/sec, 170 secs
lola: 1458057 markings, 1658842 edges, 7883 markings/sec, 175 secs
lola: 1494321 markings, 1700130 edges, 7253 markings/sec, 180 secs
lola: 1534027 markings, 1745319 edges, 7941 markings/sec, 185 secs
lola: 1574159 markings, 1791065 edges, 8026 markings/sec, 190 secs
lola: 1612998 markings, 1835180 edges, 7768 markings/sec, 195 secs
lola: 1652453 markings, 1880100 edges, 7891 markings/sec, 200 secs
lola: 1691846 markings, 1925030 edges, 7879 markings/sec, 205 secs
lola: 1727730 markings, 1965895 edges, 7177 markings/sec, 210 secs
lola: 1767619 markings, 2011281 edges, 7978 markings/sec, 215 secs
lola: 1807551 markings, 2056787 edges, 7986 markings/sec, 220 secs
lola: 1846344 markings, 2100850 edges, 7759 markings/sec, 225 secs
lola: 1885534 markings, 2145473 edges, 7838 markings/sec, 230 secs
lola: 1924884 markings, 2190356 edges, 7870 markings/sec, 235 secs
lola: 1960489 markings, 2230889 edges, 7121 markings/sec, 240 secs
lola: 1999618 markings, 2275396 edges, 7826 markings/sec, 245 secs
lola: 2039211 markings, 2320531 edges, 7919 markings/sec, 250 secs
lola: 2077219 markings, 2363717 edges, 7602 markings/sec, 255 secs
lola: 2116126 markings, 2407998 edges, 7781 markings/sec, 260 secs
lola: 2154680 markings, 2451914 edges, 7711 markings/sec, 265 secs
lola: 2196073 markings, 2499295 edges, 8279 markings/sec, 270 secs
lola: 2236108 markings, 2544957 edges, 8007 markings/sec, 275 secs
lola: 2275319 markings, 2589860 edges, 7842 markings/sec, 280 secs
lola: 2312890 markings, 2632714 edges, 7514 markings/sec, 285 secs
lola: 2351568 markings, 2676827 edges, 7736 markings/sec, 290 secs
lola: 2391467 markings, 2722684 edges, 7980 markings/sec, 295 secs
lola: 2431246 markings, 2768108 edges, 7956 markings/sec, 300 secs
lola: 2471552 markings, 2814736 edges, 8061 markings/sec, 305 secs
lola: 2508752 markings, 2857022 edges, 7440 markings/sec, 310 secs
lola: 2547960 markings, 2901842 edges, 7842 markings/sec, 315 secs
lola: 2587165 markings, 2946880 edges, 7841 markings/sec, 320 secs
lola: 2623043 markings, 2987576 edges, 7176 markings/sec, 325 secs
lola: 2663866 markings, 3034430 edges, 8165 markings/sec, 330 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 337 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4386)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 848 bytes per marking, with 8 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: 24165 markings, 25644 edges, 4833 markings/sec, 0 secs
lola: 42016 markings, 45077 edges, 3570 markings/sec, 5 secs
lola: 59098 markings, 63447 edges, 3416 markings/sec, 10 secs
lola: 76140 markings, 81737 edges, 3408 markings/sec, 15 secs
lola: 93193 markings, 100056 edges, 3411 markings/sec, 20 secs
lola: 110058 markings, 118055 edges, 3373 markings/sec, 25 secs
lola: 127547 markings, 136919 edges, 3498 markings/sec, 30 secs
lola: 144833 markings, 155472 edges, 3457 markings/sec, 35 secs
lola: 162066 markings, 173901 edges, 3447 markings/sec, 40 secs
lola: 179805 markings, 193006 edges, 3548 markings/sec, 45 secs
lola: 197517 markings, 212056 edges, 3542 markings/sec, 50 secs
lola: 215121 markings, 230921 edges, 3521 markings/sec, 55 secs
lola: 233127 markings, 250239 edges, 3601 markings/sec, 60 secs
lola: 251394 markings, 269893 edges, 3653 markings/sec, 65 secs
lola: 269592 markings, 289393 edges, 3640 markings/sec, 70 secs
lola: 288134 markings, 309290 edges, 3708 markings/sec, 75 secs
lola: 306856 markings, 329428 edges, 3744 markings/sec, 80 secs
lola: 325511 markings, 349447 edges, 3731 markings/sec, 85 secs
lola: 344425 markings, 369722 edges, 3783 markings/sec, 90 secs
lola: 363551 markings, 390295 edges, 3825 markings/sec, 95 secs
lola: 382564 markings, 410647 edges, 3803 markings/sec, 100 secs
lola: 401928 markings, 431453 edges, 3873 markings/sec, 105 secs
lola: 421350 markings, 452343 edges, 3884 markings/sec, 110 secs
lola: 440715 markings, 473067 edges, 3873 markings/sec, 115 secs
lola: 460599 markings, 494462 edges, 3977 markings/sec, 120 secs
lola: 480452 markings, 515772 edges, 3971 markings/sec, 125 secs
lola: 500313 markings, 537004 edges, 3972 markings/sec, 130 secs
lola: 520760 markings, 559033 edges, 4089 markings/sec, 135 secs
lola: 541145 markings, 580960 edges, 4077 markings/sec, 140 secs
lola: 561601 markings, 602884 edges, 4091 markings/sec, 145 secs
lola: 582431 markings, 625233 edges, 4166 markings/sec, 150 secs
lola: 603379 markings, 647736 edges, 4190 markings/sec, 155 secs
lola: 624395 markings, 670297 edges, 4203 markings/sec, 160 secs
lola: 645249 markings, 692691 edges, 4171 markings/sec, 165 secs
lola: 665928 markings, 714915 edges, 4136 markings/sec, 170 secs
lola: 686253 markings, 736702 edges, 4065 markings/sec, 175 secs
lola: 706886 markings, 758899 edges, 4127 markings/sec, 180 secs
lola: 727075 markings, 780506 edges, 4038 markings/sec, 185 secs
lola: 747909 markings, 802925 edges, 4167 markings/sec, 190 secs
lola: 768844 markings, 825415 edges, 4187 markings/sec, 195 secs
lola: 790048 markings, 848080 edges, 4241 markings/sec, 200 secs
lola: 811829 markings, 871520 edges, 4356 markings/sec, 205 secs
lola: 833615 markings, 894945 edges, 4357 markings/sec, 210 secs
lola: 855983 markings, 918934 edges, 4474 markings/sec, 215 secs
lola: 878566 markings, 943185 edges, 4517 markings/sec, 220 secs
lola: 901192 markings, 967390 edges, 4525 markings/sec, 225 secs
lola: 924368 markings, 992334 edges, 4635 markings/sec, 230 secs
lola: 947455 markings, 1017124 edges, 4617 markings/sec, 235 secs
lola: 970999 markings, 1042419 edges, 4709 markings/sec, 240 secs
lola: 994592 markings, 1067776 edges, 4719 markings/sec, 245 secs
lola: 1018397 markings, 1093297 edges, 4761 markings/sec, 250 secs
lola: 1042543 markings, 1119243 edges, 4829 markings/sec, 255 secs
lola: 1066727 markings, 1145113 edges, 4837 markings/sec, 260 secs
lola: 1091554 markings, 1171818 edges, 4965 markings/sec, 265 secs
lola: 1116405 markings, 1198528 edges, 4970 markings/sec, 270 secs
lola: 1141491 markings, 1225434 edges, 5017 markings/sec, 275 secs
lola: 1166742 markings, 1252567 edges, 5050 markings/sec, 280 secs
lola: 1192058 markings, 1279708 edges, 5063 markings/sec, 285 secs
lola: 1218083 markings, 1307703 edges, 5205 markings/sec, 290 secs
lola: 1244043 markings, 1335587 edges, 5192 markings/sec, 295 secs
lola: 1270309 markings, 1363778 edges, 5253 markings/sec, 300 secs
lola: 1296965 markings, 1392577 edges, 5331 markings/sec, 305 secs
lola: 1323639 markings, 1421381 edges, 5335 markings/sec, 310 secs
lola: 1350019 markings, 1450061 edges, 5276 markings/sec, 315 secs
lola: 1376248 markings, 1478492 edges, 5246 markings/sec, 320 secs
lola: 1402661 markings, 1507073 edges, 5283 markings/sec, 325 secs
lola: 1430099 markings, 1536695 edges, 5488 markings/sec, 330 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: 1 unknown unknown unknown unknown 1 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown
FORMULA DLCshifumi-PT-3b-UpperBounds-0 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3b-UpperBounds-5 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3b-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3b-UpperBounds-9 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494647802325

--------------------
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="DLCshifumi-PT-3b"
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/DLCshifumi-PT-3b.tgz
mv DLCshifumi-PT-3b execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is DLCshifumi-PT-3b, 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 r018-ebro-149436309300470"
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 ;