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-48a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-149441074200254
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496337763680


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_AutoFlight-PT-48a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_AutoFlight-PT-48a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_AutoFlight-PT-48a @ 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: 2240/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 1127 places, 1113 transitions, 869 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1096 transition conflict sets
lola: TASK
lola: reading formula from AutoFlight-PT-48a-UpperBounds.task
lola: MAX(p335) : MAX(p202) : MAX(p470) : MAX(p261) : MAX(p228) : MAX(p939) : MAX(p658) : MAX(p92) : MAX(p198) : MAX(p611) : MAX(p957) : MAX(p207) : MAX(p587) : MAX(p747) : MAX(p730) : MAX(p239)
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(p335)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 142561 markings, 1136812 edges, 28512 markings/sec, 0 secs
lola: 267866 markings, 2332503 edges, 25061 markings/sec, 5 secs
lola: 385632 markings, 3519226 edges, 23553 markings/sec, 10 secs
lola: 519654 markings, 4802426 edges, 26804 markings/sec, 15 secs
lola: 639874 markings, 6140956 edges, 24044 markings/sec, 20 secs
lola: 755377 markings, 7424390 edges, 23101 markings/sec, 25 secs
lola: 878865 markings, 8663193 edges, 24698 markings/sec, 30 secs
lola: 1001567 markings, 9988623 edges, 24540 markings/sec, 35 secs
lola: 1118277 markings, 11293639 edges, 23342 markings/sec, 40 secs
lola: 1213648 markings, 12484151 edges, 19074 markings/sec, 45 secs
lola: 1340020 markings, 13725987 edges, 25274 markings/sec, 50 secs
lola: 1461115 markings, 15042256 edges, 24219 markings/sec, 55 secs
lola: 1579006 markings, 16351009 edges, 23578 markings/sec, 60 secs
lola: 1688470 markings, 17594532 edges, 21893 markings/sec, 65 secs
lola: 1799794 markings, 18909918 edges, 22265 markings/sec, 70 secs
lola: 1906661 markings, 20264442 edges, 21373 markings/sec, 75 secs
lola: 2004968 markings, 21602281 edges, 19661 markings/sec, 80 secs
lola: 2123454 markings, 22908639 edges, 23697 markings/sec, 85 secs
lola: 2231734 markings, 24252485 edges, 21656 markings/sec, 90 secs
lola: 2337809 markings, 25605736 edges, 21215 markings/sec, 95 secs
lola: 2426770 markings, 26857375 edges, 17792 markings/sec, 100 secs
lola: 2540605 markings, 28084059 edges, 22767 markings/sec, 105 secs
lola: 2663603 markings, 29394502 edges, 24600 markings/sec, 110 secs
lola: 2781066 markings, 30715222 edges, 23493 markings/sec, 115 secs
lola: 2893976 markings, 31996913 edges, 22582 markings/sec, 120 secs
lola: 3007276 markings, 33327061 edges, 22660 markings/sec, 125 secs
lola: 3112650 markings, 34674382 edges, 21075 markings/sec, 130 secs
lola: 3216304 markings, 36033582 edges, 20731 markings/sec, 135 secs
lola: 3327662 markings, 37314574 edges, 22272 markings/sec, 140 secs
lola: 3437248 markings, 38656541 edges, 21917 markings/sec, 145 secs
lola: 3543299 markings, 40002958 edges, 21210 markings/sec, 150 secs
lola: 3636856 markings, 41307233 edges, 18711 markings/sec, 155 secs
lola: 3720148 markings, 42459792 edges, 16658 markings/sec, 160 secs
lola: 3803336 markings, 43618020 edges, 16638 markings/sec, 165 secs
lola: 3901181 markings, 44802353 edges, 19569 markings/sec, 170 secs
lola: 4030445 markings, 46096008 edges, 25853 markings/sec, 175 secs
lola: 4148861 markings, 47416146 edges, 23683 markings/sec, 180 secs
lola: 4257943 markings, 48697896 edges, 21816 markings/sec, 185 secs
lola: 4374616 markings, 50012731 edges, 23335 markings/sec, 190 secs
lola: 4484665 markings, 51363535 edges, 22010 markings/sec, 195 secs
lola: 4591489 markings, 52704963 edges, 21365 markings/sec, 200 secs
lola: 4696326 markings, 53985587 edges, 20967 markings/sec, 205 secs
lola: 4808241 markings, 55306623 edges, 22383 markings/sec, 210 secs
lola: 4913903 markings, 56661426 edges, 21132 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(p202)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 152321 markings, 1130215 edges, 30464 markings/sec, 0 secs
lola: 285833 markings, 2306755 edges, 26702 markings/sec, 5 secs
lola: 419498 markings, 3489145 edges, 26733 markings/sec, 10 secs
lola: 551664 markings, 4687820 edges, 26433 markings/sec, 15 secs
lola: 673111 markings, 5893519 edges, 24289 markings/sec, 20 secs
lola: 779007 markings, 7112962 edges, 21179 markings/sec, 25 secs
lola: 903932 markings, 8318136 edges, 24985 markings/sec, 30 secs
lola: 1018308 markings, 9528839 edges, 22875 markings/sec, 35 secs
lola: 1145737 markings, 10721489 edges, 25486 markings/sec, 40 secs
lola: 1263373 markings, 11950033 edges, 23527 markings/sec, 45 secs
lola: 1372617 markings, 13197302 edges, 21849 markings/sec, 50 secs
lola: 1499117 markings, 14329207 edges, 25300 markings/sec, 55 secs
lola: 1609434 markings, 15427960 edges, 22063 markings/sec, 60 secs
lola: 1721607 markings, 16529314 edges, 22435 markings/sec, 65 secs
lola: 1819654 markings, 17647968 edges, 19609 markings/sec, 70 secs
lola: 1918913 markings, 18795839 edges, 19852 markings/sec, 75 secs
lola: 2024064 markings, 19993233 edges, 21030 markings/sec, 80 secs
lola: 2138339 markings, 21175420 edges, 22855 markings/sec, 85 secs
lola: 2234676 markings, 22325637 edges, 19267 markings/sec, 90 secs
lola: 2334117 markings, 23571672 edges, 19888 markings/sec, 95 secs
lola: 2429209 markings, 24832356 edges, 19018 markings/sec, 100 secs
lola: 2544011 markings, 26060407 edges, 22960 markings/sec, 105 secs
lola: 2651430 markings, 27265087 edges, 21484 markings/sec, 110 secs
lola: 2760422 markings, 28422743 edges, 21798 markings/sec, 115 secs
lola: 2862042 markings, 29552026 edges, 20324 markings/sec, 120 secs
lola: 2960517 markings, 30731806 edges, 19695 markings/sec, 125 secs
lola: 3058173 markings, 32003402 edges, 19531 markings/sec, 130 secs
lola: 3151342 markings, 33286359 edges, 18634 markings/sec, 135 secs
lola: 3251154 markings, 34558006 edges, 19962 markings/sec, 140 secs
lola: 3342623 markings, 35829630 edges, 18294 markings/sec, 145 secs
lola: 3442182 markings, 37082388 edges, 19912 markings/sec, 150 secs
lola: 3559327 markings, 38338260 edges, 23429 markings/sec, 155 secs
lola: 3668024 markings, 39622036 edges, 21739 markings/sec, 160 secs
lola: 3768489 markings, 40927018 edges, 20093 markings/sec, 165 secs
lola: 3864957 markings, 42202441 edges, 19294 markings/sec, 170 secs
lola: 3965190 markings, 43425143 edges, 20047 markings/sec, 175 secs
lola: 4049531 markings, 44610087 edges, 16868 markings/sec, 180 secs
lola: 4145258 markings, 45820848 edges, 19145 markings/sec, 185 secs
lola: 4244022 markings, 47041412 edges, 19753 markings/sec, 190 secs
lola: 4332184 markings, 48256984 edges, 17632 markings/sec, 195 secs
lola: 4455511 markings, 49431375 edges, 24665 markings/sec, 200 secs
lola: 4567231 markings, 50609516 edges, 22344 markings/sec, 205 secs
lola: 4676422 markings, 51806405 edges, 21838 markings/sec, 210 secs
lola: 4772313 markings, 53017253 edges, 19178 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(p470)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 173141 markings, 980961 edges, 34628 markings/sec, 0 secs
lola: 328761 markings, 1982879 edges, 31124 markings/sec, 5 secs
lola: 478200 markings, 3009839 edges, 29888 markings/sec, 10 secs
lola: 620894 markings, 4048400 edges, 28539 markings/sec, 15 secs
lola: 747835 markings, 5135818 edges, 25388 markings/sec, 20 secs
lola: 889010 markings, 6170056 edges, 28235 markings/sec, 25 secs
lola: 1026781 markings, 7208004 edges, 27554 markings/sec, 30 secs
lola: 1157859 markings, 8271493 edges, 26216 markings/sec, 35 secs
lola: 1291433 markings, 9350837 edges, 26715 markings/sec, 40 secs
lola: 1393635 markings, 10500716 edges, 20440 markings/sec, 45 secs
lola: 1551633 markings, 11541798 edges, 31600 markings/sec, 50 secs
lola: 1686457 markings, 12644704 edges, 26965 markings/sec, 55 secs
lola: 1818263 markings, 13764299 edges, 26361 markings/sec, 60 secs
lola: 1959362 markings, 14848061 edges, 28220 markings/sec, 65 secs
lola: 2075270 markings, 15983941 edges, 23182 markings/sec, 70 secs
lola: 2177544 markings, 17150866 edges, 20455 markings/sec, 75 secs
lola: 2319453 markings, 18206689 edges, 28382 markings/sec, 80 secs
lola: 2461628 markings, 19247160 edges, 28435 markings/sec, 85 secs
lola: 2590023 markings, 20321164 edges, 25679 markings/sec, 90 secs
lola: 2727177 markings, 21372227 edges, 27431 markings/sec, 95 secs
lola: 2846425 markings, 22472653 edges, 23850 markings/sec, 100 secs
lola: 2963132 markings, 23586382 edges, 23341 markings/sec, 105 secs
lola: 3089370 markings, 24661210 edges, 25248 markings/sec, 110 secs
lola: 3214937 markings, 25724677 edges, 25113 markings/sec, 115 secs
lola: 3329551 markings, 26835243 edges, 22923 markings/sec, 120 secs
lola: 3451560 markings, 27896896 edges, 24402 markings/sec, 125 secs
lola: 3554714 markings, 29017386 edges, 20631 markings/sec, 130 secs
lola: 3664485 markings, 30118505 edges, 21954 markings/sec, 135 secs
lola: 3789513 markings, 31180097 edges, 25006 markings/sec, 140 secs
lola: 3899958 markings, 32216377 edges, 22089 markings/sec, 145 secs
lola: 4008707 markings, 33253087 edges, 21750 markings/sec, 150 secs
lola: 4127256 markings, 34272116 edges, 23710 markings/sec, 155 secs
lola: 4231920 markings, 35333560 edges, 20933 markings/sec, 160 secs
lola: 4318204 markings, 36434774 edges, 17257 markings/sec, 165 secs
lola: 4399591 markings, 37542919 edges, 16277 markings/sec, 170 secs
lola: 4545198 markings, 38474726 edges, 29121 markings/sec, 175 secs
lola: 4670686 markings, 39472819 edges, 25098 markings/sec, 180 secs
lola: 4792879 markings, 40506703 edges, 24439 markings/sec, 185 secs
lola: 4926059 markings, 41509881 edges, 26636 markings/sec, 190 secs
lola: 5041056 markings, 42578855 edges, 22999 markings/sec, 195 secs
lola: 5164649 markings, 43574932 edges, 24719 markings/sec, 200 secs
lola: 5281675 markings, 44592129 edges, 23405 markings/sec, 205 secs
lola: 5398535 markings, 45608548 edges, 23372 markings/sec, 210 secs
lola: 5508830 markings, 46652116 edges, 22059 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(p261)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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 4 will run for 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p228)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 178197 markings, 1188694 edges, 35639 markings/sec, 0 secs
lola: 342009 markings, 2430708 edges, 32762 markings/sec, 5 secs
lola: 482061 markings, 3686538 edges, 28010 markings/sec, 10 secs
lola: 622278 markings, 4892138 edges, 28043 markings/sec, 15 secs
lola: 766407 markings, 6124542 edges, 28826 markings/sec, 20 secs
lola: 901316 markings, 7341796 edges, 26982 markings/sec, 25 secs
lola: 1028743 markings, 8546367 edges, 25485 markings/sec, 30 secs
lola: 1161800 markings, 9785805 edges, 26611 markings/sec, 35 secs
lola: 1276457 markings, 11031317 edges, 22931 markings/sec, 40 secs
lola: 1400389 markings, 12276399 edges, 24786 markings/sec, 45 secs
lola: 1517059 markings, 13523107 edges, 23334 markings/sec, 50 secs
lola: 1645335 markings, 14749926 edges, 25655 markings/sec, 55 secs
lola: 1789269 markings, 15976688 edges, 28787 markings/sec, 60 secs
lola: 1921569 markings, 17197038 edges, 26460 markings/sec, 65 secs
lola: 2043621 markings, 18474628 edges, 24410 markings/sec, 70 secs
lola: 2167930 markings, 19726394 edges, 24862 markings/sec, 75 secs
lola: 2279746 markings, 20984514 edges, 22363 markings/sec, 80 secs
lola: 2386168 markings, 22259651 edges, 21284 markings/sec, 85 secs
lola: 2506297 markings, 23475287 edges, 24026 markings/sec, 90 secs
lola: 2618155 markings, 24690322 edges, 22372 markings/sec, 95 secs
lola: 2722993 markings, 25935367 edges, 20968 markings/sec, 100 secs
lola: 2845435 markings, 27187307 edges, 24488 markings/sec, 105 secs
lola: 2945170 markings, 28413222 edges, 19947 markings/sec, 110 secs
lola: 3056351 markings, 29646002 edges, 22236 markings/sec, 115 secs
lola: 3171065 markings, 30909623 edges, 22943 markings/sec, 120 secs
lola: 3295186 markings, 32162792 edges, 24824 markings/sec, 125 secs
lola: 3412658 markings, 33421661 edges, 23494 markings/sec, 130 secs
lola: 3522378 markings, 34664434 edges, 21944 markings/sec, 135 secs
lola: 3639144 markings, 35886657 edges, 23353 markings/sec, 140 secs
lola: 3752595 markings, 37145242 edges, 22690 markings/sec, 145 secs
lola: 3879609 markings, 38396728 edges, 25403 markings/sec, 150 secs
lola: 3987063 markings, 39620309 edges, 21491 markings/sec, 155 secs
lola: 4083237 markings, 40836999 edges, 19235 markings/sec, 160 secs
lola: 4186585 markings, 42060411 edges, 20670 markings/sec, 165 secs
lola: 4285460 markings, 43269630 edges, 19775 markings/sec, 170 secs
lola: 4392426 markings, 44438399 edges, 21393 markings/sec, 175 secs
lola: 4484974 markings, 45614966 edges, 18510 markings/sec, 180 secs
lola: 4576342 markings, 46816046 edges, 18274 markings/sec, 185 secs
lola: 4695140 markings, 48082936 edges, 23760 markings/sec, 190 secs
lola: 4800941 markings, 49353300 edges, 21160 markings/sec, 195 secs
lola: 4914733 markings, 50634798 edges, 22758 markings/sec, 200 secs
lola: 5026098 markings, 51920041 edges, 22273 markings/sec, 205 secs
lola: 5137356 markings, 53194922 edges, 22252 markings/sec, 210 secs
lola: 5248768 markings, 54458881 edges, 22282 markings/sec, 215 secs
lola: 5356619 markings, 55754251 edges, 21570 markings/sec, 220 secs
lola: 5459539 markings, 57016898 edges, 20584 markings/sec, 225 secs
lola: 5566584 markings, 58269850 edges, 21409 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p939)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 168999 markings, 1157335 edges, 33800 markings/sec, 0 secs
lola: 329282 markings, 2376821 edges, 32057 markings/sec, 5 secs
lola: 473543 markings, 3635476 edges, 28852 markings/sec, 10 secs
lola: 623197 markings, 4878757 edges, 29931 markings/sec, 15 secs
lola: 769233 markings, 6136048 edges, 29207 markings/sec, 20 secs
lola: 899720 markings, 7350792 edges, 26097 markings/sec, 25 secs
lola: 1033942 markings, 8598929 edges, 26844 markings/sec, 30 secs
lola: 1174419 markings, 9823471 edges, 28095 markings/sec, 35 secs
lola: 1312790 markings, 11030359 edges, 27674 markings/sec, 40 secs
lola: 1452337 markings, 12264830 edges, 27909 markings/sec, 45 secs
lola: 1580270 markings, 13552680 edges, 25587 markings/sec, 50 secs
lola: 1704484 markings, 14789028 edges, 24843 markings/sec, 55 secs
lola: 1834298 markings, 16029223 edges, 25963 markings/sec, 60 secs
lola: 1954639 markings, 17290860 edges, 24068 markings/sec, 65 secs
lola: 2075358 markings, 18566722 edges, 24144 markings/sec, 70 secs
lola: 2193914 markings, 19847643 edges, 23711 markings/sec, 75 secs
lola: 2329588 markings, 21074719 edges, 27135 markings/sec, 80 secs
lola: 2466496 markings, 22286568 edges, 27382 markings/sec, 85 secs
lola: 2602213 markings, 23553223 edges, 27143 markings/sec, 90 secs
lola: 2735195 markings, 24765337 edges, 26596 markings/sec, 95 secs
lola: 2861820 markings, 26031198 edges, 25325 markings/sec, 100 secs
lola: 2988036 markings, 27285086 edges, 25243 markings/sec, 105 secs
lola: 3114295 markings, 28532098 edges, 25252 markings/sec, 110 secs
lola: 3250044 markings, 29853950 edges, 27150 markings/sec, 115 secs
lola: 3377987 markings, 31138537 edges, 25589 markings/sec, 120 secs
lola: 3496277 markings, 32423541 edges, 23658 markings/sec, 125 secs
lola: 3616155 markings, 33693993 edges, 23976 markings/sec, 130 secs
lola: 3740860 markings, 35015884 edges, 24941 markings/sec, 135 secs
lola: 3865838 markings, 36264229 edges, 24996 markings/sec, 140 secs
lola: 3988653 markings, 37569826 edges, 24563 markings/sec, 145 secs
lola: 4108509 markings, 38882695 edges, 23971 markings/sec, 150 secs
lola: 4249960 markings, 40054399 edges, 28290 markings/sec, 155 secs
lola: 4386760 markings, 41262258 edges, 27360 markings/sec, 160 secs
lola: 4523758 markings, 42493354 edges, 27400 markings/sec, 165 secs
lola: 4648842 markings, 43760928 edges, 25017 markings/sec, 170 secs
lola: 4768795 markings, 44949524 edges, 23991 markings/sec, 175 secs
lola: 4898770 markings, 46202987 edges, 25995 markings/sec, 180 secs
lola: 5007697 markings, 47359319 edges, 21785 markings/sec, 185 secs
lola: 5122127 markings, 48575448 edges, 22886 markings/sec, 190 secs
lola: 5236290 markings, 49820148 edges, 22833 markings/sec, 195 secs
lola: 5355392 markings, 51000923 edges, 23820 markings/sec, 200 secs
lola: 5476445 markings, 52211178 edges, 24211 markings/sec, 205 secs
lola: 5594390 markings, 53438348 edges, 23589 markings/sec, 210 secs
lola: 5704360 markings, 54616382 edges, 21994 markings/sec, 215 secs
lola: 5803562 markings, 55817562 edges, 19840 markings/sec, 220 secs
lola: 5914006 markings, 57019412 edges, 22089 markings/sec, 225 secs
lola: 6026296 markings, 58261546 edges, 22458 markings/sec, 230 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 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p658)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 247212 markings, 908806 edges, 49442 markings/sec, 0 secs
lola: 479653 markings, 1922511 edges, 46488 markings/sec, 5 secs
lola: 707939 markings, 2940000 edges, 45657 markings/sec, 10 secs
lola: 918065 markings, 4007441 edges, 42025 markings/sec, 15 secs
lola: 1143827 markings, 4989541 edges, 45152 markings/sec, 20 secs
lola: 1349136 markings, 5987478 edges, 41062 markings/sec, 25 secs
lola: 1535182 markings, 6976704 edges, 37209 markings/sec, 30 secs
lola: 1743602 markings, 7955909 edges, 41684 markings/sec, 35 secs
lola: 1938201 markings, 8949908 edges, 38920 markings/sec, 40 secs
lola: 2130799 markings, 9976985 edges, 38520 markings/sec, 45 secs
lola: 2331213 markings, 11092108 edges, 40083 markings/sec, 50 secs
lola: 2538076 markings, 12157805 edges, 41373 markings/sec, 55 secs
lola: 2737161 markings, 13290272 edges, 39817 markings/sec, 60 secs
lola: 2933817 markings, 14328156 edges, 39331 markings/sec, 65 secs
lola: 3150206 markings, 15367893 edges, 43278 markings/sec, 70 secs
lola: 3344723 markings, 16357839 edges, 38903 markings/sec, 75 secs
lola: 3531960 markings, 17377773 edges, 37447 markings/sec, 80 secs
lola: 3715714 markings, 18398212 edges, 36751 markings/sec, 85 secs
lola: 3911103 markings, 19403596 edges, 39078 markings/sec, 90 secs
lola: 4100661 markings, 20447487 edges, 37912 markings/sec, 95 secs
lola: 4196634 markings, 21593872 edges, 19195 markings/sec, 100 secs
lola: 4430266 markings, 22620395 edges, 46726 markings/sec, 105 secs
lola: 4647262 markings, 23701980 edges, 43399 markings/sec, 110 secs
lola: 4862962 markings, 24787959 edges, 43140 markings/sec, 115 secs
lola: 5067044 markings, 25906744 edges, 40816 markings/sec, 120 secs
lola: 5273812 markings, 27008838 edges, 41354 markings/sec, 125 secs
lola: 5481936 markings, 28131151 edges, 41625 markings/sec, 130 secs
lola: 5658994 markings, 29256113 edges, 35412 markings/sec, 135 secs
lola: 5867661 markings, 30355316 edges, 41733 markings/sec, 140 secs
lola: 6061870 markings, 31478073 edges, 38842 markings/sec, 145 secs
lola: 6258456 markings, 32589466 edges, 39317 markings/sec, 150 secs
lola: 6445766 markings, 33738202 edges, 37462 markings/sec, 155 secs
lola: 6633600 markings, 34871607 edges, 37567 markings/sec, 160 secs
lola: 6824174 markings, 36020193 edges, 38115 markings/sec, 165 secs
lola: 6980386 markings, 37200552 edges, 31242 markings/sec, 170 secs
lola: 7194520 markings, 38278952 edges, 42827 markings/sec, 175 secs
lola: 7396817 markings, 39395143 edges, 40459 markings/sec, 180 secs
lola: 7586739 markings, 40507875 edges, 37984 markings/sec, 185 secs
lola: 7773261 markings, 41639478 edges, 37304 markings/sec, 190 secs
lola: 7950075 markings, 42735188 edges, 35363 markings/sec, 195 secs
lola: 8139921 markings, 43854192 edges, 37969 markings/sec, 200 secs
lola: 8317325 markings, 45015912 edges, 35481 markings/sec, 205 secs
lola: 8396195 markings, 46174446 edges, 15774 markings/sec, 210 secs
lola: 8627935 markings, 47183162 edges, 46348 markings/sec, 215 secs
lola: 8841779 markings, 48230265 edges, 42769 markings/sec, 220 secs
lola: 9033557 markings, 49220685 edges, 38356 markings/sec, 225 secs
lola: 9222070 markings, 50243370 edges, 37703 markings/sec, 230 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 239 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p92)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 152239 markings, 953576 edges, 30448 markings/sec, 0 secs
lola: 300426 markings, 1977519 edges, 29637 markings/sec, 5 secs
lola: 435330 markings, 3078712 edges, 26981 markings/sec, 10 secs
lola: 569640 markings, 4055386 edges, 26862 markings/sec, 15 secs
lola: 689394 markings, 5090964 edges, 23951 markings/sec, 20 secs
lola: 805914 markings, 6145333 edges, 23304 markings/sec, 25 secs
lola: 930533 markings, 7147687 edges, 24924 markings/sec, 30 secs
lola: 1053290 markings, 8155400 edges, 24551 markings/sec, 35 secs
lola: 1165016 markings, 9195587 edges, 22345 markings/sec, 40 secs
lola: 1286374 markings, 10253968 edges, 24272 markings/sec, 45 secs
lola: 1407376 markings, 11360038 edges, 24200 markings/sec, 50 secs
lola: 1508555 markings, 12526039 edges, 20236 markings/sec, 55 secs
lola: 1641828 markings, 13578510 edges, 26655 markings/sec, 60 secs
lola: 1763512 markings, 14638768 edges, 24337 markings/sec, 65 secs
lola: 1888405 markings, 15723059 edges, 24979 markings/sec, 70 secs
lola: 2000185 markings, 16815619 edges, 22356 markings/sec, 75 secs
lola: 2121359 markings, 17840655 edges, 24235 markings/sec, 80 secs
lola: 2224927 markings, 18883660 edges, 20714 markings/sec, 85 secs
lola: 2317020 markings, 19969448 edges, 18419 markings/sec, 90 secs
lola: 2410302 markings, 21043733 edges, 18656 markings/sec, 95 secs
lola: 2540118 markings, 22038424 edges, 25963 markings/sec, 100 secs
lola: 2668296 markings, 23063441 edges, 25636 markings/sec, 105 secs
lola: 2780478 markings, 24109198 edges, 22436 markings/sec, 110 secs
lola: 2892544 markings, 25111202 edges, 22413 markings/sec, 115 secs
lola: 3006214 markings, 26113401 edges, 22734 markings/sec, 120 secs
lola: 3107159 markings, 27163845 edges, 20189 markings/sec, 125 secs
lola: 3210559 markings, 28238221 edges, 20680 markings/sec, 130 secs
lola: 3320891 markings, 29291978 edges, 22066 markings/sec, 135 secs
lola: 3439892 markings, 30378334 edges, 23800 markings/sec, 140 secs
lola: 3544118 markings, 31490271 edges, 20845 markings/sec, 145 secs
lola: 3651874 markings, 32590363 edges, 21551 markings/sec, 150 secs
lola: 3762220 markings, 33704922 edges, 22069 markings/sec, 155 secs
lola: 3855955 markings, 34796514 edges, 18747 markings/sec, 160 secs
lola: 3956166 markings, 35978540 edges, 20042 markings/sec, 165 secs
lola: 4074510 markings, 37023872 edges, 23669 markings/sec, 170 secs
lola: 4180336 markings, 38143895 edges, 21165 markings/sec, 175 secs
lola: 4291600 markings, 39233905 edges, 22253 markings/sec, 180 secs
lola: 4394928 markings, 40376381 edges, 20666 markings/sec, 185 secs
lola: 4509893 markings, 41476937 edges, 22993 markings/sec, 190 secs
lola: 4611745 markings, 42602231 edges, 20370 markings/sec, 195 secs
lola: 4700109 markings, 43778157 edges, 17673 markings/sec, 200 secs
lola: 4782850 markings, 44949619 edges, 16548 markings/sec, 205 secs
lola: 4911309 markings, 45977985 edges, 25692 markings/sec, 210 secs
lola: 5035943 markings, 47059797 edges, 24927 markings/sec, 215 secs
lola: 5153076 markings, 48068721 edges, 23427 markings/sec, 220 secs
lola: 5261783 markings, 49123476 edges, 21741 markings/sec, 225 secs
lola: 5384365 markings, 50153824 edges, 24516 markings/sec, 230 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 240 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p198)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 143777 markings, 1103513 edges, 28755 markings/sec, 0 secs
lola: 276394 markings, 2338866 edges, 26523 markings/sec, 5 secs
lola: 402907 markings, 3510130 edges, 25303 markings/sec, 10 secs
lola: 516610 markings, 4714263 edges, 22741 markings/sec, 15 secs
lola: 631021 markings, 5885664 edges, 22882 markings/sec, 20 secs
lola: 743953 markings, 7039160 edges, 22586 markings/sec, 25 secs
lola: 852875 markings, 8227937 edges, 21784 markings/sec, 30 secs
lola: 957966 markings, 9431199 edges, 21018 markings/sec, 35 secs
lola: 1072060 markings, 10618242 edges, 22819 markings/sec, 40 secs
lola: 1193731 markings, 11881769 edges, 24334 markings/sec, 45 secs
lola: 1308803 markings, 13143722 edges, 23014 markings/sec, 50 secs
lola: 1425359 markings, 14432849 edges, 23311 markings/sec, 55 secs
lola: 1532168 markings, 15742532 edges, 21362 markings/sec, 60 secs
lola: 1637006 markings, 17003429 edges, 20968 markings/sec, 65 secs
lola: 1745611 markings, 18197703 edges, 21721 markings/sec, 70 secs
lola: 1857994 markings, 19378107 edges, 22477 markings/sec, 75 secs
lola: 1955289 markings, 20566155 edges, 19459 markings/sec, 80 secs
lola: 2048119 markings, 21803180 edges, 18566 markings/sec, 85 secs
lola: 2133315 markings, 23034786 edges, 17039 markings/sec, 90 secs
lola: 2225775 markings, 24285013 edges, 18492 markings/sec, 95 secs
lola: 2344542 markings, 25494742 edges, 23753 markings/sec, 100 secs
lola: 2459314 markings, 26771779 edges, 22954 markings/sec, 105 secs
lola: 2567095 markings, 28077366 edges, 21556 markings/sec, 110 secs
lola: 2673293 markings, 29341658 edges, 21240 markings/sec, 115 secs
lola: 2778724 markings, 30628277 edges, 21086 markings/sec, 120 secs
lola: 2873567 markings, 31899847 edges, 18969 markings/sec, 125 secs
lola: 2982004 markings, 33165286 edges, 21687 markings/sec, 130 secs
lola: 3071770 markings, 34457853 edges, 17953 markings/sec, 135 secs
lola: 3196609 markings, 35695744 edges, 24968 markings/sec, 140 secs
lola: 3319191 markings, 36990444 edges, 24516 markings/sec, 145 secs
lola: 3436130 markings, 38265789 edges, 23388 markings/sec, 150 secs
lola: 3547995 markings, 39564855 edges, 22373 markings/sec, 155 secs
lola: 3657429 markings, 40876149 edges, 21887 markings/sec, 160 secs
lola: 3762523 markings, 42172349 edges, 21019 markings/sec, 165 secs
lola: 3872132 markings, 43445244 edges, 21922 markings/sec, 170 secs
lola: 3973765 markings, 44763454 edges, 20327 markings/sec, 175 secs
lola: 4071067 markings, 46106412 edges, 19460 markings/sec, 180 secs
lola: 4185356 markings, 47407474 edges, 22858 markings/sec, 185 secs
lola: 4295950 markings, 48746011 edges, 22119 markings/sec, 190 secs
lola: 4400909 markings, 50083500 edges, 20992 markings/sec, 195 secs
lola: 4510067 markings, 51453382 edges, 21832 markings/sec, 200 secs
lola: 4609722 markings, 52845416 edges, 19931 markings/sec, 205 secs
lola: 4711454 markings, 54214742 edges, 20346 markings/sec, 210 secs
lola: 4807808 markings, 55538276 edges, 19271 markings/sec, 215 secs
lola: 4919729 markings, 56870476 edges, 22384 markings/sec, 220 secs
lola: 5016570 markings, 58163067 edges, 19368 markings/sec, 225 secs
lola: 5105029 markings, 59462607 edges, 17692 markings/sec, 230 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 240 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p611)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 204432 markings, 1182497 edges, 40886 markings/sec, 0 secs
lola: 389666 markings, 2426145 edges, 37047 markings/sec, 5 secs
lola: 514490 markings, 3660202 edges, 24965 markings/sec, 10 secs
lola: 621407 markings, 4819632 edges, 21383 markings/sec, 15 secs
lola: 772381 markings, 5963363 edges, 30195 markings/sec, 20 secs
lola: 913390 markings, 7183160 edges, 28202 markings/sec, 25 secs
lola: 1079300 markings, 8478016 edges, 33182 markings/sec, 30 secs
lola: 1191142 markings, 9801150 edges, 22368 markings/sec, 35 secs
lola: 1293600 markings, 11112471 edges, 20492 markings/sec, 40 secs
lola: 1403531 markings, 12352666 edges, 21986 markings/sec, 45 secs
lola: 1518685 markings, 13595839 edges, 23031 markings/sec, 50 secs
lola: 1628202 markings, 14867359 edges, 21903 markings/sec, 55 secs
lola: 1723942 markings, 16100495 edges, 19148 markings/sec, 60 secs
lola: 1820071 markings, 17337695 edges, 19226 markings/sec, 65 secs
lola: 1912463 markings, 18577357 edges, 18478 markings/sec, 70 secs
lola: 2002294 markings, 19791741 edges, 17966 markings/sec, 75 secs
lola: 2183664 markings, 20982705 edges, 36274 markings/sec, 80 secs
lola: 2342831 markings, 22160417 edges, 31833 markings/sec, 85 secs
lola: 2466883 markings, 23435151 edges, 24810 markings/sec, 90 secs
lola: 2570064 markings, 24726542 edges, 20636 markings/sec, 95 secs
lola: 2699312 markings, 25943949 edges, 25850 markings/sec, 100 secs
lola: 2831369 markings, 27155665 edges, 26411 markings/sec, 105 secs
lola: 2956988 markings, 28387174 edges, 25124 markings/sec, 110 secs
lola: 3086833 markings, 29661172 edges, 25969 markings/sec, 115 secs
lola: 3183708 markings, 30913223 edges, 19375 markings/sec, 120 secs
lola: 3290432 markings, 32159703 edges, 21345 markings/sec, 125 secs
lola: 3414423 markings, 33423634 edges, 24798 markings/sec, 130 secs
lola: 3514841 markings, 34734727 edges, 20084 markings/sec, 135 secs
lola: 3608662 markings, 36017107 edges, 18764 markings/sec, 140 secs
lola: 3702820 markings, 37293495 edges, 18832 markings/sec, 145 secs
lola: 3792784 markings, 38595064 edges, 17993 markings/sec, 150 secs
lola: 3889454 markings, 39883259 edges, 19334 markings/sec, 155 secs
lola: 3986764 markings, 41170139 edges, 19462 markings/sec, 160 secs
lola: 4103231 markings, 42465944 edges, 23293 markings/sec, 165 secs
lola: 4217771 markings, 43761540 edges, 22908 markings/sec, 170 secs
lola: 4319247 markings, 45054902 edges, 20295 markings/sec, 175 secs
lola: 4413335 markings, 46310753 edges, 18818 markings/sec, 180 secs
lola: 4504302 markings, 47613071 edges, 18193 markings/sec, 185 secs
lola: 4594887 markings, 48869603 edges, 18117 markings/sec, 190 secs
lola: 4688351 markings, 50136407 edges, 18693 markings/sec, 195 secs
lola: 4789144 markings, 51429373 edges, 20159 markings/sec, 200 secs
lola: 4877483 markings, 52663230 edges, 17668 markings/sec, 205 secs
lola: 4962050 markings, 53844039 edges, 16913 markings/sec, 210 secs
lola: 5042697 markings, 55033926 edges, 16129 markings/sec, 215 secs
lola: 5134369 markings, 56298269 edges, 18334 markings/sec, 220 secs
lola: 5217382 markings, 57506935 edges, 16603 markings/sec, 225 secs
lola: 5310907 markings, 58819310 edges, 18705 markings/sec, 230 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 240 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p957)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 153271 markings, 1050927 edges, 30654 markings/sec, 0 secs
lola: 293873 markings, 2134737 edges, 28120 markings/sec, 5 secs
lola: 422819 markings, 3239696 edges, 25789 markings/sec, 10 secs
lola: 548234 markings, 4363610 edges, 25083 markings/sec, 15 secs
lola: 681981 markings, 5468892 edges, 26749 markings/sec, 20 secs
lola: 802771 markings, 6593896 edges, 24158 markings/sec, 25 secs
lola: 926488 markings, 7726899 edges, 24743 markings/sec, 30 secs
lola: 1042243 markings, 8866113 edges, 23151 markings/sec, 35 secs
lola: 1174117 markings, 9965893 edges, 26375 markings/sec, 40 secs
lola: 1295447 markings, 11088323 edges, 24266 markings/sec, 45 secs
lola: 1418389 markings, 12201028 edges, 24588 markings/sec, 50 secs
lola: 1531891 markings, 13370510 edges, 22700 markings/sec, 55 secs
lola: 1647573 markings, 14519532 edges, 23136 markings/sec, 60 secs
lola: 1766313 markings, 15682050 edges, 23748 markings/sec, 65 secs
lola: 1874560 markings, 16843409 edges, 21649 markings/sec, 70 secs
lola: 1986337 markings, 18044475 edges, 22355 markings/sec, 75 secs
lola: 2092649 markings, 19219162 edges, 21262 markings/sec, 80 secs
lola: 2212292 markings, 20359497 edges, 23929 markings/sec, 85 secs
lola: 2333320 markings, 21456775 edges, 24206 markings/sec, 90 secs
lola: 2458067 markings, 22596102 edges, 24949 markings/sec, 95 secs
lola: 2585325 markings, 23767380 edges, 25452 markings/sec, 100 secs
lola: 2711386 markings, 24975779 edges, 25212 markings/sec, 105 secs
lola: 2829497 markings, 26220985 edges, 23622 markings/sec, 110 secs
lola: 2951835 markings, 27423280 edges, 24468 markings/sec, 115 secs
lola: 3079278 markings, 28692455 edges, 25489 markings/sec, 120 secs
lola: 3208165 markings, 29924715 edges, 25777 markings/sec, 125 secs
lola: 3320758 markings, 31165578 edges, 22519 markings/sec, 130 secs
lola: 3433678 markings, 32402389 edges, 22584 markings/sec, 135 secs
lola: 3554217 markings, 33670988 edges, 24108 markings/sec, 140 secs
lola: 3672762 markings, 34924239 edges, 23709 markings/sec, 145 secs
lola: 3789107 markings, 36162879 edges, 23269 markings/sec, 150 secs
lola: 3911674 markings, 37440693 edges, 24513 markings/sec, 155 secs
lola: 4032263 markings, 38653777 edges, 24118 markings/sec, 160 secs
lola: 4171352 markings, 39776575 edges, 27818 markings/sec, 165 secs
lola: 4299972 markings, 40985034 edges, 25724 markings/sec, 170 secs
lola: 4424564 markings, 42150438 edges, 24918 markings/sec, 175 secs
lola: 4538794 markings, 43381717 edges, 22846 markings/sec, 180 secs
lola: 4663624 markings, 44592951 edges, 24966 markings/sec, 185 secs
lola: 4783599 markings, 45813948 edges, 23995 markings/sec, 190 secs
lola: 4898343 markings, 47072144 edges, 22949 markings/sec, 195 secs
lola: 5014713 markings, 48311873 edges, 23274 markings/sec, 200 secs
lola: 5125810 markings, 49562787 edges, 22219 markings/sec, 205 secs
lola: 5253353 markings, 50767278 edges, 25509 markings/sec, 210 secs
lola: 5368708 markings, 52009120 edges, 23071 markings/sec, 215 secs
lola: 5483295 markings, 53239206 edges, 22917 markings/sec, 220 secs
lola: 5588302 markings, 54499870 edges, 21001 markings/sec, 225 secs
lola: 5699981 markings, 55755052 edges, 22336 markings/sec, 230 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 240 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p207)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 170424 markings, 1093976 edges, 34085 markings/sec, 0 secs
lola: 324826 markings, 2216355 edges, 30880 markings/sec, 5 secs
lola: 463396 markings, 3387760 edges, 27714 markings/sec, 10 secs
lola: 608489 markings, 4521681 edges, 29019 markings/sec, 15 secs
lola: 747141 markings, 5680121 edges, 27730 markings/sec, 20 secs
lola: 873188 markings, 6795825 edges, 25209 markings/sec, 25 secs
lola: 987351 markings, 7922463 edges, 22833 markings/sec, 30 secs
lola: 1109488 markings, 9049711 edges, 24427 markings/sec, 35 secs
lola: 1225675 markings, 10175982 edges, 23237 markings/sec, 40 secs
lola: 1344227 markings, 11320825 edges, 23710 markings/sec, 45 secs
lola: 1458830 markings, 12509813 edges, 22921 markings/sec, 50 secs
lola: 1602966 markings, 13622746 edges, 28827 markings/sec, 55 secs
lola: 1738569 markings, 14774566 edges, 27121 markings/sec, 60 secs
lola: 1853005 markings, 15903783 edges, 22887 markings/sec, 65 secs
lola: 1956874 markings, 17054939 edges, 20774 markings/sec, 70 secs
lola: 2054416 markings, 18208525 edges, 19508 markings/sec, 75 secs
lola: 2163538 markings, 19331509 edges, 21824 markings/sec, 80 secs
lola: 2274631 markings, 20496762 edges, 22219 markings/sec, 85 secs
lola: 2370374 markings, 21678422 edges, 19149 markings/sec, 90 secs
lola: 2492407 markings, 22844694 edges, 24407 markings/sec, 95 secs
lola: 2619765 markings, 24035955 edges, 25472 markings/sec, 100 secs
lola: 2731652 markings, 25159645 edges, 22377 markings/sec, 105 secs
lola: 2828798 markings, 26280403 edges, 19429 markings/sec, 110 secs
lola: 2936056 markings, 27422565 edges, 21452 markings/sec, 115 secs
lola: 3051097 markings, 28595455 edges, 23008 markings/sec, 120 secs
lola: 3164858 markings, 29803749 edges, 22752 markings/sec, 125 secs
lola: 3256649 markings, 30955157 edges, 18358 markings/sec, 130 secs
lola: 3377013 markings, 32166318 edges, 24073 markings/sec, 135 secs
lola: 3489511 markings, 33420501 edges, 22500 markings/sec, 140 secs
lola: 3608749 markings, 34674224 edges, 23848 markings/sec, 145 secs
lola: 3713185 markings, 35947939 edges, 20887 markings/sec, 150 secs
lola: 3806842 markings, 37202587 edges, 18731 markings/sec, 155 secs
lola: 3915481 markings, 38426943 edges, 21728 markings/sec, 160 secs
lola: 4019158 markings, 39640784 edges, 20735 markings/sec, 165 secs
lola: 4122199 markings, 40800070 edges, 20608 markings/sec, 170 secs
lola: 4222172 markings, 41973177 edges, 19995 markings/sec, 175 secs
lola: 4319891 markings, 43144005 edges, 19544 markings/sec, 180 secs
lola: 4415502 markings, 44339181 edges, 19122 markings/sec, 185 secs
lola: 4527499 markings, 45574670 edges, 22399 markings/sec, 190 secs
lola: 4628613 markings, 46855180 edges, 20223 markings/sec, 195 secs
lola: 4738008 markings, 48153259 edges, 21879 markings/sec, 200 secs
lola: 4852276 markings, 49428775 edges, 22854 markings/sec, 205 secs
lola: 4956552 markings, 50707942 edges, 20855 markings/sec, 210 secs
lola: 5057432 markings, 51986974 edges, 20176 markings/sec, 215 secs
lola: 5149130 markings, 53255594 edges, 18340 markings/sec, 220 secs
lola: 5289989 markings, 54428591 edges, 28172 markings/sec, 225 secs
lola: 5437725 markings, 55692628 edges, 29547 markings/sec, 230 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 240 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p587)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 205353 markings, 1191283 edges, 41071 markings/sec, 0 secs
lola: 390253 markings, 2431699 edges, 36980 markings/sec, 5 secs
lola: 516364 markings, 3674150 edges, 25222 markings/sec, 10 secs
lola: 626792 markings, 4885569 edges, 22086 markings/sec, 15 secs
lola: 784422 markings, 6011254 edges, 31526 markings/sec, 20 secs
lola: 918927 markings, 7208222 edges, 26901 markings/sec, 25 secs
lola: 1069492 markings, 8381495 edges, 30113 markings/sec, 30 secs
lola: 1174239 markings, 9617339 edges, 20949 markings/sec, 35 secs
lola: 1273543 markings, 10830751 edges, 19861 markings/sec, 40 secs
lola: 1367950 markings, 12009071 edges, 18881 markings/sec, 45 secs
lola: 1475230 markings, 13144413 edges, 21456 markings/sec, 50 secs
lola: 1582360 markings, 14311744 edges, 21426 markings/sec, 55 secs
lola: 1676274 markings, 15480363 edges, 18783 markings/sec, 60 secs
lola: 1767014 markings, 16658638 edges, 18148 markings/sec, 65 secs
lola: 1857943 markings, 17855587 edges, 18186 markings/sec, 70 secs
lola: 1946380 markings, 19038635 edges, 17687 markings/sec, 75 secs
lola: 2077473 markings, 20211775 edges, 26219 markings/sec, 80 secs
lola: 2221407 markings, 21409942 edges, 28787 markings/sec, 85 secs
lola: 2395671 markings, 22681494 edges, 34853 markings/sec, 90 secs
lola: 2508632 markings, 23965649 edges, 22592 markings/sec, 95 secs
lola: 2607667 markings, 25245494 edges, 19807 markings/sec, 100 secs
lola: 2763254 markings, 26392386 edges, 31117 markings/sec, 105 secs
lola: 2864390 markings, 27570352 edges, 20227 markings/sec, 110 secs
lola: 2997708 markings, 28763026 edges, 26664 markings/sec, 115 secs
lola: 3108983 markings, 29972509 edges, 22255 markings/sec, 120 secs
lola: 3204088 markings, 31179251 edges, 19021 markings/sec, 125 secs
lola: 3310013 markings, 32347007 edges, 21185 markings/sec, 130 secs
lola: 3430271 markings, 33590913 edges, 24052 markings/sec, 135 secs
lola: 3520517 markings, 34822016 edges, 18049 markings/sec, 140 secs
lola: 3611048 markings, 36046808 edges, 18106 markings/sec, 145 secs
lola: 3702378 markings, 37288101 edges, 18266 markings/sec, 150 secs
lola: 3787437 markings, 38515813 edges, 17012 markings/sec, 155 secs
lola: 3871031 markings, 39651188 edges, 16719 markings/sec, 160 secs
lola: 3965021 markings, 40916954 edges, 18798 markings/sec, 165 secs
lola: 4077332 markings, 42138021 edges, 22462 markings/sec, 170 secs
lola: 4185607 markings, 43394964 edges, 21655 markings/sec, 175 secs
lola: 4290864 markings, 44680035 edges, 21051 markings/sec, 180 secs
lola: 4385004 markings, 45943527 edges, 18828 markings/sec, 185 secs
lola: 4472713 markings, 47190726 edges, 17542 markings/sec, 190 secs
lola: 4563668 markings, 48420855 edges, 18191 markings/sec, 195 secs
lola: 4648372 markings, 49589585 edges, 16941 markings/sec, 200 secs
lola: 4734542 markings, 50783021 edges, 17234 markings/sec, 205 secs
lola: 4827954 markings, 51970568 edges, 18682 markings/sec, 210 secs
lola: 4913216 markings, 53183315 edges, 17052 markings/sec, 215 secs
lola: 4998649 markings, 54374419 edges, 17087 markings/sec, 220 secs
lola: 5076000 markings, 55527020 edges, 15470 markings/sec, 225 secs
lola: 5159863 markings, 56697203 edges, 16773 markings/sec, 230 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 240 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p747)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 193167 markings, 1115497 edges, 38633 markings/sec, 0 secs
lola: 333852 markings, 2296268 edges, 28137 markings/sec, 5 secs
lola: 508114 markings, 3541240 edges, 34852 markings/sec, 10 secs
lola: 623930 markings, 4743710 edges, 23163 markings/sec, 15 secs
lola: 739993 markings, 5899538 edges, 23213 markings/sec, 20 secs
lola: 856122 markings, 7034817 edges, 23226 markings/sec, 25 secs
lola: 964892 markings, 8185593 edges, 21754 markings/sec, 30 secs
lola: 1129391 markings, 9333792 edges, 32900 markings/sec, 35 secs
lola: 1242833 markings, 10506612 edges, 22688 markings/sec, 40 secs
lola: 1387850 markings, 11676743 edges, 29003 markings/sec, 45 secs
lola: 1509255 markings, 12895060 edges, 24281 markings/sec, 50 secs
lola: 1605541 markings, 14101920 edges, 19257 markings/sec, 55 secs
lola: 1715604 markings, 15330611 edges, 22013 markings/sec, 60 secs
lola: 1816295 markings, 16579702 edges, 20138 markings/sec, 65 secs
lola: 1906949 markings, 17748355 edges, 18131 markings/sec, 70 secs
lola: 2024304 markings, 18865379 edges, 23471 markings/sec, 75 secs
lola: 2128002 markings, 20024032 edges, 20740 markings/sec, 80 secs
lola: 2231327 markings, 21181102 edges, 20665 markings/sec, 85 secs
lola: 2333302 markings, 22336686 edges, 20395 markings/sec, 90 secs
lola: 2432897 markings, 23491472 edges, 19919 markings/sec, 95 secs
lola: 2524361 markings, 24656517 edges, 18293 markings/sec, 100 secs
lola: 2617244 markings, 25806277 edges, 18577 markings/sec, 105 secs
lola: 2710735 markings, 26963175 edges, 18698 markings/sec, 110 secs
lola: 2800254 markings, 28119411 edges, 17904 markings/sec, 115 secs
lola: 2885883 markings, 29277263 edges, 17126 markings/sec, 120 secs
lola: 2977009 markings, 30418069 edges, 18225 markings/sec, 125 secs
lola: 3108256 markings, 31550450 edges, 26249 markings/sec, 130 secs
lola: 3212999 markings, 32714695 edges, 20949 markings/sec, 135 secs
lola: 3318133 markings, 33837250 edges, 21027 markings/sec, 140 secs
lola: 3427890 markings, 34990910 edges, 21951 markings/sec, 145 secs
lola: 3539373 markings, 36156776 edges, 22297 markings/sec, 150 secs
lola: 3636828 markings, 37340975 edges, 19491 markings/sec, 155 secs
lola: 3730905 markings, 38524742 edges, 18815 markings/sec, 160 secs
lola: 3828539 markings, 39685927 edges, 19527 markings/sec, 165 secs
lola: 3924264 markings, 40899898 edges, 19145 markings/sec, 170 secs
lola: 4021353 markings, 42173369 edges, 19418 markings/sec, 175 secs
lola: 4111984 markings, 43445606 edges, 18126 markings/sec, 180 secs
lola: 4192493 markings, 44701170 edges, 16102 markings/sec, 185 secs
lola: 4303470 markings, 45919854 edges, 22195 markings/sec, 190 secs
lola: 4402967 markings, 47138771 edges, 19899 markings/sec, 195 secs
lola: 4544152 markings, 48298429 edges, 28237 markings/sec, 200 secs
lola: 4654603 markings, 49456863 edges, 22090 markings/sec, 205 secs
lola: 4760344 markings, 50656824 edges, 21148 markings/sec, 210 secs
lola: 4860053 markings, 51889152 edges, 19942 markings/sec, 215 secs
lola: 5001912 markings, 53089623 edges, 28372 markings/sec, 220 secs
lola: 5141448 markings, 54301539 edges, 27907 markings/sec, 225 secs
lola: 5244308 markings, 55458721 edges, 20572 markings/sec, 230 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 240 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p730)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 247857 markings, 914163 edges, 49571 markings/sec, 0 secs
lola: 477185 markings, 1914431 edges, 45866 markings/sec, 5 secs
lola: 706744 markings, 2934240 edges, 45912 markings/sec, 10 secs
lola: 915237 markings, 3997746 edges, 41699 markings/sec, 15 secs
lola: 1148741 markings, 5011941 edges, 46701 markings/sec, 20 secs
lola: 1357948 markings, 6074307 edges, 41841 markings/sec, 25 secs
lola: 1554308 markings, 7053598 edges, 39272 markings/sec, 30 secs
lola: 1773046 markings, 8102478 edges, 43748 markings/sec, 35 secs
lola: 1978072 markings, 9142152 edges, 41005 markings/sec, 40 secs
lola: 2175853 markings, 10212901 edges, 39556 markings/sec, 45 secs
lola: 2371287 markings, 11284196 edges, 39087 markings/sec, 50 secs
lola: 2577165 markings, 12367878 edges, 41176 markings/sec, 55 secs
lola: 2751918 markings, 13482813 edges, 34951 markings/sec, 60 secs
lola: 2969868 markings, 14492128 edges, 43590 markings/sec, 65 secs
lola: 3186649 markings, 15547657 edges, 43356 markings/sec, 70 secs
lola: 3390037 markings, 16596217 edges, 40678 markings/sec, 75 secs
lola: 3589658 markings, 17678914 edges, 39924 markings/sec, 80 secs
lola: 3787502 markings, 18749192 edges, 39569 markings/sec, 85 secs
lola: 3986463 markings, 19828778 edges, 39792 markings/sec, 90 secs
lola: 4145854 markings, 20953464 edges, 31878 markings/sec, 95 secs
lola: 4301466 markings, 22036426 edges, 31122 markings/sec, 100 secs
lola: 4518746 markings, 23055559 edges, 43456 markings/sec, 105 secs
lola: 4729432 markings, 24107779 edges, 42137 markings/sec, 110 secs
lola: 4939180 markings, 25207324 edges, 41950 markings/sec, 115 secs
lola: 5130921 markings, 26302813 edges, 38348 markings/sec, 120 secs
lola: 5346543 markings, 27391462 edges, 43124 markings/sec, 125 secs
lola: 5550138 markings, 28511971 edges, 40719 markings/sec, 130 secs
lola: 5713474 markings, 29526085 edges, 32667 markings/sec, 135 secs
lola: 5899362 markings, 30538780 edges, 37178 markings/sec, 140 secs
lola: 6078703 markings, 31562462 edges, 35868 markings/sec, 145 secs
lola: 6259656 markings, 32595028 edges, 36191 markings/sec, 150 secs
lola: 6435842 markings, 33678026 edges, 35237 markings/sec, 155 secs
lola: 6618831 markings, 34779072 edges, 36598 markings/sec, 160 secs
lola: 6804529 markings, 35911716 edges, 37140 markings/sec, 165 secs
lola: 6955142 markings, 37049964 edges, 30123 markings/sec, 170 secs
lola: 7159502 markings, 38092261 edges, 40872 markings/sec, 175 secs
lola: 7355358 markings, 39170673 edges, 39171 markings/sec, 180 secs
lola: 7534848 markings, 40202391 edges, 35898 markings/sec, 185 secs
lola: 7709588 markings, 41268185 edges, 34948 markings/sec, 190 secs
lola: 7882410 markings, 42380567 edges, 34564 markings/sec, 195 secs
lola: 8069732 markings, 43426162 edges, 37464 markings/sec, 200 secs
lola: 8243776 markings, 44488555 edges, 34809 markings/sec, 205 secs
lola: 8356470 markings, 45584303 edges, 22539 markings/sec, 210 secs
lola: 8511608 markings, 46650327 edges, 31028 markings/sec, 215 secs
lola: 8728065 markings, 47678773 edges, 43291 markings/sec, 220 secs
lola: 8930034 markings, 48691152 edges, 40394 markings/sec, 225 secs
lola: 9124465 markings, 49711699 edges, 38886 markings/sec, 230 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 240 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p239)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 112 bytes per marking, with 27 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: 157875 markings, 1044742 edges, 31575 markings/sec, 0 secs
lola: 298727 markings, 2171469 edges, 28170 markings/sec, 5 secs
lola: 436203 markings, 3358549 edges, 27495 markings/sec, 10 secs
lola: 565274 markings, 4616171 edges, 25814 markings/sec, 15 secs
lola: 715133 markings, 5838410 edges, 29972 markings/sec, 20 secs
lola: 853084 markings, 7130019 edges, 27590 markings/sec, 25 secs
lola: 989192 markings, 8407662 edges, 27222 markings/sec, 30 secs
lola: 1106857 markings, 9695453 edges, 23533 markings/sec, 35 secs
lola: 1224899 markings, 10928679 edges, 23608 markings/sec, 40 secs
lola: 1326111 markings, 12103715 edges, 20242 markings/sec, 45 secs
lola: 1452112 markings, 13201385 edges, 25200 markings/sec, 50 secs
lola: 1574207 markings, 14322553 edges, 24419 markings/sec, 55 secs
lola: 1701631 markings, 15483800 edges, 25485 markings/sec, 60 secs
lola: 1816891 markings, 16711017 edges, 23052 markings/sec, 65 secs
lola: 1928962 markings, 17965903 edges, 22414 markings/sec, 70 secs
lola: 2060932 markings, 19169122 edges, 26394 markings/sec, 75 secs
lola: 2174672 markings, 20419202 edges, 22748 markings/sec, 80 secs
lola: 2298910 markings, 21660479 edges, 24848 markings/sec, 85 secs
lola: 2402513 markings, 22928332 edges, 20721 markings/sec, 90 secs
lola: 2513487 markings, 24213921 edges, 22195 markings/sec, 95 secs
lola: 2630273 markings, 25452941 edges, 23357 markings/sec, 100 secs
lola: 2741302 markings, 26667288 edges, 22206 markings/sec, 105 secs
lola: 2847443 markings, 27926102 edges, 21228 markings/sec, 110 secs
lola: 2950488 markings, 29209330 edges, 20609 markings/sec, 115 secs
lola: 3046301 markings, 30479398 edges, 19163 markings/sec, 120 secs
lola: 3150343 markings, 31749811 edges, 20808 markings/sec, 125 secs
lola: 3240970 markings, 32982985 edges, 18125 markings/sec, 130 secs
lola: 3338985 markings, 34244032 edges, 19603 markings/sec, 135 secs
lola: 3433960 markings, 35512743 edges, 18995 markings/sec, 140 secs
lola: 3535227 markings, 36754619 edges, 20253 markings/sec, 145 secs
lola: 3680955 markings, 37963793 edges, 29146 markings/sec, 150 secs
lola: 3814065 markings, 39224658 edges, 26622 markings/sec, 155 secs
lola: 3944406 markings, 40484264 edges, 26068 markings/sec, 160 secs
lola: 4061669 markings, 41800987 edges, 23453 markings/sec, 165 secs
lola: 4193857 markings, 43078531 edges, 26438 markings/sec, 170 secs
lola: 4317122 markings, 44387664 edges, 24653 markings/sec, 175 secs
lola: 4439983 markings, 45681467 edges, 24572 markings/sec, 180 secs
lola: 4552227 markings, 46976619 edges, 22449 markings/sec, 185 secs
lola: 4653775 markings, 48205169 edges, 20310 markings/sec, 190 secs
lola: 4750518 markings, 49401947 edges, 19349 markings/sec, 195 secs
lola: 4839054 markings, 50583826 edges, 17707 markings/sec, 200 secs
lola: 4958604 markings, 51770829 edges, 23910 markings/sec, 205 secs
lola: 5077564 markings, 53010971 edges, 23792 markings/sec, 210 secs
lola: 5197937 markings, 54265054 edges, 24075 markings/sec, 215 secs
lola: 5305309 markings, 55511059 edges, 21474 markings/sec, 220 secs
lola: 5404241 markings, 56754845 edges, 19786 markings/sec, 225 secs
lola: 5504908 markings, 57934544 edges, 20133 markings/sec, 230 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 1 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA AutoFlight-PT-48a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496341303614

--------------------
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-48a"
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-48a.tgz
mv S_AutoFlight-PT-48a 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-48a, 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-149441074200254"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;