About the Execution of LoLA for S_AutoFlight-PT-12a
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1590.420 | 3540222.00 | 3550683.00 | 210.00 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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-3254
Executing tool lola
Input is S_AutoFlight-PT-12a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-149441074200218
=====================================================================
--------------------
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 AutoFlight-PT-12a-UpperBounds-0
FORMULA_NAME AutoFlight-PT-12a-UpperBounds-1
FORMULA_NAME AutoFlight-PT-12a-UpperBounds-10
FORMULA_NAME AutoFlight-PT-12a-UpperBounds-11
FORMULA_NAME AutoFlight-PT-12a-UpperBounds-12
FORMULA_NAME AutoFlight-PT-12a-UpperBounds-13
FORMULA_NAME AutoFlight-PT-12a-UpperBounds-14
FORMULA_NAME AutoFlight-PT-12a-UpperBounds-15
FORMULA_NAME AutoFlight-PT-12a-UpperBounds-2
FORMULA_NAME AutoFlight-PT-12a-UpperBounds-3
FORMULA_NAME AutoFlight-PT-12a-UpperBounds-4
FORMULA_NAME AutoFlight-PT-12a-UpperBounds-5
FORMULA_NAME AutoFlight-PT-12a-UpperBounds-6
FORMULA_NAME AutoFlight-PT-12a-UpperBounds-7
FORMULA_NAME AutoFlight-PT-12a-UpperBounds-8
FORMULA_NAME AutoFlight-PT-12a-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496335555624
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_AutoFlight-PT-12a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_AutoFlight-PT-12a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_AutoFlight-PT-12a @ 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: 612/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 307 places, 305 transitions, 231 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 296 transition conflict sets
lola: TASK
lola: reading formula from AutoFlight-PT-12a-UpperBounds.task
lola: MAX(p240) : MAX(p82) : MAX(p225) : MAX(p67) : MAX(p147) : MAX(p214) : MAX(p110) : MAX(p11) : MAX(p277) : MAX(p182) : MAX(p109) : MAX(p29) : MAX(p208) : MAX(p241) : MAX(p43) : MAX(p265)
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(p240)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 424883 markings, 3584662 edges, 84977 markings/sec, 0 secs
lola: 851812 markings, 7140555 edges, 85386 markings/sec, 5 secs
lola: 1258506 markings, 10783751 edges, 81339 markings/sec, 10 secs
lola: 1628327 markings, 14200513 edges, 73964 markings/sec, 15 secs
lola: 1993938 markings, 17729068 edges, 73122 markings/sec, 20 secs
lola: 2349947 markings, 21238770 edges, 71202 markings/sec, 25 secs
lola: 2692411 markings, 24563400 edges, 68493 markings/sec, 30 secs
lola: 3102498 markings, 27940576 edges, 82017 markings/sec, 35 secs
lola: 3505641 markings, 31287379 edges, 80629 markings/sec, 40 secs
lola: 3944059 markings, 35053682 edges, 87684 markings/sec, 45 secs
lola: 4404616 markings, 38901797 edges, 92111 markings/sec, 50 secs
lola: 4811948 markings, 42677022 edges, 81466 markings/sec, 55 secs
lola: 5135520 markings, 46149537 edges, 64714 markings/sec, 60 secs
lola: 5421893 markings, 49312124 edges, 57275 markings/sec, 65 secs
lola: 5737354 markings, 52253725 edges, 63092 markings/sec, 70 secs
lola: 6052535 markings, 55239447 edges, 63036 markings/sec, 75 secs
lola: 6333229 markings, 58143737 edges, 56139 markings/sec, 80 secs
lola: 6687618 markings, 61182837 edges, 70878 markings/sec, 85 secs
lola: 7039708 markings, 64525402 edges, 70418 markings/sec, 90 secs
lola: 7333601 markings, 67853070 edges, 58779 markings/sec, 95 secs
lola: 7644480 markings, 71063427 edges, 62176 markings/sec, 100 secs
lola: 7981248 markings, 74281512 edges, 67354 markings/sec, 105 secs
lola: 8322574 markings, 77591444 edges, 68265 markings/sec, 110 secs
lola: 8623761 markings, 80868474 edges, 60237 markings/sec, 115 secs
lola: 8961434 markings, 84184039 edges, 67535 markings/sec, 120 secs
lola: 9285682 markings, 87479757 edges, 64850 markings/sec, 125 secs
lola: 9588990 markings, 90743778 edges, 60662 markings/sec, 130 secs
lola: 9874068 markings, 93876445 edges, 57016 markings/sec, 135 secs
lola: 10181671 markings, 97115249 edges, 61521 markings/sec, 140 secs
lola: 10474516 markings, 100370755 edges, 58569 markings/sec, 145 secs
lola: 10771478 markings, 103473681 edges, 59392 markings/sec, 150 secs
lola: 11044863 markings, 106487046 edges, 54677 markings/sec, 155 secs
lola: 11328038 markings, 109328822 edges, 56635 markings/sec, 160 secs
lola: 11641369 markings, 112141803 edges, 62666 markings/sec, 165 secs
lola: 11941940 markings, 114931036 edges, 60114 markings/sec, 170 secs
lola: 12235844 markings, 117748602 edges, 58781 markings/sec, 175 secs
lola: 12599178 markings, 120707966 edges, 72667 markings/sec, 180 secs
lola: 12988196 markings, 123952623 edges, 77804 markings/sec, 185 secs
lola: 13325739 markings, 127336718 edges, 67509 markings/sec, 190 secs
lola: 13683304 markings, 130731677 edges, 71513 markings/sec, 195 secs
lola: 14050396 markings, 134075496 edges, 73418 markings/sec, 200 secs
lola: 14421985 markings, 137364699 edges, 74318 markings/sec, 205 secs
lola: 14788861 markings, 140667601 edges, 73375 markings/sec, 210 secs
lola: 15117203 markings, 143985696 edges, 65668 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(p82)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 434187 markings, 3767556 edges, 86837 markings/sec, 0 secs
lola: 773717 markings, 7348793 edges, 67906 markings/sec, 5 secs
lola: 1062202 markings, 10830583 edges, 57697 markings/sec, 10 secs
lola: 1363723 markings, 14146468 edges, 60304 markings/sec, 15 secs
lola: 1672321 markings, 17549636 edges, 61720 markings/sec, 20 secs
lola: 1989643 markings, 21170483 edges, 63464 markings/sec, 25 secs
lola: 2283605 markings, 24660789 edges, 58792 markings/sec, 30 secs
lola: 2596073 markings, 28281711 edges, 62494 markings/sec, 35 secs
lola: 2843470 markings, 31693387 edges, 49479 markings/sec, 40 secs
lola: 3105699 markings, 34885084 edges, 52446 markings/sec, 45 secs
lola: 3356784 markings, 38347723 edges, 50217 markings/sec, 50 secs
lola: 3623070 markings, 41836720 edges, 53257 markings/sec, 55 secs
lola: 3900675 markings, 45446413 edges, 55521 markings/sec, 60 secs
lola: 4164405 markings, 48966314 edges, 52746 markings/sec, 65 secs
lola: 4426391 markings, 52458137 edges, 52397 markings/sec, 70 secs
lola: 4703460 markings, 55965292 edges, 55414 markings/sec, 75 secs
lola: 4967457 markings, 59401178 edges, 52799 markings/sec, 80 secs
lola: 5232594 markings, 62850744 edges, 53027 markings/sec, 85 secs
lola: 5482729 markings, 66366658 edges, 50027 markings/sec, 90 secs
lola: 5743917 markings, 69662545 edges, 52238 markings/sec, 95 secs
lola: 5998359 markings, 73151575 edges, 50888 markings/sec, 100 secs
lola: 6216548 markings, 76700774 edges, 43638 markings/sec, 105 secs
lola: 6468917 markings, 80190060 edges, 50474 markings/sec, 110 secs
lola: 6725924 markings, 83346692 edges, 51401 markings/sec, 115 secs
lola: 6971700 markings, 86569542 edges, 49155 markings/sec, 120 secs
lola: 7200620 markings, 89751880 edges, 45784 markings/sec, 125 secs
lola: 7436374 markings, 92905301 edges, 47151 markings/sec, 130 secs
lola: 7654303 markings, 96078685 edges, 43586 markings/sec, 135 secs
lola: 7866079 markings, 99362773 edges, 42355 markings/sec, 140 secs
lola: 8093370 markings, 102563740 edges, 45458 markings/sec, 145 secs
lola: 8335500 markings, 105852001 edges, 48426 markings/sec, 150 secs
lola: 8533722 markings, 109193543 edges, 39644 markings/sec, 155 secs
lola: 8738178 markings, 112386594 edges, 40891 markings/sec, 160 secs
lola: 9060185 markings, 115515721 edges, 64401 markings/sec, 165 secs
lola: 9336135 markings, 118693173 edges, 55190 markings/sec, 170 secs
lola: 9629194 markings, 121802697 edges, 58612 markings/sec, 175 secs
lola: 9874454 markings, 125140908 edges, 49052 markings/sec, 180 secs
lola: 10079369 markings, 128289677 edges, 40983 markings/sec, 185 secs
lola: 10337340 markings, 131466129 edges, 51594 markings/sec, 190 secs
lola: 10545709 markings, 134707461 edges, 41674 markings/sec, 195 secs
lola: 10764758 markings, 137600737 edges, 43810 markings/sec, 200 secs
lola: 10981384 markings, 140705965 edges, 43325 markings/sec, 205 secs
lola: 11138805 markings, 143751912 edges, 31484 markings/sec, 210 secs
lola: 11402890 markings, 146656668 edges, 52817 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(p225)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 464247 markings, 3339033 edges, 92849 markings/sec, 0 secs
lola: 832467 markings, 6818247 edges, 73644 markings/sec, 5 secs
lola: 1207055 markings, 10329939 edges, 74918 markings/sec, 10 secs
lola: 1518123 markings, 13970167 edges, 62214 markings/sec, 15 secs
lola: 1881646 markings, 17372184 edges, 72705 markings/sec, 20 secs
lola: 2247517 markings, 20899345 edges, 73174 markings/sec, 25 secs
lola: 2631024 markings, 24187799 edges, 76701 markings/sec, 30 secs
lola: 2955208 markings, 27578961 edges, 64837 markings/sec, 35 secs
lola: 3258150 markings, 31019518 edges, 60588 markings/sec, 40 secs
lola: 3559846 markings, 34442838 edges, 60339 markings/sec, 45 secs
lola: 3856432 markings, 37902008 edges, 59317 markings/sec, 50 secs
lola: 4156453 markings, 41281451 edges, 60004 markings/sec, 55 secs
lola: 4490204 markings, 44460341 edges, 66750 markings/sec, 60 secs
lola: 4781057 markings, 47685103 edges, 58171 markings/sec, 65 secs
lola: 5092150 markings, 50961396 edges, 62219 markings/sec, 70 secs
lola: 5408406 markings, 54187526 edges, 63251 markings/sec, 75 secs
lola: 5686605 markings, 57416996 edges, 55640 markings/sec, 80 secs
lola: 5985145 markings, 60706816 edges, 59708 markings/sec, 85 secs
lola: 6278756 markings, 64079453 edges, 58722 markings/sec, 90 secs
lola: 6551062 markings, 67378127 edges, 54461 markings/sec, 95 secs
lola: 6857424 markings, 70670056 edges, 61272 markings/sec, 100 secs
lola: 7132208 markings, 74061744 edges, 54957 markings/sec, 105 secs
lola: 7423672 markings, 77391366 edges, 58293 markings/sec, 110 secs
lola: 7688511 markings, 80676964 edges, 52968 markings/sec, 115 secs
lola: 7956230 markings, 84007924 edges, 53544 markings/sec, 120 secs
lola: 8208242 markings, 87380462 edges, 50402 markings/sec, 125 secs
lola: 8458201 markings, 90751998 edges, 49992 markings/sec, 130 secs
lola: 8758978 markings, 93996723 edges, 60155 markings/sec, 135 secs
lola: 9024839 markings, 97325040 edges, 53172 markings/sec, 140 secs
lola: 9310801 markings, 100610226 edges, 57192 markings/sec, 145 secs
lola: 9581748 markings, 104109336 edges, 54189 markings/sec, 150 secs
lola: 9864087 markings, 107331490 edges, 56468 markings/sec, 155 secs
lola: 10133078 markings, 110669508 edges, 53798 markings/sec, 160 secs
lola: 10418824 markings, 113923845 edges, 57149 markings/sec, 165 secs
lola: 10714989 markings, 117208042 edges, 59233 markings/sec, 170 secs
lola: 10991006 markings, 120387711 edges, 55203 markings/sec, 175 secs
lola: 11261078 markings, 123588762 edges, 54014 markings/sec, 180 secs
lola: 11542140 markings, 126955533 edges, 56212 markings/sec, 185 secs
lola: 11804378 markings, 130465040 edges, 52448 markings/sec, 190 secs
lola: 12086528 markings, 133743181 edges, 56430 markings/sec, 195 secs
lola: 12366971 markings, 136931914 edges, 56089 markings/sec, 200 secs
lola: 12618782 markings, 140165465 edges, 50362 markings/sec, 205 secs
lola: 12863402 markings, 143469107 edges, 48924 markings/sec, 210 secs
lola: 13113229 markings, 146817184 edges, 49965 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(p67)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 479773 markings, 3653602 edges, 95955 markings/sec, 0 secs
lola: 850716 markings, 7295766 edges, 74189 markings/sec, 5 secs
lola: 1197847 markings, 10902488 edges, 69426 markings/sec, 10 secs
lola: 1525674 markings, 14369611 edges, 65565 markings/sec, 15 secs
lola: 1895837 markings, 17690382 edges, 74033 markings/sec, 20 secs
lola: 2182375 markings, 20974070 edges, 57308 markings/sec, 25 secs
lola: 2491257 markings, 24129621 edges, 61776 markings/sec, 30 secs
lola: 2753343 markings, 27419563 edges, 52417 markings/sec, 35 secs
lola: 3010265 markings, 30663189 edges, 51384 markings/sec, 40 secs
lola: 3314416 markings, 33809032 edges, 60830 markings/sec, 45 secs
lola: 3603507 markings, 36765957 edges, 57818 markings/sec, 50 secs
lola: 3889842 markings, 40017423 edges, 57267 markings/sec, 55 secs
lola: 4115222 markings, 42974827 edges, 45076 markings/sec, 60 secs
lola: 4331448 markings, 45740798 edges, 43245 markings/sec, 65 secs
lola: 4554667 markings, 48593628 edges, 44644 markings/sec, 70 secs
lola: 4806367 markings, 51840186 edges, 50340 markings/sec, 75 secs
lola: 5055179 markings, 55123461 edges, 49762 markings/sec, 80 secs
lola: 5382136 markings, 58599517 edges, 65391 markings/sec, 85 secs
lola: 5679270 markings, 62180417 edges, 59427 markings/sec, 90 secs
lola: 5976788 markings, 65244604 edges, 59504 markings/sec, 95 secs
lola: 6275354 markings, 68433199 edges, 59713 markings/sec, 100 secs
lola: 6524886 markings, 71639538 edges, 49906 markings/sec, 105 secs
lola: 6783676 markings, 74953676 edges, 51758 markings/sec, 110 secs
lola: 7034896 markings, 78302951 edges, 50244 markings/sec, 115 secs
lola: 7308378 markings, 81663243 edges, 54696 markings/sec, 120 secs
lola: 7542488 markings, 84768457 edges, 46822 markings/sec, 125 secs
lola: 7788373 markings, 87864664 edges, 49177 markings/sec, 130 secs
lola: 8058518 markings, 91230157 edges, 54029 markings/sec, 135 secs
lola: 8307566 markings, 94598092 edges, 49810 markings/sec, 140 secs
lola: 8525968 markings, 97765677 edges, 43680 markings/sec, 145 secs
lola: 8752566 markings, 100796802 edges, 45320 markings/sec, 150 secs
lola: 8962563 markings, 103960937 edges, 41999 markings/sec, 155 secs
lola: 9185199 markings, 107262370 edges, 44527 markings/sec, 160 secs
lola: 9421320 markings, 110300911 edges, 47224 markings/sec, 165 secs
lola: 9669843 markings, 113033487 edges, 49705 markings/sec, 170 secs
lola: 9940481 markings, 116105306 edges, 54128 markings/sec, 175 secs
lola: 10201343 markings, 119203895 edges, 52172 markings/sec, 180 secs
lola: 10415486 markings, 122309114 edges, 42829 markings/sec, 185 secs
lola: 10621096 markings, 125500516 edges, 41122 markings/sec, 190 secs
lola: 10853617 markings, 128663772 edges, 46504 markings/sec, 195 secs
lola: 11097028 markings, 131804196 edges, 48682 markings/sec, 200 secs
lola: 11306204 markings, 134975538 edges, 41835 markings/sec, 205 secs
lola: 11523363 markings, 138065854 edges, 43432 markings/sec, 210 secs
lola: 11782241 markings, 141143771 edges, 51776 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(p147)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 472079 markings, 3639273 edges, 94416 markings/sec, 0 secs
lola: 846749 markings, 7254106 edges, 74934 markings/sec, 5 secs
lola: 1232046 markings, 10755242 edges, 77059 markings/sec, 10 secs
lola: 1669038 markings, 14181168 edges, 87398 markings/sec, 15 secs
lola: 2115776 markings, 17368220 edges, 89348 markings/sec, 20 secs
lola: 2545104 markings, 20838382 edges, 85866 markings/sec, 25 secs
lola: 2988066 markings, 24356138 edges, 88592 markings/sec, 30 secs
lola: 3426903 markings, 27711241 edges, 87767 markings/sec, 35 secs
lola: 3810836 markings, 31070187 edges, 76787 markings/sec, 40 secs
lola: 4174244 markings, 34140714 edges, 72682 markings/sec, 45 secs
lola: 4536589 markings, 37313262 edges, 72469 markings/sec, 50 secs
lola: 4940854 markings, 40547301 edges, 80853 markings/sec, 55 secs
lola: 5350303 markings, 43989977 edges, 81890 markings/sec, 60 secs
lola: 5868883 markings, 47442718 edges, 103716 markings/sec, 65 secs
lola: 6354011 markings, 50865499 edges, 97026 markings/sec, 70 secs
lola: 6815574 markings, 54247741 edges, 92313 markings/sec, 75 secs
lola: 7259568 markings, 57512621 edges, 88799 markings/sec, 80 secs
lola: 7723213 markings, 60885517 edges, 92729 markings/sec, 85 secs
lola: 8151361 markings, 64076204 edges, 85630 markings/sec, 90 secs
lola: 8573756 markings, 67191823 edges, 84479 markings/sec, 95 secs
lola: 8970308 markings, 70330716 edges, 79310 markings/sec, 100 secs
lola: 9339644 markings, 73332870 edges, 73867 markings/sec, 105 secs
lola: 9701844 markings, 76356830 edges, 72440 markings/sec, 110 secs
lola: 10097270 markings, 79574034 edges, 79085 markings/sec, 115 secs
lola: 10478503 markings, 82774081 edges, 76247 markings/sec, 120 secs
lola: 10893798 markings, 85885875 edges, 83059 markings/sec, 125 secs
lola: 11274860 markings, 89009083 edges, 76212 markings/sec, 130 secs
lola: 11688082 markings, 92242152 edges, 82644 markings/sec, 135 secs
lola: 12108880 markings, 95693173 edges, 84160 markings/sec, 140 secs
lola: 12529333 markings, 99071462 edges, 84091 markings/sec, 145 secs
lola: 12931768 markings, 102240206 edges, 80487 markings/sec, 150 secs
lola: 13304196 markings, 105365364 edges, 74486 markings/sec, 155 secs
lola: 13695212 markings, 108374714 edges, 78203 markings/sec, 160 secs
lola: 14088002 markings, 111437902 edges, 78558 markings/sec, 165 secs
lola: 14459911 markings, 114530753 edges, 74382 markings/sec, 170 secs
lola: 14847752 markings, 117634444 edges, 77568 markings/sec, 175 secs
lola: 15222388 markings, 120664263 edges, 74927 markings/sec, 180 secs
lola: 15593734 markings, 123666695 edges, 74269 markings/sec, 185 secs
lola: 15966419 markings, 126639418 edges, 74537 markings/sec, 190 secs
lola: 16310526 markings, 129656296 edges, 68821 markings/sec, 195 secs
lola: 16696706 markings, 132765799 edges, 77236 markings/sec, 200 secs
lola: 17066649 markings, 135899263 edges, 73989 markings/sec, 205 secs
lola: 17430794 markings, 139098109 edges, 72829 markings/sec, 210 secs
lola: 17817689 markings, 142382275 edges, 77379 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(p214)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 429678 markings, 3833181 edges, 85936 markings/sec, 0 secs
lola: 878857 markings, 7429240 edges, 89836 markings/sec, 5 secs
lola: 1310213 markings, 11088815 edges, 86271 markings/sec, 10 secs
lola: 1669788 markings, 14619863 edges, 71915 markings/sec, 15 secs
lola: 2055768 markings, 18001508 edges, 77196 markings/sec, 20 secs
lola: 2488202 markings, 21445202 edges, 86487 markings/sec, 25 secs
lola: 2898470 markings, 24945195 edges, 82054 markings/sec, 30 secs
lola: 3247526 markings, 28446646 edges, 69811 markings/sec, 35 secs
lola: 3655840 markings, 32046105 edges, 81663 markings/sec, 40 secs
lola: 4058220 markings, 35650547 edges, 80476 markings/sec, 45 secs
lola: 4452552 markings, 39182846 edges, 78866 markings/sec, 50 secs
lola: 4817322 markings, 42695958 edges, 72954 markings/sec, 55 secs
lola: 5172556 markings, 46300894 edges, 71047 markings/sec, 60 secs
lola: 5509813 markings, 49839348 edges, 67451 markings/sec, 65 secs
lola: 5843967 markings, 53298691 edges, 66831 markings/sec, 70 secs
lola: 6177502 markings, 56761639 edges, 66707 markings/sec, 75 secs
lola: 6514908 markings, 60260194 edges, 67481 markings/sec, 80 secs
lola: 6925933 markings, 63517777 edges, 82205 markings/sec, 85 secs
lola: 7369335 markings, 66814344 edges, 88680 markings/sec, 90 secs
lola: 7718402 markings, 69886169 edges, 69813 markings/sec, 95 secs
lola: 8066417 markings, 72975373 edges, 69603 markings/sec, 100 secs
lola: 8400897 markings, 75970079 edges, 66896 markings/sec, 105 secs
lola: 8733321 markings, 79207012 edges, 66485 markings/sec, 110 secs
lola: 9086243 markings, 82413730 edges, 70584 markings/sec, 115 secs
lola: 9452488 markings, 85666729 edges, 73249 markings/sec, 120 secs
lola: 9799800 markings, 88827345 edges, 69462 markings/sec, 125 secs
lola: 10053834 markings, 91958902 edges, 50807 markings/sec, 130 secs
lola: 10312247 markings, 95158421 edges, 51683 markings/sec, 135 secs
lola: 10677341 markings, 98425722 edges, 73019 markings/sec, 140 secs
lola: 11056246 markings, 101972957 edges, 75781 markings/sec, 145 secs
lola: 11418517 markings, 105618440 edges, 72454 markings/sec, 150 secs
lola: 11782960 markings, 108998595 edges, 72889 markings/sec, 155 secs
lola: 12150394 markings, 112372571 edges, 73487 markings/sec, 160 secs
lola: 12440132 markings, 115599575 edges, 57948 markings/sec, 165 secs
lola: 12790443 markings, 118794584 edges, 70062 markings/sec, 170 secs
lola: 13126562 markings, 121876575 edges, 67224 markings/sec, 175 secs
lola: 13485829 markings, 125178481 edges, 71853 markings/sec, 180 secs
lola: 13792497 markings, 128464875 edges, 61334 markings/sec, 185 secs
lola: 14127885 markings, 131719846 edges, 67078 markings/sec, 190 secs
lola: 14435633 markings, 134738205 edges, 61550 markings/sec, 195 secs
lola: 14751019 markings, 137596290 edges, 63077 markings/sec, 200 secs
lola: 15044654 markings, 140450335 edges, 58727 markings/sec, 205 secs
lola: 15331571 markings, 143395972 edges, 57383 markings/sec, 210 secs
lola: 15669379 markings, 146557657 edges, 67562 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(p110)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 484901 markings, 3306697 edges, 96980 markings/sec, 0 secs
lola: 844252 markings, 6680604 edges, 71870 markings/sec, 5 secs
lola: 1222670 markings, 10003241 edges, 75684 markings/sec, 10 secs
lola: 1618808 markings, 13297040 edges, 79228 markings/sec, 15 secs
lola: 1984170 markings, 16492050 edges, 73072 markings/sec, 20 secs
lola: 2310767 markings, 19984716 edges, 65319 markings/sec, 25 secs
lola: 2649273 markings, 23439538 edges, 67701 markings/sec, 30 secs
lola: 2991527 markings, 27064498 edges, 68451 markings/sec, 35 secs
lola: 3302710 markings, 30446159 edges, 62237 markings/sec, 40 secs
lola: 3613571 markings, 33803977 edges, 62172 markings/sec, 45 secs
lola: 3974649 markings, 37230436 edges, 72216 markings/sec, 50 secs
lola: 4304167 markings, 40682619 edges, 65904 markings/sec, 55 secs
lola: 4628502 markings, 44092720 edges, 64867 markings/sec, 60 secs
lola: 4901415 markings, 47448519 edges, 54583 markings/sec, 65 secs
lola: 5218193 markings, 50844436 edges, 63356 markings/sec, 70 secs
lola: 5511859 markings, 54312258 edges, 58733 markings/sec, 75 secs
lola: 5814435 markings, 57772170 edges, 60515 markings/sec, 80 secs
lola: 6110753 markings, 61094255 edges, 59264 markings/sec, 85 secs
lola: 6350088 markings, 64665564 edges, 47867 markings/sec, 90 secs
lola: 6636573 markings, 68131238 edges, 57297 markings/sec, 95 secs
lola: 6896089 markings, 71617972 edges, 51903 markings/sec, 100 secs
lola: 7173062 markings, 75128272 edges, 55395 markings/sec, 105 secs
lola: 7464518 markings, 78692470 edges, 58291 markings/sec, 110 secs
lola: 7727592 markings, 82291298 edges, 52615 markings/sec, 115 secs
lola: 8040163 markings, 85814943 edges, 62514 markings/sec, 120 secs
lola: 8304412 markings, 89347889 edges, 52850 markings/sec, 125 secs
lola: 8547581 markings, 92490279 edges, 48634 markings/sec, 130 secs
lola: 8789663 markings, 95696113 edges, 48416 markings/sec, 135 secs
lola: 9035930 markings, 98639347 edges, 49253 markings/sec, 140 secs
lola: 9297798 markings, 101683321 edges, 52374 markings/sec, 145 secs
lola: 9547421 markings, 104785585 edges, 49925 markings/sec, 150 secs
lola: 9810366 markings, 107789067 edges, 52589 markings/sec, 155 secs
lola: 10035745 markings, 111084105 edges, 45076 markings/sec, 160 secs
lola: 10226922 markings, 114265774 edges, 38235 markings/sec, 165 secs
lola: 10456797 markings, 117485027 edges, 45975 markings/sec, 170 secs
lola: 10685373 markings, 120728247 edges, 45715 markings/sec, 175 secs
lola: 10918317 markings, 123976853 edges, 46589 markings/sec, 180 secs
lola: 11144360 markings, 127232480 edges, 45209 markings/sec, 185 secs
lola: 11382609 markings, 130596888 edges, 47650 markings/sec, 190 secs
lola: 11637562 markings, 134210416 edges, 50991 markings/sec, 195 secs
lola: 11898675 markings, 137874177 edges, 52223 markings/sec, 200 secs
lola: 12151631 markings, 141441728 edges, 50591 markings/sec, 205 secs
lola: 12397030 markings, 144992909 edges, 49080 markings/sec, 210 secs
lola: 12681269 markings, 148211646 edges, 56848 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(p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 430530 markings, 3762336 edges, 86106 markings/sec, 0 secs
lola: 900848 markings, 7545867 edges, 94064 markings/sec, 5 secs
lola: 1351255 markings, 11418589 edges, 90081 markings/sec, 10 secs
lola: 1738243 markings, 15240400 edges, 77398 markings/sec, 15 secs
lola: 2100371 markings, 18868420 edges, 72426 markings/sec, 20 secs
lola: 2597161 markings, 22638110 edges, 99358 markings/sec, 25 secs
lola: 3033391 markings, 26314175 edges, 87246 markings/sec, 30 secs
lola: 3489765 markings, 30138487 edges, 91275 markings/sec, 35 secs
lola: 3861213 markings, 34016904 edges, 74290 markings/sec, 40 secs
lola: 4280338 markings, 37760127 edges, 83825 markings/sec, 45 secs
lola: 4714124 markings, 41531764 edges, 86757 markings/sec, 50 secs
lola: 5101316 markings, 45211268 edges, 77438 markings/sec, 55 secs
lola: 5493852 markings, 48774572 edges, 78507 markings/sec, 60 secs
lola: 5837132 markings, 52183797 edges, 68656 markings/sec, 65 secs
lola: 6159707 markings, 55525984 edges, 64515 markings/sec, 70 secs
lola: 6488930 markings, 58973768 edges, 65845 markings/sec, 75 secs
lola: 6818822 markings, 62386988 edges, 65978 markings/sec, 80 secs
lola: 7154079 markings, 65790177 edges, 67051 markings/sec, 85 secs
lola: 7470687 markings, 69188656 edges, 63322 markings/sec, 90 secs
lola: 7787681 markings, 72633593 edges, 63399 markings/sec, 95 secs
lola: 8130077 markings, 76065010 edges, 68479 markings/sec, 100 secs
lola: 8537017 markings, 79345174 edges, 81388 markings/sec, 105 secs
lola: 8985242 markings, 82664120 edges, 89645 markings/sec, 110 secs
lola: 9367856 markings, 86052049 edges, 76523 markings/sec, 115 secs
lola: 9740574 markings, 89406299 edges, 74544 markings/sec, 120 secs
lola: 10106820 markings, 92701187 edges, 73249 markings/sec, 125 secs
lola: 10479127 markings, 96217737 edges, 74461 markings/sec, 130 secs
lola: 10858779 markings, 99629415 edges, 75930 markings/sec, 135 secs
lola: 11243797 markings, 103052875 edges, 77004 markings/sec, 140 secs
lola: 11577353 markings, 106632372 edges, 66711 markings/sec, 145 secs
lola: 11836759 markings, 110087896 edges, 51881 markings/sec, 150 secs
lola: 12237297 markings, 113715171 edges, 80108 markings/sec, 155 secs
lola: 12613718 markings, 117158830 edges, 75284 markings/sec, 160 secs
lola: 12943854 markings, 120482566 edges, 66027 markings/sec, 165 secs
lola: 13285776 markings, 123777133 edges, 68384 markings/sec, 170 secs
lola: 13628291 markings, 126969092 edges, 68503 markings/sec, 175 secs
lola: 13933933 markings, 130272898 edges, 61128 markings/sec, 180 secs
lola: 14277385 markings, 133766971 edges, 68690 markings/sec, 185 secs
lola: 14693599 markings, 137308689 edges, 83243 markings/sec, 190 secs
lola: 15067884 markings, 140756092 edges, 74857 markings/sec, 195 secs
lola: 15381439 markings, 144225510 edges, 62711 markings/sec, 200 secs
lola: 15733510 markings, 147694093 edges, 70414 markings/sec, 205 secs
lola: 16081265 markings, 151193436 edges, 69551 markings/sec, 210 secs
lola: 16491575 markings, 154723717 edges, 82062 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(p277)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 501953 markings, 3495875 edges, 100391 markings/sec, 0 secs
lola: 926172 markings, 6973965 edges, 84844 markings/sec, 5 secs
lola: 1310543 markings, 10370953 edges, 76874 markings/sec, 10 secs
lola: 1675929 markings, 13725412 edges, 73077 markings/sec, 15 secs
lola: 1979454 markings, 17264890 edges, 60705 markings/sec, 20 secs
lola: 2301215 markings, 20924002 edges, 64352 markings/sec, 25 secs
lola: 2640703 markings, 24221767 edges, 67898 markings/sec, 30 secs
lola: 2960494 markings, 27444887 edges, 63958 markings/sec, 35 secs
lola: 3221668 markings, 30933570 edges, 52235 markings/sec, 40 secs
lola: 3532577 markings, 34290982 edges, 62182 markings/sec, 45 secs
lola: 3867855 markings, 37508227 edges, 67056 markings/sec, 50 secs
lola: 4217013 markings, 41001383 edges, 69832 markings/sec, 55 secs
lola: 4510075 markings, 44325802 edges, 58612 markings/sec, 60 secs
lola: 4769480 markings, 47597862 edges, 51881 markings/sec, 65 secs
lola: 5033878 markings, 51039459 edges, 52880 markings/sec, 70 secs
lola: 5324367 markings, 54286555 edges, 58098 markings/sec, 75 secs
lola: 5589661 markings, 57681056 edges, 53059 markings/sec, 80 secs
lola: 5888608 markings, 61216358 edges, 59789 markings/sec, 85 secs
lola: 6195008 markings, 64262139 edges, 61280 markings/sec, 90 secs
lola: 6518472 markings, 67413496 edges, 64693 markings/sec, 95 secs
lola: 6841208 markings, 70686458 edges, 64547 markings/sec, 100 secs
lola: 7100313 markings, 74187333 edges, 51821 markings/sec, 105 secs
lola: 7353353 markings, 77361726 edges, 50608 markings/sec, 110 secs
lola: 7603530 markings, 80729861 edges, 50035 markings/sec, 115 secs
lola: 7882596 markings, 84176060 edges, 55813 markings/sec, 120 secs
lola: 8155583 markings, 87645412 edges, 54597 markings/sec, 125 secs
lola: 8387246 markings, 90887023 edges, 46333 markings/sec, 130 secs
lola: 8607028 markings, 94113317 edges, 43956 markings/sec, 135 secs
lola: 8850986 markings, 97471893 edges, 48792 markings/sec, 140 secs
lola: 9124246 markings, 100519117 edges, 54652 markings/sec, 145 secs
lola: 9341012 markings, 103959911 edges, 43353 markings/sec, 150 secs
lola: 9587943 markings, 107483471 edges, 49386 markings/sec, 155 secs
lola: 9829364 markings, 110827985 edges, 48284 markings/sec, 160 secs
lola: 10064275 markings, 114123458 edges, 46982 markings/sec, 165 secs
lola: 10320106 markings, 117299820 edges, 51166 markings/sec, 170 secs
lola: 10537047 markings, 120452029 edges, 43388 markings/sec, 175 secs
lola: 10783092 markings, 123792845 edges, 49209 markings/sec, 180 secs
lola: 11035587 markings, 127326396 edges, 50499 markings/sec, 185 secs
lola: 11339339 markings, 130838904 edges, 60750 markings/sec, 190 secs
lola: 11598191 markings, 134344719 edges, 51770 markings/sec, 195 secs
lola: 11867468 markings, 137935559 edges, 53855 markings/sec, 200 secs
lola: 12135615 markings, 141515073 edges, 53629 markings/sec, 205 secs
lola: 12396103 markings, 145053976 edges, 52098 markings/sec, 210 secs
lola: 12646351 markings, 148269971 edges, 50050 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(p182)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 533386 markings, 3524451 edges, 106677 markings/sec, 0 secs
lola: 1010063 markings, 6997973 edges, 95335 markings/sec, 5 secs
lola: 1549966 markings, 10465705 edges, 107981 markings/sec, 10 secs
lola: 2039970 markings, 13966424 edges, 98001 markings/sec, 15 secs
lola: 2381762 markings, 17303439 edges, 68358 markings/sec, 20 secs
lola: 2741623 markings, 20706421 edges, 71972 markings/sec, 25 secs
lola: 3195894 markings, 23993459 edges, 90854 markings/sec, 30 secs
lola: 3684698 markings, 27310452 edges, 97761 markings/sec, 35 secs
lola: 4200142 markings, 30630706 edges, 103089 markings/sec, 40 secs
lola: 4705009 markings, 33943745 edges, 100973 markings/sec, 45 secs
lola: 5193340 markings, 37230777 edges, 97666 markings/sec, 50 secs
lola: 5684223 markings, 40582408 edges, 98177 markings/sec, 55 secs
lola: 6155694 markings, 43969462 edges, 94294 markings/sec, 60 secs
lola: 6656755 markings, 47352039 edges, 100212 markings/sec, 65 secs
lola: 7117818 markings, 50751318 edges, 92213 markings/sec, 70 secs
lola: 7601916 markings, 54171561 edges, 96820 markings/sec, 75 secs
lola: 8088789 markings, 57604164 edges, 97375 markings/sec, 80 secs
lola: 8502665 markings, 60858712 edges, 82775 markings/sec, 85 secs
lola: 8864476 markings, 64148797 edges, 72362 markings/sec, 90 secs
lola: 9192071 markings, 67320120 edges, 65519 markings/sec, 95 secs
lola: 9502418 markings, 70377364 edges, 62069 markings/sec, 100 secs
lola: 9793871 markings, 73474849 edges, 58291 markings/sec, 105 secs
lola: 10123298 markings, 76605332 edges, 65885 markings/sec, 110 secs
lola: 10423769 markings, 79755612 edges, 60094 markings/sec, 115 secs
lola: 10761564 markings, 82915362 edges, 67559 markings/sec, 120 secs
lola: 11076294 markings, 86163254 edges, 62946 markings/sec, 125 secs
lola: 11391474 markings, 89413341 edges, 63036 markings/sec, 130 secs
lola: 11750518 markings, 92565897 edges, 71809 markings/sec, 135 secs
lola: 12137026 markings, 95679041 edges, 77302 markings/sec, 140 secs
lola: 12546243 markings, 98735392 edges, 81843 markings/sec, 145 secs
lola: 12942181 markings, 101809582 edges, 79188 markings/sec, 150 secs
lola: 13327495 markings, 104863911 edges, 77063 markings/sec, 155 secs
lola: 13644342 markings, 107800476 edges, 63369 markings/sec, 160 secs
lola: 13987438 markings, 110774956 edges, 68619 markings/sec, 165 secs
lola: 14388848 markings, 113686397 edges, 80282 markings/sec, 170 secs
lola: 14869569 markings, 116790461 edges, 96144 markings/sec, 175 secs
lola: 15337118 markings, 119969935 edges, 93510 markings/sec, 180 secs
lola: 15803689 markings, 123020754 edges, 93314 markings/sec, 185 secs
lola: 16266760 markings, 126025229 edges, 92614 markings/sec, 190 secs
lola: 16713538 markings, 129097545 edges, 89356 markings/sec, 195 secs
lola: 17105756 markings, 132165893 edges, 78444 markings/sec, 200 secs
lola: 17570645 markings, 135248699 edges, 92978 markings/sec, 205 secs
lola: 17992806 markings, 138326016 edges, 84432 markings/sec, 210 secs
lola: 18412339 markings, 141375343 edges, 83907 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(p109)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 483996 markings, 3300560 edges, 96799 markings/sec, 0 secs
lola: 847323 markings, 6708700 edges, 72665 markings/sec, 5 secs
lola: 1225771 markings, 10041200 edges, 75690 markings/sec, 10 secs
lola: 1620365 markings, 13303223 edges, 78919 markings/sec, 15 secs
lola: 1986843 markings, 16510133 edges, 73296 markings/sec, 20 secs
lola: 2319489 markings, 20095768 edges, 66529 markings/sec, 25 secs
lola: 2656264 markings, 23508930 edges, 67355 markings/sec, 30 secs
lola: 2993394 markings, 27082487 edges, 67426 markings/sec, 35 secs
lola: 3304987 markings, 30468777 edges, 62319 markings/sec, 40 secs
lola: 3622495 markings, 33900755 edges, 63502 markings/sec, 45 secs
lola: 3973060 markings, 37211722 edges, 70113 markings/sec, 50 secs
lola: 4289719 markings, 40540530 edges, 63332 markings/sec, 55 secs
lola: 4613800 markings, 43881319 edges, 64816 markings/sec, 60 secs
lola: 4883947 markings, 47223690 edges, 54029 markings/sec, 65 secs
lola: 5186293 markings, 50508263 edges, 60469 markings/sec, 70 secs
lola: 5477046 markings, 53823341 edges, 58151 markings/sec, 75 secs
lola: 5760397 markings, 57207863 edges, 56670 markings/sec, 80 secs
lola: 6055601 markings, 60378884 edges, 59041 markings/sec, 85 secs
lola: 6312357 markings, 63886220 edges, 51351 markings/sec, 90 secs
lola: 6551786 markings, 67219654 edges, 47886 markings/sec, 95 secs
lola: 6814458 markings, 70518028 edges, 52534 markings/sec, 100 secs
lola: 7090684 markings, 73878255 edges, 55245 markings/sec, 105 secs
lola: 7344081 markings, 77298357 edges, 50679 markings/sec, 110 secs
lola: 7613388 markings, 80778124 edges, 53861 markings/sec, 115 secs
lola: 7900014 markings, 84287135 edges, 57325 markings/sec, 120 secs
lola: 8174828 markings, 87732964 edges, 54963 markings/sec, 125 secs
lola: 8452746 markings, 91233105 edges, 55584 markings/sec, 130 secs
lola: 8722468 markings, 94776409 edges, 53944 markings/sec, 135 secs
lola: 8986352 markings, 98002635 edges, 52777 markings/sec, 140 secs
lola: 9250847 markings, 101220274 edges, 52899 markings/sec, 145 secs
lola: 9519737 markings, 104403772 edges, 53778 markings/sec, 150 secs
lola: 9793089 markings, 107566163 edges, 54670 markings/sec, 155 secs
lola: 10028538 markings, 110970932 edges, 47090 markings/sec, 160 secs
lola: 10224849 markings, 114236562 edges, 39262 markings/sec, 165 secs
lola: 10468516 markings, 117625026 edges, 48733 markings/sec, 170 secs
lola: 10701722 markings, 120929184 edges, 46641 markings/sec, 175 secs
lola: 10938491 markings, 124281407 edges, 47354 markings/sec, 180 secs
lola: 11178963 markings, 127677351 edges, 48094 markings/sec, 185 secs
lola: 11410516 markings, 130968456 edges, 46311 markings/sec, 190 secs
lola: 11644560 markings, 134315983 edges, 46809 markings/sec, 195 secs
lola: 11896994 markings, 137732070 edges, 50487 markings/sec, 200 secs
lola: 12134542 markings, 141189580 edges, 47510 markings/sec, 205 secs
lola: 12381844 markings, 144730757 edges, 49460 markings/sec, 210 secs
lola: 12661642 markings, 148005789 edges, 55960 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(p29)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 595902 markings, 3405745 edges, 119180 markings/sec, 0 secs
lola: 1091503 markings, 6838884 edges, 99120 markings/sec, 5 secs
lola: 1520443 markings, 10173598 edges, 85788 markings/sec, 10 secs
lola: 1981480 markings, 13331355 edges, 92207 markings/sec, 15 secs
lola: 2453361 markings, 16701180 edges, 94376 markings/sec, 20 secs
lola: 2866635 markings, 19994819 edges, 82655 markings/sec, 25 secs
lola: 3270608 markings, 23229788 edges, 80795 markings/sec, 30 secs
lola: 3707762 markings, 26521193 edges, 87431 markings/sec, 35 secs
lola: 4089602 markings, 29740208 edges, 76368 markings/sec, 40 secs
lola: 4474996 markings, 32872391 edges, 77079 markings/sec, 45 secs
lola: 4879175 markings, 36012496 edges, 80836 markings/sec, 50 secs
lola: 5276782 markings, 39273797 edges, 79521 markings/sec, 55 secs
lola: 5685048 markings, 42365251 edges, 81653 markings/sec, 60 secs
lola: 6103743 markings, 45461220 edges, 83739 markings/sec, 65 secs
lola: 6506386 markings, 48627929 edges, 80529 markings/sec, 70 secs
lola: 6852171 markings, 51657745 edges, 69157 markings/sec, 75 secs
lola: 7244967 markings, 54639222 edges, 78559 markings/sec, 80 secs
lola: 7582577 markings, 57639574 edges, 67522 markings/sec, 85 secs
lola: 7923142 markings, 60586025 edges, 68113 markings/sec, 90 secs
lola: 8240427 markings, 63533177 edges, 63457 markings/sec, 95 secs
lola: 8588139 markings, 66692336 edges, 69542 markings/sec, 100 secs
lola: 8979110 markings, 69663876 edges, 78194 markings/sec, 105 secs
lola: 9330249 markings, 72460388 edges, 70228 markings/sec, 110 secs
lola: 9654870 markings, 75452914 edges, 64924 markings/sec, 115 secs
lola: 9996605 markings, 78291745 edges, 68347 markings/sec, 120 secs
lola: 10356149 markings, 81140883 edges, 71909 markings/sec, 125 secs
lola: 10741596 markings, 84259047 edges, 77089 markings/sec, 130 secs
lola: 11116418 markings, 87423428 edges, 74964 markings/sec, 135 secs
lola: 11515934 markings, 90565836 edges, 79903 markings/sec, 140 secs
lola: 11909782 markings, 93697829 edges, 78770 markings/sec, 145 secs
lola: 12347869 markings, 97027763 edges, 87617 markings/sec, 150 secs
lola: 12737742 markings, 100235600 edges, 77975 markings/sec, 155 secs
lola: 13132541 markings, 103393806 edges, 78960 markings/sec, 160 secs
lola: 13574885 markings, 106659905 edges, 88469 markings/sec, 165 secs
lola: 14022990 markings, 110025489 edges, 89621 markings/sec, 170 secs
lola: 14430829 markings, 113295819 edges, 81568 markings/sec, 175 secs
lola: 14761174 markings, 116445619 edges, 66069 markings/sec, 180 secs
lola: 15121331 markings, 119766657 edges, 72031 markings/sec, 185 secs
lola: 15523381 markings, 123107831 edges, 80410 markings/sec, 190 secs
lola: 15923621 markings, 126426965 edges, 80048 markings/sec, 195 secs
lola: 16303475 markings, 129450777 edges, 75971 markings/sec, 200 secs
lola: 16714446 markings, 132524348 edges, 82194 markings/sec, 205 secs
lola: 17095974 markings, 135681136 edges, 76306 markings/sec, 210 secs
lola: 17527935 markings, 138910489 edges, 86392 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(p208)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 392675 markings, 3455449 edges, 78535 markings/sec, 0 secs
lola: 814859 markings, 6918089 edges, 84437 markings/sec, 5 secs
lola: 1257133 markings, 10646954 edges, 88455 markings/sec, 10 secs
lola: 1634850 markings, 14277539 edges, 75543 markings/sec, 15 secs
lola: 2014111 markings, 17703060 edges, 75852 markings/sec, 20 secs
lola: 2462957 markings, 21199295 edges, 89769 markings/sec, 25 secs
lola: 2869098 markings, 24682128 edges, 81228 markings/sec, 30 secs
lola: 3218457 markings, 28197544 edges, 69872 markings/sec, 35 secs
lola: 3625677 markings, 31792457 edges, 81444 markings/sec, 40 secs
lola: 4033330 markings, 35401076 edges, 81531 markings/sec, 45 secs
lola: 4413741 markings, 38812945 edges, 76082 markings/sec, 50 secs
lola: 4784808 markings, 42357988 edges, 74213 markings/sec, 55 secs
lola: 5133475 markings, 45876243 edges, 69733 markings/sec, 60 secs
lola: 5468052 markings, 49411441 edges, 66915 markings/sec, 65 secs
lola: 5795227 markings, 52717324 edges, 65435 markings/sec, 70 secs
lola: 6111471 markings, 56053858 edges, 63249 markings/sec, 75 secs
lola: 6446370 markings, 59455190 edges, 66980 markings/sec, 80 secs
lola: 6837051 markings, 62889696 edges, 78136 markings/sec, 85 secs
lola: 7316498 markings, 66326751 edges, 95889 markings/sec, 90 secs
lola: 7702138 markings, 69701023 edges, 77128 markings/sec, 95 secs
lola: 8065900 markings, 72949287 edges, 72752 markings/sec, 100 secs
lola: 8424342 markings, 76161526 edges, 71688 markings/sec, 105 secs
lola: 8773965 markings, 79588890 edges, 69925 markings/sec, 110 secs
lola: 9140416 markings, 82935871 edges, 73290 markings/sec, 115 secs
lola: 9531375 markings, 86325633 edges, 78192 markings/sec, 120 secs
lola: 9878375 markings, 89690552 edges, 69400 markings/sec, 125 secs
lola: 10122011 markings, 92979341 edges, 48727 markings/sec, 130 secs
lola: 10451747 markings, 96337064 edges, 65947 markings/sec, 135 secs
lola: 10795979 markings, 99524841 edges, 68846 markings/sec, 140 secs
lola: 11109948 markings, 102690500 edges, 62794 markings/sec, 145 secs
lola: 11459544 markings, 105975699 edges, 69919 markings/sec, 150 secs
lola: 11804947 markings, 109157976 edges, 69081 markings/sec, 155 secs
lola: 12157170 markings, 112419869 edges, 70445 markings/sec, 160 secs
lola: 12467159 markings, 115833653 edges, 61998 markings/sec, 165 secs
lola: 12833033 markings, 119164318 edges, 73175 markings/sec, 170 secs
lola: 13180686 markings, 122345441 edges, 69531 markings/sec, 175 secs
lola: 13534503 markings, 125804398 edges, 70763 markings/sec, 180 secs
lola: 13847397 markings, 129097140 edges, 62579 markings/sec, 185 secs
lola: 14208279 markings, 132599067 edges, 72176 markings/sec, 190 secs
lola: 14526166 markings, 135612340 edges, 63577 markings/sec, 195 secs
lola: 14860331 markings, 138583311 edges, 66833 markings/sec, 200 secs
lola: 15155497 markings, 141680344 edges, 59033 markings/sec, 205 secs
lola: 15464287 markings, 144785457 edges, 61758 markings/sec, 210 secs
lola: 15842117 markings, 148020018 edges, 75566 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(p241)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 518720 markings, 3386829 edges, 103744 markings/sec, 0 secs
lola: 896756 markings, 7000376 edges, 75607 markings/sec, 5 secs
lola: 1287507 markings, 10577046 edges, 78150 markings/sec, 10 secs
lola: 1646962 markings, 14039195 edges, 71891 markings/sec, 15 secs
lola: 2008316 markings, 17534046 edges, 72271 markings/sec, 20 secs
lola: 2378641 markings, 20802858 edges, 74065 markings/sec, 25 secs
lola: 2736468 markings, 24174733 edges, 71565 markings/sec, 30 secs
lola: 3054712 markings, 27705803 edges, 63649 markings/sec, 35 secs
lola: 3373134 markings, 30941703 edges, 63684 markings/sec, 40 secs
lola: 3694466 markings, 34250152 edges, 64266 markings/sec, 45 secs
lola: 4001531 markings, 37629506 edges, 61413 markings/sec, 50 secs
lola: 4277143 markings, 41009643 edges, 55122 markings/sec, 55 secs
lola: 4577076 markings, 44371713 edges, 59987 markings/sec, 60 secs
lola: 4904744 markings, 47612638 edges, 65534 markings/sec, 65 secs
lola: 5198033 markings, 51068132 edges, 58658 markings/sec, 70 secs
lola: 5500340 markings, 54454460 edges, 60461 markings/sec, 75 secs
lola: 5773095 markings, 57785777 edges, 54551 markings/sec, 80 secs
lola: 6043286 markings, 61265947 edges, 54038 markings/sec, 85 secs
lola: 6303734 markings, 64577983 edges, 52090 markings/sec, 90 secs
lola: 6582539 markings, 68019793 edges, 55761 markings/sec, 95 secs
lola: 6858246 markings, 71344546 edges, 55141 markings/sec, 100 secs
lola: 7180438 markings, 74486608 edges, 64438 markings/sec, 105 secs
lola: 7473756 markings, 77782471 edges, 58664 markings/sec, 110 secs
lola: 7754245 markings, 81082738 edges, 56098 markings/sec, 115 secs
lola: 8022912 markings, 84416200 edges, 53733 markings/sec, 120 secs
lola: 8310128 markings, 87729948 edges, 57443 markings/sec, 125 secs
lola: 8588066 markings, 90947331 edges, 55588 markings/sec, 130 secs
lola: 8886028 markings, 94299481 edges, 59592 markings/sec, 135 secs
lola: 9177880 markings, 97446172 edges, 58370 markings/sec, 140 secs
lola: 9452443 markings, 100578777 edges, 54913 markings/sec, 145 secs
lola: 9782791 markings, 103569464 edges, 66070 markings/sec, 150 secs
lola: 10041925 markings, 106872301 edges, 51827 markings/sec, 155 secs
lola: 10341180 markings, 110026041 edges, 59851 markings/sec, 160 secs
lola: 10608087 markings, 113141030 edges, 53381 markings/sec, 165 secs
lola: 10901978 markings, 116035900 edges, 58778 markings/sec, 170 secs
lola: 11138096 markings, 118819571 edges, 47224 markings/sec, 175 secs
lola: 11402004 markings, 121803105 edges, 52782 markings/sec, 180 secs
lola: 11688352 markings, 125073377 edges, 57270 markings/sec, 185 secs
lola: 11985369 markings, 128188212 edges, 59403 markings/sec, 190 secs
lola: 12264863 markings, 131369930 edges, 55899 markings/sec, 195 secs
lola: 12554213 markings, 134618377 edges, 57870 markings/sec, 200 secs
lola: 12816572 markings, 137735822 edges, 52472 markings/sec, 205 secs
lola: 13072952 markings, 140890256 edges, 51276 markings/sec, 210 secs
lola: 13350741 markings, 144193110 edges, 55558 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p43)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 541981 markings, 3481665 edges, 108396 markings/sec, 0 secs
lola: 962616 markings, 7079267 edges, 84127 markings/sec, 5 secs
lola: 1349136 markings, 10730398 edges, 77304 markings/sec, 10 secs
lola: 1758431 markings, 14220213 edges, 81859 markings/sec, 15 secs
lola: 2157722 markings, 17579113 edges, 79858 markings/sec, 20 secs
lola: 2551997 markings, 20670100 edges, 78855 markings/sec, 25 secs
lola: 2909283 markings, 23983680 edges, 71457 markings/sec, 30 secs
lola: 3237677 markings, 27387650 edges, 65679 markings/sec, 35 secs
lola: 3575600 markings, 30816541 edges, 67585 markings/sec, 40 secs
lola: 3910153 markings, 34186541 edges, 66911 markings/sec, 45 secs
lola: 4249860 markings, 37578883 edges, 67941 markings/sec, 50 secs
lola: 4585651 markings, 40981531 edges, 67158 markings/sec, 55 secs
lola: 4909801 markings, 44333274 edges, 64830 markings/sec, 60 secs
lola: 5202020 markings, 47569814 edges, 58444 markings/sec, 65 secs
lola: 5512931 markings, 50838648 edges, 62182 markings/sec, 70 secs
lola: 5832835 markings, 54134067 edges, 63981 markings/sec, 75 secs
lola: 6178671 markings, 57549534 edges, 69167 markings/sec, 80 secs
lola: 6508806 markings, 60929461 edges, 66027 markings/sec, 85 secs
lola: 6879084 markings, 64283565 edges, 74056 markings/sec, 90 secs
lola: 7265788 markings, 67673329 edges, 77341 markings/sec, 95 secs
lola: 7749125 markings, 71201494 edges, 96667 markings/sec, 100 secs
lola: 8159927 markings, 74636659 edges, 82160 markings/sec, 105 secs
lola: 8494085 markings, 77926234 edges, 66832 markings/sec, 110 secs
lola: 8821616 markings, 81284086 edges, 65506 markings/sec, 115 secs
lola: 9139540 markings, 84616308 edges, 63585 markings/sec, 120 secs
lola: 9454056 markings, 87902016 edges, 62903 markings/sec, 125 secs
lola: 9795903 markings, 91353943 edges, 68369 markings/sec, 130 secs
lola: 10113966 markings, 94566044 edges, 63613 markings/sec, 135 secs
lola: 10469493 markings, 97760630 edges, 71105 markings/sec, 140 secs
lola: 10801166 markings, 101080251 edges, 66335 markings/sec, 145 secs
lola: 11089632 markings, 104283139 edges, 57693 markings/sec, 150 secs
lola: 11436473 markings, 107551051 edges, 69368 markings/sec, 155 secs
lola: 11719060 markings, 110842268 edges, 56517 markings/sec, 160 secs
lola: 11989044 markings, 114077119 edges, 53997 markings/sec, 165 secs
lola: 12249269 markings, 117368630 edges, 52045 markings/sec, 170 secs
lola: 12596978 markings, 120757735 edges, 69542 markings/sec, 175 secs
lola: 12873735 markings, 123933253 edges, 55351 markings/sec, 180 secs
lola: 13158275 markings, 127152569 edges, 56908 markings/sec, 185 secs
lola: 13437201 markings, 130341059 edges, 55785 markings/sec, 190 secs
lola: 13697607 markings, 133550428 edges, 52081 markings/sec, 195 secs
lola: 13953629 markings, 136485305 edges, 51204 markings/sec, 200 secs
lola: 14229942 markings, 139656501 edges, 55263 markings/sec, 205 secs
lola: 14487762 markings, 142839872 edges, 51564 markings/sec, 210 secs
lola: 14736911 markings, 146023900 edges, 49830 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(p265)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 32 bytes per marking, with 25 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: 430624 markings, 3181160 edges, 86125 markings/sec, 0 secs
lola: 803736 markings, 6248610 edges, 74622 markings/sec, 5 secs
lola: 1148478 markings, 9301457 edges, 68948 markings/sec, 10 secs
lola: 1490636 markings, 12190360 edges, 68432 markings/sec, 15 secs
lola: 1800362 markings, 15506292 edges, 61945 markings/sec, 20 secs
lola: 2105221 markings, 18971632 edges, 60972 markings/sec, 25 secs
lola: 2395732 markings, 22449923 edges, 58102 markings/sec, 30 secs
lola: 2738613 markings, 25312744 edges, 68576 markings/sec, 35 secs
lola: 3037673 markings, 28284345 edges, 59812 markings/sec, 40 secs
lola: 3292782 markings, 31538896 edges, 51022 markings/sec, 45 secs
lola: 3535860 markings, 34802763 edges, 48616 markings/sec, 50 secs
lola: 3820248 markings, 37688638 edges, 56878 markings/sec, 55 secs
lola: 4091094 markings, 40541371 edges, 54169 markings/sec, 60 secs
lola: 4391476 markings, 43322999 edges, 60076 markings/sec, 65 secs
lola: 4691286 markings, 46115829 edges, 59962 markings/sec, 70 secs
lola: 4955380 markings, 48911090 edges, 52819 markings/sec, 75 secs
lola: 5190145 markings, 51963837 edges, 46953 markings/sec, 80 secs
lola: 5444497 markings, 54959213 edges, 50870 markings/sec, 85 secs
lola: 5719783 markings, 57927293 edges, 55057 markings/sec, 90 secs
lola: 5990575 markings, 61029201 edges, 54158 markings/sec, 95 secs
lola: 6252743 markings, 64038398 edges, 52434 markings/sec, 100 secs
lola: 6474375 markings, 67036827 edges, 44326 markings/sec, 105 secs
lola: 6709713 markings, 70083731 edges, 47068 markings/sec, 110 secs
lola: 6979679 markings, 72968338 edges, 53993 markings/sec, 115 secs
lola: 7189965 markings, 75990106 edges, 42057 markings/sec, 120 secs
lola: 7427977 markings, 79023518 edges, 47602 markings/sec, 125 secs
lola: 7670693 markings, 82172211 edges, 48543 markings/sec, 130 secs
lola: 7911081 markings, 85380102 edges, 48078 markings/sec, 135 secs
lola: 8175179 markings, 88529291 edges, 52820 markings/sec, 140 secs
lola: 8436706 markings, 91787855 edges, 52305 markings/sec, 145 secs
lola: 8702453 markings, 94908646 edges, 53149 markings/sec, 150 secs
lola: 8950777 markings, 97896525 edges, 49665 markings/sec, 155 secs
lola: 9194090 markings, 100971065 edges, 48663 markings/sec, 160 secs
lola: 9468562 markings, 103884297 edges, 54894 markings/sec, 165 secs
lola: 9720141 markings, 106753154 edges, 50316 markings/sec, 170 secs
lola: 9974485 markings, 109670977 edges, 50869 markings/sec, 175 secs
lola: 10183683 markings, 112697211 edges, 41840 markings/sec, 180 secs
lola: 10419128 markings, 115596554 edges, 47089 markings/sec, 185 secs
lola: 10626453 markings, 118598633 edges, 41465 markings/sec, 190 secs
lola: 10836042 markings, 121623146 edges, 41918 markings/sec, 195 secs
lola: 11052779 markings, 124656065 edges, 43347 markings/sec, 200 secs
lola: 11266628 markings, 127658386 edges, 42770 markings/sec, 205 secs
lola: 11492631 markings, 130692726 edges, 45201 markings/sec, 210 secs
lola: 11704121 markings, 133817657 edges, 42298 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA AutoFlight-PT-12a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-12a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496339095846
--------------------
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_AutoFlight-PT-12a"
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_AutoFlight-PT-12a.tgz
mv S_AutoFlight-PT-12a execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_AutoFlight-PT-12a, 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 r088-csrt-149441074200218"
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 ;