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

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

=== Now, execution of the tool begins

BK_START 1496336789346


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


checking for too many tokens
===========================================================================================
S_AutoFlight-PT-24a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_AutoFlight-PT-24a @ 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: 1212/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 607 places, 605 transitions, 459 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 584 transition conflict sets
lola: TASK
lola: reading formula from AutoFlight-PT-24a-UpperBounds.task
lola: MAX(p268) : MAX(p53) : MAX(p416) : MAX(p276) : MAX(p464) : MAX(p169) : MAX(p606) : MAX(p527) : MAX(p511) : MAX(p33) : MAX(p590) : MAX(p342) : MAX(p355) : MAX(p555) : MAX(p326) : MAX(p318)
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(p268)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 421530 markings, 1816825 edges, 84306 markings/sec, 0 secs
lola: 777652 markings, 3713587 edges, 71224 markings/sec, 5 secs
lola: 1124084 markings, 5598355 edges, 69286 markings/sec, 10 secs
lola: 1429255 markings, 7645836 edges, 61034 markings/sec, 15 secs
lola: 1807247 markings, 9732318 edges, 75598 markings/sec, 20 secs
lola: 2109606 markings, 11780434 edges, 60472 markings/sec, 25 secs
lola: 2417640 markings, 13721193 edges, 61607 markings/sec, 30 secs
lola: 2724093 markings, 15668688 edges, 61291 markings/sec, 35 secs
lola: 2991985 markings, 17508744 edges, 53578 markings/sec, 40 secs
lola: 3283122 markings, 19346997 edges, 58227 markings/sec, 45 secs
lola: 3528027 markings, 21205299 edges, 48981 markings/sec, 50 secs
lola: 3785899 markings, 23165696 edges, 51574 markings/sec, 55 secs
lola: 4025294 markings, 25055955 edges, 47879 markings/sec, 60 secs
lola: 4254249 markings, 26906227 edges, 45791 markings/sec, 65 secs
lola: 4475968 markings, 28712008 edges, 44344 markings/sec, 70 secs
lola: 4695918 markings, 30527934 edges, 43990 markings/sec, 75 secs
lola: 4985134 markings, 32296328 edges, 57843 markings/sec, 80 secs
lola: 5329103 markings, 34195018 edges, 68794 markings/sec, 85 secs
lola: 5615112 markings, 36081247 edges, 57202 markings/sec, 90 secs
lola: 5934492 markings, 38001243 edges, 63876 markings/sec, 95 secs
lola: 6192116 markings, 39885770 edges, 51525 markings/sec, 100 secs
lola: 6447801 markings, 41916335 edges, 51137 markings/sec, 105 secs
lola: 6694640 markings, 43909268 edges, 49368 markings/sec, 110 secs
lola: 7020126 markings, 45919024 edges, 65097 markings/sec, 115 secs
lola: 7341981 markings, 47967455 edges, 64371 markings/sec, 120 secs
lola: 7589826 markings, 50006552 edges, 49569 markings/sec, 125 secs
lola: 7828745 markings, 52013470 edges, 47784 markings/sec, 130 secs
lola: 8057517 markings, 54007858 edges, 45754 markings/sec, 135 secs
lola: 8317145 markings, 56069438 edges, 51926 markings/sec, 140 secs
lola: 8652343 markings, 58235017 edges, 67040 markings/sec, 145 secs
lola: 8946377 markings, 60374981 edges, 58807 markings/sec, 150 secs
lola: 9196051 markings, 62461860 edges, 49935 markings/sec, 155 secs
lola: 9443721 markings, 64509093 edges, 49534 markings/sec, 160 secs
lola: 9687755 markings, 66607805 edges, 48807 markings/sec, 165 secs
lola: 9935194 markings, 68689634 edges, 49488 markings/sec, 170 secs
lola: 10169008 markings, 70721160 edges, 46763 markings/sec, 175 secs
lola: 10401535 markings, 72756048 edges, 46505 markings/sec, 180 secs
lola: 10640706 markings, 74827881 edges, 47834 markings/sec, 185 secs
lola: 10874792 markings, 76875809 edges, 46817 markings/sec, 190 secs
lola: 11103884 markings, 78904293 edges, 45818 markings/sec, 195 secs
lola: 11337311 markings, 80977572 edges, 46685 markings/sec, 200 secs
lola: 11573119 markings, 83021548 edges, 47162 markings/sec, 205 secs
lola: 11820419 markings, 85074370 edges, 49460 markings/sec, 210 secs
lola: 12072197 markings, 87141794 edges, 50356 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(p53)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 318479 markings, 1944587 edges, 63696 markings/sec, 0 secs
lola: 611243 markings, 3950384 edges, 58553 markings/sec, 5 secs
lola: 888410 markings, 6065722 edges, 55433 markings/sec, 10 secs
lola: 1221633 markings, 8137486 edges, 66645 markings/sec, 15 secs
lola: 1551055 markings, 10294813 edges, 65884 markings/sec, 20 secs
lola: 1855361 markings, 12352991 edges, 60861 markings/sec, 25 secs
lola: 2130657 markings, 14441037 edges, 55059 markings/sec, 30 secs
lola: 2390879 markings, 16609484 edges, 52044 markings/sec, 35 secs
lola: 2639349 markings, 18739014 edges, 49694 markings/sec, 40 secs
lola: 2934830 markings, 20872834 edges, 59096 markings/sec, 45 secs
lola: 3227098 markings, 23098996 edges, 58454 markings/sec, 50 secs
lola: 3533750 markings, 25183503 edges, 61330 markings/sec, 55 secs
lola: 3841260 markings, 27298870 edges, 61502 markings/sec, 60 secs
lola: 4185310 markings, 29615778 edges, 68810 markings/sec, 65 secs
lola: 4526083 markings, 31950251 edges, 68155 markings/sec, 70 secs
lola: 4861431 markings, 34225304 edges, 67070 markings/sec, 75 secs
lola: 5177790 markings, 36459816 edges, 63272 markings/sec, 80 secs
lola: 5496999 markings, 38747280 edges, 63842 markings/sec, 85 secs
lola: 5778373 markings, 41031955 edges, 56275 markings/sec, 90 secs
lola: 6048559 markings, 43371249 edges, 54037 markings/sec, 95 secs
lola: 6361972 markings, 45679282 edges, 62683 markings/sec, 100 secs
lola: 6656692 markings, 47954632 edges, 58944 markings/sec, 105 secs
lola: 6961273 markings, 50236851 edges, 60916 markings/sec, 110 secs
lola: 7228066 markings, 52568040 edges, 53359 markings/sec, 115 secs
lola: 7485784 markings, 54904612 edges, 51544 markings/sec, 120 secs
lola: 7723532 markings, 57281576 edges, 47550 markings/sec, 125 secs
lola: 8009438 markings, 59680717 edges, 57181 markings/sec, 130 secs
lola: 8277363 markings, 62036129 edges, 53585 markings/sec, 135 secs
lola: 8557636 markings, 64363613 edges, 56055 markings/sec, 140 secs
lola: 8856400 markings, 66626237 edges, 59753 markings/sec, 145 secs
lola: 9142475 markings, 68873485 edges, 57215 markings/sec, 150 secs
lola: 9413008 markings, 70995061 edges, 54107 markings/sec, 155 secs
lola: 9680246 markings, 73091897 edges, 53448 markings/sec, 160 secs
lola: 9940426 markings, 75149769 edges, 52036 markings/sec, 165 secs
lola: 10207598 markings, 77270428 edges, 53434 markings/sec, 170 secs
lola: 10502342 markings, 79460392 edges, 58949 markings/sec, 175 secs
lola: 10807933 markings, 81622570 edges, 61118 markings/sec, 180 secs
lola: 11120830 markings, 83774718 edges, 62579 markings/sec, 185 secs
lola: 11394885 markings, 85957536 edges, 54811 markings/sec, 190 secs
lola: 11649343 markings, 88043161 edges, 50892 markings/sec, 195 secs
lola: 11937879 markings, 90061899 edges, 57707 markings/sec, 200 secs
lola: 12224365 markings, 92115165 edges, 57297 markings/sec, 205 secs
lola: 12524963 markings, 94268114 edges, 60120 markings/sec, 210 secs
lola: 12821726 markings, 96412720 edges, 59353 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(p416)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 398340 markings, 2086111 edges, 79668 markings/sec, 0 secs
lola: 751487 markings, 4281319 edges, 70629 markings/sec, 5 secs
lola: 1117715 markings, 6449389 edges, 73246 markings/sec, 10 secs
lola: 1469060 markings, 8670243 edges, 70269 markings/sec, 15 secs
lola: 1791558 markings, 10997087 edges, 64500 markings/sec, 20 secs
lola: 2120290 markings, 13290318 edges, 65746 markings/sec, 25 secs
lola: 2477137 markings, 15491943 edges, 71369 markings/sec, 30 secs
lola: 2795098 markings, 17612380 edges, 63592 markings/sec, 35 secs
lola: 3079159 markings, 19628603 edges, 56812 markings/sec, 40 secs
lola: 3390547 markings, 21597696 edges, 62278 markings/sec, 45 secs
lola: 3702098 markings, 23648643 edges, 62310 markings/sec, 50 secs
lola: 4013928 markings, 25872866 edges, 62366 markings/sec, 55 secs
lola: 4326549 markings, 28043100 edges, 62524 markings/sec, 60 secs
lola: 4630798 markings, 30251052 edges, 60850 markings/sec, 65 secs
lola: 4909831 markings, 32499435 edges, 55807 markings/sec, 70 secs
lola: 5195125 markings, 34747873 edges, 57059 markings/sec, 75 secs
lola: 5489516 markings, 36934871 edges, 58878 markings/sec, 80 secs
lola: 5785843 markings, 39137387 edges, 59265 markings/sec, 85 secs
lola: 6064507 markings, 41313371 edges, 55733 markings/sec, 90 secs
lola: 6328885 markings, 43463551 edges, 52876 markings/sec, 95 secs
lola: 6657859 markings, 45630036 edges, 65795 markings/sec, 100 secs
lola: 6981302 markings, 47786423 edges, 64689 markings/sec, 105 secs
lola: 7267749 markings, 49884909 edges, 57289 markings/sec, 110 secs
lola: 7558214 markings, 52005908 edges, 58093 markings/sec, 115 secs
lola: 7852454 markings, 54101820 edges, 58848 markings/sec, 120 secs
lola: 8136147 markings, 56194459 edges, 56739 markings/sec, 125 secs
lola: 8442869 markings, 58287927 edges, 61344 markings/sec, 130 secs
lola: 8786071 markings, 60480237 edges, 68640 markings/sec, 135 secs
lola: 9100057 markings, 62737916 edges, 62797 markings/sec, 140 secs
lola: 9415568 markings, 64937134 edges, 63102 markings/sec, 145 secs
lola: 9724834 markings, 67131021 edges, 61853 markings/sec, 150 secs
lola: 10006851 markings, 69347757 edges, 56403 markings/sec, 155 secs
lola: 10298821 markings, 71653368 edges, 58394 markings/sec, 160 secs
lola: 10597246 markings, 73915881 edges, 59685 markings/sec, 165 secs
lola: 10890700 markings, 76084065 edges, 58691 markings/sec, 170 secs
lola: 11176316 markings, 78281924 edges, 57123 markings/sec, 175 secs
lola: 11443581 markings, 80455911 edges, 53453 markings/sec, 180 secs
lola: 11744731 markings, 82636095 edges, 60230 markings/sec, 185 secs
lola: 12042887 markings, 84861844 edges, 59631 markings/sec, 190 secs
lola: 12325882 markings, 87149151 edges, 56599 markings/sec, 195 secs
lola: 12601442 markings, 89350548 edges, 55112 markings/sec, 200 secs
lola: 12883038 markings, 91605268 edges, 56319 markings/sec, 205 secs
lola: 13144350 markings, 93846793 edges, 52262 markings/sec, 210 secs
lola: 13405746 markings, 96188024 edges, 52279 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(p276)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 424528 markings, 1985531 edges, 84906 markings/sec, 0 secs
lola: 784110 markings, 3997095 edges, 71916 markings/sec, 5 secs
lola: 1129993 markings, 6030096 edges, 69177 markings/sec, 10 secs
lola: 1430926 markings, 8065028 edges, 60187 markings/sec, 15 secs
lola: 1772775 markings, 10001838 edges, 68370 markings/sec, 20 secs
lola: 2059112 markings, 12080443 edges, 57267 markings/sec, 25 secs
lola: 2395462 markings, 14178260 edges, 67270 markings/sec, 30 secs
lola: 2669188 markings, 16070908 edges, 54745 markings/sec, 35 secs
lola: 2954071 markings, 18002092 edges, 56977 markings/sec, 40 secs
lola: 3245832 markings, 19956658 edges, 58352 markings/sec, 45 secs
lola: 3506041 markings, 21911166 edges, 52042 markings/sec, 50 secs
lola: 3775893 markings, 23970121 edges, 53970 markings/sec, 55 secs
lola: 4035919 markings, 26020679 edges, 52005 markings/sec, 60 secs
lola: 4285011 markings, 28042972 edges, 49818 markings/sec, 65 secs
lola: 4535148 markings, 30076101 edges, 50027 markings/sec, 70 secs
lola: 4783515 markings, 32120905 edges, 49673 markings/sec, 75 secs
lola: 5121824 markings, 34129820 edges, 67662 markings/sec, 80 secs
lola: 5442779 markings, 36143153 edges, 64191 markings/sec, 85 secs
lola: 5754053 markings, 38102035 edges, 62255 markings/sec, 90 secs
lola: 6061550 markings, 40170439 edges, 61499 markings/sec, 95 secs
lola: 6299178 markings, 42127568 edges, 47526 markings/sec, 100 secs
lola: 6553412 markings, 44115137 edges, 50847 markings/sec, 105 secs
lola: 6797928 markings, 46080512 edges, 48903 markings/sec, 110 secs
lola: 7111829 markings, 48081303 edges, 62780 markings/sec, 115 secs
lola: 7409973 markings, 50146979 edges, 59629 markings/sec, 120 secs
lola: 7653968 markings, 52133191 edges, 48799 markings/sec, 125 secs
lola: 7888267 markings, 54107626 edges, 46860 markings/sec, 130 secs
lola: 8112447 markings, 56071540 edges, 44836 markings/sec, 135 secs
lola: 8366115 markings, 58050649 edges, 50734 markings/sec, 140 secs
lola: 8655779 markings, 60099741 edges, 57933 markings/sec, 145 secs
lola: 8929310 markings, 62169637 edges, 54706 markings/sec, 150 secs
lola: 9173741 markings, 64165473 edges, 48886 markings/sec, 155 secs
lola: 9406766 markings, 66119943 edges, 46605 markings/sec, 160 secs
lola: 9642095 markings, 68119318 edges, 47066 markings/sec, 165 secs
lola: 9879168 markings, 70103033 edges, 47415 markings/sec, 170 secs
lola: 10109061 markings, 72077687 edges, 45979 markings/sec, 175 secs
lola: 10329053 markings, 74023360 edges, 43998 markings/sec, 180 secs
lola: 10559108 markings, 76002015 edges, 46011 markings/sec, 185 secs
lola: 10782029 markings, 77967368 edges, 44584 markings/sec, 190 secs
lola: 11003849 markings, 79913772 edges, 44364 markings/sec, 195 secs
lola: 11227479 markings, 81867134 edges, 44726 markings/sec, 200 secs
lola: 11448576 markings, 83823034 edges, 44219 markings/sec, 205 secs
lola: 11675120 markings, 85793508 edges, 45309 markings/sec, 210 secs
lola: 11934606 markings, 87788591 edges, 51897 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(p464)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 341727 markings, 2057574 edges, 68345 markings/sec, 0 secs
lola: 644985 markings, 4143247 edges, 60652 markings/sec, 5 secs
lola: 927573 markings, 6211744 edges, 56518 markings/sec, 10 secs
lola: 1195224 markings, 8250049 edges, 53530 markings/sec, 15 secs
lola: 1439611 markings, 10209258 edges, 48877 markings/sec, 20 secs
lola: 1674079 markings, 12171538 edges, 46894 markings/sec, 25 secs
lola: 1900028 markings, 14148958 edges, 45190 markings/sec, 30 secs
lola: 2178419 markings, 16187234 edges, 55678 markings/sec, 35 secs
lola: 2431380 markings, 18223809 edges, 50592 markings/sec, 40 secs
lola: 2653534 markings, 20205712 edges, 44431 markings/sec, 45 secs
lola: 2901573 markings, 22205268 edges, 49608 markings/sec, 50 secs
lola: 3135544 markings, 24197864 edges, 46794 markings/sec, 55 secs
lola: 3365636 markings, 26210651 edges, 46018 markings/sec, 60 secs
lola: 3594891 markings, 28186904 edges, 45851 markings/sec, 65 secs
lola: 3817259 markings, 30204096 edges, 44474 markings/sec, 70 secs
lola: 4045215 markings, 32191701 edges, 45591 markings/sec, 75 secs
lola: 4258516 markings, 34150475 edges, 42660 markings/sec, 80 secs
lola: 4469452 markings, 36085374 edges, 42187 markings/sec, 85 secs
lola: 4669255 markings, 37988265 edges, 39961 markings/sec, 90 secs
lola: 4866978 markings, 39892886 edges, 39545 markings/sec, 95 secs
lola: 5067548 markings, 41816320 edges, 40114 markings/sec, 100 secs
lola: 5279038 markings, 43826112 edges, 42298 markings/sec, 105 secs
lola: 5487648 markings, 45820645 edges, 41722 markings/sec, 110 secs
lola: 5697473 markings, 47846286 edges, 41965 markings/sec, 115 secs
lola: 5902259 markings, 49871210 edges, 40957 markings/sec, 120 secs
lola: 6194316 markings, 51918073 edges, 58411 markings/sec, 125 secs
lola: 6401024 markings, 53959046 edges, 41342 markings/sec, 130 secs
lola: 6611166 markings, 55992837 edges, 42028 markings/sec, 135 secs
lola: 6809546 markings, 58053371 edges, 39676 markings/sec, 140 secs
lola: 7003561 markings, 60033735 edges, 38803 markings/sec, 145 secs
lola: 7227157 markings, 62093588 edges, 44719 markings/sec, 150 secs
lola: 7511956 markings, 64208760 edges, 56960 markings/sec, 155 secs
lola: 7753912 markings, 66278950 edges, 48391 markings/sec, 160 secs
lola: 7979442 markings, 68312254 edges, 45106 markings/sec, 165 secs
lola: 8205077 markings, 70359801 edges, 45127 markings/sec, 170 secs
lola: 8416240 markings, 72345938 edges, 42233 markings/sec, 175 secs
lola: 8659029 markings, 74363705 edges, 48558 markings/sec, 180 secs
lola: 8849443 markings, 76337041 edges, 38083 markings/sec, 185 secs
lola: 9057886 markings, 78295490 edges, 41689 markings/sec, 190 secs
lola: 9285545 markings, 80291281 edges, 45532 markings/sec, 195 secs
lola: 9494998 markings, 82241635 edges, 41891 markings/sec, 200 secs
lola: 9709141 markings, 84246435 edges, 42829 markings/sec, 205 secs
lola: 9918810 markings, 86222704 edges, 41934 markings/sec, 210 secs
lola: 10136678 markings, 88206638 edges, 43574 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(p169)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 398563 markings, 2009687 edges, 79713 markings/sec, 0 secs
lola: 751109 markings, 4061651 edges, 70509 markings/sec, 5 secs
lola: 1088484 markings, 6094177 edges, 67475 markings/sec, 10 secs
lola: 1404758 markings, 8112302 edges, 63255 markings/sec, 15 secs
lola: 1706364 markings, 10134473 edges, 60321 markings/sec, 20 secs
lola: 2026875 markings, 12146782 edges, 64102 markings/sec, 25 secs
lola: 2333534 markings, 14167950 edges, 61332 markings/sec, 30 secs
lola: 2624333 markings, 16153652 edges, 58160 markings/sec, 35 secs
lola: 2916922 markings, 18161643 edges, 58518 markings/sec, 40 secs
lola: 3197132 markings, 20157431 edges, 56042 markings/sec, 45 secs
lola: 3482854 markings, 22146982 edges, 57144 markings/sec, 50 secs
lola: 3753314 markings, 24126019 edges, 54092 markings/sec, 55 secs
lola: 4027662 markings, 26100786 edges, 54870 markings/sec, 60 secs
lola: 4291931 markings, 28082433 edges, 52854 markings/sec, 65 secs
lola: 4558467 markings, 30064778 edges, 53307 markings/sec, 70 secs
lola: 4825223 markings, 32048355 edges, 53351 markings/sec, 75 secs
lola: 5078546 markings, 34063374 edges, 50665 markings/sec, 80 secs
lola: 5399365 markings, 36094963 edges, 64164 markings/sec, 85 secs
lola: 5718858 markings, 38148151 edges, 63899 markings/sec, 90 secs
lola: 5968333 markings, 40136925 edges, 49895 markings/sec, 95 secs
lola: 6234070 markings, 42077123 edges, 53147 markings/sec, 100 secs
lola: 6481472 markings, 44019980 edges, 49480 markings/sec, 105 secs
lola: 6723648 markings, 45970290 edges, 48435 markings/sec, 110 secs
lola: 6998935 markings, 47933587 edges, 55057 markings/sec, 115 secs
lola: 7280253 markings, 49927634 edges, 56264 markings/sec, 120 secs
lola: 7509221 markings, 51878649 edges, 45794 markings/sec, 125 secs
lola: 7775364 markings, 53860357 edges, 53229 markings/sec, 130 secs
lola: 8019740 markings, 55840230 edges, 48875 markings/sec, 135 secs
lola: 8251230 markings, 57766308 edges, 46298 markings/sec, 140 secs
lola: 8475447 markings, 59690438 edges, 44843 markings/sec, 145 secs
lola: 8779353 markings, 61684656 edges, 60781 markings/sec, 150 secs
lola: 9036749 markings, 63676518 edges, 51479 markings/sec, 155 secs
lola: 9274978 markings, 65603840 edges, 47646 markings/sec, 160 secs
lola: 9540136 markings, 67568698 edges, 53032 markings/sec, 165 secs
lola: 9760289 markings, 69387653 edges, 44031 markings/sec, 170 secs
lola: 9982167 markings, 71210112 edges, 44376 markings/sec, 175 secs
lola: 10229023 markings, 73061896 edges, 49371 markings/sec, 180 secs
lola: 10464704 markings, 74890313 edges, 47136 markings/sec, 185 secs
lola: 10692038 markings, 76742078 edges, 45467 markings/sec, 190 secs
lola: 10940257 markings, 78700411 edges, 49644 markings/sec, 195 secs
lola: 11164911 markings, 80563128 edges, 44931 markings/sec, 200 secs
lola: 11385748 markings, 82389412 edges, 44167 markings/sec, 205 secs
lola: 11604208 markings, 84199074 edges, 43692 markings/sec, 210 secs
lola: 11834475 markings, 86024674 edges, 46053 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(p606)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 315488 markings, 2004952 edges, 63098 markings/sec, 0 secs
lola: 605486 markings, 4026540 edges, 58000 markings/sec, 5 secs
lola: 868824 markings, 6081887 edges, 52668 markings/sec, 10 secs
lola: 1115104 markings, 8096871 edges, 49256 markings/sec, 15 secs
lola: 1358934 markings, 10083791 edges, 48766 markings/sec, 20 secs
lola: 1581601 markings, 12031757 edges, 44533 markings/sec, 25 secs
lola: 1851189 markings, 14002475 edges, 53918 markings/sec, 30 secs
lola: 2093654 markings, 15993042 edges, 48493 markings/sec, 35 secs
lola: 2347320 markings, 18017603 edges, 50733 markings/sec, 40 secs
lola: 2563798 markings, 20027942 edges, 43296 markings/sec, 45 secs
lola: 2777472 markings, 21996866 edges, 42735 markings/sec, 50 secs
lola: 2989508 markings, 23979348 edges, 42407 markings/sec, 55 secs
lola: 3191825 markings, 25980906 edges, 40463 markings/sec, 60 secs
lola: 3400716 markings, 27963985 edges, 41778 markings/sec, 65 secs
lola: 3610513 markings, 29928212 edges, 41959 markings/sec, 70 secs
lola: 3814134 markings, 31842856 edges, 40724 markings/sec, 75 secs
lola: 4031267 markings, 33760249 edges, 43427 markings/sec, 80 secs
lola: 4236528 markings, 35698096 edges, 41052 markings/sec, 85 secs
lola: 4449000 markings, 37682823 edges, 42494 markings/sec, 90 secs
lola: 4653206 markings, 39655517 edges, 40841 markings/sec, 95 secs
lola: 4853538 markings, 41614363 edges, 40066 markings/sec, 100 secs
lola: 5052230 markings, 43588135 edges, 39738 markings/sec, 105 secs
lola: 5257374 markings, 45544492 edges, 41029 markings/sec, 110 secs
lola: 5545178 markings, 47563282 edges, 57561 markings/sec, 115 secs
lola: 5789631 markings, 49567640 edges, 48891 markings/sec, 120 secs
lola: 6044793 markings, 51597781 edges, 51032 markings/sec, 125 secs
lola: 6271703 markings, 53572982 edges, 45382 markings/sec, 130 secs
lola: 6480857 markings, 55537157 edges, 41831 markings/sec, 135 secs
lola: 6671160 markings, 57474555 edges, 38061 markings/sec, 140 secs
lola: 6858700 markings, 59425094 edges, 37508 markings/sec, 145 secs
lola: 7091344 markings, 61407235 edges, 46529 markings/sec, 150 secs
lola: 7306119 markings, 63421535 edges, 42955 markings/sec, 155 secs
lola: 7527244 markings, 65390063 edges, 44225 markings/sec, 160 secs
lola: 7777645 markings, 67374813 edges, 50080 markings/sec, 165 secs
lola: 8015281 markings, 69331248 edges, 47527 markings/sec, 170 secs
lola: 8243707 markings, 71349698 edges, 45685 markings/sec, 175 secs
lola: 8448531 markings, 73326189 edges, 40965 markings/sec, 180 secs
lola: 8655226 markings, 75262231 edges, 41339 markings/sec, 185 secs
lola: 8856456 markings, 77198702 edges, 40246 markings/sec, 190 secs
lola: 9045059 markings, 79137043 edges, 37721 markings/sec, 195 secs
lola: 9232663 markings, 81065057 edges, 37521 markings/sec, 200 secs
lola: 9461206 markings, 83011073 edges, 45709 markings/sec, 205 secs
lola: 9706697 markings, 85000939 edges, 49098 markings/sec, 210 secs
lola: 9914779 markings, 86927170 edges, 41616 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(p527)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 334019 markings, 2236268 edges, 66804 markings/sec, 0 secs
lola: 639498 markings, 4507953 edges, 61096 markings/sec, 5 secs
lola: 914278 markings, 6769485 edges, 54956 markings/sec, 10 secs
lola: 1184729 markings, 8949546 edges, 54090 markings/sec, 15 secs
lola: 1455727 markings, 11094755 edges, 54200 markings/sec, 20 secs
lola: 1719039 markings, 13246883 edges, 52662 markings/sec, 25 secs
lola: 1971991 markings, 15425923 edges, 50590 markings/sec, 30 secs
lola: 2220333 markings, 17720023 edges, 49668 markings/sec, 35 secs
lola: 2457051 markings, 19980667 edges, 47344 markings/sec, 40 secs
lola: 2686909 markings, 22141921 edges, 45972 markings/sec, 45 secs
lola: 2937300 markings, 24422690 edges, 50078 markings/sec, 50 secs
lola: 3185579 markings, 26645586 edges, 49656 markings/sec, 55 secs
lola: 3423275 markings, 28884631 edges, 47539 markings/sec, 60 secs
lola: 3656597 markings, 31104417 edges, 46664 markings/sec, 65 secs
lola: 3900042 markings, 33215676 edges, 48689 markings/sec, 70 secs
lola: 4104093 markings, 35354956 edges, 40810 markings/sec, 75 secs
lola: 4307899 markings, 37476160 edges, 40761 markings/sec, 80 secs
lola: 4555197 markings, 39647233 edges, 49460 markings/sec, 85 secs
lola: 4814660 markings, 41996010 edges, 51893 markings/sec, 90 secs
lola: 5069707 markings, 44349529 edges, 51009 markings/sec, 95 secs
lola: 5307321 markings, 46706003 edges, 47523 markings/sec, 100 secs
lola: 5585096 markings, 48984401 edges, 55555 markings/sec, 105 secs
lola: 5855411 markings, 51309969 edges, 54063 markings/sec, 110 secs
lola: 6120334 markings, 53626433 edges, 52985 markings/sec, 115 secs
lola: 6358694 markings, 55958175 edges, 47672 markings/sec, 120 secs
lola: 6607960 markings, 58239385 edges, 49853 markings/sec, 125 secs
lola: 6849580 markings, 60484837 edges, 48324 markings/sec, 130 secs
lola: 7099250 markings, 62800709 edges, 49934 markings/sec, 135 secs
lola: 7334391 markings, 65117433 edges, 47028 markings/sec, 140 secs
lola: 7564930 markings, 67439513 edges, 46108 markings/sec, 145 secs
lola: 7775144 markings, 69782943 edges, 42043 markings/sec, 150 secs
lola: 7991558 markings, 72112847 edges, 43283 markings/sec, 155 secs
lola: 8213189 markings, 74436161 edges, 44326 markings/sec, 160 secs
lola: 8438624 markings, 76801038 edges, 45087 markings/sec, 165 secs
lola: 8658738 markings, 79123090 edges, 44023 markings/sec, 170 secs
lola: 8876624 markings, 81424816 edges, 43577 markings/sec, 175 secs
lola: 9093183 markings, 83754583 edges, 43312 markings/sec, 180 secs
lola: 9321582 markings, 86011877 edges, 45680 markings/sec, 185 secs
lola: 9507995 markings, 88270573 edges, 37283 markings/sec, 190 secs
lola: 9701584 markings, 90545352 edges, 38718 markings/sec, 195 secs
lola: 9905233 markings, 92810477 edges, 40730 markings/sec, 200 secs
lola: 10133421 markings, 95089310 edges, 45638 markings/sec, 205 secs
lola: 10346950 markings, 97315263 edges, 42706 markings/sec, 210 secs
lola: 10574653 markings, 99551289 edges, 45541 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(p511)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 405046 markings, 2046251 edges, 81009 markings/sec, 0 secs
lola: 769641 markings, 4163541 edges, 72919 markings/sec, 5 secs
lola: 1110324 markings, 6231356 edges, 68137 markings/sec, 10 secs
lola: 1430691 markings, 8282406 edges, 64073 markings/sec, 15 secs
lola: 1731645 markings, 10318559 edges, 60191 markings/sec, 20 secs
lola: 2068145 markings, 12391764 edges, 67300 markings/sec, 25 secs
lola: 2372947 markings, 14451621 edges, 60960 markings/sec, 30 secs
lola: 2668391 markings, 16476855 edges, 59089 markings/sec, 35 secs
lola: 2958284 markings, 18466041 edges, 57979 markings/sec, 40 secs
lola: 3228294 markings, 20374847 edges, 54002 markings/sec, 45 secs
lola: 3498100 markings, 22270977 edges, 53961 markings/sec, 50 secs
lola: 3772323 markings, 24273629 edges, 54845 markings/sec, 55 secs
lola: 4053274 markings, 26286722 edges, 56190 markings/sec, 60 secs
lola: 4319246 markings, 28291838 edges, 53194 markings/sec, 65 secs
lola: 4590192 markings, 30295984 edges, 54189 markings/sec, 70 secs
lola: 4859286 markings, 32310578 edges, 53819 markings/sec, 75 secs
lola: 5110173 markings, 34287995 edges, 50177 markings/sec, 80 secs
lola: 5444343 markings, 36348191 edges, 66834 markings/sec, 85 secs
lola: 5748376 markings, 38404618 edges, 60807 markings/sec, 90 secs
lola: 6002783 markings, 40405680 edges, 50881 markings/sec, 95 secs
lola: 6284560 markings, 42437519 edges, 56355 markings/sec, 100 secs
lola: 6538575 markings, 44488334 edges, 50803 markings/sec, 105 secs
lola: 6788374 markings, 46484568 edges, 49960 markings/sec, 110 secs
lola: 7085536 markings, 48489968 edges, 59432 markings/sec, 115 secs
lola: 7345110 markings, 50468187 edges, 51915 markings/sec, 120 secs
lola: 7603064 markings, 52468462 edges, 51591 markings/sec, 125 secs
lola: 7844273 markings, 54464122 edges, 48242 markings/sec, 130 secs
lola: 8090146 markings, 56454524 edges, 49175 markings/sec, 135 secs
lola: 8328569 markings, 58427509 edges, 47685 markings/sec, 140 secs
lola: 8582263 markings, 60421436 edges, 50739 markings/sec, 145 secs
lola: 8896421 markings, 62498108 edges, 62832 markings/sec, 150 secs
lola: 9126280 markings, 64471310 edges, 45972 markings/sec, 155 secs
lola: 9399266 markings, 66462988 edges, 54597 markings/sec, 160 secs
lola: 9644993 markings, 68429565 edges, 49145 markings/sec, 165 secs
lola: 9887976 markings, 70379452 edges, 48597 markings/sec, 170 secs
lola: 10154983 markings, 72412442 edges, 53401 markings/sec, 175 secs
lola: 10410993 markings, 74426627 edges, 51202 markings/sec, 180 secs
lola: 10645582 markings, 76377047 edges, 46918 markings/sec, 185 secs
lola: 10895897 markings, 78344830 edges, 50063 markings/sec, 190 secs
lola: 11129772 markings, 80288896 edges, 46775 markings/sec, 195 secs
lola: 11372547 markings, 82269664 edges, 48555 markings/sec, 200 secs
lola: 11608342 markings, 84225532 edges, 47159 markings/sec, 205 secs
lola: 11858612 markings, 86206857 edges, 50054 markings/sec, 210 secs
lola: 12081809 markings, 88149998 edges, 44639 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(p33)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 318973 markings, 2217056 edges, 63795 markings/sec, 0 secs
lola: 617412 markings, 4588652 edges, 59688 markings/sec, 5 secs
lola: 907118 markings, 6931327 edges, 57941 markings/sec, 10 secs
lola: 1163783 markings, 9293835 edges, 51333 markings/sec, 15 secs
lola: 1446476 markings, 11694362 edges, 56539 markings/sec, 20 secs
lola: 1727821 markings, 14067484 edges, 56269 markings/sec, 25 secs
lola: 2015465 markings, 16418015 edges, 57529 markings/sec, 30 secs
lola: 2287718 markings, 18737781 edges, 54451 markings/sec, 35 secs
lola: 2543283 markings, 21123826 edges, 51113 markings/sec, 40 secs
lola: 2802029 markings, 23471642 edges, 51749 markings/sec, 45 secs
lola: 3034702 markings, 25834018 edges, 46535 markings/sec, 50 secs
lola: 3265852 markings, 28259502 edges, 46230 markings/sec, 55 secs
lola: 3519476 markings, 30665786 edges, 50725 markings/sec, 60 secs
lola: 3777333 markings, 33038778 edges, 51571 markings/sec, 65 secs
lola: 4034118 markings, 35308459 edges, 51357 markings/sec, 70 secs
lola: 4287145 markings, 37564889 edges, 50605 markings/sec, 75 secs
lola: 4542742 markings, 39879793 edges, 51119 markings/sec, 80 secs
lola: 4776570 markings, 42087385 edges, 46766 markings/sec, 85 secs
lola: 5029422 markings, 44270581 edges, 50570 markings/sec, 90 secs
lola: 5269253 markings, 46485255 edges, 47966 markings/sec, 95 secs
lola: 5507841 markings, 48653343 edges, 47718 markings/sec, 100 secs
lola: 5760586 markings, 50798059 edges, 50549 markings/sec, 105 secs
lola: 5996370 markings, 53000799 edges, 47157 markings/sec, 110 secs
lola: 6254940 markings, 55331617 edges, 51714 markings/sec, 115 secs
lola: 6491323 markings, 57674170 edges, 47277 markings/sec, 120 secs
lola: 6716105 markings, 60065990 edges, 44956 markings/sec, 125 secs
lola: 6961006 markings, 62405467 edges, 48980 markings/sec, 130 secs
lola: 7201736 markings, 64713637 edges, 48146 markings/sec, 135 secs
lola: 7448037 markings, 67062987 edges, 49260 markings/sec, 140 secs
lola: 7682416 markings, 69325890 edges, 46876 markings/sec, 145 secs
lola: 7889917 markings, 71566816 edges, 41500 markings/sec, 150 secs
lola: 8110310 markings, 73822541 edges, 44079 markings/sec, 155 secs
lola: 8317615 markings, 76041381 edges, 41461 markings/sec, 160 secs
lola: 8507441 markings, 78272004 edges, 37965 markings/sec, 165 secs
lola: 8707772 markings, 80590396 edges, 40066 markings/sec, 170 secs
lola: 8931211 markings, 82974266 edges, 44688 markings/sec, 175 secs
lola: 9144359 markings, 85300907 edges, 42630 markings/sec, 180 secs
lola: 9380785 markings, 87619612 edges, 47285 markings/sec, 185 secs
lola: 9610186 markings, 89950891 edges, 45880 markings/sec, 190 secs
lola: 9836621 markings, 92270447 edges, 45287 markings/sec, 195 secs
lola: 10048015 markings, 94489864 edges, 42279 markings/sec, 200 secs
lola: 10254363 markings, 96706359 edges, 41270 markings/sec, 205 secs
lola: 10483240 markings, 98918093 edges, 45775 markings/sec, 210 secs
lola: 10701023 markings, 101093705 edges, 43557 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(p590)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 345933 markings, 1953340 edges, 69187 markings/sec, 0 secs
lola: 670760 markings, 4054597 edges, 64965 markings/sec, 5 secs
lola: 992446 markings, 6144004 edges, 64337 markings/sec, 10 secs
lola: 1315413 markings, 8227703 edges, 64593 markings/sec, 15 secs
lola: 1625146 markings, 10336146 edges, 61947 markings/sec, 20 secs
lola: 1917190 markings, 12462888 edges, 58409 markings/sec, 25 secs
lola: 2200827 markings, 14586657 edges, 56727 markings/sec, 30 secs
lola: 2511807 markings, 16725785 edges, 62196 markings/sec, 35 secs
lola: 2814486 markings, 18819187 edges, 60536 markings/sec, 40 secs
lola: 3101237 markings, 20959741 edges, 57350 markings/sec, 45 secs
lola: 3424656 markings, 22970598 edges, 64684 markings/sec, 50 secs
lola: 3723247 markings, 25010328 edges, 59718 markings/sec, 55 secs
lola: 4018910 markings, 27062902 edges, 59133 markings/sec, 60 secs
lola: 4305098 markings, 29105318 edges, 57238 markings/sec, 65 secs
lola: 4592777 markings, 31143832 edges, 57536 markings/sec, 70 secs
lola: 4861616 markings, 33204659 edges, 53768 markings/sec, 75 secs
lola: 5132351 markings, 35268450 edges, 54147 markings/sec, 80 secs
lola: 5385891 markings, 37345589 edges, 50708 markings/sec, 85 secs
lola: 5682061 markings, 39458630 edges, 59234 markings/sec, 90 secs
lola: 5946289 markings, 41452343 edges, 52846 markings/sec, 95 secs
lola: 6219585 markings, 43626895 edges, 54659 markings/sec, 100 secs
lola: 6530229 markings, 45744611 edges, 62129 markings/sec, 105 secs
lola: 6824295 markings, 47882329 edges, 58813 markings/sec, 110 secs
lola: 7107363 markings, 50006163 edges, 56614 markings/sec, 115 secs
lola: 7377498 markings, 52157774 edges, 54027 markings/sec, 120 secs
lola: 7670516 markings, 54227087 edges, 58604 markings/sec, 125 secs
lola: 7980986 markings, 56278587 edges, 62094 markings/sec, 130 secs
lola: 8259621 markings, 58315910 edges, 55727 markings/sec, 135 secs
lola: 8536475 markings, 60327684 edges, 55371 markings/sec, 140 secs
lola: 8802775 markings, 62270239 edges, 53260 markings/sec, 145 secs
lola: 9071467 markings, 64246709 edges, 53738 markings/sec, 150 secs
lola: 9314873 markings, 66198264 edges, 48681 markings/sec, 155 secs
lola: 9576448 markings, 68254763 edges, 52315 markings/sec, 160 secs
lola: 9833803 markings, 70424406 edges, 51471 markings/sec, 165 secs
lola: 10112266 markings, 72487404 edges, 55693 markings/sec, 170 secs
lola: 10373173 markings, 74500094 edges, 52181 markings/sec, 175 secs
lola: 10626020 markings, 76565369 edges, 50569 markings/sec, 180 secs
lola: 10899772 markings, 78537508 edges, 54750 markings/sec, 185 secs
lola: 11213108 markings, 80649307 edges, 62667 markings/sec, 190 secs
lola: 11505557 markings, 82799091 edges, 58490 markings/sec, 195 secs
lola: 11814597 markings, 84945505 edges, 61808 markings/sec, 200 secs
lola: 12124126 markings, 87114120 edges, 61906 markings/sec, 205 secs
lola: 12413972 markings, 89305774 edges, 57969 markings/sec, 210 secs
lola: 12694609 markings, 91476079 edges, 56127 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(p342)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 280740 markings, 2029885 edges, 56148 markings/sec, 0 secs
lola: 537118 markings, 4099076 edges, 51276 markings/sec, 5 secs
lola: 803704 markings, 6138932 edges, 53317 markings/sec, 10 secs
lola: 1042423 markings, 8187390 edges, 47744 markings/sec, 15 secs
lola: 1252279 markings, 10277982 edges, 41971 markings/sec, 20 secs
lola: 1556659 markings, 12372129 edges, 60876 markings/sec, 25 secs
lola: 1856514 markings, 14480772 edges, 59971 markings/sec, 30 secs
lola: 2116096 markings, 16443814 edges, 51916 markings/sec, 35 secs
lola: 2373572 markings, 18373160 edges, 51495 markings/sec, 40 secs
lola: 2624176 markings, 20335475 edges, 50121 markings/sec, 45 secs
lola: 2887980 markings, 22404846 edges, 52761 markings/sec, 50 secs
lola: 3148338 markings, 24517123 edges, 52072 markings/sec, 55 secs
lola: 3411075 markings, 26636224 edges, 52547 markings/sec, 60 secs
lola: 3660700 markings, 28762718 edges, 49925 markings/sec, 65 secs
lola: 3903286 markings, 30877940 edges, 48517 markings/sec, 70 secs
lola: 4150706 markings, 32913603 edges, 49484 markings/sec, 75 secs
lola: 4388657 markings, 35026004 edges, 47590 markings/sec, 80 secs
lola: 4629520 markings, 37177323 edges, 48173 markings/sec, 85 secs
lola: 4884383 markings, 39289736 edges, 50973 markings/sec, 90 secs
lola: 5122614 markings, 41469912 edges, 47646 markings/sec, 95 secs
lola: 5368612 markings, 43615467 edges, 49200 markings/sec, 100 secs
lola: 5583487 markings, 45778013 edges, 42975 markings/sec, 105 secs
lola: 5823075 markings, 47969190 edges, 47918 markings/sec, 110 secs
lola: 6026263 markings, 50133027 edges, 40638 markings/sec, 115 secs
lola: 6275101 markings, 52207950 edges, 49768 markings/sec, 120 secs
lola: 6535711 markings, 54264045 edges, 52122 markings/sec, 125 secs
lola: 6774995 markings, 56340193 edges, 47857 markings/sec, 130 secs
lola: 7005342 markings, 58373295 edges, 46069 markings/sec, 135 secs
lola: 7236609 markings, 60419900 edges, 46253 markings/sec, 140 secs
lola: 7475713 markings, 62496039 edges, 47821 markings/sec, 145 secs
lola: 7722182 markings, 64586095 edges, 49294 markings/sec, 150 secs
lola: 7913292 markings, 66595748 edges, 38222 markings/sec, 155 secs
lola: 8124806 markings, 68531967 edges, 42303 markings/sec, 160 secs
lola: 8350861 markings, 70468823 edges, 45211 markings/sec, 165 secs
lola: 8587670 markings, 72467070 edges, 47362 markings/sec, 170 secs
lola: 8798428 markings, 74367950 edges, 42152 markings/sec, 175 secs
lola: 9020518 markings, 76252732 edges, 44418 markings/sec, 180 secs
lola: 9257078 markings, 78164524 edges, 47312 markings/sec, 185 secs
lola: 9488047 markings, 80067962 edges, 46194 markings/sec, 190 secs
lola: 9703881 markings, 81939058 edges, 43167 markings/sec, 195 secs
lola: 9920053 markings, 83851343 edges, 43234 markings/sec, 200 secs
lola: 10138500 markings, 85793455 edges, 43689 markings/sec, 205 secs
lola: 10348556 markings, 87835412 edges, 42011 markings/sec, 210 secs
lola: 10577981 markings, 89861244 edges, 45885 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(p355)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 306887 markings, 2170833 edges, 61377 markings/sec, 0 secs
lola: 598277 markings, 4397947 edges, 58278 markings/sec, 5 secs
lola: 853277 markings, 6526043 edges, 51000 markings/sec, 10 secs
lola: 1086515 markings, 8618296 edges, 46648 markings/sec, 15 secs
lola: 1344679 markings, 10704253 edges, 51633 markings/sec, 20 secs
lola: 1603737 markings, 12809388 edges, 51812 markings/sec, 25 secs
lola: 1865948 markings, 15135312 edges, 52442 markings/sec, 30 secs
lola: 2119284 markings, 17350058 edges, 50667 markings/sec, 35 secs
lola: 2347695 markings, 19697648 edges, 45682 markings/sec, 40 secs
lola: 2591752 markings, 22047190 edges, 48811 markings/sec, 45 secs
lola: 2842128 markings, 24354510 edges, 50075 markings/sec, 50 secs
lola: 3100084 markings, 26568270 edges, 51591 markings/sec, 55 secs
lola: 3346416 markings, 28711677 edges, 49266 markings/sec, 60 secs
lola: 3588097 markings, 30833115 edges, 48336 markings/sec, 65 secs
lola: 3820326 markings, 32965354 edges, 46446 markings/sec, 70 secs
lola: 4039912 markings, 35031429 edges, 43917 markings/sec, 75 secs
lola: 4249289 markings, 37018153 edges, 41875 markings/sec, 80 secs
lola: 4449338 markings, 38953999 edges, 40010 markings/sec, 85 secs
lola: 4678199 markings, 40928110 edges, 45772 markings/sec, 90 secs
lola: 4910571 markings, 43031052 edges, 46474 markings/sec, 95 secs
lola: 5162177 markings, 45179550 edges, 50321 markings/sec, 100 secs
lola: 5393331 markings, 47413178 edges, 46231 markings/sec, 105 secs
lola: 5600102 markings, 49512395 edges, 41354 markings/sec, 110 secs
lola: 5829801 markings, 51638842 edges, 45940 markings/sec, 115 secs
lola: 6048787 markings, 53667101 edges, 43797 markings/sec, 120 secs
lola: 6259651 markings, 55701059 edges, 42173 markings/sec, 125 secs
lola: 6462676 markings, 57770896 edges, 40605 markings/sec, 130 secs
lola: 6665202 markings, 59812092 edges, 40505 markings/sec, 135 secs
lola: 6851475 markings, 61899591 edges, 37255 markings/sec, 140 secs
lola: 7039744 markings, 64010539 edges, 37654 markings/sec, 145 secs
lola: 7235682 markings, 66057819 edges, 39188 markings/sec, 150 secs
lola: 7427891 markings, 68059768 edges, 38442 markings/sec, 155 secs
lola: 7637035 markings, 70087643 edges, 41829 markings/sec, 160 secs
lola: 7839544 markings, 72081302 edges, 40502 markings/sec, 165 secs
lola: 8040674 markings, 74086272 edges, 40226 markings/sec, 170 secs
lola: 8236651 markings, 76064785 edges, 39195 markings/sec, 175 secs
lola: 8422205 markings, 78013877 edges, 37111 markings/sec, 180 secs
lola: 8604902 markings, 79966968 edges, 36539 markings/sec, 185 secs
lola: 8788665 markings, 81934438 edges, 36753 markings/sec, 190 secs
lola: 8969242 markings, 83904329 edges, 36115 markings/sec, 195 secs
lola: 9186002 markings, 85970154 edges, 43352 markings/sec, 200 secs
lola: 9418267 markings, 88130262 edges, 46453 markings/sec, 205 secs
lola: 9644068 markings, 90288168 edges, 45160 markings/sec, 210 secs
lola: 9863635 markings, 92412641 edges, 43913 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(p555)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 328267 markings, 2062944 edges, 65653 markings/sec, 0 secs
lola: 637343 markings, 4192754 edges, 61815 markings/sec, 5 secs
lola: 928521 markings, 6359320 edges, 58236 markings/sec, 10 secs
lola: 1210933 markings, 8505863 edges, 56482 markings/sec, 15 secs
lola: 1482631 markings, 10656147 edges, 54340 markings/sec, 20 secs
lola: 1758466 markings, 12788074 edges, 55167 markings/sec, 25 secs
lola: 2031550 markings, 14965815 edges, 54617 markings/sec, 30 secs
lola: 2292330 markings, 17138095 edges, 52156 markings/sec, 35 secs
lola: 2574178 markings, 19297698 edges, 56370 markings/sec, 40 secs
lola: 2830752 markings, 21436534 edges, 51315 markings/sec, 45 secs
lola: 3084670 markings, 23578112 edges, 50784 markings/sec, 50 secs
lola: 3332494 markings, 25690929 edges, 49565 markings/sec, 55 secs
lola: 3565100 markings, 27747983 edges, 46521 markings/sec, 60 secs
lola: 3792835 markings, 29797598 edges, 45547 markings/sec, 65 secs
lola: 4035255 markings, 31880564 edges, 48484 markings/sec, 70 secs
lola: 4352299 markings, 34113176 edges, 63409 markings/sec, 75 secs
lola: 4648839 markings, 36303031 edges, 59308 markings/sec, 80 secs
lola: 4923472 markings, 38494363 edges, 54927 markings/sec, 85 secs
lola: 5157609 markings, 40637244 edges, 46827 markings/sec, 90 secs
lola: 5413395 markings, 42794715 edges, 51157 markings/sec, 95 secs
lola: 5659087 markings, 44932287 edges, 49138 markings/sec, 100 secs
lola: 5913418 markings, 47076192 edges, 50866 markings/sec, 105 secs
lola: 6142144 markings, 49142541 edges, 45745 markings/sec, 110 secs
lola: 6356561 markings, 51226345 edges, 42883 markings/sec, 115 secs
lola: 6584051 markings, 53290325 edges, 45498 markings/sec, 120 secs
lola: 6862706 markings, 55477643 edges, 55731 markings/sec, 125 secs
lola: 7100491 markings, 57563939 edges, 47557 markings/sec, 130 secs
lola: 7343061 markings, 59716600 edges, 48514 markings/sec, 135 secs
lola: 7584696 markings, 61842424 edges, 48327 markings/sec, 140 secs
lola: 7824473 markings, 63989748 edges, 47955 markings/sec, 145 secs
lola: 8100599 markings, 66171743 edges, 55225 markings/sec, 150 secs
lola: 8365852 markings, 68324606 edges, 53051 markings/sec, 155 secs
lola: 8608314 markings, 70470541 edges, 48492 markings/sec, 160 secs
lola: 8859786 markings, 72599793 edges, 50294 markings/sec, 165 secs
lola: 9116750 markings, 74762756 edges, 51393 markings/sec, 170 secs
lola: 9376996 markings, 76903666 edges, 52049 markings/sec, 175 secs
lola: 9637332 markings, 79047914 edges, 52067 markings/sec, 180 secs
lola: 9850721 markings, 80957975 edges, 42678 markings/sec, 185 secs
lola: 10072029 markings, 82872487 edges, 44262 markings/sec, 190 secs
lola: 10282002 markings, 84822283 edges, 41995 markings/sec, 195 secs
lola: 10508182 markings, 86789685 edges, 45236 markings/sec, 200 secs
lola: 10721210 markings, 88757243 edges, 42606 markings/sec, 205 secs
lola: 10921982 markings, 90659900 edges, 40154 markings/sec, 210 secs
lola: 11136690 markings, 92600095 edges, 42942 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(p326)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 303252 markings, 2000727 edges, 60650 markings/sec, 0 secs
lola: 576097 markings, 4063674 edges, 54569 markings/sec, 5 secs
lola: 865815 markings, 6143706 edges, 57944 markings/sec, 10 secs
lola: 1117454 markings, 8201912 edges, 50328 markings/sec, 15 secs
lola: 1373811 markings, 10241172 edges, 51271 markings/sec, 20 secs
lola: 1658438 markings, 12255192 edges, 56925 markings/sec, 25 secs
lola: 1926894 markings, 14287882 edges, 53691 markings/sec, 30 secs
lola: 2192428 markings, 16288622 edges, 53107 markings/sec, 35 secs
lola: 2423816 markings, 18336604 edges, 46278 markings/sec, 40 secs
lola: 2686847 markings, 20325135 edges, 52606 markings/sec, 45 secs
lola: 2919738 markings, 22445525 edges, 46578 markings/sec, 50 secs
lola: 3172323 markings, 24484418 edges, 50517 markings/sec, 55 secs
lola: 3386903 markings, 26545434 edges, 42916 markings/sec, 60 secs
lola: 3647298 markings, 28544925 edges, 52079 markings/sec, 65 secs
lola: 3910698 markings, 30548205 edges, 52680 markings/sec, 70 secs
lola: 4159852 markings, 32516419 edges, 49831 markings/sec, 75 secs
lola: 4417932 markings, 34612546 edges, 51616 markings/sec, 80 secs
lola: 4682153 markings, 36764564 edges, 52844 markings/sec, 85 secs
lola: 4942481 markings, 38915398 edges, 52066 markings/sec, 90 secs
lola: 5225467 markings, 41101867 edges, 56597 markings/sec, 95 secs
lola: 5484630 markings, 43414627 edges, 51833 markings/sec, 100 secs
lola: 5772910 markings, 45624606 edges, 57656 markings/sec, 105 secs
lola: 6024218 markings, 47867430 edges, 50262 markings/sec, 110 secs
lola: 6242497 markings, 50116356 edges, 43656 markings/sec, 115 secs
lola: 6502199 markings, 52217148 edges, 51940 markings/sec, 120 secs
lola: 6773682 markings, 54360324 edges, 54297 markings/sec, 125 secs
lola: 7037051 markings, 56483628 edges, 52674 markings/sec, 130 secs
lola: 7279234 markings, 58667751 edges, 48437 markings/sec, 135 secs
lola: 7507584 markings, 60912671 edges, 45670 markings/sec, 140 secs
lola: 7758972 markings, 63071482 edges, 50278 markings/sec, 145 secs
lola: 8008505 markings, 65177750 edges, 49907 markings/sec, 150 secs
lola: 8250444 markings, 67266423 edges, 48388 markings/sec, 155 secs
lola: 8504691 markings, 69378272 edges, 50849 markings/sec, 160 secs
lola: 8725827 markings, 71642506 edges, 44227 markings/sec, 165 secs
lola: 8952087 markings, 73935979 edges, 45252 markings/sec, 170 secs
lola: 9187700 markings, 76182977 edges, 47123 markings/sec, 175 secs
lola: 9438122 markings, 78299929 edges, 50084 markings/sec, 180 secs
lola: 9688258 markings, 80367042 edges, 50027 markings/sec, 185 secs
lola: 9930615 markings, 82450851 edges, 48471 markings/sec, 190 secs
lola: 10176069 markings, 84519699 edges, 49091 markings/sec, 195 secs
lola: 10413900 markings, 86578262 edges, 47566 markings/sec, 200 secs
lola: 10647964 markings, 88623846 edges, 46813 markings/sec, 205 secs
lola: 10885992 markings, 90697765 edges, 47606 markings/sec, 210 secs
lola: 11132342 markings, 92860267 edges, 49270 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(p318)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 21 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: 326611 markings, 2063259 edges, 65322 markings/sec, 0 secs
lola: 636922 markings, 4258759 edges, 62062 markings/sec, 5 secs
lola: 940412 markings, 6477277 edges, 60698 markings/sec, 10 secs
lola: 1182682 markings, 8469566 edges, 48454 markings/sec, 15 secs
lola: 1467251 markings, 10470419 edges, 56914 markings/sec, 20 secs
lola: 1738730 markings, 12469175 edges, 54296 markings/sec, 25 secs
lola: 2022578 markings, 14485552 edges, 56770 markings/sec, 30 secs
lola: 2276967 markings, 16479803 edges, 50878 markings/sec, 35 secs
lola: 2547385 markings, 18613650 edges, 54084 markings/sec, 40 secs
lola: 2823612 markings, 20853402 edges, 55245 markings/sec, 45 secs
lola: 3086579 markings, 22926432 edges, 52593 markings/sec, 50 secs
lola: 3297113 markings, 24991709 edges, 42107 markings/sec, 55 secs
lola: 3553692 markings, 26923112 edges, 51316 markings/sec, 60 secs
lola: 3817520 markings, 28959740 edges, 52766 markings/sec, 65 secs
lola: 4087274 markings, 31055690 edges, 53951 markings/sec, 70 secs
lola: 4328142 markings, 32996662 edges, 48174 markings/sec, 75 secs
lola: 4566821 markings, 34932870 edges, 47736 markings/sec, 80 secs
lola: 4801253 markings, 36875432 edges, 46886 markings/sec, 85 secs
lola: 5057051 markings, 38814639 edges, 51160 markings/sec, 90 secs
lola: 5314671 markings, 40802934 edges, 51524 markings/sec, 95 secs
lola: 5554412 markings, 42810866 edges, 47948 markings/sec, 100 secs
lola: 5810360 markings, 44802858 edges, 51190 markings/sec, 105 secs
lola: 6066154 markings, 47069499 edges, 51159 markings/sec, 110 secs
lola: 6304324 markings, 49268107 edges, 47634 markings/sec, 115 secs
lola: 6555991 markings, 51273927 edges, 50333 markings/sec, 120 secs
lola: 6799545 markings, 53220370 edges, 48711 markings/sec, 125 secs
lola: 7043768 markings, 55161866 edges, 48845 markings/sec, 130 secs
lola: 7289240 markings, 57258242 edges, 49094 markings/sec, 135 secs
lola: 7526074 markings, 59557447 edges, 47367 markings/sec, 140 secs
lola: 7793263 markings, 61739278 edges, 53438 markings/sec, 145 secs
lola: 8034493 markings, 63778301 edges, 48246 markings/sec, 150 secs
lola: 8257867 markings, 65735007 edges, 44675 markings/sec, 155 secs
lola: 8498002 markings, 67712543 edges, 48027 markings/sec, 160 secs
lola: 8702684 markings, 69742428 edges, 40936 markings/sec, 165 secs
lola: 8913506 markings, 71759348 edges, 42164 markings/sec, 170 secs
lola: 9123007 markings, 73752904 edges, 41900 markings/sec, 175 secs
lola: 9354810 markings, 75679225 edges, 46361 markings/sec, 180 secs
lola: 9590857 markings, 77663077 edges, 47209 markings/sec, 185 secs
lola: 9836724 markings, 79738629 edges, 49173 markings/sec, 190 secs
lola: 10087790 markings, 81853984 edges, 50213 markings/sec, 195 secs
lola: 10329375 markings, 83938508 edges, 48317 markings/sec, 200 secs
lola: 10562543 markings, 85983889 edges, 46634 markings/sec, 205 secs
lola: 10803872 markings, 88083983 edges, 48266 markings/sec, 210 secs
lola: 11044582 markings, 90178604 edges, 48142 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
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-24a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-24a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496340329730

--------------------
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-24a"
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-24a.tgz
mv S_AutoFlight-PT-24a 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-24a, 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-149441074200236"
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 ;