Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is S_DLCshifumi-PT-2b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455900452
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-0
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-1
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-10
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-11
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-12
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-13
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-14
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-15
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-2
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-3
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-4
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-5
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-6
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-7
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-8
FORMULA_NAME DLCshifumi-PT-2b-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496466874811


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_DLCshifumi-PT-2b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_DLCshifumi-PT-2b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_DLCshifumi-PT-2b @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 5666/65536 symbol table entries, 573 collisions
lola: preprocessing...
lola: finding significant places
lola: 2483 places, 3183 transitions, 2404 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3873 transition conflict sets
lola: TASK
lola: reading formula from DLCshifumi-PT-2b-UpperBounds.task
lola: MAX(p2368) : MAX(p154) : MAX(p1658) : MAX(p23) : MAX(p1427) : MAX(p499) : MAX(p1306) : MAX(p2207) : MAX(p1358) : MAX(p2005) : MAX(p995) : MAX(p888) : MAX(p1088) : MAX(p1033) : MAX(p157) : MAX(p855)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2368)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 165391 markings, 186706 edges, 33078 markings/sec, 0 secs
lola: 331569 markings, 373817 edges, 33236 markings/sec, 5 secs
lola: 497586 markings, 560582 edges, 33203 markings/sec, 10 secs
lola: 661260 markings, 744571 edges, 32735 markings/sec, 15 secs
lola: 824022 markings, 928013 edges, 32552 markings/sec, 20 secs
lola: 991177 markings, 1116353 edges, 33431 markings/sec, 25 secs
lola: 1161953 markings, 1308855 edges, 34155 markings/sec, 30 secs
lola: 1329564 markings, 1497745 edges, 33522 markings/sec, 35 secs
lola: 1501160 markings, 1690214 edges, 34319 markings/sec, 40 secs
lola: 1672104 markings, 1883224 edges, 34189 markings/sec, 45 secs
lola: 1840757 markings, 2074039 edges, 33731 markings/sec, 50 secs
lola: 2008875 markings, 2263948 edges, 33624 markings/sec, 55 secs
lola: 2179289 markings, 2455733 edges, 34083 markings/sec, 60 secs
lola: 2349660 markings, 2648236 edges, 34074 markings/sec, 65 secs
lola: 2521061 markings, 2841602 edges, 34280 markings/sec, 70 secs
lola: 2691894 markings, 3034351 edges, 34167 markings/sec, 75 secs
lola: 2860019 markings, 3224451 edges, 33625 markings/sec, 80 secs
lola: 3029256 markings, 3415576 edges, 33847 markings/sec, 85 secs
lola: 3196004 markings, 3603106 edges, 33350 markings/sec, 90 secs
lola: 3360528 markings, 3789097 edges, 32905 markings/sec, 95 secs
lola: 3529848 markings, 3979948 edges, 33864 markings/sec, 100 secs
lola: 3694232 markings, 4165080 edges, 32877 markings/sec, 105 secs
lola: 3858987 markings, 4350768 edges, 32951 markings/sec, 110 secs
lola: 4021669 markings, 4534569 edges, 32536 markings/sec, 115 secs
lola: 4184864 markings, 4718320 edges, 32639 markings/sec, 120 secs
lola: 4348990 markings, 4903108 edges, 32825 markings/sec, 125 secs
lola: 4512308 markings, 5087915 edges, 32664 markings/sec, 130 secs
lola: 4676358 markings, 5272612 edges, 32810 markings/sec, 135 secs
lola: 4841296 markings, 5458462 edges, 32988 markings/sec, 140 secs
lola: 5004782 markings, 5642667 edges, 32697 markings/sec, 145 secs
lola: 5168521 markings, 5827118 edges, 32748 markings/sec, 150 secs
lola: 5333407 markings, 6013018 edges, 32977 markings/sec, 155 secs
lola: 5493904 markings, 6193496 edges, 32099 markings/sec, 160 secs
lola: 5655926 markings, 6376157 edges, 32404 markings/sec, 165 secs
lola: 5816960 markings, 6557601 edges, 32207 markings/sec, 170 secs
lola: 5975505 markings, 6736233 edges, 31709 markings/sec, 175 secs
lola: 6135348 markings, 6915876 edges, 31969 markings/sec, 180 secs
lola: 6297953 markings, 7099160 edges, 32521 markings/sec, 185 secs
lola: 6460198 markings, 7282633 edges, 32449 markings/sec, 190 secs
lola: 6618862 markings, 7461665 edges, 31733 markings/sec, 195 secs
lola: 6775752 markings, 7638645 edges, 31378 markings/sec, 200 secs
lola: 6934844 markings, 7818147 edges, 31818 markings/sec, 205 secs
lola: 7093345 markings, 7997006 edges, 31700 markings/sec, 210 secs
lola: 7250586 markings, 8174440 edges, 31448 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p154)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 209045 markings, 254475 edges, 41809 markings/sec, 0 secs
lola: 415443 markings, 505819 edges, 41280 markings/sec, 5 secs
lola: 619869 markings, 754345 edges, 40885 markings/sec, 10 secs
lola: 823969 markings, 1002649 edges, 40820 markings/sec, 15 secs
lola: 1028069 markings, 1251134 edges, 40820 markings/sec, 20 secs
lola: 1229600 markings, 1496457 edges, 40306 markings/sec, 25 secs
lola: 1430750 markings, 1741198 edges, 40230 markings/sec, 30 secs
lola: 1630574 markings, 1984443 edges, 39965 markings/sec, 35 secs
lola: 1832990 markings, 2230930 edges, 40483 markings/sec, 40 secs
lola: 2036017 markings, 2478166 edges, 40605 markings/sec, 45 secs
lola: 2238802 markings, 2725019 edges, 40557 markings/sec, 50 secs
lola: 2442397 markings, 2972853 edges, 40719 markings/sec, 55 secs
lola: 2644851 markings, 3219683 edges, 40491 markings/sec, 60 secs
lola: 2847338 markings, 3466356 edges, 40497 markings/sec, 65 secs
lola: 3049781 markings, 3712813 edges, 40489 markings/sec, 70 secs
lola: 3253374 markings, 3960660 edges, 40719 markings/sec, 75 secs
lola: 3456773 markings, 4208539 edges, 40680 markings/sec, 80 secs
lola: 3660834 markings, 4457078 edges, 40812 markings/sec, 85 secs
lola: 3862769 markings, 4702955 edges, 40387 markings/sec, 90 secs
lola: 4065980 markings, 4950266 edges, 40642 markings/sec, 95 secs
lola: 4269832 markings, 5198378 edges, 40770 markings/sec, 100 secs
lola: 4472159 markings, 5445070 edges, 40465 markings/sec, 105 secs
lola: 4675191 markings, 5692351 edges, 40606 markings/sec, 110 secs
lola: 4878034 markings, 5939367 edges, 40569 markings/sec, 115 secs
lola: 5081671 markings, 6187256 edges, 40727 markings/sec, 120 secs
lola: 5284633 markings, 6434551 edges, 40592 markings/sec, 125 secs
lola: 5489753 markings, 6684366 edges, 41024 markings/sec, 130 secs
lola: 5693246 markings, 6932124 edges, 40699 markings/sec, 135 secs
lola: 5898444 markings, 7181979 edges, 41040 markings/sec, 140 secs
lola: 6104237 markings, 7432355 edges, 41159 markings/sec, 145 secs
lola: 6308910 markings, 7681899 edges, 40935 markings/sec, 150 secs
lola: 6514292 markings, 7932079 edges, 41076 markings/sec, 155 secs
lola: 6719557 markings, 8182046 edges, 41053 markings/sec, 160 secs
lola: 6925295 markings, 8432407 edges, 41148 markings/sec, 165 secs
lola: 7131083 markings, 8683216 edges, 41158 markings/sec, 170 secs
lola: 7337459 markings, 8934592 edges, 41275 markings/sec, 175 secs
lola: 7540817 markings, 9182165 edges, 40672 markings/sec, 180 secs
lola: 7745485 markings, 9431295 edges, 40934 markings/sec, 185 secs
lola: 7950643 markings, 9681006 edges, 41032 markings/sec, 190 secs
lola: 8154517 markings, 9929500 edges, 40775 markings/sec, 195 secs
lola: 8359617 markings, 10179405 edges, 41020 markings/sec, 200 secs
lola: 8564162 markings, 10428440 edges, 40909 markings/sec, 205 secs
lola: 8769772 markings, 10678721 edges, 41122 markings/sec, 210 secs
lola: 8974950 markings, 10928770 edges, 41036 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1658)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 116839 markings, 125865 edges, 23368 markings/sec, 0 secs
lola: 229134 markings, 246167 edges, 22459 markings/sec, 5 secs
lola: 339520 markings, 363708 edges, 22077 markings/sec, 10 secs
lola: 450790 markings, 482477 edges, 22254 markings/sec, 15 secs
lola: 562837 markings, 602575 edges, 22409 markings/sec, 20 secs
lola: 669496 markings, 717132 edges, 21332 markings/sec, 25 secs
lola: 775298 markings, 830509 edges, 21160 markings/sec, 30 secs
lola: 883389 markings, 946762 edges, 21618 markings/sec, 35 secs
lola: 990961 markings, 1062121 edges, 21514 markings/sec, 40 secs
lola: 1100006 markings, 1179305 edges, 21809 markings/sec, 45 secs
lola: 1205701 markings, 1292375 edges, 21139 markings/sec, 50 secs
lola: 1313204 markings, 1407497 edges, 21501 markings/sec, 55 secs
lola: 1422357 markings, 1524894 edges, 21831 markings/sec, 60 secs
lola: 1530760 markings, 1641537 edges, 21681 markings/sec, 65 secs
lola: 1640360 markings, 1759638 edges, 21920 markings/sec, 70 secs
lola: 1749204 markings, 1876705 edges, 21769 markings/sec, 75 secs
lola: 1857539 markings, 1993067 edges, 21667 markings/sec, 80 secs
lola: 1966156 markings, 2109450 edges, 21723 markings/sec, 85 secs
lola: 2075641 markings, 2227182 edges, 21897 markings/sec, 90 secs
lola: 2182656 markings, 2341875 edges, 21403 markings/sec, 95 secs
lola: 2290099 markings, 2457211 edges, 21489 markings/sec, 100 secs
lola: 2397277 markings, 2572136 edges, 21436 markings/sec, 105 secs
lola: 2505667 markings, 2688726 edges, 21678 markings/sec, 110 secs
lola: 2614408 markings, 2805802 edges, 21748 markings/sec, 115 secs
lola: 2722623 markings, 2922197 edges, 21643 markings/sec, 120 secs
lola: 2830923 markings, 3038606 edges, 21660 markings/sec, 125 secs
lola: 2939324 markings, 3155194 edges, 21680 markings/sec, 130 secs
lola: 3048775 markings, 3273100 edges, 21890 markings/sec, 135 secs
lola: 3157605 markings, 3389959 edges, 21766 markings/sec, 140 secs
lola: 3266142 markings, 3506412 edges, 21707 markings/sec, 145 secs
lola: 3375616 markings, 3624079 edges, 21895 markings/sec, 150 secs
lola: 3485980 markings, 3742881 edges, 22073 markings/sec, 155 secs
lola: 3595401 markings, 3860648 edges, 21884 markings/sec, 160 secs
lola: 3703936 markings, 3976989 edges, 21707 markings/sec, 165 secs
lola: 3814188 markings, 4095706 edges, 22050 markings/sec, 170 secs
lola: 3924470 markings, 4214209 edges, 22056 markings/sec, 175 secs
lola: 4032319 markings, 4329701 edges, 21570 markings/sec, 180 secs
lola: 4140483 markings, 4445802 edges, 21633 markings/sec, 185 secs
lola: 4249337 markings, 4562838 edges, 21771 markings/sec, 190 secs
lola: 4358739 markings, 4680433 edges, 21880 markings/sec, 195 secs
lola: 4468371 markings, 4798455 edges, 21926 markings/sec, 200 secs
lola: 4576955 markings, 4915103 edges, 21717 markings/sec, 205 secs
lola: 4686185 markings, 5032722 edges, 21846 markings/sec, 210 secs
lola: 4794698 markings, 5149507 edges, 21703 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p23)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 163144 markings, 200240 edges, 32629 markings/sec, 0 secs
lola: 325161 markings, 400724 edges, 32403 markings/sec, 5 secs
lola: 486793 markings, 602182 edges, 32326 markings/sec, 10 secs
lola: 645871 markings, 801269 edges, 31816 markings/sec, 15 secs
lola: 809121 markings, 1003258 edges, 32650 markings/sec, 20 secs
lola: 972804 markings, 1204438 edges, 32737 markings/sec, 25 secs
lola: 1137350 markings, 1405371 edges, 32909 markings/sec, 30 secs
lola: 1303485 markings, 1608134 edges, 33227 markings/sec, 35 secs
lola: 1465530 markings, 1808772 edges, 32409 markings/sec, 40 secs
lola: 1626458 markings, 2008876 edges, 32186 markings/sec, 45 secs
lola: 1793035 markings, 2211838 edges, 33315 markings/sec, 50 secs
lola: 1954511 markings, 2410219 edges, 32295 markings/sec, 55 secs
lola: 2116261 markings, 2608251 edges, 32350 markings/sec, 60 secs
lola: 2280309 markings, 2808448 edges, 32810 markings/sec, 65 secs
lola: 2440937 markings, 3005670 edges, 32126 markings/sec, 70 secs
lola: 2603916 markings, 3204971 edges, 32596 markings/sec, 75 secs
lola: 2759838 markings, 3400503 edges, 31184 markings/sec, 80 secs
lola: 2922550 markings, 3599895 edges, 32542 markings/sec, 85 secs
lola: 3082467 markings, 3798574 edges, 31983 markings/sec, 90 secs
lola: 3241694 markings, 3995769 edges, 31845 markings/sec, 95 secs
lola: 3401721 markings, 4193356 edges, 32005 markings/sec, 100 secs
lola: 3557889 markings, 4388383 edges, 31234 markings/sec, 105 secs
lola: 3713566 markings, 4583415 edges, 31135 markings/sec, 110 secs
lola: 3873013 markings, 4778983 edges, 31889 markings/sec, 115 secs
lola: 4030569 markings, 4972590 edges, 31511 markings/sec, 120 secs
lola: 4190896 markings, 5168519 edges, 32065 markings/sec, 125 secs
lola: 4350836 markings, 5363951 edges, 31988 markings/sec, 130 secs
lola: 4507668 markings, 5559024 edges, 31366 markings/sec, 135 secs
lola: 4664957 markings, 5753539 edges, 31458 markings/sec, 140 secs
lola: 4825960 markings, 5949871 edges, 32201 markings/sec, 145 secs
lola: 4984128 markings, 6144014 edges, 31634 markings/sec, 150 secs
lola: 5143400 markings, 6339230 edges, 31854 markings/sec, 155 secs
lola: 5303914 markings, 6534991 edges, 32103 markings/sec, 160 secs
lola: 5461057 markings, 6727902 edges, 31429 markings/sec, 165 secs
lola: 5620068 markings, 6922316 edges, 31802 markings/sec, 170 secs
lola: 5772286 markings, 7113441 edges, 30444 markings/sec, 175 secs
lola: 5930601 markings, 7307450 edges, 31663 markings/sec, 180 secs
lola: 6086827 markings, 7501109 edges, 31245 markings/sec, 185 secs
lola: 6243360 markings, 7694318 edges, 31307 markings/sec, 190 secs
lola: 6397786 markings, 7886281 edges, 30885 markings/sec, 195 secs
lola: 6552068 markings, 8077737 edges, 30856 markings/sec, 200 secs
lola: 6702983 markings, 8266557 edges, 30183 markings/sec, 205 secs
lola: 6856939 markings, 8457142 edges, 30791 markings/sec, 210 secs
lola: 7010915 markings, 8646596 edges, 30795 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1427)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 238679 markings, 270705 edges, 47736 markings/sec, 0 secs
lola: 469356 markings, 533906 edges, 46135 markings/sec, 5 secs
lola: 706616 markings, 803516 edges, 47452 markings/sec, 10 secs
lola: 941281 markings, 1069669 edges, 46933 markings/sec, 15 secs
lola: 1177891 markings, 1338260 edges, 47322 markings/sec, 20 secs
lola: 1411636 markings, 1604261 edges, 46749 markings/sec, 25 secs
lola: 1647804 markings, 1872692 edges, 47234 markings/sec, 30 secs
lola: 1879580 markings, 2136251 edges, 46355 markings/sec, 35 secs
lola: 2113664 markings, 2401821 edges, 46817 markings/sec, 40 secs
lola: 2347728 markings, 2667667 edges, 46813 markings/sec, 45 secs
lola: 2586593 markings, 2938930 edges, 47773 markings/sec, 50 secs
lola: 2821585 markings, 3206204 edges, 46998 markings/sec, 55 secs
lola: 3052351 markings, 3468925 edges, 46153 markings/sec, 60 secs
lola: 3290195 markings, 3739406 edges, 47569 markings/sec, 65 secs
lola: 3521066 markings, 4002207 edges, 46174 markings/sec, 70 secs
lola: 3755852 markings, 4269825 edges, 46957 markings/sec, 75 secs
lola: 3991577 markings, 4537776 edges, 47145 markings/sec, 80 secs
lola: 4229549 markings, 4808212 edges, 47594 markings/sec, 85 secs
lola: 4464071 markings, 5074669 edges, 46904 markings/sec, 90 secs
lola: 4697207 markings, 5339597 edges, 46627 markings/sec, 95 secs
lola: 4930417 markings, 5604851 edges, 46642 markings/sec, 100 secs
lola: 5168106 markings, 5874926 edges, 47538 markings/sec, 105 secs
lola: 5407624 markings, 6147113 edges, 47904 markings/sec, 110 secs
lola: 5644638 markings, 6416586 edges, 47403 markings/sec, 115 secs
lola: 5881312 markings, 6685608 edges, 47335 markings/sec, 120 secs
lola: 6113462 markings, 6949321 edges, 46430 markings/sec, 125 secs
lola: 6349865 markings, 7217632 edges, 47281 markings/sec, 130 secs
lola: 6588111 markings, 7488338 edges, 47649 markings/sec, 135 secs
lola: 6822916 markings, 7755262 edges, 46961 markings/sec, 140 secs
lola: 7055965 markings, 8020493 edges, 46610 markings/sec, 145 secs
lola: 7293720 markings, 8290740 edges, 47551 markings/sec, 150 secs
lola: 7524616 markings, 8553682 edges, 46179 markings/sec, 155 secs
lola: 7758165 markings, 8819972 edges, 46710 markings/sec, 160 secs
lola: 7994373 markings, 9088426 edges, 47242 markings/sec, 165 secs
lola: 8231091 markings, 9357521 edges, 47344 markings/sec, 170 secs
lola: 8469605 markings, 9628179 edges, 47703 markings/sec, 175 secs
lola: 8700346 markings, 9890623 edges, 46148 markings/sec, 180 secs
lola: 8933482 markings, 10155590 edges, 46627 markings/sec, 185 secs
lola: 9170934 markings, 10425536 edges, 47490 markings/sec, 190 secs
lola: 9408778 markings, 10695826 edges, 47569 markings/sec, 195 secs
lola: 9646194 markings, 10965964 edges, 47483 markings/sec, 200 secs
lola: 9883106 markings, 11235355 edges, 47382 markings/sec, 205 secs
lola: 10118735 markings, 11502651 edges, 47126 markings/sec, 210 secs
lola: 10353743 markings, 11769765 edges, 47002 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p499)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 237506 markings, 269667 edges, 47501 markings/sec, 0 secs
lola: 467839 markings, 532234 edges, 46067 markings/sec, 5 secs
lola: 707101 markings, 804256 edges, 47852 markings/sec, 10 secs
lola: 939838 markings, 1069415 edges, 46547 markings/sec, 15 secs
lola: 1182697 markings, 1344376 edges, 48572 markings/sec, 20 secs
lola: 1420004 markings, 1613304 edges, 47461 markings/sec, 25 secs
lola: 1654694 markings, 1879741 edges, 46938 markings/sec, 30 secs
lola: 1889419 markings, 2146681 edges, 46945 markings/sec, 35 secs
lola: 2122528 markings, 2411833 edges, 46622 markings/sec, 40 secs
lola: 2350585 markings, 2671966 edges, 45611 markings/sec, 45 secs
lola: 2580925 markings, 2934077 edges, 46068 markings/sec, 50 secs
lola: 2811496 markings, 3196086 edges, 46114 markings/sec, 55 secs
lola: 3040206 markings, 3456614 edges, 45742 markings/sec, 60 secs
lola: 3270588 markings, 3718612 edges, 46076 markings/sec, 65 secs
lola: 3499966 markings, 3978849 edges, 45876 markings/sec, 70 secs
lola: 3729608 markings, 4239584 edges, 45928 markings/sec, 75 secs
lola: 3958456 markings, 4499343 edges, 45770 markings/sec, 80 secs
lola: 4185954 markings, 4758403 edges, 45500 markings/sec, 85 secs
lola: 4412709 markings, 5016167 edges, 45351 markings/sec, 90 secs
lola: 4641133 markings, 5275791 edges, 45685 markings/sec, 95 secs
lola: 4866781 markings, 5532119 edges, 45130 markings/sec, 100 secs
lola: 5090480 markings, 5786205 edges, 44740 markings/sec, 105 secs
lola: 5312778 markings, 6039136 edges, 44460 markings/sec, 110 secs
lola: 5540695 markings, 6298156 edges, 45583 markings/sec, 115 secs
lola: 5766223 markings, 6554631 edges, 45106 markings/sec, 120 secs
lola: 5989209 markings, 6808237 edges, 44597 markings/sec, 125 secs
lola: 6214577 markings, 7064260 edges, 45074 markings/sec, 130 secs
lola: 6436490 markings, 7316648 edges, 44383 markings/sec, 135 secs
lola: 6659744 markings, 7570112 edges, 44651 markings/sec, 140 secs
lola: 6881529 markings, 7822506 edges, 44357 markings/sec, 145 secs
lola: 7107258 markings, 8079092 edges, 45146 markings/sec, 150 secs
lola: 7332782 markings, 8335353 edges, 45105 markings/sec, 155 secs
lola: 7554429 markings, 8587593 edges, 44329 markings/sec, 160 secs
lola: 7778797 markings, 8842375 edges, 44874 markings/sec, 165 secs
lola: 7998425 markings, 9092248 edges, 43926 markings/sec, 170 secs
lola: 8223062 markings, 9347172 edges, 44927 markings/sec, 175 secs
lola: 8440747 markings, 9594946 edges, 43537 markings/sec, 180 secs
lola: 8663679 markings, 9848563 edges, 44586 markings/sec, 185 secs
lola: 8886141 markings, 10101162 edges, 44492 markings/sec, 190 secs
lola: 9104608 markings, 10349757 edges, 43693 markings/sec, 195 secs
lola: 9326963 markings, 10602211 edges, 44471 markings/sec, 200 secs
lola: 9543600 markings, 10848862 edges, 43327 markings/sec, 205 secs
lola: 9767929 markings, 11103307 edges, 44866 markings/sec, 210 secs
lola: 9986092 markings, 11351589 edges, 43633 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1306)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 226697 markings, 251305 edges, 45339 markings/sec, 0 secs
lola: 450619 markings, 499238 edges, 44784 markings/sec, 5 secs
lola: 674851 markings, 747564 edges, 44846 markings/sec, 10 secs
lola: 901626 markings, 999072 edges, 45355 markings/sec, 15 secs
lola: 1126063 markings, 1248086 edges, 44887 markings/sec, 20 secs
lola: 1350390 markings, 1496781 edges, 44865 markings/sec, 25 secs
lola: 1573415 markings, 1744039 edges, 44605 markings/sec, 30 secs
lola: 1796623 markings, 1991302 edges, 44642 markings/sec, 35 secs
lola: 2019244 markings, 2238556 edges, 44524 markings/sec, 40 secs
lola: 2242626 markings, 2486476 edges, 44676 markings/sec, 45 secs
lola: 2466791 markings, 2734969 edges, 44833 markings/sec, 50 secs
lola: 2690352 markings, 2982668 edges, 44712 markings/sec, 55 secs
lola: 2915459 markings, 3232070 edges, 45021 markings/sec, 60 secs
lola: 3140810 markings, 3481903 edges, 45070 markings/sec, 65 secs
lola: 3363325 markings, 3728387 edges, 44503 markings/sec, 70 secs
lola: 3587481 markings, 3976655 edges, 44831 markings/sec, 75 secs
lola: 3811149 markings, 4224346 edges, 44734 markings/sec, 80 secs
lola: 4035237 markings, 4472808 edges, 44818 markings/sec, 85 secs
lola: 4257968 markings, 4719589 edges, 44546 markings/sec, 90 secs
lola: 4480790 markings, 4966288 edges, 44564 markings/sec, 95 secs
lola: 4704288 markings, 5213879 edges, 44700 markings/sec, 100 secs
lola: 4927744 markings, 5461601 edges, 44691 markings/sec, 105 secs
lola: 5150146 markings, 5708112 edges, 44480 markings/sec, 110 secs
lola: 5373092 markings, 5954927 edges, 44589 markings/sec, 115 secs
lola: 5595953 markings, 6201795 edges, 44572 markings/sec, 120 secs
lola: 5819254 markings, 6449219 edges, 44660 markings/sec, 125 secs
lola: 6039620 markings, 6693627 edges, 44073 markings/sec, 130 secs
lola: 6261986 markings, 6939805 edges, 44473 markings/sec, 135 secs
lola: 6484998 markings, 7186763 edges, 44602 markings/sec, 140 secs
lola: 6708665 markings, 7434540 edges, 44733 markings/sec, 145 secs
lola: 6930435 markings, 7680565 edges, 44354 markings/sec, 150 secs
lola: 7153560 markings, 7927545 edges, 44625 markings/sec, 155 secs
lola: 7376211 markings, 8174228 edges, 44530 markings/sec, 160 secs
lola: 7599081 markings, 8421086 edges, 44574 markings/sec, 165 secs
lola: 7820911 markings, 8667019 edges, 44366 markings/sec, 170 secs
lola: 8043047 markings, 8913000 edges, 44427 markings/sec, 175 secs
lola: 8266768 markings, 9160799 edges, 44744 markings/sec, 180 secs
lola: 8488856 markings, 9406863 edges, 44418 markings/sec, 185 secs
lola: 8711848 markings, 9653983 edges, 44598 markings/sec, 190 secs
lola: 8932021 markings, 9897841 edges, 44035 markings/sec, 195 secs
lola: 9154516 markings, 10144343 edges, 44499 markings/sec, 200 secs
lola: 9375013 markings, 10388651 edges, 44099 markings/sec, 205 secs
lola: 9595952 markings, 10633554 edges, 44188 markings/sec, 210 secs
lola: 9814807 markings, 10875758 edges, 43771 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2207)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 167233 markings, 188500 edges, 33447 markings/sec, 0 secs
lola: 340911 markings, 384331 edges, 34736 markings/sec, 5 secs
lola: 507618 markings, 572515 edges, 33341 markings/sec, 10 secs
lola: 672214 markings, 758380 edges, 32919 markings/sec, 15 secs
lola: 837781 markings, 945024 edges, 33113 markings/sec, 20 secs
lola: 1001422 markings, 1129777 edges, 32728 markings/sec, 25 secs
lola: 1164640 markings, 1314252 edges, 32644 markings/sec, 30 secs
lola: 1326458 markings, 1497181 edges, 32364 markings/sec, 35 secs
lola: 1488263 markings, 1679793 edges, 32361 markings/sec, 40 secs
lola: 1652788 markings, 1865670 edges, 32905 markings/sec, 45 secs
lola: 1815540 markings, 2049242 edges, 32550 markings/sec, 50 secs
lola: 1976728 markings, 2231315 edges, 32238 markings/sec, 55 secs
lola: 2138390 markings, 2414151 edges, 32332 markings/sec, 60 secs
lola: 2300054 markings, 2596687 edges, 32333 markings/sec, 65 secs
lola: 2463706 markings, 2781410 edges, 32730 markings/sec, 70 secs
lola: 2622353 markings, 2960749 edges, 31729 markings/sec, 75 secs
lola: 2786809 markings, 3146406 edges, 32891 markings/sec, 80 secs
lola: 2949642 markings, 3330547 edges, 32567 markings/sec, 85 secs
lola: 3108981 markings, 3510948 edges, 31868 markings/sec, 90 secs
lola: 3273480 markings, 3696564 edges, 32900 markings/sec, 95 secs
lola: 3434754 markings, 3878848 edges, 32255 markings/sec, 100 secs
lola: 3598039 markings, 4063207 edges, 32657 markings/sec, 105 secs
lola: 3760214 markings, 4246415 edges, 32435 markings/sec, 110 secs
lola: 3923989 markings, 4431148 edges, 32755 markings/sec, 115 secs
lola: 4088514 markings, 4616974 edges, 32905 markings/sec, 120 secs
lola: 4251407 markings, 4800831 edges, 32579 markings/sec, 125 secs
lola: 4412852 markings, 4983280 edges, 32289 markings/sec, 130 secs
lola: 4579185 markings, 5170842 edges, 33267 markings/sec, 135 secs
lola: 4740861 markings, 5353600 edges, 32335 markings/sec, 140 secs
lola: 4904067 markings, 5537906 edges, 32641 markings/sec, 145 secs
lola: 5070112 markings, 5724972 edges, 33209 markings/sec, 150 secs
lola: 5230767 markings, 5906799 edges, 32131 markings/sec, 155 secs
lola: 5395096 markings, 6092204 edges, 32866 markings/sec, 160 secs
lola: 5557668 markings, 6275570 edges, 32514 markings/sec, 165 secs
lola: 5717727 markings, 6456436 edges, 32012 markings/sec, 170 secs
lola: 5881182 markings, 6640852 edges, 32691 markings/sec, 175 secs
lola: 6044215 markings, 6825212 edges, 32607 markings/sec, 180 secs
lola: 6210360 markings, 7012803 edges, 33229 markings/sec, 185 secs
lola: 6377215 markings, 7201191 edges, 33371 markings/sec, 190 secs
lola: 6542119 markings, 7387310 edges, 32981 markings/sec, 195 secs
lola: 6705963 markings, 7572687 edges, 32769 markings/sec, 200 secs
lola: 6872007 markings, 7760403 edges, 33209 markings/sec, 205 secs
lola: 7036853 markings, 7946938 edges, 32969 markings/sec, 210 secs
lola: 7204223 markings, 8135782 edges, 33474 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1358)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 246729 markings, 268889 edges, 49346 markings/sec, 0 secs
lola: 497488 markings, 542528 edges, 50152 markings/sec, 5 secs
lola: 745195 markings, 812932 edges, 49541 markings/sec, 10 secs
lola: 994833 markings, 1085169 edges, 49928 markings/sec, 15 secs
lola: 1242047 markings, 1354759 edges, 49443 markings/sec, 20 secs
lola: 1493030 markings, 1628515 edges, 50197 markings/sec, 25 secs
lola: 1740279 markings, 1898108 edges, 49450 markings/sec, 30 secs
lola: 1988030 markings, 2167987 edges, 49550 markings/sec, 35 secs
lola: 2236004 markings, 2438485 edges, 49595 markings/sec, 40 secs
lola: 2480601 markings, 2705693 edges, 48919 markings/sec, 45 secs
lola: 2725624 markings, 2972886 edges, 49005 markings/sec, 50 secs
lola: 2976071 markings, 3246486 edges, 50089 markings/sec, 55 secs
lola: 3226158 markings, 3519603 edges, 50017 markings/sec, 60 secs
lola: 3469846 markings, 3785001 edges, 48738 markings/sec, 65 secs
lola: 3717386 markings, 4054888 edges, 49508 markings/sec, 70 secs
lola: 3963976 markings, 4323781 edges, 49318 markings/sec, 75 secs
lola: 4212520 markings, 4594707 edges, 49709 markings/sec, 80 secs
lola: 4457517 markings, 4861956 edges, 48999 markings/sec, 85 secs
lola: 4707207 markings, 5134212 edges, 49938 markings/sec, 90 secs
lola: 4956395 markings, 5405978 edges, 49838 markings/sec, 95 secs
lola: 5203011 markings, 5675012 edges, 49323 markings/sec, 100 secs
lola: 5452906 markings, 5947940 edges, 49979 markings/sec, 105 secs
lola: 5696637 markings, 6213656 edges, 48746 markings/sec, 110 secs
lola: 5947405 markings, 6487174 edges, 50154 markings/sec, 115 secs
lola: 6198119 markings, 6760657 edges, 50143 markings/sec, 120 secs
lola: 6446149 markings, 7031064 edges, 49606 markings/sec, 125 secs
lola: 6695438 markings, 7303142 edges, 49858 markings/sec, 130 secs
lola: 6944899 markings, 7574840 edges, 49892 markings/sec, 135 secs
lola: 7195730 markings, 7848363 edges, 50166 markings/sec, 140 secs
lola: 7446064 markings, 8121466 edges, 50067 markings/sec, 145 secs
lola: 7697359 markings, 8395570 edges, 50259 markings/sec, 150 secs
lola: 7948829 markings, 8669896 edges, 50294 markings/sec, 155 secs
lola: 8204685 markings, 8949358 edges, 51171 markings/sec, 160 secs
lola: 8460980 markings, 9229089 edges, 51259 markings/sec, 165 secs
lola: 8715652 markings, 9507016 edges, 50934 markings/sec, 170 secs
lola: 8968098 markings, 9782463 edges, 50489 markings/sec, 175 secs
lola: 9221246 markings, 10058578 edges, 50630 markings/sec, 180 secs
lola: 9476619 markings, 10337220 edges, 51075 markings/sec, 185 secs
lola: 9731309 markings, 10614681 edges, 50938 markings/sec, 190 secs
lola: 9985175 markings, 10891511 edges, 50773 markings/sec, 195 secs
lola: 10237542 markings, 11166568 edges, 50473 markings/sec, 200 secs
lola: 10491833 markings, 11444380 edges, 50858 markings/sec, 205 secs
lola: 10742369 markings, 11717565 edges, 50107 markings/sec, 210 secs
lola: 10993315 markings, 11991242 edges, 50189 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2005)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 133459 markings, 151648 edges, 26692 markings/sec, 0 secs
lola: 261005 markings, 296208 edges, 25509 markings/sec, 5 secs
lola: 384351 markings, 435623 edges, 24669 markings/sec, 10 secs
lola: 507276 markings, 574587 edges, 24585 markings/sec, 15 secs
lola: 631009 markings, 714592 edges, 24747 markings/sec, 20 secs
lola: 755948 markings, 856213 edges, 24988 markings/sec, 25 secs
lola: 881194 markings, 998165 edges, 25049 markings/sec, 30 secs
lola: 1005484 markings, 1139251 edges, 24858 markings/sec, 35 secs
lola: 1128857 markings, 1279018 edges, 24675 markings/sec, 40 secs
lola: 1252635 markings, 1419230 edges, 24756 markings/sec, 45 secs
lola: 1378047 markings, 1561347 edges, 25082 markings/sec, 50 secs
lola: 1503586 markings, 1703372 edges, 25108 markings/sec, 55 secs
lola: 1630022 markings, 1846272 edges, 25287 markings/sec, 60 secs
lola: 1755493 markings, 1987980 edges, 25094 markings/sec, 65 secs
lola: 1878730 markings, 2127457 edges, 24647 markings/sec, 70 secs
lola: 2002755 markings, 2267768 edges, 24805 markings/sec, 75 secs
lola: 2128437 markings, 2410251 edges, 25136 markings/sec, 80 secs
lola: 2255086 markings, 2553875 edges, 25330 markings/sec, 85 secs
lola: 2380049 markings, 2695606 edges, 24993 markings/sec, 90 secs
lola: 2503923 markings, 2835741 edges, 24775 markings/sec, 95 secs
lola: 2625443 markings, 2973121 edges, 24304 markings/sec, 100 secs
lola: 2751095 markings, 3115518 edges, 25130 markings/sec, 105 secs
lola: 2875023 markings, 3256105 edges, 24786 markings/sec, 110 secs
lola: 2998844 markings, 3396452 edges, 24764 markings/sec, 115 secs
lola: 3124895 markings, 3539135 edges, 25210 markings/sec, 120 secs
lola: 3248827 markings, 3679640 edges, 24786 markings/sec, 125 secs
lola: 3373124 markings, 3820455 edges, 24859 markings/sec, 130 secs
lola: 3498729 markings, 3962585 edges, 25121 markings/sec, 135 secs
lola: 3624993 markings, 4105732 edges, 25253 markings/sec, 140 secs
lola: 3751021 markings, 4248701 edges, 25206 markings/sec, 145 secs
lola: 3876411 markings, 4390552 edges, 25078 markings/sec, 150 secs
lola: 4000099 markings, 4530400 edges, 24738 markings/sec, 155 secs
lola: 4125545 markings, 4672479 edges, 25089 markings/sec, 160 secs
lola: 4250555 markings, 4814022 edges, 25002 markings/sec, 165 secs
lola: 4376652 markings, 4956927 edges, 25219 markings/sec, 170 secs
lola: 4501538 markings, 5098415 edges, 24977 markings/sec, 175 secs
lola: 4625282 markings, 5238404 edges, 24749 markings/sec, 180 secs
lola: 4747840 markings, 5376923 edges, 24512 markings/sec, 185 secs
lola: 4869574 markings, 5514657 edges, 24347 markings/sec, 190 secs
lola: 4993222 markings, 5654567 edges, 24730 markings/sec, 195 secs
lola: 5117345 markings, 5795265 edges, 24825 markings/sec, 200 secs
lola: 5239709 markings, 5934082 edges, 24473 markings/sec, 205 secs
lola: 5364340 markings, 6075348 edges, 24926 markings/sec, 210 secs
lola: 5489730 markings, 6217511 edges, 25078 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p995)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 224214 markings, 248860 edges, 44843 markings/sec, 0 secs
lola: 448647 markings, 497585 edges, 44887 markings/sec, 5 secs
lola: 674202 markings, 747127 edges, 45111 markings/sec, 10 secs
lola: 896807 markings, 994438 edges, 44521 markings/sec, 15 secs
lola: 1122127 markings, 1245033 edges, 45064 markings/sec, 20 secs
lola: 1344488 markings, 1492346 edges, 44472 markings/sec, 25 secs
lola: 1567012 markings, 1739451 edges, 44505 markings/sec, 30 secs
lola: 1786398 markings, 1983570 edges, 43877 markings/sec, 35 secs
lola: 2010111 markings, 2232276 edges, 44743 markings/sec, 40 secs
lola: 2232583 markings, 2479119 edges, 44494 markings/sec, 45 secs
lola: 2451464 markings, 2722526 edges, 43776 markings/sec, 50 secs
lola: 2674670 markings, 2970652 edges, 44641 markings/sec, 55 secs
lola: 2897399 markings, 3217968 edges, 44546 markings/sec, 60 secs
lola: 3116791 markings, 3461857 edges, 43878 markings/sec, 65 secs
lola: 3337175 markings, 3706287 edges, 44077 markings/sec, 70 secs
lola: 3555548 markings, 3949100 edges, 43675 markings/sec, 75 secs
lola: 3778987 markings, 4197262 edges, 44688 markings/sec, 80 secs
lola: 3999731 markings, 4442164 edges, 44149 markings/sec, 85 secs
lola: 4223199 markings, 4690512 edges, 44694 markings/sec, 90 secs
lola: 4445693 markings, 4937566 edges, 44499 markings/sec, 95 secs
lola: 4663582 markings, 5179879 edges, 43578 markings/sec, 100 secs
lola: 4883077 markings, 5423906 edges, 43899 markings/sec, 105 secs
lola: 5105034 markings, 5669976 edges, 44391 markings/sec, 110 secs
lola: 5324080 markings, 5913579 edges, 43809 markings/sec, 115 secs
lola: 5544529 markings, 6158319 edges, 44090 markings/sec, 120 secs
lola: 5763790 markings, 6402227 edges, 43852 markings/sec, 125 secs
lola: 5985322 markings, 6648568 edges, 44306 markings/sec, 130 secs
lola: 6203855 markings, 6891498 edges, 43707 markings/sec, 135 secs
lola: 6424461 markings, 7136545 edges, 44121 markings/sec, 140 secs
lola: 6648065 markings, 7384941 edges, 44721 markings/sec, 145 secs
lola: 6869349 markings, 7630793 edges, 44257 markings/sec, 150 secs
lola: 7088683 markings, 7874475 edges, 43867 markings/sec, 155 secs
lola: 7310039 markings, 8120583 edges, 44271 markings/sec, 160 secs
lola: 7531218 markings, 8366351 edges, 44236 markings/sec, 165 secs
lola: 7750465 markings, 8610308 edges, 43849 markings/sec, 170 secs
lola: 7968639 markings, 8853359 edges, 43635 markings/sec, 175 secs
lola: 8187409 markings, 9096951 edges, 43754 markings/sec, 180 secs
lola: 8408377 markings, 9342276 edges, 44194 markings/sec, 185 secs
lola: 8627789 markings, 9586275 edges, 43882 markings/sec, 190 secs
lola: 8850586 markings, 9833611 edges, 44559 markings/sec, 195 secs
lola: 9071192 markings, 10078648 edges, 44121 markings/sec, 200 secs
lola: 9289825 markings, 10321497 edges, 43727 markings/sec, 205 secs
lola: 9513137 markings, 10569402 edges, 44662 markings/sec, 210 secs
lola: 9735777 markings, 10816863 edges, 44528 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p888)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 228271 markings, 252177 edges, 45654 markings/sec, 0 secs
lola: 458788 markings, 506562 edges, 46103 markings/sec, 5 secs
lola: 688394 markings, 759985 edges, 45921 markings/sec, 10 secs
lola: 917872 markings, 1013206 edges, 45896 markings/sec, 15 secs
lola: 1147535 markings, 1266907 edges, 45933 markings/sec, 20 secs
lola: 1373901 markings, 1516396 edges, 45273 markings/sec, 25 secs
lola: 1599977 markings, 1766329 edges, 45215 markings/sec, 30 secs
lola: 1827613 markings, 2017781 edges, 45527 markings/sec, 35 secs
lola: 2055973 markings, 2270126 edges, 45672 markings/sec, 40 secs
lola: 2281710 markings, 2518959 edges, 45147 markings/sec, 45 secs
lola: 2507299 markings, 2768179 edges, 45118 markings/sec, 50 secs
lola: 2731426 markings, 3015258 edges, 44825 markings/sec, 55 secs
lola: 2958554 markings, 3265945 edges, 45426 markings/sec, 60 secs
lola: 3185203 markings, 3516149 edges, 45330 markings/sec, 65 secs
lola: 3412326 markings, 3766932 edges, 45425 markings/sec, 70 secs
lola: 3638175 markings, 4016367 edges, 45170 markings/sec, 75 secs
lola: 3863194 markings, 4264982 edges, 45004 markings/sec, 80 secs
lola: 4089031 markings, 4514234 edges, 45167 markings/sec, 85 secs
lola: 4314169 markings, 4762383 edges, 45028 markings/sec, 90 secs
lola: 4541860 markings, 5013760 edges, 45538 markings/sec, 95 secs
lola: 4768335 markings, 5263934 edges, 45295 markings/sec, 100 secs
lola: 4994177 markings, 5513304 edges, 45168 markings/sec, 105 secs
lola: 5219226 markings, 5761732 edges, 45010 markings/sec, 110 secs
lola: 5443728 markings, 6009871 edges, 44900 markings/sec, 115 secs
lola: 5669080 markings, 6258487 edges, 45070 markings/sec, 120 secs
lola: 5894483 markings, 6507491 edges, 45081 markings/sec, 125 secs
lola: 6121035 markings, 6757564 edges, 45310 markings/sec, 130 secs
lola: 6348370 markings, 7008246 edges, 45467 markings/sec, 135 secs
lola: 6574047 markings, 7257523 edges, 45135 markings/sec, 140 secs
lola: 6798712 markings, 7505929 edges, 44933 markings/sec, 145 secs
lola: 7026548 markings, 7757201 edges, 45567 markings/sec, 150 secs
lola: 7254579 markings, 8009053 edges, 45606 markings/sec, 155 secs
lola: 7482720 markings, 8261217 edges, 45628 markings/sec, 160 secs
lola: 7712597 markings, 8514874 edges, 45975 markings/sec, 165 secs
lola: 7940873 markings, 8766742 edges, 45655 markings/sec, 170 secs
lola: 8168186 markings, 9018155 edges, 45463 markings/sec, 175 secs
lola: 8396487 markings, 9270202 edges, 45660 markings/sec, 180 secs
lola: 8623680 markings, 9520945 edges, 45439 markings/sec, 185 secs
lola: 8848909 markings, 9769245 edges, 45046 markings/sec, 190 secs
lola: 9076279 markings, 10020431 edges, 45474 markings/sec, 195 secs
lola: 9301321 markings, 10268922 edges, 45008 markings/sec, 200 secs
lola: 9528209 markings, 10519505 edges, 45378 markings/sec, 205 secs
lola: 9756128 markings, 10771109 edges, 45584 markings/sec, 210 secs
lola: 9985613 markings, 11024706 edges, 45897 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1088)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 237056 markings, 261612 edges, 47411 markings/sec, 0 secs
lola: 475573 markings, 524230 edges, 47703 markings/sec, 5 secs
lola: 713441 markings, 786242 edges, 47574 markings/sec, 10 secs
lola: 951533 markings, 1048535 edges, 47618 markings/sec, 15 secs
lola: 1189178 markings, 1310497 edges, 47529 markings/sec, 20 secs
lola: 1425154 markings, 1570433 edges, 47195 markings/sec, 25 secs
lola: 1663360 markings, 1833547 edges, 47641 markings/sec, 30 secs
lola: 1900683 markings, 2094775 edges, 47465 markings/sec, 35 secs
lola: 2136766 markings, 2355170 edges, 47217 markings/sec, 40 secs
lola: 2373043 markings, 2615128 edges, 47255 markings/sec, 45 secs
lola: 2608826 markings, 2875149 edges, 47157 markings/sec, 50 secs
lola: 2845373 markings, 3135567 edges, 47309 markings/sec, 55 secs
lola: 3082733 markings, 3397326 edges, 47472 markings/sec, 60 secs
lola: 3322526 markings, 3661446 edges, 47959 markings/sec, 65 secs
lola: 3559794 markings, 3922793 edges, 47454 markings/sec, 70 secs
lola: 3794427 markings, 4181787 edges, 46927 markings/sec, 75 secs
lola: 4029930 markings, 4441289 edges, 47101 markings/sec, 80 secs
lola: 4263996 markings, 4698929 edges, 46813 markings/sec, 85 secs
lola: 4500838 markings, 4959837 edges, 47368 markings/sec, 90 secs
lola: 4738539 markings, 5221902 edges, 47540 markings/sec, 95 secs
lola: 4975839 markings, 5483490 edges, 47460 markings/sec, 100 secs
lola: 5212245 markings, 5744179 edges, 47281 markings/sec, 105 secs
lola: 5447329 markings, 6003246 edges, 47017 markings/sec, 110 secs
lola: 5683807 markings, 6263909 edges, 47296 markings/sec, 115 secs
lola: 5919814 markings, 6523702 edges, 47201 markings/sec, 120 secs
lola: 6159697 markings, 6788380 edges, 47977 markings/sec, 125 secs
lola: 6398686 markings, 7051539 edges, 47798 markings/sec, 130 secs
lola: 6634940 markings, 7312133 edges, 47251 markings/sec, 135 secs
lola: 6872561 markings, 7574677 edges, 47524 markings/sec, 140 secs
lola: 7109669 markings, 7836420 edges, 47422 markings/sec, 145 secs
lola: 7349269 markings, 8100614 edges, 47920 markings/sec, 150 secs
lola: 7590366 markings, 8366636 edges, 48219 markings/sec, 155 secs
lola: 7832662 markings, 8633894 edges, 48459 markings/sec, 160 secs
lola: 8071896 markings, 8897799 edges, 47847 markings/sec, 165 secs
lola: 8311873 markings, 9161966 edges, 47995 markings/sec, 170 secs
lola: 8551915 markings, 9427094 edges, 48008 markings/sec, 175 secs
lola: 8791814 markings, 9691556 edges, 47980 markings/sec, 180 secs
lola: 9029826 markings, 9953680 edges, 47602 markings/sec, 185 secs
lola: 9268798 markings, 10217725 edges, 47794 markings/sec, 190 secs
lola: 9506913 markings, 10480657 edges, 47623 markings/sec, 195 secs
lola: 9743222 markings, 10741590 edges, 47262 markings/sec, 200 secs
lola: 9982835 markings, 11006878 edges, 47923 markings/sec, 205 secs
lola: 10221135 markings, 11269793 edges, 47660 markings/sec, 210 secs
lola: 10460120 markings, 11533262 edges, 47797 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1033)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 220051 markings, 248386 edges, 44010 markings/sec, 0 secs
lola: 442960 markings, 500292 edges, 44582 markings/sec, 5 secs
lola: 665385 markings, 751569 edges, 44485 markings/sec, 10 secs
lola: 887687 markings, 1002414 edges, 44460 markings/sec, 15 secs
lola: 1107598 markings, 1250650 edges, 43982 markings/sec, 20 secs
lola: 1330591 markings, 1502483 edges, 44599 markings/sec, 25 secs
lola: 1553765 markings, 1754891 edges, 44635 markings/sec, 30 secs
lola: 1776410 markings, 2006190 edges, 44529 markings/sec, 35 secs
lola: 1997735 markings, 2255922 edges, 44265 markings/sec, 40 secs
lola: 2218874 markings, 2505673 edges, 44228 markings/sec, 45 secs
lola: 2443156 markings, 2758969 edges, 44856 markings/sec, 50 secs
lola: 2665879 markings, 3010871 edges, 44545 markings/sec, 55 secs
lola: 2888762 markings, 3262307 edges, 44577 markings/sec, 60 secs
lola: 3109542 markings, 3511236 edges, 44156 markings/sec, 65 secs
lola: 3333397 markings, 3763952 edges, 44771 markings/sec, 70 secs
lola: 3558104 markings, 4017707 edges, 44941 markings/sec, 75 secs
lola: 3781947 markings, 4270411 edges, 44769 markings/sec, 80 secs
lola: 4003499 markings, 4520201 edges, 44310 markings/sec, 85 secs
lola: 4227606 markings, 4773354 edges, 44821 markings/sec, 90 secs
lola: 4449855 markings, 5024125 edges, 44450 markings/sec, 95 secs
lola: 4672639 markings, 5275722 edges, 44557 markings/sec, 100 secs
lola: 4896636 markings, 5528712 edges, 44799 markings/sec, 105 secs
lola: 5120223 markings, 5781347 edges, 44717 markings/sec, 110 secs
lola: 5342440 markings, 6032524 edges, 44443 markings/sec, 115 secs
lola: 5564803 markings, 6283456 edges, 44473 markings/sec, 120 secs
lola: 5788156 markings, 6535764 edges, 44671 markings/sec, 125 secs
lola: 6012390 markings, 6788893 edges, 44847 markings/sec, 130 secs
lola: 6238709 markings, 7044435 edges, 45264 markings/sec, 135 secs
lola: 6464189 markings, 7298993 edges, 45096 markings/sec, 140 secs
lola: 6687734 markings, 7551829 edges, 44709 markings/sec, 145 secs
lola: 6915798 markings, 7809307 edges, 45613 markings/sec, 150 secs
lola: 7145646 markings, 8068824 edges, 45970 markings/sec, 155 secs
lola: 7375578 markings, 8328390 edges, 45986 markings/sec, 160 secs
lola: 7604238 markings, 8586591 edges, 45732 markings/sec, 165 secs
lola: 7833140 markings, 8845031 edges, 45780 markings/sec, 170 secs
lola: 8063403 markings, 9105156 edges, 46053 markings/sec, 175 secs
lola: 8288961 markings, 9359887 edges, 45112 markings/sec, 180 secs
lola: 8512576 markings, 9612178 edges, 44723 markings/sec, 185 secs
lola: 8736667 markings, 9865475 edges, 44818 markings/sec, 190 secs
lola: 8961705 markings, 10119589 edges, 45008 markings/sec, 195 secs
lola: 9185574 markings, 10372067 edges, 44774 markings/sec, 200 secs
lola: 9409731 markings, 10625313 edges, 44831 markings/sec, 205 secs
lola: 9630890 markings, 10874895 edges, 44232 markings/sec, 210 secs
lola: 9852387 markings, 11124897 edges, 44299 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p157)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 190645 markings, 237488 edges, 38129 markings/sec, 0 secs
lola: 383584 markings, 478589 edges, 38588 markings/sec, 5 secs
lola: 577095 markings, 720609 edges, 38702 markings/sec, 10 secs
lola: 770875 markings, 962985 edges, 38756 markings/sec, 15 secs
lola: 964933 markings, 1205539 edges, 38812 markings/sec, 20 secs
lola: 1158990 markings, 1448316 edges, 38811 markings/sec, 25 secs
lola: 1353164 markings, 1691124 edges, 38835 markings/sec, 30 secs
lola: 1546999 markings, 1933466 edges, 38767 markings/sec, 35 secs
lola: 1739395 markings, 2174336 edges, 38479 markings/sec, 40 secs
lola: 1927795 markings, 2409477 edges, 37680 markings/sec, 45 secs
lola: 2114018 markings, 2641718 edges, 37245 markings/sec, 50 secs
lola: 2298775 markings, 2872807 edges, 36951 markings/sec, 55 secs
lola: 2484729 markings, 3105050 edges, 37191 markings/sec, 60 secs
lola: 2670604 markings, 3336757 edges, 37175 markings/sec, 65 secs
lola: 2853931 markings, 3565333 edges, 36665 markings/sec, 70 secs
lola: 3039077 markings, 3796259 edges, 37029 markings/sec, 75 secs
lola: 3227172 markings, 4030844 edges, 37619 markings/sec, 80 secs
lola: 3412515 markings, 4262116 edges, 37069 markings/sec, 85 secs
lola: 3597271 markings, 4492405 edges, 36951 markings/sec, 90 secs
lola: 3782923 markings, 4723640 edges, 37130 markings/sec, 95 secs
lola: 3967311 markings, 4953642 edges, 36878 markings/sec, 100 secs
lola: 4153061 markings, 5185062 edges, 37150 markings/sec, 105 secs
lola: 4340262 markings, 5418661 edges, 37440 markings/sec, 110 secs
lola: 4515763 markings, 5637499 edges, 35100 markings/sec, 115 secs
lola: 4692375 markings, 5857713 edges, 35322 markings/sec, 120 secs
lola: 4872085 markings, 6081835 edges, 35942 markings/sec, 125 secs
lola: 5047087 markings, 6300088 edges, 35000 markings/sec, 130 secs
lola: 5225326 markings, 6522516 edges, 35648 markings/sec, 135 secs
lola: 5401323 markings, 6742131 edges, 35199 markings/sec, 140 secs
lola: 5576600 markings, 6960737 edges, 35055 markings/sec, 145 secs
lola: 5749793 markings, 7176619 edges, 34639 markings/sec, 150 secs
lola: 5928849 markings, 7399905 edges, 35811 markings/sec, 155 secs
lola: 6108841 markings, 7624400 edges, 35998 markings/sec, 160 secs
lola: 6290826 markings, 7851675 edges, 36397 markings/sec, 165 secs
lola: 6477694 markings, 8084710 edges, 37374 markings/sec, 170 secs
lola: 6659302 markings, 8311509 edges, 36322 markings/sec, 175 secs
lola: 6839998 markings, 8536888 edges, 36139 markings/sec, 180 secs
lola: 7026154 markings, 8769033 edges, 37231 markings/sec, 185 secs
lola: 7211316 markings, 8999749 edges, 37032 markings/sec, 190 secs
lola: 7395285 markings, 9229403 edges, 36794 markings/sec, 195 secs
lola: 7580470 markings, 9460234 edges, 37037 markings/sec, 200 secs
lola: 7759076 markings, 9682936 edges, 35721 markings/sec, 205 secs
lola: 7941062 markings, 9909529 edges, 36397 markings/sec, 210 secs
lola: 8123909 markings, 10137610 edges, 36569 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p855)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 304 bytes per marking, with 28 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 233736 markings, 254641 edges, 46747 markings/sec, 0 secs
lola: 469795 markings, 512229 edges, 47212 markings/sec, 5 secs
lola: 702627 markings, 766550 edges, 46566 markings/sec, 10 secs
lola: 936439 markings, 1021577 edges, 46762 markings/sec, 15 secs
lola: 1169216 markings, 1275312 edges, 46555 markings/sec, 20 secs
lola: 1402567 markings, 1529819 edges, 46670 markings/sec, 25 secs
lola: 1634136 markings, 1782311 edges, 46314 markings/sec, 30 secs
lola: 1865519 markings, 2034638 edges, 46277 markings/sec, 35 secs
lola: 2098550 markings, 2288730 edges, 46606 markings/sec, 40 secs
lola: 2334667 markings, 2546674 edges, 47223 markings/sec, 45 secs
lola: 2567493 markings, 2800617 edges, 46565 markings/sec, 50 secs
lola: 2800492 markings, 3054691 edges, 46600 markings/sec, 55 secs
lola: 3032502 markings, 3307954 edges, 46402 markings/sec, 60 secs
lola: 3265794 markings, 3562771 edges, 46658 markings/sec, 65 secs
lola: 3498403 markings, 3816154 edges, 46522 markings/sec, 70 secs
lola: 3735147 markings, 4074601 edges, 47349 markings/sec, 75 secs
lola: 3970004 markings, 4330689 edges, 46971 markings/sec, 80 secs
lola: 4205748 markings, 4588011 edges, 47149 markings/sec, 85 secs
lola: 4443293 markings, 4847240 edges, 47509 markings/sec, 90 secs
lola: 4680142 markings, 5105733 edges, 47370 markings/sec, 95 secs
lola: 4914738 markings, 5361487 edges, 46919 markings/sec, 100 secs
lola: 5151876 markings, 5620524 edges, 47428 markings/sec, 105 secs
lola: 5386582 markings, 5876605 edges, 46941 markings/sec, 110 secs
lola: 5618753 markings, 6130013 edges, 46434 markings/sec, 115 secs
lola: 5854605 markings, 6387315 edges, 47170 markings/sec, 120 secs
lola: 6087523 markings, 6641228 edges, 46584 markings/sec, 125 secs
lola: 6323194 markings, 6898586 edges, 47134 markings/sec, 130 secs
lola: 6557239 markings, 7153943 edges, 46809 markings/sec, 135 secs
lola: 6790989 markings, 7408986 edges, 46750 markings/sec, 140 secs
lola: 7024766 markings, 7664352 edges, 46755 markings/sec, 145 secs
lola: 7256091 markings, 7916322 edges, 46265 markings/sec, 150 secs
lola: 7492449 markings, 8174214 edges, 47272 markings/sec, 155 secs
lola: 7728006 markings, 8430811 edges, 47111 markings/sec, 160 secs
lola: 7968389 markings, 8692748 edges, 48077 markings/sec, 165 secs
lola: 8207343 markings, 8953548 edges, 47791 markings/sec, 170 secs
lola: 8443217 markings, 9210996 edges, 47175 markings/sec, 175 secs
lola: 8681141 markings, 9470383 edges, 47585 markings/sec, 180 secs
lola: 8921037 markings, 9732424 edges, 47979 markings/sec, 185 secs
lola: 9157545 markings, 9990416 edges, 47302 markings/sec, 190 secs
lola: 9396734 markings, 10251158 edges, 47838 markings/sec, 195 secs
lola: 9640275 markings, 10516787 edges, 48708 markings/sec, 200 secs
lola: 9882683 markings, 10781344 edges, 48482 markings/sec, 205 secs
lola: 10122663 markings, 11043192 edges, 47996 markings/sec, 210 secs
lola: 10363148 markings, 11305056 edges, 48097 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 unknownlola:
caught signal User defined signal 1 - aborting LoLA
FORMULA DLCshifumi-PT-2b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496470414210

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_DLCshifumi-PT-2b"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/S_DLCshifumi-PT-2b.tgz
mv S_DLCshifumi-PT-2b execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_DLCshifumi-PT-2b, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r098-ebro-149488455900452"
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 ;