About the Execution of LoLA for S_TriangularGrid-PT-5020
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7931.790 | 3539402.00 | 3556214.00 | 815.30 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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-5020, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r158-ebro-149443464300353
=====================================================================
--------------------
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-5020-UpperBounds-0
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-1
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-10
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-11
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-12
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-13
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-14
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-15
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-2
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-3
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-4
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-5
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-6
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-7
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-8
FORMULA_NAME TriangularGrid-PT-5020-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496575007725
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_TriangularGrid-PT-5020: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_TriangularGrid-PT-5020: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_TriangularGrid-PT-5020 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 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-5020-UpperBounds.task
lola: MAX(pi3_1_1) : MAX(pil2_4_1) : MAX(pb2_3_2) : MAX(pil2_5_7) : MAX(pi1_3_1) : MAX(pb1_2_3) : MAX(pb1_5_8) : MAX(pil3_5_9) : MAX(pi1_5_7) : MAX(pb3_3_2) : MAX(pb2_2_1) : MAX(pi3_2_3) : MAX(pb2_3_1) : MAX(pil2_4_7) : MAX(pb2_2_1) : MAX(pol3_2_3)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pi3_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: 602517 markings, 863251 edges, 120503 markings/sec, 0 secs
lola: 1135811 markings, 1637381 edges, 106659 markings/sec, 5 secs
lola: 1429931 markings, 2540763 edges, 58824 markings/sec, 10 secs
lola: 1862864 markings, 3337394 edges, 86587 markings/sec, 15 secs
lola: 2242043 markings, 4245379 edges, 75836 markings/sec, 20 secs
lola: 2774745 markings, 4987140 edges, 106540 markings/sec, 25 secs
lola: 3291806 markings, 5645165 edges, 103412 markings/sec, 30 secs
lola: 3791527 markings, 6295060 edges, 99944 markings/sec, 35 secs
lola: 4260174 markings, 6912653 edges, 93729 markings/sec, 40 secs
lola: 4738730 markings, 7553221 edges, 95711 markings/sec, 45 secs
lola: 5223102 markings, 8207738 edges, 96874 markings/sec, 50 secs
lola: 5698799 markings, 8859692 edges, 95139 markings/sec, 55 secs
lola: 6181901 markings, 9528942 edges, 96620 markings/sec, 60 secs
lola: 6663526 markings, 10205621 edges, 96325 markings/sec, 65 secs
lola: 7142498 markings, 10882683 edges, 95794 markings/sec, 70 secs
lola: 7610472 markings, 11553975 edges, 93595 markings/sec, 75 secs
lola: 8035711 markings, 12173649 edges, 85048 markings/sec, 80 secs
lola: 8433116 markings, 12764549 edges, 79481 markings/sec, 85 secs
lola: 8849878 markings, 13389407 edges, 83352 markings/sec, 90 secs
lola: 9300125 markings, 14074168 edges, 90049 markings/sec, 95 secs
lola: 9749733 markings, 14764408 edges, 89922 markings/sec, 100 secs
lola: 10165439 markings, 15411821 edges, 83141 markings/sec, 105 secs
lola: 10552437 markings, 16022693 edges, 77400 markings/sec, 110 secs
lola: 10971040 markings, 16694304 edges, 83721 markings/sec, 115 secs
lola: 11410391 markings, 17408846 edges, 87870 markings/sec, 120 secs
lola: 11844344 markings, 18134165 edges, 86791 markings/sec, 125 secs
lola: 12271187 markings, 18872997 edges, 85369 markings/sec, 130 secs
lola: 12685386 markings, 19641569 edges, 82840 markings/sec, 135 secs
lola: 13108565 markings, 20452639 edges, 84636 markings/sec, 140 secs
lola: 13513761 markings, 21343592 edges, 81039 markings/sec, 145 secs
lola: 13815875 markings, 22345547 edges, 60423 markings/sec, 150 secs
lola: 13827767 markings, 23301612 edges, 2378 markings/sec, 155 secs
lola: 13837118 markings, 24088152 edges, 1870 markings/sec, 160 secs
lola: 13847015 markings, 24913141 edges, 1979 markings/sec, 165 secs
lola: 13855148 markings, 25771014 edges, 1627 markings/sec, 170 secs
lola: 13861382 markings, 26479336 edges, 1247 markings/sec, 175 secs
lola: 13868117 markings, 27187901 edges, 1347 markings/sec, 180 secs
lola: 13873799 markings, 27906325 edges, 1136 markings/sec, 185 secs
lola: 13879289 markings, 28648527 edges, 1098 markings/sec, 190 secs
lola: 14242657 markings, 29332268 edges, 72674 markings/sec, 195 secs
lola: 14651561 markings, 29884728 edges, 81781 markings/sec, 200 secs
lola: 15055788 markings, 30509706 edges, 80845 markings/sec, 205 secs
lola: 15257096 markings, 31330701 edges, 40262 markings/sec, 210 secs
lola: 15689099 markings, 31978794 edges, 86401 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(pil2_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: 746106 markings, 1026282 edges, 149221 markings/sec, 0 secs
lola: 1601799 markings, 1988117 edges, 171139 markings/sec, 5 secs
lola: 2397852 markings, 2886192 edges, 159211 markings/sec, 10 secs
lola: 3145564 markings, 3729386 edges, 149542 markings/sec, 15 secs
lola: 3855638 markings, 4624192 edges, 142015 markings/sec, 20 secs
lola: 4460119 markings, 5551431 edges, 120896 markings/sec, 25 secs
lola: 5055313 markings, 6355234 edges, 119039 markings/sec, 30 secs
lola: 5671838 markings, 7217100 edges, 123305 markings/sec, 35 secs
lola: 6303499 markings, 8109990 edges, 126332 markings/sec, 40 secs
lola: 6595602 markings, 9170718 edges, 58421 markings/sec, 45 secs
lola: 7176458 markings, 9908131 edges, 116171 markings/sec, 50 secs
lola: 7741663 markings, 10654913 edges, 113041 markings/sec, 55 secs
lola: 8317534 markings, 11439688 edges, 115174 markings/sec, 60 secs
lola: 8883499 markings, 12218884 edges, 113193 markings/sec, 65 secs
lola: 9439437 markings, 12992575 edges, 111188 markings/sec, 70 secs
lola: 9995408 markings, 13767478 edges, 111194 markings/sec, 75 secs
lola: 10541299 markings, 14551429 edges, 109178 markings/sec, 80 secs
lola: 11058441 markings, 15364146 edges, 103428 markings/sec, 85 secs
lola: 11654051 markings, 16259337 edges, 119122 markings/sec, 90 secs
lola: 12295150 markings, 17075587 edges, 128220 markings/sec, 95 secs
lola: 12916268 markings, 17919568 edges, 124224 markings/sec, 100 secs
lola: 13483036 markings, 18675029 edges, 113354 markings/sec, 105 secs
lola: 14050278 markings, 19453589 edges, 113448 markings/sec, 110 secs
lola: 14606507 markings, 20227662 edges, 111246 markings/sec, 115 secs
lola: 15156320 markings, 20993278 edges, 109963 markings/sec, 120 secs
lola: 15685032 markings, 21765131 edges, 105742 markings/sec, 125 secs
lola: 16146341 markings, 22518988 edges, 92262 markings/sec, 130 secs
lola: 16389383 markings, 23357117 edges, 48608 markings/sec, 135 secs
lola: 16406912 markings, 24138724 edges, 3506 markings/sec, 140 secs
lola: 16505873 markings, 25038972 edges, 19792 markings/sec, 145 secs
lola: 16527161 markings, 25963882 edges, 4258 markings/sec, 150 secs
lola: 16876702 markings, 26810767 edges, 69908 markings/sec, 155 secs
lola: 17416874 markings, 27529737 edges, 108034 markings/sec, 160 secs
lola: 17932994 markings, 28346603 edges, 103224 markings/sec, 165 secs
lola: 18517826 markings, 29076815 edges, 116966 markings/sec, 170 secs
lola: 19089459 markings, 29816330 edges, 114327 markings/sec, 175 secs
lola: 19663534 markings, 30555483 edges, 114815 markings/sec, 180 secs
lola: 20211095 markings, 31318211 edges, 109512 markings/sec, 185 secs
lola: 20756443 markings, 32024023 edges, 109070 markings/sec, 190 secs
lola: 21314283 markings, 32795904 edges, 111568 markings/sec, 195 secs
lola: 21866445 markings, 33520584 edges, 110432 markings/sec, 200 secs
lola: 22414679 markings, 34246852 edges, 109647 markings/sec, 205 secs
lola: 22966983 markings, 34975446 edges, 110461 markings/sec, 210 secs
lola: 23512760 markings, 35700772 edges, 109155 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(pb2_3_2)
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: 710661 markings, 946159 edges, 142132 markings/sec, 0 secs
lola: 1313961 markings, 1812733 edges, 120660 markings/sec, 5 secs
lola: 1938717 markings, 2637367 edges, 124951 markings/sec, 10 secs
lola: 2541048 markings, 3448045 edges, 120466 markings/sec, 15 secs
lola: 3132556 markings, 4275276 edges, 118302 markings/sec, 20 secs
lola: 3716199 markings, 5073636 edges, 116729 markings/sec, 25 secs
lola: 4292865 markings, 5892140 edges, 115333 markings/sec, 30 secs
lola: 4864803 markings, 6694024 edges, 114388 markings/sec, 35 secs
lola: 5421493 markings, 7508969 edges, 111338 markings/sec, 40 secs
lola: 5941232 markings, 8350668 edges, 103948 markings/sec, 45 secs
lola: 6108363 markings, 9439047 edges, 33426 markings/sec, 50 secs
lola: 6332196 markings, 10484973 edges, 44767 markings/sec, 55 secs
lola: 6911094 markings, 11292296 edges, 115780 markings/sec, 60 secs
lola: 7440410 markings, 12140854 edges, 105863 markings/sec, 65 secs
lola: 8017232 markings, 12857696 edges, 115364 markings/sec, 70 secs
lola: 8537818 markings, 13518788 edges, 104117 markings/sec, 75 secs
lola: 9096805 markings, 14293620 edges, 111797 markings/sec, 80 secs
lola: 9642621 markings, 15054964 edges, 109163 markings/sec, 85 secs
lola: 10161052 markings, 15723182 edges, 103686 markings/sec, 90 secs
lola: 10700691 markings, 16425449 edges, 107928 markings/sec, 95 secs
lola: 11245126 markings, 17139222 edges, 108887 markings/sec, 100 secs
lola: 11805957 markings, 17876131 edges, 112166 markings/sec, 105 secs
lola: 12367439 markings, 18625375 edges, 112296 markings/sec, 110 secs
lola: 12900061 markings, 19381126 edges, 106524 markings/sec, 115 secs
lola: 13443866 markings, 20102977 edges, 108761 markings/sec, 120 secs
lola: 14008136 markings, 20848374 edges, 112854 markings/sec, 125 secs
lola: 14533132 markings, 21607689 edges, 104999 markings/sec, 130 secs
lola: 15098397 markings, 22401546 edges, 113053 markings/sec, 135 secs
lola: 15647321 markings, 23144636 edges, 109785 markings/sec, 140 secs
lola: 16203132 markings, 23893191 edges, 111162 markings/sec, 145 secs
lola: 16754594 markings, 24640326 edges, 110292 markings/sec, 150 secs
lola: 17302085 markings, 25386936 edges, 109498 markings/sec, 155 secs
lola: 17846148 markings, 26130993 edges, 108813 markings/sec, 160 secs
lola: 18358715 markings, 26835156 edges, 102513 markings/sec, 165 secs
lola: 18876240 markings, 27548860 edges, 103505 markings/sec, 170 secs
lola: 19397764 markings, 28263083 edges, 104305 markings/sec, 175 secs
lola: 19912603 markings, 28974139 edges, 102968 markings/sec, 180 secs
lola: 20420169 markings, 29687071 edges, 101513 markings/sec, 185 secs
lola: 20921679 markings, 30395215 edges, 100302 markings/sec, 190 secs
lola: 21437604 markings, 31130276 edges, 103185 markings/sec, 195 secs
lola: 21944210 markings, 31858081 edges, 101321 markings/sec, 200 secs
lola: 22444723 markings, 32574415 edges, 100103 markings/sec, 205 secs
lola: 22950759 markings, 33302360 edges, 101207 markings/sec, 210 secs
lola: 23444331 markings, 34022674 edges, 98714 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(pil2_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: 522587 markings, 645914 edges, 104517 markings/sec, 0 secs
lola: 1043423 markings, 1288093 edges, 104167 markings/sec, 5 secs
lola: 1528809 markings, 1945235 edges, 97077 markings/sec, 10 secs
lola: 2032144 markings, 2564677 edges, 100667 markings/sec, 15 secs
lola: 2524197 markings, 3166438 edges, 98411 markings/sec, 20 secs
lola: 3037732 markings, 3796296 edges, 102707 markings/sec, 25 secs
lola: 3452403 markings, 4530970 edges, 82934 markings/sec, 30 secs
lola: 3916047 markings, 5140935 edges, 92729 markings/sec, 35 secs
lola: 4376537 markings, 5719751 edges, 92098 markings/sec, 40 secs
lola: 4802699 markings, 6367247 edges, 85232 markings/sec, 45 secs
lola: 5253556 markings, 6931798 edges, 90171 markings/sec, 50 secs
lola: 5705138 markings, 7514996 edges, 90316 markings/sec, 55 secs
lola: 6162194 markings, 8099623 edges, 91411 markings/sec, 60 secs
lola: 6622600 markings, 8691537 edges, 92081 markings/sec, 65 secs
lola: 7102381 markings, 9319870 edges, 95956 markings/sec, 70 secs
lola: 7572199 markings, 9971241 edges, 93964 markings/sec, 75 secs
lola: 7918727 markings, 10719677 edges, 69306 markings/sec, 80 secs
lola: 8367020 markings, 11283456 edges, 89659 markings/sec, 85 secs
lola: 8828939 markings, 11873991 edges, 92384 markings/sec, 90 secs
lola: 9291999 markings, 12471093 edges, 92612 markings/sec, 95 secs
lola: 9755403 markings, 13070106 edges, 92681 markings/sec, 100 secs
lola: 10215668 markings, 13672204 edges, 92053 markings/sec, 105 secs
lola: 10677609 markings, 14277732 edges, 92388 markings/sec, 110 secs
lola: 11147256 markings, 14895245 edges, 93929 markings/sec, 115 secs
lola: 11617923 markings, 15508910 edges, 94133 markings/sec, 120 secs
lola: 12096781 markings, 16126466 edges, 95772 markings/sec, 125 secs
lola: 12582937 markings, 16749692 edges, 97231 markings/sec, 130 secs
lola: 13061793 markings, 17408276 edges, 95771 markings/sec, 135 secs
lola: 13545371 markings, 18040671 edges, 96716 markings/sec, 140 secs
lola: 13995368 markings, 18711353 edges, 89999 markings/sec, 145 secs
lola: 14363501 markings, 19460348 edges, 73627 markings/sec, 150 secs
lola: 14626046 markings, 20223951 edges, 52509 markings/sec, 155 secs
lola: 15079041 markings, 20829800 edges, 90599 markings/sec, 160 secs
lola: 15545272 markings, 21423279 edges, 93246 markings/sec, 165 secs
lola: 15958535 markings, 22070879 edges, 82653 markings/sec, 170 secs
lola: 16406594 markings, 22645847 edges, 89612 markings/sec, 175 secs
lola: 16855094 markings, 23232870 edges, 89700 markings/sec, 180 secs
lola: 17307025 markings, 23817678 edges, 90386 markings/sec, 185 secs
lola: 17765510 markings, 24413916 edges, 91697 markings/sec, 190 secs
lola: 18241607 markings, 25036626 edges, 95219 markings/sec, 195 secs
lola: 18704800 markings, 25693088 edges, 92639 markings/sec, 200 secs
lola: 19002070 markings, 26440971 edges, 59454 markings/sec, 205 secs
lola: 19443396 markings, 26998553 edges, 88265 markings/sec, 210 secs
lola: 19871643 markings, 27548192 edges, 85649 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(pi1_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: 697921 markings, 821824 edges, 139584 markings/sec, 0 secs
lola: 1367728 markings, 1621881 edges, 133961 markings/sec, 5 secs
lola: 2020062 markings, 2433601 edges, 130467 markings/sec, 10 secs
lola: 2671101 markings, 3239215 edges, 130208 markings/sec, 15 secs
lola: 3295890 markings, 4031078 edges, 124958 markings/sec, 20 secs
lola: 3919591 markings, 4760435 edges, 124740 markings/sec, 25 secs
lola: 4513547 markings, 5450014 edges, 118791 markings/sec, 30 secs
lola: 5116722 markings, 6150195 edges, 120635 markings/sec, 35 secs
lola: 5733414 markings, 6885805 edges, 123338 markings/sec, 40 secs
lola: 6347066 markings, 7632486 edges, 122730 markings/sec, 45 secs
lola: 6927998 markings, 8392658 edges, 116186 markings/sec, 50 secs
lola: 7531341 markings, 9179037 edges, 120669 markings/sec, 55 secs
lola: 8158791 markings, 9972695 edges, 125490 markings/sec, 60 secs
lola: 8770663 markings, 10770879 edges, 122374 markings/sec, 65 secs
lola: 9383660 markings, 11544859 edges, 122599 markings/sec, 70 secs
lola: 9939433 markings, 12376713 edges, 111155 markings/sec, 75 secs
lola: 10582974 markings, 13156004 edges, 128708 markings/sec, 80 secs
lola: 11231661 markings, 13909423 edges, 129737 markings/sec, 85 secs
lola: 11814333 markings, 14713015 edges, 116534 markings/sec, 90 secs
lola: 12449437 markings, 15443683 edges, 127021 markings/sec, 95 secs
lola: 13059746 markings, 16160353 edges, 122062 markings/sec, 100 secs
lola: 13686281 markings, 16889450 edges, 125307 markings/sec, 105 secs
lola: 14309897 markings, 17616574 edges, 124723 markings/sec, 110 secs
lola: 14931090 markings, 18343839 edges, 124239 markings/sec, 115 secs
lola: 15539815 markings, 19100888 edges, 121745 markings/sec, 120 secs
lola: 16070739 markings, 19927640 edges, 106185 markings/sec, 125 secs
lola: 16628615 markings, 20746832 edges, 111575 markings/sec, 130 secs
lola: 17251187 markings, 21474823 edges, 124514 markings/sec, 135 secs
lola: 17873706 markings, 22206783 edges, 124504 markings/sec, 140 secs
lola: 18498974 markings, 22931394 edges, 125054 markings/sec, 145 secs
lola: 19112634 markings, 23650758 edges, 122732 markings/sec, 150 secs
lola: 19736848 markings, 24396810 edges, 124843 markings/sec, 155 secs
lola: 20272665 markings, 25229055 edges, 107163 markings/sec, 160 secs
lola: 20821621 markings, 26053490 edges, 109791 markings/sec, 165 secs
lola: 21449675 markings, 26791821 edges, 125611 markings/sec, 170 secs
lola: 22060761 markings, 27508232 edges, 122217 markings/sec, 175 secs
lola: 22665309 markings, 28219631 edges, 120910 markings/sec, 180 secs
lola: 23264546 markings, 28931009 edges, 119847 markings/sec, 185 secs
lola: 23870525 markings, 29646286 edges, 121196 markings/sec, 190 secs
lola: 24472451 markings, 30361613 edges, 120385 markings/sec, 195 secs
lola: 25073285 markings, 31099738 edges, 120167 markings/sec, 200 secs
lola: 25589552 markings, 31912081 edges, 103253 markings/sec, 205 secs
lola: 26114478 markings, 32716674 edges, 104985 markings/sec, 210 secs
lola: 26732243 markings, 33436441 edges, 123553 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(pb1_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: 349833 markings, 744052 edges, 69967 markings/sec, 0 secs
lola: 636554 markings, 1597057 edges, 57344 markings/sec, 5 secs
lola: 949036 markings, 2421936 edges, 62496 markings/sec, 10 secs
lola: 1299164 markings, 3086644 edges, 70026 markings/sec, 15 secs
lola: 1576858 markings, 3948667 edges, 55539 markings/sec, 20 secs
lola: 1880496 markings, 4818349 edges, 60728 markings/sec, 25 secs
lola: 2184374 markings, 5660317 edges, 60776 markings/sec, 30 secs
lola: 2488043 markings, 6503015 edges, 60734 markings/sec, 35 secs
lola: 2813741 markings, 7381926 edges, 65140 markings/sec, 40 secs
lola: 3157458 markings, 8212051 edges, 68743 markings/sec, 45 secs
lola: 3483177 markings, 9121505 edges, 65144 markings/sec, 50 secs
lola: 3808627 markings, 9966183 edges, 65090 markings/sec, 55 secs
lola: 4173337 markings, 10689249 edges, 72942 markings/sec, 60 secs
lola: 4515491 markings, 11425386 edges, 68431 markings/sec, 65 secs
lola: 4838778 markings, 12188146 edges, 64657 markings/sec, 70 secs
lola: 5175358 markings, 13006060 edges, 67316 markings/sec, 75 secs
lola: 5312771 markings, 14203021 edges, 27483 markings/sec, 80 secs
lola: 5435521 markings, 15318906 edges, 24550 markings/sec, 85 secs
lola: 5792462 markings, 16140333 edges, 71388 markings/sec, 90 secs
lola: 6091392 markings, 17015680 edges, 59786 markings/sec, 95 secs
lola: 6438291 markings, 17728208 edges, 69380 markings/sec, 100 secs
lola: 6768208 markings, 18465126 edges, 65983 markings/sec, 105 secs
lola: 7090937 markings, 19222920 edges, 64546 markings/sec, 110 secs
lola: 7444649 markings, 20007389 edges, 70742 markings/sec, 115 secs
lola: 7819780 markings, 20757710 edges, 75026 markings/sec, 120 secs
lola: 8172007 markings, 21529274 edges, 70445 markings/sec, 125 secs
lola: 8507692 markings, 22325449 edges, 67137 markings/sec, 130 secs
lola: 8720747 markings, 23390879 edges, 42611 markings/sec, 135 secs
lola: 8745200 markings, 24720375 edges, 4891 markings/sec, 140 secs
lola: 8756107 markings, 25937520 edges, 2181 markings/sec, 145 secs
lola: 9064971 markings, 26749778 edges, 61773 markings/sec, 150 secs
lola: 9425832 markings, 27449897 edges, 72172 markings/sec, 155 secs
lola: 9782372 markings, 28137518 edges, 71308 markings/sec, 160 secs
lola: 10129762 markings, 28808394 edges, 69478 markings/sec, 165 secs
lola: 10471859 markings, 29483756 edges, 68419 markings/sec, 170 secs
lola: 10804062 markings, 30180111 edges, 66441 markings/sec, 175 secs
lola: 11136947 markings, 30842327 edges, 66577 markings/sec, 180 secs
lola: 11467016 markings, 31512436 edges, 66014 markings/sec, 185 secs
lola: 11793910 markings, 32186509 edges, 65379 markings/sec, 190 secs
lola: 12118775 markings, 32861482 edges, 64973 markings/sec, 195 secs
lola: 12440362 markings, 33554922 edges, 64317 markings/sec, 200 secs
lola: 12761785 markings, 34245618 edges, 64285 markings/sec, 205 secs
lola: 13081672 markings, 34943425 edges, 63977 markings/sec, 210 secs
lola: 13401853 markings, 35644423 edges, 64036 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(pb1_5_8)
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: 808051 markings, 1083243 edges, 161610 markings/sec, 0 secs
lola: 1583690 markings, 2141938 edges, 155128 markings/sec, 5 secs
lola: 2124811 markings, 3337933 edges, 108224 markings/sec, 10 secs
lola: 2794994 markings, 4502656 edges, 134037 markings/sec, 15 secs
lola: 3571948 markings, 5559471 edges, 155391 markings/sec, 20 secs
lola: 4294567 markings, 6623154 edges, 144524 markings/sec, 25 secs
lola: 5075761 markings, 7611730 edges, 156239 markings/sec, 30 secs
lola: 5805802 markings, 8646726 edges, 146008 markings/sec, 35 secs
lola: 6556566 markings, 9645178 edges, 150153 markings/sec, 40 secs
lola: 7291247 markings, 10632452 edges, 146936 markings/sec, 45 secs
lola: 8023297 markings, 11627385 edges, 146410 markings/sec, 50 secs
lola: 8748937 markings, 12617336 edges, 145128 markings/sec, 55 secs
lola: 9467098 markings, 13616130 edges, 143632 markings/sec, 60 secs
lola: 10180067 markings, 14623207 edges, 142594 markings/sec, 65 secs
lola: 10888530 markings, 15622880 edges, 141693 markings/sec, 70 secs
lola: 11599088 markings, 16629715 edges, 142112 markings/sec, 75 secs
lola: 12250825 markings, 17673398 edges, 130347 markings/sec, 80 secs
lola: 12750505 markings, 18700184 edges, 99936 markings/sec, 85 secs
lola: 12905800 markings, 19970936 edges, 31059 markings/sec, 90 secs
lola: 12953161 markings, 21275843 edges, 9472 markings/sec, 95 secs
lola: 13582507 markings, 22406797 edges, 125869 markings/sec, 100 secs
lola: 14261468 markings, 23453186 edges, 135792 markings/sec, 105 secs
lola: 14971387 markings, 24500989 edges, 141984 markings/sec, 110 secs
lola: 15758650 markings, 25488691 edges, 157453 markings/sec, 115 secs
lola: 16516924 markings, 26477460 edges, 151655 markings/sec, 120 secs
lola: 17227003 markings, 27509158 edges, 142016 markings/sec, 125 secs
lola: 17970772 markings, 28493225 edges, 148754 markings/sec, 130 secs
lola: 18695028 markings, 29487521 edges, 144851 markings/sec, 135 secs
lola: 19420054 markings, 30480508 edges, 145005 markings/sec, 140 secs
lola: 20145809 markings, 31475007 edges, 145151 markings/sec, 145 secs
lola: 20855854 markings, 32486920 edges, 142009 markings/sec, 150 secs
lola: 21557980 markings, 33477291 edges, 140425 markings/sec, 155 secs
lola: 22258123 markings, 34469143 edges, 140029 markings/sec, 160 secs
lola: 22927400 markings, 35497469 edges, 133855 markings/sec, 165 secs
lola: 23321785 markings, 36595597 edges, 78877 markings/sec, 170 secs
lola: 23440054 markings, 37840849 edges, 23654 markings/sec, 175 secs
lola: 23570384 markings, 39126133 edges, 26066 markings/sec, 180 secs
lola: 24269610 markings, 40195115 edges, 139845 markings/sec, 185 secs
lola: 24978073 markings, 41226299 edges, 141693 markings/sec, 190 secs
lola: 25648283 markings, 42259220 edges, 134042 markings/sec, 195 secs
lola: 26403432 markings, 43253362 edges, 151030 markings/sec, 200 secs
lola: 27084256 markings, 44328027 edges, 136165 markings/sec, 205 secs
lola: 27821293 markings, 45371318 edges, 147407 markings/sec, 210 secs
lola: 28496050 markings, 46362185 edges, 134951 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(pil3_5_9)
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: 795661 markings, 1733848 edges, 159132 markings/sec, 0 secs
lola: 1639091 markings, 3672374 edges, 168686 markings/sec, 5 secs
lola: 2409196 markings, 5492200 edges, 154021 markings/sec, 10 secs
lola: 3200044 markings, 6980284 edges, 158170 markings/sec, 15 secs
lola: 3903451 markings, 7828452 edges, 140681 markings/sec, 20 secs
lola: 4613098 markings, 8641555 edges, 141929 markings/sec, 25 secs
lola: 5296728 markings, 9438618 edges, 136726 markings/sec, 30 secs
lola: 6029246 markings, 10243836 edges, 146504 markings/sec, 35 secs
lola: 6675558 markings, 11094065 edges, 129262 markings/sec, 40 secs
lola: 7328232 markings, 11965912 edges, 130535 markings/sec, 45 secs
lola: 8034206 markings, 12742471 edges, 141195 markings/sec, 50 secs
lola: 8728343 markings, 13511777 edges, 138827 markings/sec, 55 secs
lola: 9411218 markings, 14275910 edges, 136575 markings/sec, 60 secs
lola: 10087789 markings, 15046739 edges, 135314 markings/sec, 65 secs
lola: 10755103 markings, 15839000 edges, 133463 markings/sec, 70 secs
lola: 11492112 markings, 16640557 edges, 147402 markings/sec, 75 secs
lola: 12204821 markings, 17426607 edges, 142542 markings/sec, 80 secs
lola: 12908863 markings, 18208952 edges, 140808 markings/sec, 85 secs
lola: 13605102 markings, 18989513 edges, 139248 markings/sec, 90 secs
lola: 14286028 markings, 19774947 edges, 136185 markings/sec, 95 secs
lola: 14946126 markings, 20596662 edges, 132020 markings/sec, 100 secs
lola: 15601450 markings, 21420547 edges, 131065 markings/sec, 105 secs
lola: 16116219 markings, 22365806 edges, 102954 markings/sec, 110 secs
lola: 16779484 markings, 23178138 edges, 132653 markings/sec, 115 secs
lola: 17429362 markings, 23987012 edges, 129976 markings/sec, 120 secs
lola: 17921941 markings, 24909764 edges, 98516 markings/sec, 125 secs
lola: 18594221 markings, 25663406 edges, 134456 markings/sec, 130 secs
lola: 19299876 markings, 26429268 edges, 141131 markings/sec, 135 secs
lola: 19966575 markings, 27158176 edges, 133340 markings/sec, 140 secs
lola: 20633470 markings, 27890778 edges, 133379 markings/sec, 145 secs
lola: 21277864 markings, 28600142 edges, 128879 markings/sec, 150 secs
lola: 21927957 markings, 29317884 edges, 130019 markings/sec, 155 secs
lola: 22584551 markings, 30043655 edges, 131319 markings/sec, 160 secs
lola: 23239299 markings, 30769711 edges, 130950 markings/sec, 165 secs
lola: 23884069 markings, 31485495 edges, 128954 markings/sec, 170 secs
lola: 24533688 markings, 32210778 edges, 129924 markings/sec, 175 secs
lola: 25179092 markings, 32933709 edges, 129081 markings/sec, 180 secs
lola: 25822966 markings, 33661906 edges, 128775 markings/sec, 185 secs
lola: 26466146 markings, 34390766 edges, 128636 markings/sec, 190 secs
lola: 27103907 markings, 35123213 edges, 127552 markings/sec, 195 secs
lola: 27739271 markings, 35866017 edges, 127073 markings/sec, 200 secs
lola: 28349796 markings, 36632183 edges, 122105 markings/sec, 205 secs
lola: 29067809 markings, 37417536 edges, 143603 markings/sec, 210 secs
lola: 29773273 markings, 38187845 edges, 141093 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(pi1_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: 563856 markings, 868343 edges, 112771 markings/sec, 0 secs
lola: 1115972 markings, 1703304 edges, 110423 markings/sec, 5 secs
lola: 1566983 markings, 2695724 edges, 90202 markings/sec, 10 secs
lola: 2108202 markings, 3496729 edges, 108244 markings/sec, 15 secs
lola: 2684039 markings, 4325187 edges, 115167 markings/sec, 20 secs
lola: 3056004 markings, 5345128 edges, 74393 markings/sec, 25 secs
lola: 3589013 markings, 6112297 edges, 106602 markings/sec, 30 secs
lola: 4115245 markings, 6881836 edges, 105246 markings/sec, 35 secs
lola: 4640048 markings, 7659711 edges, 104961 markings/sec, 40 secs
lola: 5171150 markings, 8450834 edges, 106220 markings/sec, 45 secs
lola: 5704331 markings, 9292956 edges, 106636 markings/sec, 50 secs
lola: 6270568 markings, 10140685 edges, 113247 markings/sec, 55 secs
lola: 6744576 markings, 11071212 edges, 94802 markings/sec, 60 secs
lola: 7291636 markings, 11858250 edges, 109412 markings/sec, 65 secs
lola: 7834109 markings, 12653908 edges, 108495 markings/sec, 70 secs
lola: 8372880 markings, 13456038 edges, 107754 markings/sec, 75 secs
lola: 8915991 markings, 14267388 edges, 108622 markings/sec, 80 secs
lola: 9337060 markings, 15249148 edges, 84214 markings/sec, 85 secs
lola: 9389157 markings, 16497301 edges, 10419 markings/sec, 90 secs
lola: 9569979 markings, 17581988 edges, 36164 markings/sec, 95 secs
lola: 10088586 markings, 18349822 edges, 103721 markings/sec, 100 secs
lola: 10524745 markings, 19218738 edges, 87232 markings/sec, 105 secs
lola: 11051840 markings, 19977584 edges, 105419 markings/sec, 110 secs
lola: 11572145 markings, 20737807 edges, 104061 markings/sec, 115 secs
lola: 12093795 markings, 21511395 edges, 104330 markings/sec, 120 secs
lola: 12619555 markings, 22298096 edges, 105152 markings/sec, 125 secs
lola: 13099471 markings, 23178702 edges, 95983 markings/sec, 130 secs
lola: 13179714 markings, 24322028 edges, 16049 markings/sec, 135 secs
lola: 13710798 markings, 25068695 edges, 106217 markings/sec, 140 secs
lola: 14231128 markings, 25819291 edges, 104066 markings/sec, 145 secs
lola: 14731173 markings, 26553876 edges, 100009 markings/sec, 150 secs
lola: 15238899 markings, 27304563 edges, 101545 markings/sec, 155 secs
lola: 15737540 markings, 28037664 edges, 99728 markings/sec, 160 secs
lola: 16239374 markings, 28785621 edges, 100367 markings/sec, 165 secs
lola: 16742126 markings, 29533084 edges, 100550 markings/sec, 170 secs
lola: 17249947 markings, 30290753 edges, 101564 markings/sec, 175 secs
lola: 17759282 markings, 31047564 edges, 101867 markings/sec, 180 secs
lola: 18268664 markings, 31806951 edges, 101876 markings/sec, 185 secs
lola: 18773972 markings, 32566597 edges, 101062 markings/sec, 190 secs
lola: 19268673 markings, 33316001 edges, 98940 markings/sec, 195 secs
lola: 19767869 markings, 34071853 edges, 99839 markings/sec, 200 secs
lola: 20278144 markings, 34828767 edges, 102055 markings/sec, 205 secs
lola: 20787644 markings, 35591649 edges, 101900 markings/sec, 210 secs
lola: 21299528 markings, 36355109 edges, 102377 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_3_2)
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: 506775 markings, 1165637 edges, 101355 markings/sec, 0 secs
lola: 918699 markings, 2333201 edges, 82385 markings/sec, 5 secs
lola: 1448531 markings, 3343482 edges, 105966 markings/sec, 10 secs
lola: 1934661 markings, 4356739 edges, 97226 markings/sec, 15 secs
lola: 2318026 markings, 5454007 edges, 76673 markings/sec, 20 secs
lola: 2380456 markings, 6753625 edges, 12486 markings/sec, 25 secs
lola: 2767576 markings, 7877260 edges, 77424 markings/sec, 30 secs
lola: 3054536 markings, 9002047 edges, 57392 markings/sec, 35 secs
lola: 3521955 markings, 10005844 edges, 93484 markings/sec, 40 secs
lola: 3952099 markings, 10991400 edges, 86029 markings/sec, 45 secs
lola: 4355447 markings, 12019325 edges, 80670 markings/sec, 50 secs
lola: 4651664 markings, 13172559 edges, 59243 markings/sec, 55 secs
lola: 4665263 markings, 14426718 edges, 2720 markings/sec, 60 secs
lola: 5016401 markings, 15597161 edges, 70228 markings/sec, 65 secs
lola: 5420323 markings, 16714949 edges, 80784 markings/sec, 70 secs
lola: 5704088 markings, 17872781 edges, 56753 markings/sec, 75 secs
lola: 5996290 markings, 18958816 edges, 58440 markings/sec, 80 secs
lola: 6339044 markings, 19919599 edges, 68551 markings/sec, 85 secs
lola: 6501691 markings, 21045225 edges, 32529 markings/sec, 90 secs
lola: 6882082 markings, 22112439 edges, 76078 markings/sec, 95 secs
lola: 7339764 markings, 23052880 edges, 91536 markings/sec, 100 secs
lola: 7788000 markings, 23980937 edges, 89647 markings/sec, 105 secs
lola: 8234111 markings, 24871750 edges, 89222 markings/sec, 110 secs
lola: 8667152 markings, 25754924 edges, 86608 markings/sec, 115 secs
lola: 9109657 markings, 26631235 edges, 88501 markings/sec, 120 secs
lola: 9541192 markings, 27498300 edges, 86307 markings/sec, 125 secs
lola: 9964876 markings, 28367528 edges, 84737 markings/sec, 130 secs
lola: 10385719 markings, 29225970 edges, 84169 markings/sec, 135 secs
lola: 10777326 markings, 30235131 edges, 78321 markings/sec, 140 secs
lola: 11187807 markings, 31097934 edges, 82096 markings/sec, 145 secs
lola: 11594254 markings, 31959952 edges, 81289 markings/sec, 150 secs
lola: 11994395 markings, 32822138 edges, 80028 markings/sec, 155 secs
lola: 12394272 markings, 33687380 edges, 79975 markings/sec, 160 secs
lola: 12785944 markings, 34553428 edges, 78334 markings/sec, 165 secs
lola: 13173777 markings, 35420640 edges, 77567 markings/sec, 170 secs
lola: 13557088 markings, 36290655 edges, 76662 markings/sec, 175 secs
lola: 13934940 markings, 37161555 edges, 75570 markings/sec, 180 secs
lola: 14309914 markings, 38032773 edges, 74995 markings/sec, 185 secs
lola: 14676996 markings, 38912585 edges, 73416 markings/sec, 190 secs
lola: 15033584 markings, 39790310 edges, 71318 markings/sec, 195 secs
lola: 15379712 markings, 40665817 edges, 69226 markings/sec, 200 secs
lola: 15728613 markings, 41551178 edges, 69780 markings/sec, 205 secs
lola: 16068919 markings, 42443885 edges, 68061 markings/sec, 210 secs
lola: 16400174 markings, 43340775 edges, 66251 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_2_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: 341371 markings, 782743 edges, 68274 markings/sec, 0 secs
lola: 512780 markings, 1864911 edges, 34282 markings/sec, 5 secs
lola: 766481 markings, 2788130 edges, 50740 markings/sec, 10 secs
lola: 1118699 markings, 3490767 edges, 70444 markings/sec, 15 secs
lola: 1462106 markings, 4155979 edges, 68681 markings/sec, 20 secs
lola: 1787581 markings, 4823018 edges, 65095 markings/sec, 25 secs
lola: 2098820 markings, 5491506 edges, 62248 markings/sec, 30 secs
lola: 2400010 markings, 6165206 edges, 60238 markings/sec, 35 secs
lola: 2689941 markings, 6845147 edges, 57986 markings/sec, 40 secs
lola: 2968637 markings, 7537105 edges, 55739 markings/sec, 45 secs
lola: 3240634 markings, 8240418 edges, 54399 markings/sec, 50 secs
lola: 3504416 markings, 8951745 edges, 52756 markings/sec, 55 secs
lola: 3759082 markings, 9674490 edges, 50933 markings/sec, 60 secs
lola: 4003769 markings, 10408788 edges, 48937 markings/sec, 65 secs
lola: 4230590 markings, 11192490 edges, 45364 markings/sec, 70 secs
lola: 4448222 markings, 12047499 edges, 43526 markings/sec, 75 secs
lola: 4605138 markings, 13110284 edges, 31383 markings/sec, 80 secs
lola: 4609649 markings, 14197302 edges, 902 markings/sec, 85 secs
lola: 4614143 markings, 15246288 edges, 899 markings/sec, 90 secs
lola: 4617588 markings, 16284448 edges, 689 markings/sec, 95 secs
lola: 4620674 markings, 17324948 edges, 617 markings/sec, 100 secs
lola: 4623794 markings, 18380852 edges, 624 markings/sec, 105 secs
lola: 4626557 markings, 19494208 edges, 553 markings/sec, 110 secs
lola: 4910053 markings, 20178636 edges, 56699 markings/sec, 115 secs
lola: 5083998 markings, 21012579 edges, 34789 markings/sec, 120 secs
lola: 5334749 markings, 21711493 edges, 50150 markings/sec, 125 secs
lola: 5642297 markings, 22299551 edges, 61510 markings/sec, 130 secs
lola: 5936860 markings, 22889430 edges, 58913 markings/sec, 135 secs
lola: 6221476 markings, 23487412 edges, 56923 markings/sec, 140 secs
lola: 6495582 markings, 24089425 edges, 54821 markings/sec, 145 secs
lola: 6763162 markings, 24694845 edges, 53516 markings/sec, 150 secs
lola: 7022209 markings, 25307936 edges, 51809 markings/sec, 155 secs
lola: 7272259 markings, 25924900 edges, 50010 markings/sec, 160 secs
lola: 7516375 markings, 26557452 edges, 48823 markings/sec, 165 secs
lola: 7758673 markings, 27204402 edges, 48460 markings/sec, 170 secs
lola: 7989572 markings, 27854631 edges, 46180 markings/sec, 175 secs
lola: 8218371 markings, 28521682 edges, 45760 markings/sec, 180 secs
lola: 8442459 markings, 29208738 edges, 44818 markings/sec, 185 secs
lola: 8656717 markings, 29942743 edges, 42852 markings/sec, 190 secs
lola: 8860581 markings, 30757126 edges, 40773 markings/sec, 195 secs
lola: 9004235 markings, 31747022 edges, 28731 markings/sec, 200 secs
lola: 9025060 markings, 32763116 edges, 4165 markings/sec, 205 secs
lola: 9030112 markings, 33725740 edges, 1010 markings/sec, 210 secs
lola: 9033748 markings, 34669660 edges, 727 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(pi3_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: 552759 markings, 678222 edges, 110552 markings/sec, 0 secs
lola: 1104888 markings, 1355666 edges, 110426 markings/sec, 5 secs
lola: 1597340 markings, 2118829 edges, 98490 markings/sec, 10 secs
lola: 2134931 markings, 2777641 edges, 107518 markings/sec, 15 secs
lola: 2632103 markings, 3535813 edges, 99434 markings/sec, 20 secs
lola: 3171630 markings, 4198073 edges, 107905 markings/sec, 25 secs
lola: 3653086 markings, 4907385 edges, 96291 markings/sec, 30 secs
lola: 4179205 markings, 5530568 edges, 105224 markings/sec, 35 secs
lola: 4706353 markings, 6157510 edges, 105430 markings/sec, 40 secs
lola: 5231934 markings, 6786832 edges, 105116 markings/sec, 45 secs
lola: 5760070 markings, 7422134 edges, 105627 markings/sec, 50 secs
lola: 6287871 markings, 8065674 edges, 105560 markings/sec, 55 secs
lola: 6813321 markings, 8708826 edges, 105090 markings/sec, 60 secs
lola: 7339726 markings, 9361766 edges, 105281 markings/sec, 65 secs
lola: 7863212 markings, 10021837 edges, 104697 markings/sec, 70 secs
lola: 8398236 markings, 10681927 edges, 107005 markings/sec, 75 secs
lola: 8921669 markings, 11361926 edges, 104687 markings/sec, 80 secs
lola: 9472190 markings, 12059418 edges, 110104 markings/sec, 85 secs
lola: 10027114 markings, 12745828 edges, 110985 markings/sec, 90 secs
lola: 10325746 markings, 13710230 edges, 59726 markings/sec, 95 secs
lola: 10885710 markings, 14382637 edges, 111993 markings/sec, 100 secs
lola: 11189531 markings, 15315841 edges, 60764 markings/sec, 105 secs
lola: 11505614 markings, 16174384 edges, 63217 markings/sec, 110 secs
lola: 12029721 markings, 16807786 edges, 104821 markings/sec, 115 secs
lola: 12556473 markings, 17485674 edges, 105350 markings/sec, 120 secs
lola: 13102141 markings, 18158212 edges, 109134 markings/sec, 125 secs
lola: 13535893 markings, 18944935 edges, 86750 markings/sec, 130 secs
lola: 14068849 markings, 19593943 edges, 106591 markings/sec, 135 secs
lola: 14538282 markings, 20298281 edges, 93887 markings/sec, 140 secs
lola: 15060520 markings, 20916747 edges, 104448 markings/sec, 145 secs
lola: 15582714 markings, 21537946 edges, 104439 markings/sec, 150 secs
lola: 16103986 markings, 22162069 edges, 104254 markings/sec, 155 secs
lola: 16626565 markings, 22793595 edges, 104516 markings/sec, 160 secs
lola: 17149210 markings, 23430324 edges, 104529 markings/sec, 165 secs
lola: 17675007 markings, 24073247 edges, 105159 markings/sec, 170 secs
lola: 18201549 markings, 24723884 edges, 105308 markings/sec, 175 secs
lola: 18723175 markings, 25373590 edges, 104325 markings/sec, 180 secs
lola: 19244892 markings, 26025474 edges, 104343 markings/sec, 185 secs
lola: 19772807 markings, 26687570 edges, 105583 markings/sec, 190 secs
lola: 20091807 markings, 27568472 edges, 63800 markings/sec, 195 secs
lola: 20639486 markings, 28216609 edges, 109536 markings/sec, 200 secs
lola: 21127639 markings, 28966436 edges, 97631 markings/sec, 205 secs
lola: 21669211 markings, 29600327 edges, 108314 markings/sec, 210 secs
lola: 22201445 markings, 30234887 edges, 106447 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(pb2_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: 460479 markings, 1064460 edges, 92096 markings/sec, 0 secs
lola: 851830 markings, 2186617 edges, 78270 markings/sec, 5 secs
lola: 1324295 markings, 3136722 edges, 94493 markings/sec, 10 secs
lola: 1764005 markings, 4107833 edges, 87942 markings/sec, 15 secs
lola: 2175213 markings, 5104738 edges, 82242 markings/sec, 20 secs
lola: 2341447 markings, 6315336 edges, 33247 markings/sec, 25 secs
lola: 2455572 markings, 7563180 edges, 22825 markings/sec, 30 secs
lola: 2839895 markings, 8519540 edges, 76865 markings/sec, 35 secs
lola: 3254032 markings, 9259682 edges, 82827 markings/sec, 40 secs
lola: 3694341 markings, 10085574 edges, 88062 markings/sec, 45 secs
lola: 4118181 markings, 10957995 edges, 84768 markings/sec, 50 secs
lola: 4556232 markings, 11812035 edges, 87610 markings/sec, 55 secs
lola: 4983769 markings, 12666344 edges, 85507 markings/sec, 60 secs
lola: 5396267 markings, 13550565 edges, 82500 markings/sec, 65 secs
lola: 5808838 markings, 14412241 edges, 82514 markings/sec, 70 secs
lola: 6216003 markings, 15279387 edges, 81433 markings/sec, 75 secs
lola: 6614156 markings, 16160952 edges, 79631 markings/sec, 80 secs
lola: 6996167 markings, 17052965 edges, 76402 markings/sec, 85 secs
lola: 7387936 markings, 17936024 edges, 78354 markings/sec, 90 secs
lola: 7778238 markings, 18813499 edges, 78060 markings/sec, 95 secs
lola: 8164319 markings, 19691630 edges, 77216 markings/sec, 100 secs
lola: 8549989 markings, 20576198 edges, 77134 markings/sec, 105 secs
lola: 8931161 markings, 21481893 edges, 76234 markings/sec, 110 secs
lola: 9299196 markings, 22376165 edges, 73607 markings/sec, 115 secs
lola: 9641967 markings, 23293683 edges, 68554 markings/sec, 120 secs
lola: 9937540 markings, 24277199 edges, 59115 markings/sec, 125 secs
lola: 10137990 markings, 25367865 edges, 40090 markings/sec, 130 secs
lola: 10495596 markings, 26464761 edges, 71521 markings/sec, 135 secs
lola: 10795279 markings, 27566305 edges, 59937 markings/sec, 140 secs
lola: 10869146 markings, 28714087 edges, 14773 markings/sec, 145 secs
lola: 10876659 markings, 29811154 edges, 1503 markings/sec, 150 secs
lola: 10894800 markings, 30890108 edges, 3628 markings/sec, 155 secs
lola: 10901272 markings, 31957780 edges, 1294 markings/sec, 160 secs
lola: 10981026 markings, 33029119 edges, 15951 markings/sec, 165 secs
lola: 11003973 markings, 34114913 edges, 4589 markings/sec, 170 secs
lola: 11336303 markings, 35155497 edges, 66466 markings/sec, 175 secs
lola: 11555443 markings, 36222481 edges, 43828 markings/sec, 180 secs
lola: 11766819 markings, 37336671 edges, 42275 markings/sec, 185 secs
lola: 12117533 markings, 38448758 edges, 70143 markings/sec, 190 secs
lola: 12553627 markings, 39452500 edges, 87219 markings/sec, 195 secs
lola: 12914550 markings, 40451601 edges, 72185 markings/sec, 200 secs
lola: 13164954 markings, 41686748 edges, 50081 markings/sec, 205 secs
lola: 13497633 markings, 42741256 edges, 66536 markings/sec, 210 secs
lola: 13785121 markings, 43807950 edges, 57498 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(pil2_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: 518485 markings, 996541 edges, 103697 markings/sec, 0 secs
lola: 1003348 markings, 2011446 edges, 96973 markings/sec, 5 secs
lola: 1538913 markings, 2913033 edges, 107113 markings/sec, 10 secs
lola: 2012804 markings, 3925033 edges, 94778 markings/sec, 15 secs
lola: 2482130 markings, 4905124 edges, 93865 markings/sec, 20 secs
lola: 2937792 markings, 5886614 edges, 91132 markings/sec, 25 secs
lola: 3456531 markings, 6754751 edges, 103748 markings/sec, 30 secs
lola: 3892914 markings, 7800250 edges, 87277 markings/sec, 35 secs
lola: 4418852 markings, 8708425 edges, 105188 markings/sec, 40 secs
lola: 4878462 markings, 9703109 edges, 91922 markings/sec, 45 secs
lola: 5335893 markings, 10608041 edges, 91486 markings/sec, 50 secs
lola: 5850638 markings, 11486778 edges, 102949 markings/sec, 55 secs
lola: 6295939 markings, 12448383 edges, 89060 markings/sec, 60 secs
lola: 6765814 markings, 13385863 edges, 93975 markings/sec, 65 secs
lola: 7311227 markings, 14227334 edges, 109083 markings/sec, 70 secs
lola: 7845040 markings, 15074449 edges, 106763 markings/sec, 75 secs
lola: 8355605 markings, 15960383 edges, 102113 markings/sec, 80 secs
lola: 8828105 markings, 16971352 edges, 94500 markings/sec, 85 secs
lola: 9098303 markings, 18179595 edges, 54040 markings/sec, 90 secs
lola: 9568212 markings, 19049234 edges, 93982 markings/sec, 95 secs
lola: 10100568 markings, 19855268 edges, 106471 markings/sec, 100 secs
lola: 10618556 markings, 20687614 edges, 103598 markings/sec, 105 secs
lola: 11128933 markings, 21531188 edges, 102075 markings/sec, 110 secs
lola: 11615296 markings, 22472832 edges, 97273 markings/sec, 115 secs
lola: 11912150 markings, 23634086 edges, 59371 markings/sec, 120 secs
lola: 12322514 markings, 24557866 edges, 82073 markings/sec, 125 secs
lola: 12840735 markings, 25355666 edges, 103644 markings/sec, 130 secs
lola: 13368427 markings, 26161989 edges, 105538 markings/sec, 135 secs
lola: 13882192 markings, 26975894 edges, 102753 markings/sec, 140 secs
lola: 14380923 markings, 27815707 edges, 99746 markings/sec, 145 secs
lola: 14841630 markings, 28775628 edges, 92141 markings/sec, 150 secs
lola: 15113328 markings, 29916630 edges, 54340 markings/sec, 155 secs
lola: 15535565 markings, 30811868 edges, 84447 markings/sec, 160 secs
lola: 16030089 markings, 31610173 edges, 98905 markings/sec, 165 secs
lola: 16542140 markings, 32399508 edges, 102410 markings/sec, 170 secs
lola: 17033103 markings, 33201795 edges, 98193 markings/sec, 175 secs
lola: 17500857 markings, 34085121 edges, 93551 markings/sec, 180 secs
lola: 17907172 markings, 35085164 edges, 81263 markings/sec, 185 secs
lola: 18190327 markings, 36097925 edges, 56631 markings/sec, 190 secs
lola: 18631367 markings, 36897349 edges, 88208 markings/sec, 195 secs
lola: 19153082 markings, 37770269 edges, 104343 markings/sec, 200 secs
lola: 19604448 markings, 38746716 edges, 90273 markings/sec, 205 secs
lola: 20071503 markings, 39582058 edges, 93411 markings/sec, 210 secs
lola: 20565627 markings, 40470757 edges, 98825 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb2_2_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: 337945 markings, 774089 edges, 67589 markings/sec, 0 secs
lola: 506788 markings, 1840491 edges, 33769 markings/sec, 5 secs
lola: 753607 markings, 2761616 edges, 49364 markings/sec, 10 secs
lola: 1111015 markings, 3476342 edges, 71482 markings/sec, 15 secs
lola: 1456256 markings, 4144397 edges, 69048 markings/sec, 20 secs
lola: 1784396 markings, 4816191 edges, 65628 markings/sec, 25 secs
lola: 2099350 markings, 5492439 edges, 62991 markings/sec, 30 secs
lola: 2403533 markings, 6173007 edges, 60837 markings/sec, 35 secs
lola: 2695398 markings, 6858387 edges, 58373 markings/sec, 40 secs
lola: 2975099 markings, 7554074 edges, 55940 markings/sec, 45 secs
lola: 3247871 markings, 8259257 edges, 54554 markings/sec, 50 secs
lola: 3512090 markings, 8973608 edges, 52844 markings/sec, 55 secs
lola: 3768273 markings, 9699018 edges, 51237 markings/sec, 60 secs
lola: 4014378 markings, 10444142 edges, 49221 markings/sec, 65 secs
lola: 4243022 markings, 11238317 edges, 45729 markings/sec, 70 secs
lola: 4462219 markings, 12116457 edges, 43839 markings/sec, 75 secs
lola: 4605747 markings, 13211605 edges, 28706 markings/sec, 80 secs
lola: 4610167 markings, 14317347 edges, 884 markings/sec, 85 secs
lola: 4614693 markings, 15383089 edges, 905 markings/sec, 90 secs
lola: 4618118 markings, 16435393 edges, 685 markings/sec, 95 secs
lola: 4621277 markings, 17495773 edges, 632 markings/sec, 100 secs
lola: 4624369 markings, 18570467 edges, 618 markings/sec, 105 secs
lola: 4672245 markings, 19662717 edges, 9575 markings/sec, 110 secs
lola: 4963480 markings, 20314497 edges, 58247 markings/sec, 115 secs
lola: 5086039 markings, 21245548 edges, 24512 markings/sec, 120 secs
lola: 5408347 markings, 21848245 edges, 64462 markings/sec, 125 secs
lola: 5715705 markings, 22446054 edges, 61472 markings/sec, 130 secs
lola: 6011542 markings, 23043637 edges, 59167 markings/sec, 135 secs
lola: 6297697 markings, 23652910 edges, 57231 markings/sec, 140 secs
lola: 6573554 markings, 24263472 edges, 55171 markings/sec, 145 secs
lola: 6843550 markings, 24881599 edges, 53999 markings/sec, 150 secs
lola: 7102323 markings, 25503264 edges, 51755 markings/sec, 155 secs
lola: 7353539 markings, 26133514 edges, 50243 markings/sec, 160 secs
lola: 7598939 markings, 26775098 edges, 49080 markings/sec, 165 secs
lola: 7839637 markings, 27429716 edges, 48140 markings/sec, 170 secs
lola: 8071674 markings, 28091620 edges, 46407 markings/sec, 175 secs
lola: 8300538 markings, 28764313 edges, 45773 markings/sec, 180 secs
lola: 8521422 markings, 29471777 edges, 44177 markings/sec, 185 secs
lola: 8731183 markings, 30229256 edges, 41952 markings/sec, 190 secs
lola: 8931663 markings, 31107650 edges, 40096 markings/sec, 195 secs
lola: 9022542 markings, 32145308 edges, 18176 markings/sec, 200 secs
lola: 9027453 markings, 33139756 edges, 982 markings/sec, 205 secs
lola: 9032110 markings, 34102209 edges, 931 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pol3_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: 584472 markings, 800272 edges, 116894 markings/sec, 0 secs
lola: 1125109 markings, 1592702 edges, 108127 markings/sec, 5 secs
lola: 1685251 markings, 2343383 edges, 112028 markings/sec, 10 secs
lola: 2225701 markings, 3147190 edges, 108090 markings/sec, 15 secs
lola: 2635954 markings, 4133037 edges, 82051 markings/sec, 20 secs
lola: 3200229 markings, 4842768 edges, 112855 markings/sec, 25 secs
lola: 3752308 markings, 5565549 edges, 110416 markings/sec, 30 secs
lola: 4298985 markings, 6288489 edges, 109335 markings/sec, 35 secs
lola: 4840470 markings, 7007137 edges, 108297 markings/sec, 40 secs
lola: 5377999 markings, 7738773 edges, 107506 markings/sec, 45 secs
lola: 5909100 markings, 8481289 edges, 106220 markings/sec, 50 secs
lola: 6433974 markings, 9282461 edges, 104975 markings/sec, 55 secs
lola: 6954108 markings, 10104068 edges, 104027 markings/sec, 60 secs
lola: 7208721 markings, 11147281 edges, 50923 markings/sec, 65 secs
lola: 7657231 markings, 12014858 edges, 89702 markings/sec, 70 secs
lola: 8215833 markings, 12728211 edges, 111720 markings/sec, 75 secs
lola: 8758059 markings, 13420017 edges, 108445 markings/sec, 80 secs
lola: 9296905 markings, 14115541 edges, 107769 markings/sec, 85 secs
lola: 9833725 markings, 14812872 edges, 107364 markings/sec, 90 secs
lola: 10368778 markings, 15511708 edges, 107011 markings/sec, 95 secs
lola: 10902178 markings, 16210307 edges, 106680 markings/sec, 100 secs
lola: 11432241 markings, 16909725 edges, 106013 markings/sec, 105 secs
lola: 11961741 markings, 17620919 edges, 105900 markings/sec, 110 secs
lola: 12489588 markings, 18327020 edges, 105569 markings/sec, 115 secs
lola: 13016889 markings, 19037651 edges, 105460 markings/sec, 120 secs
lola: 13542531 markings, 19750263 edges, 105128 markings/sec, 125 secs
lola: 14070029 markings, 20470963 edges, 105500 markings/sec, 130 secs
lola: 14595168 markings, 21193802 edges, 105028 markings/sec, 135 secs
lola: 15115735 markings, 21933174 edges, 104113 markings/sec, 140 secs
lola: 15639940 markings, 22691216 edges, 104841 markings/sec, 145 secs
lola: 16162942 markings, 23477372 edges, 104600 markings/sec, 150 secs
lola: 16698984 markings, 24243640 edges, 107208 markings/sec, 155 secs
lola: 17238394 markings, 24995162 edges, 107882 markings/sec, 160 secs
lola: 17765038 markings, 25781140 edges, 105329 markings/sec, 165 secs
lola: 18306778 markings, 26542458 edges, 108348 markings/sec, 170 secs
lola: 18818575 markings, 27329955 edges, 102359 markings/sec, 175 secs
lola: 19301418 markings, 28141461 edges, 96569 markings/sec, 180 secs
lola: 19740414 markings, 29052099 edges, 87799 markings/sec, 185 secs
lola: 19890063 markings, 30101688 edges, 29930 markings/sec, 190 secs
lola: 20144973 markings, 31027192 edges, 50982 markings/sec, 195 secs
lola: 20562861 markings, 31859774 edges, 83578 markings/sec, 200 secs
lola: 21055293 markings, 32627132 edges, 98486 markings/sec, 205 secs
lola: 21567259 markings, 33416585 edges, 102393 markings/sec, 210 secs
lola: 21943711 markings, 34265047 edges, 75290 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-5020-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA TriangularGrid-PT-5020-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496578547127
--------------------
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-5020"
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-5020.tgz
mv S_TriangularGrid-PT-5020 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-5020, 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-149443464300353"
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 ;