About the Execution of LoLA for HypertorusGrid-PT-d3k3p2b06
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
9519.170 | 3540133.00 | 3549874.00 | 302.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-3254
Executing tool lola
Input is HypertorusGrid-PT-d3k3p2b06, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r038-blw7-149440484500038
=====================================================================
--------------------
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 HypertorusGrid-PT-d3k3p2b06-UpperBounds-0
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-1
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-10
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-11
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-12
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-13
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-14
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-15
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-2
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-3
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-4
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-5
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-6
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-7
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-8
FORMULA_NAME HypertorusGrid-PT-d3k3p2b06-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494615914396
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ HypertorusGrid-PT-d3k3p2b06 @ 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: 1485/65536 symbol table entries, 20 collisions
lola: preprocessing...
lola: finding significant places
lola: 513 places, 972 transitions, 323 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1161 transition conflict sets
lola: TASK
lola: reading formula from HypertorusGrid-PT-d3k3p2b06-UpperBounds.task
lola: MAX(pbl_2_3_3) : MAX(pbl_2_1_2) : MAX(pil_d1_n1_3_2_3) : MAX(pb_d2_n1_3_3_2) : MAX(pb_d3_n1_1_1_1) : MAX(pi_d3_n1_3_1_1) : MAX(pi_d3_n1_1_1_1) : MAX(pb_d3_n2_3_1_3) : MAX(pb_d2_n2_1_2_1) : MAX(pi_d2_n1_3_3_1) : MAX(pi_d3_n1_1_3_1) : MAX(pi_d1_n1_2_1_1) : MAX(pb_d3_n2_3_2_3) : MAX(pi_d3_n1_3_1_1) : MAX(pb_d3_n2_2_2_1) : MAX(pb_d2_n1_1_3_3)
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(pbl_2_3_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 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: 249455 markings, 1020713 edges, 49891 markings/sec, 0 secs
lola: 456768 markings, 1920583 edges, 41463 markings/sec, 5 secs
lola: 533050 markings, 3127663 edges, 15256 markings/sec, 10 secs
lola: 748572 markings, 4269549 edges, 43104 markings/sec, 15 secs
lola: 947199 markings, 5128236 edges, 39725 markings/sec, 20 secs
lola: 1018420 markings, 6432204 edges, 14244 markings/sec, 25 secs
lola: 1186657 markings, 7425598 edges, 33647 markings/sec, 30 secs
lola: 1360043 markings, 8288038 edges, 34677 markings/sec, 35 secs
lola: 1449844 markings, 9170960 edges, 17960 markings/sec, 40 secs
lola: 1551690 markings, 10272959 edges, 20369 markings/sec, 45 secs
lola: 1733224 markings, 11106785 edges, 36307 markings/sec, 50 secs
lola: 1881951 markings, 11812271 edges, 29745 markings/sec, 55 secs
lola: 1919083 markings, 12922592 edges, 7426 markings/sec, 60 secs
lola: 2094559 markings, 13906101 edges, 35095 markings/sec, 65 secs
lola: 2247523 markings, 14685590 edges, 30593 markings/sec, 70 secs
lola: 2329351 markings, 15675392 edges, 16366 markings/sec, 75 secs
lola: 2449441 markings, 16717198 edges, 24018 markings/sec, 80 secs
lola: 2618617 markings, 17473922 edges, 33835 markings/sec, 85 secs
lola: 2753321 markings, 18167316 edges, 26941 markings/sec, 90 secs
lola: 2816668 markings, 19346240 edges, 12669 markings/sec, 95 secs
lola: 3042297 markings, 20415646 edges, 45126 markings/sec, 100 secs
lola: 3272474 markings, 21555627 edges, 46035 markings/sec, 105 secs
lola: 3466735 markings, 22460216 edges, 38852 markings/sec, 110 secs
lola: 3541766 markings, 23626465 edges, 15006 markings/sec, 115 secs
lola: 3658703 markings, 24605837 edges, 23387 markings/sec, 120 secs
lola: 3780183 markings, 25710912 edges, 24296 markings/sec, 125 secs
lola: 3967100 markings, 26508371 edges, 37383 markings/sec, 130 secs
lola: 4061490 markings, 27514385 edges, 18878 markings/sec, 135 secs
lola: 4190405 markings, 28659626 edges, 25783 markings/sec, 140 secs
lola: 4363698 markings, 29526666 edges, 34659 markings/sec, 145 secs
lola: 4463515 markings, 30528614 edges, 19963 markings/sec, 150 secs
lola: 4589223 markings, 31696478 edges, 25142 markings/sec, 155 secs
lola: 4806155 markings, 32740295 edges, 43386 markings/sec, 160 secs
lola: 5020063 markings, 33688206 edges, 42782 markings/sec, 165 secs
lola: 5138387 markings, 34678239 edges, 23665 markings/sec, 170 secs
lola: 5229191 markings, 35552831 edges, 18161 markings/sec, 175 secs
lola: 5325544 markings, 36412432 edges, 19271 markings/sec, 180 secs
lola: 5432536 markings, 37477337 edges, 21398 markings/sec, 185 secs
lola: 5619174 markings, 38281783 edges, 37328 markings/sec, 190 secs
lola: 5710234 markings, 39168528 edges, 18212 markings/sec, 195 secs
lola: 5808542 markings, 40150192 edges, 19662 markings/sec, 200 secs
lola: 5972944 markings, 40844380 edges, 32880 markings/sec, 205 secs
lola: 6085417 markings, 41691157 edges, 22495 markings/sec, 210 secs
lola: 6185767 markings, 42816943 edges, 20070 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(pbl_2_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 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: 386048 markings, 719242 edges, 77210 markings/sec, 0 secs
lola: 758962 markings, 1434001 edges, 74583 markings/sec, 5 secs
lola: 1128086 markings, 2087821 edges, 73825 markings/sec, 10 secs
lola: 1423966 markings, 2715536 edges, 59176 markings/sec, 15 secs
lola: 1630630 markings, 3814324 edges, 41333 markings/sec, 20 secs
lola: 2016087 markings, 4579678 edges, 77091 markings/sec, 25 secs
lola: 2367009 markings, 5206826 edges, 70184 markings/sec, 30 secs
lola: 2689261 markings, 5792643 edges, 64450 markings/sec, 35 secs
lola: 2851917 markings, 6813644 edges, 32531 markings/sec, 40 secs
lola: 3239052 markings, 7615783 edges, 77427 markings/sec, 45 secs
lola: 3591161 markings, 8302892 edges, 70422 markings/sec, 50 secs
lola: 3928921 markings, 8876025 edges, 67552 markings/sec, 55 secs
lola: 4209613 markings, 9539069 edges, 56138 markings/sec, 60 secs
lola: 4392009 markings, 10535169 edges, 36479 markings/sec, 65 secs
lola: 4749506 markings, 11230669 edges, 71499 markings/sec, 70 secs
lola: 5047919 markings, 11778424 edges, 59683 markings/sec, 75 secs
lola: 5352215 markings, 12319046 edges, 60859 markings/sec, 80 secs
lola: 5557485 markings, 13081788 edges, 41054 markings/sec, 85 secs
lola: 5773428 markings, 13890695 edges, 43189 markings/sec, 90 secs
lola: 6084381 markings, 14504173 edges, 62191 markings/sec, 95 secs
lola: 6348964 markings, 14986668 edges, 52917 markings/sec, 100 secs
lola: 6636301 markings, 15490361 edges, 57467 markings/sec, 105 secs
lola: 6864187 markings, 16278270 edges, 45577 markings/sec, 110 secs
lola: 7108078 markings, 17163901 edges, 48778 markings/sec, 115 secs
lola: 7459902 markings, 17848092 edges, 70365 markings/sec, 120 secs
lola: 7800937 markings, 18441002 edges, 68207 markings/sec, 125 secs
lola: 8110196 markings, 19064979 edges, 61852 markings/sec, 130 secs
lola: 8271562 markings, 20099350 edges, 32273 markings/sec, 135 secs
lola: 8615427 markings, 20774900 edges, 68773 markings/sec, 140 secs
lola: 8920845 markings, 21326661 edges, 61084 markings/sec, 145 secs
lola: 9235579 markings, 21901767 edges, 62947 markings/sec, 150 secs
lola: 9392037 markings, 22912107 edges, 31292 markings/sec, 155 secs
lola: 9730596 markings, 23609448 edges, 67712 markings/sec, 160 secs
lola: 10018621 markings, 24179885 edges, 57605 markings/sec, 165 secs
lola: 10303844 markings, 24655053 edges, 57045 markings/sec, 170 secs
lola: 10583380 markings, 25255027 edges, 55907 markings/sec, 175 secs
lola: 10756832 markings, 26286042 edges, 34690 markings/sec, 180 secs
lola: 11104453 markings, 26953107 edges, 69524 markings/sec, 185 secs
lola: 11397657 markings, 27472377 edges, 58641 markings/sec, 190 secs
lola: 11693716 markings, 28032285 edges, 59212 markings/sec, 195 secs
lola: 11798833 markings, 28914498 edges, 21023 markings/sec, 200 secs
lola: 12117785 markings, 29628909 edges, 63790 markings/sec, 205 secs
lola: 12421638 markings, 30178976 edges, 60771 markings/sec, 210 secs
lola: 12715690 markings, 30690375 edges, 58810 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(pil_d1_n1_3_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 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: 335477 markings, 721493 edges, 67095 markings/sec, 0 secs
lola: 547647 markings, 1547843 edges, 42434 markings/sec, 5 secs
lola: 697076 markings, 2329058 edges, 29886 markings/sec, 10 secs
lola: 764685 markings, 3526492 edges, 13522 markings/sec, 15 secs
lola: 980459 markings, 4427189 edges, 43155 markings/sec, 20 secs
lola: 1151868 markings, 5177880 edges, 34282 markings/sec, 25 secs
lola: 1205778 markings, 6413599 edges, 10782 markings/sec, 30 secs
lola: 1403488 markings, 7258817 edges, 39542 markings/sec, 35 secs
lola: 1596843 markings, 8028265 edges, 38671 markings/sec, 40 secs
lola: 1650085 markings, 9313531 edges, 10648 markings/sec, 45 secs
lola: 1869080 markings, 10211807 edges, 43799 markings/sec, 50 secs
lola: 2033726 markings, 10944335 edges, 32929 markings/sec, 55 secs
lola: 2065961 markings, 12082080 edges, 6447 markings/sec, 60 secs
lola: 2271959 markings, 12950874 edges, 41200 markings/sec, 65 secs
lola: 2460595 markings, 13783290 edges, 37727 markings/sec, 70 secs
lola: 2527067 markings, 15059680 edges, 13294 markings/sec, 75 secs
lola: 2714161 markings, 15803174 edges, 37419 markings/sec, 80 secs
lola: 2877795 markings, 16549896 edges, 32727 markings/sec, 85 secs
lola: 2922019 markings, 17718753 edges, 8845 markings/sec, 90 secs
lola: 3142289 markings, 18589154 edges, 44054 markings/sec, 95 secs
lola: 3287416 markings, 19625401 edges, 29025 markings/sec, 100 secs
lola: 3416509 markings, 20828853 edges, 25819 markings/sec, 105 secs
lola: 3631752 markings, 21587369 edges, 43049 markings/sec, 110 secs
lola: 3687226 markings, 22866740 edges, 11095 markings/sec, 115 secs
lola: 3877681 markings, 23738650 edges, 38091 markings/sec, 120 secs
lola: 4070241 markings, 24464876 edges, 38512 markings/sec, 125 secs
lola: 4077117 markings, 25476019 edges, 1375 markings/sec, 130 secs
lola: 4233253 markings, 26216322 edges, 31227 markings/sec, 135 secs
lola: 4398425 markings, 26815098 edges, 33034 markings/sec, 140 secs
lola: 4457579 markings, 27672378 edges, 11831 markings/sec, 145 secs
lola: 4541949 markings, 28573334 edges, 16874 markings/sec, 150 secs
lola: 4743412 markings, 29265094 edges, 40293 markings/sec, 155 secs
lola: 4830254 markings, 30350550 edges, 17368 markings/sec, 160 secs
lola: 4965318 markings, 31251703 edges, 27013 markings/sec, 165 secs
lola: 5168920 markings, 31964553 edges, 40720 markings/sec, 170 secs
lola: 5226726 markings, 33085915 edges, 11561 markings/sec, 175 secs
lola: 5388900 markings, 34004528 edges, 32435 markings/sec, 180 secs
lola: 5567909 markings, 34681076 edges, 35802 markings/sec, 185 secs
lola: 5575778 markings, 35776207 edges, 1574 markings/sec, 190 secs
lola: 5760593 markings, 36505346 edges, 36963 markings/sec, 195 secs
lola: 5934954 markings, 37147174 edges, 34872 markings/sec, 200 secs
lola: 5946333 markings, 38256635 edges, 2276 markings/sec, 205 secs
lola: 6133464 markings, 39005746 edges, 37426 markings/sec, 210 secs
lola: 6292848 markings, 39755107 edges, 31877 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(pb_d2_n1_3_3_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 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: 1038910 markings, 1044532 edges, 207782 markings/sec, 0 secs
lola: 2104640 markings, 2113760 edges, 213146 markings/sec, 5 secs
lola: 3192683 markings, 3212598 edges, 217609 markings/sec, 10 secs
lola: 4068486 markings, 4158205 edges, 175161 markings/sec, 15 secs
lola: 4940111 markings, 5085504 edges, 174325 markings/sec, 20 secs
lola: 5841474 markings, 6057774 edges, 180273 markings/sec, 25 secs
lola: 6786507 markings, 7068548 edges, 189007 markings/sec, 30 secs
lola: 7634847 markings, 7980810 edges, 169668 markings/sec, 35 secs
lola: 8494145 markings, 8909741 edges, 171860 markings/sec, 40 secs
lola: 9435141 markings, 9926028 edges, 188199 markings/sec, 45 secs
lola: 10310837 markings, 10883275 edges, 175139 markings/sec, 50 secs
lola: 11135677 markings, 11762537 edges, 164968 markings/sec, 55 secs
lola: 11992185 markings, 12690097 edges, 171302 markings/sec, 60 secs
lola: 12856053 markings, 13625409 edges, 172774 markings/sec, 65 secs
lola: 13674849 markings, 14482994 edges, 163759 markings/sec, 70 secs
lola: 14483665 markings, 15338394 edges, 161763 markings/sec, 75 secs
lola: 15191782 markings, 16091572 edges, 141623 markings/sec, 80 secs
lola: 15982949 markings, 16934919 edges, 158233 markings/sec, 85 secs
lola: 16761397 markings, 17768807 edges, 155690 markings/sec, 90 secs
lola: 17532408 markings, 18604623 edges, 154202 markings/sec, 95 secs
lola: 18279012 markings, 19436016 edges, 149321 markings/sec, 100 secs
lola: 18662069 markings, 20386324 edges, 76611 markings/sec, 105 secs
lola: 19321087 markings, 21103851 edges, 131804 markings/sec, 110 secs
lola: 20045209 markings, 21879499 edges, 144824 markings/sec, 115 secs
lola: 20748626 markings, 22633699 edges, 140683 markings/sec, 120 secs
lola: 21500883 markings, 23450132 edges, 150451 markings/sec, 125 secs
lola: 22247529 markings, 24248944 edges, 149329 markings/sec, 130 secs
lola: 23015540 markings, 25073369 edges, 153602 markings/sec, 135 secs
lola: 23905459 markings, 26033479 edges, 177984 markings/sec, 140 secs
lola: 24757407 markings, 26955832 edges, 170390 markings/sec, 145 secs
lola: 25603763 markings, 27883052 edges, 169271 markings/sec, 150 secs
lola: 26348933 markings, 28669130 edges, 149034 markings/sec, 155 secs
lola: 27074814 markings, 29458460 edges, 145176 markings/sec, 160 secs
lola: 27852192 markings, 30316415 edges, 155476 markings/sec, 165 secs
lola: 28628623 markings, 31126069 edges, 155286 markings/sec, 170 secs
lola: 29379013 markings, 31916369 edges, 150078 markings/sec, 175 secs
lola: 30125846 markings, 32710068 edges, 149367 markings/sec, 180 secs
lola: 30819642 markings, 33446683 edges, 138759 markings/sec, 185 secs
lola: 31520358 markings, 34193744 edges, 140143 markings/sec, 190 secs
lola: 32231103 markings, 34957470 edges, 142149 markings/sec, 195 secs
lola: 32946312 markings, 35734889 edges, 143042 markings/sec, 200 secs
lola: 33630753 markings, 36499375 edges, 136888 markings/sec, 205 secs
lola: 33991205 markings, 37382850 edges, 72090 markings/sec, 210 secs
lola: 34566509 markings, 38053495 edges, 115061 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(pb_d3_n1_1_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 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: 566895 markings, 860808 edges, 113379 markings/sec, 0 secs
lola: 1104161 markings, 1739248 edges, 107453 markings/sec, 5 secs
lola: 1588082 markings, 2540795 edges, 96784 markings/sec, 10 secs
lola: 2045681 markings, 3230081 edges, 91520 markings/sec, 15 secs
lola: 2511715 markings, 3931909 edges, 93207 markings/sec, 20 secs
lola: 2749707 markings, 4960856 edges, 47598 markings/sec, 25 secs
lola: 3153611 markings, 5832157 edges, 80781 markings/sec, 30 secs
lola: 3657939 markings, 6627214 edges, 100866 markings/sec, 35 secs
lola: 4114717 markings, 7384464 edges, 91356 markings/sec, 40 secs
lola: 4547412 markings, 8116570 edges, 86539 markings/sec, 45 secs
lola: 4998665 markings, 8761180 edges, 90251 markings/sec, 50 secs
lola: 5428696 markings, 9435257 edges, 86006 markings/sec, 55 secs
lola: 5564690 markings, 10529216 edges, 27199 markings/sec, 60 secs
lola: 6000454 markings, 11227037 edges, 87153 markings/sec, 65 secs
lola: 6451216 markings, 11969412 edges, 90152 markings/sec, 70 secs
lola: 6908856 markings, 12719558 edges, 91528 markings/sec, 75 secs
lola: 7349628 markings, 13363184 edges, 88154 markings/sec, 80 secs
lola: 7773858 markings, 14022951 edges, 84846 markings/sec, 85 secs
lola: 7915555 markings, 14857032 edges, 28339 markings/sec, 90 secs
lola: 8310324 markings, 15752921 edges, 78954 markings/sec, 95 secs
lola: 8770844 markings, 16509804 edges, 92104 markings/sec, 100 secs
lola: 9263360 markings, 17324842 edges, 98503 markings/sec, 105 secs
lola: 9701090 markings, 17988727 edges, 87546 markings/sec, 110 secs
lola: 10139778 markings, 18639068 edges, 87738 markings/sec, 115 secs
lola: 10438577 markings, 19497571 edges, 59760 markings/sec, 120 secs
lola: 10756523 markings, 20495292 edges, 63589 markings/sec, 125 secs
lola: 11263721 markings, 21337261 edges, 101440 markings/sec, 130 secs
lola: 11779130 markings, 22184810 edges, 103082 markings/sec, 135 secs
lola: 12212100 markings, 22872126 edges, 86594 markings/sec, 140 secs
lola: 12686382 markings, 23575364 edges, 94856 markings/sec, 145 secs
lola: 12991162 markings, 24448143 edges, 60956 markings/sec, 150 secs
lola: 13311983 markings, 25447513 edges, 64164 markings/sec, 155 secs
lola: 13809437 markings, 26277387 edges, 99491 markings/sec, 160 secs
lola: 14289783 markings, 27079794 edges, 96069 markings/sec, 165 secs
lola: 14774049 markings, 27805383 edges, 96853 markings/sec, 170 secs
lola: 15204596 markings, 28468670 edges, 86109 markings/sec, 175 secs
lola: 15397349 markings, 29560746 edges, 38551 markings/sec, 180 secs
lola: 15745966 markings, 30261405 edges, 69723 markings/sec, 185 secs
lola: 16166045 markings, 30937893 edges, 84016 markings/sec, 190 secs
lola: 16638311 markings, 31742281 edges, 94453 markings/sec, 195 secs
lola: 17063470 markings, 32384394 edges, 85032 markings/sec, 200 secs
lola: 17489926 markings, 33011033 edges, 85291 markings/sec, 205 secs
lola: 17813676 markings, 33731101 edges, 64750 markings/sec, 210 secs
lola: 18039883 markings, 34757979 edges, 45241 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(pi_d3_n1_3_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 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: 976125 markings, 990501 edges, 195225 markings/sec, 0 secs
lola: 1900077 markings, 1949655 edges, 184790 markings/sec, 5 secs
lola: 2721308 markings, 2809027 edges, 164246 markings/sec, 10 secs
lola: 3644101 markings, 3768282 edges, 184559 markings/sec, 15 secs
lola: 4512070 markings, 4679058 edges, 173594 markings/sec, 20 secs
lola: 5322661 markings, 5541646 edges, 162118 markings/sec, 25 secs
lola: 6171182 markings, 6412414 edges, 169704 markings/sec, 30 secs
lola: 7020458 markings, 7298070 edges, 169855 markings/sec, 35 secs
lola: 7804493 markings, 8112855 edges, 156807 markings/sec, 40 secs
lola: 8585184 markings, 8925821 edges, 156138 markings/sec, 45 secs
lola: 9286929 markings, 9655912 edges, 140349 markings/sec, 50 secs
lola: 10069361 markings, 10472068 edges, 156486 markings/sec, 55 secs
lola: 10809792 markings, 11242971 edges, 148086 markings/sec, 60 secs
lola: 11588875 markings, 12054691 edges, 155817 markings/sec, 65 secs
lola: 12358529 markings, 12856679 edges, 153931 markings/sec, 70 secs
lola: 13128719 markings, 13641857 edges, 154038 markings/sec, 75 secs
lola: 13904950 markings, 14449503 edges, 155246 markings/sec, 80 secs
lola: 14639644 markings, 15233370 edges, 146939 markings/sec, 85 secs
lola: 15572836 markings, 16184385 edges, 186638 markings/sec, 90 secs
lola: 16456378 markings, 17117169 edges, 176708 markings/sec, 95 secs
lola: 17271969 markings, 17967749 edges, 163118 markings/sec, 100 secs
lola: 18047822 markings, 18783342 edges, 155171 markings/sec, 105 secs
lola: 18800952 markings, 19566017 edges, 150626 markings/sec, 110 secs
lola: 19613603 markings, 20427215 edges, 162530 markings/sec, 115 secs
lola: 20440520 markings, 21286236 edges, 165383 markings/sec, 120 secs
lola: 21279612 markings, 22158479 edges, 167818 markings/sec, 125 secs
lola: 22079075 markings, 22989703 edges, 159893 markings/sec, 130 secs
lola: 22781679 markings, 23723035 edges, 140521 markings/sec, 135 secs
lola: 23562412 markings, 24536113 edges, 156147 markings/sec, 140 secs
lola: 24366712 markings, 25372016 edges, 160860 markings/sec, 145 secs
lola: 25192219 markings, 26229946 edges, 165101 markings/sec, 150 secs
lola: 26024291 markings, 27096361 edges, 166414 markings/sec, 155 secs
lola: 26789903 markings, 27891819 edges, 153122 markings/sec, 160 secs
lola: 27541350 markings, 28674808 edges, 150289 markings/sec, 165 secs
lola: 28281903 markings, 29448123 edges, 148111 markings/sec, 170 secs
lola: 29074289 markings, 30270804 edges, 158477 markings/sec, 175 secs
lola: 29863457 markings, 31092353 edges, 157834 markings/sec, 180 secs
lola: 30610360 markings, 31872536 edges, 149381 markings/sec, 185 secs
lola: 31507332 markings, 32801644 edges, 179394 markings/sec, 190 secs
lola: 32396162 markings, 33727172 edges, 177766 markings/sec, 195 secs
lola: 33230757 markings, 34611730 edges, 166919 markings/sec, 200 secs
lola: 34095659 markings, 35509169 edges, 172980 markings/sec, 205 secs
lola: 34783676 markings, 36209545 edges, 137603 markings/sec, 210 secs
lola: 35520964 markings, 36978273 edges, 147458 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(pi_d3_n1_1_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 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: 329444 markings, 869499 edges, 65889 markings/sec, 0 secs
lola: 617063 markings, 1640283 edges, 57524 markings/sec, 5 secs
lola: 815743 markings, 2780939 edges, 39736 markings/sec, 10 secs
lola: 1117654 markings, 3628576 edges, 60382 markings/sec, 15 secs
lola: 1314272 markings, 4549213 edges, 39324 markings/sec, 20 secs
lola: 1586135 markings, 5500881 edges, 54373 markings/sec, 25 secs
lola: 1869098 markings, 6259826 edges, 56593 markings/sec, 30 secs
lola: 2012029 markings, 7249042 edges, 28586 markings/sec, 35 secs
lola: 2298575 markings, 8055199 edges, 57309 markings/sec, 40 secs
lola: 2543904 markings, 8868494 edges, 49066 markings/sec, 45 secs
lola: 2732867 markings, 9834459 edges, 37793 markings/sec, 50 secs
lola: 2997830 markings, 10547539 edges, 52993 markings/sec, 55 secs
lola: 3139984 markings, 11431465 edges, 28431 markings/sec, 60 secs
lola: 3389653 markings, 12240345 edges, 49934 markings/sec, 65 secs
lola: 3632016 markings, 12884224 edges, 48473 markings/sec, 70 secs
lola: 3754193 markings, 13818966 edges, 24435 markings/sec, 75 secs
lola: 4035019 markings, 14605497 edges, 56165 markings/sec, 80 secs
lola: 4275594 markings, 15299660 edges, 48115 markings/sec, 85 secs
lola: 4465420 markings, 16377454 edges, 37965 markings/sec, 90 secs
lola: 4730874 markings, 17086925 edges, 53091 markings/sec, 95 secs
lola: 4856367 markings, 18031212 edges, 25099 markings/sec, 100 secs
lola: 5077314 markings, 18662534 edges, 44189 markings/sec, 105 secs
lola: 5312870 markings, 19279712 edges, 47111 markings/sec, 110 secs
lola: 5429822 markings, 20204816 edges, 23390 markings/sec, 115 secs
lola: 5679224 markings, 20908604 edges, 49880 markings/sec, 120 secs
lola: 5890138 markings, 21635586 edges, 42183 markings/sec, 125 secs
lola: 6074687 markings, 22563622 edges, 36910 markings/sec, 130 secs
lola: 6347194 markings, 23302513 edges, 54501 markings/sec, 135 secs
lola: 6498314 markings, 24324101 edges, 30224 markings/sec, 140 secs
lola: 6735203 markings, 24965678 edges, 47378 markings/sec, 145 secs
lola: 6898694 markings, 25748639 edges, 32698 markings/sec, 150 secs
lola: 7075632 markings, 26498081 edges, 35388 markings/sec, 155 secs
lola: 7287176 markings, 27061738 edges, 42309 markings/sec, 160 secs
lola: 7383280 markings, 27903755 edges, 19221 markings/sec, 165 secs
lola: 7639828 markings, 28648321 edges, 51310 markings/sec, 170 secs
lola: 7849552 markings, 29372981 edges, 41945 markings/sec, 175 secs
lola: 8064139 markings, 30386103 edges, 42917 markings/sec, 180 secs
lola: 8308532 markings, 31120291 edges, 48879 markings/sec, 185 secs
lola: 8481675 markings, 32114770 edges, 34629 markings/sec, 190 secs
lola: 8713948 markings, 32734498 edges, 46455 markings/sec, 195 secs
lola: 8854820 markings, 33704371 edges, 28174 markings/sec, 200 secs
lola: 9095452 markings, 34349142 edges, 48126 markings/sec, 205 secs
lola: 9232900 markings, 35301982 edges, 27490 markings/sec, 210 secs
lola: 9489654 markings, 36001343 edges, 51351 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(pb_d3_n2_3_1_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 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: 515105 markings, 784338 edges, 103021 markings/sec, 0 secs
lola: 974680 markings, 1575019 edges, 91915 markings/sec, 5 secs
lola: 1408077 markings, 2398266 edges, 86679 markings/sec, 10 secs
lola: 1846508 markings, 3173725 edges, 87686 markings/sec, 15 secs
lola: 2259872 markings, 3866218 edges, 82673 markings/sec, 20 secs
lola: 2642131 markings, 4614516 edges, 76452 markings/sec, 25 secs
lola: 2842594 markings, 5637605 edges, 40093 markings/sec, 30 secs
lola: 3300168 markings, 6409882 edges, 91515 markings/sec, 35 secs
lola: 3742684 markings, 7221260 edges, 88503 markings/sec, 40 secs
lola: 4160383 markings, 7968673 edges, 83540 markings/sec, 45 secs
lola: 4582906 markings, 8697518 edges, 84505 markings/sec, 50 secs
lola: 4992318 markings, 9416015 edges, 81882 markings/sec, 55 secs
lola: 5192883 markings, 10519116 edges, 40113 markings/sec, 60 secs
lola: 5614252 markings, 11221036 edges, 84274 markings/sec, 65 secs
lola: 6017294 markings, 11923439 edges, 80608 markings/sec, 70 secs
lola: 6390673 markings, 12628800 edges, 74676 markings/sec, 75 secs
lola: 6780591 markings, 13331070 edges, 77984 markings/sec, 80 secs
lola: 7145132 markings, 13938160 edges, 72908 markings/sec, 85 secs
lola: 7503357 markings, 14579713 edges, 71645 markings/sec, 90 secs
lola: 7659056 markings, 15523891 edges, 31140 markings/sec, 95 secs
lola: 8066914 markings, 16277766 edges, 81572 markings/sec, 100 secs
lola: 8475870 markings, 16993227 edges, 81791 markings/sec, 105 secs
lola: 8868027 markings, 17739082 edges, 78431 markings/sec, 110 secs
lola: 9271867 markings, 18450671 edges, 80768 markings/sec, 115 secs
lola: 9650934 markings, 19088257 edges, 75813 markings/sec, 120 secs
lola: 10016073 markings, 19793935 edges, 73028 markings/sec, 125 secs
lola: 10174433 markings, 20756374 edges, 31672 markings/sec, 130 secs
lola: 10557421 markings, 21406104 edges, 76598 markings/sec, 135 secs
lola: 10939972 markings, 22089736 edges, 76510 markings/sec, 140 secs
lola: 11276691 markings, 22722763 edges, 67344 markings/sec, 145 secs
lola: 11651887 markings, 23386522 edges, 75039 markings/sec, 150 secs
lola: 12017974 markings, 24003936 edges, 73217 markings/sec, 155 secs
lola: 12373878 markings, 24695372 edges, 71181 markings/sec, 160 secs
lola: 12524816 markings, 25642988 edges, 30188 markings/sec, 165 secs
lola: 12990977 markings, 26442095 edges, 93232 markings/sec, 170 secs
lola: 13429787 markings, 27270840 edges, 87762 markings/sec, 175 secs
lola: 13871931 markings, 28058186 edges, 88429 markings/sec, 180 secs
lola: 14301291 markings, 28778302 edges, 85872 markings/sec, 185 secs
lola: 14694751 markings, 29595421 edges, 78692 markings/sec, 190 secs
lola: 14946017 markings, 30660334 edges, 50253 markings/sec, 195 secs
lola: 15403704 markings, 31457096 edges, 91537 markings/sec, 200 secs
lola: 15833564 markings, 32257669 edges, 85972 markings/sec, 205 secs
lola: 16272079 markings, 33026890 edges, 87703 markings/sec, 210 secs
lola: 16685730 markings, 33731996 edges, 82730 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(pb_d2_n2_1_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 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: 467731 markings, 728041 edges, 93546 markings/sec, 0 secs
lola: 928367 markings, 1481323 edges, 92127 markings/sec, 5 secs
lola: 1358949 markings, 2144584 edges, 86116 markings/sec, 10 secs
lola: 1754100 markings, 2804020 edges, 79030 markings/sec, 15 secs
lola: 2056219 markings, 3833287 edges, 60424 markings/sec, 20 secs
lola: 2511783 markings, 4577377 edges, 91113 markings/sec, 25 secs
lola: 2961890 markings, 5296196 edges, 90021 markings/sec, 30 secs
lola: 3379174 markings, 5945796 edges, 83457 markings/sec, 35 secs
lola: 3643686 markings, 6972674 edges, 52902 markings/sec, 40 secs
lola: 4062297 markings, 7701926 edges, 83722 markings/sec, 45 secs
lola: 4478847 markings, 8450550 edges, 83310 markings/sec, 50 secs
lola: 4871799 markings, 9100221 edges, 78590 markings/sec, 55 secs
lola: 5227644 markings, 9755195 edges, 71169 markings/sec, 60 secs
lola: 5473009 markings, 10719050 edges, 49073 markings/sec, 65 secs
lola: 5908121 markings, 11430604 edges, 87022 markings/sec, 70 secs
lola: 6320047 markings, 12081917 edges, 82385 markings/sec, 75 secs
lola: 6713609 markings, 12682276 edges, 78712 markings/sec, 80 secs
lola: 6941380 markings, 13610291 edges, 45554 markings/sec, 85 secs
lola: 7350740 markings, 14299893 edges, 81872 markings/sec, 90 secs
lola: 7782124 markings, 15006198 edges, 86277 markings/sec, 95 secs
lola: 8184483 markings, 15623583 edges, 80472 markings/sec, 100 secs
lola: 8566662 markings, 16245246 edges, 76436 markings/sec, 105 secs
lola: 8808414 markings, 17198970 edges, 48350 markings/sec, 110 secs
lola: 9232939 markings, 17882655 edges, 84905 markings/sec, 115 secs
lola: 9628046 markings, 18514061 edges, 79021 markings/sec, 120 secs
lola: 10010270 markings, 19095959 edges, 76445 markings/sec, 125 secs
lola: 10226202 markings, 20034360 edges, 43186 markings/sec, 130 secs
lola: 10650079 markings, 20717750 edges, 84775 markings/sec, 135 secs
lola: 11059549 markings, 21387945 edges, 81894 markings/sec, 140 secs
lola: 11456132 markings, 21987949 edges, 79317 markings/sec, 145 secs
lola: 11764890 markings, 22708934 edges, 61752 markings/sec, 150 secs
lola: 12092122 markings, 23598267 edges, 65446 markings/sec, 155 secs
lola: 12534857 markings, 24322595 edges, 88547 markings/sec, 160 secs
lola: 12951045 markings, 24954427 edges, 83238 markings/sec, 165 secs
lola: 13292884 markings, 25714142 edges, 68368 markings/sec, 170 secs
lola: 13602666 markings, 26577452 edges, 61956 markings/sec, 175 secs
lola: 14008811 markings, 27256113 edges, 81229 markings/sec, 180 secs
lola: 14387094 markings, 27828984 edges, 75657 markings/sec, 185 secs
lola: 14749777 markings, 28412496 edges, 72537 markings/sec, 190 secs
lola: 14951790 markings, 29314549 edges, 40403 markings/sec, 195 secs
lola: 15372889 markings, 30009222 edges, 84220 markings/sec, 200 secs
lola: 15750045 markings, 30594657 edges, 75431 markings/sec, 205 secs
lola: 16114984 markings, 31146870 edges, 72988 markings/sec, 210 secs
lola: 16311271 markings, 32049722 edges, 39257 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(pi_d2_n1_3_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 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: 759160 markings, 799424 edges, 151832 markings/sec, 0 secs
lola: 1483736 markings, 1568116 edges, 144915 markings/sec, 5 secs
lola: 2164792 markings, 2310862 edges, 136211 markings/sec, 10 secs
lola: 2834989 markings, 3025078 edges, 134039 markings/sec, 15 secs
lola: 3474081 markings, 3725418 edges, 127818 markings/sec, 20 secs
lola: 4097968 markings, 4394160 edges, 124777 markings/sec, 25 secs
lola: 4723365 markings, 5066275 edges, 125079 markings/sec, 30 secs
lola: 5320219 markings, 5728618 edges, 119371 markings/sec, 35 secs
lola: 5918105 markings, 6370424 edges, 119577 markings/sec, 40 secs
lola: 6546363 markings, 7041520 edges, 125652 markings/sec, 45 secs
lola: 7214575 markings, 7778676 edges, 133642 markings/sec, 50 secs
lola: 7850762 markings, 8459907 edges, 127237 markings/sec, 55 secs
lola: 8491882 markings, 9153939 edges, 128224 markings/sec, 60 secs
lola: 9171721 markings, 9892832 edges, 135968 markings/sec, 65 secs
lola: 9840652 markings, 10615520 edges, 133786 markings/sec, 70 secs
lola: 10501856 markings, 11333259 edges, 132241 markings/sec, 75 secs
lola: 11122274 markings, 11997932 edges, 124084 markings/sec, 80 secs
lola: 11778802 markings, 12721391 edges, 131306 markings/sec, 85 secs
lola: 12434763 markings, 13417950 edges, 131192 markings/sec, 90 secs
lola: 13077737 markings, 14102103 edges, 128595 markings/sec, 95 secs
lola: 13694270 markings, 14734716 edges, 123307 markings/sec, 100 secs
lola: 14338864 markings, 15417190 edges, 128919 markings/sec, 105 secs
lola: 14985100 markings, 16115710 edges, 129247 markings/sec, 110 secs
lola: 15573663 markings, 16745088 edges, 117713 markings/sec, 115 secs
lola: 16186068 markings, 17403490 edges, 122481 markings/sec, 120 secs
lola: 16779990 markings, 18061514 edges, 118784 markings/sec, 125 secs
lola: 17355878 markings, 18657920 edges, 115178 markings/sec, 130 secs
lola: 17922922 markings, 19248802 edges, 113409 markings/sec, 135 secs
lola: 18485553 markings, 19836822 edges, 112526 markings/sec, 140 secs
lola: 19039493 markings, 20415900 edges, 110788 markings/sec, 145 secs
lola: 19582178 markings, 20987150 edges, 108537 markings/sec, 150 secs
lola: 20125488 markings, 21559107 edges, 108662 markings/sec, 155 secs
lola: 20659780 markings, 22123936 edges, 106858 markings/sec, 160 secs
lola: 21196715 markings, 22691214 edges, 107387 markings/sec, 165 secs
lola: 21732708 markings, 23259548 edges, 107199 markings/sec, 170 secs
lola: 22260126 markings, 23824291 edges, 105484 markings/sec, 175 secs
lola: 22783384 markings, 24384152 edges, 104652 markings/sec, 180 secs
lola: 23302899 markings, 24938109 edges, 103903 markings/sec, 185 secs
lola: 23809675 markings, 25479471 edges, 101355 markings/sec, 190 secs
lola: 24318320 markings, 26025619 edges, 101729 markings/sec, 195 secs
lola: 24827718 markings, 26574692 edges, 101880 markings/sec, 200 secs
lola: 25344300 markings, 27131833 edges, 103316 markings/sec, 205 secs
lola: 25853808 markings, 27682135 edges, 101902 markings/sec, 210 secs
lola: 26354997 markings, 28224030 edges, 100238 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(pi_d3_n1_1_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 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: 234266 markings, 1050488 edges, 46853 markings/sec, 0 secs
lola: 382070 markings, 2186367 edges, 29561 markings/sec, 5 secs
lola: 553926 markings, 3386994 edges, 34371 markings/sec, 10 secs
lola: 749176 markings, 4257836 edges, 39050 markings/sec, 15 secs
lola: 846117 markings, 5540806 edges, 19388 markings/sec, 20 secs
lola: 1054555 markings, 6453731 edges, 41688 markings/sec, 25 secs
lola: 1185157 markings, 7476556 edges, 26120 markings/sec, 30 secs
lola: 1314798 markings, 8640590 edges, 25928 markings/sec, 35 secs
lola: 1488419 markings, 9567095 edges, 34724 markings/sec, 40 secs
lola: 1561856 markings, 10767763 edges, 14687 markings/sec, 45 secs
lola: 1736126 markings, 11691591 edges, 34854 markings/sec, 50 secs
lola: 1913306 markings, 12445844 edges, 35436 markings/sec, 55 secs
lola: 1989676 markings, 13647551 edges, 15274 markings/sec, 60 secs
lola: 2195158 markings, 14559034 edges, 41096 markings/sec, 65 secs
lola: 2329628 markings, 15519344 edges, 26894 markings/sec, 70 secs
lola: 2451707 markings, 16593626 edges, 24416 markings/sec, 75 secs
lola: 2635141 markings, 17363306 edges, 36687 markings/sec, 80 secs
lola: 2714663 markings, 18421580 edges, 15904 markings/sec, 85 secs
lola: 2885031 markings, 19385961 edges, 34074 markings/sec, 90 secs
lola: 3065574 markings, 20167752 edges, 36109 markings/sec, 95 secs
lola: 3136453 markings, 21346530 edges, 14176 markings/sec, 100 secs
lola: 3324316 markings, 22169988 edges, 37573 markings/sec, 105 secs
lola: 3454657 markings, 22998475 edges, 26068 markings/sec, 110 secs
lola: 3566529 markings, 24114371 edges, 22374 markings/sec, 115 secs
lola: 3768333 markings, 25006417 edges, 40361 markings/sec, 120 secs
lola: 3850852 markings, 26247909 edges, 16504 markings/sec, 125 secs
lola: 4076789 markings, 27220677 edges, 45187 markings/sec, 130 secs
lola: 4169039 markings, 28513060 edges, 18450 markings/sec, 135 secs
lola: 4384001 markings, 29451761 edges, 42992 markings/sec, 140 secs
lola: 4506402 markings, 30528587 edges, 24480 markings/sec, 145 secs
lola: 4648952 markings, 31515271 edges, 28510 markings/sec, 150 secs
lola: 4823763 markings, 32288589 edges, 34962 markings/sec, 155 secs
lola: 4881873 markings, 33404336 edges, 11622 markings/sec, 160 secs
lola: 5054544 markings, 34127643 edges, 34534 markings/sec, 165 secs
lola: 5165649 markings, 34897597 edges, 22221 markings/sec, 170 secs
lola: 5233821 markings, 35812425 edges, 13634 markings/sec, 175 secs
lola: 5395088 markings, 36480125 edges, 32253 markings/sec, 180 secs
lola: 5484650 markings, 37292063 edges, 17912 markings/sec, 185 secs
lola: 5614871 markings, 38358933 edges, 26044 markings/sec, 190 secs
lola: 5793694 markings, 39390952 edges, 35765 markings/sec, 195 secs
lola: 5950420 markings, 40660573 edges, 31345 markings/sec, 200 secs
lola: 6097628 markings, 41756199 edges, 29442 markings/sec, 205 secs
lola: 6256178 markings, 42843248 edges, 31710 markings/sec, 210 secs
lola: 6393790 markings, 43810822 edges, 27522 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(pi_d1_n1_2_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 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: 661627 markings, 1007528 edges, 132325 markings/sec, 0 secs
lola: 1316871 markings, 2038862 edges, 131049 markings/sec, 5 secs
lola: 1927925 markings, 3027497 edges, 122211 markings/sec, 10 secs
lola: 2502894 markings, 3888346 edges, 114994 markings/sec, 15 secs
lola: 2892645 markings, 5098507 edges, 77950 markings/sec, 20 secs
lola: 3537768 markings, 6121945 edges, 129025 markings/sec, 25 secs
lola: 4170857 markings, 7137780 edges, 126618 markings/sec, 30 secs
lola: 4760274 markings, 8083613 edges, 117883 markings/sec, 35 secs
lola: 5303129 markings, 8970324 edges, 108571 markings/sec, 40 secs
lola: 5670020 markings, 10055493 edges, 73378 markings/sec, 45 secs
lola: 6214677 markings, 10930649 edges, 108931 markings/sec, 50 secs
lola: 6760495 markings, 11800070 edges, 109164 markings/sec, 55 secs
lola: 7299838 markings, 12677700 edges, 107869 markings/sec, 60 secs
lola: 7831586 markings, 13469085 edges, 106350 markings/sec, 65 secs
lola: 8091577 markings, 14558234 edges, 51998 markings/sec, 70 secs
lola: 8694216 markings, 15528687 edges, 120528 markings/sec, 75 secs
lola: 9241226 markings, 16388861 edges, 109402 markings/sec, 80 secs
lola: 9849781 markings, 17348656 edges, 121711 markings/sec, 85 secs
lola: 10443720 markings, 18314293 edges, 118788 markings/sec, 90 secs
lola: 11023184 markings, 19179664 edges, 115893 markings/sec, 95 secs
lola: 11366489 markings, 20334208 edges, 68661 markings/sec, 100 secs
lola: 11912300 markings, 21204301 edges, 109162 markings/sec, 105 secs
lola: 12460382 markings, 22072141 edges, 109616 markings/sec, 110 secs
lola: 12896938 markings, 23003505 edges, 87311 markings/sec, 115 secs
lola: 13367225 markings, 24085041 edges, 94057 markings/sec, 120 secs
lola: 13960595 markings, 25053273 edges, 118674 markings/sec, 125 secs
lola: 14485716 markings, 25894432 edges, 105024 markings/sec, 130 secs
lola: 15056031 markings, 26814992 edges, 114063 markings/sec, 135 secs
lola: 15617283 markings, 27723776 edges, 112250 markings/sec, 140 secs
lola: 16201004 markings, 28683263 edges, 116744 markings/sec, 145 secs
lola: 16802968 markings, 29662054 edges, 120393 markings/sec, 150 secs
lola: 17419838 markings, 30689445 edges, 123374 markings/sec, 155 secs
lola: 18056259 markings, 31714920 edges, 127284 markings/sec, 160 secs
lola: 18673195 markings, 32682633 edges, 123387 markings/sec, 165 secs
lola: 19102569 markings, 33840379 edges, 85875 markings/sec, 170 secs
lola: 19591394 markings, 34787435 edges, 97765 markings/sec, 175 secs
lola: 20067460 markings, 35635501 edges, 95213 markings/sec, 180 secs
lola: 20528587 markings, 36352203 edges, 92225 markings/sec, 185 secs
lola: 20759010 markings, 37299549 edges, 46085 markings/sec, 190 secs
lola: 21331132 markings, 38319247 edges, 114424 markings/sec, 195 secs
lola: 21916873 markings, 39235823 edges, 117148 markings/sec, 200 secs
lola: 22347248 markings, 40289151 edges, 86075 markings/sec, 205 secs
lola: 22841218 markings, 41372394 edges, 98794 markings/sec, 210 secs
lola: 23366265 markings, 42281367 edges, 105009 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(pb_d3_n2_3_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 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: 896140 markings, 909849 edges, 179228 markings/sec, 0 secs
lola: 1748826 markings, 1800492 edges, 170537 markings/sec, 5 secs
lola: 2598723 markings, 2685700 edges, 169979 markings/sec, 10 secs
lola: 3480684 markings, 3597406 edges, 176392 markings/sec, 15 secs
lola: 4353975 markings, 4505074 edges, 174658 markings/sec, 20 secs
lola: 5212421 markings, 5394996 edges, 171689 markings/sec, 25 secs
lola: 6037904 markings, 6254409 edges, 165097 markings/sec, 30 secs
lola: 6859881 markings, 7111621 edges, 164395 markings/sec, 35 secs
lola: 7687474 markings, 7985811 edges, 165519 markings/sec, 40 secs
lola: 8546761 markings, 8876967 edges, 171857 markings/sec, 45 secs
lola: 9370707 markings, 9732386 edges, 164789 markings/sec, 50 secs
lola: 10153115 markings, 10549667 edges, 156482 markings/sec, 55 secs
lola: 10952932 markings, 11384417 edges, 159963 markings/sec, 60 secs
lola: 11722068 markings, 12188062 edges, 153827 markings/sec, 65 secs
lola: 12468668 markings, 12969021 edges, 149320 markings/sec, 70 secs
lola: 13214569 markings, 13749279 edges, 149180 markings/sec, 75 secs
lola: 13999853 markings, 14569970 edges, 157057 markings/sec, 80 secs
lola: 14779555 markings, 15385570 edges, 155940 markings/sec, 85 secs
lola: 15598358 markings, 16241394 edges, 163761 markings/sec, 90 secs
lola: 16450106 markings, 17131244 edges, 170350 markings/sec, 95 secs
lola: 17278511 markings, 17993415 edges, 165681 markings/sec, 100 secs
lola: 18113296 markings, 18861855 edges, 166957 markings/sec, 105 secs
lola: 18959874 markings, 19746692 edges, 169316 markings/sec, 110 secs
lola: 19781901 markings, 20623004 edges, 164405 markings/sec, 115 secs
lola: 20616411 markings, 21493254 edges, 166902 markings/sec, 120 secs
lola: 21384504 markings, 22295442 edges, 153619 markings/sec, 125 secs
lola: 22105736 markings, 23051050 edges, 144246 markings/sec, 130 secs
lola: 22803791 markings, 23783357 edges, 139611 markings/sec, 135 secs
lola: 23578856 markings, 24592939 edges, 155013 markings/sec, 140 secs
lola: 24310026 markings, 25341667 edges, 146234 markings/sec, 145 secs
lola: 25086049 markings, 26136986 edges, 155205 markings/sec, 150 secs
lola: 25829548 markings, 26899566 edges, 148700 markings/sec, 155 secs
lola: 26560223 markings, 27649821 edges, 146135 markings/sec, 160 secs
lola: 27305946 markings, 28415890 edges, 149145 markings/sec, 165 secs
lola: 28042215 markings, 29175289 edges, 147254 markings/sec, 170 secs
lola: 28781670 markings, 29938232 edges, 147891 markings/sec, 175 secs
lola: 29471267 markings, 30648477 edges, 137919 markings/sec, 180 secs
lola: 30202272 markings, 31403628 edges, 146201 markings/sec, 185 secs
lola: 30927399 markings, 32152431 edges, 145025 markings/sec, 190 secs
lola: 31658505 markings, 32906978 edges, 146221 markings/sec, 195 secs
lola: 32363431 markings, 33635837 edges, 140985 markings/sec, 200 secs
lola: 33085675 markings, 34382629 edges, 144449 markings/sec, 205 secs
lola: 33783280 markings, 35104761 edges, 139521 markings/sec, 210 secs
lola: 34465487 markings, 35812673 edges, 136441 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(pi_d3_n1_3_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 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: 979124 markings, 993600 edges, 195825 markings/sec, 0 secs
lola: 1899686 markings, 1949264 edges, 184112 markings/sec, 5 secs
lola: 2778637 markings, 2880955 edges, 175790 markings/sec, 10 secs
lola: 3739246 markings, 3866712 edges, 192122 markings/sec, 15 secs
lola: 4660559 markings, 4833051 edges, 184263 markings/sec, 20 secs
lola: 5498626 markings, 5728505 edges, 167613 markings/sec, 25 secs
lola: 6397649 markings, 6644186 edges, 179805 markings/sec, 30 secs
lola: 7209033 markings, 7505396 edges, 162277 markings/sec, 35 secs
lola: 8019648 markings, 8349305 edges, 162123 markings/sec, 40 secs
lola: 8839851 markings, 9202927 edges, 164041 markings/sec, 45 secs
lola: 9614714 markings, 9990941 edges, 154973 markings/sec, 50 secs
lola: 10362941 markings, 10772487 edges, 149645 markings/sec, 55 secs
lola: 11153788 markings, 11594854 edges, 158169 markings/sec, 60 secs
lola: 11928794 markings, 12402066 edges, 155001 markings/sec, 65 secs
lola: 12665634 markings, 13168080 edges, 147368 markings/sec, 70 secs
lola: 13436830 markings, 13970927 edges, 154239 markings/sec, 75 secs
lola: 14226204 markings, 14794350 edges, 157875 markings/sec, 80 secs
lola: 15085097 markings, 15684355 edges, 171779 markings/sec, 85 secs
lola: 16017933 markings, 16651827 edges, 186567 markings/sec, 90 secs
lola: 16879150 markings, 17550058 edges, 172243 markings/sec, 95 secs
lola: 17644425 markings, 18349393 edges, 153055 markings/sec, 100 secs
lola: 18439132 markings, 19184412 edges, 158941 markings/sec, 105 secs
lola: 19191021 markings, 19977385 edges, 150378 markings/sec, 110 secs
lola: 20087662 markings, 20909542 edges, 179328 markings/sec, 115 secs
lola: 21005874 markings, 21862632 edges, 183642 markings/sec, 120 secs
lola: 21864629 markings, 22772920 edges, 171751 markings/sec, 125 secs
lola: 22662851 markings, 23585679 edges, 159644 markings/sec, 130 secs
lola: 23400953 markings, 24354569 edges, 147620 markings/sec, 135 secs
lola: 24215161 markings, 25219123 edges, 162842 markings/sec, 140 secs
lola: 25058329 markings, 26094603 edges, 168634 markings/sec, 145 secs
lola: 25871978 markings, 26940766 edges, 162730 markings/sec, 150 secs
lola: 26654361 markings, 27754393 edges, 156477 markings/sec, 155 secs
lola: 27406571 markings, 28538030 edges, 150442 markings/sec, 160 secs
lola: 28181413 markings, 29345256 edges, 154968 markings/sec, 165 secs
lola: 28969485 markings, 30164309 edges, 157614 markings/sec, 170 secs
lola: 29789008 markings, 31016311 edges, 163905 markings/sec, 175 secs
lola: 30609212 markings, 31871368 edges, 164041 markings/sec, 180 secs
lola: 31498131 markings, 32792224 edges, 177784 markings/sec, 185 secs
lola: 32385756 markings, 33716513 edges, 177525 markings/sec, 190 secs
lola: 33278447 markings, 34660012 edges, 178538 markings/sec, 195 secs
lola: 34140761 markings, 35554518 edges, 172463 markings/sec, 200 secs
lola: 34893206 markings, 36337984 edges, 150489 markings/sec, 205 secs
lola: 35647685 markings, 37123849 edges, 150896 markings/sec, 210 secs
lola: 36361931 markings, 37868534 edges, 142849 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb_d3_n2_2_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 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: 498482 markings, 746987 edges, 99696 markings/sec, 0 secs
lola: 937434 markings, 1499892 edges, 87790 markings/sec, 5 secs
lola: 1396011 markings, 2212439 edges, 91715 markings/sec, 10 secs
lola: 1791495 markings, 2787360 edges, 79097 markings/sec, 15 secs
lola: 2146079 markings, 3316005 edges, 70917 markings/sec, 20 secs
lola: 2541293 markings, 3930550 edges, 79043 markings/sec, 25 secs
lola: 2716141 markings, 4782150 edges, 34970 markings/sec, 30 secs
lola: 2931404 markings, 5784589 edges, 43053 markings/sec, 35 secs
lola: 3389597 markings, 6561030 edges, 91639 markings/sec, 40 secs
lola: 3813522 markings, 7270753 edges, 84785 markings/sec, 45 secs
lola: 4249865 markings, 7885356 edges, 87269 markings/sec, 50 secs
lola: 4663018 markings, 8490372 edges, 82631 markings/sec, 55 secs
lola: 5042109 markings, 9073934 edges, 75818 markings/sec, 60 secs
lola: 5277383 markings, 10001154 edges, 47055 markings/sec, 65 secs
lola: 5482488 markings, 11003237 edges, 41021 markings/sec, 70 secs
lola: 5933110 markings, 11731233 edges, 90124 markings/sec, 75 secs
lola: 6365564 markings, 12441289 edges, 86491 markings/sec, 80 secs
lola: 6780010 markings, 13075179 edges, 82889 markings/sec, 85 secs
lola: 7102001 markings, 13897487 edges, 64398 markings/sec, 90 secs
lola: 7439278 markings, 14877250 edges, 67455 markings/sec, 95 secs
lola: 7900531 markings, 15628256 edges, 92251 markings/sec, 100 secs
lola: 8327049 markings, 16300930 edges, 85304 markings/sec, 105 secs
lola: 8653972 markings, 16810665 edges, 65385 markings/sec, 110 secs
lola: 8919598 markings, 17495439 edges, 53125 markings/sec, 115 secs
lola: 9129072 markings, 18329829 edges, 41895 markings/sec, 120 secs
lola: 9507680 markings, 18963009 edges, 75722 markings/sec, 125 secs
lola: 9916879 markings, 19652468 edges, 81840 markings/sec, 130 secs
lola: 10249534 markings, 20161797 edges, 66531 markings/sec, 135 secs
lola: 10591501 markings, 20632764 edges, 68393 markings/sec, 140 secs
lola: 10932714 markings, 21142832 edges, 68243 markings/sec, 145 secs
lola: 11306845 markings, 21726787 edges, 74826 markings/sec, 150 secs
lola: 11477865 markings, 22490332 edges, 34204 markings/sec, 155 secs
lola: 11485055 markings, 23233023 edges, 1438 markings/sec, 160 secs
lola: 11872515 markings, 23880356 edges, 77492 markings/sec, 165 secs
lola: 12243006 markings, 24498143 edges, 74098 markings/sec, 170 secs
lola: 12606668 markings, 25068766 edges, 72732 markings/sec, 175 secs
lola: 12980249 markings, 25585129 edges, 74716 markings/sec, 180 secs
lola: 13266091 markings, 26014508 edges, 57168 markings/sec, 185 secs
lola: 13601215 markings, 26531027 edges, 67025 markings/sec, 190 secs
lola: 13834036 markings, 27243439 edges, 46564 markings/sec, 195 secs
lola: 13844942 markings, 28112806 edges, 2181 markings/sec, 200 secs
lola: 14257903 markings, 28831631 edges, 82592 markings/sec, 205 secs
lola: 14721866 markings, 29628953 edges, 92793 markings/sec, 210 secs
lola: 15095125 markings, 30196548 edges, 74652 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(pb_d2_n1_1_3_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1292 bytes per marking, with 0 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: 510267 markings, 754279 edges, 102053 markings/sec, 0 secs
lola: 957867 markings, 1492822 edges, 89520 markings/sec, 5 secs
lola: 1407737 markings, 2241849 edges, 89974 markings/sec, 10 secs
lola: 1897772 markings, 2944607 edges, 98007 markings/sec, 15 secs
lola: 2342159 markings, 3614801 edges, 88877 markings/sec, 20 secs
lola: 2753797 markings, 4278788 edges, 82328 markings/sec, 25 secs
lola: 3073994 markings, 5014187 edges, 64039 markings/sec, 30 secs
lola: 3144304 markings, 6099025 edges, 14062 markings/sec, 35 secs
lola: 3574412 markings, 6818371 edges, 86022 markings/sec, 40 secs
lola: 4005496 markings, 7516340 edges, 86217 markings/sec, 45 secs
lola: 4420184 markings, 8199713 edges, 82938 markings/sec, 50 secs
lola: 4857303 markings, 8817628 edges, 87424 markings/sec, 55 secs
lola: 5254340 markings, 9417926 edges, 79407 markings/sec, 60 secs
lola: 5636884 markings, 10029434 edges, 76509 markings/sec, 65 secs
lola: 5985830 markings, 10673378 edges, 69789 markings/sec, 70 secs
lola: 6019376 markings, 11820231 edges, 6709 markings/sec, 75 secs
lola: 6396545 markings, 12446363 edges, 75434 markings/sec, 80 secs
lola: 6755703 markings, 13030514 edges, 71832 markings/sec, 85 secs
lola: 7154817 markings, 13711001 edges, 79823 markings/sec, 90 secs
lola: 7615974 markings, 14389708 edges, 92231 markings/sec, 95 secs
lola: 7988711 markings, 14934484 edges, 74547 markings/sec, 100 secs
lola: 8331186 markings, 15481612 edges, 68495 markings/sec, 105 secs
lola: 8650933 markings, 16006113 edges, 63949 markings/sec, 110 secs
lola: 8863664 markings, 16618345 edges, 42546 markings/sec, 115 secs
lola: 8882446 markings, 17345293 edges, 3756 markings/sec, 120 secs
lola: 9114197 markings, 17943169 edges, 46350 markings/sec, 125 secs
lola: 9493493 markings, 18549496 edges, 75859 markings/sec, 130 secs
lola: 9861472 markings, 19187901 edges, 73596 markings/sec, 135 secs
lola: 10312351 markings, 19871970 edges, 90176 markings/sec, 140 secs
lola: 10645035 markings, 20340215 edges, 66537 markings/sec, 145 secs
lola: 10962175 markings, 20828365 edges, 63428 markings/sec, 150 secs
lola: 11341840 markings, 21438447 edges, 75933 markings/sec, 155 secs
lola: 11636740 markings, 21968736 edges, 58980 markings/sec, 160 secs
lola: 11682041 markings, 22968155 edges, 9060 markings/sec, 165 secs
lola: 11972154 markings, 23650370 edges, 58023 markings/sec, 170 secs
lola: 12382631 markings, 24324478 edges, 82095 markings/sec, 175 secs
lola: 12872639 markings, 25117512 edges, 98002 markings/sec, 180 secs
lola: 13296746 markings, 25734983 edges, 84821 markings/sec, 185 secs
lola: 13706480 markings, 26357700 edges, 81947 markings/sec, 190 secs
lola: 14123804 markings, 27030834 edges, 83465 markings/sec, 195 secs
lola: 14405580 markings, 27836833 edges, 56355 markings/sec, 200 secs
lola: 14557086 markings, 28936507 edges, 30301 markings/sec, 205 secs
lola: 15062927 markings, 29750179 edges, 101168 markings/sec, 210 secs
lola: 15577072 markings, 30580553 edges, 102829 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA HypertorusGrid-PT-d3k3p2b06-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494619454529
--------------------
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="HypertorusGrid-PT-d3k3p2b06"
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/HypertorusGrid-PT-d3k3p2b06.tgz
mv HypertorusGrid-PT-d3k3p2b06 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is HypertorusGrid-PT-d3k3p2b06, 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 r038-blw7-149440484500038"
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 ;