About the Execution of LoLA for S_DLCshifumi-PT-2a
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
4152.510 | 3540406.00 | 3556479.00 | 655.40 | ? ? 1 ? ? 1 ? ? 1 ? 1 ? 1 ? 1 ? | 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 S_DLCshifumi-PT-2a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455900443
=====================================================================
--------------------
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-2a-UpperBounds-0
FORMULA_NAME DLCshifumi-PT-2a-UpperBounds-1
FORMULA_NAME DLCshifumi-PT-2a-UpperBounds-10
FORMULA_NAME DLCshifumi-PT-2a-UpperBounds-11
FORMULA_NAME DLCshifumi-PT-2a-UpperBounds-12
FORMULA_NAME DLCshifumi-PT-2a-UpperBounds-13
FORMULA_NAME DLCshifumi-PT-2a-UpperBounds-14
FORMULA_NAME DLCshifumi-PT-2a-UpperBounds-15
FORMULA_NAME DLCshifumi-PT-2a-UpperBounds-2
FORMULA_NAME DLCshifumi-PT-2a-UpperBounds-3
FORMULA_NAME DLCshifumi-PT-2a-UpperBounds-4
FORMULA_NAME DLCshifumi-PT-2a-UpperBounds-5
FORMULA_NAME DLCshifumi-PT-2a-UpperBounds-6
FORMULA_NAME DLCshifumi-PT-2a-UpperBounds-7
FORMULA_NAME DLCshifumi-PT-2a-UpperBounds-8
FORMULA_NAME DLCshifumi-PT-2a-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496465806454
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_DLCshifumi-PT-2a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_DLCshifumi-PT-2a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_DLCshifumi-PT-2a @ 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: 1076/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 188 places, 888 transitions, 109 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 721 transition conflict sets
lola: TASK
lola: reading formula from DLCshifumi-PT-2a-UpperBounds.task
lola: MAX(p61) : MAX(p121) : MAX(p130) : MAX(p74) : MAX(p167) : MAX(p57) : MAX(p147) : MAX(p75) : MAX(p164) : MAX(p113) : MAX(p161) : MAX(p11) : MAX(p82) : MAX(p130) : MAX(p35) : MAX(p68)
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(p61)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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: 124846 markings, 543972 edges, 24969 markings/sec, 0 secs
lola: 245406 markings, 1085813 edges, 24112 markings/sec, 5 secs
lola: 367526 markings, 1618766 edges, 24424 markings/sec, 10 secs
lola: 489636 markings, 2171839 edges, 24422 markings/sec, 15 secs
lola: 611096 markings, 2732735 edges, 24292 markings/sec, 20 secs
lola: 732347 markings, 3288796 edges, 24250 markings/sec, 25 secs
lola: 853079 markings, 3843554 edges, 24146 markings/sec, 30 secs
lola: 973401 markings, 4402895 edges, 24064 markings/sec, 35 secs
lola: 1093695 markings, 4962037 edges, 24059 markings/sec, 40 secs
lola: 1217357 markings, 5511163 edges, 24732 markings/sec, 45 secs
lola: 1341108 markings, 6055070 edges, 24750 markings/sec, 50 secs
lola: 1463594 markings, 6589808 edges, 24497 markings/sec, 55 secs
lola: 1585478 markings, 7137209 edges, 24377 markings/sec, 60 secs
lola: 1707142 markings, 7682667 edges, 24333 markings/sec, 65 secs
lola: 1829407 markings, 8216168 edges, 24453 markings/sec, 70 secs
lola: 1950969 markings, 8754608 edges, 24312 markings/sec, 75 secs
lola: 2071564 markings, 9302520 edges, 24119 markings/sec, 80 secs
lola: 2193016 markings, 9832828 edges, 24290 markings/sec, 85 secs
lola: 2315044 markings, 10364217 edges, 24406 markings/sec, 90 secs
lola: 2435675 markings, 10910425 edges, 24126 markings/sec, 95 secs
lola: 2557396 markings, 11446702 edges, 24344 markings/sec, 100 secs
lola: 2679599 markings, 11981039 edges, 24441 markings/sec, 105 secs
lola: 2800347 markings, 12523124 edges, 24150 markings/sec, 110 secs
lola: 2920940 markings, 13063543 edges, 24119 markings/sec, 115 secs
lola: 3042664 markings, 13597451 edges, 24345 markings/sec, 120 secs
lola: 3163596 markings, 14147164 edges, 24186 markings/sec, 125 secs
lola: 3284722 markings, 14699982 edges, 24225 markings/sec, 130 secs
lola: 3405669 markings, 15257446 edges, 24189 markings/sec, 135 secs
lola: 3526259 markings, 15810730 edges, 24118 markings/sec, 140 secs
lola: 3646829 markings, 16364750 edges, 24114 markings/sec, 145 secs
lola: 3766643 markings, 16924958 edges, 23963 markings/sec, 150 secs
lola: 3886749 markings, 17480385 edges, 24021 markings/sec, 155 secs
lola: 4007179 markings, 18019862 edges, 24086 markings/sec, 160 secs
lola: 4126666 markings, 18567749 edges, 23897 markings/sec, 165 secs
lola: 4245305 markings, 19111294 edges, 23728 markings/sec, 170 secs
lola: 4363808 markings, 19651572 edges, 23701 markings/sec, 175 secs
lola: 4482161 markings, 20197324 edges, 23671 markings/sec, 180 secs
lola: 4600596 markings, 20744489 edges, 23687 markings/sec, 185 secs
lola: 4718917 markings, 21289362 edges, 23664 markings/sec, 190 secs
lola: 4836786 markings, 21839885 edges, 23574 markings/sec, 195 secs
lola: 4954554 markings, 22392443 edges, 23554 markings/sec, 200 secs
lola: 5072881 markings, 22938508 edges, 23665 markings/sec, 205 secs
lola: 5190633 markings, 23488181 edges, 23550 markings/sec, 210 secs
lola: 5308364 markings, 24038962 edges, 23546 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(p121)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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: 67339 markings, 481502 edges, 13468 markings/sec, 0 secs
lola: 134281 markings, 997775 edges, 13388 markings/sec, 5 secs
lola: 200415 markings, 1532684 edges, 13227 markings/sec, 10 secs
lola: 266797 markings, 2051271 edges, 13276 markings/sec, 15 secs
lola: 333547 markings, 2545515 edges, 13350 markings/sec, 20 secs
lola: 399147 markings, 3070299 edges, 13120 markings/sec, 25 secs
lola: 464571 markings, 3604324 edges, 13085 markings/sec, 30 secs
lola: 529986 markings, 4139522 edges, 13083 markings/sec, 35 secs
lola: 594856 markings, 4687757 edges, 12974 markings/sec, 40 secs
lola: 659646 markings, 5238737 edges, 12958 markings/sec, 45 secs
lola: 724879 markings, 5793694 edges, 13047 markings/sec, 50 secs
lola: 790338 markings, 6334486 edges, 13092 markings/sec, 55 secs
lola: 855608 markings, 6884382 edges, 13054 markings/sec, 60 secs
lola: 920817 markings, 7436489 edges, 13042 markings/sec, 65 secs
lola: 985782 markings, 7989557 edges, 12993 markings/sec, 70 secs
lola: 1050454 markings, 8549460 edges, 12934 markings/sec, 75 secs
lola: 1117041 markings, 9041405 edges, 13317 markings/sec, 80 secs
lola: 1183162 markings, 9550982 edges, 13224 markings/sec, 85 secs
lola: 1249700 markings, 10038254 edges, 13308 markings/sec, 90 secs
lola: 1315452 markings, 10546888 edges, 13150 markings/sec, 95 secs
lola: 1380414 markings, 11075267 edges, 12992 markings/sec, 100 secs
lola: 1445223 markings, 11613782 edges, 12962 markings/sec, 105 secs
lola: 1509917 markings, 12154862 edges, 12939 markings/sec, 110 secs
lola: 1575152 markings, 12687291 edges, 13047 markings/sec, 115 secs
lola: 1639751 markings, 13226871 edges, 12920 markings/sec, 120 secs
lola: 1704921 markings, 13754396 edges, 13034 markings/sec, 125 secs
lola: 1769775 markings, 14296214 edges, 12971 markings/sec, 130 secs
lola: 1834188 markings, 14851894 edges, 12883 markings/sec, 135 secs
lola: 1898723 markings, 15398739 edges, 12907 markings/sec, 140 secs
lola: 1963494 markings, 15941207 edges, 12954 markings/sec, 145 secs
lola: 2028180 markings, 16486936 edges, 12937 markings/sec, 150 secs
lola: 2092812 markings, 17033504 edges, 12926 markings/sec, 155 secs
lola: 2157147 markings, 17589074 edges, 12867 markings/sec, 160 secs
lola: 2221309 markings, 18153807 edges, 12832 markings/sec, 165 secs
lola: 2285537 markings, 18718096 edges, 12846 markings/sec, 170 secs
lola: 2349929 markings, 19274325 edges, 12878 markings/sec, 175 secs
lola: 2414005 markings, 19846928 edges, 12815 markings/sec, 180 secs
lola: 2478704 markings, 20397349 edges, 12940 markings/sec, 185 secs
lola: 2542752 markings, 20969265 edges, 12810 markings/sec, 190 secs
lola: 2607201 markings, 21528755 edges, 12890 markings/sec, 195 secs
lola: 2671063 markings, 22098995 edges, 12772 markings/sec, 200 secs
lola: 2735536 markings, 22656866 edges, 12895 markings/sec, 205 secs
lola: 2799432 markings, 23210536 edges, 12779 markings/sec, 210 secs
lola: 2863894 markings, 23769391 edges, 12892 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(p130)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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 3 will run for 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p74)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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: 105992 markings, 438780 edges, 21198 markings/sec, 0 secs
lola: 212324 markings, 878332 edges, 21266 markings/sec, 5 secs
lola: 318089 markings, 1321663 edges, 21153 markings/sec, 10 secs
lola: 423377 markings, 1768590 edges, 21058 markings/sec, 15 secs
lola: 528989 markings, 2201541 edges, 21122 markings/sec, 20 secs
lola: 634098 markings, 2640917 edges, 21022 markings/sec, 25 secs
lola: 738808 markings, 3083670 edges, 20942 markings/sec, 30 secs
lola: 843245 markings, 3529174 edges, 20887 markings/sec, 35 secs
lola: 947534 markings, 3979557 edges, 20858 markings/sec, 40 secs
lola: 1051861 markings, 4425529 edges, 20865 markings/sec, 45 secs
lola: 1159066 markings, 4867498 edges, 21441 markings/sec, 50 secs
lola: 1264863 markings, 5309460 edges, 21159 markings/sec, 55 secs
lola: 1370031 markings, 5749942 edges, 21034 markings/sec, 60 secs
lola: 1474606 markings, 6198466 edges, 20915 markings/sec, 65 secs
lola: 1578879 markings, 6644852 edges, 20855 markings/sec, 70 secs
lola: 1683504 markings, 7081101 edges, 20925 markings/sec, 75 secs
lola: 1788071 markings, 7515779 edges, 20913 markings/sec, 80 secs
lola: 1892407 markings, 7950390 edges, 20867 markings/sec, 85 secs
lola: 1996327 markings, 8391689 edges, 20784 markings/sec, 90 secs
lola: 2100321 markings, 8830950 edges, 20799 markings/sec, 95 secs
lola: 2203920 markings, 9271531 edges, 20720 markings/sec, 100 secs
lola: 2307346 markings, 9714833 edges, 20685 markings/sec, 105 secs
lola: 2410761 markings, 10157212 edges, 20683 markings/sec, 110 secs
lola: 2513839 markings, 10601005 edges, 20616 markings/sec, 115 secs
lola: 2617136 markings, 11045682 edges, 20659 markings/sec, 120 secs
lola: 2720108 markings, 11488692 edges, 20594 markings/sec, 125 secs
lola: 2823415 markings, 11921337 edges, 20661 markings/sec, 130 secs
lola: 2926933 markings, 12348888 edges, 20704 markings/sec, 135 secs
lola: 3030286 markings, 12781828 edges, 20671 markings/sec, 140 secs
lola: 3133222 markings, 13214354 edges, 20587 markings/sec, 145 secs
lola: 3236823 markings, 13641985 edges, 20720 markings/sec, 150 secs
lola: 3340148 markings, 14071953 edges, 20665 markings/sec, 155 secs
lola: 3443474 markings, 14505598 edges, 20665 markings/sec, 160 secs
lola: 3546220 markings, 14942782 edges, 20549 markings/sec, 165 secs
lola: 3648928 markings, 15382409 edges, 20542 markings/sec, 170 secs
lola: 3751488 markings, 15823433 edges, 20512 markings/sec, 175 secs
lola: 3854563 markings, 16257030 edges, 20615 markings/sec, 180 secs
lola: 3958379 markings, 16686777 edges, 20763 markings/sec, 185 secs
lola: 4061716 markings, 17119071 edges, 20667 markings/sec, 190 secs
lola: 4164683 markings, 17556686 edges, 20593 markings/sec, 195 secs
lola: 4267641 markings, 17995852 edges, 20592 markings/sec, 200 secs
lola: 4370348 markings, 18434049 edges, 20541 markings/sec, 205 secs
lola: 4473784 markings, 18862730 edges, 20687 markings/sec, 210 secs
lola: 4576729 markings, 19291635 edges, 20589 markings/sec, 215 secs
lola: 4679551 markings, 19721914 edges, 20564 markings/sec, 220 secs
lola: 4782267 markings, 20155759 edges, 20543 markings/sec, 225 secs
lola: 4884810 markings, 20591996 edges, 20509 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p167)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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 5 will run for 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p57)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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: 96780 markings, 342206 edges, 19356 markings/sec, 0 secs
lola: 193432 markings, 683904 edges, 19330 markings/sec, 5 secs
lola: 288634 markings, 1026250 edges, 19040 markings/sec, 10 secs
lola: 384559 markings, 1375167 edges, 19185 markings/sec, 15 secs
lola: 482210 markings, 1719554 edges, 19530 markings/sec, 20 secs
lola: 579237 markings, 2067621 edges, 19405 markings/sec, 25 secs
lola: 676034 markings, 2418679 edges, 19359 markings/sec, 30 secs
lola: 772557 markings, 2773105 edges, 19305 markings/sec, 35 secs
lola: 869694 markings, 3116647 edges, 19427 markings/sec, 40 secs
lola: 966157 markings, 3461139 edges, 19293 markings/sec, 45 secs
lola: 1062617 markings, 3807434 edges, 19292 markings/sec, 50 secs
lola: 1159448 markings, 4152689 edges, 19366 markings/sec, 55 secs
lola: 1253596 markings, 4487648 edges, 18830 markings/sec, 60 secs
lola: 1349368 markings, 4835139 edges, 19154 markings/sec, 65 secs
lola: 1448051 markings, 5182627 edges, 19737 markings/sec, 70 secs
lola: 1546108 markings, 5529796 edges, 19611 markings/sec, 75 secs
lola: 1643389 markings, 5879705 edges, 19456 markings/sec, 80 secs
lola: 1740342 markings, 6232899 edges, 19391 markings/sec, 85 secs
lola: 1837890 markings, 6578347 edges, 19510 markings/sec, 90 secs
lola: 1935130 markings, 6919760 edges, 19448 markings/sec, 95 secs
lola: 2032001 markings, 7267980 edges, 19374 markings/sec, 100 secs
lola: 2128582 markings, 7621227 edges, 19316 markings/sec, 105 secs
lola: 2225152 markings, 7974218 edges, 19314 markings/sec, 110 secs
lola: 2322405 markings, 8312775 edges, 19451 markings/sec, 115 secs
lola: 2418780 markings, 8656967 edges, 19275 markings/sec, 120 secs
lola: 2514907 markings, 9007214 edges, 19225 markings/sec, 125 secs
lola: 2611005 markings, 9359017 edges, 19220 markings/sec, 130 secs
lola: 2708186 markings, 9699102 edges, 19436 markings/sec, 135 secs
lola: 2804800 markings, 10045786 edges, 19323 markings/sec, 140 secs
lola: 2900871 markings, 10396898 edges, 19214 markings/sec, 145 secs
lola: 2997024 markings, 10746961 edges, 19231 markings/sec, 150 secs
lola: 3093187 markings, 11091409 edges, 19233 markings/sec, 155 secs
lola: 3189678 markings, 11433235 edges, 19298 markings/sec, 160 secs
lola: 3285878 markings, 11777743 edges, 19240 markings/sec, 165 secs
lola: 3381571 markings, 12129033 edges, 19139 markings/sec, 170 secs
lola: 3477834 markings, 12473765 edges, 19253 markings/sec, 175 secs
lola: 3573892 markings, 12811307 edges, 19212 markings/sec, 180 secs
lola: 3669752 markings, 13155502 edges, 19172 markings/sec, 185 secs
lola: 3765454 markings, 13500696 edges, 19140 markings/sec, 190 secs
lola: 3861385 markings, 13848760 edges, 19186 markings/sec, 195 secs
lola: 3957093 markings, 14199329 edges, 19142 markings/sec, 200 secs
lola: 4052895 markings, 14552680 edges, 19160 markings/sec, 205 secs
lola: 4148721 markings, 14902322 edges, 19165 markings/sec, 210 secs
lola: 4244379 markings, 15258233 edges, 19132 markings/sec, 215 secs
lola: 4340212 markings, 15607374 edges, 19167 markings/sec, 220 secs
lola: 4436106 markings, 15946273 edges, 19179 markings/sec, 225 secs
lola: 4531269 markings, 16284911 edges, 19033 markings/sec, 230 secs
lola: 4626444 markings, 16631980 edges, 19035 markings/sec, 235 secs
lola: 4721532 markings, 16981882 edges, 19018 markings/sec, 240 secs
lola: 4817510 markings, 17323302 edges, 19196 markings/sec, 245 secs
lola: 4913020 markings, 17663023 edges, 19102 markings/sec, 250 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 260 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p147)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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(p75)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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: 125215 markings, 545554 edges, 25043 markings/sec, 0 secs
lola: 248728 markings, 1103156 edges, 24703 markings/sec, 5 secs
lola: 372285 markings, 1648069 edges, 24711 markings/sec, 10 secs
lola: 497455 markings, 2194207 edges, 25034 markings/sec, 15 secs
lola: 620250 markings, 2737358 edges, 24559 markings/sec, 20 secs
lola: 742830 markings, 3272911 edges, 24516 markings/sec, 25 secs
lola: 864560 markings, 3807544 edges, 24346 markings/sec, 30 secs
lola: 986396 markings, 4340060 edges, 24367 markings/sec, 35 secs
lola: 1108465 markings, 4872499 edges, 24414 markings/sec, 40 secs
lola: 1229745 markings, 5408880 edges, 24256 markings/sec, 45 secs
lola: 1351306 markings, 5938849 edges, 24312 markings/sec, 50 secs
lola: 1472500 markings, 6472570 edges, 24239 markings/sec, 55 secs
lola: 1593927 markings, 7003069 edges, 24285 markings/sec, 60 secs
lola: 1716454 markings, 7537775 edges, 24505 markings/sec, 65 secs
lola: 1838343 markings, 8075375 edges, 24378 markings/sec, 70 secs
lola: 1960520 markings, 8614002 edges, 24435 markings/sec, 75 secs
lola: 2082428 markings, 9169944 edges, 24382 markings/sec, 80 secs
lola: 2203784 markings, 9720236 edges, 24271 markings/sec, 85 secs
lola: 2324927 markings, 10275413 edges, 24229 markings/sec, 90 secs
lola: 2446039 markings, 10829464 edges, 24222 markings/sec, 95 secs
lola: 2566667 markings, 11383208 edges, 24126 markings/sec, 100 secs
lola: 2687012 markings, 11936327 edges, 24069 markings/sec, 105 secs
lola: 2806919 markings, 12483291 edges, 23981 markings/sec, 110 secs
lola: 2927186 markings, 13024698 edges, 24053 markings/sec, 115 secs
lola: 3047394 markings, 13554317 edges, 24042 markings/sec, 120 secs
lola: 3166725 markings, 14100635 edges, 23866 markings/sec, 125 secs
lola: 3285732 markings, 14636318 edges, 23801 markings/sec, 130 secs
lola: 3405718 markings, 15171314 edges, 23997 markings/sec, 135 secs
lola: 3525586 markings, 15726972 edges, 23974 markings/sec, 140 secs
lola: 3645023 markings, 16288715 edges, 23887 markings/sec, 145 secs
lola: 3764581 markings, 16847076 edges, 23912 markings/sec, 150 secs
lola: 3884822 markings, 17389344 edges, 24048 markings/sec, 155 secs
lola: 4004485 markings, 17930102 edges, 23933 markings/sec, 160 secs
lola: 4123793 markings, 18474780 edges, 23862 markings/sec, 165 secs
lola: 4242765 markings, 19024132 edges, 23794 markings/sec, 170 secs
lola: 4361693 markings, 19574310 edges, 23786 markings/sec, 175 secs
lola: 4480418 markings, 20122822 edges, 23745 markings/sec, 180 secs
lola: 4599777 markings, 20672479 edges, 23872 markings/sec, 185 secs
lola: 4718874 markings, 21228767 edges, 23819 markings/sec, 190 secs
lola: 4837864 markings, 21785317 edges, 23798 markings/sec, 195 secs
lola: 4956305 markings, 22344178 edges, 23688 markings/sec, 200 secs
lola: 5075043 markings, 22902300 edges, 23748 markings/sec, 205 secs
lola: 5193798 markings, 23458929 edges, 23751 markings/sec, 210 secs
lola: 5312385 markings, 24006617 edges, 23717 markings/sec, 215 secs
lola: 5430323 markings, 24563813 edges, 23588 markings/sec, 220 secs
lola: 5548728 markings, 25112152 edges, 23681 markings/sec, 225 secs
lola: 5666961 markings, 25664981 edges, 23647 markings/sec, 230 secs
lola: 5783896 markings, 26219438 edges, 23387 markings/sec, 235 secs
lola: 5901408 markings, 26772414 edges, 23502 markings/sec, 240 secs
lola: 6019077 markings, 27320867 edges, 23534 markings/sec, 245 secs
lola: 6136378 markings, 27877193 edges, 23460 markings/sec, 250 secs
lola: 6254451 markings, 28428738 edges, 23615 markings/sec, 255 secs
lola: 6372066 markings, 28982455 edges, 23523 markings/sec, 260 secs
lola: 6489290 markings, 29534668 edges, 23445 markings/sec, 265 secs
lola: 6606408 markings, 30080395 edges, 23424 markings/sec, 270 secs
lola: 6723327 markings, 30629847 edges, 23384 markings/sec, 275 secs
lola: 6840310 markings, 31176389 edges, 23397 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 289 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p164)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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 9 will run for 330 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p113)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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: 63824 markings, 667858 edges, 12765 markings/sec, 0 secs
lola: 126822 markings, 1370834 edges, 12600 markings/sec, 5 secs
lola: 190086 markings, 2038826 edges, 12653 markings/sec, 10 secs
lola: 252441 markings, 2729355 edges, 12471 markings/sec, 15 secs
lola: 314459 markings, 3430982 edges, 12404 markings/sec, 20 secs
lola: 376177 markings, 4135068 edges, 12344 markings/sec, 25 secs
lola: 437866 markings, 4837097 edges, 12338 markings/sec, 30 secs
lola: 499339 markings, 5545337 edges, 12295 markings/sec, 35 secs
lola: 560931 markings, 6253648 edges, 12318 markings/sec, 40 secs
lola: 622177 markings, 6972883 edges, 12249 markings/sec, 45 secs
lola: 683295 markings, 7701021 edges, 12224 markings/sec, 50 secs
lola: 744500 markings, 8414190 edges, 12241 markings/sec, 55 secs
lola: 806202 markings, 9111251 edges, 12340 markings/sec, 60 secs
lola: 868785 markings, 9782281 edges, 12517 markings/sec, 65 secs
lola: 930967 markings, 10448559 edges, 12436 markings/sec, 70 secs
lola: 992569 markings, 11121276 edges, 12320 markings/sec, 75 secs
lola: 1053689 markings, 11810194 edges, 12224 markings/sec, 80 secs
lola: 1114162 markings, 12499450 edges, 12095 markings/sec, 85 secs
lola: 1174958 markings, 13185640 edges, 12159 markings/sec, 90 secs
lola: 1235292 markings, 13876049 edges, 12067 markings/sec, 95 secs
lola: 1295257 markings, 14571052 edges, 11993 markings/sec, 100 secs
lola: 1355112 markings, 15268923 edges, 11971 markings/sec, 105 secs
lola: 1414958 markings, 15969568 edges, 11969 markings/sec, 110 secs
lola: 1474694 markings, 16666607 edges, 11947 markings/sec, 115 secs
lola: 1534706 markings, 17368914 edges, 12002 markings/sec, 120 secs
lola: 1594504 markings, 18074382 edges, 11960 markings/sec, 125 secs
lola: 1653940 markings, 18774389 edges, 11887 markings/sec, 130 secs
lola: 1713460 markings, 19485635 edges, 11904 markings/sec, 135 secs
lola: 1773067 markings, 20193894 edges, 11921 markings/sec, 140 secs
lola: 1832579 markings, 20903036 edges, 11902 markings/sec, 145 secs
lola: 1892305 markings, 21607499 edges, 11945 markings/sec, 150 secs
lola: 1951904 markings, 22305033 edges, 11920 markings/sec, 155 secs
lola: 2011283 markings, 23004440 edges, 11876 markings/sec, 160 secs
lola: 2070659 markings, 23703901 edges, 11875 markings/sec, 165 secs
lola: 2129756 markings, 24411519 edges, 11819 markings/sec, 170 secs
lola: 2189445 markings, 25114604 edges, 11938 markings/sec, 175 secs
lola: 2248944 markings, 25821219 edges, 11900 markings/sec, 180 secs
lola: 2308252 markings, 26518723 edges, 11862 markings/sec, 185 secs
lola: 2367488 markings, 27217345 edges, 11847 markings/sec, 190 secs
lola: 2426852 markings, 27928600 edges, 11873 markings/sec, 195 secs
lola: 2486380 markings, 28633924 edges, 11906 markings/sec, 200 secs
lola: 2545977 markings, 29351788 edges, 11919 markings/sec, 205 secs
lola: 2605773 markings, 30062706 edges, 11959 markings/sec, 210 secs
lola: 2665424 markings, 30771392 edges, 11930 markings/sec, 215 secs
lola: 2725312 markings, 31472649 edges, 11978 markings/sec, 220 secs
lola: 2786109 markings, 32155596 edges, 12159 markings/sec, 225 secs
lola: 2847346 markings, 32819086 edges, 12247 markings/sec, 230 secs
lola: 2908186 markings, 33479189 edges, 12168 markings/sec, 235 secs
lola: 2968520 markings, 34128401 edges, 12067 markings/sec, 240 secs
lola: 3028512 markings, 34803652 edges, 11998 markings/sec, 245 secs
lola: 3088463 markings, 35478503 edges, 11990 markings/sec, 250 secs
lola: 3148366 markings, 36153784 edges, 11981 markings/sec, 255 secs
lola: 3207802 markings, 36837320 edges, 11887 markings/sec, 260 secs
lola: 3267274 markings, 37529774 edges, 11894 markings/sec, 265 secs
lola: 3326595 markings, 38221533 edges, 11864 markings/sec, 270 secs
lola: 3386300 markings, 38901407 edges, 11941 markings/sec, 275 secs
lola: 3448173 markings, 39565323 edges, 12375 markings/sec, 280 secs
lola: 3509592 markings, 40214223 edges, 12284 markings/sec, 285 secs
lola: 3570571 markings, 40883932 edges, 12196 markings/sec, 290 secs
lola: 3630857 markings, 41564361 edges, 12057 markings/sec, 295 secs
lola: 3691219 markings, 42246670 edges, 12072 markings/sec, 300 secs
lola: 3751153 markings, 42924786 edges, 11987 markings/sec, 305 secs
lola: 3810789 markings, 43601239 edges, 11927 markings/sec, 310 secs
lola: 3870058 markings, 44287062 edges, 11854 markings/sec, 315 secs
lola: 3929173 markings, 44970842 edges, 11823 markings/sec, 320 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 330 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p161)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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 11 will run for 396 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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: 84962 markings, 342937 edges, 16992 markings/sec, 0 secs
lola: 169608 markings, 684624 edges, 16929 markings/sec, 5 secs
lola: 253804 markings, 1030050 edges, 16839 markings/sec, 10 secs
lola: 337796 markings, 1378803 edges, 16798 markings/sec, 15 secs
lola: 421891 markings, 1717652 edges, 16819 markings/sec, 20 secs
lola: 505581 markings, 2060582 edges, 16738 markings/sec, 25 secs
lola: 589183 markings, 2406649 edges, 16720 markings/sec, 30 secs
lola: 672687 markings, 2755532 edges, 16701 markings/sec, 35 secs
lola: 756741 markings, 3096306 edges, 16811 markings/sec, 40 secs
lola: 840197 markings, 3436131 edges, 16691 markings/sec, 45 secs
lola: 923576 markings, 3778755 edges, 16676 markings/sec, 50 secs
lola: 1007248 markings, 4118799 edges, 16734 markings/sec, 55 secs
lola: 1091133 markings, 4458993 edges, 16777 markings/sec, 60 secs
lola: 1174582 markings, 4803114 edges, 16690 markings/sec, 65 secs
lola: 1260037 markings, 5147344 edges, 17091 markings/sec, 70 secs
lola: 1345142 markings, 5491209 edges, 17021 markings/sec, 75 secs
lola: 1430143 markings, 5840208 edges, 17000 markings/sec, 80 secs
lola: 1514545 markings, 6190296 edges, 16880 markings/sec, 85 secs
lola: 1599458 markings, 6535677 edges, 16983 markings/sec, 90 secs
lola: 1684178 markings, 6875581 edges, 16944 markings/sec, 95 secs
lola: 1768574 markings, 7220060 edges, 16879 markings/sec, 100 secs
lola: 1852804 markings, 7571161 edges, 16846 markings/sec, 105 secs
lola: 1936997 markings, 7922346 edges, 16839 markings/sec, 110 secs
lola: 2021658 markings, 8263021 edges, 16932 markings/sec, 115 secs
lola: 2105553 markings, 8602921 edges, 16779 markings/sec, 120 secs
lola: 2189384 markings, 8952141 edges, 16766 markings/sec, 125 secs
lola: 2273148 markings, 9300807 edges, 16753 markings/sec, 130 secs
lola: 2357869 markings, 9640377 edges, 16944 markings/sec, 135 secs
lola: 2442096 markings, 9983748 edges, 16845 markings/sec, 140 secs
lola: 2526029 markings, 10332689 edges, 16787 markings/sec, 145 secs
lola: 2609729 markings, 10682534 edges, 16740 markings/sec, 150 secs
lola: 2693546 markings, 11026848 edges, 16763 markings/sec, 155 secs
lola: 2777701 markings, 11366594 edges, 16831 markings/sec, 160 secs
lola: 2861597 markings, 11710318 edges, 16779 markings/sec, 165 secs
lola: 2945120 markings, 12057254 edges, 16705 markings/sec, 170 secs
lola: 3029035 markings, 12402495 edges, 16783 markings/sec, 175 secs
lola: 3111914 markings, 12735162 edges, 16576 markings/sec, 180 secs
lola: 3194948 markings, 13074794 edges, 16607 markings/sec, 185 secs
lola: 3277685 markings, 13415377 edges, 16547 markings/sec, 190 secs
lola: 3360625 markings, 13757399 edges, 16588 markings/sec, 195 secs
lola: 3443522 markings, 14102205 edges, 16579 markings/sec, 200 secs
lola: 3526396 markings, 14451083 edges, 16575 markings/sec, 205 secs
lola: 3609085 markings, 14799042 edges, 16538 markings/sec, 210 secs
lola: 3691819 markings, 15146567 edges, 16547 markings/sec, 215 secs
lola: 3774367 markings, 15495765 edges, 16510 markings/sec, 220 secs
lola: 3857698 markings, 15833057 edges, 16666 markings/sec, 225 secs
lola: 3939478 markings, 16161455 edges, 16356 markings/sec, 230 secs
lola: 4021798 markings, 16500703 edges, 16464 markings/sec, 235 secs
lola: 4103836 markings, 16848725 edges, 16408 markings/sec, 240 secs
lola: 4186393 markings, 17191065 edges, 16511 markings/sec, 245 secs
lola: 4269245 markings, 17521333 edges, 16570 markings/sec, 250 secs
lola: 4352104 markings, 17863595 edges, 16572 markings/sec, 255 secs
lola: 4434584 markings, 18212039 edges, 16496 markings/sec, 260 secs
lola: 4517425 markings, 18554439 edges, 16568 markings/sec, 265 secs
lola: 4598889 markings, 18894051 edges, 16293 markings/sec, 270 secs
lola: 4680364 markings, 19239068 edges, 16295 markings/sec, 275 secs
lola: 4762552 markings, 19581558 edges, 16438 markings/sec, 280 secs
lola: 4844483 markings, 19927863 edges, 16386 markings/sec, 285 secs
lola: 4926452 markings, 20280306 edges, 16394 markings/sec, 290 secs
lola: 5008592 markings, 20625542 edges, 16428 markings/sec, 295 secs
lola: 5090792 markings, 20971639 edges, 16440 markings/sec, 300 secs
lola: 5174621 markings, 21308683 edges, 16766 markings/sec, 305 secs
lola: 5258134 markings, 21649635 edges, 16703 markings/sec, 310 secs
lola: 5341524 markings, 21991850 edges, 16678 markings/sec, 315 secs
lola: 5424663 markings, 22343247 edges, 16628 markings/sec, 320 secs
lola: 5507844 markings, 22693302 edges, 16636 markings/sec, 325 secs
lola: 5591873 markings, 23029418 edges, 16806 markings/sec, 330 secs
lola: 5675152 markings, 23369108 edges, 16656 markings/sec, 335 secs
lola: 5758518 markings, 23710908 edges, 16673 markings/sec, 340 secs
lola: 5841622 markings, 24056290 edges, 16621 markings/sec, 345 secs
lola: 5924048 markings, 24394766 edges, 16485 markings/sec, 350 secs
lola: 6007018 markings, 24744583 edges, 16594 markings/sec, 355 secs
lola: 6090915 markings, 25088058 edges, 16779 markings/sec, 360 secs
lola: 6174527 markings, 25424473 edges, 16722 markings/sec, 365 secs
lola: 6258115 markings, 25769495 edges, 16718 markings/sec, 370 secs
lola: 6341070 markings, 26121278 edges, 16591 markings/sec, 375 secs
lola: 6425268 markings, 26458409 edges, 16840 markings/sec, 380 secs
lola: 6508955 markings, 26797348 edges, 16737 markings/sec, 385 secs
lola: 6592538 markings, 27141504 edges, 16717 markings/sec, 390 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 396 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p82)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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: 125533 markings, 517328 edges, 25107 markings/sec, 0 secs
lola: 248230 markings, 1047912 edges, 24539 markings/sec, 5 secs
lola: 373209 markings, 1562386 edges, 24996 markings/sec, 10 secs
lola: 496235 markings, 2073773 edges, 24605 markings/sec, 15 secs
lola: 618796 markings, 2588388 edges, 24512 markings/sec, 20 secs
lola: 740104 markings, 3114537 edges, 24262 markings/sec, 25 secs
lola: 861178 markings, 3636052 edges, 24215 markings/sec, 30 secs
lola: 981726 markings, 4161391 edges, 24110 markings/sec, 35 secs
lola: 1101944 markings, 4685711 edges, 24044 markings/sec, 40 secs
lola: 1223522 markings, 5186427 edges, 24316 markings/sec, 45 secs
lola: 1343820 markings, 5695647 edges, 24060 markings/sec, 50 secs
lola: 1464733 markings, 6193128 edges, 24183 markings/sec, 55 secs
lola: 1584313 markings, 6709957 edges, 23916 markings/sec, 60 secs
lola: 1703868 markings, 7222617 edges, 23911 markings/sec, 65 secs
lola: 1823864 markings, 7736038 edges, 23999 markings/sec, 70 secs
lola: 1944714 markings, 8238315 edges, 24170 markings/sec, 75 secs
lola: 2064039 markings, 8754989 edges, 23865 markings/sec, 80 secs
lola: 2183805 markings, 9267315 edges, 23953 markings/sec, 85 secs
lola: 2304041 markings, 9765048 edges, 24047 markings/sec, 90 secs
lola: 2423314 markings, 10281840 edges, 23855 markings/sec, 95 secs
lola: 2542658 markings, 10796856 edges, 23869 markings/sec, 100 secs
lola: 2663070 markings, 11295855 edges, 24082 markings/sec, 105 secs
lola: 2782771 markings, 11805425 edges, 23940 markings/sec, 110 secs
lola: 2901702 markings, 12320623 edges, 23786 markings/sec, 115 secs
lola: 3022381 markings, 12825409 edges, 24136 markings/sec, 120 secs
lola: 3142141 markings, 13333498 edges, 23952 markings/sec, 125 secs
lola: 3261332 markings, 13847118 edges, 23838 markings/sec, 130 secs
lola: 3380396 markings, 14363718 edges, 23813 markings/sec, 135 secs
lola: 3500485 markings, 14876967 edges, 24018 markings/sec, 140 secs
lola: 3621035 markings, 15376497 edges, 24110 markings/sec, 145 secs
lola: 3739834 markings, 15891443 edges, 23760 markings/sec, 150 secs
lola: 3860738 markings, 16388341 edges, 24181 markings/sec, 155 secs
lola: 3980160 markings, 16897571 edges, 23884 markings/sec, 160 secs
lola: 4098971 markings, 17409183 edges, 23762 markings/sec, 165 secs
lola: 4217832 markings, 17927038 edges, 23772 markings/sec, 170 secs
lola: 4336070 markings, 18447131 edges, 23648 markings/sec, 175 secs
lola: 4454909 markings, 18966579 edges, 23768 markings/sec, 180 secs
lola: 4573464 markings, 19490086 edges, 23711 markings/sec, 185 secs
lola: 4692046 markings, 20012268 edges, 23716 markings/sec, 190 secs
lola: 4810148 markings, 20540624 edges, 23620 markings/sec, 195 secs
lola: 4928797 markings, 21066922 edges, 23730 markings/sec, 200 secs
lola: 5045518 markings, 21586420 edges, 23344 markings/sec, 205 secs
lola: 5164218 markings, 22105498 edges, 23740 markings/sec, 210 secs
lola: 5282436 markings, 22625945 edges, 23644 markings/sec, 215 secs
lola: 5400788 markings, 23150251 edges, 23670 markings/sec, 220 secs
lola: 5518602 markings, 23676808 edges, 23563 markings/sec, 225 secs
lola: 5636422 markings, 24194065 edges, 23564 markings/sec, 230 secs
lola: 5754316 markings, 24703316 edges, 23579 markings/sec, 235 secs
lola: 5871954 markings, 25219955 edges, 23528 markings/sec, 240 secs
lola: 5989473 markings, 25737477 edges, 23504 markings/sec, 245 secs
lola: 6107045 markings, 26257756 edges, 23514 markings/sec, 250 secs
lola: 6223646 markings, 26775604 edges, 23320 markings/sec, 255 secs
lola: 6340060 markings, 27290481 edges, 23283 markings/sec, 260 secs
lola: 6456811 markings, 27808806 edges, 23350 markings/sec, 265 secs
lola: 6571097 markings, 28323565 edges, 22857 markings/sec, 270 secs
lola: 6685916 markings, 28829876 edges, 22964 markings/sec, 275 secs
lola: 6798558 markings, 29335385 edges, 22528 markings/sec, 280 secs
lola: 6911986 markings, 29847111 edges, 22686 markings/sec, 285 secs
lola: 7028369 markings, 30360854 edges, 23277 markings/sec, 290 secs
lola: 7142833 markings, 30873014 edges, 22893 markings/sec, 295 secs
lola: 7256228 markings, 31382477 edges, 22679 markings/sec, 300 secs
lola: 7370392 markings, 31885836 edges, 22833 markings/sec, 305 secs
lola: 7484552 markings, 32396126 edges, 22832 markings/sec, 310 secs
lola: 7597017 markings, 32895528 edges, 22493 markings/sec, 315 secs
lola: 7712757 markings, 33414492 edges, 23148 markings/sec, 320 secs
lola: 7829176 markings, 33926838 edges, 23284 markings/sec, 325 secs
lola: 7945291 markings, 34441491 edges, 23223 markings/sec, 330 secs
lola: 8061416 markings, 34963001 edges, 23225 markings/sec, 335 secs
lola: 8176928 markings, 35485706 edges, 23102 markings/sec, 340 secs
lola: 8292578 markings, 35999827 edges, 23130 markings/sec, 345 secs
lola: 8408426 markings, 36520008 edges, 23170 markings/sec, 350 secs
lola: 8524277 markings, 37044231 edges, 23170 markings/sec, 355 secs
lola: 8640375 markings, 37559101 edges, 23220 markings/sec, 360 secs
lola: 8756528 markings, 38075781 edges, 23231 markings/sec, 365 secs
lola: 8872487 markings, 38596053 edges, 23192 markings/sec, 370 secs
lola: 8989198 markings, 39117218 edges, 23342 markings/sec, 375 secs
lola: 9105230 markings, 39642440 edges, 23206 markings/sec, 380 secs
lola: 9220357 markings, 40168391 edges, 23025 markings/sec, 385 secs
lola: 9337192 markings, 40689726 edges, 23367 markings/sec, 390 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 396 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p130)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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 14 will run for 594 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p35)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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: 104507 markings, 443674 edges, 20901 markings/sec, 0 secs
lola: 208922 markings, 887340 edges, 20883 markings/sec, 5 secs
lola: 312818 markings, 1332868 edges, 20779 markings/sec, 10 secs
lola: 415776 markings, 1784391 edges, 20592 markings/sec, 15 secs
lola: 519580 markings, 2224611 edges, 20761 markings/sec, 20 secs
lola: 623474 markings, 2667686 edges, 20779 markings/sec, 25 secs
lola: 727330 markings, 3117694 edges, 20771 markings/sec, 30 secs
lola: 830910 markings, 3568040 edges, 20716 markings/sec, 35 secs
lola: 934781 markings, 4015093 edges, 20774 markings/sec, 40 secs
lola: 1038419 markings, 4453856 edges, 20728 markings/sec, 45 secs
lola: 1141674 markings, 4899130 edges, 20651 markings/sec, 50 secs
lola: 1244826 markings, 5344819 edges, 20630 markings/sec, 55 secs
lola: 1348967 markings, 5788596 edges, 20828 markings/sec, 60 secs
lola: 1452810 markings, 6229919 edges, 20769 markings/sec, 65 secs
lola: 1556963 markings, 6679508 edges, 20831 markings/sec, 70 secs
lola: 1662641 markings, 7127204 edges, 21136 markings/sec, 75 secs
lola: 1767444 markings, 7576049 edges, 20961 markings/sec, 80 secs
lola: 1871667 markings, 8024817 edges, 20845 markings/sec, 85 secs
lola: 1975417 markings, 8476211 edges, 20750 markings/sec, 90 secs
lola: 2079701 markings, 8918990 edges, 20857 markings/sec, 95 secs
lola: 2183565 markings, 9358221 edges, 20773 markings/sec, 100 secs
lola: 2287073 markings, 9803974 edges, 20702 markings/sec, 105 secs
lola: 2390318 markings, 10253883 edges, 20649 markings/sec, 110 secs
lola: 2493611 markings, 10702843 edges, 20659 markings/sec, 115 secs
lola: 2595568 markings, 11134476 edges, 20391 markings/sec, 120 secs
lola: 2696976 markings, 11565393 edges, 20282 markings/sec, 125 secs
lola: 2798865 markings, 12009981 edges, 20378 markings/sec, 130 secs
lola: 2900825 markings, 12453229 edges, 20392 markings/sec, 135 secs
lola: 3002652 markings, 12887395 edges, 20365 markings/sec, 140 secs
lola: 3104948 markings, 13320756 edges, 20459 markings/sec, 145 secs
lola: 3207271 markings, 13767689 edges, 20465 markings/sec, 150 secs
lola: 3309035 markings, 14207520 edges, 20353 markings/sec, 155 secs
lola: 3411029 markings, 14651211 edges, 20399 markings/sec, 160 secs
lola: 3512540 markings, 15084768 edges, 20302 markings/sec, 165 secs
lola: 3613140 markings, 15512800 edges, 20120 markings/sec, 170 secs
lola: 3714765 markings, 15948439 edges, 20325 markings/sec, 175 secs
lola: 3815948 markings, 16391683 edges, 20237 markings/sec, 180 secs
lola: 3917832 markings, 16828535 edges, 20377 markings/sec, 185 secs
lola: 4017599 markings, 17250350 edges, 19953 markings/sec, 190 secs
lola: 4119870 markings, 17689274 edges, 20454 markings/sec, 195 secs
lola: 4221832 markings, 18129480 edges, 20392 markings/sec, 200 secs
lola: 4324113 markings, 18570977 edges, 20456 markings/sec, 205 secs
lola: 4426239 markings, 19014995 edges, 20425 markings/sec, 210 secs
lola: 4528436 markings, 19462217 edges, 20439 markings/sec, 215 secs
lola: 4629156 markings, 19903471 edges, 20144 markings/sec, 220 secs
lola: 4730724 markings, 20348797 edges, 20314 markings/sec, 225 secs
lola: 4832026 markings, 20794031 edges, 20260 markings/sec, 230 secs
lola: 4932348 markings, 21224487 edges, 20064 markings/sec, 235 secs
lola: 5032987 markings, 21650855 edges, 20128 markings/sec, 240 secs
lola: 5133349 markings, 22082494 edges, 20072 markings/sec, 245 secs
lola: 5230235 markings, 22504937 edges, 19377 markings/sec, 250 secs
lola: 5329652 markings, 22940717 edges, 19883 markings/sec, 255 secs
lola: 5430570 markings, 23369471 edges, 20184 markings/sec, 260 secs
lola: 5530744 markings, 23797839 edges, 20035 markings/sec, 265 secs
lola: 5631206 markings, 24235043 edges, 20092 markings/sec, 270 secs
lola: 5731248 markings, 24673282 edges, 20008 markings/sec, 275 secs
lola: 5830803 markings, 25104957 edges, 19911 markings/sec, 280 secs
lola: 5931617 markings, 25544884 edges, 20163 markings/sec, 285 secs
lola: 6032784 markings, 25986291 edges, 20233 markings/sec, 290 secs
lola: 6133803 markings, 26427960 edges, 20204 markings/sec, 295 secs
lola: 6234414 markings, 26872607 edges, 20122 markings/sec, 300 secs
lola: 6333550 markings, 27313969 edges, 19827 markings/sec, 305 secs
lola: 6433691 markings, 27752951 edges, 20028 markings/sec, 310 secs
lola: 6534794 markings, 28195035 edges, 20221 markings/sec, 315 secs
lola: 6636300 markings, 28626281 edges, 20301 markings/sec, 320 secs
lola: 6736086 markings, 29053850 edges, 19957 markings/sec, 325 secs
lola: 6837711 markings, 29489321 edges, 20325 markings/sec, 330 secs
lola: 6938957 markings, 29934014 edges, 20249 markings/sec, 335 secs
lola: 7040269 markings, 30376784 edges, 20262 markings/sec, 340 secs
lola: 7143060 markings, 30817619 edges, 20558 markings/sec, 345 secs
lola: 7245311 markings, 31251364 edges, 20450 markings/sec, 350 secs
lola: 7347504 markings, 31691511 edges, 20439 markings/sec, 355 secs
lola: 7449374 markings, 32131880 edges, 20374 markings/sec, 360 secs
lola: 7551374 markings, 32575703 edges, 20400 markings/sec, 365 secs
lola: 7653863 markings, 33016230 edges, 20498 markings/sec, 370 secs
lola: 7756784 markings, 33450949 edges, 20584 markings/sec, 375 secs
lola: 7858778 markings, 33888913 edges, 20399 markings/sec, 380 secs
lola: 7960916 markings, 34327657 edges, 20428 markings/sec, 385 secs
lola: 8062829 markings, 34769738 edges, 20383 markings/sec, 390 secs
lola: 8164348 markings, 35214429 edges, 20304 markings/sec, 395 secs
lola: 8266673 markings, 35655354 edges, 20465 markings/sec, 400 secs
lola: 8369046 markings, 36089918 edges, 20475 markings/sec, 405 secs
lola: 8471164 markings, 36529332 edges, 20424 markings/sec, 410 secs
lola: 8573047 markings, 36972710 edges, 20377 markings/sec, 415 secs
lola: 8674107 markings, 37413706 edges, 20212 markings/sec, 420 secs
lola: 8774876 markings, 37858648 edges, 20154 markings/sec, 425 secs
lola: 8875392 markings, 38314032 edges, 20103 markings/sec, 430 secs
lola: 8976305 markings, 38761770 edges, 20183 markings/sec, 435 secs
lola: 9076988 markings, 39209625 edges, 20137 markings/sec, 440 secs
lola: 9177758 markings, 39653904 edges, 20154 markings/sec, 445 secs
lola: 9278499 markings, 40091507 edges, 20148 markings/sec, 450 secs
lola: 9379278 markings, 40535066 edges, 20156 markings/sec, 455 secs
lola: 9480698 markings, 40974994 edges, 20284 markings/sec, 460 secs
lola: 9581594 markings, 41418359 edges, 20179 markings/sec, 465 secs
lola: 9684161 markings, 41849927 edges, 20513 markings/sec, 470 secs
lola: 9785651 markings, 42284918 edges, 20298 markings/sec, 475 secs
lola: 9887039 markings, 42724502 edges, 20278 markings/sec, 480 secs
lola: 9988190 markings, 43161424 edges, 20230 markings/sec, 485 secs
lola: 10088620 markings, 43592857 edges, 20086 markings/sec, 490 secs
lola: 10188789 markings, 44018068 edges, 20034 markings/sec, 495 secs
lola: 10290119 markings, 44457290 edges, 20266 markings/sec, 500 secs
lola: 10390092 markings, 44889801 edges, 19995 markings/sec, 505 secs
lola: 10490935 markings, 45327200 edges, 20169 markings/sec, 510 secs
lola: 10591900 markings, 45770728 edges, 20193 markings/sec, 515 secs
lola: 10692497 markings, 46215565 edges, 20119 markings/sec, 520 secs
lola: 10792798 markings, 46658705 edges, 20060 markings/sec, 525 secs
lola: 10893504 markings, 47101210 edges, 20141 markings/sec, 530 secs
lola: 10994189 markings, 47546458 edges, 20137 markings/sec, 535 secs
lola: 11094788 markings, 47987935 edges, 20120 markings/sec, 540 secs
lola: 11195317 markings, 48435479 edges, 20106 markings/sec, 545 secs
lola: 11295687 markings, 48884066 edges, 20074 markings/sec, 550 secs
lola: 11396055 markings, 49330333 edges, 20074 markings/sec, 555 secs
lola: 11496542 markings, 49776412 edges, 20097 markings/sec, 560 secs
lola: 11597131 markings, 50228138 edges, 20118 markings/sec, 565 secs
lola: 11697737 markings, 50674435 edges, 20121 markings/sec, 570 secs
lola: 11798525 markings, 51116203 edges, 20158 markings/sec, 575 secs
lola: 11898645 markings, 51562162 edges, 20024 markings/sec, 580 secs
lola: 11999237 markings, 52005734 edges, 20118 markings/sec, 585 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 595 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p68)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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: 123901 markings, 510280 edges, 24780 markings/sec, 0 secs
lola: 246694 markings, 1032547 edges, 24559 markings/sec, 5 secs
lola: 369585 markings, 1539651 edges, 24578 markings/sec, 10 secs
lola: 491241 markings, 2062467 edges, 24331 markings/sec, 15 secs
lola: 612133 markings, 2591735 edges, 24178 markings/sec, 20 secs
lola: 733457 markings, 3118825 edges, 24265 markings/sec, 25 secs
lola: 854968 markings, 3648278 edges, 24302 markings/sec, 30 secs
lola: 976249 markings, 4183838 edges, 24256 markings/sec, 35 secs
lola: 1097379 markings, 4717390 edges, 24226 markings/sec, 40 secs
lola: 1221803 markings, 5239480 edges, 24885 markings/sec, 45 secs
lola: 1345962 markings, 5756165 edges, 24832 markings/sec, 50 secs
lola: 1469625 markings, 6266484 edges, 24733 markings/sec, 55 secs
lola: 1592078 markings, 6788602 edges, 24491 markings/sec, 60 secs
lola: 1714381 markings, 7306459 edges, 24461 markings/sec, 65 secs
lola: 1837174 markings, 7812509 edges, 24559 markings/sec, 70 secs
lola: 1959219 markings, 8326100 edges, 24409 markings/sec, 75 secs
lola: 2080485 markings, 8846650 edges, 24253 markings/sec, 80 secs
lola: 2202675 markings, 9350206 edges, 24438 markings/sec, 85 secs
lola: 2325239 markings, 9856280 edges, 24513 markings/sec, 90 secs
lola: 2443433 markings, 10364081 edges, 23639 markings/sec, 95 secs
lola: 2565231 markings, 10871569 edges, 24360 markings/sec, 100 secs
lola: 2687113 markings, 11374598 edges, 24376 markings/sec, 105 secs
lola: 2807504 markings, 11886923 edges, 24078 markings/sec, 110 secs
lola: 2927820 markings, 12397792 edges, 24063 markings/sec, 115 secs
lola: 3049463 markings, 12904990 edges, 24329 markings/sec, 120 secs
lola: 3170853 markings, 13428592 edges, 24278 markings/sec, 125 secs
lola: 3292466 markings, 13955119 edges, 24323 markings/sec, 130 secs
lola: 3413620 markings, 14483870 edges, 24231 markings/sec, 135 secs
lola: 3534529 markings, 15018788 edges, 24182 markings/sec, 140 secs
lola: 3655499 markings, 15542058 edges, 24194 markings/sec, 145 secs
lola: 3775922 markings, 16070577 edges, 24085 markings/sec, 150 secs
lola: 3894819 markings, 16598590 edges, 23779 markings/sec, 155 secs
lola: 4015186 markings, 17131782 edges, 24073 markings/sec, 160 secs
lola: 4135144 markings, 17665541 edges, 23992 markings/sec, 165 secs
lola: 4255160 markings, 18192378 edges, 24003 markings/sec, 170 secs
lola: 4375237 markings, 18725104 edges, 24015 markings/sec, 175 secs
lola: 4494887 markings, 19258616 edges, 23930 markings/sec, 180 secs
lola: 4615188 markings, 19773010 edges, 24060 markings/sec, 185 secs
lola: 4734396 markings, 20286676 edges, 23842 markings/sec, 190 secs
lola: 4853995 markings, 20805660 edges, 23920 markings/sec, 195 secs
lola: 4973485 markings, 21328872 edges, 23898 markings/sec, 200 secs
lola: 5092834 markings, 21860944 edges, 23870 markings/sec, 205 secs
lola: 5212367 markings, 22394509 edges, 23907 markings/sec, 210 secs
lola: 5331633 markings, 22929021 edges, 23853 markings/sec, 215 secs
lola: 5451215 markings, 23456426 edges, 23916 markings/sec, 220 secs
lola: 5570398 markings, 23993449 edges, 23837 markings/sec, 225 secs
lola: 5690024 markings, 24520118 edges, 23925 markings/sec, 230 secs
lola: 5809334 markings, 25048946 edges, 23862 markings/sec, 235 secs
lola: 5928785 markings, 25570244 edges, 23890 markings/sec, 240 secs
lola: 6047720 markings, 26094351 edges, 23787 markings/sec, 245 secs
lola: 6166301 markings, 26621805 edges, 23716 markings/sec, 250 secs
lola: 6285282 markings, 27142784 edges, 23796 markings/sec, 255 secs
lola: 6403560 markings, 27672681 edges, 23656 markings/sec, 260 secs
lola: 6522036 markings, 28201927 edges, 23695 markings/sec, 265 secs
lola: 6641091 markings, 28724757 edges, 23811 markings/sec, 270 secs
lola: 6759894 markings, 29253840 edges, 23761 markings/sec, 275 secs
lola: 6878451 markings, 29779853 edges, 23711 markings/sec, 280 secs
lola: 6996903 markings, 30310696 edges, 23690 markings/sec, 285 secs
lola: 7115773 markings, 30838217 edges, 23774 markings/sec, 290 secs
lola: 7234257 markings, 31370964 edges, 23697 markings/sec, 295 secs
lola: 7353030 markings, 31895824 edges, 23755 markings/sec, 300 secs
lola: 7471271 markings, 32428191 edges, 23648 markings/sec, 305 secs
lola: 7589385 markings, 32962144 edges, 23623 markings/sec, 310 secs
lola: 7707838 markings, 33494071 edges, 23691 markings/sec, 315 secs
lola: 7826067 markings, 34025542 edges, 23646 markings/sec, 320 secs
lola: 7944162 markings, 34557215 edges, 23619 markings/sec, 325 secs
lola: 8062462 markings, 35089148 edges, 23660 markings/sec, 330 secs
lola: 8181022 markings, 35617418 edges, 23712 markings/sec, 335 secs
lola: 8299812 markings, 36144841 edges, 23758 markings/sec, 340 secs
lola: 8418424 markings, 36669376 edges, 23722 markings/sec, 345 secs
lola: 8536469 markings, 37199926 edges, 23609 markings/sec, 350 secs
lola: 8654291 markings, 37736685 edges, 23564 markings/sec, 355 secs
lola: 8772428 markings, 38263630 edges, 23627 markings/sec, 360 secs
lola: 8889835 markings, 38783452 edges, 23481 markings/sec, 365 secs
lola: 9007011 markings, 39309379 edges, 23435 markings/sec, 370 secs
lola: 9124046 markings, 39835805 edges, 23407 markings/sec, 375 secs
lola: 9241399 markings, 40360482 edges, 23471 markings/sec, 380 secs
lola: 9358623 markings, 40882195 edges, 23445 markings/sec, 385 secs
lola: 9475395 markings, 41408367 edges, 23354 markings/sec, 390 secs
lola: 9593849 markings, 41913300 edges, 23691 markings/sec, 395 secs
lola: 9712440 markings, 42416505 edges, 23718 markings/sec, 400 secs
lola: 9830967 markings, 42910760 edges, 23705 markings/sec, 405 secs
lola: 9948999 markings, 43405841 edges, 23606 markings/sec, 410 secs
lola: 10066415 markings, 43914767 edges, 23483 markings/sec, 415 secs
lola: 10184060 markings, 44426550 edges, 23529 markings/sec, 420 secs
lola: 10303754 markings, 44930041 edges, 23939 markings/sec, 425 secs
lola: 10423017 markings, 45434333 edges, 23853 markings/sec, 430 secs
lola: 10541349 markings, 45948443 edges, 23666 markings/sec, 435 secs
lola: 10658898 markings, 46462279 edges, 23510 markings/sec, 440 secs
lola: 10777178 markings, 46961137 edges, 23656 markings/sec, 445 secs
lola: 10895595 markings, 47458795 edges, 23683 markings/sec, 450 secs
lola: 11013203 markings, 47966512 edges, 23522 markings/sec, 455 secs
lola: 11131155 markings, 48479564 edges, 23590 markings/sec, 460 secs
lola: 11248694 markings, 48995970 edges, 23508 markings/sec, 465 secs
lola: 11366707 markings, 49511333 edges, 23603 markings/sec, 470 secs
lola: 11483977 markings, 50043546 edges, 23454 markings/sec, 475 secs
lola: 11601470 markings, 50573241 edges, 23499 markings/sec, 480 secs
lola: 11719127 markings, 51104918 edges, 23531 markings/sec, 485 secs
lola: 11837185 markings, 51634572 edges, 23612 markings/sec, 490 secs
lola: 11955248 markings, 52162208 edges, 23613 markings/sec, 495 secs
lola: 12072882 markings, 52697551 edges, 23527 markings/sec, 500 secs
lola: 12190731 markings, 53227012 edges, 23570 markings/sec, 505 secs
lola: 12308181 markings, 53760409 edges, 23490 markings/sec, 510 secs
lola: 12425954 markings, 54295478 edges, 23555 markings/sec, 515 secs
lola: 12543804 markings, 54820726 edges, 23570 markings/sec, 520 secs
lola: 12661759 markings, 55350236 edges, 23591 markings/sec, 525 secs
lola: 12779348 markings, 55883820 edges, 23518 markings/sec, 530 secs
lola: 12897153 markings, 56412445 edges, 23561 markings/sec, 535 secs
lola: 13014173 markings, 56951344 edges, 23404 markings/sec, 540 secs
lola: 13131301 markings, 57480680 edges, 23426 markings/sec, 545 secs
lola: 13249089 markings, 58007944 edges, 23558 markings/sec, 550 secs
lola: 13366917 markings, 58537631 edges, 23566 markings/sec, 555 secs
lola: 13485001 markings, 59053446 edges, 23617 markings/sec, 560 secs
lola: 13603246 markings, 59561180 edges, 23649 markings/sec, 565 secs
lola: 13721018 markings, 60079430 edges, 23554 markings/sec, 570 secs
lola: 13838768 markings, 60603187 edges, 23550 markings/sec, 575 secs
lola: 13956231 markings, 61125897 edges, 23493 markings/sec, 580 secs
lola: 14073961 markings, 61650807 edges, 23546 markings/sec, 585 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown 1 unknown 1 unknown 1 unknown 1 unknown unknown 1 unknown
FORMULA DLCshifumi-PT-2a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-4 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-8 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496469346860
--------------------
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="S_DLCshifumi-PT-2a"
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/S_DLCshifumi-PT-2a.tgz
mv S_DLCshifumi-PT-2a 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 S_DLCshifumi-PT-2a, 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 r098-ebro-149488455900443"
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 ;