About the Execution of LoLA for DLCshifumi-PT-2b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1779.120 | 3540214.00 | 3555015.00 | 610.10 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
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-2b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436309300452
=====================================================================
--------------------
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-2b-UpperBounds-0
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-1
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-10
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-11
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-12
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-13
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-14
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-15
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-2
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-3
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-4
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-5
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-6
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-7
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-8
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494642519125
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DLCshifumi-PT-2b @ 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: 5666/65536 symbol table entries, 573 collisions
lola: preprocessing...
lola: finding significant places
lola: 2483 places, 3183 transitions, 2404 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3873 transition conflict sets
lola: TASK
lola: reading formula from DLCshifumi-PT-2b-UpperBounds.task
lola: MAX(p2368) : MAX(p154) : MAX(p1658) : MAX(p23) : MAX(p1427) : MAX(p499) : MAX(p1306) : MAX(p2207) : MAX(p1358) : MAX(p2005) : MAX(p995) : MAX(p888) : MAX(p1088) : MAX(p1033) : MAX(p157) : MAX(p855)
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(p2368)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 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: 166890 markings, 188396 edges, 33378 markings/sec, 0 secs
lola: 332455 markings, 374815 edges, 33113 markings/sec, 5 secs
lola: 498496 markings, 561596 edges, 33208 markings/sec, 10 secs
lola: 662277 markings, 745714 edges, 32756 markings/sec, 15 secs
lola: 824886 markings, 928979 edges, 32522 markings/sec, 20 secs
lola: 991995 markings, 1117265 edges, 33422 markings/sec, 25 secs
lola: 1162089 markings, 1309008 edges, 34019 markings/sec, 30 secs
lola: 1330075 markings, 1498317 edges, 33597 markings/sec, 35 secs
lola: 1501481 markings, 1690572 edges, 34281 markings/sec, 40 secs
lola: 1672104 markings, 1883223 edges, 34125 markings/sec, 45 secs
lola: 1840426 markings, 2073670 edges, 33664 markings/sec, 50 secs
lola: 2008440 markings, 2263458 edges, 33603 markings/sec, 55 secs
lola: 2178380 markings, 2454720 edges, 33988 markings/sec, 60 secs
lola: 2348636 markings, 2647091 edges, 34051 markings/sec, 65 secs
lola: 2519911 markings, 2840299 edges, 34255 markings/sec, 70 secs
lola: 2690355 markings, 3032617 edges, 34089 markings/sec, 75 secs
lola: 2857595 markings, 3221662 edges, 33448 markings/sec, 80 secs
lola: 3026755 markings, 3412760 edges, 33832 markings/sec, 85 secs
lola: 3193034 markings, 3599769 edges, 33256 markings/sec, 90 secs
lola: 3356647 markings, 3784750 edges, 32723 markings/sec, 95 secs
lola: 3523836 markings, 3973143 edges, 33438 markings/sec, 100 secs
lola: 3688179 markings, 4158286 edges, 32869 markings/sec, 105 secs
lola: 3853446 markings, 4344542 edges, 33053 markings/sec, 110 secs
lola: 4016334 markings, 4528582 edges, 32578 markings/sec, 115 secs
lola: 4179102 markings, 4711866 edges, 32554 markings/sec, 120 secs
lola: 4342585 markings, 4895913 edges, 32697 markings/sec, 125 secs
lola: 4505867 markings, 5080554 edges, 32656 markings/sec, 130 secs
lola: 4670278 markings, 5265784 edges, 32882 markings/sec, 135 secs
lola: 4834840 markings, 5451211 edges, 32912 markings/sec, 140 secs
lola: 4997840 markings, 5634868 edges, 32600 markings/sec, 145 secs
lola: 5161263 markings, 5818956 edges, 32685 markings/sec, 150 secs
lola: 5326355 markings, 6005126 edges, 33018 markings/sec, 155 secs
lola: 5486753 markings, 6185485 edges, 32080 markings/sec, 160 secs
lola: 5648412 markings, 6367714 edges, 32332 markings/sec, 165 secs
lola: 5808834 markings, 6548490 edges, 32084 markings/sec, 170 secs
lola: 5965698 markings, 6725237 edges, 31373 markings/sec, 175 secs
lola: 6124630 markings, 6903899 edges, 31786 markings/sec, 180 secs
lola: 6288018 markings, 7087896 edges, 32678 markings/sec, 185 secs
lola: 6451018 markings, 7272290 edges, 32600 markings/sec, 190 secs
lola: 6610243 markings, 7451943 edges, 31845 markings/sec, 195 secs
lola: 6768489 markings, 7630440 edges, 31649 markings/sec, 200 secs
lola: 6926713 markings, 7808886 edges, 31645 markings/sec, 205 secs
lola: 7085702 markings, 7988320 edges, 31798 markings/sec, 210 secs
lola: 7242411 markings, 8165167 edges, 31342 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(p154)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 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: 209321 markings, 254814 edges, 41864 markings/sec, 0 secs
lola: 415436 markings, 505813 edges, 41223 markings/sec, 5 secs
lola: 619515 markings, 753894 edges, 40816 markings/sec, 10 secs
lola: 823660 markings, 1002263 edges, 40829 markings/sec, 15 secs
lola: 1028095 markings, 1251162 edges, 40887 markings/sec, 20 secs
lola: 1230752 markings, 1497805 edges, 40531 markings/sec, 25 secs
lola: 1433251 markings, 1744237 edges, 40500 markings/sec, 30 secs
lola: 1637119 markings, 1992434 edges, 40774 markings/sec, 35 secs
lola: 1842086 markings, 2242022 edges, 40993 markings/sec, 40 secs
lola: 2046723 markings, 2491265 edges, 40927 markings/sec, 45 secs
lola: 2249457 markings, 2737945 edges, 40547 markings/sec, 50 secs
lola: 2452255 markings, 2984930 edges, 40560 markings/sec, 55 secs
lola: 2652798 markings, 3229389 edges, 40109 markings/sec, 60 secs
lola: 2853324 markings, 3473711 edges, 40105 markings/sec, 65 secs
lola: 3052800 markings, 3716521 edges, 39895 markings/sec, 70 secs
lola: 3253817 markings, 3961197 edges, 40203 markings/sec, 75 secs
lola: 3454201 markings, 4205406 edges, 40077 markings/sec, 80 secs
lola: 3655682 markings, 4450769 edges, 40296 markings/sec, 85 secs
lola: 3854388 markings, 4692685 edges, 39741 markings/sec, 90 secs
lola: 4054465 markings, 4936267 edges, 40015 markings/sec, 95 secs
lola: 4256135 markings, 5181729 edges, 40334 markings/sec, 100 secs
lola: 4456061 markings, 5425466 edges, 39985 markings/sec, 105 secs
lola: 4656357 markings, 5669403 edges, 40059 markings/sec, 110 secs
lola: 4852521 markings, 5908309 edges, 39233 markings/sec, 115 secs
lola: 5055853 markings, 6155742 edges, 40666 markings/sec, 120 secs
lola: 5258214 markings, 6402322 edges, 40472 markings/sec, 125 secs
lola: 5462492 markings, 6651132 edges, 40856 markings/sec, 130 secs
lola: 5664164 markings, 6896641 edges, 40334 markings/sec, 135 secs
lola: 5866901 markings, 7143582 edges, 40547 markings/sec, 140 secs
lola: 6070742 markings, 7391667 edges, 40768 markings/sec, 145 secs
lola: 6272629 markings, 7637701 edges, 40377 markings/sec, 150 secs
lola: 6475934 markings, 7885312 edges, 40661 markings/sec, 155 secs
lola: 6678246 markings, 8131688 edges, 40462 markings/sec, 160 secs
lola: 6883323 markings, 8381311 edges, 41015 markings/sec, 165 secs
lola: 7087841 markings, 8630475 edges, 40904 markings/sec, 170 secs
lola: 7293892 markings, 8881459 edges, 41210 markings/sec, 175 secs
lola: 7497251 markings, 9129010 edges, 40672 markings/sec, 180 secs
lola: 7701202 markings, 9377517 edges, 40790 markings/sec, 185 secs
lola: 7905926 markings, 9626630 edges, 40945 markings/sec, 190 secs
lola: 8108593 markings, 9873581 edges, 40533 markings/sec, 195 secs
lola: 8312795 markings, 10122317 edges, 40840 markings/sec, 200 secs
lola: 8516053 markings, 10369827 edges, 40652 markings/sec, 205 secs
lola: 8721201 markings, 10619550 edges, 41030 markings/sec, 210 secs
lola: 8925053 markings, 10867905 edges, 40770 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(p1658)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 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: 115272 markings, 124183 edges, 23054 markings/sec, 0 secs
lola: 227193 markings, 244113 edges, 22384 markings/sec, 5 secs
lola: 337257 markings, 361303 edges, 22013 markings/sec, 10 secs
lola: 448157 markings, 479587 edges, 22180 markings/sec, 15 secs
lola: 559692 markings, 599112 edges, 22307 markings/sec, 20 secs
lola: 665051 markings, 712385 edges, 21072 markings/sec, 25 secs
lola: 770968 markings, 825861 edges, 21183 markings/sec, 30 secs
lola: 879116 markings, 942179 edges, 21630 markings/sec, 35 secs
lola: 987175 markings, 1058102 edges, 21612 markings/sec, 40 secs
lola: 1096427 markings, 1175489 edges, 21850 markings/sec, 45 secs
lola: 1202240 markings, 1288693 edges, 21163 markings/sec, 50 secs
lola: 1309445 markings, 1403444 edges, 21441 markings/sec, 55 secs
lola: 1418517 markings, 1520793 edges, 21814 markings/sec, 60 secs
lola: 1526876 markings, 1637324 edges, 21672 markings/sec, 65 secs
lola: 1636431 markings, 1755419 edges, 21911 markings/sec, 70 secs
lola: 1745172 markings, 1872383 edges, 21748 markings/sec, 75 secs
lola: 1853376 markings, 1988582 edges, 21641 markings/sec, 80 secs
lola: 1961748 markings, 2104736 edges, 21674 markings/sec, 85 secs
lola: 2071167 markings, 2222391 edges, 21884 markings/sec, 90 secs
lola: 2178082 markings, 2336973 edges, 21383 markings/sec, 95 secs
lola: 2284946 markings, 2451632 edges, 21373 markings/sec, 100 secs
lola: 2392198 markings, 2566654 edges, 21450 markings/sec, 105 secs
lola: 2500246 markings, 2682906 edges, 21610 markings/sec, 110 secs
lola: 2609029 markings, 2799960 edges, 21757 markings/sec, 115 secs
lola: 2717018 markings, 2916132 edges, 21598 markings/sec, 120 secs
lola: 2825610 markings, 3032835 edges, 21718 markings/sec, 125 secs
lola: 2934052 markings, 3149548 edges, 21688 markings/sec, 130 secs
lola: 3043654 markings, 3267580 edges, 21920 markings/sec, 135 secs
lola: 3152219 markings, 3384246 edges, 21713 markings/sec, 140 secs
lola: 3260476 markings, 3500337 edges, 21651 markings/sec, 145 secs
lola: 3369671 markings, 3617719 edges, 21839 markings/sec, 150 secs
lola: 3479630 markings, 3736039 edges, 21992 markings/sec, 155 secs
lola: 3588777 markings, 3853496 edges, 21829 markings/sec, 160 secs
lola: 3697763 markings, 3970409 edges, 21797 markings/sec, 165 secs
lola: 3808050 markings, 4089132 edges, 22057 markings/sec, 170 secs
lola: 3917565 markings, 4206740 edges, 21903 markings/sec, 175 secs
lola: 4025580 markings, 4322479 edges, 21603 markings/sec, 180 secs
lola: 4133609 markings, 4438493 edges, 21606 markings/sec, 185 secs
lola: 4242166 markings, 4555084 edges, 21711 markings/sec, 190 secs
lola: 4351509 markings, 4672698 edges, 21869 markings/sec, 195 secs
lola: 4461319 markings, 4790845 edges, 21962 markings/sec, 200 secs
lola: 4570033 markings, 4907695 edges, 21743 markings/sec, 205 secs
lola: 4679222 markings, 5025205 edges, 21838 markings/sec, 210 secs
lola: 4787796 markings, 5142121 edges, 21715 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(p23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 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: 164150 markings, 201416 edges, 32830 markings/sec, 0 secs
lola: 326053 markings, 401976 edges, 32381 markings/sec, 5 secs
lola: 487536 markings, 603175 edges, 32297 markings/sec, 10 secs
lola: 646643 markings, 802295 edges, 31821 markings/sec, 15 secs
lola: 809906 markings, 1004162 edges, 32653 markings/sec, 20 secs
lola: 973512 markings, 1205268 edges, 32721 markings/sec, 25 secs
lola: 1137849 markings, 1405998 edges, 32867 markings/sec, 30 secs
lola: 1304109 markings, 1608919 edges, 33252 markings/sec, 35 secs
lola: 1466100 markings, 1809586 edges, 32398 markings/sec, 40 secs
lola: 1626732 markings, 2009187 edges, 32126 markings/sec, 45 secs
lola: 1793242 markings, 2212084 edges, 33302 markings/sec, 50 secs
lola: 1954519 markings, 2410228 edges, 32255 markings/sec, 55 secs
lola: 2116214 markings, 2608192 edges, 32339 markings/sec, 60 secs
lola: 2280354 markings, 2808504 edges, 32828 markings/sec, 65 secs
lola: 2441116 markings, 3005881 edges, 32152 markings/sec, 70 secs
lola: 2604345 markings, 3205467 edges, 32646 markings/sec, 75 secs
lola: 2760358 markings, 3401073 edges, 31203 markings/sec, 80 secs
lola: 2922873 markings, 3600268 edges, 32503 markings/sec, 85 secs
lola: 3082640 markings, 3798789 edges, 31953 markings/sec, 90 secs
lola: 3241816 markings, 3995911 edges, 31835 markings/sec, 95 secs
lola: 3401609 markings, 4193213 edges, 31959 markings/sec, 100 secs
lola: 3557672 markings, 4388124 edges, 31213 markings/sec, 105 secs
lola: 3713213 markings, 4582894 edges, 31108 markings/sec, 110 secs
lola: 3872464 markings, 4778327 edges, 31850 markings/sec, 115 secs
lola: 4029747 markings, 4971662 edges, 31457 markings/sec, 120 secs
lola: 4189979 markings, 5167419 edges, 32046 markings/sec, 125 secs
lola: 4349713 markings, 5362506 edges, 31947 markings/sec, 130 secs
lola: 4506390 markings, 5557429 edges, 31335 markings/sec, 135 secs
lola: 4663493 markings, 5751770 edges, 31421 markings/sec, 140 secs
lola: 4824425 markings, 5947949 edges, 32186 markings/sec, 145 secs
lola: 4982643 markings, 6142145 edges, 31644 markings/sec, 150 secs
lola: 5141547 markings, 6336950 edges, 31781 markings/sec, 155 secs
lola: 5302026 markings, 6532679 edges, 32096 markings/sec, 160 secs
lola: 5458613 markings, 6725043 edges, 31317 markings/sec, 165 secs
lola: 5617548 markings, 6919256 edges, 31787 markings/sec, 170 secs
lola: 5769447 markings, 7109809 edges, 30380 markings/sec, 175 secs
lola: 5927462 markings, 7303602 edges, 31603 markings/sec, 180 secs
lola: 6083461 markings, 7496833 edges, 31200 markings/sec, 185 secs
lola: 6240209 markings, 7690236 edges, 31350 markings/sec, 190 secs
lola: 6394280 markings, 7881565 edges, 30814 markings/sec, 195 secs
lola: 6547804 markings, 8072585 edges, 30705 markings/sec, 200 secs
lola: 6698471 markings, 8261119 edges, 30133 markings/sec, 205 secs
lola: 6852521 markings, 8451772 edges, 30810 markings/sec, 210 secs
lola: 7005967 markings, 8640502 edges, 30689 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(p1427)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 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: 233811 markings, 265113 edges, 46762 markings/sec, 0 secs
lola: 464703 markings, 528486 edges, 46178 markings/sec, 5 secs
lola: 699732 markings, 795718 edges, 47006 markings/sec, 10 secs
lola: 933941 markings, 1061347 edges, 46842 markings/sec, 15 secs
lola: 1169737 markings, 1329003 edges, 47159 markings/sec, 20 secs
lola: 1402240 markings, 1593662 edges, 46501 markings/sec, 25 secs
lola: 1637147 markings, 1860629 edges, 46981 markings/sec, 30 secs
lola: 1868099 markings, 2123302 edges, 46190 markings/sec, 35 secs
lola: 2101311 markings, 2387811 edges, 46642 markings/sec, 40 secs
lola: 2334200 markings, 2652351 edges, 46578 markings/sec, 45 secs
lola: 2571998 markings, 2922395 edges, 47560 markings/sec, 50 secs
lola: 2805936 markings, 3188485 edges, 46788 markings/sec, 55 secs
lola: 3036755 markings, 3451223 edges, 46164 markings/sec, 60 secs
lola: 3274029 markings, 3720912 edges, 47455 markings/sec, 65 secs
lola: 3502761 markings, 3981440 edges, 45746 markings/sec, 70 secs
lola: 3736417 markings, 4247771 edges, 46731 markings/sec, 75 secs
lola: 3970214 markings, 4513514 edges, 46759 markings/sec, 80 secs
lola: 4206628 markings, 4782191 edges, 47283 markings/sec, 85 secs
lola: 4442441 markings, 5049888 edges, 47163 markings/sec, 90 secs
lola: 4673596 markings, 5312648 edges, 46231 markings/sec, 95 secs
lola: 4905147 markings, 5576025 edges, 46310 markings/sec, 100 secs
lola: 5142763 markings, 5846091 edges, 47523 markings/sec, 105 secs
lola: 5380369 markings, 6116107 edges, 47521 markings/sec, 110 secs
lola: 5616144 markings, 6384281 edges, 47155 markings/sec, 115 secs
lola: 5852419 markings, 6652850 edges, 47255 markings/sec, 120 secs
lola: 6085137 markings, 6916973 edges, 46544 markings/sec, 125 secs
lola: 6318124 markings, 7181897 edges, 46597 markings/sec, 130 secs
lola: 6556892 markings, 7452852 edges, 47754 markings/sec, 135 secs
lola: 6790598 markings, 7718560 edges, 46741 markings/sec, 140 secs
lola: 7022507 markings, 7982473 edges, 46382 markings/sec, 145 secs
lola: 7258809 markings, 8251101 edges, 47260 markings/sec, 150 secs
lola: 7489130 markings, 8513622 edges, 46064 markings/sec, 155 secs
lola: 7723326 markings, 8780232 edges, 46839 markings/sec, 160 secs
lola: 7960128 markings, 9049269 edges, 47360 markings/sec, 165 secs
lola: 8190205 markings, 9310993 edges, 46015 markings/sec, 170 secs
lola: 8426054 markings, 9578786 edges, 47170 markings/sec, 175 secs
lola: 8655270 markings, 9839611 edges, 45843 markings/sec, 180 secs
lola: 8890217 markings, 10106405 edges, 46989 markings/sec, 185 secs
lola: 9123673 markings, 10371771 edges, 46691 markings/sec, 190 secs
lola: 9360440 markings, 10640979 edges, 47353 markings/sec, 195 secs
lola: 9596172 markings, 10909251 edges, 47146 markings/sec, 200 secs
lola: 9833255 markings, 11178718 edges, 47417 markings/sec, 205 secs
lola: 10068385 markings, 11445585 edges, 47026 markings/sec, 210 secs
lola: 10304572 markings, 11713739 edges, 47237 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(p499)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 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: 238747 markings, 271075 edges, 47749 markings/sec, 0 secs
lola: 467629 markings, 532002 edges, 45776 markings/sec, 5 secs
lola: 705736 markings, 802692 edges, 47621 markings/sec, 10 secs
lola: 936958 markings, 1066156 edges, 46244 markings/sec, 15 secs
lola: 1178883 markings, 1340029 edges, 48385 markings/sec, 20 secs
lola: 1415540 markings, 1608246 edges, 47331 markings/sec, 25 secs
lola: 1648550 markings, 1872733 edges, 46602 markings/sec, 30 secs
lola: 1883308 markings, 2139741 edges, 46952 markings/sec, 35 secs
lola: 2116889 markings, 2405464 edges, 46716 markings/sec, 40 secs
lola: 2346067 markings, 2666828 edges, 45836 markings/sec, 45 secs
lola: 2576952 markings, 2929569 edges, 46177 markings/sec, 50 secs
lola: 2809304 markings, 3193497 edges, 46470 markings/sec, 55 secs
lola: 3038629 markings, 3454848 edges, 45865 markings/sec, 60 secs
lola: 3270595 markings, 3718621 edges, 46393 markings/sec, 65 secs
lola: 3501334 markings, 3980377 edges, 46148 markings/sec, 70 secs
lola: 3732532 markings, 4242899 edges, 46240 markings/sec, 75 secs
lola: 3962650 markings, 4504217 edges, 46024 markings/sec, 80 secs
lola: 4192677 markings, 4766013 edges, 46005 markings/sec, 85 secs
lola: 4421294 markings, 5025869 edges, 45723 markings/sec, 90 secs
lola: 4650375 markings, 5286324 edges, 45816 markings/sec, 95 secs
lola: 4877934 markings, 5544785 edges, 45512 markings/sec, 100 secs
lola: 5103779 markings, 5801348 edges, 45169 markings/sec, 105 secs
lola: 5327859 markings, 6056172 edges, 44816 markings/sec, 110 secs
lola: 5556262 markings, 6315841 edges, 45681 markings/sec, 115 secs
lola: 5782553 markings, 6573118 edges, 45258 markings/sec, 120 secs
lola: 6005750 markings, 6827062 edges, 44639 markings/sec, 125 secs
lola: 6231343 markings, 7083368 edges, 45119 markings/sec, 130 secs
lola: 6451361 markings, 7333629 edges, 44004 markings/sec, 135 secs
lola: 6675440 markings, 7587940 edges, 44816 markings/sec, 140 secs
lola: 6896355 markings, 7839282 edges, 44183 markings/sec, 145 secs
lola: 7121005 markings, 8094835 edges, 44930 markings/sec, 150 secs
lola: 7345431 markings, 8349748 edges, 44885 markings/sec, 155 secs
lola: 7564811 markings, 8599416 edges, 43876 markings/sec, 160 secs
lola: 7787098 markings, 8851728 edges, 44457 markings/sec, 165 secs
lola: 8003985 markings, 9098585 edges, 43377 markings/sec, 170 secs
lola: 8227367 markings, 9352049 edges, 44676 markings/sec, 175 secs
lola: 8443725 markings, 9598266 edges, 43272 markings/sec, 180 secs
lola: 8665688 markings, 9850816 edges, 44393 markings/sec, 185 secs
lola: 8887142 markings, 10102303 edges, 44291 markings/sec, 190 secs
lola: 9104702 markings, 10349867 edges, 43512 markings/sec, 195 secs
lola: 9324809 markings, 10599752 edges, 44021 markings/sec, 200 secs
lola: 9538532 markings, 10843026 edges, 42745 markings/sec, 205 secs
lola: 9759119 markings, 11093258 edges, 44117 markings/sec, 210 secs
lola: 9972748 markings, 11336454 edges, 42726 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(p1306)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 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: 221396 markings, 245454 edges, 44279 markings/sec, 0 secs
lola: 441960 markings, 489676 edges, 44113 markings/sec, 5 secs
lola: 663869 markings, 735449 edges, 44382 markings/sec, 10 secs
lola: 888071 markings, 984040 edges, 44840 markings/sec, 15 secs
lola: 1109089 markings, 1229304 edges, 44204 markings/sec, 20 secs
lola: 1330994 markings, 1475212 edges, 44381 markings/sec, 25 secs
lola: 1552450 markings, 1720848 edges, 44291 markings/sec, 30 secs
lola: 1775003 markings, 1967446 edges, 44511 markings/sec, 35 secs
lola: 1996898 markings, 2213674 edges, 44379 markings/sec, 40 secs
lola: 2219158 markings, 2460370 edges, 44452 markings/sec, 45 secs
lola: 2442724 markings, 2708300 edges, 44713 markings/sec, 50 secs
lola: 2665035 markings, 2954637 edges, 44462 markings/sec, 55 secs
lola: 2889776 markings, 3203599 edges, 44948 markings/sec, 60 secs
lola: 3114508 markings, 3452784 edges, 44946 markings/sec, 65 secs
lola: 3337172 markings, 3699543 edges, 44533 markings/sec, 70 secs
lola: 3559766 markings, 3945950 edges, 44519 markings/sec, 75 secs
lola: 3782820 markings, 4193057 edges, 44611 markings/sec, 80 secs
lola: 4006849 markings, 4441255 edges, 44806 markings/sec, 85 secs
lola: 4227949 markings, 4686463 edges, 44220 markings/sec, 90 secs
lola: 4450326 markings, 4932636 edges, 44475 markings/sec, 95 secs
lola: 4673160 markings, 5179421 edges, 44567 markings/sec, 100 secs
lola: 4896342 markings, 5426694 edges, 44636 markings/sec, 105 secs
lola: 5117844 markings, 5672411 edges, 44300 markings/sec, 110 secs
lola: 5340510 markings, 5918867 edges, 44533 markings/sec, 115 secs
lola: 5562378 markings, 6164679 edges, 44374 markings/sec, 120 secs
lola: 5784499 markings, 6410697 edges, 44424 markings/sec, 125 secs
lola: 6005461 markings, 6655731 edges, 44192 markings/sec, 130 secs
lola: 6226749 markings, 6900745 edges, 44258 markings/sec, 135 secs
lola: 6449710 markings, 7147687 edges, 44592 markings/sec, 140 secs
lola: 6671469 markings, 7393410 edges, 44352 markings/sec, 145 secs
lola: 6894005 markings, 7640012 edges, 44507 markings/sec, 150 secs
lola: 7114617 markings, 7884360 edges, 44122 markings/sec, 155 secs
lola: 7337567 markings, 8131363 edges, 44590 markings/sec, 160 secs
lola: 7558996 markings, 8376695 edges, 44286 markings/sec, 165 secs
lola: 7781721 markings, 8623570 edges, 44545 markings/sec, 170 secs
lola: 8001355 markings, 8866730 edges, 43927 markings/sec, 175 secs
lola: 8223318 markings, 9112732 edges, 44393 markings/sec, 180 secs
lola: 8445519 markings, 9358914 edges, 44440 markings/sec, 185 secs
lola: 8668662 markings, 9606257 edges, 44629 markings/sec, 190 secs
lola: 8889948 markings, 9851149 edges, 44257 markings/sec, 195 secs
lola: 9114080 markings, 10099558 edges, 44826 markings/sec, 200 secs
lola: 9336550 markings, 10346055 edges, 44494 markings/sec, 205 secs
lola: 9558470 markings, 10592076 edges, 44384 markings/sec, 210 secs
lola: 9779066 markings, 10836305 edges, 44119 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(p2207)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 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: 169517 markings, 191096 edges, 33903 markings/sec, 0 secs
lola: 342472 markings, 386073 edges, 34591 markings/sec, 5 secs
lola: 508688 markings, 573730 edges, 33243 markings/sec, 10 secs
lola: 672538 markings, 758748 edges, 32770 markings/sec, 15 secs
lola: 837866 markings, 945119 edges, 33066 markings/sec, 20 secs
lola: 1001089 markings, 1129407 edges, 32645 markings/sec, 25 secs
lola: 1164829 markings, 1314463 edges, 32748 markings/sec, 30 secs
lola: 1327407 markings, 1498249 edges, 32516 markings/sec, 35 secs
lola: 1490125 markings, 1681903 edges, 32544 markings/sec, 40 secs
lola: 1653679 markings, 1866674 edges, 32711 markings/sec, 45 secs
lola: 1815838 markings, 2049581 edges, 32432 markings/sec, 50 secs
lola: 1976812 markings, 2231411 edges, 32195 markings/sec, 55 secs
lola: 2138045 markings, 2413764 edges, 32247 markings/sec, 60 secs
lola: 2298847 markings, 2595326 edges, 32160 markings/sec, 65 secs
lola: 2461985 markings, 2779475 edges, 32628 markings/sec, 70 secs
lola: 2619198 markings, 2957196 edges, 31443 markings/sec, 75 secs
lola: 2781355 markings, 3140302 edges, 32431 markings/sec, 80 secs
lola: 2942543 markings, 3322487 edges, 32238 markings/sec, 85 secs
lola: 3099647 markings, 3500379 edges, 31421 markings/sec, 90 secs
lola: 3262038 markings, 3683670 edges, 32478 markings/sec, 95 secs
lola: 3421337 markings, 3863646 edges, 31860 markings/sec, 100 secs
lola: 3583077 markings, 4046254 edges, 32348 markings/sec, 105 secs
lola: 3743259 markings, 4227046 edges, 32036 markings/sec, 110 secs
lola: 3903804 markings, 4408466 edges, 32109 markings/sec, 115 secs
lola: 4067322 markings, 4592997 edges, 32704 markings/sec, 120 secs
lola: 4228631 markings, 4775022 edges, 32262 markings/sec, 125 secs
lola: 4387980 markings, 4955123 edges, 31870 markings/sec, 130 secs
lola: 4550535 markings, 5138597 edges, 32511 markings/sec, 135 secs
lola: 4712514 markings, 5321652 edges, 32396 markings/sec, 140 secs
lola: 4875243 markings, 5505420 edges, 32546 markings/sec, 145 secs
lola: 5040337 markings, 5691490 edges, 33019 markings/sec, 150 secs
lola: 5200855 markings, 5873106 edges, 32104 markings/sec, 155 secs
lola: 5365244 markings, 6058619 edges, 32878 markings/sec, 160 secs
lola: 5529017 markings, 6243211 edges, 32755 markings/sec, 165 secs
lola: 5690161 markings, 6425272 edges, 32229 markings/sec, 170 secs
lola: 5854430 markings, 6610655 edges, 32854 markings/sec, 175 secs
lola: 6017000 markings, 6794487 edges, 32514 markings/sec, 180 secs
lola: 6183237 markings, 6982308 edges, 33247 markings/sec, 185 secs
lola: 6351931 markings, 7172626 edges, 33739 markings/sec, 190 secs
lola: 6518162 markings, 7360141 edges, 33246 markings/sec, 195 secs
lola: 6681156 markings, 7544688 edges, 32599 markings/sec, 200 secs
lola: 6848109 markings, 7733225 edges, 33391 markings/sec, 205 secs
lola: 7011392 markings, 7918267 edges, 32657 markings/sec, 210 secs
lola: 7179124 markings, 8107488 edges, 33546 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(p1358)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 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: 248604 markings, 270913 edges, 49721 markings/sec, 0 secs
lola: 497611 markings, 542663 edges, 49801 markings/sec, 5 secs
lola: 743389 markings, 810945 edges, 49156 markings/sec, 10 secs
lola: 992032 markings, 1082073 edges, 49729 markings/sec, 15 secs
lola: 1237826 markings, 1350185 edges, 49159 markings/sec, 20 secs
lola: 1487340 markings, 1622321 edges, 49903 markings/sec, 25 secs
lola: 1733354 markings, 1890501 edges, 49203 markings/sec, 30 secs
lola: 1981576 markings, 2160972 edges, 49644 markings/sec, 35 secs
lola: 2230482 markings, 2432453 edges, 49781 markings/sec, 40 secs
lola: 2480323 markings, 2705393 edges, 49968 markings/sec, 45 secs
lola: 2729105 markings, 2976668 edges, 49756 markings/sec, 50 secs
lola: 2979254 markings, 3249989 edges, 50030 markings/sec, 55 secs
lola: 3228639 markings, 3522342 edges, 49877 markings/sec, 60 secs
lola: 3471681 markings, 3787002 edges, 48608 markings/sec, 65 secs
lola: 3718405 markings, 4056055 edges, 49345 markings/sec, 70 secs
lola: 3963421 markings, 4323146 edges, 49003 markings/sec, 75 secs
lola: 4211122 markings, 4593187 edges, 49540 markings/sec, 80 secs
lola: 4455144 markings, 4859375 edges, 48804 markings/sec, 85 secs
lola: 4704215 markings, 5130974 edges, 49814 markings/sec, 90 secs
lola: 4952458 markings, 5401739 edges, 49649 markings/sec, 95 secs
lola: 5198130 markings, 5669693 edges, 49134 markings/sec, 100 secs
lola: 5446709 markings, 5941182 edges, 49716 markings/sec, 105 secs
lola: 5689778 markings, 6206147 edges, 48614 markings/sec, 110 secs
lola: 5939201 markings, 6478206 edges, 49885 markings/sec, 115 secs
lola: 6189057 markings, 6750731 edges, 49971 markings/sec, 120 secs
lola: 6436853 markings, 7020889 edges, 49559 markings/sec, 125 secs
lola: 6684275 markings, 7290903 edges, 49484 markings/sec, 130 secs
lola: 6930802 markings, 7559445 edges, 49305 markings/sec, 135 secs
lola: 7178659 markings, 7829695 edges, 49571 markings/sec, 140 secs
lola: 7425356 markings, 8098988 edges, 49339 markings/sec, 145 secs
lola: 7672881 markings, 8368931 edges, 49505 markings/sec, 150 secs
lola: 7920195 markings, 8638694 edges, 49463 markings/sec, 155 secs
lola: 8172891 markings, 8914679 edges, 50539 markings/sec, 160 secs
lola: 8425616 markings, 9190396 edges, 50545 markings/sec, 165 secs
lola: 8677197 markings, 9464989 edges, 50316 markings/sec, 170 secs
lola: 8926235 markings, 9736701 edges, 49808 markings/sec, 175 secs
lola: 9175819 markings, 10008975 edges, 49917 markings/sec, 180 secs
lola: 9428383 markings, 10284729 edges, 50513 markings/sec, 185 secs
lola: 9679151 markings, 10557962 edges, 50154 markings/sec, 190 secs
lola: 9931434 markings, 10832891 edges, 50457 markings/sec, 195 secs
lola: 10183848 markings, 11108135 edges, 50483 markings/sec, 200 secs
lola: 10435464 markings, 11382780 edges, 50323 markings/sec, 205 secs
lola: 10686587 markings, 11656872 edges, 50225 markings/sec, 210 secs
lola: 10936772 markings, 11929500 edges, 50037 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(p2005)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 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: 133381 markings, 151560 edges, 26676 markings/sec, 0 secs
lola: 261410 markings, 296670 edges, 25606 markings/sec, 5 secs
lola: 384424 markings, 435704 edges, 24603 markings/sec, 10 secs
lola: 506880 markings, 574135 edges, 24491 markings/sec, 15 secs
lola: 630170 markings, 713647 edges, 24658 markings/sec, 20 secs
lola: 754686 markings, 854790 edges, 24903 markings/sec, 25 secs
lola: 879463 markings, 996209 edges, 24955 markings/sec, 30 secs
lola: 1003518 markings, 1137032 edges, 24811 markings/sec, 35 secs
lola: 1126467 markings, 1276312 edges, 24590 markings/sec, 40 secs
lola: 1249694 markings, 1415882 edges, 24645 markings/sec, 45 secs
lola: 1374662 markings, 1557520 edges, 24994 markings/sec, 50 secs
lola: 1498701 markings, 1697825 edges, 24808 markings/sec, 55 secs
lola: 1623799 markings, 1839249 edges, 25020 markings/sec, 60 secs
lola: 1748228 markings, 1979767 edges, 24886 markings/sec, 65 secs
lola: 1870343 markings, 2117984 edges, 24423 markings/sec, 70 secs
lola: 1993701 markings, 2257517 edges, 24672 markings/sec, 75 secs
lola: 2118564 markings, 2399017 edges, 24973 markings/sec, 80 secs
lola: 2245173 markings, 2542685 edges, 25322 markings/sec, 85 secs
lola: 2369722 markings, 2683881 edges, 24910 markings/sec, 90 secs
lola: 2493426 markings, 2823881 edges, 24741 markings/sec, 95 secs
lola: 2614643 markings, 2960903 edges, 24243 markings/sec, 100 secs
lola: 2740148 markings, 3103070 edges, 25101 markings/sec, 105 secs
lola: 2863603 markings, 3243118 edges, 24691 markings/sec, 110 secs
lola: 2986958 markings, 3382916 edges, 24671 markings/sec, 115 secs
lola: 3112695 markings, 3525322 edges, 25147 markings/sec, 120 secs
lola: 3236511 markings, 3665667 edges, 24763 markings/sec, 125 secs
lola: 3360560 markings, 3806245 edges, 24810 markings/sec, 130 secs
lola: 3485923 markings, 3948058 edges, 25073 markings/sec, 135 secs
lola: 3611836 markings, 4090824 edges, 25183 markings/sec, 140 secs
lola: 3737634 markings, 4233506 edges, 25160 markings/sec, 145 secs
lola: 3862877 markings, 4375209 edges, 25049 markings/sec, 150 secs
lola: 3985771 markings, 4514204 edges, 24579 markings/sec, 155 secs
lola: 4111186 markings, 4656218 edges, 25083 markings/sec, 160 secs
lola: 4235663 markings, 4797138 edges, 24895 markings/sec, 165 secs
lola: 4361152 markings, 4939363 edges, 25098 markings/sec, 170 secs
lola: 4486082 markings, 5080869 edges, 24986 markings/sec, 175 secs
lola: 4609714 markings, 5220807 edges, 24726 markings/sec, 180 secs
lola: 4732039 markings, 5359068 edges, 24465 markings/sec, 185 secs
lola: 4853646 markings, 5496598 edges, 24321 markings/sec, 190 secs
lola: 4976223 markings, 5635333 edges, 24515 markings/sec, 195 secs
lola: 5100685 markings, 5776402 edges, 24892 markings/sec, 200 secs
lola: 5222970 markings, 5915098 edges, 24457 markings/sec, 205 secs
lola: 5347059 markings, 6055706 edges, 24818 markings/sec, 210 secs
lola: 5471912 markings, 6197316 edges, 24971 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(p995)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 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: 221845 markings, 246214 edges, 44369 markings/sec, 0 secs
lola: 445143 markings, 493689 edges, 44660 markings/sec, 5 secs
lola: 669432 markings, 741820 edges, 44858 markings/sec, 10 secs
lola: 890213 markings, 987115 edges, 44156 markings/sec, 15 secs
lola: 1111902 markings, 1233729 edges, 44338 markings/sec, 20 secs
lola: 1331058 markings, 1477317 edges, 43831 markings/sec, 25 secs
lola: 1550957 markings, 1721633 edges, 43980 markings/sec, 30 secs
lola: 1767750 markings, 1962988 edges, 43359 markings/sec, 35 secs
lola: 1989863 markings, 2209820 edges, 44423 markings/sec, 40 secs
lola: 2210921 markings, 2455145 edges, 44212 markings/sec, 45 secs
lola: 2426920 markings, 2695336 edges, 43200 markings/sec, 50 secs
lola: 2648331 markings, 2941432 edges, 44282 markings/sec, 55 secs
lola: 2869780 markings, 3187339 edges, 44290 markings/sec, 60 secs
lola: 3088226 markings, 3430182 edges, 43689 markings/sec, 65 secs
lola: 3307871 markings, 3673695 edges, 43929 markings/sec, 70 secs
lola: 3527234 markings, 3917607 edges, 43873 markings/sec, 75 secs
lola: 3751173 markings, 4166427 edges, 44788 markings/sec, 80 secs
lola: 3973905 markings, 4413571 edges, 44546 markings/sec, 85 secs
lola: 4197066 markings, 4661574 edges, 44632 markings/sec, 90 secs
lola: 4419168 markings, 4908036 edges, 44420 markings/sec, 95 secs
lola: 4637767 markings, 5151047 edges, 43720 markings/sec, 100 secs
lola: 4856794 markings, 5394772 edges, 43805 markings/sec, 105 secs
lola: 5079410 markings, 5641574 edges, 44523 markings/sec, 110 secs
lola: 5299210 markings, 5885975 edges, 43960 markings/sec, 115 secs
lola: 5521507 markings, 6132700 edges, 44459 markings/sec, 120 secs
lola: 5739907 markings, 6375714 edges, 43680 markings/sec, 125 secs
lola: 5958697 markings, 6618841 edges, 43758 markings/sec, 130 secs
lola: 6175151 markings, 6859776 edges, 43291 markings/sec, 135 secs
lola: 6395309 markings, 7104197 edges, 44032 markings/sec, 140 secs
lola: 6618213 markings, 7351833 edges, 44581 markings/sec, 145 secs
lola: 6840093 markings, 7598363 edges, 44376 markings/sec, 150 secs
lola: 7059168 markings, 7841569 edges, 43815 markings/sec, 155 secs
lola: 7277783 markings, 8084489 edges, 43723 markings/sec, 160 secs
lola: 7497456 markings, 8328725 edges, 43935 markings/sec, 165 secs
lola: 7714487 markings, 8570334 edges, 43406 markings/sec, 170 secs
lola: 7932786 markings, 8813175 edges, 43660 markings/sec, 175 secs
lola: 8151447 markings, 9056965 edges, 43732 markings/sec, 180 secs
lola: 8371799 markings, 9301614 edges, 44070 markings/sec, 185 secs
lola: 8591189 markings, 9545740 edges, 43878 markings/sec, 190 secs
lola: 8813099 markings, 9792026 edges, 44382 markings/sec, 195 secs
lola: 9032295 markings, 10035517 edges, 43839 markings/sec, 200 secs
lola: 9251787 markings, 10279098 edges, 43898 markings/sec, 205 secs
lola: 9473082 markings, 10524804 edges, 44259 markings/sec, 210 secs
lola: 9696149 markings, 10772698 edges, 44613 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(p888)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 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: 229082 markings, 253115 edges, 45816 markings/sec, 0 secs
lola: 459635 markings, 507498 edges, 46111 markings/sec, 5 secs
lola: 689292 markings, 760963 edges, 45931 markings/sec, 10 secs
lola: 918683 markings, 1014113 edges, 45878 markings/sec, 15 secs
lola: 1148451 markings, 1267901 edges, 45954 markings/sec, 20 secs
lola: 1375191 markings, 1517835 edges, 45348 markings/sec, 25 secs
lola: 1604505 markings, 1771335 edges, 45863 markings/sec, 30 secs
lola: 1833863 markings, 2024781 edges, 45872 markings/sec, 35 secs
lola: 2062303 markings, 2277041 edges, 45688 markings/sec, 40 secs
lola: 2289086 markings, 2527055 edges, 45357 markings/sec, 45 secs
lola: 2516944 markings, 2778776 edges, 45572 markings/sec, 50 secs
lola: 2743504 markings, 3028637 edges, 45312 markings/sec, 55 secs
lola: 2973262 markings, 3282321 edges, 45952 markings/sec, 60 secs
lola: 3201533 markings, 3534171 edges, 45654 markings/sec, 65 secs
lola: 3428898 markings, 3785180 edges, 45473 markings/sec, 70 secs
lola: 3655256 markings, 4035196 edges, 45272 markings/sec, 75 secs
lola: 3881259 markings, 4284923 edges, 45201 markings/sec, 80 secs
lola: 4107827 markings, 4534936 edges, 45314 markings/sec, 85 secs
lola: 4333344 markings, 4783497 edges, 45103 markings/sec, 90 secs
lola: 4561681 markings, 5035580 edges, 45667 markings/sec, 95 secs
lola: 4788617 markings, 5286244 edges, 45387 markings/sec, 100 secs
lola: 5015208 markings, 5536451 edges, 45318 markings/sec, 105 secs
lola: 5240840 markings, 5785711 edges, 45126 markings/sec, 110 secs
lola: 5465348 markings, 6033707 edges, 44902 markings/sec, 115 secs
lola: 5690493 markings, 6282178 edges, 45029 markings/sec, 120 secs
lola: 5915824 markings, 6530943 edges, 45066 markings/sec, 125 secs
lola: 6142975 markings, 6781703 edges, 45430 markings/sec, 130 secs
lola: 6370334 markings, 7032546 edges, 45472 markings/sec, 135 secs
lola: 6595678 markings, 7281556 edges, 45069 markings/sec, 140 secs
lola: 6821139 markings, 7530640 edges, 45092 markings/sec, 145 secs
lola: 7049032 markings, 7782117 edges, 45579 markings/sec, 150 secs
lola: 7275048 markings, 8031651 edges, 45203 markings/sec, 155 secs
lola: 7501367 markings, 8281706 edges, 45264 markings/sec, 160 secs
lola: 7729563 markings, 8533564 edges, 45639 markings/sec, 165 secs
lola: 7956049 markings, 8783471 edges, 45297 markings/sec, 170 secs
lola: 8182040 markings, 9033409 edges, 45198 markings/sec, 175 secs
lola: 8408490 markings, 9283483 edges, 45290 markings/sec, 180 secs
lola: 8634072 markings, 9532455 edges, 45116 markings/sec, 185 secs
lola: 8857990 markings, 9779369 edges, 44784 markings/sec, 190 secs
lola: 9083205 markings, 10028046 edges, 45043 markings/sec, 195 secs
lola: 9307093 markings, 10275299 edges, 44778 markings/sec, 200 secs
lola: 9532361 markings, 10524105 edges, 45054 markings/sec, 205 secs
lola: 9759929 markings, 10775259 edges, 45514 markings/sec, 210 secs
lola: 9989909 markings, 11029458 edges, 45996 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(p1088)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 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: 234318 markings, 258519 edges, 46864 markings/sec, 0 secs
lola: 474204 markings, 522696 edges, 47977 markings/sec, 5 secs
lola: 712534 markings, 785248 edges, 47666 markings/sec, 10 secs
lola: 949438 markings, 1046214 edges, 47381 markings/sec, 15 secs
lola: 1186911 markings, 1307991 edges, 47495 markings/sec, 20 secs
lola: 1421609 markings, 1566489 edges, 46940 markings/sec, 25 secs
lola: 1658481 markings, 1828126 edges, 47374 markings/sec, 30 secs
lola: 1894528 markings, 2087993 edges, 47209 markings/sec, 35 secs
lola: 2129347 markings, 2346952 edges, 46964 markings/sec, 40 secs
lola: 2365363 markings, 2606652 edges, 47203 markings/sec, 45 secs
lola: 2600351 markings, 2865876 edges, 46998 markings/sec, 50 secs
lola: 2836491 markings, 3125794 edges, 47228 markings/sec, 55 secs
lola: 3072788 markings, 3386285 edges, 47259 markings/sec, 60 secs
lola: 3312187 markings, 3650085 edges, 47880 markings/sec, 65 secs
lola: 3549610 markings, 3911575 edges, 47485 markings/sec, 70 secs
lola: 3785704 markings, 4172216 edges, 47219 markings/sec, 75 secs
lola: 4023486 markings, 4434198 edges, 47556 markings/sec, 80 secs
lola: 4259690 markings, 4694188 edges, 47241 markings/sec, 85 secs
lola: 4498514 markings, 4957282 edges, 47765 markings/sec, 90 secs
lola: 4736323 markings, 5219419 edges, 47562 markings/sec, 95 secs
lola: 4973175 markings, 5480599 edges, 47370 markings/sec, 100 secs
lola: 5208671 markings, 5740173 edges, 47099 markings/sec, 105 secs
lola: 5443478 markings, 5998980 edges, 46961 markings/sec, 110 secs
lola: 5679193 markings, 6258797 edges, 47143 markings/sec, 115 secs
lola: 5914516 markings, 6517907 edges, 47065 markings/sec, 120 secs
lola: 6153395 markings, 6781355 edges, 47776 markings/sec, 125 secs
lola: 6392340 markings, 7044555 edges, 47789 markings/sec, 130 secs
lola: 6627972 markings, 7304448 edges, 47126 markings/sec, 135 secs
lola: 6865333 markings, 7566695 edges, 47472 markings/sec, 140 secs
lola: 7101552 markings, 7827459 edges, 47244 markings/sec, 145 secs
lola: 7340685 markings, 8091191 edges, 47827 markings/sec, 150 secs
lola: 7581077 markings, 8356345 edges, 48078 markings/sec, 155 secs
lola: 7822955 markings, 8623115 edges, 48376 markings/sec, 160 secs
lola: 8061778 markings, 8886539 edges, 47765 markings/sec, 165 secs
lola: 8301548 markings, 9150651 edges, 47954 markings/sec, 170 secs
lola: 8541753 markings, 9415857 edges, 48041 markings/sec, 175 secs
lola: 8780777 markings, 9679429 edges, 47805 markings/sec, 180 secs
lola: 9018323 markings, 9941008 edges, 47509 markings/sec, 185 secs
lola: 9256392 markings, 10203862 edges, 47614 markings/sec, 190 secs
lola: 9494266 markings, 10466592 edges, 47575 markings/sec, 195 secs
lola: 9728789 markings, 10725451 edges, 46905 markings/sec, 200 secs
lola: 9967810 markings, 10990302 edges, 47804 markings/sec, 205 secs
lola: 10206117 markings, 11253176 edges, 47661 markings/sec, 210 secs
lola: 10444605 markings, 11516123 edges, 47698 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(p1033)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 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: 222454 markings, 251103 edges, 44491 markings/sec, 0 secs
lola: 446330 markings, 504138 edges, 44775 markings/sec, 5 secs
lola: 669153 markings, 755829 edges, 44565 markings/sec, 10 secs
lola: 891947 markings, 1007228 edges, 44559 markings/sec, 15 secs
lola: 1112489 markings, 1256164 edges, 44108 markings/sec, 20 secs
lola: 1336419 markings, 1509077 edges, 44786 markings/sec, 25 secs
lola: 1560049 markings, 1761946 edges, 44726 markings/sec, 30 secs
lola: 1783287 markings, 2013913 edges, 44648 markings/sec, 35 secs
lola: 2005238 markings, 2264406 edges, 44390 markings/sec, 40 secs
lola: 2227328 markings, 2515244 edges, 44418 markings/sec, 45 secs
lola: 2452247 markings, 2769239 edges, 44984 markings/sec, 50 secs
lola: 2675836 markings, 3022070 edges, 44718 markings/sec, 55 secs
lola: 2899427 markings, 3274268 edges, 44718 markings/sec, 60 secs
lola: 3120857 markings, 3523995 edges, 44286 markings/sec, 65 secs
lola: 3345517 markings, 3777596 edges, 44932 markings/sec, 70 secs
lola: 3571568 markings, 4032952 edges, 45210 markings/sec, 75 secs
lola: 3795897 markings, 4286133 edges, 44866 markings/sec, 80 secs
lola: 4018248 markings, 4536798 edges, 44470 markings/sec, 85 secs
lola: 4243047 markings, 4790748 edges, 44960 markings/sec, 90 secs
lola: 4466729 markings, 5043233 edges, 44736 markings/sec, 95 secs
lola: 4691346 markings, 5296889 edges, 44923 markings/sec, 100 secs
lola: 4918125 markings, 5553002 edges, 45356 markings/sec, 105 secs
lola: 5143988 markings, 5808263 edges, 45173 markings/sec, 110 secs
lola: 5368535 markings, 6061923 edges, 44909 markings/sec, 115 secs
lola: 5593759 markings, 6316279 edges, 45045 markings/sec, 120 secs
lola: 5819232 markings, 6570806 edges, 45095 markings/sec, 125 secs
lola: 6046018 markings, 6826862 edges, 45357 markings/sec, 130 secs
lola: 6273142 markings, 7083344 edges, 45425 markings/sec, 135 secs
lola: 6499722 markings, 7339212 edges, 45316 markings/sec, 140 secs
lola: 6722292 markings, 7590738 edges, 44514 markings/sec, 145 secs
lola: 6951603 markings, 7849709 edges, 45862 markings/sec, 150 secs
lola: 7180959 markings, 8108670 edges, 45871 markings/sec, 155 secs
lola: 7410277 markings, 8367599 edges, 45864 markings/sec, 160 secs
lola: 7637362 markings, 8623983 edges, 45417 markings/sec, 165 secs
lola: 7865394 markings, 8881432 edges, 45606 markings/sec, 170 secs
lola: 8094775 markings, 9140615 edges, 45876 markings/sec, 175 secs
lola: 8320834 markings, 9395858 edges, 45212 markings/sec, 180 secs
lola: 8546012 markings, 9650069 edges, 45036 markings/sec, 185 secs
lola: 8770710 markings, 9903880 edges, 44940 markings/sec, 190 secs
lola: 8998682 markings, 10161270 edges, 45594 markings/sec, 195 secs
lola: 9225082 markings, 10416752 edges, 45280 markings/sec, 200 secs
lola: 9450164 markings, 10670877 edges, 45016 markings/sec, 205 secs
lola: 9672307 markings, 10921669 edges, 44429 markings/sec, 210 secs
lola: 9893508 markings, 11171236 edges, 44240 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p157)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 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: 189154 markings, 235610 edges, 37831 markings/sec, 0 secs
lola: 380472 markings, 474688 edges, 38264 markings/sec, 5 secs
lola: 572221 markings, 714524 edges, 38350 markings/sec, 10 secs
lola: 764153 markings, 954517 edges, 38386 markings/sec, 15 secs
lola: 956128 markings, 1194493 edges, 38395 markings/sec, 20 secs
lola: 1148157 markings, 1434736 edges, 38406 markings/sec, 25 secs
lola: 1341499 markings, 1676381 edges, 38668 markings/sec, 30 secs
lola: 1534654 markings, 1918035 edges, 38631 markings/sec, 35 secs
lola: 1726580 markings, 2158234 edges, 38385 markings/sec, 40 secs
lola: 1914709 markings, 2393159 edges, 37626 markings/sec, 45 secs
lola: 2100472 markings, 2624785 edges, 37153 markings/sec, 50 secs
lola: 2285177 markings, 2855696 edges, 36941 markings/sec, 55 secs
lola: 2470466 markings, 3087098 edges, 37058 markings/sec, 60 secs
lola: 2655890 markings, 3318499 edges, 37085 markings/sec, 65 secs
lola: 2838824 markings, 3546593 edges, 36587 markings/sec, 70 secs
lola: 3023057 markings, 3776382 edges, 36847 markings/sec, 75 secs
lola: 3210661 markings, 4010213 edges, 37521 markings/sec, 80 secs
lola: 3395863 markings, 4241398 edges, 37040 markings/sec, 85 secs
lola: 3580132 markings, 4470926 edges, 36854 markings/sec, 90 secs
lola: 3765167 markings, 4701463 edges, 37007 markings/sec, 95 secs
lola: 3949451 markings, 4931259 edges, 36857 markings/sec, 100 secs
lola: 4134394 markings, 5161981 edges, 36989 markings/sec, 105 secs
lola: 4321258 markings, 5394938 edges, 37373 markings/sec, 110 secs
lola: 4498592 markings, 5615961 edges, 35467 markings/sec, 115 secs
lola: 4674432 markings, 5835377 edges, 35168 markings/sec, 120 secs
lola: 4855891 markings, 6061589 edges, 36292 markings/sec, 125 secs
lola: 5030249 markings, 6279091 edges, 34872 markings/sec, 130 secs
lola: 5208642 markings, 6501712 edges, 35679 markings/sec, 135 secs
lola: 5384085 markings, 6720680 edges, 35089 markings/sec, 140 secs
lola: 5559199 markings, 6939107 edges, 35023 markings/sec, 145 secs
lola: 5734554 markings, 7157455 edges, 35071 markings/sec, 150 secs
lola: 5915685 markings, 7383515 edges, 36226 markings/sec, 155 secs
lola: 6095791 markings, 7607965 edges, 36021 markings/sec, 160 secs
lola: 6277688 markings, 7835306 edges, 36379 markings/sec, 165 secs
lola: 6464486 markings, 8068232 edges, 37360 markings/sec, 170 secs
lola: 6646723 markings, 8295686 edges, 36447 markings/sec, 175 secs
lola: 6826680 markings, 8520365 edges, 35991 markings/sec, 180 secs
lola: 7011761 markings, 8750954 edges, 37016 markings/sec, 185 secs
lola: 7196371 markings, 8981117 edges, 36922 markings/sec, 190 secs
lola: 7378435 markings, 9208292 edges, 36413 markings/sec, 195 secs
lola: 7564180 markings, 9440109 edges, 37149 markings/sec, 200 secs
lola: 7743496 markings, 9663586 edges, 35863 markings/sec, 205 secs
lola: 7926465 markings, 9891268 edges, 36594 markings/sec, 210 secs
lola: 8108066 markings, 10117727 edges, 36320 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(p855)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 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: 233410 markings, 254290 edges, 46682 markings/sec, 0 secs
lola: 469278 markings, 511676 edges, 47174 markings/sec, 5 secs
lola: 701688 markings, 765538 edges, 46482 markings/sec, 10 secs
lola: 935914 markings, 1021012 edges, 46845 markings/sec, 15 secs
lola: 1170396 markings, 1276582 edges, 46896 markings/sec, 20 secs
lola: 1405760 markings, 1533308 edges, 47073 markings/sec, 25 secs
lola: 1639469 markings, 1788151 edges, 46742 markings/sec, 30 secs
lola: 1872836 markings, 2042673 edges, 46673 markings/sec, 35 secs
lola: 2108653 markings, 2299766 edges, 47163 markings/sec, 40 secs
lola: 2346654 markings, 2559704 edges, 47600 markings/sec, 45 secs
lola: 2580734 markings, 2815010 edges, 46816 markings/sec, 50 secs
lola: 2815912 markings, 3071498 edges, 47036 markings/sec, 55 secs
lola: 3049430 markings, 3326497 edges, 46704 markings/sec, 60 secs
lola: 3284616 markings, 3583385 edges, 47037 markings/sec, 65 secs
lola: 3518958 markings, 3838578 edges, 46868 markings/sec, 70 secs
lola: 3756443 markings, 4097695 edges, 47497 markings/sec, 75 secs
lola: 3989383 markings, 4351836 edges, 46588 markings/sec, 80 secs
lola: 4225405 markings, 4609524 edges, 47204 markings/sec, 85 secs
lola: 4461818 markings, 4867363 edges, 47283 markings/sec, 90 secs
lola: 4697079 markings, 5124211 edges, 47052 markings/sec, 95 secs
lola: 4931876 markings, 5380164 edges, 46959 markings/sec, 100 secs
lola: 5167950 markings, 5638040 edges, 47215 markings/sec, 105 secs
lola: 5402171 markings, 5893724 edges, 46844 markings/sec, 110 secs
lola: 5633159 markings, 6145700 edges, 46198 markings/sec, 115 secs
lola: 5867731 markings, 6401640 edges, 46914 markings/sec, 120 secs
lola: 6099359 markings, 6654128 edges, 46326 markings/sec, 125 secs
lola: 6333651 markings, 6909976 edges, 46858 markings/sec, 130 secs
lola: 6566911 markings, 7164564 edges, 46652 markings/sec, 135 secs
lola: 6799703 markings, 7418553 edges, 46558 markings/sec, 140 secs
lola: 7032346 markings, 7672636 edges, 46529 markings/sec, 145 secs
lola: 7262271 markings, 7923075 edges, 45985 markings/sec, 150 secs
lola: 7497158 markings, 8179396 edges, 46977 markings/sec, 155 secs
lola: 7731830 markings, 8434931 edges, 46934 markings/sec, 160 secs
lola: 7971486 markings, 8696145 edges, 47931 markings/sec, 165 secs
lola: 8209662 markings, 8956088 edges, 47635 markings/sec, 170 secs
lola: 8444367 markings, 9212259 edges, 46941 markings/sec, 175 secs
lola: 8681042 markings, 9470279 edges, 47335 markings/sec, 180 secs
lola: 8920618 markings, 9731973 edges, 47915 markings/sec, 185 secs
lola: 9157115 markings, 9989952 edges, 47299 markings/sec, 190 secs
lola: 9396181 markings, 10250556 edges, 47813 markings/sec, 195 secs
lola: 9640025 markings, 10516519 edges, 48769 markings/sec, 200 secs
lola: 9881938 markings, 10780478 edges, 48383 markings/sec, 205 secs
lola: 10118984 markings, 11039100 edges, 47409 markings/sec, 210 secs
lola: 10359276 markings, 11300814 edges, 48058 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA DLCshifumi-PT-2b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494646059339
--------------------
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-2b"
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-2b.tgz
mv DLCshifumi-PT-2b 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-2b, 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-149436309300452"
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 '
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 ;