About the Execution of LoLA for TriangularGrid-PT-4022
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3617.480 | 3540206.00 | 3555228.00 | 652.70 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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 TriangularGrid-PT-4022, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r078-ebro-149441008600344
=====================================================================
--------------------
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 TriangularGrid-PT-4022-UpperBounds-0
FORMULA_NAME TriangularGrid-PT-4022-UpperBounds-1
FORMULA_NAME TriangularGrid-PT-4022-UpperBounds-10
FORMULA_NAME TriangularGrid-PT-4022-UpperBounds-11
FORMULA_NAME TriangularGrid-PT-4022-UpperBounds-12
FORMULA_NAME TriangularGrid-PT-4022-UpperBounds-13
FORMULA_NAME TriangularGrid-PT-4022-UpperBounds-14
FORMULA_NAME TriangularGrid-PT-4022-UpperBounds-15
FORMULA_NAME TriangularGrid-PT-4022-UpperBounds-2
FORMULA_NAME TriangularGrid-PT-4022-UpperBounds-3
FORMULA_NAME TriangularGrid-PT-4022-UpperBounds-4
FORMULA_NAME TriangularGrid-PT-4022-UpperBounds-5
FORMULA_NAME TriangularGrid-PT-4022-UpperBounds-6
FORMULA_NAME TriangularGrid-PT-4022-UpperBounds-7
FORMULA_NAME TriangularGrid-PT-4022-UpperBounds-8
FORMULA_NAME TriangularGrid-PT-4022-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494945994262
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ TriangularGrid-PT-4022 @ 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: 340/65536 symbol table entries, 1 collisions
lola: preprocessing...
lola: finding significant places
lola: 184 places, 156 transitions, 107 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 232 transition conflict sets
lola: TASK
lola: reading formula from TriangularGrid-PT-4022-UpperBounds.task
lola: MAX(pi1_2_1) : MAX(pol1_1_1) : MAX(pbl_1_1) : MAX(po1_3_1) : MAX(pb2_4_7) : MAX(pi1_4_5) : MAX(pol1_1_1) : MAX(pb2_2_2) : MAX(pbl_4_3) : MAX(pol3_2_1) : MAX(pb2_1_1) : MAX(pb3_2_1) : MAX(pi2_2_3) : MAX(pbl_4_6) : MAX(pil2_4_7) : MAX(pb3_1_1)
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(pi1_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 428 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: 575865 markings, 1291858 edges, 115173 markings/sec, 0 secs
lola: 1041598 markings, 2568633 edges, 93147 markings/sec, 5 secs
lola: 1634067 markings, 3740984 edges, 118494 markings/sec, 10 secs
lola: 1986855 markings, 5120951 edges, 70558 markings/sec, 15 secs
lola: 2476179 markings, 6276459 edges, 97865 markings/sec, 20 secs
lola: 3049912 markings, 7377016 edges, 114747 markings/sec, 25 secs
lola: 3607888 markings, 8489233 edges, 111595 markings/sec, 30 secs
lola: 4159624 markings, 9624970 edges, 110347 markings/sec, 35 secs
lola: 4664300 markings, 10889282 edges, 100935 markings/sec, 40 secs
lola: 5169870 markings, 12255660 edges, 101114 markings/sec, 45 secs
lola: 5652512 markings, 13616445 edges, 96528 markings/sec, 50 secs
lola: 5895581 markings, 14985452 edges, 48614 markings/sec, 55 secs
lola: 5968348 markings, 16295608 edges, 14553 markings/sec, 60 secs
lola: 6493654 markings, 17553954 edges, 105061 markings/sec, 65 secs
lola: 7049905 markings, 18612356 edges, 111250 markings/sec, 70 secs
lola: 7587081 markings, 19618631 edges, 107435 markings/sec, 75 secs
lola: 8119610 markings, 20632781 edges, 106506 markings/sec, 80 secs
lola: 8646071 markings, 21654862 edges, 105292 markings/sec, 85 secs
lola: 9165304 markings, 22677622 edges, 103847 markings/sec, 90 secs
lola: 9684354 markings, 23705845 edges, 103810 markings/sec, 95 secs
lola: 10199779 markings, 24752151 edges, 103085 markings/sec, 100 secs
lola: 10713068 markings, 25806557 edges, 102658 markings/sec, 105 secs
lola: 11225928 markings, 26895384 edges, 102572 markings/sec, 110 secs
lola: 11725738 markings, 28050632 edges, 99962 markings/sec, 115 secs
lola: 12215742 markings, 29340499 edges, 98001 markings/sec, 120 secs
lola: 12764716 markings, 30536353 edges, 109795 markings/sec, 125 secs
lola: 13165956 markings, 31817617 edges, 80248 markings/sec, 130 secs
lola: 13567708 markings, 33093250 edges, 80350 markings/sec, 135 secs
lola: 13771549 markings, 34418970 edges, 40768 markings/sec, 140 secs
lola: 13787892 markings, 35611979 edges, 3269 markings/sec, 145 secs
lola: 13804999 markings, 36793215 edges, 3421 markings/sec, 150 secs
lola: 14115668 markings, 37971007 edges, 62134 markings/sec, 155 secs
lola: 14545339 markings, 39152876 edges, 85934 markings/sec, 160 secs
lola: 15071181 markings, 40256098 edges, 105168 markings/sec, 165 secs
lola: 15591440 markings, 41201723 edges, 104052 markings/sec, 170 secs
lola: 16111038 markings, 42172742 edges, 103920 markings/sec, 175 secs
lola: 16625772 markings, 43140203 edges, 102947 markings/sec, 180 secs
lola: 17132965 markings, 44101293 edges, 101439 markings/sec, 185 secs
lola: 17647825 markings, 45095877 edges, 102972 markings/sec, 190 secs
lola: 18165012 markings, 46099527 edges, 103437 markings/sec, 195 secs
lola: 18675602 markings, 47096045 edges, 102118 markings/sec, 200 secs
lola: 19181254 markings, 48082049 edges, 101130 markings/sec, 205 secs
lola: 19683905 markings, 49078578 edges, 100530 markings/sec, 210 secs
lola: 20187386 markings, 50083443 edges, 100696 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(pol1_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 428 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: 413167 markings, 1124428 edges, 82633 markings/sec, 0 secs
lola: 727514 markings, 2270322 edges, 62869 markings/sec, 5 secs
lola: 1033311 markings, 3371469 edges, 61159 markings/sec, 10 secs
lola: 1407909 markings, 4470350 edges, 74920 markings/sec, 15 secs
lola: 1807715 markings, 5558964 edges, 79961 markings/sec, 20 secs
lola: 2195389 markings, 6643883 edges, 77535 markings/sec, 25 secs
lola: 2581764 markings, 7719318 edges, 77275 markings/sec, 30 secs
lola: 2920876 markings, 8777727 edges, 67822 markings/sec, 35 secs
lola: 3211034 markings, 9716792 edges, 58032 markings/sec, 40 secs
lola: 3651538 markings, 10668405 edges, 88101 markings/sec, 45 secs
lola: 4135697 markings, 11454524 edges, 96832 markings/sec, 50 secs
lola: 4584993 markings, 12257536 edges, 89859 markings/sec, 55 secs
lola: 4836080 markings, 13286432 edges, 50217 markings/sec, 60 secs
lola: 5115491 markings, 14184922 edges, 55882 markings/sec, 65 secs
lola: 5303142 markings, 15223601 edges, 37530 markings/sec, 70 secs
lola: 5586531 markings, 16147790 edges, 56678 markings/sec, 75 secs
lola: 5812719 markings, 17153202 edges, 45238 markings/sec, 80 secs
lola: 6277560 markings, 18049859 edges, 92968 markings/sec, 85 secs
lola: 6747384 markings, 18828100 edges, 93965 markings/sec, 90 secs
lola: 7198256 markings, 19647257 edges, 90174 markings/sec, 95 secs
lola: 7457862 markings, 20638805 edges, 51921 markings/sec, 100 secs
lola: 7749158 markings, 21515879 edges, 58259 markings/sec, 105 secs
lola: 8056565 markings, 22338261 edges, 61481 markings/sec, 110 secs
lola: 8256949 markings, 23231226 edges, 40077 markings/sec, 115 secs
lola: 8636446 markings, 23914671 edges, 75899 markings/sec, 120 secs
lola: 8982976 markings, 24614676 edges, 69306 markings/sec, 125 secs
lola: 9315244 markings, 25323027 edges, 66454 markings/sec, 130 secs
lola: 9631555 markings, 26058310 edges, 63262 markings/sec, 135 secs
lola: 9944915 markings, 26860524 edges, 62672 markings/sec, 140 secs
lola: 10258357 markings, 27573978 edges, 62688 markings/sec, 145 secs
lola: 10431500 markings, 28328870 edges, 34629 markings/sec, 150 secs
lola: 10454047 markings, 29249342 edges, 4509 markings/sec, 155 secs
lola: 10458244 markings, 30117337 edges, 839 markings/sec, 160 secs
lola: 10859355 markings, 31000279 edges, 80222 markings/sec, 165 secs
lola: 11305327 markings, 31789592 edges, 89194 markings/sec, 170 secs
lola: 11745795 markings, 32558447 edges, 88094 markings/sec, 175 secs
lola: 12068994 markings, 33502646 edges, 64640 markings/sec, 180 secs
lola: 12498315 markings, 34269519 edges, 85864 markings/sec, 185 secs
lola: 12925188 markings, 34997148 edges, 85375 markings/sec, 190 secs
lola: 13351122 markings, 35766785 edges, 85187 markings/sec, 195 secs
lola: 13622333 markings, 36633867 edges, 54242 markings/sec, 200 secs
lola: 14063338 markings, 37332077 edges, 88201 markings/sec, 205 secs
lola: 14491343 markings, 38026687 edges, 85601 markings/sec, 210 secs
lola: 14912323 markings, 38721900 edges, 84196 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(pbl_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 428 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: 450472 markings, 1049114 edges, 90094 markings/sec, 0 secs
lola: 865801 markings, 2231072 edges, 83066 markings/sec, 5 secs
lola: 1413327 markings, 3192733 edges, 109505 markings/sec, 10 secs
lola: 1942112 markings, 4139417 edges, 105757 markings/sec, 15 secs
lola: 2204449 markings, 5316749 edges, 52467 markings/sec, 20 secs
lola: 2519268 markings, 6329215 edges, 62964 markings/sec, 25 secs
lola: 2743150 markings, 7483624 edges, 44776 markings/sec, 30 secs
lola: 3033049 markings, 8605883 edges, 57980 markings/sec, 35 secs
lola: 3502447 markings, 9707917 edges, 93880 markings/sec, 40 secs
lola: 4053858 markings, 10617131 edges, 110282 markings/sec, 45 secs
lola: 4541373 markings, 11597746 edges, 97503 markings/sec, 50 secs
lola: 4798029 markings, 12744736 edges, 51331 markings/sec, 55 secs
lola: 5049000 markings, 13833222 edges, 50194 markings/sec, 60 secs
lola: 5342635 markings, 14936210 edges, 58727 markings/sec, 65 secs
lola: 5589074 markings, 16074714 edges, 49288 markings/sec, 70 secs
lola: 6117078 markings, 17073608 edges, 105601 markings/sec, 75 secs
lola: 6654655 markings, 17974503 edges, 107515 markings/sec, 80 secs
lola: 7064358 markings, 19019267 edges, 81941 markings/sec, 85 secs
lola: 7360902 markings, 20091489 edges, 59309 markings/sec, 90 secs
lola: 7584579 markings, 21207812 edges, 44735 markings/sec, 95 secs
lola: 7898755 markings, 22267398 edges, 62835 markings/sec, 100 secs
lola: 8187712 markings, 23423979 edges, 57791 markings/sec, 105 secs
lola: 8727912 markings, 24436727 edges, 108040 markings/sec, 110 secs
lola: 9277835 markings, 25370960 edges, 109985 markings/sec, 115 secs
lola: 9651289 markings, 26519051 edges, 74691 markings/sec, 120 secs
lola: 9964124 markings, 27573378 edges, 62567 markings/sec, 125 secs
lola: 10184573 markings, 28733968 edges, 44090 markings/sec, 130 secs
lola: 10506788 markings, 29771386 edges, 64443 markings/sec, 135 secs
lola: 10837728 markings, 30921219 edges, 66188 markings/sec, 140 secs
lola: 11382542 markings, 31874584 edges, 108963 markings/sec, 145 secs
lola: 11907905 markings, 32790247 edges, 105073 markings/sec, 150 secs
lola: 12220774 markings, 33937956 edges, 62574 markings/sec, 155 secs
lola: 12533414 markings, 34958621 edges, 62528 markings/sec, 160 secs
lola: 12758775 markings, 36123996 edges, 45072 markings/sec, 165 secs
lola: 13076162 markings, 37169742 edges, 63477 markings/sec, 170 secs
lola: 13448916 markings, 38288143 edges, 74551 markings/sec, 175 secs
lola: 13974737 markings, 39211740 edges, 105164 markings/sec, 180 secs
lola: 14484423 markings, 40115640 edges, 101937 markings/sec, 185 secs
lola: 14796092 markings, 41208001 edges, 62334 markings/sec, 190 secs
lola: 15127344 markings, 42170367 edges, 66250 markings/sec, 195 secs
lola: 15479252 markings, 43073570 edges, 70382 markings/sec, 200 secs
lola: 15736910 markings, 44039868 edges, 51532 markings/sec, 205 secs
lola: 16147819 markings, 44816564 edges, 82182 markings/sec, 210 secs
lola: 16535629 markings, 45617981 edges, 77562 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(po1_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 428 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: 526230 markings, 1064453 edges, 105246 markings/sec, 0 secs
lola: 1019034 markings, 2117883 edges, 98561 markings/sec, 5 secs
lola: 1507358 markings, 3188703 edges, 97665 markings/sec, 10 secs
lola: 1977471 markings, 4292504 edges, 94023 markings/sec, 15 secs
lola: 2429292 markings, 5391054 edges, 90364 markings/sec, 20 secs
lola: 2932486 markings, 6411938 edges, 100639 markings/sec, 25 secs
lola: 3355563 markings, 7485731 edges, 84615 markings/sec, 30 secs
lola: 3799234 markings, 8536531 edges, 88734 markings/sec, 35 secs
lola: 4273436 markings, 9487862 edges, 94840 markings/sec, 40 secs
lola: 4758963 markings, 10381146 edges, 97105 markings/sec, 45 secs
lola: 5235809 markings, 11270788 edges, 95369 markings/sec, 50 secs
lola: 5708169 markings, 12159493 edges, 94472 markings/sec, 55 secs
lola: 6173795 markings, 13051520 edges, 93125 markings/sec, 60 secs
lola: 6635815 markings, 13947004 edges, 92404 markings/sec, 65 secs
lola: 7096349 markings, 14841317 edges, 92107 markings/sec, 70 secs
lola: 7552328 markings, 15741865 edges, 91196 markings/sec, 75 secs
lola: 8003548 markings, 16640630 edges, 90244 markings/sec, 80 secs
lola: 8455427 markings, 17545410 edges, 90376 markings/sec, 85 secs
lola: 8905718 markings, 18454834 edges, 90058 markings/sec, 90 secs
lola: 9350634 markings, 19380442 edges, 88983 markings/sec, 95 secs
lola: 9796819 markings, 20306916 edges, 89237 markings/sec, 100 secs
lola: 10234588 markings, 21266326 edges, 87554 markings/sec, 105 secs
lola: 10669102 markings, 22209432 edges, 86903 markings/sec, 110 secs
lola: 11098257 markings, 23205927 edges, 85831 markings/sec, 115 secs
lola: 11536397 markings, 24194527 edges, 87628 markings/sec, 120 secs
lola: 11992238 markings, 25208044 edges, 91168 markings/sec, 125 secs
lola: 12405575 markings, 26166004 edges, 82667 markings/sec, 130 secs
lola: 12831473 markings, 27092382 edges, 85180 markings/sec, 135 secs
lola: 13272870 markings, 28053182 edges, 88279 markings/sec, 140 secs
lola: 13707788 markings, 28996428 edges, 86984 markings/sec, 145 secs
lola: 14125520 markings, 29946230 edges, 83546 markings/sec, 150 secs
lola: 14500965 markings, 31086925 edges, 75089 markings/sec, 155 secs
lola: 14926064 markings, 32121504 edges, 85020 markings/sec, 160 secs
lola: 15115585 markings, 33407552 edges, 37904 markings/sec, 165 secs
lola: 15517163 markings, 34369793 edges, 80316 markings/sec, 170 secs
lola: 15921770 markings, 35360952 edges, 80921 markings/sec, 175 secs
lola: 16262259 markings, 36450540 edges, 68098 markings/sec, 180 secs
lola: 16634769 markings, 37551881 edges, 74502 markings/sec, 185 secs
lola: 17044642 markings, 38588703 edges, 81975 markings/sec, 190 secs
lola: 17168552 markings, 39853963 edges, 24782 markings/sec, 195 secs
lola: 17180292 markings, 41159741 edges, 2348 markings/sec, 200 secs
lola: 17433214 markings, 42317790 edges, 50584 markings/sec, 205 secs
lola: 17831539 markings, 43389062 edges, 79665 markings/sec, 210 secs
lola: 18250510 markings, 44494353 edges, 83794 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(pb2_4_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 428 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: 663426 markings, 982434 edges, 132685 markings/sec, 0 secs
lola: 1270807 markings, 1925367 edges, 121476 markings/sec, 5 secs
lola: 1899088 markings, 2823306 edges, 125656 markings/sec, 10 secs
lola: 2116758 markings, 4085748 edges, 43534 markings/sec, 15 secs
lola: 2707346 markings, 5027943 edges, 118118 markings/sec, 20 secs
lola: 3240749 markings, 6083114 edges, 106681 markings/sec, 25 secs
lola: 3872711 markings, 6954699 edges, 126392 markings/sec, 30 secs
lola: 4480798 markings, 7813319 edges, 121617 markings/sec, 35 secs
lola: 5084180 markings, 8645027 edges, 120676 markings/sec, 40 secs
lola: 5666130 markings, 9458974 edges, 116390 markings/sec, 45 secs
lola: 6234248 markings, 10263745 edges, 113624 markings/sec, 50 secs
lola: 6795539 markings, 11059952 edges, 112258 markings/sec, 55 secs
lola: 7355970 markings, 11867636 edges, 112086 markings/sec, 60 secs
lola: 7914495 markings, 12690856 edges, 111705 markings/sec, 65 secs
lola: 8464846 markings, 13513759 edges, 110070 markings/sec, 70 secs
lola: 9001678 markings, 14330379 edges, 107366 markings/sec, 75 secs
lola: 9527238 markings, 15148793 edges, 105112 markings/sec, 80 secs
lola: 10041935 markings, 15966809 edges, 102939 markings/sec, 85 secs
lola: 10539098 markings, 16796042 edges, 99433 markings/sec, 90 secs
lola: 11012908 markings, 17640757 edges, 94762 markings/sec, 95 secs
lola: 11458225 markings, 18527327 edges, 89063 markings/sec, 100 secs
lola: 11955995 markings, 19441144 edges, 99554 markings/sec, 105 secs
lola: 12582631 markings, 20369778 edges, 125327 markings/sec, 110 secs
lola: 13207077 markings, 21213883 edges, 124889 markings/sec, 115 secs
lola: 13814706 markings, 22048240 edges, 121526 markings/sec, 120 secs
lola: 14412541 markings, 22886177 edges, 119567 markings/sec, 125 secs
lola: 15004010 markings, 23720638 edges, 118294 markings/sec, 130 secs
lola: 15582148 markings, 24544515 edges, 115628 markings/sec, 135 secs
lola: 16150630 markings, 25363504 edges, 113696 markings/sec, 140 secs
lola: 16709048 markings, 26183840 edges, 111684 markings/sec, 145 secs
lola: 17258736 markings, 27006271 edges, 109938 markings/sec, 150 secs
lola: 17796477 markings, 27827250 edges, 107548 markings/sec, 155 secs
lola: 18326048 markings, 28645426 edges, 105914 markings/sec, 160 secs
lola: 18841944 markings, 29464324 edges, 103179 markings/sec, 165 secs
lola: 19337817 markings, 30288661 edges, 99175 markings/sec, 170 secs
lola: 19816608 markings, 31135268 edges, 95758 markings/sec, 175 secs
lola: 20257138 markings, 32014573 edges, 88106 markings/sec, 180 secs
lola: 20689314 markings, 32952841 edges, 86435 markings/sec, 185 secs
lola: 20750096 markings, 33954182 edges, 12156 markings/sec, 190 secs
lola: 20771660 markings, 34954381 edges, 4313 markings/sec, 195 secs
lola: 20787941 markings, 35963102 edges, 3256 markings/sec, 200 secs
lola: 20803296 markings, 36998451 edges, 3071 markings/sec, 205 secs
lola: 20821221 markings, 38066724 edges, 3585 markings/sec, 210 secs
lola: 20884542 markings, 39176042 edges, 12664 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(pi1_4_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 428 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: 733670 markings, 1437459 edges, 146734 markings/sec, 0 secs
lola: 1469074 markings, 2765360 edges, 147081 markings/sec, 5 secs
lola: 2237481 markings, 4037193 edges, 153681 markings/sec, 10 secs
lola: 2663442 markings, 5408921 edges, 85192 markings/sec, 15 secs
lola: 3434655 markings, 6617861 edges, 154243 markings/sec, 20 secs
lola: 4139976 markings, 7860779 edges, 141064 markings/sec, 25 secs
lola: 4937612 markings, 9087344 edges, 159527 markings/sec, 30 secs
lola: 5659061 markings, 10260227 edges, 144290 markings/sec, 35 secs
lola: 6133105 markings, 11467461 edges, 94809 markings/sec, 40 secs
lola: 6231165 markings, 12816466 edges, 19612 markings/sec, 45 secs
lola: 6889338 markings, 14009185 edges, 131635 markings/sec, 50 secs
lola: 7632149 markings, 15151676 edges, 148562 markings/sec, 55 secs
lola: 8360180 markings, 16297326 edges, 145606 markings/sec, 60 secs
lola: 9070015 markings, 17448118 edges, 141967 markings/sec, 65 secs
lola: 9761102 markings, 18615386 edges, 138217 markings/sec, 70 secs
lola: 10407553 markings, 19821331 edges, 129290 markings/sec, 75 secs
lola: 11205869 markings, 21026188 edges, 159663 markings/sec, 80 secs
lola: 11954121 markings, 22178314 edges, 149650 markings/sec, 85 secs
lola: 12672750 markings, 23315369 edges, 143726 markings/sec, 90 secs
lola: 13358236 markings, 24431096 edges, 137097 markings/sec, 95 secs
lola: 14020733 markings, 25553978 edges, 132499 markings/sec, 100 secs
lola: 14619793 markings, 26665441 edges, 119812 markings/sec, 105 secs
lola: 15223494 markings, 27941566 edges, 120740 markings/sec, 110 secs
lola: 15835552 markings, 29244621 edges, 122412 markings/sec, 115 secs
lola: 16438435 markings, 30646800 edges, 120577 markings/sec, 120 secs
lola: 16693982 markings, 31877080 edges, 51109 markings/sec, 125 secs
lola: 16760430 markings, 33092620 edges, 13290 markings/sec, 130 secs
lola: 17503012 markings, 34359147 edges, 148516 markings/sec, 135 secs
lola: 18139430 markings, 35633498 edges, 127284 markings/sec, 140 secs
lola: 18752994 markings, 36950565 edges, 122713 markings/sec, 145 secs
lola: 19378594 markings, 38223525 edges, 125120 markings/sec, 150 secs
lola: 19942022 markings, 39542759 edges, 112686 markings/sec, 155 secs
lola: 19971882 markings, 40732322 edges, 5972 markings/sec, 160 secs
lola: 20283584 markings, 41946613 edges, 62340 markings/sec, 165 secs
lola: 20989115 markings, 43180972 edges, 141106 markings/sec, 170 secs
lola: 21724579 markings, 44336484 edges, 147093 markings/sec, 175 secs
lola: 22461189 markings, 45444304 edges, 147322 markings/sec, 180 secs
lola: 23185944 markings, 46549658 edges, 144951 markings/sec, 185 secs
lola: 23895827 markings, 47643791 edges, 141977 markings/sec, 190 secs
lola: 24596175 markings, 48740646 edges, 140070 markings/sec, 195 secs
lola: 25283504 markings, 49826974 edges, 137466 markings/sec, 200 secs
lola: 25957386 markings, 50902679 edges, 134776 markings/sec, 205 secs
lola: 26628761 markings, 51980517 edges, 134275 markings/sec, 210 secs
lola: 27285726 markings, 53058569 edges, 131393 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(pol1_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 428 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: 425804 markings, 1161286 edges, 85161 markings/sec, 0 secs
lola: 758313 markings, 2330725 edges, 66502 markings/sec, 5 secs
lola: 1059706 markings, 3488273 edges, 60279 markings/sec, 10 secs
lola: 1446733 markings, 4639363 edges, 77405 markings/sec, 15 secs
lola: 1871008 markings, 5766308 edges, 84855 markings/sec, 20 secs
lola: 2261612 markings, 6908001 edges, 78121 markings/sec, 25 secs
lola: 2669302 markings, 8051828 edges, 81538 markings/sec, 30 secs
lola: 3053356 markings, 9044626 edges, 76811 markings/sec, 35 secs
lola: 3384744 markings, 10094714 edges, 66278 markings/sec, 40 secs
lola: 3884882 markings, 11037349 edges, 100028 markings/sec, 45 secs
lola: 4391503 markings, 11897055 edges, 101324 markings/sec, 50 secs
lola: 4745305 markings, 12943148 edges, 70760 markings/sec, 55 secs
lola: 5044752 markings, 13958305 edges, 59889 markings/sec, 60 secs
lola: 5261098 markings, 15053410 edges, 43269 markings/sec, 65 secs
lola: 5561979 markings, 16069468 edges, 60176 markings/sec, 70 secs
lola: 5811361 markings, 17150388 edges, 49876 markings/sec, 75 secs
lola: 6312223 markings, 18104594 edges, 100172 markings/sec, 80 secs
lola: 6825581 markings, 18963604 edges, 102672 markings/sec, 85 secs
lola: 7240980 markings, 19947696 edges, 83080 markings/sec, 90 secs
lola: 7585269 markings, 20897042 edges, 68858 markings/sec, 95 secs
lola: 7838939 markings, 21905371 edges, 50734 markings/sec, 100 secs
lola: 8220811 markings, 22727332 edges, 76374 markings/sec, 105 secs
lola: 8486572 markings, 23630389 edges, 53152 markings/sec, 110 secs
lola: 8876309 markings, 24394884 edges, 77947 markings/sec, 115 secs
lola: 9245770 markings, 25172150 edges, 73892 markings/sec, 120 secs
lola: 9596462 markings, 25975775 edges, 70138 markings/sec, 125 secs
lola: 9937042 markings, 26841508 edges, 68116 markings/sec, 130 secs
lola: 10278085 markings, 27618646 edges, 68209 markings/sec, 135 secs
lola: 10445194 markings, 28516236 edges, 33422 markings/sec, 140 secs
lola: 10455614 markings, 29551389 edges, 2084 markings/sec, 145 secs
lola: 10626723 markings, 30546932 edges, 34222 markings/sec, 150 secs
lola: 11103447 markings, 31458005 edges, 95345 markings/sec, 155 secs
lola: 11600079 markings, 32296615 edges, 99326 markings/sec, 160 secs
lola: 11980359 markings, 33287131 edges, 76056 markings/sec, 165 secs
lola: 12432972 markings, 34162547 edges, 90523 markings/sec, 170 secs
lola: 12908710 markings, 34969366 edges, 95148 markings/sec, 175 secs
lola: 13374507 markings, 35804887 edges, 93159 markings/sec, 180 secs
lola: 13696362 markings, 36748756 edges, 64371 markings/sec, 185 secs
lola: 14183959 markings, 37526541 edges, 97519 markings/sec, 190 secs
lola: 14661675 markings, 38306846 edges, 95543 markings/sec, 195 secs
lola: 15136373 markings, 39094888 edges, 94940 markings/sec, 200 secs
lola: 15605627 markings, 39886038 edges, 93851 markings/sec, 205 secs
lola: 16068060 markings, 40670801 edges, 92487 markings/sec, 210 secs
lola: 16532946 markings, 41467531 edges, 92977 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(pb2_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 428 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: 466668 markings, 1021739 edges, 93334 markings/sec, 0 secs
lola: 808554 markings, 2109441 edges, 68377 markings/sec, 5 secs
lola: 1145874 markings, 3138728 edges, 67464 markings/sec, 10 secs
lola: 1574841 markings, 3983242 edges, 85793 markings/sec, 15 secs
lola: 1978162 markings, 4857095 edges, 80664 markings/sec, 20 secs
lola: 2365743 markings, 5757958 edges, 77516 markings/sec, 25 secs
lola: 2631971 markings, 6868464 edges, 53246 markings/sec, 30 secs
lola: 2638970 markings, 8100336 edges, 1400 markings/sec, 35 secs
lola: 3023676 markings, 9054770 edges, 76941 markings/sec, 40 secs
lola: 3447738 markings, 9938932 edges, 84812 markings/sec, 45 secs
lola: 3862672 markings, 10851789 edges, 82987 markings/sec, 50 secs
lola: 4256145 markings, 11782207 edges, 78695 markings/sec, 55 secs
lola: 4389666 markings, 13023634 edges, 26704 markings/sec, 60 secs
lola: 4564488 markings, 14079576 edges, 34964 markings/sec, 65 secs
lola: 4988032 markings, 14833134 edges, 84709 markings/sec, 70 secs
lola: 5400013 markings, 15604208 edges, 82396 markings/sec, 75 secs
lola: 5801638 markings, 16384825 edges, 80325 markings/sec, 80 secs
lola: 6196013 markings, 17177335 edges, 78875 markings/sec, 85 secs
lola: 6590635 markings, 17963122 edges, 78924 markings/sec, 90 secs
lola: 6970139 markings, 18778635 edges, 75901 markings/sec, 95 secs
lola: 7352324 markings, 19571295 edges, 76437 markings/sec, 100 secs
lola: 7732871 markings, 20369442 edges, 76109 markings/sec, 105 secs
lola: 8109391 markings, 21172033 edges, 75304 markings/sec, 110 secs
lola: 8482892 markings, 21980218 edges, 74700 markings/sec, 115 secs
lola: 8849985 markings, 22803732 edges, 73419 markings/sec, 120 secs
lola: 9217374 markings, 23622223 edges, 73478 markings/sec, 125 secs
lola: 9588971 markings, 24442507 edges, 74319 markings/sec, 130 secs
lola: 9955472 markings, 25300161 edges, 73300 markings/sec, 135 secs
lola: 10322074 markings, 26147499 edges, 73320 markings/sec, 140 secs
lola: 10677842 markings, 27029441 edges, 71154 markings/sec, 145 secs
lola: 11006846 markings, 27967326 edges, 65801 markings/sec, 150 secs
lola: 11368626 markings, 28955984 edges, 72356 markings/sec, 155 secs
lola: 11403861 markings, 30156165 edges, 7047 markings/sec, 160 secs
lola: 11412634 markings, 31266731 edges, 1755 markings/sec, 165 secs
lola: 11420251 markings, 32327955 edges, 1523 markings/sec, 170 secs
lola: 11427562 markings, 33377740 edges, 1462 markings/sec, 175 secs
lola: 11434798 markings, 34417034 edges, 1447 markings/sec, 180 secs
lola: 11440737 markings, 35461567 edges, 1188 markings/sec, 185 secs
lola: 11506485 markings, 36530611 edges, 13150 markings/sec, 190 secs
lola: 11887324 markings, 37407755 edges, 76168 markings/sec, 195 secs
lola: 12178798 markings, 38297742 edges, 58295 markings/sec, 200 secs
lola: 12565178 markings, 39061600 edges, 77276 markings/sec, 205 secs
lola: 12935757 markings, 39854128 edges, 74116 markings/sec, 210 secs
lola: 13291521 markings, 40672169 edges, 71153 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(pbl_4_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 428 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: 675448 markings, 966547 edges, 135090 markings/sec, 0 secs
lola: 1260240 markings, 2005294 edges, 116958 markings/sec, 5 secs
lola: 1840069 markings, 2990034 edges, 115966 markings/sec, 10 secs
lola: 2482811 markings, 3859405 edges, 128548 markings/sec, 15 secs
lola: 3112768 markings, 4731311 edges, 125991 markings/sec, 20 secs
lola: 3736974 markings, 5625468 edges, 124841 markings/sec, 25 secs
lola: 4353105 markings, 6513560 edges, 123226 markings/sec, 30 secs
lola: 4967069 markings, 7421356 edges, 122793 markings/sec, 35 secs
lola: 5575989 markings, 8346583 edges, 121784 markings/sec, 40 secs
lola: 5860776 markings, 9573582 edges, 56957 markings/sec, 45 secs
lola: 5891106 markings, 10894250 edges, 6066 markings/sec, 50 secs
lola: 6492649 markings, 11810393 edges, 120309 markings/sec, 55 secs
lola: 7023055 markings, 12760952 edges, 106081 markings/sec, 60 secs
lola: 7638511 markings, 13588613 edges, 123091 markings/sec, 65 secs
lola: 8241153 markings, 14417356 edges, 120528 markings/sec, 70 secs
lola: 8839789 markings, 15269139 edges, 119727 markings/sec, 75 secs
lola: 9441317 markings, 16129742 edges, 120306 markings/sec, 80 secs
lola: 10031274 markings, 17004198 edges, 117991 markings/sec, 85 secs
lola: 10633963 markings, 17893167 edges, 120538 markings/sec, 90 secs
lola: 11078170 markings, 18969070 edges, 88841 markings/sec, 95 secs
lola: 11133452 markings, 20234227 edges, 11056 markings/sec, 100 secs
lola: 11485983 markings, 21291949 edges, 70506 markings/sec, 105 secs
lola: 12110290 markings, 22118258 edges, 124861 markings/sec, 110 secs
lola: 12729439 markings, 22950270 edges, 123830 markings/sec, 115 secs
lola: 13336889 markings, 23772814 edges, 121490 markings/sec, 120 secs
lola: 13923264 markings, 24576853 edges, 117275 markings/sec, 125 secs
lola: 14501180 markings, 25376654 edges, 115583 markings/sec, 130 secs
lola: 15085757 markings, 26181491 edges, 116915 markings/sec, 135 secs
lola: 15663285 markings, 26985072 edges, 115506 markings/sec, 140 secs
lola: 16233682 markings, 27783337 edges, 114079 markings/sec, 145 secs
lola: 16806316 markings, 28587583 edges, 114527 markings/sec, 150 secs
lola: 17392808 markings, 29406004 edges, 117298 markings/sec, 155 secs
lola: 17982396 markings, 30227648 edges, 117918 markings/sec, 160 secs
lola: 18571989 markings, 31050623 edges, 117919 markings/sec, 165 secs
lola: 19156530 markings, 31873646 edges, 116908 markings/sec, 170 secs
lola: 19736567 markings, 32691488 edges, 116007 markings/sec, 175 secs
lola: 20319329 markings, 33513888 edges, 116552 markings/sec, 180 secs
lola: 20897184 markings, 34342780 edges, 115571 markings/sec, 185 secs
lola: 21485329 markings, 35167693 edges, 117629 markings/sec, 190 secs
lola: 22069827 markings, 35993231 edges, 116900 markings/sec, 195 secs
lola: 22648600 markings, 36817184 edges, 115755 markings/sec, 200 secs
lola: 23219052 markings, 37638971 edges, 114090 markings/sec, 205 secs
lola: 23797103 markings, 38459817 edges, 115610 markings/sec, 210 secs
lola: 24373175 markings, 39285127 edges, 115214 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(pol3_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 428 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: 741907 markings, 1598819 edges, 148381 markings/sec, 0 secs
lola: 1527822 markings, 3052020 edges, 157183 markings/sec, 5 secs
lola: 2284463 markings, 4432549 edges, 151328 markings/sec, 10 secs
lola: 2995609 markings, 5676441 edges, 142229 markings/sec, 15 secs
lola: 3698417 markings, 6929377 edges, 140562 markings/sec, 20 secs
lola: 4408398 markings, 8204093 edges, 141996 markings/sec, 25 secs
lola: 5138982 markings, 9510679 edges, 146117 markings/sec, 30 secs
lola: 5894978 markings, 10891010 edges, 151199 markings/sec, 35 secs
lola: 6564503 markings, 12307834 edges, 133905 markings/sec, 40 secs
lola: 7092628 markings, 13760801 edges, 105625 markings/sec, 45 secs
lola: 7241066 markings, 15135931 edges, 29688 markings/sec, 50 secs
lola: 7869398 markings, 16523175 edges, 125666 markings/sec, 55 secs
lola: 8508398 markings, 17915419 edges, 127800 markings/sec, 60 secs
lola: 9163491 markings, 19280383 edges, 131019 markings/sec, 65 secs
lola: 9784229 markings, 20639981 edges, 124148 markings/sec, 70 secs
lola: 10407201 markings, 21989427 edges, 124594 markings/sec, 75 secs
lola: 11026371 markings, 23317683 edges, 123834 markings/sec, 80 secs
lola: 11632718 markings, 24652436 edges, 121269 markings/sec, 85 secs
lola: 12260650 markings, 25963168 edges, 125586 markings/sec, 90 secs
lola: 12836820 markings, 27296707 edges, 115234 markings/sec, 95 secs
lola: 13427424 markings, 28535155 edges, 118121 markings/sec, 100 secs
lola: 14018731 markings, 29672666 edges, 118261 markings/sec, 105 secs
lola: 14599763 markings, 30821816 edges, 116206 markings/sec, 110 secs
lola: 15181493 markings, 31976105 edges, 116346 markings/sec, 115 secs
lola: 15761359 markings, 33133659 edges, 115973 markings/sec, 120 secs
lola: 16339806 markings, 34300527 edges, 115689 markings/sec, 125 secs
lola: 16919560 markings, 35477079 edges, 115951 markings/sec, 130 secs
lola: 17498904 markings, 36651014 edges, 115869 markings/sec, 135 secs
lola: 18080794 markings, 37838914 edges, 116378 markings/sec, 140 secs
lola: 18670334 markings, 39068234 edges, 117908 markings/sec, 145 secs
lola: 19263224 markings, 40303126 edges, 118578 markings/sec, 150 secs
lola: 19872352 markings, 41550483 edges, 121826 markings/sec, 155 secs
lola: 20481768 markings, 42773963 edges, 121883 markings/sec, 160 secs
lola: 21144938 markings, 44039329 edges, 132634 markings/sec, 165 secs
lola: 21784735 markings, 45391915 edges, 127959 markings/sec, 170 secs
lola: 22406080 markings, 46765255 edges, 124269 markings/sec, 175 secs
lola: 23047304 markings, 48110474 edges, 128245 markings/sec, 180 secs
lola: 23669887 markings, 49402844 edges, 124517 markings/sec, 185 secs
lola: 24262724 markings, 50772282 edges, 118567 markings/sec, 190 secs
lola: 24817326 markings, 52121451 edges, 110920 markings/sec, 195 secs
lola: 25251981 markings, 53496200 edges, 86931 markings/sec, 200 secs
lola: 25309944 markings, 54832528 edges, 11593 markings/sec, 205 secs
lola: 25360070 markings, 56018073 edges, 10025 markings/sec, 210 secs
lola: 25545528 markings, 57245048 edges, 37092 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(pb2_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 428 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: 985232 markings, 1183034 edges, 197046 markings/sec, 0 secs
lola: 1880837 markings, 2358625 edges, 179121 markings/sec, 5 secs
lola: 2835528 markings, 3455495 edges, 190938 markings/sec, 10 secs
lola: 3763544 markings, 4541660 edges, 185603 markings/sec, 15 secs
lola: 4550540 markings, 5679860 edges, 157399 markings/sec, 20 secs
lola: 5287104 markings, 6846023 edges, 147313 markings/sec, 25 secs
lola: 5984037 markings, 7924545 edges, 139387 markings/sec, 30 secs
lola: 6683333 markings, 8982631 edges, 139859 markings/sec, 35 secs
lola: 7181204 markings, 10165697 edges, 99574 markings/sec, 40 secs
lola: 7793897 markings, 11285308 edges, 122539 markings/sec, 45 secs
lola: 8443328 markings, 12377029 edges, 129886 markings/sec, 50 secs
lola: 8907211 markings, 13607069 edges, 92777 markings/sec, 55 secs
lola: 9785240 markings, 14822695 edges, 175606 markings/sec, 60 secs
lola: 10377320 markings, 15959987 edges, 118416 markings/sec, 65 secs
lola: 11011898 markings, 17081702 edges, 126916 markings/sec, 70 secs
lola: 11635717 markings, 18126898 edges, 124764 markings/sec, 75 secs
lola: 12233360 markings, 19150030 edges, 119529 markings/sec, 80 secs
lola: 12822503 markings, 20200400 edges, 117829 markings/sec, 85 secs
lola: 13388942 markings, 21221926 edges, 113288 markings/sec, 90 secs
lola: 13964162 markings, 22290915 edges, 115044 markings/sec, 95 secs
lola: 14541077 markings, 23356959 edges, 115383 markings/sec, 100 secs
lola: 15104900 markings, 24422219 edges, 112765 markings/sec, 105 secs
lola: 15680831 markings, 25512215 edges, 115186 markings/sec, 110 secs
lola: 16262819 markings, 26628642 edges, 116398 markings/sec, 115 secs
lola: 16451741 markings, 27871139 edges, 37784 markings/sec, 120 secs
lola: 16473425 markings, 29045247 edges, 4337 markings/sec, 125 secs
lola: 16482695 markings, 30231707 edges, 1854 markings/sec, 130 secs
lola: 16980450 markings, 31449740 edges, 99551 markings/sec, 135 secs
lola: 17744219 markings, 32689732 edges, 152754 markings/sec, 140 secs
lola: 18522963 markings, 33922218 edges, 155749 markings/sec, 145 secs
lola: 19238601 markings, 35165182 edges, 143128 markings/sec, 150 secs
lola: 19881859 markings, 36355790 edges, 128652 markings/sec, 155 secs
lola: 20550544 markings, 37616209 edges, 133737 markings/sec, 160 secs
lola: 21028201 markings, 38845094 edges, 95531 markings/sec, 165 secs
lola: 21576145 markings, 40002840 edges, 109589 markings/sec, 170 secs
lola: 22150973 markings, 41271170 edges, 114966 markings/sec, 175 secs
lola: 22723284 markings, 42479134 edges, 114462 markings/sec, 180 secs
lola: 23221492 markings, 43661565 edges, 99642 markings/sec, 185 secs
lola: 24000057 markings, 44823408 edges, 155713 markings/sec, 190 secs
lola: 24738054 markings, 45984245 edges, 147599 markings/sec, 195 secs
lola: 25354418 markings, 47129455 edges, 123273 markings/sec, 200 secs
lola: 26083209 markings, 48180249 edges, 145758 markings/sec, 205 secs
lola: 26829230 markings, 49256375 edges, 149204 markings/sec, 210 secs
lola: 27583226 markings, 50363369 edges, 150799 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(pb3_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 428 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: 520060 markings, 1378949 edges, 104012 markings/sec, 0 secs
lola: 985976 markings, 2676438 edges, 93183 markings/sec, 5 secs
lola: 1495223 markings, 3822509 edges, 101849 markings/sec, 10 secs
lola: 2010121 markings, 4932769 edges, 102980 markings/sec, 15 secs
lola: 2431874 markings, 6102510 edges, 84351 markings/sec, 20 secs
lola: 2580473 markings, 7451614 edges, 29720 markings/sec, 25 secs
lola: 2784279 markings, 8749149 edges, 40761 markings/sec, 30 secs
lola: 3153555 markings, 10056468 edges, 73855 markings/sec, 35 secs
lola: 3647191 markings, 11217413 edges, 98727 markings/sec, 40 secs
lola: 4145031 markings, 12348242 edges, 99568 markings/sec, 45 secs
lola: 4671075 markings, 13390718 edges, 105209 markings/sec, 50 secs
lola: 5168600 markings, 14418215 edges, 99505 markings/sec, 55 secs
lola: 5630749 markings, 15450870 edges, 92430 markings/sec, 60 secs
lola: 6062270 markings, 16514806 edges, 86304 markings/sec, 65 secs
lola: 6475307 markings, 17592999 edges, 82607 markings/sec, 70 secs
lola: 6902838 markings, 18637168 edges, 85506 markings/sec, 75 secs
lola: 7317620 markings, 19679805 edges, 82956 markings/sec, 80 secs
lola: 7711605 markings, 20740164 edges, 78797 markings/sec, 85 secs
lola: 8107261 markings, 21788019 edges, 79131 markings/sec, 90 secs
lola: 8544503 markings, 22970408 edges, 87448 markings/sec, 95 secs
lola: 9002064 markings, 24110042 edges, 91512 markings/sec, 100 secs
lola: 9513926 markings, 25144740 edges, 102372 markings/sec, 105 secs
lola: 10021939 markings, 26112271 edges, 101603 markings/sec, 110 secs
lola: 10492961 markings, 27088342 edges, 94204 markings/sec, 115 secs
lola: 10936118 markings, 28080242 edges, 88631 markings/sec, 120 secs
lola: 11350872 markings, 29113607 edges, 82951 markings/sec, 125 secs
lola: 11759170 markings, 30159596 edges, 81660 markings/sec, 130 secs
lola: 12177018 markings, 31188812 edges, 83570 markings/sec, 135 secs
lola: 12589736 markings, 32210088 edges, 82544 markings/sec, 140 secs
lola: 12984737 markings, 33255789 edges, 79000 markings/sec, 145 secs
lola: 13389878 markings, 34306311 edges, 81028 markings/sec, 150 secs
lola: 13769739 markings, 35377170 edges, 75972 markings/sec, 155 secs
lola: 14113095 markings, 36513941 edges, 68671 markings/sec, 160 secs
lola: 14154207 markings, 37794512 edges, 8222 markings/sec, 165 secs
lola: 14190932 markings, 39022361 edges, 7345 markings/sec, 170 secs
lola: 14203517 markings, 40216793 edges, 2517 markings/sec, 175 secs
lola: 14218152 markings, 41421007 edges, 2927 markings/sec, 180 secs
lola: 14222519 markings, 42653755 edges, 873 markings/sec, 185 secs
lola: 14431466 markings, 43815752 edges, 41789 markings/sec, 190 secs
lola: 14792433 markings, 44860316 edges, 72193 markings/sec, 195 secs
lola: 14886924 markings, 46097091 edges, 18898 markings/sec, 200 secs
lola: 14922191 markings, 47327323 edges, 7053 markings/sec, 205 secs
lola: 14936708 markings, 48544808 edges, 2903 markings/sec, 210 secs
lola: 14951475 markings, 49768406 edges, 2953 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(pi2_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 428 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: 479220 markings, 1107746 edges, 95844 markings/sec, 0 secs
lola: 852278 markings, 2260504 edges, 74612 markings/sec, 5 secs
lola: 1228463 markings, 3493446 edges, 75237 markings/sec, 10 secs
lola: 1556230 markings, 4712640 edges, 65553 markings/sec, 15 secs
lola: 2013583 markings, 5655042 edges, 91471 markings/sec, 20 secs
lola: 2412319 markings, 6611279 edges, 79747 markings/sec, 25 secs
lola: 2761644 markings, 7599081 edges, 69865 markings/sec, 30 secs
lola: 3071695 markings, 8615196 edges, 62010 markings/sec, 35 secs
lola: 3334560 markings, 9729425 edges, 52573 markings/sec, 40 secs
lola: 3404638 markings, 11025144 edges, 14016 markings/sec, 45 secs
lola: 3421445 markings, 12269873 edges, 3361 markings/sec, 50 secs
lola: 3480788 markings, 13502366 edges, 11869 markings/sec, 55 secs
lola: 3959952 markings, 14485526 edges, 95833 markings/sec, 60 secs
lola: 4240473 markings, 15731636 edges, 56104 markings/sec, 65 secs
lola: 4602410 markings, 16867096 edges, 72387 markings/sec, 70 secs
lola: 4915706 markings, 17943891 edges, 62659 markings/sec, 75 secs
lola: 5349479 markings, 18867355 edges, 86755 markings/sec, 80 secs
lola: 5794121 markings, 19706715 edges, 88928 markings/sec, 85 secs
lola: 6219410 markings, 20558008 edges, 85058 markings/sec, 90 secs
lola: 6630235 markings, 21430966 edges, 82165 markings/sec, 95 secs
lola: 7037100 markings, 22273145 edges, 81373 markings/sec, 100 secs
lola: 7435392 markings, 23117328 edges, 79658 markings/sec, 105 secs
lola: 7827533 markings, 23963989 edges, 78428 markings/sec, 110 secs
lola: 8213670 markings, 24807796 edges, 77227 markings/sec, 115 secs
lola: 8596336 markings, 25653385 edges, 76533 markings/sec, 120 secs
lola: 8969200 markings, 26501546 edges, 74573 markings/sec, 125 secs
lola: 9334265 markings, 27352427 edges, 73013 markings/sec, 130 secs
lola: 9695568 markings, 28209497 edges, 72261 markings/sec, 135 secs
lola: 10054016 markings, 29064056 edges, 71690 markings/sec, 140 secs
lola: 10408266 markings, 29921841 edges, 70850 markings/sec, 145 secs
lola: 10759812 markings, 30779737 edges, 70309 markings/sec, 150 secs
lola: 11105905 markings, 31638797 edges, 69219 markings/sec, 155 secs
lola: 11442745 markings, 32529455 edges, 67368 markings/sec, 160 secs
lola: 11778117 markings, 33393316 edges, 67074 markings/sec, 165 secs
lola: 12107130 markings, 34260024 edges, 65803 markings/sec, 170 secs
lola: 12431352 markings, 35133143 edges, 64844 markings/sec, 175 secs
lola: 12747112 markings, 36007549 edges, 63152 markings/sec, 180 secs
lola: 13058861 markings, 36882193 edges, 62350 markings/sec, 185 secs
lola: 13366763 markings, 37763564 edges, 61580 markings/sec, 190 secs
lola: 13673714 markings, 38645073 edges, 61390 markings/sec, 195 secs
lola: 13974068 markings, 39532105 edges, 60071 markings/sec, 200 secs
lola: 14270879 markings, 40417805 edges, 59362 markings/sec, 205 secs
lola: 14564911 markings, 41303745 edges, 58806 markings/sec, 210 secs
lola: 14851368 markings, 42198001 edges, 57291 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(pbl_4_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 428 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: 565802 markings, 1174953 edges, 113160 markings/sec, 0 secs
lola: 1150520 markings, 2261792 edges, 116944 markings/sec, 5 secs
lola: 1749097 markings, 3239967 edges, 119715 markings/sec, 10 secs
lola: 2250360 markings, 4212156 edges, 100253 markings/sec, 15 secs
lola: 2725501 markings, 5245430 edges, 95028 markings/sec, 20 secs
lola: 2796964 markings, 6598822 edges, 14293 markings/sec, 25 secs
lola: 3286504 markings, 7725919 edges, 97908 markings/sec, 30 secs
lola: 3894237 markings, 8682642 edges, 121547 markings/sec, 35 secs
lola: 4402795 markings, 9639934 edges, 101712 markings/sec, 40 secs
lola: 4793050 markings, 10717358 edges, 78051 markings/sec, 45 secs
lola: 4955593 markings, 12025304 edges, 32509 markings/sec, 50 secs
lola: 5559858 markings, 13028468 edges, 120853 markings/sec, 55 secs
lola: 6227571 markings, 13975650 edges, 133543 markings/sec, 60 secs
lola: 6864087 markings, 14922243 edges, 127303 markings/sec, 65 secs
lola: 7481991 markings, 15857388 edges, 123581 markings/sec, 70 secs
lola: 8080130 markings, 16783370 edges, 119628 markings/sec, 75 secs
lola: 8662202 markings, 17708686 edges, 116414 markings/sec, 80 secs
lola: 9232320 markings, 18633829 edges, 114024 markings/sec, 85 secs
lola: 9790541 markings, 19548999 edges, 111644 markings/sec, 90 secs
lola: 10334971 markings, 20461660 edges, 108886 markings/sec, 95 secs
lola: 10866900 markings, 21369709 edges, 106386 markings/sec, 100 secs
lola: 11376535 markings, 22270952 edges, 101927 markings/sec, 105 secs
lola: 11886463 markings, 23174381 edges, 101986 markings/sec, 110 secs
lola: 12380519 markings, 24072398 edges, 98811 markings/sec, 115 secs
lola: 12872638 markings, 24969660 edges, 98424 markings/sec, 120 secs
lola: 13353188 markings, 25876574 edges, 96110 markings/sec, 125 secs
lola: 13810279 markings, 26778263 edges, 91418 markings/sec, 130 secs
lola: 14265225 markings, 27675646 edges, 90989 markings/sec, 135 secs
lola: 14725000 markings, 28587349 edges, 91955 markings/sec, 140 secs
lola: 15174473 markings, 29492591 edges, 89895 markings/sec, 145 secs
lola: 15618166 markings, 30413721 edges, 88739 markings/sec, 150 secs
lola: 16068302 markings, 31353907 edges, 90027 markings/sec, 155 secs
lola: 16549559 markings, 32364665 edges, 96251 markings/sec, 160 secs
lola: 17065363 markings, 33334329 edges, 103161 markings/sec, 165 secs
lola: 17604749 markings, 34217014 edges, 107877 markings/sec, 170 secs
lola: 18053715 markings, 35085993 edges, 89793 markings/sec, 175 secs
lola: 18379449 markings, 36079124 edges, 65147 markings/sec, 180 secs
lola: 18445793 markings, 37257565 edges, 13269 markings/sec, 185 secs
lola: 18511053 markings, 38457116 edges, 13052 markings/sec, 190 secs
lola: 18553125 markings, 39571868 edges, 8414 markings/sec, 195 secs
lola: 18599272 markings, 40668413 edges, 9229 markings/sec, 200 secs
lola: 18647178 markings, 41738978 edges, 9581 markings/sec, 205 secs
lola: 18701830 markings, 42814037 edges, 10930 markings/sec, 210 secs
lola: 18760555 markings, 43904849 edges, 11745 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(pil2_4_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 428 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: 699631 markings, 1035170 edges, 139926 markings/sec, 0 secs
lola: 1295596 markings, 1966516 edges, 119193 markings/sec, 5 secs
lola: 1925257 markings, 2850300 edges, 125932 markings/sec, 10 secs
lola: 2187254 markings, 4046239 edges, 52399 markings/sec, 15 secs
lola: 2707529 markings, 5023594 edges, 104055 markings/sec, 20 secs
lola: 3240484 markings, 6066565 edges, 106591 markings/sec, 25 secs
lola: 3859743 markings, 6942294 edges, 123852 markings/sec, 30 secs
lola: 4461650 markings, 7791975 edges, 120381 markings/sec, 35 secs
lola: 5060035 markings, 8612670 edges, 119677 markings/sec, 40 secs
lola: 5646430 markings, 9430905 edges, 117279 markings/sec, 45 secs
lola: 6223820 markings, 10247664 edges, 115478 markings/sec, 50 secs
lola: 6795113 markings, 11058324 edges, 114259 markings/sec, 55 secs
lola: 7357596 markings, 11866053 edges, 112497 markings/sec, 60 secs
lola: 7907508 markings, 12676683 edges, 109982 markings/sec, 65 secs
lola: 8453228 markings, 13489513 edges, 109144 markings/sec, 70 secs
lola: 8984760 markings, 14296134 edges, 106306 markings/sec, 75 secs
lola: 9505124 markings, 15103363 edges, 104073 markings/sec, 80 secs
lola: 10015490 markings, 15908564 edges, 102073 markings/sec, 85 secs
lola: 10510960 markings, 16724530 edges, 99094 markings/sec, 90 secs
lola: 10984591 markings, 17556340 edges, 94726 markings/sec, 95 secs
lola: 11436894 markings, 18427466 edges, 90461 markings/sec, 100 secs
lola: 11901657 markings, 19350860 edges, 92953 markings/sec, 105 secs
lola: 12525480 markings, 20297978 edges, 124765 markings/sec, 110 secs
lola: 13150996 markings, 21143556 edges, 125103 markings/sec, 115 secs
lola: 13760155 markings, 21975752 edges, 121832 markings/sec, 120 secs
lola: 14354824 markings, 22805943 edges, 118934 markings/sec, 125 secs
lola: 14941968 markings, 23631679 edges, 117429 markings/sec, 130 secs
lola: 15519049 markings, 24451880 edges, 115416 markings/sec, 135 secs
lola: 16085993 markings, 25268196 edges, 113389 markings/sec, 140 secs
lola: 16643133 markings, 26080840 edges, 111428 markings/sec, 145 secs
lola: 17192143 markings, 26896981 edges, 109802 markings/sec, 150 secs
lola: 17729242 markings, 27714970 edges, 107420 markings/sec, 155 secs
lola: 18257709 markings, 28528953 edges, 105693 markings/sec, 160 secs
lola: 18770137 markings, 29333535 edges, 102486 markings/sec, 165 secs
lola: 19269950 markings, 30149006 edges, 99963 markings/sec, 170 secs
lola: 19749181 markings, 30989110 edges, 95846 markings/sec, 175 secs
lola: 20208681 markings, 31855261 edges, 91900 markings/sec, 180 secs
lola: 20668192 markings, 32779297 edges, 91902 markings/sec, 185 secs
lola: 20821577 markings, 33849648 edges, 30677 markings/sec, 190 secs
lola: 20845548 markings, 34904992 edges, 4794 markings/sec, 195 secs
lola: 20863032 markings, 35969775 edges, 3497 markings/sec, 200 secs
lola: 20879312 markings, 37060797 edges, 3256 markings/sec, 205 secs
lola: 20898247 markings, 38192827 edges, 3787 markings/sec, 210 secs
lola: 20978258 markings, 39373703 edges, 16002 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(pb3_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 428 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: 437022 markings, 1207903 edges, 87404 markings/sec, 0 secs
lola: 801241 markings, 2418440 edges, 72844 markings/sec, 5 secs
lola: 1099950 markings, 3671593 edges, 59742 markings/sec, 10 secs
lola: 1500517 markings, 4868211 edges, 80113 markings/sec, 15 secs
lola: 1933010 markings, 6016383 edges, 86499 markings/sec, 20 secs
lola: 2339974 markings, 7200907 edges, 81393 markings/sec, 25 secs
lola: 2768628 markings, 8364454 edges, 85731 markings/sec, 30 secs
lola: 3176010 markings, 9342942 edges, 81476 markings/sec, 35 secs
lola: 3566367 markings, 10462113 edges, 78071 markings/sec, 40 secs
lola: 4098027 markings, 11391522 edges, 106332 markings/sec, 45 secs
lola: 4610723 markings, 12302561 edges, 102539 markings/sec, 50 secs
lola: 4883639 markings, 13488052 edges, 54583 markings/sec, 55 secs
lola: 5208201 markings, 14516041 edges, 64912 markings/sec, 60 secs
lola: 5440193 markings, 15703094 edges, 46398 markings/sec, 65 secs
lola: 5729794 markings, 16783066 edges, 57920 markings/sec, 70 secs
lola: 6160563 markings, 17858291 edges, 86154 markings/sec, 75 secs
lola: 6705600 markings, 18757047 edges, 109007 markings/sec, 80 secs
lola: 7217414 markings, 19684309 edges, 102363 markings/sec, 85 secs
lola: 7525237 markings, 20768808 edges, 61565 markings/sec, 90 secs
lola: 7818698 markings, 21803784 edges, 58692 markings/sec, 95 secs
lola: 8205226 markings, 22696353 edges, 77306 markings/sec, 100 secs
lola: 8500275 markings, 23656054 edges, 59010 markings/sec, 105 secs
lola: 8910625 markings, 24466502 edges, 82070 markings/sec, 110 secs
lola: 9298098 markings, 25285911 edges, 77495 markings/sec, 115 secs
lola: 9662859 markings, 26132503 edges, 72952 markings/sec, 120 secs
lola: 10018097 markings, 27051358 edges, 71048 markings/sec, 125 secs
lola: 10366487 markings, 27835033 edges, 69678 markings/sec, 130 secs
lola: 10451794 markings, 28919280 edges, 17061 markings/sec, 135 secs
lola: 10457994 markings, 30038956 edges, 1240 markings/sec, 140 secs
lola: 10885386 markings, 31048307 edges, 85478 markings/sec, 145 secs
lola: 11394224 markings, 31940448 edges, 101768 markings/sec, 150 secs
lola: 11891824 markings, 32829256 edges, 99520 markings/sec, 155 secs
lola: 12260000 markings, 33888524 edges, 73635 markings/sec, 160 secs
lola: 12762645 markings, 34713118 edges, 100529 markings/sec, 165 secs
lola: 13242707 markings, 35579306 edges, 96012 markings/sec, 170 secs
lola: 13582117 markings, 36572084 edges, 67882 markings/sec, 175 secs
lola: 14090564 markings, 37375571 edges, 101689 markings/sec, 180 secs
lola: 14584198 markings, 38178729 edges, 98727 markings/sec, 185 secs
lola: 15071233 markings, 38986292 edges, 97407 markings/sec, 190 secs
lola: 15554285 markings, 39799759 edges, 96610 markings/sec, 195 secs
lola: 16029948 markings, 40605985 edges, 95133 markings/sec, 200 secs
lola: 16503714 markings, 41418282 edges, 94753 markings/sec, 205 secs
lola: 16975295 markings, 42238127 edges, 94316 markings/sec, 210 secs
lola: 17445114 markings, 43076611 edges, 93964 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 TriangularGrid-PT-4022-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-4022-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-4022-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-4022-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-4022-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-4022-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-4022-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-4022-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-4022-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-4022-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-4022-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-4022-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-4022-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-4022-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-4022-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-4022-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494949534468
--------------------
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="TriangularGrid-PT-4022"
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/TriangularGrid-PT-4022.tgz
mv TriangularGrid-PT-4022 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 TriangularGrid-PT-4022, 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 r078-ebro-149441008600344"
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 ;