About the Execution of LoLA for TriangularGrid-PT-5046
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
7923.660 | 3540113.00 | 3556020.00 | 805.20 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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-5046, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r078-ebro-149441008700362
=====================================================================
--------------------
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-5046-UpperBounds-0
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-1
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-10
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-11
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-12
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-13
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-14
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-15
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-2
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-3
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-4
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-5
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-6
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-7
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-8
FORMULA_NAME TriangularGrid-PT-5046-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494946530566
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ TriangularGrid-PT-5046 @ 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: 520/65536 symbol table entries, 4 collisions
lola: preprocessing...
lola: finding significant places
lola: 280 places, 240 transitions, 164 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 355 transition conflict sets
lola: TASK
lola: reading formula from TriangularGrid-PT-5046-UpperBounds.task
lola: MAX(pbl_5_7) : MAX(pb2_4_1) : MAX(pil3_5_7) : MAX(pil3_5_7) : MAX(pol3_4_7) : MAX(po1_2_3) : MAX(po1_1_1) : MAX(pbl_4_5) : MAX(pi2_5_3) : MAX(pb3_1_1) : MAX(pol3_5_5) : MAX(pil1_3_3) : MAX(pol2_5_3) : MAX(pi3_3_1) : MAX(pb2_5_1) : MAX(pil3_3_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(pbl_5_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 504552 markings, 645043 edges, 100910 markings/sec, 0 secs
lola: 892129 markings, 1437247 edges, 77515 markings/sec, 5 secs
lola: 1341509 markings, 2106724 edges, 89876 markings/sec, 10 secs
lola: 1760637 markings, 2780721 edges, 83826 markings/sec, 15 secs
lola: 2170541 markings, 3429351 edges, 81981 markings/sec, 20 secs
lola: 2620668 markings, 4019925 edges, 90025 markings/sec, 25 secs
lola: 3058334 markings, 4602020 edges, 87533 markings/sec, 30 secs
lola: 3489180 markings, 5209304 edges, 86169 markings/sec, 35 secs
lola: 3914177 markings, 5807905 edges, 84999 markings/sec, 40 secs
lola: 4327698 markings, 6425902 edges, 82704 markings/sec, 45 secs
lola: 4738960 markings, 7029408 edges, 82252 markings/sec, 50 secs
lola: 5140741 markings, 7653073 edges, 80356 markings/sec, 55 secs
lola: 5545380 markings, 8291137 edges, 80928 markings/sec, 60 secs
lola: 5950646 markings, 8923190 edges, 81053 markings/sec, 65 secs
lola: 6268477 markings, 9736324 edges, 63566 markings/sec, 70 secs
lola: 6297212 markings, 10788958 edges, 5747 markings/sec, 75 secs
lola: 6464474 markings, 11717644 edges, 33452 markings/sec, 80 secs
lola: 6891916 markings, 12326616 edges, 85488 markings/sec, 85 secs
lola: 7249109 markings, 13086471 edges, 71439 markings/sec, 90 secs
lola: 7705210 markings, 13644708 edges, 91220 markings/sec, 95 secs
lola: 8146045 markings, 14223113 edges, 88167 markings/sec, 100 secs
lola: 8570978 markings, 14796492 edges, 84987 markings/sec, 105 secs
lola: 8991810 markings, 15388403 edges, 84166 markings/sec, 110 secs
lola: 9404634 markings, 15976526 edges, 82565 markings/sec, 115 secs
lola: 9815227 markings, 16579182 edges, 82119 markings/sec, 120 secs
lola: 10218104 markings, 17176678 edges, 80575 markings/sec, 125 secs
lola: 10612371 markings, 17792302 edges, 78853 markings/sec, 130 secs
lola: 11009603 markings, 18423926 edges, 79446 markings/sec, 135 secs
lola: 11411548 markings, 19056945 edges, 80389 markings/sec, 140 secs
lola: 11698957 markings, 19898305 edges, 57482 markings/sec, 145 secs
lola: 11724505 markings, 20916296 edges, 5110 markings/sec, 150 secs
lola: 11893177 markings, 21783830 edges, 33734 markings/sec, 155 secs
lola: 12310809 markings, 22370044 edges, 83526 markings/sec, 160 secs
lola: 12735086 markings, 22947979 edges, 84855 markings/sec, 165 secs
lola: 13144314 markings, 23595063 edges, 81846 markings/sec, 170 secs
lola: 13461372 markings, 24338382 edges, 63412 markings/sec, 175 secs
lola: 13914623 markings, 24868777 edges, 90650 markings/sec, 180 secs
lola: 14362121 markings, 25439259 edges, 89500 markings/sec, 185 secs
lola: 14759118 markings, 26104779 edges, 79399 markings/sec, 190 secs
lola: 15185476 markings, 26694737 edges, 85272 markings/sec, 195 secs
lola: 15620200 markings, 27226851 edges, 86945 markings/sec, 200 secs
lola: 16053000 markings, 27760383 edges, 86560 markings/sec, 205 secs
lola: 16479824 markings, 28295489 edges, 85365 markings/sec, 210 secs
lola: 16914309 markings, 28842216 edges, 86897 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(pb2_4_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 520845 markings, 753158 edges, 104169 markings/sec, 0 secs
lola: 1005942 markings, 1476585 edges, 97019 markings/sec, 5 secs
lola: 1478165 markings, 2181386 edges, 94445 markings/sec, 10 secs
lola: 1943209 markings, 2879608 edges, 93009 markings/sec, 15 secs
lola: 2401896 markings, 3565573 edges, 91737 markings/sec, 20 secs
lola: 2861888 markings, 4254711 edges, 91998 markings/sec, 25 secs
lola: 3311728 markings, 4929038 edges, 89968 markings/sec, 30 secs
lola: 3765698 markings, 5607840 edges, 90794 markings/sec, 35 secs
lola: 4218314 markings, 6287988 edges, 90523 markings/sec, 40 secs
lola: 4667241 markings, 6958870 edges, 89785 markings/sec, 45 secs
lola: 5116763 markings, 7632739 edges, 89904 markings/sec, 50 secs
lola: 5570022 markings, 8311456 edges, 90652 markings/sec, 55 secs
lola: 6029543 markings, 8999141 edges, 91904 markings/sec, 60 secs
lola: 6485805 markings, 9684351 edges, 91252 markings/sec, 65 secs
lola: 6944751 markings, 10370194 edges, 91789 markings/sec, 70 secs
lola: 7409784 markings, 11067785 edges, 93007 markings/sec, 75 secs
lola: 7868311 markings, 11754084 edges, 91705 markings/sec, 80 secs
lola: 8331122 markings, 12447006 edges, 92562 markings/sec, 85 secs
lola: 8792644 markings, 13139481 edges, 92304 markings/sec, 90 secs
lola: 9254312 markings, 13829886 edges, 92334 markings/sec, 95 secs
lola: 9718398 markings, 14526097 edges, 92817 markings/sec, 100 secs
lola: 10179254 markings, 15215823 edges, 92171 markings/sec, 105 secs
lola: 10628631 markings, 15891111 edges, 89875 markings/sec, 110 secs
lola: 11069424 markings, 16545738 edges, 88159 markings/sec, 115 secs
lola: 11410943 markings, 17388946 edges, 68304 markings/sec, 120 secs
lola: 11775743 markings, 18134877 edges, 72960 markings/sec, 125 secs
lola: 12039324 markings, 19062460 edges, 52716 markings/sec, 130 secs
lola: 12306810 markings, 19970750 edges, 53497 markings/sec, 135 secs
lola: 12663984 markings, 20704090 edges, 71435 markings/sec, 140 secs
lola: 13017742 markings, 21427911 edges, 70752 markings/sec, 145 secs
lola: 13357360 markings, 22152992 edges, 67924 markings/sec, 150 secs
lola: 13684402 markings, 22884749 edges, 65408 markings/sec, 155 secs
lola: 13978933 markings, 23685830 edges, 58906 markings/sec, 160 secs
lola: 14013378 markings, 24816987 edges, 6889 markings/sec, 165 secs
lola: 14190978 markings, 25764552 edges, 35520 markings/sec, 170 secs
lola: 14526942 markings, 26495098 edges, 67193 markings/sec, 175 secs
lola: 14880148 markings, 27197648 edges, 70641 markings/sec, 180 secs
lola: 15228100 markings, 27876860 edges, 69590 markings/sec, 185 secs
lola: 15563683 markings, 28597665 edges, 67117 markings/sec, 190 secs
lola: 15898615 markings, 29244550 edges, 66986 markings/sec, 195 secs
lola: 16229558 markings, 29900095 edges, 66189 markings/sec, 200 secs
lola: 16551621 markings, 30588565 edges, 64413 markings/sec, 205 secs
lola: 16880452 markings, 31270740 edges, 65766 markings/sec, 210 secs
lola: 17193780 markings, 31959115 edges, 62666 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(pil3_5_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 505270 markings, 645609 edges, 101054 markings/sec, 0 secs
lola: 888621 markings, 1392747 edges, 76670 markings/sec, 5 secs
lola: 1303579 markings, 2059472 edges, 82992 markings/sec, 10 secs
lola: 1723509 markings, 2661721 edges, 83986 markings/sec, 15 secs
lola: 2094834 markings, 3336665 edges, 74265 markings/sec, 20 secs
lola: 2528806 markings, 3901536 edges, 86794 markings/sec, 25 secs
lola: 2950646 markings, 4455346 edges, 84368 markings/sec, 30 secs
lola: 3368193 markings, 5030063 edges, 83509 markings/sec, 35 secs
lola: 3786281 markings, 5625337 edges, 83618 markings/sec, 40 secs
lola: 4193525 markings, 6229005 edges, 81449 markings/sec, 45 secs
lola: 4593097 markings, 6815202 edges, 79914 markings/sec, 50 secs
lola: 4987522 markings, 7408757 edges, 78885 markings/sec, 55 secs
lola: 5380167 markings, 8030349 edges, 78529 markings/sec, 60 secs
lola: 5776430 markings, 8645292 edges, 79253 markings/sec, 65 secs
lola: 6172137 markings, 9302250 edges, 79141 markings/sec, 70 secs
lola: 6288833 markings, 10256230 edges, 23339 markings/sec, 75 secs
lola: 6304467 markings, 11205991 edges, 3127 markings/sec, 80 secs
lola: 6623827 markings, 11928241 edges, 63872 markings/sec, 85 secs
lola: 6970008 markings, 12657840 edges, 69236 markings/sec, 90 secs
lola: 7412853 markings, 13277962 edges, 88569 markings/sec, 95 secs
lola: 7855324 markings, 13849875 edges, 88494 markings/sec, 100 secs
lola: 8277249 markings, 14396130 edges, 84385 markings/sec, 105 secs
lola: 8686142 markings, 14954701 edges, 81779 markings/sec, 110 secs
lola: 9096378 markings, 15533899 edges, 82047 markings/sec, 115 secs
lola: 9496933 markings, 16117542 edges, 80111 markings/sec, 120 secs
lola: 9896332 markings, 16693934 edges, 79880 markings/sec, 125 secs
lola: 10285222 markings, 17276626 edges, 77778 markings/sec, 130 secs
lola: 10670158 markings, 17884877 edges, 76987 markings/sec, 135 secs
lola: 11056896 markings, 18496525 edges, 77348 markings/sec, 140 secs
lola: 11444230 markings, 19113593 edges, 77467 markings/sec, 145 secs
lola: 11705198 markings, 19951640 edges, 52194 markings/sec, 150 secs
lola: 11727594 markings, 20887938 edges, 4479 markings/sec, 155 secs
lola: 11850471 markings, 21722963 edges, 24575 markings/sec, 160 secs
lola: 12248442 markings, 22289634 edges, 79594 markings/sec, 165 secs
lola: 12656675 markings, 22834819 edges, 81647 markings/sec, 170 secs
lola: 13056709 markings, 23423375 edges, 80007 markings/sec, 175 secs
lola: 13318335 markings, 24175607 edges, 52325 markings/sec, 180 secs
lola: 13766203 markings, 24694708 edges, 89574 markings/sec, 185 secs
lola: 14203770 markings, 25223090 edges, 87513 markings/sec, 190 secs
lola: 14598498 markings, 25861297 edges, 78946 markings/sec, 195 secs
lola: 15026857 markings, 26502933 edges, 85672 markings/sec, 200 secs
lola: 15462020 markings, 27032519 edges, 87033 markings/sec, 205 secs
lola: 15892637 markings, 27563331 edges, 86123 markings/sec, 210 secs
lola: 16319004 markings, 28093832 edges, 85273 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(pil3_5_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 510144 markings, 652279 edges, 102029 markings/sec, 0 secs
lola: 892617 markings, 1438388 edges, 76495 markings/sec, 5 secs
lola: 1343393 markings, 2109015 edges, 90155 markings/sec, 10 secs
lola: 1763147 markings, 2768889 edges, 83951 markings/sec, 15 secs
lola: 2164119 markings, 3421358 edges, 80194 markings/sec, 20 secs
lola: 2606973 markings, 4001975 edges, 88571 markings/sec, 25 secs
lola: 3035627 markings, 4570685 edges, 85731 markings/sec, 30 secs
lola: 3452566 markings, 5154443 edges, 83388 markings/sec, 35 secs
lola: 3860615 markings, 5731099 edges, 81610 markings/sec, 40 secs
lola: 4269713 markings, 6339612 edges, 81820 markings/sec, 45 secs
lola: 4668899 markings, 6926729 edges, 79837 markings/sec, 50 secs
lola: 5066706 markings, 7534077 edges, 79561 markings/sec, 55 secs
lola: 5465505 markings, 8166047 edges, 79760 markings/sec, 60 secs
lola: 5864685 markings, 8786839 edges, 79836 markings/sec, 65 secs
lola: 6254730 markings, 9502296 edges, 78009 markings/sec, 70 secs
lola: 6295912 markings, 10534471 edges, 8236 markings/sec, 75 secs
lola: 6335353 markings, 11530057 edges, 7888 markings/sec, 80 secs
lola: 6773571 markings, 12147949 edges, 87644 markings/sec, 85 secs
lola: 7146431 markings, 12897816 edges, 74572 markings/sec, 90 secs
lola: 7596824 markings, 13501152 edges, 90079 markings/sec, 95 secs
lola: 8041278 markings, 14087102 edges, 88891 markings/sec, 100 secs
lola: 8471562 markings, 14661775 edges, 86057 markings/sec, 105 secs
lola: 8894264 markings, 15251058 edges, 84540 markings/sec, 110 secs
lola: 9312092 markings, 15839866 edges, 83566 markings/sec, 115 secs
lola: 9723784 markings, 16446607 edges, 82338 markings/sec, 120 secs
lola: 10133009 markings, 17046204 edges, 81845 markings/sec, 125 secs
lola: 10529909 markings, 17657302 edges, 79380 markings/sec, 130 secs
lola: 10926069 markings, 18293752 edges, 79232 markings/sec, 135 secs
lola: 11333130 markings, 18930810 edges, 81412 markings/sec, 140 secs
lola: 11695116 markings, 19702192 edges, 72397 markings/sec, 145 secs
lola: 11725276 markings, 20759575 edges, 6032 markings/sec, 150 secs
lola: 11843586 markings, 21713898 edges, 23662 markings/sec, 155 secs
lola: 12250766 markings, 22292596 edges, 81436 markings/sec, 160 secs
lola: 12666657 markings, 22849849 edges, 83178 markings/sec, 165 secs
lola: 13079057 markings, 23455510 edges, 82480 markings/sec, 170 secs
lola: 13381883 markings, 24247526 edges, 60565 markings/sec, 175 secs
lola: 13843655 markings, 24784865 edges, 92354 markings/sec, 180 secs
lola: 14298588 markings, 25346420 edges, 90987 markings/sec, 185 secs
lola: 14697432 markings, 26017678 edges, 79769 markings/sec, 190 secs
lola: 15128848 markings, 26626379 edges, 86283 markings/sec, 195 secs
lola: 15567450 markings, 27162819 edges, 87720 markings/sec, 200 secs
lola: 16004326 markings, 27701180 edges, 87375 markings/sec, 205 secs
lola: 16438075 markings, 28243390 edges, 86750 markings/sec, 210 secs
lola: 16875367 markings, 28796708 edges, 87458 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(pol3_4_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 963291 markings, 1007998 edges, 192658 markings/sec, 0 secs
lola: 1872400 markings, 2001243 edges, 181822 markings/sec, 5 secs
lola: 2786861 markings, 2961302 edges, 182892 markings/sec, 10 secs
lola: 3666306 markings, 3919655 edges, 175889 markings/sec, 15 secs
lola: 4558847 markings, 4850744 edges, 178508 markings/sec, 20 secs
lola: 5443917 markings, 5778394 edges, 177014 markings/sec, 25 secs
lola: 6330044 markings, 6708529 edges, 177225 markings/sec, 30 secs
lola: 7219893 markings, 7644919 edges, 177970 markings/sec, 35 secs
lola: 8116164 markings, 8594516 edges, 179254 markings/sec, 40 secs
lola: 8847893 markings, 9614206 edges, 146346 markings/sec, 45 secs
lola: 9755193 markings, 10565593 edges, 181460 markings/sec, 50 secs
lola: 10634645 markings, 11526327 edges, 175890 markings/sec, 55 secs
lola: 11526264 markings, 12454672 edges, 178324 markings/sec, 60 secs
lola: 12411726 markings, 13380800 edges, 177092 markings/sec, 65 secs
lola: 13294375 markings, 14306812 edges, 176530 markings/sec, 70 secs
lola: 14181870 markings, 15239852 edges, 177499 markings/sec, 75 secs
lola: 15066753 markings, 16178831 edges, 176977 markings/sec, 80 secs
lola: 15974714 markings, 17144225 edges, 181592 markings/sec, 85 secs
lola: 16691547 markings, 18134639 edges, 143367 markings/sec, 90 secs
lola: 17496165 markings, 18973065 edges, 160924 markings/sec, 95 secs
lola: 18314089 markings, 19827424 edges, 163585 markings/sec, 100 secs
lola: 19131401 markings, 20681106 edges, 163462 markings/sec, 105 secs
lola: 19944420 markings, 21533067 edges, 162604 markings/sec, 110 secs
lola: 20753667 markings, 22382169 edges, 161849 markings/sec, 115 secs
lola: 21608165 markings, 23277754 edges, 170900 markings/sec, 120 secs
lola: 22458923 markings, 24171336 edges, 170152 markings/sec, 125 secs
lola: 23313199 markings, 25068351 edges, 170855 markings/sec, 130 secs
lola: 24159912 markings, 25956627 edges, 169343 markings/sec, 135 secs
lola: 25008409 markings, 26846734 edges, 169699 markings/sec, 140 secs
lola: 25850895 markings, 27731718 edges, 168497 markings/sec, 145 secs
lola: 26706132 markings, 28630870 edges, 171047 markings/sec, 150 secs
lola: 27533750 markings, 29501584 edges, 165524 markings/sec, 155 secs
lola: 28362523 markings, 30374208 edges, 165755 markings/sec, 160 secs
lola: 29202809 markings, 31258756 edges, 168057 markings/sec, 165 secs
lola: 30038439 markings, 32138510 edges, 167126 markings/sec, 170 secs
lola: 30877182 markings, 33023320 edges, 167749 markings/sec, 175 secs
lola: 31714417 markings, 33905802 edges, 167447 markings/sec, 180 secs
lola: 32549076 markings, 34787805 edges, 166932 markings/sec, 185 secs
lola: 33389778 markings, 35676995 edges, 168140 markings/sec, 190 secs
lola: 34220919 markings, 36554441 edges, 166228 markings/sec, 195 secs
lola: 35057114 markings, 37438205 edges, 167239 markings/sec, 200 secs
lola: 35899550 markings, 38326475 edges, 168487 markings/sec, 205 secs
lola: 36769128 markings, 39238157 edges, 173916 markings/sec, 210 secs
lola: 37627512 markings, 40141893 edges, 171677 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(po1_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 423603 markings, 788120 edges, 84721 markings/sec, 0 secs
lola: 886543 markings, 1476125 edges, 92588 markings/sec, 5 secs
lola: 1329070 markings, 2133614 edges, 88505 markings/sec, 10 secs
lola: 1711655 markings, 2844690 edges, 76517 markings/sec, 15 secs
lola: 1851589 markings, 3881252 edges, 27987 markings/sec, 20 secs
lola: 2033870 markings, 4849513 edges, 36456 markings/sec, 25 secs
lola: 2449051 markings, 5461700 edges, 83036 markings/sec, 30 secs
lola: 2794611 markings, 6125994 edges, 69112 markings/sec, 35 secs
lola: 2972203 markings, 6975930 edges, 35518 markings/sec, 40 secs
lola: 3390761 markings, 7640040 edges, 83712 markings/sec, 45 secs
lola: 3812545 markings, 8280581 edges, 84357 markings/sec, 50 secs
lola: 4211155 markings, 8893449 edges, 79722 markings/sec, 55 secs
lola: 4537925 markings, 9604767 edges, 65354 markings/sec, 60 secs
lola: 4575141 markings, 10643735 edges, 7443 markings/sec, 65 secs
lola: 4788126 markings, 11462636 edges, 42597 markings/sec, 70 secs
lola: 5166964 markings, 12152748 edges, 75768 markings/sec, 75 secs
lola: 5612157 markings, 12747273 edges, 89039 markings/sec, 80 secs
lola: 6053130 markings, 13348161 edges, 88195 markings/sec, 85 secs
lola: 6489133 markings, 13955821 edges, 87201 markings/sec, 90 secs
lola: 6921558 markings, 14555073 edges, 86485 markings/sec, 95 secs
lola: 7348581 markings, 15162319 edges, 85405 markings/sec, 100 secs
lola: 7774814 markings, 15771458 edges, 85247 markings/sec, 105 secs
lola: 8194075 markings, 16382146 edges, 83852 markings/sec, 110 secs
lola: 8612173 markings, 16998036 edges, 83620 markings/sec, 115 secs
lola: 9024688 markings, 17615358 edges, 82503 markings/sec, 120 secs
lola: 9439075 markings, 18232304 edges, 82877 markings/sec, 125 secs
lola: 9850780 markings, 18852707 edges, 82341 markings/sec, 130 secs
lola: 10260775 markings, 19475650 edges, 81999 markings/sec, 135 secs
lola: 10668921 markings, 20093851 edges, 81629 markings/sec, 140 secs
lola: 11076980 markings, 20711377 edges, 81612 markings/sec, 145 secs
lola: 11481379 markings, 21327848 edges, 80880 markings/sec, 150 secs
lola: 11885208 markings, 21940588 edges, 80766 markings/sec, 155 secs
lola: 12284388 markings, 22564086 edges, 79836 markings/sec, 160 secs
lola: 12680592 markings, 23195905 edges, 79241 markings/sec, 165 secs
lola: 13066498 markings, 23861211 edges, 77181 markings/sec, 170 secs
lola: 13392671 markings, 24620528 edges, 65235 markings/sec, 175 secs
lola: 13805650 markings, 25279228 edges, 82596 markings/sec, 180 secs
lola: 14206123 markings, 25917935 edges, 80095 markings/sec, 185 secs
lola: 14617074 markings, 26545869 edges, 82190 markings/sec, 190 secs
lola: 14995975 markings, 27192860 edges, 75780 markings/sec, 195 secs
lola: 15400701 markings, 27803462 edges, 80945 markings/sec, 200 secs
lola: 15797975 markings, 28416836 edges, 79455 markings/sec, 205 secs
lola: 16176026 markings, 29041570 edges, 75610 markings/sec, 210 secs
lola: 16565047 markings, 29653094 edges, 77804 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(po1_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 352060 markings, 714044 edges, 70412 markings/sec, 0 secs
lola: 567952 markings, 1544991 edges, 43178 markings/sec, 5 secs
lola: 839180 markings, 2287128 edges, 54246 markings/sec, 10 secs
lola: 1159612 markings, 2876650 edges, 64086 markings/sec, 15 secs
lola: 1455551 markings, 3484665 edges, 59188 markings/sec, 20 secs
lola: 1735325 markings, 4117233 edges, 55955 markings/sec, 25 secs
lola: 1999398 markings, 4781812 edges, 52815 markings/sec, 30 secs
lola: 2208505 markings, 5514546 edges, 41821 markings/sec, 35 secs
lola: 2219608 markings, 6512950 edges, 2221 markings/sec, 40 secs
lola: 2347767 markings, 7372338 edges, 25632 markings/sec, 45 secs
lola: 2592131 markings, 8094958 edges, 48873 markings/sec, 50 secs
lola: 2850692 markings, 8773735 edges, 51712 markings/sec, 55 secs
lola: 3148715 markings, 9354147 edges, 59605 markings/sec, 60 secs
lola: 3428925 markings, 9952842 edges, 56042 markings/sec, 65 secs
lola: 3701229 markings, 10592578 edges, 54461 markings/sec, 70 secs
lola: 3967184 markings, 11255665 edges, 53191 markings/sec, 75 secs
lola: 4081900 markings, 12151163 edges, 22943 markings/sec, 80 secs
lola: 4086542 markings, 13106954 edges, 928 markings/sec, 85 secs
lola: 4301010 markings, 13863073 edges, 42894 markings/sec, 90 secs
lola: 4583451 markings, 14485399 edges, 56488 markings/sec, 95 secs
lola: 4874458 markings, 15069105 edges, 58201 markings/sec, 100 secs
lola: 5150756 markings, 15668865 edges, 55260 markings/sec, 105 secs
lola: 5412002 markings, 16305401 edges, 52249 markings/sec, 110 secs
lola: 5673221 markings, 16964485 edges, 52244 markings/sec, 115 secs
lola: 5736340 markings, 17888958 edges, 12624 markings/sec, 120 secs
lola: 5739757 markings, 18830951 edges, 683 markings/sec, 125 secs
lola: 6049233 markings, 19399785 edges, 61895 markings/sec, 130 secs
lola: 6359994 markings, 19935884 edges, 62152 markings/sec, 135 secs
lola: 6661801 markings, 20480009 edges, 60361 markings/sec, 140 secs
lola: 6957811 markings, 21026695 edges, 59202 markings/sec, 145 secs
lola: 7250858 markings, 21578305 edges, 58609 markings/sec, 150 secs
lola: 7537586 markings, 22130629 edges, 57346 markings/sec, 155 secs
lola: 7819806 markings, 22688408 edges, 56444 markings/sec, 160 secs
lola: 8101301 markings, 23242053 edges, 56299 markings/sec, 165 secs
lola: 8380285 markings, 23801315 edges, 55797 markings/sec, 170 secs
lola: 8656874 markings, 24364523 edges, 55318 markings/sec, 175 secs
lola: 8932419 markings, 24927325 edges, 55109 markings/sec, 180 secs
lola: 9205855 markings, 25487449 edges, 54687 markings/sec, 185 secs
lola: 9479122 markings, 26056480 edges, 54653 markings/sec, 190 secs
lola: 9751337 markings, 26624133 edges, 54443 markings/sec, 195 secs
lola: 10018561 markings, 27196692 edges, 53445 markings/sec, 200 secs
lola: 10286344 markings, 27768633 edges, 53557 markings/sec, 205 secs
lola: 10548784 markings, 28350643 edges, 52488 markings/sec, 210 secs
lola: 10809224 markings, 28932517 edges, 52088 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(pbl_4_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 386841 markings, 758830 edges, 77368 markings/sec, 0 secs
lola: 644477 markings, 1615190 edges, 51527 markings/sec, 5 secs
lola: 870200 markings, 2524188 edges, 45145 markings/sec, 10 secs
lola: 1140497 markings, 3288648 edges, 54059 markings/sec, 15 secs
lola: 1340540 markings, 4215698 edges, 40009 markings/sec, 20 secs
lola: 1625366 markings, 4954260 edges, 56965 markings/sec, 25 secs
lola: 1826752 markings, 5882447 edges, 40277 markings/sec, 30 secs
lola: 2206208 markings, 6552007 edges, 75891 markings/sec, 35 secs
lola: 2571558 markings, 7230967 edges, 73070 markings/sec, 40 secs
lola: 2921494 markings, 7913195 edges, 69987 markings/sec, 45 secs
lola: 3263117 markings, 8602982 edges, 68325 markings/sec, 50 secs
lola: 3589999 markings, 9293570 edges, 65376 markings/sec, 55 secs
lola: 3906471 markings, 9978816 edges, 63294 markings/sec, 60 secs
lola: 4208241 markings, 10666064 edges, 60354 markings/sec, 65 secs
lola: 4495882 markings, 11358409 edges, 57528 markings/sec, 70 secs
lola: 4772689 markings, 12053620 edges, 55361 markings/sec, 75 secs
lola: 5038829 markings, 12750634 edges, 53228 markings/sec, 80 secs
lola: 5291538 markings, 13457335 edges, 50542 markings/sec, 85 secs
lola: 5535119 markings, 14174774 edges, 48716 markings/sec, 90 secs
lola: 5763745 markings, 14933885 edges, 45725 markings/sec, 95 secs
lola: 5980149 markings, 15728565 edges, 43281 markings/sec, 100 secs
lola: 6196989 markings, 16621154 edges, 43368 markings/sec, 105 secs
lola: 6273944 markings, 17623396 edges, 15391 markings/sec, 110 secs
lola: 6279485 markings, 18593992 edges, 1108 markings/sec, 115 secs
lola: 6282302 markings, 19554541 edges, 563 markings/sec, 120 secs
lola: 6284615 markings, 20509858 edges, 463 markings/sec, 125 secs
lola: 6286781 markings, 21474152 edges, 433 markings/sec, 130 secs
lola: 6289546 markings, 22451021 edges, 553 markings/sec, 135 secs
lola: 6292212 markings, 23444980 edges, 533 markings/sec, 140 secs
lola: 6453781 markings, 24323415 edges, 32314 markings/sec, 145 secs
lola: 6726765 markings, 24950544 edges, 54597 markings/sec, 150 secs
lola: 6834083 markings, 25818498 edges, 21464 markings/sec, 155 secs
lola: 7138653 markings, 26464952 edges, 60914 markings/sec, 160 secs
lola: 7292512 markings, 27285529 edges, 30772 markings/sec, 165 secs
lola: 7586592 markings, 27996006 edges, 58816 markings/sec, 170 secs
lola: 7934999 markings, 28620757 edges, 69681 markings/sec, 175 secs
lola: 8267825 markings, 29244098 edges, 66565 markings/sec, 180 secs
lola: 8588149 markings, 29867356 edges, 64065 markings/sec, 185 secs
lola: 8895951 markings, 30491832 edges, 61560 markings/sec, 190 secs
lola: 9192557 markings, 31113411 edges, 59321 markings/sec, 195 secs
lola: 9477080 markings, 31728483 edges, 56905 markings/sec, 200 secs
lola: 9752576 markings, 32349782 edges, 55099 markings/sec, 205 secs
lola: 10018071 markings, 32972742 edges, 53099 markings/sec, 210 secs
lola: 10270382 markings, 33589299 edges, 50462 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(pi2_5_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 548413 markings, 794880 edges, 109683 markings/sec, 0 secs
lola: 1006973 markings, 1624855 edges, 91712 markings/sec, 5 secs
lola: 1391648 markings, 2502591 edges, 76935 markings/sec, 10 secs
lola: 1693019 markings, 3467745 edges, 60274 markings/sec, 15 secs
lola: 2108699 markings, 4262030 edges, 83136 markings/sec, 20 secs
lola: 2503836 markings, 5067283 edges, 79027 markings/sec, 25 secs
lola: 2776701 markings, 6028858 edges, 54573 markings/sec, 30 secs
lola: 3026989 markings, 7040830 edges, 50058 markings/sec, 35 secs
lola: 3432067 markings, 7883896 edges, 81016 markings/sec, 40 secs
lola: 3721755 markings, 8824270 edges, 57938 markings/sec, 45 secs
lola: 4048256 markings, 9780961 edges, 65300 markings/sec, 50 secs
lola: 4348522 markings, 10740151 edges, 60053 markings/sec, 55 secs
lola: 4690875 markings, 11651702 edges, 68471 markings/sec, 60 secs
lola: 5105822 markings, 12405955 edges, 82989 markings/sec, 65 secs
lola: 5507451 markings, 13148044 edges, 80326 markings/sec, 70 secs
lola: 5903654 markings, 13896868 edges, 79241 markings/sec, 75 secs
lola: 6295225 markings, 14645274 edges, 78314 markings/sec, 80 secs
lola: 6677326 markings, 15405795 edges, 76420 markings/sec, 85 secs
lola: 7054418 markings, 16181198 edges, 75418 markings/sec, 90 secs
lola: 7427291 markings, 16963330 edges, 74575 markings/sec, 95 secs
lola: 7788379 markings, 17756906 edges, 72218 markings/sec, 100 secs
lola: 8147465 markings, 18547076 edges, 71817 markings/sec, 105 secs
lola: 8505078 markings, 19331837 edges, 71523 markings/sec, 110 secs
lola: 8856902 markings, 20128037 edges, 70365 markings/sec, 115 secs
lola: 9209863 markings, 20918652 edges, 70592 markings/sec, 120 secs
lola: 9557371 markings, 21714870 edges, 69502 markings/sec, 125 secs
lola: 9852812 markings, 22568946 edges, 59088 markings/sec, 130 secs
lola: 10220718 markings, 23368521 edges, 73581 markings/sec, 135 secs
lola: 10342400 markings, 24512195 edges, 24336 markings/sec, 140 secs
lola: 10382659 markings, 25700447 edges, 8052 markings/sec, 145 secs
lola: 10401166 markings, 26861821 edges, 3701 markings/sec, 150 secs
lola: 10414195 markings, 28011565 edges, 2606 markings/sec, 155 secs
lola: 10421562 markings, 29167372 edges, 1473 markings/sec, 160 secs
lola: 10425576 markings, 30313330 edges, 803 markings/sec, 165 secs
lola: 10427877 markings, 31502269 edges, 460 markings/sec, 170 secs
lola: 10810313 markings, 32343397 edges, 76487 markings/sec, 175 secs
lola: 11192396 markings, 33133409 edges, 76417 markings/sec, 180 secs
lola: 11420585 markings, 34182466 edges, 45638 markings/sec, 185 secs
lola: 11835831 markings, 34930690 edges, 83049 markings/sec, 190 secs
lola: 12240522 markings, 35661508 edges, 80938 markings/sec, 195 secs
lola: 12634338 markings, 36386882 edges, 78763 markings/sec, 200 secs
lola: 13015339 markings, 37124364 edges, 76200 markings/sec, 205 secs
lola: 13391738 markings, 37866176 edges, 75280 markings/sec, 210 secs
lola: 13759742 markings, 38613657 edges, 73601 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(pb3_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 357288 markings, 710279 edges, 71458 markings/sec, 0 secs
lola: 573499 markings, 1559854 edges, 43242 markings/sec, 5 secs
lola: 853472 markings, 2309348 edges, 55995 markings/sec, 10 secs
lola: 1179336 markings, 2911715 edges, 65173 markings/sec, 15 secs
lola: 1479257 markings, 3531340 edges, 59984 markings/sec, 20 secs
lola: 1762304 markings, 4177325 edges, 56609 markings/sec, 25 secs
lola: 2032732 markings, 4853489 edges, 54086 markings/sec, 30 secs
lola: 2217881 markings, 5695655 edges, 37030 markings/sec, 35 secs
lola: 2225863 markings, 6725650 edges, 1596 markings/sec, 40 secs
lola: 2423704 markings, 7542244 edges, 39568 markings/sec, 45 secs
lola: 2654133 markings, 8331798 edges, 46086 markings/sec, 50 secs
lola: 2953892 markings, 8964254 edges, 59952 markings/sec, 55 secs
lola: 3252587 markings, 9565797 edges, 59739 markings/sec, 60 secs
lola: 3536335 markings, 10188046 edges, 56750 markings/sec, 65 secs
lola: 3803462 markings, 10850338 edges, 53425 markings/sec, 70 secs
lola: 4064832 markings, 11536023 edges, 52274 markings/sec, 75 secs
lola: 4090083 markings, 12523341 edges, 5050 markings/sec, 80 secs
lola: 4146041 markings, 13455779 edges, 11192 markings/sec, 85 secs
lola: 4405461 markings, 14157340 edges, 51884 markings/sec, 90 secs
lola: 4713216 markings, 14732857 edges, 61551 markings/sec, 95 secs
lola: 4998810 markings, 15324723 edges, 57119 markings/sec, 100 secs
lola: 5270600 markings, 15942907 edges, 54358 markings/sec, 105 secs
lola: 5528988 markings, 16593481 edges, 51678 markings/sec, 110 secs
lola: 5733539 markings, 17354265 edges, 40910 markings/sec, 115 secs
lola: 5744012 markings, 18310251 edges, 2095 markings/sec, 120 secs
lola: 5880179 markings, 19123120 edges, 27233 markings/sec, 125 secs
lola: 6204646 markings, 19662516 edges, 64893 markings/sec, 130 secs
lola: 6511904 markings, 20206795 edges, 61452 markings/sec, 135 secs
lola: 6813602 markings, 20756542 edges, 60340 markings/sec, 140 secs
lola: 7110340 markings, 21307990 edges, 59348 markings/sec, 145 secs
lola: 7402571 markings, 21862301 edges, 58446 markings/sec, 150 secs
lola: 7687896 markings, 22419944 edges, 57065 markings/sec, 155 secs
lola: 7970793 markings, 22982966 edges, 56579 markings/sec, 160 secs
lola: 8253327 markings, 23542115 edges, 56507 markings/sec, 165 secs
lola: 8534780 markings, 24112971 edges, 56291 markings/sec, 170 secs
lola: 8815344 markings, 24681925 edges, 56113 markings/sec, 175 secs
lola: 9093341 markings, 25252032 edges, 55599 markings/sec, 180 secs
lola: 9369855 markings, 25822250 edges, 55303 markings/sec, 185 secs
lola: 9644317 markings, 26395905 edges, 54892 markings/sec, 190 secs
lola: 9915011 markings, 26974314 edges, 54139 markings/sec, 195 secs
lola: 10187491 markings, 27550064 edges, 54496 markings/sec, 200 secs
lola: 10450656 markings, 28129649 edges, 52633 markings/sec, 205 secs
lola: 10714852 markings, 28719987 edges, 52839 markings/sec, 210 secs
lola: 10982350 markings, 29309779 edges, 53500 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(pol3_5_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 638245 markings, 937956 edges, 127649 markings/sec, 0 secs
lola: 1257137 markings, 1861259 edges, 123778 markings/sec, 5 secs
lola: 1851798 markings, 2751376 edges, 118932 markings/sec, 10 secs
lola: 2433537 markings, 3622239 edges, 116348 markings/sec, 15 secs
lola: 3015528 markings, 4494008 edges, 116398 markings/sec, 20 secs
lola: 3588615 markings, 5353619 edges, 114617 markings/sec, 25 secs
lola: 4164361 markings, 6215327 edges, 115149 markings/sec, 30 secs
lola: 4735757 markings, 7070703 edges, 114279 markings/sec, 35 secs
lola: 5314017 markings, 7937264 edges, 115652 markings/sec, 40 secs
lola: 5876932 markings, 8781408 edges, 112583 markings/sec, 45 secs
lola: 6447214 markings, 9634829 edges, 114056 markings/sec, 50 secs
lola: 7020497 markings, 10492861 edges, 114657 markings/sec, 55 secs
lola: 7592312 markings, 11350108 edges, 114363 markings/sec, 60 secs
lola: 8155525 markings, 12194830 edges, 112643 markings/sec, 65 secs
lola: 8722343 markings, 13042777 edges, 113364 markings/sec, 70 secs
lola: 9292428 markings, 13896106 edges, 114017 markings/sec, 75 secs
lola: 9864380 markings, 14753802 edges, 114390 markings/sec, 80 secs
lola: 10433427 markings, 15606638 edges, 113809 markings/sec, 85 secs
lola: 10996119 markings, 16448559 edges, 112538 markings/sec, 90 secs
lola: 11561191 markings, 17297078 edges, 113014 markings/sec, 95 secs
lola: 12093073 markings, 18172399 edges, 106376 markings/sec, 100 secs
lola: 12513857 markings, 19135132 edges, 84157 markings/sec, 105 secs
lola: 12890772 markings, 20100826 edges, 75383 markings/sec, 110 secs
lola: 13238987 markings, 21033484 edges, 69643 markings/sec, 115 secs
lola: 13648354 markings, 21868768 edges, 81873 markings/sec, 120 secs
lola: 14036661 markings, 22705623 edges, 77661 markings/sec, 125 secs
lola: 14402417 markings, 23547845 edges, 73151 markings/sec, 130 secs
lola: 14593882 markings, 24586453 edges, 38293 markings/sec, 135 secs
lola: 14600763 markings, 25670148 edges, 1376 markings/sec, 140 secs
lola: 14957093 markings, 26578161 edges, 71266 markings/sec, 145 secs
lola: 15390510 markings, 27359948 edges, 86683 markings/sec, 150 secs
lola: 15785971 markings, 28138395 edges, 79092 markings/sec, 155 secs
lola: 16189104 markings, 29019130 edges, 80627 markings/sec, 160 secs
lola: 16587461 markings, 29795135 edges, 79671 markings/sec, 165 secs
lola: 16973692 markings, 30617063 edges, 77246 markings/sec, 170 secs
lola: 17367470 markings, 31427363 edges, 78756 markings/sec, 175 secs
lola: 17737436 markings, 32224603 edges, 73993 markings/sec, 180 secs
lola: 18126923 markings, 33039711 edges, 77897 markings/sec, 185 secs
lola: 18507172 markings, 33836316 edges, 76050 markings/sec, 190 secs
lola: 18884368 markings, 34635545 edges, 75439 markings/sec, 195 secs
lola: 19256126 markings, 35439388 edges, 74352 markings/sec, 200 secs
lola: 19625389 markings, 36251150 edges, 73853 markings/sec, 205 secs
lola: 19982910 markings, 37067832 edges, 71504 markings/sec, 210 secs
lola: 20339823 markings, 37879923 edges, 71383 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(pil1_3_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 648749 markings, 895721 edges, 129750 markings/sec, 0 secs
lola: 1143857 markings, 1890697 edges, 99022 markings/sec, 5 secs
lola: 1729992 markings, 2738330 edges, 117227 markings/sec, 10 secs
lola: 2305509 markings, 3581031 edges, 115103 markings/sec, 15 secs
lola: 2868365 markings, 4411574 edges, 112571 markings/sec, 20 secs
lola: 3428277 markings, 5239290 edges, 111982 markings/sec, 25 secs
lola: 3987442 markings, 6123585 edges, 111833 markings/sec, 30 secs
lola: 4511786 markings, 7127034 edges, 104869 markings/sec, 35 secs
lola: 4609597 markings, 8255968 edges, 19562 markings/sec, 40 secs
lola: 5151323 markings, 9115580 edges, 108345 markings/sec, 45 secs
lola: 5703871 markings, 9900402 edges, 110510 markings/sec, 50 secs
lola: 6249777 markings, 10708280 edges, 109181 markings/sec, 55 secs
lola: 6784485 markings, 11507739 edges, 106942 markings/sec, 60 secs
lola: 7325109 markings, 12338959 edges, 108125 markings/sec, 65 secs
lola: 7860959 markings, 13133895 edges, 107170 markings/sec, 70 secs
lola: 8378719 markings, 13945370 edges, 103552 markings/sec, 75 secs
lola: 8898684 markings, 14720343 edges, 103993 markings/sec, 80 secs
lola: 9426182 markings, 15511150 edges, 105500 markings/sec, 85 secs
lola: 9953688 markings, 16293440 edges, 105501 markings/sec, 90 secs
lola: 10482342 markings, 17078139 edges, 105731 markings/sec, 95 secs
lola: 11008756 markings, 17862721 edges, 105283 markings/sec, 100 secs
lola: 11535604 markings, 18649371 edges, 105370 markings/sec, 105 secs
lola: 12068301 markings, 19444334 edges, 106539 markings/sec, 110 secs
lola: 12593240 markings, 20232994 edges, 104988 markings/sec, 115 secs
lola: 13106457 markings, 21031151 edges, 102643 markings/sec, 120 secs
lola: 13598526 markings, 21846997 edges, 98414 markings/sec, 125 secs
lola: 14126859 markings, 22704798 edges, 105667 markings/sec, 130 secs
lola: 14739357 markings, 23591556 edges, 122500 markings/sec, 135 secs
lola: 15331254 markings, 24461094 edges, 118379 markings/sec, 140 secs
lola: 15913951 markings, 25323393 edges, 116539 markings/sec, 145 secs
lola: 16487980 markings, 26179037 edges, 114806 markings/sec, 150 secs
lola: 16857181 markings, 27199098 edges, 73840 markings/sec, 155 secs
lola: 17125580 markings, 28295315 edges, 53680 markings/sec, 160 secs
lola: 17186553 markings, 29313334 edges, 12195 markings/sec, 165 secs
lola: 17232464 markings, 30306315 edges, 9182 markings/sec, 170 secs
lola: 17270836 markings, 31301860 edges, 7674 markings/sec, 175 secs
lola: 17452422 markings, 32301027 edges, 36317 markings/sec, 180 secs
lola: 17980310 markings, 33126376 edges, 105578 markings/sec, 185 secs
lola: 18447505 markings, 33979646 edges, 93439 markings/sec, 190 secs
lola: 18996635 markings, 34756245 edges, 109826 markings/sec, 195 secs
lola: 19530787 markings, 35521344 edges, 106830 markings/sec, 200 secs
lola: 20051136 markings, 36282359 edges, 104070 markings/sec, 205 secs
lola: 20594677 markings, 37130133 edges, 108708 markings/sec, 210 secs
lola: 21136790 markings, 37946374 edges, 108423 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(pol2_5_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 680879 markings, 791216 edges, 136176 markings/sec, 0 secs
lola: 1107824 markings, 2132729 edges, 85389 markings/sec, 5 secs
lola: 1677223 markings, 3258312 edges, 113880 markings/sec, 10 secs
lola: 2195110 markings, 4361192 edges, 103577 markings/sec, 15 secs
lola: 2674298 markings, 5480262 edges, 95838 markings/sec, 20 secs
lola: 2960282 markings, 6759915 edges, 57197 markings/sec, 25 secs
lola: 3007757 markings, 8089994 edges, 9495 markings/sec, 30 secs
lola: 3531671 markings, 9236382 edges, 104783 markings/sec, 35 secs
lola: 4093822 markings, 10264052 edges, 112430 markings/sec, 40 secs
lola: 4600301 markings, 11340855 edges, 101296 markings/sec, 45 secs
lola: 5119758 markings, 12361749 edges, 103891 markings/sec, 50 secs
lola: 5622161 markings, 13372763 edges, 100481 markings/sec, 55 secs
lola: 6120735 markings, 14398406 edges, 99715 markings/sec, 60 secs
lola: 6598569 markings, 15442766 edges, 95567 markings/sec, 65 secs
lola: 7079681 markings, 16551381 edges, 96222 markings/sec, 70 secs
lola: 7546939 markings, 17560836 edges, 93452 markings/sec, 75 secs
lola: 8002132 markings, 18578932 edges, 91039 markings/sec, 80 secs
lola: 8454078 markings, 19596530 edges, 90389 markings/sec, 85 secs
lola: 8911806 markings, 20668467 edges, 91546 markings/sec, 90 secs
lola: 9366978 markings, 21736116 edges, 91034 markings/sec, 95 secs
lola: 9806008 markings, 22784975 edges, 87806 markings/sec, 100 secs
lola: 10220538 markings, 23865309 edges, 82906 markings/sec, 105 secs
lola: 10538668 markings, 25083524 edges, 63626 markings/sec, 110 secs
lola: 10551281 markings, 26296784 edges, 2523 markings/sec, 115 secs
lola: 10560480 markings, 27431014 edges, 1840 markings/sec, 120 secs
lola: 10568189 markings, 28543690 edges, 1542 markings/sec, 125 secs
lola: 10575686 markings, 29658034 edges, 1499 markings/sec, 130 secs
lola: 10582670 markings, 30779653 edges, 1397 markings/sec, 135 secs
lola: 10586808 markings, 31964260 edges, 828 markings/sec, 140 secs
lola: 10986972 markings, 33133074 edges, 80033 markings/sec, 145 secs
lola: 11275589 markings, 34324661 edges, 57723 markings/sec, 150 secs
lola: 11721122 markings, 35313644 edges, 89107 markings/sec, 155 secs
lola: 12128396 markings, 36323427 edges, 81455 markings/sec, 160 secs
lola: 12506993 markings, 37345867 edges, 75719 markings/sec, 165 secs
lola: 12860866 markings, 38415860 edges, 70775 markings/sec, 170 secs
lola: 12928711 markings, 39581871 edges, 13569 markings/sec, 175 secs
lola: 12933588 markings, 40670712 edges, 975 markings/sec, 180 secs
lola: 13254596 markings, 41811707 edges, 64202 markings/sec, 185 secs
lola: 13760718 markings, 42800780 edges, 101224 markings/sec, 190 secs
lola: 14192780 markings, 43766542 edges, 86412 markings/sec, 195 secs
lola: 14620927 markings, 44780505 edges, 85629 markings/sec, 200 secs
lola: 15049115 markings, 45724853 edges, 85638 markings/sec, 205 secs
lola: 15462529 markings, 46659615 edges, 82683 markings/sec, 210 secs
lola: 15865757 markings, 47590739 edges, 80646 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(pi3_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 904153 markings, 1037634 edges, 180831 markings/sec, 0 secs
lola: 1741289 markings, 2004691 edges, 167427 markings/sec, 5 secs
lola: 2567166 markings, 2965808 edges, 165175 markings/sec, 10 secs
lola: 3402509 markings, 3938163 edges, 167069 markings/sec, 15 secs
lola: 4228390 markings, 4899216 edges, 165176 markings/sec, 20 secs
lola: 5019445 markings, 5820299 edges, 158211 markings/sec, 25 secs
lola: 5816480 markings, 6750848 edges, 159407 markings/sec, 30 secs
lola: 6601102 markings, 7665803 edges, 156924 markings/sec, 35 secs
lola: 7373707 markings, 8565570 edges, 154521 markings/sec, 40 secs
lola: 8149292 markings, 9470800 edges, 155117 markings/sec, 45 secs
lola: 8926720 markings, 10377380 edges, 155486 markings/sec, 50 secs
lola: 9674824 markings, 11248509 edges, 149621 markings/sec, 55 secs
lola: 10442562 markings, 12144841 edges, 153548 markings/sec, 60 secs
lola: 11209987 markings, 13039701 edges, 153485 markings/sec, 65 secs
lola: 11965585 markings, 13919433 edges, 151120 markings/sec, 70 secs
lola: 12729000 markings, 14810617 edges, 152683 markings/sec, 75 secs
lola: 13491589 markings, 15700369 edges, 152518 markings/sec, 80 secs
lola: 14242682 markings, 16574671 edges, 150219 markings/sec, 85 secs
lola: 14997839 markings, 17455929 edges, 151031 markings/sec, 90 secs
lola: 15756749 markings, 18341427 edges, 151782 markings/sec, 95 secs
lola: 16513662 markings, 19222524 edges, 151383 markings/sec, 100 secs
lola: 17270177 markings, 20105366 edges, 151303 markings/sec, 105 secs
lola: 18029005 markings, 20991046 edges, 151766 markings/sec, 110 secs
lola: 18787600 markings, 21873753 edges, 151719 markings/sec, 115 secs
lola: 19543888 markings, 22756285 edges, 151258 markings/sec, 120 secs
lola: 20312980 markings, 23654077 edges, 153818 markings/sec, 125 secs
lola: 21078510 markings, 24545094 edges, 153106 markings/sec, 130 secs
lola: 21831442 markings, 25423762 edges, 150586 markings/sec, 135 secs
lola: 22591570 markings, 26310868 edges, 152026 markings/sec, 140 secs
lola: 23348988 markings, 27192551 edges, 151484 markings/sec, 145 secs
lola: 24089596 markings, 28056492 edges, 148122 markings/sec, 150 secs
lola: 24848850 markings, 28943081 edges, 151851 markings/sec, 155 secs
lola: 25599991 markings, 29817354 edges, 150228 markings/sec, 160 secs
lola: 26336946 markings, 30676856 edges, 147391 markings/sec, 165 secs
lola: 27094113 markings, 31560618 edges, 151433 markings/sec, 170 secs
lola: 27847492 markings, 32437905 edges, 150676 markings/sec, 175 secs
lola: 28572184 markings, 33282993 edges, 144938 markings/sec, 180 secs
lola: 29340367 markings, 34180006 edges, 153637 markings/sec, 185 secs
lola: 30104659 markings, 35069935 edges, 152858 markings/sec, 190 secs
lola: 30835593 markings, 35922017 edges, 146187 markings/sec, 195 secs
lola: 31594017 markings, 36807403 edges, 151685 markings/sec, 200 secs
lola: 32358469 markings, 37697975 edges, 152890 markings/sec, 205 secs
lola: 33084951 markings, 38544608 edges, 145296 markings/sec, 210 secs
lola: 33839781 markings, 39425724 edges, 150966 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(pb2_5_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 537589 markings, 787915 edges, 107518 markings/sec, 0 secs
lola: 1036781 markings, 1527724 edges, 99838 markings/sec, 5 secs
lola: 1525814 markings, 2260340 edges, 97807 markings/sec, 10 secs
lola: 2013066 markings, 2991760 edges, 97450 markings/sec, 15 secs
lola: 2508585 markings, 3735207 edges, 99104 markings/sec, 20 secs
lola: 3003138 markings, 4477515 edges, 98911 markings/sec, 25 secs
lola: 3491128 markings, 5209868 edges, 97598 markings/sec, 30 secs
lola: 3964763 markings, 5913261 edges, 94727 markings/sec, 35 secs
lola: 4434923 markings, 6606872 edges, 94032 markings/sec, 40 secs
lola: 4906037 markings, 7303794 edges, 94223 markings/sec, 45 secs
lola: 5370408 markings, 7989402 edges, 92874 markings/sec, 50 secs
lola: 5842730 markings, 8688313 edges, 94464 markings/sec, 55 secs
lola: 6317008 markings, 9390731 edges, 94856 markings/sec, 60 secs
lola: 6785244 markings, 10082481 edges, 93647 markings/sec, 65 secs
lola: 7256414 markings, 10777905 edges, 94234 markings/sec, 70 secs
lola: 7722337 markings, 11469195 edges, 93185 markings/sec, 75 secs
lola: 8198205 markings, 12174310 edges, 95174 markings/sec, 80 secs
lola: 8667851 markings, 12867386 edges, 93929 markings/sec, 85 secs
lola: 9141893 markings, 13567614 edges, 94808 markings/sec, 90 secs
lola: 9606826 markings, 14252564 edges, 92987 markings/sec, 95 secs
lola: 10073037 markings, 14945622 edges, 93242 markings/sec, 100 secs
lola: 10543245 markings, 15641057 edges, 94042 markings/sec, 105 secs
lola: 11007506 markings, 16326997 edges, 92852 markings/sec, 110 secs
lola: 11474922 markings, 17017422 edges, 93483 markings/sec, 115 secs
lola: 11939878 markings, 17707259 edges, 92991 markings/sec, 120 secs
lola: 12347481 markings, 18522508 edges, 81521 markings/sec, 125 secs
lola: 12701118 markings, 19360189 edges, 70727 markings/sec, 130 secs
lola: 13070530 markings, 20174668 edges, 73882 markings/sec, 135 secs
lola: 13336069 markings, 21109610 edges, 53108 markings/sec, 140 secs
lola: 13713082 markings, 21839971 edges, 75403 markings/sec, 145 secs
lola: 14073844 markings, 22589658 edges, 72152 markings/sec, 150 secs
lola: 14437455 markings, 23374926 edges, 72722 markings/sec, 155 secs
lola: 14794451 markings, 24191114 edges, 71399 markings/sec, 160 secs
lola: 14842126 markings, 25407156 edges, 9535 markings/sec, 165 secs
lola: 15224832 markings, 26097545 edges, 76541 markings/sec, 170 secs
lola: 15595726 markings, 26799430 edges, 74179 markings/sec, 175 secs
lola: 15959440 markings, 27503748 edges, 72743 markings/sec, 180 secs
lola: 16318379 markings, 28216812 edges, 71788 markings/sec, 185 secs
lola: 16670971 markings, 28938719 edges, 70518 markings/sec, 190 secs
lola: 17016263 markings, 29672132 edges, 69058 markings/sec, 195 secs
lola: 17347078 markings, 30441453 edges, 66163 markings/sec, 200 secs
lola: 17728467 markings, 31206148 edges, 76278 markings/sec, 205 secs
lola: 18112402 markings, 31950098 edges, 76787 markings/sec, 210 secs
lola: 18477781 markings, 32709279 edges, 73076 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pil3_3_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 656 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: 888727 markings, 1019794 edges, 177745 markings/sec, 0 secs
lola: 1726973 markings, 1988095 edges, 167649 markings/sec, 5 secs
lola: 2554551 markings, 2951125 edges, 165516 markings/sec, 10 secs
lola: 3389520 markings, 3922885 edges, 166994 markings/sec, 15 secs
lola: 4218339 markings, 4887547 edges, 165764 markings/sec, 20 secs
lola: 5013188 markings, 5813034 edges, 158970 markings/sec, 25 secs
lola: 5812063 markings, 6745708 edges, 159775 markings/sec, 30 secs
lola: 6598959 markings, 7663394 edges, 157379 markings/sec, 35 secs
lola: 7373769 markings, 8565643 edges, 154962 markings/sec, 40 secs
lola: 8151293 markings, 9473079 edges, 155505 markings/sec, 45 secs
lola: 8932122 markings, 10383647 edges, 156166 markings/sec, 50 secs
lola: 9688916 markings, 11265075 edges, 151359 markings/sec, 55 secs
lola: 10465884 markings, 12171909 edges, 155394 markings/sec, 60 secs
lola: 11245569 markings, 13081217 edges, 155937 markings/sec, 65 secs
lola: 12008067 markings, 13969088 edges, 152500 markings/sec, 70 secs
lola: 12782168 markings, 14872633 edges, 154820 markings/sec, 75 secs
lola: 13557066 markings, 15776415 edges, 154980 markings/sec, 80 secs
lola: 14312559 markings, 16655929 edges, 151099 markings/sec, 85 secs
lola: 15084291 markings, 17556975 edges, 154346 markings/sec, 90 secs
lola: 15856167 markings, 18457050 edges, 154375 markings/sec, 95 secs
lola: 16619664 markings, 19345907 edges, 152699 markings/sec, 100 secs
lola: 17390512 markings, 20245896 edges, 154170 markings/sec, 105 secs
lola: 18161434 markings, 21144972 edges, 154184 markings/sec, 110 secs
lola: 18915153 markings, 22022511 edges, 150744 markings/sec, 115 secs
lola: 19681850 markings, 22917320 edges, 153339 markings/sec, 120 secs
lola: 20452411 markings, 23816523 edges, 154112 markings/sec, 125 secs
lola: 21217240 markings, 24706840 edges, 152966 markings/sec, 130 secs
lola: 21985598 markings, 25603542 edges, 153672 markings/sec, 135 secs
lola: 22755062 markings, 26501214 edges, 153893 markings/sec, 140 secs
lola: 23511191 markings, 27381347 edges, 151226 markings/sec, 145 secs
lola: 24273792 markings, 28271404 edges, 152520 markings/sec, 150 secs
lola: 25041773 markings, 29167536 edges, 153596 markings/sec, 155 secs
lola: 25806021 markings, 30057185 edges, 152850 markings/sec, 160 secs
lola: 26570169 markings, 30948929 edges, 152830 markings/sec, 165 secs
lola: 27340523 markings, 31847811 edges, 154071 markings/sec, 170 secs
lola: 28098390 markings, 32730201 edges, 151573 markings/sec, 175 secs
lola: 28861986 markings, 33621262 edges, 152719 markings/sec, 180 secs
lola: 29635962 markings, 34524486 edges, 154795 markings/sec, 185 secs
lola: 30406645 markings, 35421449 edges, 154137 markings/sec, 190 secs
lola: 31174153 markings, 36317063 edges, 153502 markings/sec, 195 secs
lola: 31945708 markings, 37217739 edges, 154311 markings/sec, 200 secs
lola: 32709784 markings, 38106716 edges, 152815 markings/sec, 205 secs
lola: 33469044 markings, 38992782 edges, 151852 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA TriangularGrid-PT-5046-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5046-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494950070679
--------------------
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-5046"
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-5046.tgz
mv TriangularGrid-PT-5046 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-5046, 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-149441008700362"
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 ;