About the Execution of LoLA for S_TriangularGrid-PT-4022
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
3549.810 | 3540331.00 | 3557064.00 | 642.50 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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 S_TriangularGrid-PT-4022, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r158-ebro-149443464300344
=====================================================================
--------------------
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 1496574154246
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_TriangularGrid-PT-4022: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_TriangularGrid-PT-4022: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_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: 524091 markings, 1187786 edges, 104818 markings/sec, 0 secs
lola: 914042 markings, 2330080 edges, 77990 markings/sec, 5 secs
lola: 1468224 markings, 3399642 edges, 110836 markings/sec, 10 secs
lola: 1976883 markings, 4583484 edges, 101732 markings/sec, 15 secs
lola: 2201847 markings, 5766362 edges, 44993 markings/sec, 20 secs
lola: 2739578 markings, 6778151 edges, 107546 markings/sec, 25 secs
lola: 3268987 markings, 7804790 edges, 105882 markings/sec, 30 secs
lola: 3791151 markings, 8858765 edges, 104433 markings/sec, 35 secs
lola: 4314423 markings, 9961052 edges, 104654 markings/sec, 40 secs
lola: 4810955 markings, 11227316 edges, 99306 markings/sec, 45 secs
lola: 5297703 markings, 12525677 edges, 97350 markings/sec, 50 secs
lola: 5739382 markings, 13892899 edges, 88336 markings/sec, 55 secs
lola: 5898033 markings, 15161570 edges, 31730 markings/sec, 60 secs
lola: 6011154 markings, 16398838 edges, 22624 markings/sec, 65 secs
lola: 6536323 markings, 17670114 edges, 105034 markings/sec, 70 secs
lola: 7086115 markings, 18678111 edges, 109958 markings/sec, 75 secs
lola: 7606356 markings, 19655243 edges, 104048 markings/sec, 80 secs
lola: 8119075 markings, 20631701 edges, 102544 markings/sec, 85 secs
lola: 8627337 markings, 21617015 edges, 101652 markings/sec, 90 secs
lola: 9125773 markings, 22600554 edges, 99687 markings/sec, 95 secs
lola: 9624633 markings, 23586094 edges, 99772 markings/sec, 100 secs
lola: 10122299 markings, 24593873 edges, 99533 markings/sec, 105 secs
lola: 10620397 markings, 25615069 edges, 99620 markings/sec, 110 secs
lola: 11123486 markings, 26673568 edges, 100618 markings/sec, 115 secs
lola: 11621617 markings, 27779164 edges, 99626 markings/sec, 120 secs
lola: 12082084 markings, 29038396 edges, 92093 markings/sec, 125 secs
lola: 12627225 markings, 30238020 edges, 109028 markings/sec, 130 secs
lola: 13086786 markings, 31473982 edges, 91912 markings/sec, 135 secs
lola: 13433769 markings, 32810129 edges, 69397 markings/sec, 140 secs
lola: 13767124 markings, 34097578 edges, 66671 markings/sec, 145 secs
lola: 13783680 markings, 35289005 edges, 3311 markings/sec, 150 secs
lola: 13797813 markings, 36419514 edges, 2827 markings/sec, 155 secs
lola: 13971936 markings, 37603284 edges, 34825 markings/sec, 160 secs
lola: 14402945 markings, 38765510 edges, 86202 markings/sec, 165 secs
lola: 14908825 markings, 39974575 edges, 101176 markings/sec, 170 secs
lola: 15439220 markings, 40920448 edges, 106079 markings/sec, 175 secs
lola: 15949773 markings, 41869477 edges, 102111 markings/sec, 180 secs
lola: 16453093 markings, 42815867 edges, 100664 markings/sec, 185 secs
lola: 16954492 markings, 43761723 edges, 100280 markings/sec, 190 secs
lola: 17449049 markings, 44709167 edges, 98911 markings/sec, 195 secs
lola: 17938192 markings, 45659106 edges, 97829 markings/sec, 200 secs
lola: 18426811 markings, 46612767 edges, 97724 markings/sec, 205 secs
lola: 18909528 markings, 47551291 edges, 96543 markings/sec, 210 secs
lola: 19393468 markings, 48501033 edges, 96788 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: 403765 markings, 1080985 edges, 80753 markings/sec, 0 secs
lola: 714471 markings, 2245907 edges, 62141 markings/sec, 5 secs
lola: 1027657 markings, 3348768 edges, 62637 markings/sec, 10 secs
lola: 1411738 markings, 4485263 edges, 76816 markings/sec, 15 secs
lola: 1822346 markings, 5612879 edges, 82122 markings/sec, 20 secs
lola: 2225869 markings, 6734823 edges, 80705 markings/sec, 25 secs
lola: 2631140 markings, 7888730 edges, 81054 markings/sec, 30 secs
lola: 3003618 markings, 8940680 edges, 74496 markings/sec, 35 secs
lola: 3320517 markings, 9985707 edges, 63380 markings/sec, 40 secs
lola: 3799998 markings, 10900137 edges, 95896 markings/sec, 45 secs
lola: 4268457 markings, 11682046 edges, 93692 markings/sec, 50 secs
lola: 4712966 markings, 12530556 edges, 88902 markings/sec, 55 secs
lola: 4921425 markings, 13591341 edges, 41692 markings/sec, 60 secs
lola: 5204453 markings, 14500813 edges, 56606 markings/sec, 65 secs
lola: 5390808 markings, 15566336 edges, 37271 markings/sec, 70 secs
lola: 5692149 markings, 16512198 edges, 60268 markings/sec, 75 secs
lola: 6030055 markings, 17585287 edges, 67581 markings/sec, 80 secs
lola: 6535564 markings, 18469771 edges, 101102 markings/sec, 85 secs
lola: 7021716 markings, 19319933 edges, 97230 markings/sec, 90 secs
lola: 7350326 markings, 20373869 edges, 65722 markings/sec, 95 secs
lola: 7733974 markings, 21259097 edges, 76730 markings/sec, 100 secs
lola: 8008663 markings, 22229499 edges, 54938 markings/sec, 105 secs
lola: 8256894 markings, 23197077 edges, 49646 markings/sec, 110 secs
lola: 8661676 markings, 23963815 edges, 80956 markings/sec, 115 secs
lola: 9037238 markings, 24727479 edges, 75112 markings/sec, 120 secs
lola: 9392684 markings, 25496575 edges, 71089 markings/sec, 125 secs
lola: 9732074 markings, 26298673 edges, 67878 markings/sec, 130 secs
lola: 10069605 markings, 27170631 edges, 67506 markings/sec, 135 secs
lola: 10392397 markings, 27896612 edges, 64558 markings/sec, 140 secs
lola: 10451785 markings, 28918055 edges, 11878 markings/sec, 145 secs
lola: 10457644 markings, 29924330 edges, 1172 markings/sec, 150 secs
lola: 10805396 markings, 30910037 edges, 69550 markings/sec, 155 secs
lola: 11290657 markings, 31765731 edges, 97052 markings/sec, 160 secs
lola: 11767548 markings, 32600869 edges, 95378 markings/sec, 165 secs
lola: 12134768 markings, 33611379 edges, 73444 markings/sec, 170 secs
lola: 12601027 markings, 34438462 edges, 93252 markings/sec, 175 secs
lola: 13061251 markings, 35240164 edges, 92045 markings/sec, 180 secs
lola: 13488774 markings, 36080427 edges, 85505 markings/sec, 185 secs
lola: 13854170 markings, 36998067 edges, 73079 markings/sec, 190 secs
lola: 14323044 markings, 37752172 edges, 93775 markings/sec, 195 secs
lola: 14782083 markings, 38505407 edges, 91808 markings/sec, 200 secs
lola: 15235409 markings, 39261443 edges, 90665 markings/sec, 205 secs
lola: 15672573 markings, 39998487 edges, 87433 markings/sec, 210 secs
lola: 16103801 markings, 40730765 edges, 86246 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: 424214 markings, 981508 edges, 84843 markings/sec, 0 secs
lola: 748974 markings, 2040921 edges, 64952 markings/sec, 5 secs
lola: 1269699 markings, 2952587 edges, 104145 markings/sec, 10 secs
lola: 1758984 markings, 3794397 edges, 97857 markings/sec, 15 secs
lola: 2084011 markings, 4838455 edges, 65005 markings/sec, 20 secs
lola: 2374357 markings, 5825921 edges, 58069 markings/sec, 25 secs
lola: 2588704 markings, 6910600 edges, 42869 markings/sec, 30 secs
lola: 2894925 markings, 7949083 edges, 61244 markings/sec, 35 secs
lola: 3127009 markings, 8956596 edges, 46417 markings/sec, 40 secs
lola: 3609206 markings, 9876085 edges, 96439 markings/sec, 45 secs
lola: 4087568 markings, 10677010 edges, 95672 markings/sec, 50 secs
lola: 4523928 markings, 11474664 edges, 87272 markings/sec, 55 secs
lola: 4701423 markings, 12472091 edges, 35499 markings/sec, 60 secs
lola: 4957429 markings, 13248451 edges, 51201 markings/sec, 65 secs
lola: 5131810 markings, 14257716 edges, 34876 markings/sec, 70 secs
lola: 5392055 markings, 15092746 edges, 52049 markings/sec, 75 secs
lola: 5596494 markings, 16086015 edges, 40888 markings/sec, 80 secs
lola: 6050655 markings, 16968655 edges, 90832 markings/sec, 85 secs
lola: 6507012 markings, 17717794 edges, 91271 markings/sec, 90 secs
lola: 6955014 markings, 18519890 edges, 89600 markings/sec, 95 secs
lola: 7202760 markings, 19572629 edges, 49549 markings/sec, 100 secs
lola: 7472640 markings, 20449485 edges, 53976 markings/sec, 105 secs
lola: 7651121 markings, 21473426 edges, 35696 markings/sec, 110 secs
lola: 7934466 markings, 22383289 edges, 56669 markings/sec, 115 secs
lola: 8158931 markings, 23377611 edges, 44893 markings/sec, 120 secs
lola: 8622677 markings, 24267555 edges, 92749 markings/sec, 125 secs
lola: 9082308 markings, 25031011 edges, 91926 markings/sec, 130 secs
lola: 9518921 markings, 25823964 edges, 87323 markings/sec, 135 secs
lola: 9725079 markings, 26800626 edges, 41232 markings/sec, 140 secs
lola: 9982514 markings, 27633493 edges, 51487 markings/sec, 145 secs
lola: 10152633 markings, 28579637 edges, 34024 markings/sec, 150 secs
lola: 10414243 markings, 29471059 edges, 52322 markings/sec, 155 secs
lola: 10591705 markings, 30410016 edges, 35492 markings/sec, 160 secs
lola: 11069547 markings, 31369505 edges, 95568 markings/sec, 165 secs
lola: 11556099 markings, 32167350 edges, 97310 markings/sec, 170 secs
lola: 12010746 markings, 32984334 edges, 90929 markings/sec, 175 secs
lola: 12245582 markings, 34019786 edges, 46967 markings/sec, 180 secs
lola: 12515131 markings, 34894916 edges, 53910 markings/sec, 185 secs
lola: 12683454 markings, 35877860 edges, 33665 markings/sec, 190 secs
lola: 12963748 markings, 36784868 edges, 56059 markings/sec, 195 secs
lola: 13177938 markings, 37770230 edges, 42838 markings/sec, 200 secs
lola: 13638387 markings, 38662699 edges, 92090 markings/sec, 205 secs
lola: 14096821 markings, 39420444 edges, 91687 markings/sec, 210 secs
lola: 14534629 markings, 40209002 edges, 87562 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: 509452 markings, 1024923 edges, 101890 markings/sec, 0 secs
lola: 965852 markings, 2020473 edges, 91280 markings/sec, 5 secs
lola: 1424632 markings, 3017625 edges, 91756 markings/sec, 10 secs
lola: 1891039 markings, 4088633 edges, 93281 markings/sec, 15 secs
lola: 2311088 markings, 5182701 edges, 84010 markings/sec, 20 secs
lola: 2804943 markings, 6164071 edges, 98771 markings/sec, 25 secs
lola: 3219186 markings, 7154608 edges, 82849 markings/sec, 30 secs
lola: 3615984 markings, 8114706 edges, 79360 markings/sec, 35 secs
lola: 4043206 markings, 9074331 edges, 85444 markings/sec, 40 secs
lola: 4489569 markings, 9882324 edges, 89273 markings/sec, 45 secs
lola: 4921484 markings, 10681870 edges, 86383 markings/sec, 50 secs
lola: 5345970 markings, 11477491 edges, 84897 markings/sec, 55 secs
lola: 5765442 markings, 12267509 edges, 83894 markings/sec, 60 secs
lola: 6178479 markings, 13061110 edges, 82607 markings/sec, 65 secs
lola: 6588995 markings, 13856429 edges, 82103 markings/sec, 70 secs
lola: 6997465 markings, 14649073 edges, 81694 markings/sec, 75 secs
lola: 7404628 markings, 15447425 edges, 81433 markings/sec, 80 secs
lola: 7813041 markings, 16260150 edges, 81683 markings/sec, 85 secs
lola: 8220300 markings, 17073555 edges, 81452 markings/sec, 90 secs
lola: 8625842 markings, 17889137 edges, 81108 markings/sec, 95 secs
lola: 9028571 markings, 18703228 edges, 80546 markings/sec, 100 secs
lola: 9428178 markings, 19540813 edges, 79921 markings/sec, 105 secs
lola: 9826887 markings, 20371890 edges, 79742 markings/sec, 110 secs
lola: 10218503 markings, 21232614 edges, 78323 markings/sec, 115 secs
lola: 10607725 markings, 22090676 edges, 77844 markings/sec, 120 secs
lola: 10995866 markings, 22977686 edges, 77628 markings/sec, 125 secs
lola: 11393018 markings, 23870608 edges, 79430 markings/sec, 130 secs
lola: 11819353 markings, 24825412 edges, 85267 markings/sec, 135 secs
lola: 12211169 markings, 25735536 edges, 78363 markings/sec, 140 secs
lola: 12572387 markings, 26573046 edges, 72244 markings/sec, 145 secs
lola: 12975419 markings, 27406220 edges, 80606 markings/sec, 150 secs
lola: 13388652 markings, 28308577 edges, 82647 markings/sec, 155 secs
lola: 13771377 markings, 29126345 edges, 76545 markings/sec, 160 secs
lola: 14140586 markings, 29989173 edges, 73842 markings/sec, 165 secs
lola: 14495530 markings, 31016994 edges, 70989 markings/sec, 170 secs
lola: 14895715 markings, 31942425 edges, 80037 markings/sec, 175 secs
lola: 15080690 markings, 33061991 edges, 36995 markings/sec, 180 secs
lola: 15348100 markings, 33981646 edges, 53482 markings/sec, 185 secs
lola: 15700588 markings, 34818393 edges, 70498 markings/sec, 190 secs
lola: 16070933 markings, 35736120 edges, 74069 markings/sec, 195 secs
lola: 16326162 markings, 36709069 edges, 51046 markings/sec, 200 secs
lola: 16684604 markings, 37673794 edges, 71688 markings/sec, 205 secs
lola: 17045412 markings, 38590274 edges, 72162 markings/sec, 210 secs
lola: 17166206 markings, 39591742 edges, 24159 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: 615643 markings, 916388 edges, 123129 markings/sec, 0 secs
lola: 1168287 markings, 1777187 edges, 110529 markings/sec, 5 secs
lola: 1765942 markings, 2615376 edges, 119531 markings/sec, 10 secs
lola: 2088702 markings, 3587012 edges, 64552 markings/sec, 15 secs
lola: 2399354 markings, 4591375 edges, 62130 markings/sec, 20 secs
lola: 3025526 markings, 5456808 edges, 125234 markings/sec, 25 secs
lola: 3480530 markings, 6424820 edges, 91001 markings/sec, 30 secs
lola: 4056490 markings, 7203785 edges, 115192 markings/sec, 35 secs
lola: 4620483 markings, 8003590 edges, 112799 markings/sec, 40 secs
lola: 5169366 markings, 8762473 edges, 109777 markings/sec, 45 secs
lola: 5702942 markings, 9510770 edges, 106715 markings/sec, 50 secs
lola: 6216763 markings, 10239331 edges, 102764 markings/sec, 55 secs
lola: 6723690 markings, 10957392 edges, 101385 markings/sec, 60 secs
lola: 7226122 markings, 11678635 edges, 100486 markings/sec, 65 secs
lola: 7718714 markings, 12400100 edges, 98518 markings/sec, 70 secs
lola: 8219408 markings, 13143032 edges, 100139 markings/sec, 75 secs
lola: 8710515 markings, 13886856 edges, 98221 markings/sec, 80 secs
lola: 9184917 markings, 14612896 edges, 94880 markings/sec, 85 secs
lola: 9654652 markings, 15351935 edges, 93947 markings/sec, 90 secs
lola: 10117726 markings, 16090288 edges, 92615 markings/sec, 95 secs
lola: 10561063 markings, 16834871 edges, 88667 markings/sec, 100 secs
lola: 10986884 markings, 17591254 edges, 85164 markings/sec, 105 secs
lola: 11392205 markings, 18389151 edges, 81064 markings/sec, 110 secs
lola: 11822276 markings, 19237653 edges, 86014 markings/sec, 115 secs
lola: 12426358 markings, 20159598 edges, 120816 markings/sec, 120 secs
lola: 13021748 markings, 20963396 edges, 119078 markings/sec, 125 secs
lola: 13597986 markings, 21748437 edges, 115248 markings/sec, 130 secs
lola: 14156157 markings, 22526216 edges, 111634 markings/sec, 135 secs
lola: 14703293 markings, 23294638 edges, 109427 markings/sec, 140 secs
lola: 15248070 markings, 24067711 edges, 108955 markings/sec, 145 secs
lola: 15779421 markings, 24828402 edges, 106270 markings/sec, 150 secs
lola: 16301803 markings, 25583943 edges, 104476 markings/sec, 155 secs
lola: 16816429 markings, 26340221 edges, 102925 markings/sec, 160 secs
lola: 17327372 markings, 27110166 edges, 102189 markings/sec, 165 secs
lola: 17827958 markings, 27875530 edges, 100117 markings/sec, 170 secs
lola: 18321198 markings, 28638198 edges, 98648 markings/sec, 175 secs
lola: 18802332 markings, 29399353 edges, 96227 markings/sec, 180 secs
lola: 19267927 markings, 30167647 edges, 93119 markings/sec, 185 secs
lola: 19719709 markings, 30961802 edges, 90356 markings/sec, 190 secs
lola: 20139734 markings, 31764249 edges, 84005 markings/sec, 195 secs
lola: 20567715 markings, 32634050 edges, 85596 markings/sec, 200 secs
lola: 20709022 markings, 33567424 edges, 28261 markings/sec, 205 secs
lola: 20759448 markings, 34386699 edges, 10085 markings/sec, 210 secs
lola: 20775832 markings, 35197867 edges, 3277 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: 689258 markings, 1347501 edges, 137852 markings/sec, 0 secs
lola: 1383804 markings, 2601100 edges, 138909 markings/sec, 5 secs
lola: 2116443 markings, 3804863 edges, 146528 markings/sec, 10 secs
lola: 2492481 markings, 5153593 edges, 75208 markings/sec, 15 secs
lola: 3256772 markings, 6332030 edges, 152858 markings/sec, 20 secs
lola: 3968999 markings, 7529188 edges, 142445 markings/sec, 25 secs
lola: 4720869 markings, 8748258 edges, 150374 markings/sec, 30 secs
lola: 5449595 markings, 9908252 edges, 145745 markings/sec, 35 secs
lola: 6084538 markings, 11058405 edges, 126989 markings/sec, 40 secs
lola: 6217497 markings, 12358986 edges, 26592 markings/sec, 45 secs
lola: 6613365 markings, 13593323 edges, 79174 markings/sec, 50 secs
lola: 7359992 markings, 14729738 edges, 149325 markings/sec, 55 secs
lola: 8097392 markings, 15877718 edges, 147480 markings/sec, 60 secs
lola: 8810613 markings, 17024532 edges, 142644 markings/sec, 65 secs
lola: 9511384 markings, 18182558 edges, 140154 markings/sec, 70 secs
lola: 10173617 markings, 19370857 edges, 132447 markings/sec, 75 secs
lola: 10926281 markings, 20603141 edges, 150533 markings/sec, 80 secs
lola: 11689093 markings, 21767665 edges, 152562 markings/sec, 85 secs
lola: 12413306 markings, 22902192 edges, 144843 markings/sec, 90 secs
lola: 13104798 markings, 24015947 edges, 138298 markings/sec, 95 secs
lola: 13773468 markings, 25124424 edges, 133734 markings/sec, 100 secs
lola: 14400103 markings, 26244406 edges, 125327 markings/sec, 105 secs
lola: 14981297 markings, 27444656 edges, 116239 markings/sec, 110 secs
lola: 15612869 markings, 28798617 edges, 126314 markings/sec, 115 secs
lola: 16242247 markings, 30204228 edges, 125876 markings/sec, 120 secs
lola: 16685438 markings, 31553202 edges, 88638 markings/sec, 125 secs
lola: 16711169 markings, 32743579 edges, 5146 markings/sec, 130 secs
lola: 17321562 markings, 34079817 edges, 122079 markings/sec, 135 secs
lola: 18014339 markings, 35368711 edges, 138555 markings/sec, 140 secs
lola: 18647954 markings, 36713658 edges, 126723 markings/sec, 145 secs
lola: 19287333 markings, 38041829 edges, 127876 markings/sec, 150 secs
lola: 19897051 markings, 39371307 edges, 121944 markings/sec, 155 secs
lola: 19969497 markings, 40646658 edges, 14489 markings/sec, 160 secs
lola: 20265893 markings, 41905787 edges, 59279 markings/sec, 165 secs
lola: 20991231 markings, 43184099 edges, 145068 markings/sec, 170 secs
lola: 21735479 markings, 44352890 edges, 148850 markings/sec, 175 secs
lola: 22471216 markings, 45460046 edges, 147147 markings/sec, 180 secs
lola: 23187252 markings, 46551755 edges, 143207 markings/sec, 185 secs
lola: 23885110 markings, 47627257 edges, 139572 markings/sec, 190 secs
lola: 24578509 markings, 48713644 edges, 138680 markings/sec, 195 secs
lola: 25262895 markings, 49796042 edges, 136877 markings/sec, 200 secs
lola: 25945892 markings, 50884031 edges, 136599 markings/sec, 205 secs
lola: 26620511 markings, 51967073 edges, 134924 markings/sec, 210 secs
lola: 27283775 markings, 53055391 edges, 132653 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: 428695 markings, 1175190 edges, 85739 markings/sec, 0 secs
lola: 773937 markings, 2362047 edges, 69048 markings/sec, 5 secs
lola: 1068256 markings, 3551620 edges, 58864 markings/sec, 10 secs
lola: 1452686 markings, 4715053 edges, 76886 markings/sec, 15 secs
lola: 1880643 markings, 5849651 edges, 85591 markings/sec, 20 secs
lola: 2282685 markings, 6978820 edges, 80408 markings/sec, 25 secs
lola: 2662356 markings, 8031860 edges, 75934 markings/sec, 30 secs
lola: 3003943 markings, 8941268 edges, 68317 markings/sec, 35 secs
lola: 3233541 markings, 9832391 edges, 45920 markings/sec, 40 secs
lola: 3662546 markings, 10685037 edges, 85801 markings/sec, 45 secs
lola: 4096989 markings, 11389698 edges, 86889 markings/sec, 50 secs
lola: 4505126 markings, 12109419 edges, 81627 markings/sec, 55 secs
lola: 4812831 markings, 13212011 edges, 61541 markings/sec, 60 secs
lola: 5124089 markings, 14213917 edges, 62252 markings/sec, 65 secs
lola: 5340332 markings, 15356912 edges, 43249 markings/sec, 70 secs
lola: 5650093 markings, 16362482 edges, 61952 markings/sec, 75 secs
lola: 5960064 markings, 17466877 edges, 61994 markings/sec, 80 secs
lola: 6480466 markings, 18378422 edges, 104080 markings/sec, 85 secs
lola: 6981065 markings, 19240812 edges, 100120 markings/sec, 90 secs
lola: 7328322 markings, 20302254 edges, 69451 markings/sec, 95 secs
lola: 7713085 markings, 21201266 edges, 76953 markings/sec, 100 secs
lola: 7992614 markings, 22194510 edges, 55906 markings/sec, 105 secs
lola: 8256819 markings, 23158409 edges, 52841 markings/sec, 110 secs
lola: 8654051 markings, 23949056 edges, 79446 markings/sec, 115 secs
lola: 9040735 markings, 24734562 edges, 77337 markings/sec, 120 secs
lola: 9407514 markings, 25529284 edges, 73356 markings/sec, 125 secs
lola: 9756954 markings, 26360788 edges, 69888 markings/sec, 130 secs
lola: 10093634 markings, 27255941 edges, 67336 markings/sec, 135 secs
lola: 10427862 markings, 28005757 edges, 66846 markings/sec, 140 secs
lola: 10452894 markings, 29082336 edges, 5006 markings/sec, 145 secs
lola: 10458330 markings, 30145472 edges, 1087 markings/sec, 150 secs
lola: 10918336 markings, 31109996 edges, 92001 markings/sec, 155 secs
lola: 11412114 markings, 31971265 edges, 98756 markings/sec, 160 secs
lola: 11897385 markings, 32840352 edges, 97054 markings/sec, 165 secs
lola: 12253641 markings, 33878758 edges, 71251 markings/sec, 170 secs
lola: 12743930 markings, 34680469 edges, 98058 markings/sec, 175 secs
lola: 13215496 markings, 35523147 edges, 94313 markings/sec, 180 secs
lola: 13546431 markings, 36517689 edges, 66187 markings/sec, 185 secs
lola: 14052751 markings, 37315014 edges, 101264 markings/sec, 190 secs
lola: 14542182 markings, 38109779 edges, 97886 markings/sec, 195 secs
lola: 15023346 markings, 38906234 edges, 96233 markings/sec, 200 secs
lola: 15496794 markings, 39702692 edges, 94690 markings/sec, 205 secs
lola: 15964763 markings, 40495111 edges, 93594 markings/sec, 210 secs
lola: 16427122 markings, 41287992 edges, 92472 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: 472404 markings, 1040340 edges, 94481 markings/sec, 0 secs
lola: 827571 markings, 2155409 edges, 71033 markings/sec, 5 secs
lola: 1181924 markings, 3205956 edges, 70871 markings/sec, 10 secs
lola: 1615281 markings, 4066700 edges, 86671 markings/sec, 15 secs
lola: 2020949 markings, 4949130 edges, 81134 markings/sec, 20 secs
lola: 2409436 markings, 5866076 edges, 77697 markings/sec, 25 secs
lola: 2633293 markings, 7041400 edges, 44771 markings/sec, 30 secs
lola: 2659253 markings, 8324870 edges, 5192 markings/sec, 35 secs
lola: 3107943 markings, 9252154 edges, 89738 markings/sec, 40 secs
lola: 3534030 markings, 10115730 edges, 85217 markings/sec, 45 secs
lola: 3947113 markings, 11040165 edges, 82617 markings/sec, 50 secs
lola: 4323929 markings, 12022844 edges, 75363 markings/sec, 55 secs
lola: 4391356 markings, 13299531 edges, 13485 markings/sec, 60 secs
lola: 4666486 markings, 14256385 edges, 55026 markings/sec, 65 secs
lola: 5082830 markings, 15008084 edges, 83269 markings/sec, 70 secs
lola: 5495092 markings, 15787418 edges, 82452 markings/sec, 75 secs
lola: 5900836 markings, 16580210 edges, 81149 markings/sec, 80 secs
lola: 6297793 markings, 17380751 edges, 79391 markings/sec, 85 secs
lola: 6691306 markings, 18169895 edges, 78703 markings/sec, 90 secs
lola: 7076133 markings, 18998066 edges, 76965 markings/sec, 95 secs
lola: 7466074 markings, 19807073 edges, 77988 markings/sec, 100 secs
lola: 7839742 markings, 20599510 edges, 74734 markings/sec, 105 secs
lola: 8219737 markings, 21409077 edges, 75999 markings/sec, 110 secs
lola: 8596471 markings, 22236913 edges, 75347 markings/sec, 115 secs
lola: 8969575 markings, 23066572 edges, 74621 markings/sec, 120 secs
lola: 9339561 markings, 23892394 edges, 73997 markings/sec, 125 secs
lola: 9715804 markings, 24746997 edges, 75249 markings/sec, 130 secs
lola: 10080176 markings, 25594653 edges, 72874 markings/sec, 135 secs
lola: 10452746 markings, 26456373 edges, 74514 markings/sec, 140 secs
lola: 10800965 markings, 27359645 edges, 69644 markings/sec, 145 secs
lola: 11128051 markings, 28321813 edges, 65417 markings/sec, 150 secs
lola: 11393451 markings, 29410808 edges, 53080 markings/sec, 155 secs
lola: 11407013 markings, 30558951 edges, 2712 markings/sec, 160 secs
lola: 11415341 markings, 31665314 edges, 1666 markings/sec, 165 secs
lola: 11423016 markings, 32752233 edges, 1535 markings/sec, 170 secs
lola: 11431003 markings, 33829750 edges, 1597 markings/sec, 175 secs
lola: 11438077 markings, 34915161 edges, 1415 markings/sec, 180 secs
lola: 11442419 markings, 36019485 edges, 868 markings/sec, 185 secs
lola: 11730167 markings, 37027058 edges, 57550 markings/sec, 190 secs
lola: 12027310 markings, 38020674 edges, 59429 markings/sec, 195 secs
lola: 12435412 markings, 38796908 edges, 81620 markings/sec, 200 secs
lola: 12818797 markings, 39597842 edges, 76677 markings/sec, 205 secs
lola: 13186340 markings, 40416165 edges, 73509 markings/sec, 210 secs
lola: 13538167 markings, 41298688 edges, 70365 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: 669262 markings, 951792 edges, 133852 markings/sec, 0 secs
lola: 1238213 markings, 1972076 edges, 113790 markings/sec, 5 secs
lola: 1803415 markings, 2940841 edges, 113040 markings/sec, 10 secs
lola: 2433739 markings, 3792154 edges, 126065 markings/sec, 15 secs
lola: 3047548 markings, 4641045 edges, 122762 markings/sec, 20 secs
lola: 3654266 markings, 5505081 edges, 121344 markings/sec, 25 secs
lola: 4258685 markings, 6374184 edges, 120884 markings/sec, 30 secs
lola: 4851636 markings, 7250291 edges, 118590 markings/sec, 35 secs
lola: 5453030 markings, 8148492 edges, 120279 markings/sec, 40 secs
lola: 5843744 markings, 9269355 edges, 78143 markings/sec, 45 secs
lola: 5884174 markings, 10531606 edges, 8086 markings/sec, 50 secs
lola: 6312282 markings, 11554900 edges, 85622 markings/sec, 55 secs
lola: 6828909 markings, 12504179 edges, 103325 markings/sec, 60 secs
lola: 7435457 markings, 13316312 edges, 121310 markings/sec, 65 secs
lola: 8034510 markings, 14130761 edges, 119811 markings/sec, 70 secs
lola: 8618918 markings, 14957736 edges, 116882 markings/sec, 75 secs
lola: 9206213 markings, 15794887 edges, 117459 markings/sec, 80 secs
lola: 9780195 markings, 16628628 edges, 114796 markings/sec, 85 secs
lola: 10365564 markings, 17487235 edges, 117074 markings/sec, 90 secs
lola: 10941705 markings, 18396213 edges, 115228 markings/sec, 95 secs
lola: 11119883 markings, 19627979 edges, 35636 markings/sec, 100 secs
lola: 11165947 markings, 20890042 edges, 9213 markings/sec, 105 secs
lola: 11797223 markings, 21702487 edges, 126255 markings/sec, 110 secs
lola: 12398787 markings, 22506192 edges, 120313 markings/sec, 115 secs
lola: 13000701 markings, 23316489 edges, 120383 markings/sec, 120 secs
lola: 13591961 markings, 24121799 edges, 118252 markings/sec, 125 secs
lola: 14172824 markings, 24925209 edges, 116173 markings/sec, 130 secs
lola: 14756472 markings, 25732373 edges, 116730 markings/sec, 135 secs
lola: 15345294 markings, 26542580 edges, 117764 markings/sec, 140 secs
lola: 15924454 markings, 27348500 edges, 115832 markings/sec, 145 secs
lola: 16498183 markings, 28154993 edges, 114746 markings/sec, 150 secs
lola: 17075518 markings, 28960090 edges, 115467 markings/sec, 155 secs
lola: 17647980 markings, 29759601 edges, 114492 markings/sec, 160 secs
lola: 18223275 markings, 30562097 edges, 115059 markings/sec, 165 secs
lola: 18800422 markings, 31368364 edges, 115429 markings/sec, 170 secs
lola: 19363098 markings, 32168634 edges, 112535 markings/sec, 175 secs
lola: 19933484 markings, 32969957 edges, 114077 markings/sec, 180 secs
lola: 20505753 markings, 33783031 edges, 114454 markings/sec, 185 secs
lola: 21076921 markings, 34598134 edges, 114234 markings/sec, 190 secs
lola: 21653866 markings, 35404647 edges, 115389 markings/sec, 195 secs
lola: 22227252 markings, 36216560 edges, 114677 markings/sec, 200 secs
lola: 22795242 markings, 37027479 edges, 113598 markings/sec, 205 secs
lola: 23350794 markings, 37829531 edges, 111110 markings/sec, 210 secs
lola: 23914775 markings, 38629687 edges, 112796 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: 746842 markings, 1607996 edges, 149368 markings/sec, 0 secs
lola: 1535305 markings, 3065032 edges, 157693 markings/sec, 5 secs
lola: 2296117 markings, 4452527 edges, 152162 markings/sec, 10 secs
lola: 3001666 markings, 5687309 edges, 141110 markings/sec, 15 secs
lola: 3702863 markings, 6937554 edges, 140239 markings/sec, 20 secs
lola: 4411541 markings, 8210228 edges, 141736 markings/sec, 25 secs
lola: 5143825 markings, 9519254 edges, 146457 markings/sec, 30 secs
lola: 5909536 markings, 10922578 edges, 153142 markings/sec, 35 secs
lola: 6577099 markings, 12357972 edges, 133513 markings/sec, 40 secs
lola: 7097926 markings, 13817621 edges, 104165 markings/sec, 45 secs
lola: 7257674 markings, 15184587 edges, 31950 markings/sec, 50 secs
lola: 7901929 markings, 16600798 edges, 128851 markings/sec, 55 secs
lola: 8559087 markings, 18019613 edges, 131432 markings/sec, 60 secs
lola: 9211612 markings, 19403956 edges, 130505 markings/sec, 65 secs
lola: 9854134 markings, 20787162 edges, 128504 markings/sec, 70 secs
lola: 10483687 markings, 22159285 edges, 125911 markings/sec, 75 secs
lola: 11116396 markings, 23498581 edges, 126542 markings/sec, 80 secs
lola: 11734610 markings, 24847030 edges, 123643 markings/sec, 85 secs
lola: 12341830 markings, 26160561 edges, 121444 markings/sec, 90 secs
lola: 12931029 markings, 27500787 edges, 117840 markings/sec, 95 secs
lola: 13513311 markings, 28700649 edges, 116456 markings/sec, 100 secs
lola: 14094100 markings, 29819194 edges, 116158 markings/sec, 105 secs
lola: 14657220 markings, 30938865 edges, 112624 markings/sec, 110 secs
lola: 15221651 markings, 32055488 edges, 112886 markings/sec, 115 secs
lola: 15782455 markings, 33176179 edges, 112161 markings/sec, 120 secs
lola: 16340717 markings, 34302415 edges, 111652 markings/sec, 125 secs
lola: 16899754 markings, 35436048 edges, 111807 markings/sec, 130 secs
lola: 17458816 markings, 36568418 edges, 111812 markings/sec, 135 secs
lola: 18022700 markings, 37716819 edges, 112777 markings/sec, 140 secs
lola: 18593492 markings, 38903132 edges, 114158 markings/sec, 145 secs
lola: 19170521 markings, 40112963 edges, 115406 markings/sec, 150 secs
lola: 19755678 markings, 41313281 edges, 117031 markings/sec, 155 secs
lola: 20339939 markings, 42504264 edges, 116852 markings/sec, 160 secs
lola: 20968776 markings, 43701322 edges, 125767 markings/sec, 165 secs
lola: 21603356 markings, 45002220 edges, 126916 markings/sec, 170 secs
lola: 22211054 markings, 46354422 edges, 121540 markings/sec, 175 secs
lola: 22835472 markings, 47667526 edges, 124884 markings/sec, 180 secs
lola: 23453200 markings, 48949950 edges, 123546 markings/sec, 185 secs
lola: 24057524 markings, 50246441 edges, 120865 markings/sec, 190 secs
lola: 24625996 markings, 51569925 edges, 113694 markings/sec, 195 secs
lola: 25152735 markings, 52871686 edges, 105348 markings/sec, 200 secs
lola: 25277703 markings, 54251166 edges, 24994 markings/sec, 205 secs
lola: 25335517 markings, 55404922 edges, 11563 markings/sec, 210 secs
lola: 25376700 markings, 56517212 edges, 8237 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: 986036 markings, 1183989 edges, 197207 markings/sec, 0 secs
lola: 1869969 markings, 2346419 edges, 176787 markings/sec, 5 secs
lola: 2812358 markings, 3428920 edges, 188478 markings/sec, 10 secs
lola: 3738036 markings, 4511710 edges, 185136 markings/sec, 15 secs
lola: 4545368 markings, 5639566 edges, 161466 markings/sec, 20 secs
lola: 5271267 markings, 6825530 edges, 145180 markings/sec, 25 secs
lola: 5966325 markings, 7899392 edges, 139012 markings/sec, 30 secs
lola: 6663314 markings, 8950092 edges, 139398 markings/sec, 35 secs
lola: 7162746 markings, 10138108 edges, 99886 markings/sec, 40 secs
lola: 7770505 markings, 11249015 edges, 121552 markings/sec, 45 secs
lola: 8397659 markings, 12295190 edges, 125431 markings/sec, 50 secs
lola: 8798396 markings, 13433331 edges, 80147 markings/sec, 55 secs
lola: 9662495 markings, 14618512 edges, 172820 markings/sec, 60 secs
lola: 10235117 markings, 15688567 edges, 114524 markings/sec, 65 secs
lola: 10817498 markings, 16751331 edges, 116476 markings/sec, 70 secs
lola: 11415009 markings, 17754126 edges, 119502 markings/sec, 75 secs
lola: 11979197 markings, 18711159 edges, 112838 markings/sec, 80 secs
lola: 12540014 markings, 19693323 edges, 112163 markings/sec, 85 secs
lola: 13086083 markings, 20671103 edges, 109214 markings/sec, 90 secs
lola: 13622033 markings, 21652842 edges, 107190 markings/sec, 95 secs
lola: 14174364 markings, 22679342 edges, 110466 markings/sec, 100 secs
lola: 14717179 markings, 23680591 edges, 108563 markings/sec, 105 secs
lola: 15256382 markings, 24711315 edges, 107841 markings/sec, 110 secs
lola: 15802322 markings, 25742819 edges, 109188 markings/sec, 115 secs
lola: 16351674 markings, 26807803 edges, 109870 markings/sec, 120 secs
lola: 16453235 markings, 27932446 edges, 20312 markings/sec, 125 secs
lola: 16472624 markings, 28979957 edges, 3878 markings/sec, 130 secs
lola: 16482030 markings, 30022860 edges, 1881 markings/sec, 135 secs
lola: 16772343 markings, 31180124 edges, 58063 markings/sec, 140 secs
lola: 17494058 markings, 32303140 edges, 144343 markings/sec, 145 secs
lola: 18276317 markings, 33430577 edges, 156452 markings/sec, 150 secs
lola: 18922837 markings, 34624736 edges, 129304 markings/sec, 155 secs
lola: 19497788 markings, 35774794 edges, 114990 markings/sec, 160 secs
lola: 20211806 markings, 36916882 edges, 142804 markings/sec, 165 secs
lola: 20757698 markings, 38044608 edges, 109178 markings/sec, 170 secs
lola: 21192175 markings, 39184933 edges, 86895 markings/sec, 175 secs
lola: 21775203 markings, 40301004 edges, 116606 markings/sec, 180 secs
lola: 22238455 markings, 41520269 edges, 92650 markings/sec, 185 secs
lola: 22779321 markings, 42599623 edges, 108173 markings/sec, 190 secs
lola: 23226922 markings, 43673272 edges, 89520 markings/sec, 195 secs
lola: 23971683 markings, 44743639 edges, 148952 markings/sec, 200 secs
lola: 24630825 markings, 45830710 edges, 131828 markings/sec, 205 secs
lola: 25194752 markings, 46888819 edges, 112785 markings/sec, 210 secs
lola: 25868815 markings, 47867480 edges, 134813 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: 500859 markings, 1351961 edges, 100172 markings/sec, 0 secs
lola: 935990 markings, 2583526 edges, 87026 markings/sec, 5 secs
lola: 1422008 markings, 3663752 edges, 97204 markings/sec, 10 secs
lola: 1919425 markings, 4703777 edges, 99483 markings/sec, 15 secs
lola: 2331597 markings, 5786342 edges, 82434 markings/sec, 20 secs
lola: 2448208 markings, 7029682 edges, 23322 markings/sec, 25 secs
lola: 2769168 markings, 8148059 edges, 64192 markings/sec, 30 secs
lola: 2929152 markings, 9427947 edges, 31997 markings/sec, 35 secs
lola: 3340692 markings, 10593627 edges, 82308 markings/sec, 40 secs
lola: 3848308 markings, 11681265 edges, 101523 markings/sec, 45 secs
lola: 4336146 markings, 12706462 edges, 97568 markings/sec, 50 secs
lola: 4824290 markings, 13689142 edges, 97629 markings/sec, 55 secs
lola: 5281002 markings, 14662277 edges, 91342 markings/sec, 60 secs
lola: 5713544 markings, 15639082 edges, 86508 markings/sec, 65 secs
lola: 6118323 markings, 16665859 edges, 80956 markings/sec, 70 secs
lola: 6511185 markings, 17680574 edges, 78572 markings/sec, 75 secs
lola: 6916862 markings, 18670224 edges, 81135 markings/sec, 80 secs
lola: 7311021 markings, 19660935 edges, 78832 markings/sec, 85 secs
lola: 7686253 markings, 20666429 edges, 75046 markings/sec, 90 secs
lola: 8063537 markings, 21671188 edges, 75457 markings/sec, 95 secs
lola: 8479694 markings, 22779655 edges, 83231 markings/sec, 100 secs
lola: 8896726 markings, 23881107 edges, 83406 markings/sec, 105 secs
lola: 9389462 markings, 24858015 edges, 98547 markings/sec, 110 secs
lola: 9861068 markings, 25802458 edges, 94321 markings/sec, 115 secs
lola: 10317530 markings, 26714033 edges, 91292 markings/sec, 120 secs
lola: 10743828 markings, 27637345 edges, 85260 markings/sec, 125 secs
lola: 11145434 markings, 28581469 edges, 80321 markings/sec, 130 secs
lola: 11524461 markings, 29571004 edges, 75805 markings/sec, 135 secs
lola: 11905365 markings, 30536489 edges, 76181 markings/sec, 140 secs
lola: 12303836 markings, 31498903 edges, 79694 markings/sec, 145 secs
lola: 12689788 markings, 32476819 edges, 77190 markings/sec, 150 secs
lola: 13064967 markings, 33474508 edges, 75036 markings/sec, 155 secs
lola: 13451254 markings, 34464208 edges, 77257 markings/sec, 160 secs
lola: 13802562 markings, 35477074 edges, 70262 markings/sec, 165 secs
lola: 14114587 markings, 36548183 edges, 62405 markings/sec, 170 secs
lola: 14153158 markings, 37713700 edges, 7714 markings/sec, 175 secs
lola: 14189368 markings, 38865541 edges, 7242 markings/sec, 180 secs
lola: 14201461 markings, 39985374 edges, 2419 markings/sec, 185 secs
lola: 14216549 markings, 41111634 edges, 3018 markings/sec, 190 secs
lola: 14221478 markings, 42252312 edges, 986 markings/sec, 195 secs
lola: 14287077 markings, 43438877 edges, 13120 markings/sec, 200 secs
lola: 14624925 markings, 44438365 edges, 67570 markings/sec, 205 secs
lola: 14872348 markings, 45534841 edges, 49485 markings/sec, 210 secs
lola: 14896251 markings, 46688772 edges, 4781 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: 474006 markings, 1098481 edges, 94801 markings/sec, 0 secs
lola: 852007 markings, 2208210 edges, 75600 markings/sec, 5 secs
lola: 1204199 markings, 3429683 edges, 70438 markings/sec, 10 secs
lola: 1510165 markings, 4631708 edges, 61193 markings/sec, 15 secs
lola: 1961070 markings, 5538682 edges, 90181 markings/sec, 20 secs
lola: 2351840 markings, 6459125 edges, 78154 markings/sec, 25 secs
lola: 2695536 markings, 7399838 edges, 68739 markings/sec, 30 secs
lola: 3000261 markings, 8366125 edges, 60945 markings/sec, 35 secs
lola: 3259846 markings, 9417591 edges, 51917 markings/sec, 40 secs
lola: 3401213 markings, 10594706 edges, 28273 markings/sec, 45 secs
lola: 3420226 markings, 11764907 edges, 3803 markings/sec, 50 secs
lola: 3422480 markings, 12925600 edges, 451 markings/sec, 55 secs
lola: 3702461 markings, 13994474 edges, 55996 markings/sec, 60 secs
lola: 4109822 markings, 14982881 edges, 81472 markings/sec, 65 secs
lola: 4382646 markings, 16234752 edges, 54565 markings/sec, 70 secs
lola: 4669686 markings, 17275098 edges, 57408 markings/sec, 75 secs
lola: 5039518 markings, 18308306 edges, 73966 markings/sec, 80 secs
lola: 5482502 markings, 19113923 edges, 88597 markings/sec, 85 secs
lola: 5903862 markings, 19919599 edges, 84272 markings/sec, 90 secs
lola: 6302266 markings, 20766893 edges, 79681 markings/sec, 95 secs
lola: 6701704 markings, 21577951 edges, 79888 markings/sec, 100 secs
lola: 7093124 markings, 22390209 edges, 78284 markings/sec, 105 secs
lola: 7474856 markings, 23203953 edges, 76346 markings/sec, 110 secs
lola: 7852666 markings, 24017685 edges, 75562 markings/sec, 115 secs
lola: 8223545 markings, 24829089 edges, 74176 markings/sec, 120 secs
lola: 8590755 markings, 25640731 edges, 73442 markings/sec, 125 secs
lola: 8946797 markings, 26451046 edges, 71208 markings/sec, 130 secs
lola: 9295316 markings, 27261877 edges, 69704 markings/sec, 135 secs
lola: 9642491 markings, 28081660 edges, 69435 markings/sec, 140 secs
lola: 9985860 markings, 28901486 edges, 68674 markings/sec, 145 secs
lola: 10326876 markings, 29721761 edges, 68203 markings/sec, 150 secs
lola: 10664846 markings, 30542847 edges, 67594 markings/sec, 155 secs
lola: 10996819 markings, 31363659 edges, 66395 markings/sec, 160 secs
lola: 11321698 markings, 32220110 edges, 64976 markings/sec, 165 secs
lola: 11645780 markings, 33050590 edges, 64816 markings/sec, 170 secs
lola: 11963819 markings, 33877999 edges, 63608 markings/sec, 175 secs
lola: 12275339 markings, 34709939 edges, 62304 markings/sec, 180 secs
lola: 12581135 markings, 35544817 edges, 61159 markings/sec, 185 secs
lola: 12879774 markings, 36380464 edges, 59728 markings/sec, 190 secs
lola: 13176640 markings, 37215331 edges, 59373 markings/sec, 195 secs
lola: 13469731 markings, 38056879 edges, 58618 markings/sec, 200 secs
lola: 13761228 markings, 38899946 edges, 58299 markings/sec, 205 secs
lola: 14047828 markings, 39746175 edges, 57320 markings/sec, 210 secs
lola: 14330295 markings, 40595467 edges, 56493 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: 552954 markings, 1149237 edges, 110591 markings/sec, 0 secs
lola: 1127748 markings, 2227181 edges, 114959 markings/sec, 5 secs
lola: 1721429 markings, 3189629 edges, 118736 markings/sec, 10 secs
lola: 2212978 markings, 4141184 edges, 98310 markings/sec, 15 secs
lola: 2710055 markings, 5127224 edges, 99415 markings/sec, 20 secs
lola: 2785643 markings, 6402415 edges, 15118 markings/sec, 25 secs
lola: 3173173 markings, 7564731 edges, 77506 markings/sec, 30 secs
lola: 3789220 markings, 8504725 edges, 123209 markings/sec, 35 secs
lola: 4301449 markings, 9437352 edges, 102446 markings/sec, 40 secs
lola: 4761260 markings, 10397603 edges, 91962 markings/sec, 45 secs
lola: 4836956 markings, 11672006 edges, 15139 markings/sec, 50 secs
lola: 5365608 markings, 12743624 edges, 105730 markings/sec, 55 secs
lola: 6018728 markings, 13674428 edges, 130624 markings/sec, 60 secs
lola: 6652780 markings, 14605477 edges, 126810 markings/sec, 65 secs
lola: 7261596 markings, 15520562 edges, 121763 markings/sec, 70 secs
lola: 7851208 markings, 16425887 edges, 117922 markings/sec, 75 secs
lola: 8419458 markings, 17319926 edges, 113650 markings/sec, 80 secs
lola: 8976435 markings, 18216464 edges, 111395 markings/sec, 85 secs
lola: 9520487 markings, 19106711 edges, 108810 markings/sec, 90 secs
lola: 10050586 markings, 19985440 edges, 106020 markings/sec, 95 secs
lola: 10573894 markings, 20862760 edges, 104662 markings/sec, 100 secs
lola: 11077261 markings, 21737341 edges, 100673 markings/sec, 105 secs
lola: 11567149 markings, 22604207 edges, 97978 markings/sec, 110 secs
lola: 12050328 markings, 23471475 edges, 96636 markings/sec, 115 secs
lola: 12525943 markings, 24335432 edges, 95123 markings/sec, 120 secs
lola: 13000473 markings, 25201612 edges, 94906 markings/sec, 125 secs
lola: 13447567 markings, 26066328 edges, 89419 markings/sec, 130 secs
lola: 13889884 markings, 26931700 edges, 88463 markings/sec, 135 secs
lola: 14322553 markings, 27791570 edges, 86534 markings/sec, 140 secs
lola: 14763278 markings, 28665765 edges, 88145 markings/sec, 145 secs
lola: 15198138 markings, 29536205 edges, 86972 markings/sec, 150 secs
lola: 15621872 markings, 30421295 edges, 84747 markings/sec, 155 secs
lola: 16055725 markings, 31325913 edges, 86771 markings/sec, 160 secs
lola: 16513904 markings, 32303815 edges, 91636 markings/sec, 165 secs
lola: 17010448 markings, 33249707 edges, 99309 markings/sec, 170 secs
lola: 17545160 markings, 34110022 edges, 106942 markings/sec, 175 secs
lola: 17986510 markings, 34953854 edges, 88270 markings/sec, 180 secs
lola: 18370775 markings, 35868913 edges, 76853 markings/sec, 185 secs
lola: 18419769 markings, 36959399 edges, 9799 markings/sec, 190 secs
lola: 18497531 markings, 38139029 edges, 15552 markings/sec, 195 secs
lola: 18539378 markings, 39212898 edges, 8369 markings/sec, 200 secs
lola: 18580149 markings, 40242182 edges, 8154 markings/sec, 205 secs
lola: 18626168 markings, 41267468 edges, 9204 markings/sec, 210 secs
lola: 18672357 markings, 42280706 edges, 9238 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: 690116 markings, 1021932 edges, 138023 markings/sec, 0 secs
lola: 1272773 markings, 1936669 edges, 116531 markings/sec, 5 secs
lola: 1897461 markings, 2806911 edges, 124938 markings/sec, 10 secs
lola: 2184433 markings, 3944100 edges, 57394 markings/sec, 15 secs
lola: 2648538 markings, 4934798 edges, 92821 markings/sec, 20 secs
lola: 3207809 markings, 5934581 edges, 111854 markings/sec, 25 secs
lola: 3776050 markings, 6828656 edges, 113648 markings/sec, 30 secs
lola: 4360509 markings, 7652014 edges, 116892 markings/sec, 35 secs
lola: 4942643 markings, 8449371 edges, 116427 markings/sec, 40 secs
lola: 5509940 markings, 9239358 edges, 113459 markings/sec, 45 secs
lola: 6070973 markings, 10030734 edges, 112207 markings/sec, 50 secs
lola: 6624237 markings, 10814578 edges, 110653 markings/sec, 55 secs
lola: 7171711 markings, 11595568 edges, 109495 markings/sec, 60 secs
lola: 7708117 markings, 12379515 edges, 107281 markings/sec, 65 secs
lola: 8236470 markings, 13161767 edges, 105671 markings/sec, 70 secs
lola: 8756197 markings, 13948301 edges, 103945 markings/sec, 75 secs
lola: 9263753 markings, 14724526 edges, 101511 markings/sec, 80 secs
lola: 9758604 markings, 15504043 edges, 98970 markings/sec, 85 secs
lola: 10246859 markings, 16283829 edges, 97651 markings/sec, 90 secs
lola: 10714712 markings, 17078196 edges, 93571 markings/sec, 95 secs
lola: 11164719 markings, 17890743 edges, 90001 markings/sec, 100 secs
lola: 11598085 markings, 18750643 edges, 86673 markings/sec, 105 secs
lola: 12106859 markings, 19676550 edges, 101755 markings/sec, 110 secs
lola: 12722867 markings, 20563956 edges, 123202 markings/sec, 115 secs
lola: 13326907 markings, 21380946 edges, 120808 markings/sec, 120 secs
lola: 13914632 markings, 22189579 edges, 117545 markings/sec, 125 secs
lola: 14488913 markings, 22994204 edges, 114856 markings/sec, 130 secs
lola: 15058388 markings, 23797235 edges, 113895 markings/sec, 135 secs
lola: 15619072 markings, 24595883 edges, 112137 markings/sec, 140 secs
lola: 16169673 markings, 25387430 edges, 110120 markings/sec, 145 secs
lola: 16710517 markings, 26179909 edges, 108169 markings/sec, 150 secs
lola: 17243632 markings, 26974390 edges, 106623 markings/sec, 155 secs
lola: 17765430 markings, 27769642 edges, 104360 markings/sec, 160 secs
lola: 18279169 markings, 28561804 edges, 102748 markings/sec, 165 secs
lola: 18781316 markings, 29351468 edges, 100429 markings/sec, 170 secs
lola: 19267407 markings, 30144202 edges, 97218 markings/sec, 175 secs
lola: 19730958 markings, 30955908 edges, 92710 markings/sec, 180 secs
lola: 20181481 markings, 31799543 edges, 90105 markings/sec, 185 secs
lola: 20623428 markings, 32700532 edges, 88389 markings/sec, 190 secs
lola: 20799379 markings, 33714098 edges, 35190 markings/sec, 195 secs
lola: 20842475 markings, 34719753 edges, 8619 markings/sec, 200 secs
lola: 20859722 markings, 35728333 edges, 3449 markings/sec, 205 secs
lola: 20874732 markings, 36756823 edges, 3002 markings/sec, 210 secs
lola: 20891938 markings, 37813176 edges, 3441 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: 428627 markings, 1174410 edges, 85725 markings/sec, 0 secs
lola: 774027 markings, 2362228 edges, 69080 markings/sec, 5 secs
lola: 1068322 markings, 3568236 edges, 58859 markings/sec, 10 secs
lola: 1452736 markings, 4743538 edges, 76883 markings/sec, 15 secs
lola: 1888778 markings, 5879696 edges, 87208 markings/sec, 20 secs
lola: 2298068 markings, 7023356 edges, 81858 markings/sec, 25 secs
lola: 2706963 markings, 8187013 edges, 81779 markings/sec, 30 secs
lola: 3105795 markings, 9163309 edges, 79766 markings/sec, 35 secs
lola: 3448813 markings, 10264426 edges, 68604 markings/sec, 40 secs
lola: 3969497 markings, 11176599 edges, 104137 markings/sec, 45 secs
lola: 4470903 markings, 12041681 edges, 100281 markings/sec, 50 secs
lola: 4798772 markings, 13129417 edges, 65574 markings/sec, 55 secs
lola: 5104467 markings, 14149681 edges, 61139 markings/sec, 60 secs
lola: 5320807 markings, 15295124 edges, 43268 markings/sec, 65 secs
lola: 5633896 markings, 16305344 edges, 62618 markings/sec, 70 secs
lola: 5948493 markings, 17393400 edges, 62919 markings/sec, 75 secs
lola: 6453829 markings, 18334166 edges, 101067 markings/sec, 80 secs
lola: 6956079 markings, 19196092 edges, 100450 markings/sec, 85 secs
lola: 7315571 markings, 20244015 edges, 71898 markings/sec, 90 secs
lola: 7694578 markings, 21158397 edges, 75801 markings/sec, 95 secs
lola: 7976082 markings, 22160215 edges, 56301 markings/sec, 100 secs
lola: 8256717 markings, 23117053 edges, 56127 markings/sec, 105 secs
lola: 8645057 markings, 23931523 edges, 77668 markings/sec, 110 secs
lola: 9035042 markings, 24722634 edges, 77997 markings/sec, 115 secs
lola: 9404282 markings, 25521340 edges, 73848 markings/sec, 120 secs
lola: 9755783 markings, 26357144 edges, 70300 markings/sec, 125 secs
lola: 10094990 markings, 27258248 edges, 67841 markings/sec, 130 secs
lola: 10428173 markings, 28016297 edges, 66637 markings/sec, 135 secs
lola: 10453085 markings, 29103202 edges, 4982 markings/sec, 140 secs
lola: 10458442 markings, 30179079 edges, 1071 markings/sec, 145 secs
lola: 10926651 markings, 31157475 edges, 93642 markings/sec, 150 secs
lola: 11433669 markings, 32008606 edges, 101404 markings/sec, 155 secs
lola: 11920587 markings, 32885402 edges, 97384 markings/sec, 160 secs
lola: 12281033 markings, 33920661 edges, 72089 markings/sec, 165 secs
lola: 12769872 markings, 34726096 edges, 97768 markings/sec, 170 secs
lola: 13240116 markings, 35574848 edges, 94049 markings/sec, 175 secs
lola: 13568388 markings, 36550986 edges, 65654 markings/sec, 180 secs
lola: 14065904 markings, 37336157 edges, 99503 markings/sec, 185 secs
lola: 14548186 markings, 38119626 edges, 96456 markings/sec, 190 secs
lola: 15022296 markings, 38904419 edges, 94822 markings/sec, 195 secs
lola: 15494020 markings, 39698050 edges, 94345 markings/sec, 200 secs
lola: 15958298 markings, 40484008 edges, 92856 markings/sec, 205 secs
lola: 16419054 markings, 41274319 edges, 92151 markings/sec, 210 secs
lola: 16876194 markings, 42064833 edges, 91428 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 1496577694577
--------------------
content from stderr:
----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_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/S_TriangularGrid-PT-4022.tgz
mv S_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 S_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 r158-ebro-149443464300344"
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 ;