About the Execution of LoLA for DES-PT-50b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
2760.480 | 3539592.00 | 3555022.00 | 582.60 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is DES-PT-50b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436309200326
=====================================================================
--------------------
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 DES-PT-50b-UpperBounds-0
FORMULA_NAME DES-PT-50b-UpperBounds-1
FORMULA_NAME DES-PT-50b-UpperBounds-10
FORMULA_NAME DES-PT-50b-UpperBounds-11
FORMULA_NAME DES-PT-50b-UpperBounds-12
FORMULA_NAME DES-PT-50b-UpperBounds-13
FORMULA_NAME DES-PT-50b-UpperBounds-14
FORMULA_NAME DES-PT-50b-UpperBounds-15
FORMULA_NAME DES-PT-50b-UpperBounds-2
FORMULA_NAME DES-PT-50b-UpperBounds-3
FORMULA_NAME DES-PT-50b-UpperBounds-4
FORMULA_NAME DES-PT-50b-UpperBounds-5
FORMULA_NAME DES-PT-50b-UpperBounds-6
FORMULA_NAME DES-PT-50b-UpperBounds-7
FORMULA_NAME DES-PT-50b-UpperBounds-8
FORMULA_NAME DES-PT-50b-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494632181747
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DES-PT-50b @ 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: 909/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 479 places, 430 transitions, 414 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 527 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-50b-UpperBounds.task
lola: MAX(p368) : MAX(p69) : MAX(p449) : MAX(p405) : MAX(p252) : MAX(p366) : MAX(p388) : MAX(p383) : MAX(p316) : MAX(p471) : MAX(p41) : MAX(p205) : MAX(p10) : MAX(p7) : MAX(p463) : MAX(p313)
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(p368)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 1061832 markings, 1231287 edges, 212366 markings/sec, 0 secs
lola: 1936472 markings, 2402567 edges, 174928 markings/sec, 5 secs
lola: 2965370 markings, 3608391 edges, 205780 markings/sec, 10 secs
lola: 3625242 markings, 4832844 edges, 131974 markings/sec, 15 secs
lola: 4136430 markings, 5941729 edges, 102238 markings/sec, 20 secs
lola: 4782616 markings, 7026756 edges, 129237 markings/sec, 25 secs
lola: 5795559 markings, 8236725 edges, 202589 markings/sec, 30 secs
lola: 6561808 markings, 9340715 edges, 153250 markings/sec, 35 secs
lola: 7137670 markings, 10533396 edges, 115172 markings/sec, 40 secs
lola: 7642614 markings, 11667484 edges, 100989 markings/sec, 45 secs
lola: 8126280 markings, 12729377 edges, 96733 markings/sec, 50 secs
lola: 8626138 markings, 13803847 edges, 99972 markings/sec, 55 secs
lola: 9128955 markings, 14861693 edges, 100563 markings/sec, 60 secs
lola: 9765333 markings, 15970839 edges, 127276 markings/sec, 65 secs
lola: 10661841 markings, 17149856 edges, 179302 markings/sec, 70 secs
lola: 11565254 markings, 18331913 edges, 180683 markings/sec, 75 secs
lola: 12480751 markings, 19436989 edges, 183099 markings/sec, 80 secs
lola: 13334414 markings, 20518631 edges, 170733 markings/sec, 85 secs
lola: 14251503 markings, 21638476 edges, 183418 markings/sec, 90 secs
lola: 15099607 markings, 22728022 edges, 169621 markings/sec, 95 secs
lola: 15955137 markings, 23796123 edges, 171106 markings/sec, 100 secs
lola: 16816985 markings, 24867195 edges, 172370 markings/sec, 105 secs
lola: 17679213 markings, 25928806 edges, 172446 markings/sec, 110 secs
lola: 18523541 markings, 26979004 edges, 168866 markings/sec, 115 secs
lola: 19539213 markings, 28167041 edges, 203134 markings/sec, 120 secs
lola: 20013740 markings, 29337833 edges, 94905 markings/sec, 125 secs
lola: 20578231 markings, 30432399 edges, 112898 markings/sec, 130 secs
lola: 21335863 markings, 31541202 edges, 151526 markings/sec, 135 secs
lola: 22343111 markings, 32749546 edges, 201450 markings/sec, 140 secs
lola: 22942641 markings, 33911959 edges, 119906 markings/sec, 145 secs
lola: 23338371 markings, 34990277 edges, 79146 markings/sec, 150 secs
lola: 23841119 markings, 36068822 edges, 100550 markings/sec, 155 secs
lola: 24342974 markings, 37141330 edges, 100371 markings/sec, 160 secs
lola: 24887446 markings, 38179643 edges, 108894 markings/sec, 165 secs
lola: 25660608 markings, 39298094 edges, 154632 markings/sec, 170 secs
lola: 26555926 markings, 40398881 edges, 179064 markings/sec, 175 secs
lola: 27422588 markings, 41476930 edges, 173332 markings/sec, 180 secs
lola: 28280879 markings, 42583049 edges, 171658 markings/sec, 185 secs
lola: 29171902 markings, 43684093 edges, 178205 markings/sec, 190 secs
lola: 30000654 markings, 44715693 edges, 165750 markings/sec, 195 secs
lola: 30838842 markings, 45757636 edges, 167638 markings/sec, 200 secs
lola: 31684921 markings, 46797109 edges, 169216 markings/sec, 205 secs
lola: 32533429 markings, 47844060 edges, 169702 markings/sec, 210 secs
lola: 33481688 markings, 49059924 edges, 189652 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(p69)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 866826 markings, 1027374 edges, 173365 markings/sec, 0 secs
lola: 1740926 markings, 2124804 edges, 174820 markings/sec, 5 secs
lola: 2601014 markings, 3207101 edges, 172018 markings/sec, 10 secs
lola: 3441652 markings, 4261172 edges, 168128 markings/sec, 15 secs
lola: 4274807 markings, 5304834 edges, 166631 markings/sec, 20 secs
lola: 5098011 markings, 6344027 edges, 164641 markings/sec, 25 secs
lola: 5926071 markings, 7373579 edges, 165612 markings/sec, 30 secs
lola: 6744244 markings, 8401362 edges, 163635 markings/sec, 35 secs
lola: 7562652 markings, 9440386 edges, 163682 markings/sec, 40 secs
lola: 8397433 markings, 10473198 edges, 166956 markings/sec, 45 secs
lola: 9212337 markings, 11499670 edges, 162981 markings/sec, 50 secs
lola: 10030894 markings, 12523244 edges, 163711 markings/sec, 55 secs
lola: 10854844 markings, 13566049 edges, 164790 markings/sec, 60 secs
lola: 11686527 markings, 14598395 edges, 166337 markings/sec, 65 secs
lola: 12508214 markings, 15630872 edges, 164337 markings/sec, 70 secs
lola: 13330689 markings, 16675697 edges, 164495 markings/sec, 75 secs
lola: 14013599 markings, 17440833 edges, 136582 markings/sec, 80 secs
lola: 14681051 markings, 18142219 edges, 133490 markings/sec, 85 secs
lola: 15347220 markings, 18841218 edges, 133234 markings/sec, 90 secs
lola: 15998405 markings, 19528994 edges, 130237 markings/sec, 95 secs
lola: 16657557 markings, 20226249 edges, 131830 markings/sec, 100 secs
lola: 17310478 markings, 20963862 edges, 130584 markings/sec, 105 secs
lola: 17995571 markings, 21810667 edges, 137019 markings/sec, 110 secs
lola: 18648197 markings, 22586784 edges, 130525 markings/sec, 115 secs
lola: 19290837 markings, 23290061 edges, 128528 markings/sec, 120 secs
lola: 19930622 markings, 23973249 edges, 127957 markings/sec, 125 secs
lola: 20598059 markings, 24791534 edges, 133487 markings/sec, 130 secs
lola: 21245331 markings, 25538524 edges, 129454 markings/sec, 135 secs
lola: 21907193 markings, 26287189 edges, 132372 markings/sec, 140 secs
lola: 22630979 markings, 27082012 edges, 144757 markings/sec, 145 secs
lola: 23341391 markings, 27865482 edges, 142082 markings/sec, 150 secs
lola: 24025329 markings, 28577193 edges, 136788 markings/sec, 155 secs
lola: 24699194 markings, 29278814 edges, 134773 markings/sec, 160 secs
lola: 25382869 markings, 29990533 edges, 136735 markings/sec, 165 secs
lola: 26064191 markings, 30705027 edges, 136264 markings/sec, 170 secs
lola: 26743193 markings, 31427246 edges, 135800 markings/sec, 175 secs
lola: 27419050 markings, 32257200 edges, 135171 markings/sec, 180 secs
lola: 28074055 markings, 32992011 edges, 131001 markings/sec, 185 secs
lola: 28736019 markings, 33689196 edges, 132393 markings/sec, 190 secs
lola: 29392511 markings, 34381308 edges, 131298 markings/sec, 195 secs
lola: 30056344 markings, 35117528 edges, 132767 markings/sec, 200 secs
lola: 30722689 markings, 35892138 edges, 133269 markings/sec, 205 secs
lola: 31384239 markings, 36601351 edges, 132310 markings/sec, 210 secs
lola: 32122996 markings, 37420014 edges, 147751 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(p449)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 580740 markings, 1142703 edges, 116148 markings/sec, 0 secs
lola: 1140362 markings, 2242255 edges, 111924 markings/sec, 5 secs
lola: 1620757 markings, 3303926 edges, 96079 markings/sec, 10 secs
lola: 2138613 markings, 4455606 edges, 103571 markings/sec, 15 secs
lola: 2632538 markings, 5623422 edges, 98785 markings/sec, 20 secs
lola: 3155608 markings, 6763610 edges, 104614 markings/sec, 25 secs
lola: 3674785 markings, 7932590 edges, 103835 markings/sec, 30 secs
lola: 4188420 markings, 9100072 edges, 102727 markings/sec, 35 secs
lola: 4692572 markings, 10232707 edges, 100830 markings/sec, 40 secs
lola: 5097695 markings, 11394667 edges, 81025 markings/sec, 45 secs
lola: 5376034 markings, 12840104 edges, 55668 markings/sec, 50 secs
lola: 5644056 markings, 14236563 edges, 53604 markings/sec, 55 secs
lola: 6073747 markings, 15499199 edges, 85938 markings/sec, 60 secs
lola: 6473414 markings, 16654493 edges, 79933 markings/sec, 65 secs
lola: 6857263 markings, 17876177 edges, 76770 markings/sec, 70 secs
lola: 7258218 markings, 19023919 edges, 80191 markings/sec, 75 secs
lola: 7621131 markings, 20234086 edges, 72583 markings/sec, 80 secs
lola: 8031141 markings, 21396122 edges, 82002 markings/sec, 85 secs
lola: 8459594 markings, 22463761 edges, 85691 markings/sec, 90 secs
lola: 9132122 markings, 23238588 edges, 134506 markings/sec, 95 secs
lola: 9789921 markings, 24015507 edges, 131560 markings/sec, 100 secs
lola: 10416584 markings, 24751047 edges, 125333 markings/sec, 105 secs
lola: 11093034 markings, 25530088 edges, 135290 markings/sec, 110 secs
lola: 11673892 markings, 26669205 edges, 116172 markings/sec, 115 secs
lola: 12155708 markings, 27881667 edges, 96363 markings/sec, 120 secs
lola: 12761732 markings, 28752885 edges, 121205 markings/sec, 125 secs
lola: 13455273 markings, 29483300 edges, 138708 markings/sec, 130 secs
lola: 14149655 markings, 30214583 edges, 138876 markings/sec, 135 secs
lola: 14843774 markings, 30945589 edges, 138824 markings/sec, 140 secs
lola: 15538586 markings, 31677346 edges, 138962 markings/sec, 145 secs
lola: 16232700 markings, 32408374 edges, 138823 markings/sec, 150 secs
lola: 16925979 markings, 33138495 edges, 138656 markings/sec, 155 secs
lola: 17624314 markings, 33873880 edges, 139667 markings/sec, 160 secs
lola: 18322461 markings, 34609179 edges, 139629 markings/sec, 165 secs
lola: 18987065 markings, 35456296 edges, 132921 markings/sec, 170 secs
lola: 19675484 markings, 36234315 edges, 137684 markings/sec, 175 secs
lola: 20340385 markings, 37201937 edges, 132980 markings/sec, 180 secs
lola: 20845460 markings, 38441164 edges, 101015 markings/sec, 185 secs
lola: 21517094 markings, 39215282 edges, 134327 markings/sec, 190 secs
lola: 22154455 markings, 40032538 edges, 127472 markings/sec, 195 secs
lola: 22731522 markings, 41231508 edges, 115413 markings/sec, 200 secs
lola: 23332656 markings, 42167983 edges, 120227 markings/sec, 205 secs
lola: 23995698 markings, 42917450 edges, 132608 markings/sec, 210 secs
lola: 24605330 markings, 44013302 edges, 121926 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(p405)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 1068359 markings, 1206782 edges, 213672 markings/sec, 0 secs
lola: 2239538 markings, 2472798 edges, 234236 markings/sec, 5 secs
lola: 3170583 markings, 3625680 edges, 186209 markings/sec, 10 secs
lola: 4190333 markings, 4819704 edges, 203950 markings/sec, 15 secs
lola: 5318715 markings, 6018820 edges, 225676 markings/sec, 20 secs
lola: 6009396 markings, 7231289 edges, 138136 markings/sec, 25 secs
lola: 6537457 markings, 8342470 edges, 105612 markings/sec, 30 secs
lola: 7186948 markings, 9405579 edges, 129898 markings/sec, 35 secs
lola: 8126536 markings, 10543581 edges, 187918 markings/sec, 40 secs
lola: 9180009 markings, 11756515 edges, 210695 markings/sec, 45 secs
lola: 10087439 markings, 12896284 edges, 181486 markings/sec, 50 secs
lola: 10804300 markings, 14018518 edges, 143372 markings/sec, 55 secs
lola: 11397388 markings, 15197424 edges, 118618 markings/sec, 60 secs
lola: 11974875 markings, 16332854 edges, 115497 markings/sec, 65 secs
lola: 12512754 markings, 17362464 edges, 107576 markings/sec, 70 secs
lola: 13036162 markings, 18431506 edges, 104682 markings/sec, 75 secs
lola: 13540089 markings, 19487974 edges, 100785 markings/sec, 80 secs
lola: 14061301 markings, 20541275 edges, 104242 markings/sec, 85 secs
lola: 14597299 markings, 21601717 edges, 107200 markings/sec, 90 secs
lola: 15571803 markings, 22772730 edges, 194901 markings/sec, 95 secs
lola: 16536446 markings, 23929273 edges, 192929 markings/sec, 100 secs
lola: 17553920 markings, 25107292 edges, 203495 markings/sec, 105 secs
lola: 18414090 markings, 26222072 edges, 172034 markings/sec, 110 secs
lola: 19220295 markings, 27283892 edges, 161241 markings/sec, 115 secs
lola: 20006340 markings, 28374394 edges, 157209 markings/sec, 120 secs
lola: 20789389 markings, 29429684 edges, 156610 markings/sec, 125 secs
lola: 21583670 markings, 30463220 edges, 158856 markings/sec, 130 secs
lola: 22609242 markings, 31601927 edges, 205114 markings/sec, 135 secs
lola: 23431240 markings, 32809023 edges, 164400 markings/sec, 140 secs
lola: 23890674 markings, 33899372 edges, 91887 markings/sec, 145 secs
lola: 24538743 markings, 34957843 edges, 129614 markings/sec, 150 secs
lola: 25369494 markings, 36039723 edges, 166150 markings/sec, 155 secs
lola: 26354340 markings, 37179826 edges, 196969 markings/sec, 160 secs
lola: 27373101 markings, 38370271 edges, 203752 markings/sec, 165 secs
lola: 28120259 markings, 39521989 edges, 149432 markings/sec, 170 secs
lola: 28521777 markings, 40605407 edges, 80304 markings/sec, 175 secs
lola: 28975154 markings, 41664578 edges, 90675 markings/sec, 180 secs
lola: 29491147 markings, 42705929 edges, 103199 markings/sec, 185 secs
lola: 29995445 markings, 43732895 edges, 100860 markings/sec, 190 secs
lola: 30592934 markings, 44780228 edges, 119498 markings/sec, 195 secs
lola: 31040890 markings, 45767537 edges, 89591 markings/sec, 200 secs
lola: 31979040 markings, 46917173 edges, 187630 markings/sec, 205 secs
lola: 32781202 markings, 47982137 edges, 160432 markings/sec, 210 secs
lola: 33571060 markings, 49072291 edges, 157972 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(p252)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 758613 markings, 1088339 edges, 151723 markings/sec, 0 secs
lola: 1530041 markings, 2197301 edges, 154286 markings/sec, 5 secs
lola: 2300953 markings, 3307399 edges, 154182 markings/sec, 10 secs
lola: 3071252 markings, 4414214 edges, 154060 markings/sec, 15 secs
lola: 3827005 markings, 5599209 edges, 151151 markings/sec, 20 secs
lola: 4602258 markings, 6821849 edges, 155051 markings/sec, 25 secs
lola: 5339542 markings, 8006146 edges, 147457 markings/sec, 30 secs
lola: 6079882 markings, 9182180 edges, 148068 markings/sec, 35 secs
lola: 6812270 markings, 10345917 edges, 146478 markings/sec, 40 secs
lola: 7543407 markings, 11504754 edges, 146227 markings/sec, 45 secs
lola: 8272954 markings, 12663804 edges, 145909 markings/sec, 50 secs
lola: 8994525 markings, 13819737 edges, 144314 markings/sec, 55 secs
lola: 9726523 markings, 14979839 edges, 146400 markings/sec, 60 secs
lola: 10463866 markings, 16147652 edges, 147469 markings/sec, 65 secs
lola: 11196401 markings, 17311179 edges, 146507 markings/sec, 70 secs
lola: 11920332 markings, 18467224 edges, 144786 markings/sec, 75 secs
lola: 12641235 markings, 19621337 edges, 144181 markings/sec, 80 secs
lola: 13375381 markings, 20787386 edges, 146829 markings/sec, 85 secs
lola: 14107645 markings, 21950875 edges, 146453 markings/sec, 90 secs
lola: 14799579 markings, 23115591 edges, 138387 markings/sec, 95 secs
lola: 15319193 markings, 24095750 edges, 103923 markings/sec, 100 secs
lola: 15738432 markings, 25172324 edges, 83848 markings/sec, 105 secs
lola: 16155025 markings, 26255638 edges, 83319 markings/sec, 110 secs
lola: 16620070 markings, 27275153 edges, 93009 markings/sec, 115 secs
lola: 17168833 markings, 28322865 edges, 109753 markings/sec, 120 secs
lola: 17689536 markings, 29307469 edges, 104141 markings/sec, 125 secs
lola: 18234305 markings, 30292772 edges, 108954 markings/sec, 130 secs
lola: 18693042 markings, 31314124 edges, 91747 markings/sec, 135 secs
lola: 19111310 markings, 32361374 edges, 83654 markings/sec, 140 secs
lola: 19538887 markings, 33409330 edges, 85515 markings/sec, 145 secs
lola: 19970152 markings, 34435916 edges, 86253 markings/sec, 150 secs
lola: 20430023 markings, 35445096 edges, 91974 markings/sec, 155 secs
lola: 20890880 markings, 36443119 edges, 92171 markings/sec, 160 secs
lola: 21419579 markings, 37382189 edges, 105740 markings/sec, 165 secs
lola: 21811579 markings, 38315867 edges, 78400 markings/sec, 170 secs
lola: 22347445 markings, 39239062 edges, 107173 markings/sec, 175 secs
lola: 22763427 markings, 40183973 edges, 83196 markings/sec, 180 secs
lola: 23268313 markings, 41179168 edges, 100977 markings/sec, 185 secs
lola: 23818391 markings, 42170643 edges, 110016 markings/sec, 190 secs
lola: 24329643 markings, 43194255 edges, 102250 markings/sec, 195 secs
lola: 24777914 markings, 44297041 edges, 89654 markings/sec, 200 secs
lola: 25211993 markings, 45433494 edges, 86816 markings/sec, 205 secs
lola: 25596383 markings, 46458306 edges, 76878 markings/sec, 210 secs
lola: 25987971 markings, 47488791 edges, 78318 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(p366)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 1115100 markings, 1270787 edges, 223020 markings/sec, 0 secs
lola: 2028273 markings, 2467676 edges, 182635 markings/sec, 5 secs
lola: 3072288 markings, 3682284 edges, 208803 markings/sec, 10 secs
lola: 3863298 markings, 4941174 edges, 158202 markings/sec, 15 secs
lola: 4353659 markings, 6062510 edges, 98072 markings/sec, 20 secs
lola: 4973292 markings, 7139191 edges, 123927 markings/sec, 25 secs
lola: 5995819 markings, 8357144 edges, 204505 markings/sec, 30 secs
lola: 6848326 markings, 9509318 edges, 170501 markings/sec, 35 secs
lola: 7470081 markings, 10677152 edges, 124351 markings/sec, 40 secs
lola: 8052131 markings, 11845770 edges, 116410 markings/sec, 45 secs
lola: 8537949 markings, 12881380 edges, 97164 markings/sec, 50 secs
lola: 9035094 markings, 13968028 edges, 99429 markings/sec, 55 secs
lola: 9536366 markings, 15013696 edges, 100254 markings/sec, 60 secs
lola: 10107551 markings, 16099206 edges, 114237 markings/sec, 65 secs
lola: 11045721 markings, 17283780 edges, 187634 markings/sec, 70 secs
lola: 11981073 markings, 18472790 edges, 187070 markings/sec, 75 secs
lola: 12884519 markings, 19593984 edges, 180689 markings/sec, 80 secs
lola: 13747435 markings, 20687644 edges, 172583 markings/sec, 85 secs
lola: 14654399 markings, 21795909 edges, 181393 markings/sec, 90 secs
lola: 15511285 markings, 22898492 edges, 171377 markings/sec, 95 secs
lola: 16372865 markings, 23978743 edges, 172316 markings/sec, 100 secs
lola: 17240524 markings, 25058012 edges, 173532 markings/sec, 105 secs
lola: 18108422 markings, 26127432 edges, 173580 markings/sec, 110 secs
lola: 18957891 markings, 27180526 edges, 169894 markings/sec, 115 secs
lola: 19961157 markings, 28400628 edges, 200653 markings/sec, 120 secs
lola: 20442271 markings, 29556590 edges, 96223 markings/sec, 125 secs
lola: 21017113 markings, 30643116 edges, 114968 markings/sec, 130 secs
lola: 21830135 markings, 31756224 edges, 162604 markings/sec, 135 secs
lola: 22863131 markings, 32985493 edges, 206599 markings/sec, 140 secs
lola: 23483489 markings, 34147551 edges, 124072 markings/sec, 145 secs
lola: 23880025 markings, 35217022 edges, 79307 markings/sec, 150 secs
lola: 24390636 markings, 36290883 edges, 102122 markings/sec, 155 secs
lola: 24924556 markings, 37358727 edges, 106784 markings/sec, 160 secs
lola: 25437088 markings, 38387974 edges, 102506 markings/sec, 165 secs
lola: 26282999 markings, 39531955 edges, 169182 markings/sec, 170 secs
lola: 27181319 markings, 40636249 edges, 179664 markings/sec, 175 secs
lola: 28064200 markings, 41728441 edges, 176576 markings/sec, 180 secs
lola: 28937948 markings, 42841251 edges, 174750 markings/sec, 185 secs
lola: 29806850 markings, 43943477 edges, 173780 markings/sec, 190 secs
lola: 30674033 markings, 45020420 edges, 173437 markings/sec, 195 secs
lola: 31539925 markings, 46092636 edges, 173178 markings/sec, 200 secs
lola: 32405084 markings, 47159654 edges, 173032 markings/sec, 205 secs
lola: 33431325 markings, 48328185 edges, 205248 markings/sec, 210 secs
lola: 34021010 markings, 49505694 edges, 117937 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(p388)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 1044791 markings, 1232412 edges, 208958 markings/sec, 0 secs
lola: 1886374 markings, 2398724 edges, 168317 markings/sec, 5 secs
lola: 2851870 markings, 3573446 edges, 193099 markings/sec, 10 secs
lola: 3392869 markings, 4756685 edges, 108200 markings/sec, 15 secs
lola: 3910254 markings, 5843008 edges, 103477 markings/sec, 20 secs
lola: 4508710 markings, 6882046 edges, 119691 markings/sec, 25 secs
lola: 5435297 markings, 8062651 edges, 185317 markings/sec, 30 secs
lola: 6167439 markings, 9147954 edges, 146428 markings/sec, 35 secs
lola: 6714136 markings, 10331369 edges, 109339 markings/sec, 40 secs
lola: 7221790 markings, 11493510 edges, 101531 markings/sec, 45 secs
lola: 7679539 markings, 12521308 edges, 91550 markings/sec, 50 secs
lola: 8157167 markings, 13602573 edges, 95526 markings/sec, 55 secs
lola: 8613196 markings, 14657850 edges, 91206 markings/sec, 60 secs
lola: 9095242 markings, 15725317 edges, 96409 markings/sec, 65 secs
lola: 9734520 markings, 16832281 edges, 127856 markings/sec, 70 secs
lola: 10573789 markings, 17979743 edges, 167854 markings/sec, 75 secs
lola: 11412775 markings, 19138434 edges, 167797 markings/sec, 80 secs
lola: 12318598 markings, 20210276 edges, 181165 markings/sec, 85 secs
lola: 13153460 markings, 21264259 edges, 166972 markings/sec, 90 secs
lola: 14050453 markings, 22346304 edges, 179399 markings/sec, 95 secs
lola: 14863987 markings, 23384051 edges, 162707 markings/sec, 100 secs
lola: 15703684 markings, 24445932 edges, 167939 markings/sec, 105 secs
lola: 16511894 markings, 25460217 edges, 161642 markings/sec, 110 secs
lola: 17367095 markings, 26504239 edges, 171040 markings/sec, 115 secs
lola: 18206260 markings, 27538738 edges, 167833 markings/sec, 120 secs
lola: 19083329 markings, 28591593 edges, 175414 markings/sec, 125 secs
lola: 19861931 markings, 29816058 edges, 155720 markings/sec, 130 secs
lola: 20317717 markings, 30898874 edges, 91157 markings/sec, 135 secs
lola: 20883102 markings, 31953182 edges, 113077 markings/sec, 140 secs
lola: 21708820 markings, 33065776 edges, 165144 markings/sec, 145 secs
lola: 22583216 markings, 34245337 edges, 174879 markings/sec, 150 secs
lola: 23045377 markings, 35399027 edges, 92432 markings/sec, 155 secs
lola: 23439506 markings, 36453706 edges, 78826 markings/sec, 160 secs
lola: 23921288 markings, 37517070 edges, 96356 markings/sec, 165 secs
lola: 24398940 markings, 38574134 edges, 95530 markings/sec, 170 secs
lola: 24960871 markings, 39630372 edges, 112386 markings/sec, 175 secs
lola: 25385925 markings, 40631201 edges, 85011 markings/sec, 180 secs
lola: 26259684 markings, 41752523 edges, 174752 markings/sec, 185 secs
lola: 27121669 markings, 42810533 edges, 172397 markings/sec, 190 secs
lola: 27960999 markings, 43847372 edges, 167866 markings/sec, 195 secs
lola: 28821720 markings, 44915999 edges, 172144 markings/sec, 200 secs
lola: 29665220 markings, 45981589 edges, 168700 markings/sec, 205 secs
lola: 30502319 markings, 47023616 edges, 167420 markings/sec, 210 secs
lola: 31338997 markings, 48064581 edges, 167336 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(p383)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 1003992 markings, 1126691 edges, 200798 markings/sec, 0 secs
lola: 1999159 markings, 2279050 edges, 199033 markings/sec, 5 secs
lola: 2937610 markings, 3398600 edges, 187690 markings/sec, 10 secs
lola: 3908590 markings, 4497904 edges, 194196 markings/sec, 15 secs
lola: 4739239 markings, 5638314 edges, 166130 markings/sec, 20 secs
lola: 5201898 markings, 6786701 edges, 92532 markings/sec, 25 secs
lola: 5826653 markings, 7826453 edges, 124951 markings/sec, 30 secs
lola: 6732157 markings, 8917096 edges, 181101 markings/sec, 35 secs
lola: 7691843 markings, 10039065 edges, 191937 markings/sec, 40 secs
lola: 8482820 markings, 11102587 edges, 158195 markings/sec, 45 secs
lola: 9100210 markings, 12232410 edges, 123478 markings/sec, 50 secs
lola: 9638499 markings, 13330617 edges, 107658 markings/sec, 55 secs
lola: 10151760 markings, 14356988 edges, 102652 markings/sec, 60 secs
lola: 10686882 markings, 15393528 edges, 107024 markings/sec, 65 secs
lola: 11207114 markings, 16416588 edges, 104046 markings/sec, 70 secs
lola: 11959139 markings, 17497703 edges, 150405 markings/sec, 75 secs
lola: 12840353 markings, 18582743 edges, 176243 markings/sec, 80 secs
lola: 13773788 markings, 19691099 edges, 186687 markings/sec, 85 secs
lola: 14647430 markings, 20765563 edges, 174728 markings/sec, 90 secs
lola: 15473646 markings, 21811572 edges, 165243 markings/sec, 95 secs
lola: 16329125 markings, 22876017 edges, 171096 markings/sec, 100 secs
lola: 17149331 markings, 23928260 edges, 164041 markings/sec, 105 secs
lola: 17952642 markings, 24956053 edges, 160662 markings/sec, 110 secs
lola: 18785264 markings, 25977792 edges, 166524 markings/sec, 115 secs
lola: 19761649 markings, 27057452 edges, 195277 markings/sec, 120 secs
lola: 20460261 markings, 28166366 edges, 139722 markings/sec, 125 secs
lola: 20940835 markings, 29287557 edges, 96115 markings/sec, 130 secs
lola: 21573577 markings, 30334030 edges, 126548 markings/sec, 135 secs
lola: 22454460 markings, 31377028 edges, 176177 markings/sec, 140 secs
lola: 23464108 markings, 32519109 edges, 201930 markings/sec, 145 secs
lola: 24213320 markings, 33645386 edges, 149842 markings/sec, 150 secs
lola: 24619279 markings, 34697522 edges, 81192 markings/sec, 155 secs
lola: 25118808 markings, 35737335 edges, 99906 markings/sec, 160 secs
lola: 25662287 markings, 36770907 edges, 108696 markings/sec, 165 secs
lola: 26166951 markings, 37766915 edges, 100933 markings/sec, 170 secs
lola: 27064651 markings, 38863318 edges, 179540 markings/sec, 175 secs
lola: 27898044 markings, 39910166 edges, 166679 markings/sec, 180 secs
lola: 28761880 markings, 40976158 edges, 172767 markings/sec, 185 secs
lola: 29574665 markings, 42027166 edges, 162557 markings/sec, 190 secs
lola: 30373116 markings, 43046861 edges, 159690 markings/sec, 195 secs
lola: 31200264 markings, 44064176 edges, 165430 markings/sec, 200 secs
lola: 32151037 markings, 45121098 edges, 190155 markings/sec, 205 secs
lola: 32889625 markings, 46212581 edges, 147718 markings/sec, 210 secs
lola: 33338610 markings, 47314420 edges, 89797 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(p316)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 874974 markings, 1212332 edges, 174995 markings/sec, 0 secs
lola: 1753631 markings, 2429668 edges, 175731 markings/sec, 5 secs
lola: 2638862 markings, 3656361 edges, 177046 markings/sec, 10 secs
lola: 3527217 markings, 4889041 edges, 177671 markings/sec, 15 secs
lola: 4415122 markings, 6118298 edges, 177581 markings/sec, 20 secs
lola: 5304163 markings, 7346346 edges, 177808 markings/sec, 25 secs
lola: 6190346 markings, 8578971 edges, 177237 markings/sec, 30 secs
lola: 7075808 markings, 9805806 edges, 177092 markings/sec, 35 secs
lola: 7962863 markings, 11036147 edges, 177411 markings/sec, 40 secs
lola: 8846965 markings, 12260542 edges, 176820 markings/sec, 45 secs
lola: 9662297 markings, 13314762 edges, 163066 markings/sec, 50 secs
lola: 10397765 markings, 14239396 edges, 147094 markings/sec, 55 secs
lola: 11128015 markings, 15145452 edges, 146050 markings/sec, 60 secs
lola: 11847097 markings, 16039953 edges, 143816 markings/sec, 65 secs
lola: 12564747 markings, 16931637 edges, 143530 markings/sec, 70 secs
lola: 13287223 markings, 17830051 edges, 144495 markings/sec, 75 secs
lola: 14007264 markings, 18724534 edges, 144008 markings/sec, 80 secs
lola: 14726391 markings, 19618667 edges, 143825 markings/sec, 85 secs
lola: 15449028 markings, 20519032 edges, 144527 markings/sec, 90 secs
lola: 16165329 markings, 21409350 edges, 143260 markings/sec, 95 secs
lola: 16884494 markings, 22302947 edges, 143833 markings/sec, 100 secs
lola: 17606470 markings, 23200854 edges, 144395 markings/sec, 105 secs
lola: 18327626 markings, 24096689 edges, 144231 markings/sec, 110 secs
lola: 19047498 markings, 24991001 edges, 143974 markings/sec, 115 secs
lola: 19765501 markings, 25885299 edges, 143601 markings/sec, 120 secs
lola: 20489044 markings, 26786756 edges, 144709 markings/sec, 125 secs
lola: 21211357 markings, 27684814 edges, 144463 markings/sec, 130 secs
lola: 21934634 markings, 28582671 edges, 144655 markings/sec, 135 secs
lola: 22654219 markings, 29477484 edges, 143917 markings/sec, 140 secs
lola: 23370642 markings, 30368868 edges, 143285 markings/sec, 145 secs
lola: 24086766 markings, 31267077 edges, 143225 markings/sec, 150 secs
lola: 24804156 markings, 32164752 edges, 143478 markings/sec, 155 secs
lola: 25516989 markings, 33050714 edges, 142567 markings/sec, 160 secs
lola: 26226052 markings, 33932780 edges, 141813 markings/sec, 165 secs
lola: 26936809 markings, 34817384 edges, 142151 markings/sec, 170 secs
lola: 27646670 markings, 35700325 edges, 141972 markings/sec, 175 secs
lola: 28357846 markings, 36587218 edges, 142235 markings/sec, 180 secs
lola: 29069184 markings, 37471740 edges, 142268 markings/sec, 185 secs
lola: 29783619 markings, 38361960 edges, 142887 markings/sec, 190 secs
lola: 30497030 markings, 39257026 edges, 142682 markings/sec, 195 secs
lola: 31215349 markings, 40154408 edges, 143664 markings/sec, 200 secs
lola: 31934983 markings, 41049011 edges, 143927 markings/sec, 205 secs
lola: 32652545 markings, 41941781 edges, 143512 markings/sec, 210 secs
lola: 33369502 markings, 42835312 edges, 143391 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(p471)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 873529 markings, 1035987 edges, 174706 markings/sec, 0 secs
lola: 1744838 markings, 2130553 edges, 174262 markings/sec, 5 secs
lola: 2607564 markings, 3214024 edges, 172545 markings/sec, 10 secs
lola: 3451965 markings, 4274958 edges, 168880 markings/sec, 15 secs
lola: 4284411 markings, 5318145 edges, 166489 markings/sec, 20 secs
lola: 5118459 markings, 6365517 edges, 166810 markings/sec, 25 secs
lola: 5956936 markings, 7415057 edges, 167695 markings/sec, 30 secs
lola: 6789272 markings, 8457520 edges, 166467 markings/sec, 35 secs
lola: 7624348 markings, 9511804 edges, 167015 markings/sec, 40 secs
lola: 8466302 markings, 10560611 edges, 168391 markings/sec, 45 secs
lola: 9289763 markings, 11591892 edges, 164692 markings/sec, 50 secs
lola: 10117744 markings, 12644912 edges, 165596 markings/sec, 55 secs
lola: 10961006 markings, 13688154 edges, 168652 markings/sec, 60 secs
lola: 11792159 markings, 14732683 edges, 166231 markings/sec, 65 secs
lola: 12621334 markings, 15788766 edges, 165835 markings/sec, 70 secs
lola: 13467236 markings, 16832072 edges, 169180 markings/sec, 75 secs
lola: 14295146 markings, 17872601 edges, 165582 markings/sec, 80 secs
lola: 15117681 markings, 18910969 edges, 164507 markings/sec, 85 secs
lola: 15952801 markings, 19950171 edges, 167024 markings/sec, 90 secs
lola: 16775562 markings, 20985619 edges, 164552 markings/sec, 95 secs
lola: 17619129 markings, 22043639 edges, 168713 markings/sec, 100 secs
lola: 18373860 markings, 22908285 edges, 150946 markings/sec, 105 secs
lola: 19044904 markings, 23662527 edges, 134209 markings/sec, 110 secs
lola: 19771557 markings, 24434812 edges, 145331 markings/sec, 115 secs
lola: 20485875 markings, 25169512 edges, 142864 markings/sec, 120 secs
lola: 21199259 markings, 25902752 edges, 142677 markings/sec, 125 secs
lola: 21906456 markings, 26667390 edges, 141439 markings/sec, 130 secs
lola: 22595133 markings, 27417449 edges, 137735 markings/sec, 135 secs
lola: 23274683 markings, 28128156 edges, 135910 markings/sec, 140 secs
lola: 23961327 markings, 28855671 edges, 137329 markings/sec, 145 secs
lola: 24681239 markings, 29643145 edges, 143982 markings/sec, 150 secs
lola: 25457335 markings, 30464494 edges, 155219 markings/sec, 155 secs
lola: 26167366 markings, 31194364 edges, 142006 markings/sec, 160 secs
lola: 26886024 markings, 31995582 edges, 143732 markings/sec, 165 secs
lola: 27572125 markings, 32720378 edges, 137220 markings/sec, 170 secs
lola: 28301228 markings, 33529476 edges, 145821 markings/sec, 175 secs
lola: 29015570 markings, 34486212 edges, 142868 markings/sec, 180 secs
lola: 29531308 markings, 35556893 edges, 103148 markings/sec, 185 secs
lola: 30034248 markings, 36630173 edges, 100588 markings/sec, 190 secs
lola: 30672135 markings, 37756320 edges, 127577 markings/sec, 195 secs
lola: 31330539 markings, 38859594 edges, 131681 markings/sec, 200 secs
lola: 32051349 markings, 39987269 edges, 144162 markings/sec, 205 secs
lola: 32760040 markings, 40928678 edges, 141738 markings/sec, 210 secs
lola: 33524989 markings, 41750722 edges, 152990 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(p41)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 812854 markings, 1034238 edges, 162571 markings/sec, 0 secs
lola: 1613694 markings, 2070580 edges, 160168 markings/sec, 5 secs
lola: 2354809 markings, 3104592 edges, 148223 markings/sec, 10 secs
lola: 3107836 markings, 4142711 edges, 150605 markings/sec, 15 secs
lola: 3868645 markings, 5170113 edges, 152162 markings/sec, 20 secs
lola: 4581531 markings, 6191953 edges, 142577 markings/sec, 25 secs
lola: 5289991 markings, 7197126 edges, 141692 markings/sec, 30 secs
lola: 5976533 markings, 8147628 edges, 137308 markings/sec, 35 secs
lola: 6504263 markings, 9283986 edges, 105546 markings/sec, 40 secs
lola: 7041200 markings, 10312271 edges, 107387 markings/sec, 45 secs
lola: 7532178 markings, 11450717 edges, 98196 markings/sec, 50 secs
lola: 8093605 markings, 12537350 edges, 112285 markings/sec, 55 secs
lola: 8554680 markings, 13600431 edges, 92215 markings/sec, 60 secs
lola: 9118948 markings, 14698640 edges, 112854 markings/sec, 65 secs
lola: 9627700 markings, 15700915 edges, 101750 markings/sec, 70 secs
lola: 10136191 markings, 16840556 edges, 101698 markings/sec, 75 secs
lola: 10673506 markings, 17871314 edges, 107463 markings/sec, 80 secs
lola: 11152064 markings, 18977667 edges, 95712 markings/sec, 85 secs
lola: 11704965 markings, 20046963 edges, 110580 markings/sec, 90 secs
lola: 12158286 markings, 21089040 edges, 90664 markings/sec, 95 secs
lola: 12715096 markings, 22172172 edges, 111362 markings/sec, 100 secs
lola: 13220382 markings, 23174425 edges, 101057 markings/sec, 105 secs
lola: 13729212 markings, 24307190 edges, 101766 markings/sec, 110 secs
lola: 14267716 markings, 25340457 edges, 107701 markings/sec, 115 secs
lola: 14743561 markings, 26443385 edges, 95169 markings/sec, 120 secs
lola: 15304684 markings, 27529102 edges, 112225 markings/sec, 125 secs
lola: 15767027 markings, 28584479 edges, 92469 markings/sec, 130 secs
lola: 16332331 markings, 29695886 edges, 113061 markings/sec, 135 secs
lola: 16852470 markings, 30701824 edges, 104028 markings/sec, 140 secs
lola: 17356826 markings, 31855059 edges, 100871 markings/sec, 145 secs
lola: 17904865 markings, 32910294 edges, 109608 markings/sec, 150 secs
lola: 18384318 markings, 34021059 edges, 95891 markings/sec, 155 secs
lola: 18939004 markings, 35092324 edges, 110937 markings/sec, 160 secs
lola: 19405671 markings, 36116799 edges, 93333 markings/sec, 165 secs
lola: 19888500 markings, 37160137 edges, 96566 markings/sec, 170 secs
lola: 20329405 markings, 38153840 edges, 88181 markings/sec, 175 secs
lola: 20864721 markings, 39094901 edges, 107063 markings/sec, 180 secs
lola: 21622018 markings, 39949351 edges, 151459 markings/sec, 185 secs
lola: 22452894 markings, 40824374 edges, 166175 markings/sec, 190 secs
lola: 23283632 markings, 41699254 edges, 166148 markings/sec, 195 secs
lola: 24113397 markings, 42573117 edges, 165953 markings/sec, 200 secs
lola: 24942377 markings, 43446101 edges, 165796 markings/sec, 205 secs
lola: 25766766 markings, 44314852 edges, 164878 markings/sec, 210 secs
lola: 26500539 markings, 45093618 edges, 146755 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(p205)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 786913 markings, 1107379 edges, 157383 markings/sec, 0 secs
lola: 1582248 markings, 2228076 edges, 159067 markings/sec, 5 secs
lola: 2219054 markings, 3204330 edges, 127361 markings/sec, 10 secs
lola: 2733557 markings, 4005425 edges, 102901 markings/sec, 15 secs
lola: 3261888 markings, 4778862 edges, 105666 markings/sec, 20 secs
lola: 3895366 markings, 5523146 edges, 126696 markings/sec, 25 secs
lola: 4538900 markings, 6252890 edges, 128707 markings/sec, 30 secs
lola: 5169939 markings, 6983776 edges, 126208 markings/sec, 35 secs
lola: 5813817 markings, 7726751 edges, 128776 markings/sec, 40 secs
lola: 6449791 markings, 8462702 edges, 127195 markings/sec, 45 secs
lola: 7075787 markings, 9185626 edges, 125199 markings/sec, 50 secs
lola: 7714758 markings, 9886019 edges, 127794 markings/sec, 55 secs
lola: 8358192 markings, 10608886 edges, 128687 markings/sec, 60 secs
lola: 8977859 markings, 11306570 edges, 123933 markings/sec, 65 secs
lola: 9616729 markings, 12073914 edges, 127774 markings/sec, 70 secs
lola: 10274437 markings, 12853763 edges, 131542 markings/sec, 75 secs
lola: 10910227 markings, 13636404 edges, 127158 markings/sec, 80 secs
lola: 11555806 markings, 14425006 edges, 129116 markings/sec, 85 secs
lola: 12196727 markings, 15200999 edges, 128184 markings/sec, 90 secs
lola: 12821529 markings, 15967466 edges, 124960 markings/sec, 95 secs
lola: 13482862 markings, 16714768 edges, 132267 markings/sec, 100 secs
lola: 14117333 markings, 17450100 edges, 126894 markings/sec, 105 secs
lola: 14690436 markings, 18319563 edges, 114621 markings/sec, 110 secs
lola: 15218431 markings, 19348525 edges, 105599 markings/sec, 115 secs
lola: 15753704 markings, 20349887 edges, 107055 markings/sec, 120 secs
lola: 16271276 markings, 21385060 edges, 103514 markings/sec, 125 secs
lola: 16724254 markings, 22482305 edges, 90596 markings/sec, 130 secs
lola: 17143291 markings, 23613465 edges, 83807 markings/sec, 135 secs
lola: 17578171 markings, 24730581 edges, 86976 markings/sec, 140 secs
lola: 18005937 markings, 25843663 edges, 85553 markings/sec, 145 secs
lola: 18424359 markings, 26970741 edges, 83684 markings/sec, 150 secs
lola: 18848906 markings, 28026087 edges, 84909 markings/sec, 155 secs
lola: 19238219 markings, 29063426 edges, 77863 markings/sec, 160 secs
lola: 19613672 markings, 30094941 edges, 75091 markings/sec, 165 secs
lola: 20043218 markings, 31116649 edges, 85909 markings/sec, 170 secs
lola: 20422632 markings, 32180152 edges, 75883 markings/sec, 175 secs
lola: 20826223 markings, 33218937 edges, 80718 markings/sec, 180 secs
lola: 21222543 markings, 34235510 edges, 79264 markings/sec, 185 secs
lola: 21616211 markings, 35257897 edges, 78734 markings/sec, 190 secs
lola: 22057106 markings, 36255019 edges, 88179 markings/sec, 195 secs
lola: 22487953 markings, 37248889 edges, 86169 markings/sec, 200 secs
lola: 22927494 markings, 38244046 edges, 87908 markings/sec, 205 secs
lola: 23365463 markings, 39262455 edges, 87594 markings/sec, 210 secs
lola: 23813137 markings, 40248272 edges, 89535 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(p10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 721825 markings, 927994 edges, 144365 markings/sec, 0 secs
lola: 1441953 markings, 1848589 edges, 144026 markings/sec, 5 secs
lola: 2137746 markings, 2785360 edges, 139159 markings/sec, 10 secs
lola: 2803646 markings, 3716201 edges, 133180 markings/sec, 15 secs
lola: 3478521 markings, 4638412 edges, 134975 markings/sec, 20 secs
lola: 4150702 markings, 5576326 edges, 134436 markings/sec, 25 secs
lola: 4795575 markings, 6505523 edges, 128975 markings/sec, 30 secs
lola: 5445995 markings, 7408936 edges, 130084 markings/sec, 35 secs
lola: 6069412 markings, 8275542 edges, 124683 markings/sec, 40 secs
lola: 6534853 markings, 9354688 edges, 93088 markings/sec, 45 secs
lola: 7045871 markings, 10323372 edges, 102204 markings/sec, 50 secs
lola: 7509875 markings, 11401842 edges, 92801 markings/sec, 55 secs
lola: 8036955 markings, 12403639 edges, 105416 markings/sec, 60 secs
lola: 8482734 markings, 13439911 edges, 89156 markings/sec, 65 secs
lola: 9014951 markings, 14458403 edges, 106443 markings/sec, 70 secs
lola: 9449073 markings, 15463975 edges, 86824 markings/sec, 75 secs
lola: 9985717 markings, 16491044 edges, 107329 markings/sec, 80 secs
lola: 10432056 markings, 17445957 edges, 89268 markings/sec, 85 secs
lola: 10947431 markings, 18507211 edges, 103075 markings/sec, 90 secs
lola: 11431104 markings, 19447291 edges, 96735 markings/sec, 95 secs
lola: 11903676 markings, 20506202 edges, 94514 markings/sec, 100 secs
lola: 12401839 markings, 21443660 edges, 99633 markings/sec, 105 secs
lola: 12860370 markings, 22510015 edges, 91706 markings/sec, 110 secs
lola: 13367860 markings, 23470098 edges, 101498 markings/sec, 115 secs
lola: 13817128 markings, 24512059 edges, 89854 markings/sec, 120 secs
lola: 14331371 markings, 25485483 edges, 102849 markings/sec, 125 secs
lola: 14769484 markings, 26503646 edges, 87623 markings/sec, 130 secs
lola: 15295457 markings, 27507157 edges, 105195 markings/sec, 135 secs
lola: 15728021 markings, 28512186 edges, 86513 markings/sec, 140 secs
lola: 16261452 markings, 29529756 edges, 106686 markings/sec, 145 secs
lola: 16698197 markings, 30496758 edges, 87349 markings/sec, 150 secs
lola: 17219810 markings, 31536987 edges, 104323 markings/sec, 155 secs
lola: 17684710 markings, 32481083 edges, 92980 markings/sec, 160 secs
lola: 18178661 markings, 33545330 edges, 98790 markings/sec, 165 secs
lola: 18677678 markings, 34483230 edges, 99803 markings/sec, 170 secs
lola: 19144086 markings, 35566150 edges, 93282 markings/sec, 175 secs
lola: 19655032 markings, 36534651 edges, 102189 markings/sec, 180 secs
lola: 20113336 markings, 37599812 edges, 91661 markings/sec, 185 secs
lola: 20637358 markings, 38595445 edges, 104804 markings/sec, 190 secs
lola: 21085102 markings, 39634997 edges, 89549 markings/sec, 195 secs
lola: 21617911 markings, 40655253 edges, 106562 markings/sec, 200 secs
lola: 22051606 markings, 41660712 edges, 86739 markings/sec, 205 secs
lola: 22588671 markings, 42687804 edges, 107413 markings/sec, 210 secs
lola: 23039432 markings, 43647888 edges, 90152 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(p7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 875456 markings, 1107142 edges, 175091 markings/sec, 0 secs
lola: 1728945 markings, 2224693 edges, 170698 markings/sec, 5 secs
lola: 2517716 markings, 3329008 edges, 157754 markings/sec, 10 secs
lola: 3321687 markings, 4428267 edges, 160794 markings/sec, 15 secs
lola: 4117123 markings, 5529335 edges, 159087 markings/sec, 20 secs
lola: 4873132 markings, 6613981 edges, 151202 markings/sec, 25 secs
lola: 5630500 markings, 7667770 edges, 151474 markings/sec, 30 secs
lola: 6283388 markings, 8771894 edges, 130578 markings/sec, 35 secs
lola: 6762568 markings, 9868994 edges, 95836 markings/sec, 40 secs
lola: 7345378 markings, 11019557 edges, 116562 markings/sec, 45 secs
lola: 7895302 markings, 12075739 edges, 109985 markings/sec, 50 secs
lola: 8401797 markings, 13253809 edges, 101299 markings/sec, 55 secs
lola: 8973864 markings, 14361229 edges, 114413 markings/sec, 60 secs
lola: 9450688 markings, 15466112 edges, 95365 markings/sec, 65 secs
lola: 10034240 markings, 16605167 edges, 116710 markings/sec, 70 secs
lola: 10570543 markings, 17631750 edges, 107261 markings/sec, 75 secs
lola: 11079612 markings, 18813835 edges, 101814 markings/sec, 80 secs
lola: 11639336 markings, 19891574 edges, 111945 markings/sec, 85 secs
lola: 12114261 markings, 20997023 edges, 94985 markings/sec, 90 secs
lola: 12687814 markings, 22108089 edges, 114711 markings/sec, 95 secs
lola: 13190824 markings, 23134373 edges, 100602 markings/sec, 100 secs
lola: 13719904 markings, 24285283 edges, 105816 markings/sec, 105 secs
lola: 14264407 markings, 25332700 edges, 108901 markings/sec, 110 secs
lola: 14748151 markings, 26452623 edges, 96749 markings/sec, 115 secs
lola: 15317203 markings, 27558627 edges, 113810 markings/sec, 120 secs
lola: 15787822 markings, 28612061 edges, 94124 markings/sec, 125 secs
lola: 16350792 markings, 29739350 edges, 112594 markings/sec, 130 secs
lola: 16881627 markings, 30751613 edges, 106167 markings/sec, 135 secs
lola: 17380283 markings, 31910325 edges, 99731 markings/sec, 140 secs
lola: 17933412 markings, 32973944 edges, 110626 markings/sec, 145 secs
lola: 18406905 markings, 34074560 edges, 94699 markings/sec, 150 secs
lola: 18979497 markings, 35181951 edges, 114518 markings/sec, 155 secs
lola: 19470091 markings, 36202158 edges, 98119 markings/sec, 160 secs
lola: 20007981 markings, 37353256 edges, 107578 markings/sec, 165 secs
lola: 20551133 markings, 38396261 edges, 108630 markings/sec, 170 secs
lola: 21040020 markings, 39528355 edges, 97777 markings/sec, 175 secs
lola: 21599566 markings, 40611707 edges, 111909 markings/sec, 180 secs
lola: 22059280 markings, 41670887 edges, 91943 markings/sec, 185 secs
lola: 22625947 markings, 42775588 edges, 113333 markings/sec, 190 secs
lola: 23141620 markings, 43783974 edges, 103135 markings/sec, 195 secs
lola: 23650114 markings, 44933782 edges, 101699 markings/sec, 200 secs
lola: 24194384 markings, 45980703 edges, 108854 markings/sec, 205 secs
lola: 24671749 markings, 47086325 edges, 95473 markings/sec, 210 secs
lola: 25234734 markings, 48177416 edges, 112597 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(p463)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 606238 markings, 1199914 edges, 121248 markings/sec, 0 secs
lola: 1262549 markings, 2068042 edges, 131262 markings/sec, 5 secs
lola: 1978132 markings, 2962536 edges, 143117 markings/sec, 10 secs
lola: 2691666 markings, 3865200 edges, 142707 markings/sec, 15 secs
lola: 3387407 markings, 4730911 edges, 139148 markings/sec, 20 secs
lola: 4069347 markings, 5514560 edges, 136388 markings/sec, 25 secs
lola: 4770324 markings, 6399220 edges, 140195 markings/sec, 30 secs
lola: 5472257 markings, 7288478 edges, 140387 markings/sec, 35 secs
lola: 6178386 markings, 8162951 edges, 141226 markings/sec, 40 secs
lola: 6842802 markings, 8949567 edges, 132883 markings/sec, 45 secs
lola: 7529975 markings, 9797331 edges, 137435 markings/sec, 50 secs
lola: 8216293 markings, 10669422 edges, 137264 markings/sec, 55 secs
lola: 8911937 markings, 11537019 edges, 139129 markings/sec, 60 secs
lola: 9571717 markings, 12316397 edges, 131956 markings/sec, 65 secs
lola: 10255633 markings, 13158612 edges, 136783 markings/sec, 70 secs
lola: 10940432 markings, 14029064 edges, 136960 markings/sec, 75 secs
lola: 11635170 markings, 14894055 edges, 138948 markings/sec, 80 secs
lola: 12296745 markings, 15676628 edges, 132315 markings/sec, 85 secs
lola: 12984583 markings, 16523486 edges, 137568 markings/sec, 90 secs
lola: 13669938 markings, 17394510 edges, 137071 markings/sec, 95 secs
lola: 14368085 markings, 18267994 edges, 139629 markings/sec, 100 secs
lola: 15032483 markings, 19055996 edges, 132880 markings/sec, 105 secs
lola: 15726143 markings, 19901787 edges, 138732 markings/sec, 110 secs
lola: 16417219 markings, 20779268 edges, 138215 markings/sec, 115 secs
lola: 17115669 markings, 21658435 edges, 139690 markings/sec, 120 secs
lola: 17778657 markings, 22456396 edges, 132598 markings/sec, 125 secs
lola: 18474567 markings, 23288618 edges, 139182 markings/sec, 130 secs
lola: 19165132 markings, 24165581 edges, 138113 markings/sec, 135 secs
lola: 19860974 markings, 25044838 edges, 139168 markings/sec, 140 secs
lola: 20521372 markings, 25850198 edges, 132080 markings/sec, 145 secs
lola: 21216778 markings, 26668543 edges, 139081 markings/sec, 150 secs
lola: 21903444 markings, 27541129 edges, 137333 markings/sec, 155 secs
lola: 22594197 markings, 28415795 edges, 138151 markings/sec, 160 secs
lola: 23254886 markings, 29223378 edges, 132138 markings/sec, 165 secs
lola: 23949695 markings, 30037999 edges, 138962 markings/sec, 170 secs
lola: 24638400 markings, 30912865 edges, 137741 markings/sec, 175 secs
lola: 25328228 markings, 31787767 edges, 137966 markings/sec, 180 secs
lola: 25991490 markings, 32601116 edges, 132652 markings/sec, 185 secs
lola: 26686011 markings, 33411292 edges, 138904 markings/sec, 190 secs
lola: 27375428 markings, 34286951 edges, 137883 markings/sec, 195 secs
lola: 28063759 markings, 35161713 edges, 137666 markings/sec, 200 secs
lola: 28731428 markings, 35986428 edges, 133534 markings/sec, 205 secs
lola: 29422523 markings, 36784762 edges, 138219 markings/sec, 210 secs
lola: 30111613 markings, 37660125 edges, 137818 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p313)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 2 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: 885110 markings, 1226166 edges, 177022 markings/sec, 0 secs
lola: 1775081 markings, 2458688 edges, 177994 markings/sec, 5 secs
lola: 2661371 markings, 3688231 edges, 177258 markings/sec, 10 secs
lola: 3552847 markings, 4919539 edges, 178295 markings/sec, 15 secs
lola: 4440217 markings, 6153596 edges, 177474 markings/sec, 20 secs
lola: 5329247 markings, 7385636 edges, 177806 markings/sec, 25 secs
lola: 6220232 markings, 8620825 edges, 178197 markings/sec, 30 secs
lola: 7107548 markings, 9850080 edges, 177463 markings/sec, 35 secs
lola: 7995688 markings, 11081111 edges, 177628 markings/sec, 40 secs
lola: 8880607 markings, 12307823 edges, 176984 markings/sec, 45 secs
lola: 9690960 markings, 13358236 edges, 162071 markings/sec, 50 secs
lola: 10430593 markings, 14277434 edges, 147927 markings/sec, 55 secs
lola: 11153984 markings, 15175910 edges, 144678 markings/sec, 60 secs
lola: 11868849 markings, 16065830 edges, 142973 markings/sec, 65 secs
lola: 12583685 markings, 16953858 edges, 142967 markings/sec, 70 secs
lola: 13300849 markings, 17845819 edges, 143433 markings/sec, 75 secs
lola: 14016699 markings, 18735680 edges, 143170 markings/sec, 80 secs
lola: 14729665 markings, 19623541 edges, 142593 markings/sec, 85 secs
lola: 15447231 markings, 20517212 edges, 143513 markings/sec, 90 secs
lola: 16155995 markings, 21398306 edges, 141753 markings/sec, 95 secs
lola: 16867525 markings, 22283192 edges, 142306 markings/sec, 100 secs
lola: 17584785 markings, 23174857 edges, 143452 markings/sec, 105 secs
lola: 18300344 markings, 24064426 edges, 143112 markings/sec, 110 secs
lola: 19015045 markings, 24953373 edges, 142940 markings/sec, 115 secs
lola: 19729160 markings, 25841477 edges, 142823 markings/sec, 120 secs
lola: 20445600 markings, 26731714 edges, 143288 markings/sec, 125 secs
lola: 21159416 markings, 27619515 edges, 142763 markings/sec, 130 secs
lola: 21875876 markings, 28513520 edges, 143292 markings/sec, 135 secs
lola: 22591872 markings, 29404516 edges, 143199 markings/sec, 140 secs
lola: 23310837 markings, 30299020 edges, 143793 markings/sec, 145 secs
lola: 24028532 markings, 31190077 edges, 143539 markings/sec, 150 secs
lola: 24745905 markings, 32082655 edges, 143475 markings/sec, 155 secs
lola: 25460898 markings, 32972623 edges, 142999 markings/sec, 160 secs
lola: 26176089 markings, 33861098 edges, 143038 markings/sec, 165 secs
lola: 26890008 markings, 34756561 edges, 142784 markings/sec, 170 secs
lola: 27603095 markings, 35649010 edges, 142617 markings/sec, 175 secs
lola: 28317424 markings, 36537635 edges, 142866 markings/sec, 180 secs
lola: 29030232 markings, 37423482 edges, 142562 markings/sec, 185 secs
lola: 29741066 markings, 38308233 edges, 142167 markings/sec, 190 secs
lola: 30451288 markings, 39192715 edges, 142044 markings/sec, 195 secs
lola: 31159921 markings, 40075526 edges, 141727 markings/sec, 200 secs
lola: 31870554 markings, 40959453 edges, 142127 markings/sec, 205 secs
lola: 32584619 markings, 41847473 edges, 142813 markings/sec, 210 secs
lola: 33296607 markings, 42739963 edges, 142398 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA DES-PT-50b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-50b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494635721339
--------------------
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="DES-PT-50b"
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/DES-PT-50b.tgz
mv DES-PT-50b 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 DES-PT-50b, 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 r018-ebro-149436309200326"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;