About the Execution of LoLA for S_Solitaire-PT-EngNC7x7
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1485.430 | 3540398.00 | 3557400.00 | 507.70 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is S_Solitaire-PT-EngNC7x7, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r158-ebro-149443463900074
=====================================================================
--------------------
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 Solitaire-PT-EngNC7x7-UpperBounds-0
FORMULA_NAME Solitaire-PT-EngNC7x7-UpperBounds-1
FORMULA_NAME Solitaire-PT-EngNC7x7-UpperBounds-10
FORMULA_NAME Solitaire-PT-EngNC7x7-UpperBounds-11
FORMULA_NAME Solitaire-PT-EngNC7x7-UpperBounds-12
FORMULA_NAME Solitaire-PT-EngNC7x7-UpperBounds-13
FORMULA_NAME Solitaire-PT-EngNC7x7-UpperBounds-14
FORMULA_NAME Solitaire-PT-EngNC7x7-UpperBounds-15
FORMULA_NAME Solitaire-PT-EngNC7x7-UpperBounds-2
FORMULA_NAME Solitaire-PT-EngNC7x7-UpperBounds-3
FORMULA_NAME Solitaire-PT-EngNC7x7-UpperBounds-4
FORMULA_NAME Solitaire-PT-EngNC7x7-UpperBounds-5
FORMULA_NAME Solitaire-PT-EngNC7x7-UpperBounds-6
FORMULA_NAME Solitaire-PT-EngNC7x7-UpperBounds-7
FORMULA_NAME Solitaire-PT-EngNC7x7-UpperBounds-8
FORMULA_NAME Solitaire-PT-EngNC7x7-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496559095528
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_Solitaire-PT-EngNC7x7: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_Solitaire-PT-EngNC7x7: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_Solitaire-PT-EngNC7x7 @ 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: 142/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 66 places, 76 transitions, 33 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 152 transition conflict sets
lola: TASK
lola: reading formula from Solitaire-PT-EngNC7x7-UpperBounds.task
lola: MAX(T31) : MAX(T53) : MAX(F15) : MAX(F32) : MAX(T43) : MAX(F56) : MAX(F65) : MAX(T63) : MAX(T65) : MAX(T33) : MAX(T52) : MAX(F45) : MAX(F31) : MAX(F24) : MAX(T74) : MAX(F65)
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(T31)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 513095 markings, 2177173 edges, 102619 markings/sec, 0 secs
lola: 980275 markings, 4322095 edges, 93436 markings/sec, 5 secs
lola: 1426657 markings, 6455693 edges, 89276 markings/sec, 10 secs
lola: 1839045 markings, 8561348 edges, 82478 markings/sec, 15 secs
lola: 2225812 markings, 10667214 edges, 77353 markings/sec, 20 secs
lola: 2616327 markings, 12709764 edges, 78103 markings/sec, 25 secs
lola: 3001883 markings, 14787983 edges, 77111 markings/sec, 30 secs
lola: 3348357 markings, 16875321 edges, 69295 markings/sec, 35 secs
lola: 3668780 markings, 18917652 edges, 64085 markings/sec, 40 secs
lola: 4054807 markings, 21023404 edges, 77205 markings/sec, 45 secs
lola: 4341269 markings, 23071410 edges, 57292 markings/sec, 50 secs
lola: 4675700 markings, 25108171 edges, 66886 markings/sec, 55 secs
lola: 5007361 markings, 27077085 edges, 66332 markings/sec, 60 secs
lola: 5318131 markings, 29065217 edges, 62154 markings/sec, 65 secs
lola: 5659473 markings, 31078023 edges, 68268 markings/sec, 70 secs
lola: 5944545 markings, 33048198 edges, 57014 markings/sec, 75 secs
lola: 6357543 markings, 35144151 edges, 82600 markings/sec, 80 secs
lola: 6720494 markings, 37166329 edges, 72590 markings/sec, 85 secs
lola: 7079115 markings, 39243215 edges, 71724 markings/sec, 90 secs
lola: 7415590 markings, 41327883 edges, 67295 markings/sec, 95 secs
lola: 7794576 markings, 43408435 edges, 75797 markings/sec, 100 secs
lola: 8148163 markings, 45510903 edges, 70717 markings/sec, 105 secs
lola: 8475830 markings, 47508888 edges, 65533 markings/sec, 110 secs
lola: 8797636 markings, 49507013 edges, 64361 markings/sec, 115 secs
lola: 9116296 markings, 51499246 edges, 63732 markings/sec, 120 secs
lola: 9440401 markings, 53529377 edges, 64821 markings/sec, 125 secs
lola: 9758943 markings, 55484308 edges, 63708 markings/sec, 130 secs
lola: 10028605 markings, 57457912 edges, 53932 markings/sec, 135 secs
lola: 10298790 markings, 59442249 edges, 54037 markings/sec, 140 secs
lola: 10562246 markings, 61361025 edges, 52691 markings/sec, 145 secs
lola: 10865886 markings, 63259710 edges, 60728 markings/sec, 150 secs
lola: 11165894 markings, 65215086 edges, 60002 markings/sec, 155 secs
lola: 11454889 markings, 67178840 edges, 57799 markings/sec, 160 secs
lola: 11706822 markings, 69087138 edges, 50387 markings/sec, 165 secs
lola: 11928359 markings, 71002713 edges, 44307 markings/sec, 170 secs
lola: 12222202 markings, 72916931 edges, 58769 markings/sec, 175 secs
lola: 12489634 markings, 74712633 edges, 53486 markings/sec, 180 secs
lola: 12747674 markings, 76525402 edges, 51608 markings/sec, 185 secs
lola: 13031035 markings, 78479548 edges, 56672 markings/sec, 190 secs
lola: 13290565 markings, 80347139 edges, 51906 markings/sec, 195 secs
lola: 13548535 markings, 82194581 edges, 51594 markings/sec, 200 secs
lola: 13814806 markings, 84103041 edges, 53254 markings/sec, 205 secs
lola: 14152135 markings, 86074986 edges, 67466 markings/sec, 210 secs
lola: 14528657 markings, 88154179 edges, 75304 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(T53)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 512946 markings, 2117883 edges, 102589 markings/sec, 0 secs
lola: 951600 markings, 4211618 edges, 87731 markings/sec, 5 secs
lola: 1349666 markings, 6232888 edges, 79613 markings/sec, 10 secs
lola: 1724535 markings, 8137034 edges, 74974 markings/sec, 15 secs
lola: 2091350 markings, 9996251 edges, 73363 markings/sec, 20 secs
lola: 2503581 markings, 11886921 edges, 82446 markings/sec, 25 secs
lola: 2847368 markings, 13712111 edges, 68757 markings/sec, 30 secs
lola: 3173191 markings, 15591660 edges, 65165 markings/sec, 35 secs
lola: 3508578 markings, 17471939 edges, 67077 markings/sec, 40 secs
lola: 3857984 markings, 19309549 edges, 69881 markings/sec, 45 secs
lola: 4212850 markings, 21118720 edges, 70973 markings/sec, 50 secs
lola: 4543736 markings, 22856156 edges, 66177 markings/sec, 55 secs
lola: 4861380 markings, 24564479 edges, 63529 markings/sec, 60 secs
lola: 5188371 markings, 26334679 edges, 65398 markings/sec, 65 secs
lola: 5490620 markings, 28108063 edges, 60450 markings/sec, 70 secs
lola: 5806737 markings, 29865435 edges, 63223 markings/sec, 75 secs
lola: 6115345 markings, 31665210 edges, 61722 markings/sec, 80 secs
lola: 6475670 markings, 33496918 edges, 72065 markings/sec, 85 secs
lola: 6804498 markings, 35389469 edges, 65766 markings/sec, 90 secs
lola: 7132344 markings, 37177529 edges, 65569 markings/sec, 95 secs
lola: 7430984 markings, 38991376 edges, 59728 markings/sec, 100 secs
lola: 7708129 markings, 40792592 edges, 55429 markings/sec, 105 secs
lola: 8027231 markings, 42662152 edges, 63820 markings/sec, 110 secs
lola: 8322497 markings, 44512095 edges, 59053 markings/sec, 115 secs
lola: 8624429 markings, 46329676 edges, 60386 markings/sec, 120 secs
lola: 8941302 markings, 48128244 edges, 63375 markings/sec, 125 secs
lola: 9227350 markings, 49828182 edges, 57210 markings/sec, 130 secs
lola: 9540605 markings, 51610478 edges, 62651 markings/sec, 135 secs
lola: 9828675 markings, 53379134 edges, 57614 markings/sec, 140 secs
lola: 10095509 markings, 55084678 edges, 53367 markings/sec, 145 secs
lola: 10393071 markings, 56812579 edges, 59512 markings/sec, 150 secs
lola: 10709926 markings, 58508417 edges, 63371 markings/sec, 155 secs
lola: 10981390 markings, 60196218 edges, 54293 markings/sec, 160 secs
lola: 11260451 markings, 61922520 edges, 55812 markings/sec, 165 secs
lola: 11549030 markings, 63760154 edges, 57716 markings/sec, 170 secs
lola: 11834671 markings, 65494174 edges, 57128 markings/sec, 175 secs
lola: 12138600 markings, 67235037 edges, 60786 markings/sec, 180 secs
lola: 12434569 markings, 69074629 edges, 59194 markings/sec, 185 secs
lola: 12713634 markings, 70837170 edges, 55813 markings/sec, 190 secs
lola: 12970352 markings, 72624885 edges, 51344 markings/sec, 195 secs
lola: 13239646 markings, 74369459 edges, 53859 markings/sec, 200 secs
lola: 13524424 markings, 76163097 edges, 56956 markings/sec, 205 secs
lola: 13791665 markings, 77872228 edges, 53448 markings/sec, 210 secs
lola: 14051496 markings, 79592981 edges, 51966 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(F15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 492862 markings, 2106555 edges, 98572 markings/sec, 0 secs
lola: 920207 markings, 4162368 edges, 85469 markings/sec, 5 secs
lola: 1302148 markings, 6183402 edges, 76388 markings/sec, 10 secs
lola: 1722079 markings, 8284994 edges, 83986 markings/sec, 15 secs
lola: 2109618 markings, 10376951 edges, 77508 markings/sec, 20 secs
lola: 2501674 markings, 12468030 edges, 78411 markings/sec, 25 secs
lola: 2919312 markings, 14507104 edges, 83528 markings/sec, 30 secs
lola: 3320672 markings, 16569647 edges, 80272 markings/sec, 35 secs
lola: 3730034 markings, 18641881 edges, 81872 markings/sec, 40 secs
lola: 4097585 markings, 20687523 edges, 73510 markings/sec, 45 secs
lola: 4481547 markings, 22718179 edges, 76792 markings/sec, 50 secs
lola: 4838527 markings, 24758036 edges, 71396 markings/sec, 55 secs
lola: 5177740 markings, 26781804 edges, 67843 markings/sec, 60 secs
lola: 5579414 markings, 28819891 edges, 80335 markings/sec, 65 secs
lola: 5920331 markings, 30905749 edges, 68183 markings/sec, 70 secs
lola: 6265922 markings, 32954736 edges, 69118 markings/sec, 75 secs
lola: 6618323 markings, 34980448 edges, 70480 markings/sec, 80 secs
lola: 6977080 markings, 36964030 edges, 71751 markings/sec, 85 secs
lola: 7298843 markings, 39016938 edges, 64353 markings/sec, 90 secs
lola: 7613979 markings, 41019509 edges, 63027 markings/sec, 95 secs
lola: 7921596 markings, 43018328 edges, 61523 markings/sec, 100 secs
lola: 8271895 markings, 45014671 edges, 70060 markings/sec, 105 secs
lola: 8605102 markings, 47028434 edges, 66641 markings/sec, 110 secs
lola: 8927728 markings, 48998370 edges, 64525 markings/sec, 115 secs
lola: 9216949 markings, 50970468 edges, 57844 markings/sec, 120 secs
lola: 9519024 markings, 53000206 edges, 60415 markings/sec, 125 secs
lola: 9832528 markings, 55049204 edges, 62701 markings/sec, 130 secs
lola: 10103710 markings, 57075441 edges, 54236 markings/sec, 135 secs
lola: 10415511 markings, 59110892 edges, 62360 markings/sec, 140 secs
lola: 10689854 markings, 61111491 edges, 54869 markings/sec, 145 secs
lola: 10951402 markings, 63122969 edges, 52310 markings/sec, 150 secs
lola: 11217244 markings, 65102755 edges, 53168 markings/sec, 155 secs
lola: 11530763 markings, 67087830 edges, 62704 markings/sec, 160 secs
lola: 11818573 markings, 69039514 edges, 57562 markings/sec, 165 secs
lola: 12100697 markings, 70977063 edges, 56425 markings/sec, 170 secs
lola: 12383776 markings, 72930220 edges, 56616 markings/sec, 175 secs
lola: 12647019 markings, 74840606 edges, 52649 markings/sec, 180 secs
lola: 12944947 markings, 76748239 edges, 59586 markings/sec, 185 secs
lola: 13262164 markings, 78654096 edges, 63443 markings/sec, 190 secs
lola: 13550078 markings, 80586705 edges, 57583 markings/sec, 195 secs
lola: 13891889 markings, 82531145 edges, 68362 markings/sec, 200 secs
lola: 14194624 markings, 84426518 edges, 60547 markings/sec, 205 secs
lola: 14496080 markings, 86338985 edges, 60291 markings/sec, 210 secs
lola: 14788850 markings, 88314392 edges, 58554 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(F32)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 523240 markings, 2048919 edges, 104648 markings/sec, 0 secs
lola: 986730 markings, 4081229 edges, 92698 markings/sec, 5 secs
lola: 1403593 markings, 6037330 edges, 83373 markings/sec, 10 secs
lola: 1808291 markings, 8078711 edges, 80940 markings/sec, 15 secs
lola: 2202983 markings, 10062369 edges, 78938 markings/sec, 20 secs
lola: 2544136 markings, 12100870 edges, 68231 markings/sec, 25 secs
lola: 2965640 markings, 14161272 edges, 84301 markings/sec, 30 secs
lola: 3401727 markings, 16186779 edges, 87217 markings/sec, 35 secs
lola: 3776861 markings, 18223147 edges, 75027 markings/sec, 40 secs
lola: 4175082 markings, 20261218 edges, 79644 markings/sec, 45 secs
lola: 4530246 markings, 22217250 edges, 71033 markings/sec, 50 secs
lola: 4888813 markings, 24226026 edges, 71713 markings/sec, 55 secs
lola: 5215049 markings, 26205719 edges, 65247 markings/sec, 60 secs
lola: 5560063 markings, 28206820 edges, 69003 markings/sec, 65 secs
lola: 5914387 markings, 30208284 edges, 70865 markings/sec, 70 secs
lola: 6282925 markings, 32276116 edges, 73708 markings/sec, 75 secs
lola: 6660955 markings, 34325986 edges, 75606 markings/sec, 80 secs
lola: 7029399 markings, 36328008 edges, 73689 markings/sec, 85 secs
lola: 7334932 markings, 38293135 edges, 61107 markings/sec, 90 secs
lola: 7678630 markings, 40296696 edges, 68740 markings/sec, 95 secs
lola: 8037169 markings, 42347300 edges, 71708 markings/sec, 100 secs
lola: 8368720 markings, 44341001 edges, 66310 markings/sec, 105 secs
lola: 8703489 markings, 46378849 edges, 66954 markings/sec, 110 secs
lola: 9024165 markings, 48329853 edges, 64135 markings/sec, 115 secs
lola: 9334430 markings, 50350500 edges, 62053 markings/sec, 120 secs
lola: 9605326 markings, 52292027 edges, 54179 markings/sec, 125 secs
lola: 9991376 markings, 54356087 edges, 77210 markings/sec, 130 secs
lola: 10386258 markings, 56389207 edges, 78976 markings/sec, 135 secs
lola: 10698102 markings, 58327847 edges, 62369 markings/sec, 140 secs
lola: 11036191 markings, 60261480 edges, 67618 markings/sec, 145 secs
lola: 11368202 markings, 62222957 edges, 66402 markings/sec, 150 secs
lola: 11670682 markings, 64214744 edges, 60496 markings/sec, 155 secs
lola: 12020874 markings, 66193843 edges, 70038 markings/sec, 160 secs
lola: 12351788 markings, 68211300 edges, 66183 markings/sec, 165 secs
lola: 12661111 markings, 70192957 edges, 61865 markings/sec, 170 secs
lola: 12965124 markings, 72197862 edges, 60803 markings/sec, 175 secs
lola: 13278261 markings, 74146053 edges, 62627 markings/sec, 180 secs
lola: 13617330 markings, 76118536 edges, 67814 markings/sec, 185 secs
lola: 13931114 markings, 78081620 edges, 62757 markings/sec, 190 secs
lola: 14206956 markings, 80044496 edges, 55168 markings/sec, 195 secs
lola: 14495104 markings, 81946617 edges, 57630 markings/sec, 200 secs
lola: 14813587 markings, 83990503 edges, 63697 markings/sec, 205 secs
lola: 15103386 markings, 86035297 edges, 57960 markings/sec, 210 secs
lola: 15358010 markings, 88047087 edges, 50925 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(T43)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 556597 markings, 2073310 edges, 111319 markings/sec, 0 secs
lola: 1064673 markings, 4133657 edges, 101615 markings/sec, 5 secs
lola: 1545495 markings, 6157180 edges, 96164 markings/sec, 10 secs
lola: 1979700 markings, 8172798 edges, 86841 markings/sec, 15 secs
lola: 2365772 markings, 10190869 edges, 77214 markings/sec, 20 secs
lola: 2749223 markings, 12182312 edges, 76690 markings/sec, 25 secs
lola: 3131374 markings, 14176789 edges, 76430 markings/sec, 30 secs
lola: 3532099 markings, 16181352 edges, 80145 markings/sec, 35 secs
lola: 3902455 markings, 18185525 edges, 74071 markings/sec, 40 secs
lola: 4325957 markings, 20137910 edges, 84700 markings/sec, 45 secs
lola: 4726473 markings, 22090262 edges, 80103 markings/sec, 50 secs
lola: 5096031 markings, 24059267 edges, 73912 markings/sec, 55 secs
lola: 5469602 markings, 26057833 edges, 74714 markings/sec, 60 secs
lola: 5846997 markings, 28098651 edges, 75479 markings/sec, 65 secs
lola: 6227184 markings, 30121455 edges, 76037 markings/sec, 70 secs
lola: 6584946 markings, 32162098 edges, 71552 markings/sec, 75 secs
lola: 6923199 markings, 34153722 edges, 67651 markings/sec, 80 secs
lola: 7304366 markings, 36095838 edges, 76233 markings/sec, 85 secs
lola: 7678200 markings, 38041224 edges, 74767 markings/sec, 90 secs
lola: 8034371 markings, 39995696 edges, 71234 markings/sec, 95 secs
lola: 8353087 markings, 41939142 edges, 63743 markings/sec, 100 secs
lola: 8674092 markings, 43853475 edges, 64201 markings/sec, 105 secs
lola: 9002931 markings, 45800799 edges, 65768 markings/sec, 110 secs
lola: 9331608 markings, 47731418 edges, 65735 markings/sec, 115 secs
lola: 9681835 markings, 49709308 edges, 70045 markings/sec, 120 secs
lola: 10017122 markings, 51689998 edges, 67057 markings/sec, 125 secs
lola: 10344262 markings, 53681107 edges, 65428 markings/sec, 130 secs
lola: 10654221 markings, 55685094 edges, 61992 markings/sec, 135 secs
lola: 10945171 markings, 57649157 edges, 58190 markings/sec, 140 secs
lola: 11255577 markings, 59573601 edges, 62081 markings/sec, 145 secs
lola: 11595578 markings, 61483027 edges, 68000 markings/sec, 150 secs
lola: 11939774 markings, 63338697 edges, 68839 markings/sec, 155 secs
lola: 12262165 markings, 65180226 edges, 64478 markings/sec, 160 secs
lola: 12583031 markings, 67033062 edges, 64173 markings/sec, 165 secs
lola: 12872032 markings, 68918041 edges, 57800 markings/sec, 170 secs
lola: 13169609 markings, 70767882 edges, 59515 markings/sec, 175 secs
lola: 13481203 markings, 72637117 edges, 62319 markings/sec, 180 secs
lola: 13780463 markings, 74531574 edges, 59852 markings/sec, 185 secs
lola: 14086917 markings, 76405023 edges, 61291 markings/sec, 190 secs
lola: 14376584 markings, 78244983 edges, 57933 markings/sec, 195 secs
lola: 14702840 markings, 80121359 edges, 65251 markings/sec, 200 secs
lola: 15020979 markings, 81995076 edges, 63628 markings/sec, 205 secs
lola: 15350035 markings, 83910544 edges, 65811 markings/sec, 210 secs
lola: 15678182 markings, 85850578 edges, 65629 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(F56)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 506338 markings, 2088123 edges, 101268 markings/sec, 0 secs
lola: 948552 markings, 4008827 edges, 88443 markings/sec, 5 secs
lola: 1356034 markings, 5897825 edges, 81496 markings/sec, 10 secs
lola: 1767058 markings, 7850529 edges, 82205 markings/sec, 15 secs
lola: 2129814 markings, 9708675 edges, 72551 markings/sec, 20 secs
lola: 2495463 markings, 11536747 edges, 73130 markings/sec, 25 secs
lola: 2825763 markings, 13323474 edges, 66060 markings/sec, 30 secs
lola: 3153147 markings, 15224537 edges, 65477 markings/sec, 35 secs
lola: 3504395 markings, 17087658 edges, 70250 markings/sec, 40 secs
lola: 3831499 markings, 18875556 edges, 65421 markings/sec, 45 secs
lola: 4176316 markings, 20604043 edges, 68963 markings/sec, 50 secs
lola: 4540094 markings, 22361029 edges, 72756 markings/sec, 55 secs
lola: 4887185 markings, 24214042 edges, 69418 markings/sec, 60 secs
lola: 5192714 markings, 26022315 edges, 61106 markings/sec, 65 secs
lola: 5529551 markings, 27886540 edges, 67367 markings/sec, 70 secs
lola: 5833682 markings, 29621608 edges, 60826 markings/sec, 75 secs
lola: 6176910 markings, 31298214 edges, 68646 markings/sec, 80 secs
lola: 6493333 markings, 33063090 edges, 63285 markings/sec, 85 secs
lola: 6808214 markings, 34789215 edges, 62976 markings/sec, 90 secs
lola: 7091112 markings, 36555668 edges, 56580 markings/sec, 95 secs
lola: 7359394 markings, 38333790 edges, 53656 markings/sec, 100 secs
lola: 7655067 markings, 40010078 edges, 59135 markings/sec, 105 secs
lola: 7944104 markings, 41796549 edges, 57807 markings/sec, 110 secs
lola: 8277031 markings, 43665851 edges, 66585 markings/sec, 115 secs
lola: 8614638 markings, 45508708 edges, 67521 markings/sec, 120 secs
lola: 8917454 markings, 47314802 edges, 60563 markings/sec, 125 secs
lola: 9242130 markings, 49115853 edges, 64935 markings/sec, 130 secs
lola: 9541227 markings, 50852254 edges, 59819 markings/sec, 135 secs
lola: 9798246 markings, 52542274 edges, 51404 markings/sec, 140 secs
lola: 10051218 markings, 54287272 edges, 50594 markings/sec, 145 secs
lola: 10355211 markings, 56056704 edges, 60799 markings/sec, 150 secs
lola: 10626998 markings, 57763734 edges, 54357 markings/sec, 155 secs
lola: 10861337 markings, 59429264 edges, 46868 markings/sec, 160 secs
lola: 11079960 markings, 61079518 edges, 43725 markings/sec, 165 secs
lola: 11347397 markings, 62831833 edges, 53487 markings/sec, 170 secs
lola: 11655534 markings, 64609708 edges, 61627 markings/sec, 175 secs
lola: 11938532 markings, 66340956 edges, 56600 markings/sec, 180 secs
lola: 12224875 markings, 68082192 edges, 57269 markings/sec, 185 secs
lola: 12508760 markings, 69843351 edges, 56777 markings/sec, 190 secs
lola: 12779192 markings, 71602433 edges, 54086 markings/sec, 195 secs
lola: 13071617 markings, 73402949 edges, 58485 markings/sec, 200 secs
lola: 13357844 markings, 75167427 edges, 57245 markings/sec, 205 secs
lola: 13620018 markings, 76906425 edges, 52435 markings/sec, 210 secs
lola: 13876881 markings, 78656977 edges, 51373 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(F65)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 526255 markings, 2135903 edges, 105251 markings/sec, 0 secs
lola: 942293 markings, 4069788 edges, 83208 markings/sec, 5 secs
lola: 1341500 markings, 6060996 edges, 79841 markings/sec, 10 secs
lola: 1750646 markings, 7918489 edges, 81829 markings/sec, 15 secs
lola: 2126543 markings, 9735373 edges, 75179 markings/sec, 20 secs
lola: 2491042 markings, 11573204 edges, 72900 markings/sec, 25 secs
lola: 2810982 markings, 13489302 edges, 63988 markings/sec, 30 secs
lola: 3222925 markings, 15468694 edges, 82389 markings/sec, 35 secs
lola: 3597310 markings, 17369257 edges, 74877 markings/sec, 40 secs
lola: 3975006 markings, 19228098 edges, 75539 markings/sec, 45 secs
lola: 4318586 markings, 21060320 edges, 68716 markings/sec, 50 secs
lola: 4638994 markings, 22859648 edges, 64082 markings/sec, 55 secs
lola: 4981268 markings, 24607400 edges, 68455 markings/sec, 60 secs
lola: 5321840 markings, 26344877 edges, 68114 markings/sec, 65 secs
lola: 5658152 markings, 28125709 edges, 67262 markings/sec, 70 secs
lola: 5948815 markings, 29934440 edges, 58133 markings/sec, 75 secs
lola: 6269422 markings, 31711468 edges, 64121 markings/sec, 80 secs
lola: 6543954 markings, 33442750 edges, 54906 markings/sec, 85 secs
lola: 6866603 markings, 35183290 edges, 64530 markings/sec, 90 secs
lola: 7168770 markings, 36907837 edges, 60433 markings/sec, 95 secs
lola: 7477734 markings, 38663911 edges, 61793 markings/sec, 100 secs
lola: 7787156 markings, 40437191 edges, 61884 markings/sec, 105 secs
lola: 8106924 markings, 42215275 edges, 63954 markings/sec, 110 secs
lola: 8395908 markings, 43990025 edges, 57797 markings/sec, 115 secs
lola: 8697393 markings, 45742357 edges, 60297 markings/sec, 120 secs
lola: 9016425 markings, 47453911 edges, 63806 markings/sec, 125 secs
lola: 9335295 markings, 49347387 edges, 63774 markings/sec, 130 secs
lola: 9644220 markings, 51167471 edges, 61785 markings/sec, 135 secs
lola: 9931720 markings, 52861959 edges, 57500 markings/sec, 140 secs
lola: 10172744 markings, 54646067 edges, 48205 markings/sec, 145 secs
lola: 10437929 markings, 56367976 edges, 53037 markings/sec, 150 secs
lola: 10725635 markings, 58093608 edges, 57541 markings/sec, 155 secs
lola: 11001560 markings, 59819315 edges, 55185 markings/sec, 160 secs
lola: 11264752 markings, 61522599 edges, 52638 markings/sec, 165 secs
lola: 11593833 markings, 63243014 edges, 65816 markings/sec, 170 secs
lola: 11902288 markings, 64970054 edges, 61691 markings/sec, 175 secs
lola: 12216436 markings, 66723860 edges, 62830 markings/sec, 180 secs
lola: 12516109 markings, 68486132 edges, 59935 markings/sec, 185 secs
lola: 12831249 markings, 70376741 edges, 63028 markings/sec, 190 secs
lola: 13138357 markings, 72216497 edges, 61422 markings/sec, 195 secs
lola: 13424287 markings, 74037373 edges, 57186 markings/sec, 200 secs
lola: 13694093 markings, 75921861 edges, 53961 markings/sec, 205 secs
lola: 13966166 markings, 77621599 edges, 54415 markings/sec, 210 secs
lola: 14267601 markings, 79442578 edges, 60287 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(T63)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 531380 markings, 2142345 edges, 106276 markings/sec, 0 secs
lola: 985461 markings, 4207456 edges, 90816 markings/sec, 5 secs
lola: 1415973 markings, 6214243 edges, 86102 markings/sec, 10 secs
lola: 1815227 markings, 8183341 edges, 79851 markings/sec, 15 secs
lola: 2217215 markings, 10042023 edges, 80398 markings/sec, 20 secs
lola: 2607382 markings, 11981055 edges, 78033 markings/sec, 25 secs
lola: 2976804 markings, 13858481 edges, 73884 markings/sec, 30 secs
lola: 3330897 markings, 15832470 edges, 70819 markings/sec, 35 secs
lola: 3686064 markings, 17760269 edges, 71033 markings/sec, 40 secs
lola: 4044490 markings, 19562077 edges, 71685 markings/sec, 45 secs
lola: 4371888 markings, 21354952 edges, 65480 markings/sec, 50 secs
lola: 4700755 markings, 23150016 edges, 65773 markings/sec, 55 secs
lola: 5050914 markings, 25090502 edges, 70032 markings/sec, 60 secs
lola: 5408415 markings, 27060261 edges, 71500 markings/sec, 65 secs
lola: 5721927 markings, 28965355 edges, 62702 markings/sec, 70 secs
lola: 6021460 markings, 30838622 edges, 59907 markings/sec, 75 secs
lola: 6334444 markings, 32678411 edges, 62597 markings/sec, 80 secs
lola: 6622518 markings, 34522406 edges, 57615 markings/sec, 85 secs
lola: 6889924 markings, 36324967 edges, 53481 markings/sec, 90 secs
lola: 7189876 markings, 38048228 edges, 59990 markings/sec, 95 secs
lola: 7515719 markings, 39788748 edges, 65169 markings/sec, 100 secs
lola: 7847880 markings, 41587235 edges, 66432 markings/sec, 105 secs
lola: 8148396 markings, 43322659 edges, 60103 markings/sec, 110 secs
lola: 8433139 markings, 45032864 edges, 56949 markings/sec, 115 secs
lola: 8706379 markings, 46780758 edges, 54648 markings/sec, 120 secs
lola: 8976204 markings, 48509183 edges, 53965 markings/sec, 125 secs
lola: 9281742 markings, 50171182 edges, 61108 markings/sec, 130 secs
lola: 9573924 markings, 51844877 edges, 58436 markings/sec, 135 secs
lola: 9847263 markings, 53506136 edges, 54668 markings/sec, 140 secs
lola: 10088578 markings, 55206300 edges, 48263 markings/sec, 145 secs
lola: 10357656 markings, 57053039 edges, 53816 markings/sec, 150 secs
lola: 10608226 markings, 58866735 edges, 50114 markings/sec, 155 secs
lola: 10884881 markings, 60602700 edges, 55331 markings/sec, 160 secs
lola: 11232788 markings, 62372887 edges, 69581 markings/sec, 165 secs
lola: 11546861 markings, 64153553 edges, 62815 markings/sec, 170 secs
lola: 11858100 markings, 65883350 edges, 62248 markings/sec, 175 secs
lola: 12181040 markings, 67641564 edges, 64588 markings/sec, 180 secs
lola: 12487395 markings, 69267694 edges, 61271 markings/sec, 185 secs
lola: 12770180 markings, 70999971 edges, 56557 markings/sec, 190 secs
lola: 13087546 markings, 72829000 edges, 63473 markings/sec, 195 secs
lola: 13367679 markings, 74641921 edges, 56027 markings/sec, 200 secs
lola: 13657453 markings, 76515580 edges, 57955 markings/sec, 205 secs
lola: 13942597 markings, 78324759 edges, 57029 markings/sec, 210 secs
lola: 14192502 markings, 80016886 edges, 49981 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(T65)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 514281 markings, 2116470 edges, 102856 markings/sec, 0 secs
lola: 973392 markings, 4197111 edges, 91822 markings/sec, 5 secs
lola: 1374860 markings, 6269649 edges, 80294 markings/sec, 10 secs
lola: 1778098 markings, 8392983 edges, 80648 markings/sec, 15 secs
lola: 2206078 markings, 10333179 edges, 85596 markings/sec, 20 secs
lola: 2563180 markings, 12293732 edges, 71420 markings/sec, 25 secs
lola: 2916448 markings, 14181485 edges, 70654 markings/sec, 30 secs
lola: 3335642 markings, 16104170 edges, 83839 markings/sec, 35 secs
lola: 3692154 markings, 17967436 edges, 71302 markings/sec, 40 secs
lola: 4065553 markings, 19820917 edges, 74680 markings/sec, 45 secs
lola: 4393669 markings, 21644017 edges, 65623 markings/sec, 50 secs
lola: 4724008 markings, 23392230 edges, 66068 markings/sec, 55 secs
lola: 5052749 markings, 25147505 edges, 65748 markings/sec, 60 secs
lola: 5407059 markings, 27022310 edges, 70862 markings/sec, 65 secs
lola: 5732353 markings, 28811686 edges, 65059 markings/sec, 70 secs
lola: 6041027 markings, 30556020 edges, 61735 markings/sec, 75 secs
lola: 6344433 markings, 32280020 edges, 60681 markings/sec, 80 secs
lola: 6608066 markings, 34004498 edges, 52727 markings/sec, 85 secs
lola: 6934226 markings, 35751065 edges, 65232 markings/sec, 90 secs
lola: 7242415 markings, 37484673 edges, 61638 markings/sec, 95 secs
lola: 7544626 markings, 39215236 edges, 60442 markings/sec, 100 secs
lola: 7858315 markings, 40972928 edges, 62738 markings/sec, 105 secs
lola: 8164750 markings, 42692220 edges, 61287 markings/sec, 110 secs
lola: 8454657 markings, 44449528 edges, 57981 markings/sec, 115 secs
lola: 8741026 markings, 46154361 edges, 57274 markings/sec, 120 secs
lola: 9066331 markings, 47879250 edges, 65061 markings/sec, 125 secs
lola: 9368275 markings, 49718375 edges, 60389 markings/sec, 130 secs
lola: 9659066 markings, 51446174 edges, 58158 markings/sec, 135 secs
lola: 9942147 markings, 53119965 edges, 56616 markings/sec, 140 secs
lola: 10177500 markings, 54868721 edges, 47071 markings/sec, 145 secs
lola: 10437102 markings, 56554907 edges, 51920 markings/sec, 150 secs
lola: 10717575 markings, 58247390 edges, 56095 markings/sec, 155 secs
lola: 10986646 markings, 59926221 edges, 53814 markings/sec, 160 secs
lola: 11244011 markings, 61599561 edges, 51473 markings/sec, 165 secs
lola: 11568582 markings, 63312239 edges, 64914 markings/sec, 170 secs
lola: 11877114 markings, 65029758 edges, 61706 markings/sec, 175 secs
lola: 12191411 markings, 66794466 edges, 62859 markings/sec, 180 secs
lola: 12480421 markings, 68535624 edges, 57802 markings/sec, 185 secs
lola: 12788683 markings, 70384084 edges, 61652 markings/sec, 190 secs
lola: 13099980 markings, 72270068 edges, 62259 markings/sec, 195 secs
lola: 13399238 markings, 74191387 edges, 59852 markings/sec, 200 secs
lola: 13668469 markings, 76099748 edges, 53846 markings/sec, 205 secs
lola: 13941477 markings, 77816469 edges, 54602 markings/sec, 210 secs
lola: 14232562 markings, 79580594 edges, 58217 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(T33)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 487823 markings, 2059356 edges, 97565 markings/sec, 0 secs
lola: 909934 markings, 4128073 edges, 84422 markings/sec, 5 secs
lola: 1309834 markings, 6201015 edges, 79980 markings/sec, 10 secs
lola: 1714018 markings, 8250274 edges, 80837 markings/sec, 15 secs
lola: 2124843 markings, 10268759 edges, 82165 markings/sec, 20 secs
lola: 2533557 markings, 12355391 edges, 81743 markings/sec, 25 secs
lola: 2866595 markings, 14398818 edges, 66608 markings/sec, 30 secs
lola: 3187462 markings, 16412597 edges, 64173 markings/sec, 35 secs
lola: 3572493 markings, 18453868 edges, 77006 markings/sec, 40 secs
lola: 3997207 markings, 20542926 edges, 84943 markings/sec, 45 secs
lola: 4418241 markings, 22605809 edges, 84207 markings/sec, 50 secs
lola: 4809740 markings, 24656336 edges, 78300 markings/sec, 55 secs
lola: 5147569 markings, 26684148 edges, 67566 markings/sec, 60 secs
lola: 5495954 markings, 28765456 edges, 69677 markings/sec, 65 secs
lola: 5858083 markings, 30736909 edges, 72426 markings/sec, 70 secs
lola: 6210501 markings, 32756225 edges, 70484 markings/sec, 75 secs
lola: 6538647 markings, 34747232 edges, 65629 markings/sec, 80 secs
lola: 6855408 markings, 36770611 edges, 63352 markings/sec, 85 secs
lola: 7170938 markings, 38768254 edges, 63106 markings/sec, 90 secs
lola: 7503862 markings, 40830418 edges, 66585 markings/sec, 95 secs
lola: 7907460 markings, 42926858 edges, 80720 markings/sec, 100 secs
lola: 8267380 markings, 44969505 edges, 71984 markings/sec, 105 secs
lola: 8616076 markings, 46993749 edges, 69739 markings/sec, 110 secs
lola: 8980464 markings, 49033470 edges, 72878 markings/sec, 115 secs
lola: 9363009 markings, 51093373 edges, 76509 markings/sec, 120 secs
lola: 9725139 markings, 53142752 edges, 72426 markings/sec, 125 secs
lola: 10066051 markings, 55164765 edges, 68182 markings/sec, 130 secs
lola: 10390280 markings, 57159017 edges, 64846 markings/sec, 135 secs
lola: 10707438 markings, 59141877 edges, 63432 markings/sec, 140 secs
lola: 11029501 markings, 61119668 edges, 64413 markings/sec, 145 secs
lola: 11339371 markings, 63136999 edges, 61974 markings/sec, 150 secs
lola: 11631736 markings, 65121793 edges, 58473 markings/sec, 155 secs
lola: 11936682 markings, 67146886 edges, 60989 markings/sec, 160 secs
lola: 12255619 markings, 69121244 edges, 63787 markings/sec, 165 secs
lola: 12601544 markings, 71084997 edges, 69185 markings/sec, 170 secs
lola: 12938245 markings, 73066360 edges, 67340 markings/sec, 175 secs
lola: 13280259 markings, 75075006 edges, 68403 markings/sec, 180 secs
lola: 13601065 markings, 77067759 edges, 64161 markings/sec, 185 secs
lola: 13944889 markings, 79092641 edges, 68765 markings/sec, 190 secs
lola: 14269764 markings, 81087612 edges, 64975 markings/sec, 195 secs
lola: 14599844 markings, 83035591 edges, 66016 markings/sec, 200 secs
lola: 14906366 markings, 84983833 edges, 61304 markings/sec, 205 secs
lola: 15251830 markings, 86999256 edges, 69093 markings/sec, 210 secs
lola: 15570870 markings, 88999782 edges, 63808 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(T52)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 536156 markings, 2020524 edges, 107231 markings/sec, 0 secs
lola: 956117 markings, 3911935 edges, 83992 markings/sec, 5 secs
lola: 1343640 markings, 5733243 edges, 77505 markings/sec, 10 secs
lola: 1729895 markings, 7599513 edges, 77251 markings/sec, 15 secs
lola: 2176001 markings, 9575403 edges, 89221 markings/sec, 20 secs
lola: 2566345 markings, 11484559 edges, 78069 markings/sec, 25 secs
lola: 2972442 markings, 13426508 edges, 81219 markings/sec, 30 secs
lola: 3336404 markings, 15318718 edges, 72792 markings/sec, 35 secs
lola: 3685722 markings, 17224980 edges, 69864 markings/sec, 40 secs
lola: 4060330 markings, 19157128 edges, 74922 markings/sec, 45 secs
lola: 4407587 markings, 21064042 edges, 69451 markings/sec, 50 secs
lola: 4737482 markings, 22877104 edges, 65979 markings/sec, 55 secs
lola: 5057778 markings, 24653383 edges, 64059 markings/sec, 60 secs
lola: 5393778 markings, 26438958 edges, 67200 markings/sec, 65 secs
lola: 5709813 markings, 28229257 edges, 63207 markings/sec, 70 secs
lola: 5990720 markings, 29984700 edges, 56181 markings/sec, 75 secs
lola: 6272353 markings, 31803513 edges, 56327 markings/sec, 80 secs
lola: 6569043 markings, 33524698 edges, 59338 markings/sec, 85 secs
lola: 6857408 markings, 35303434 edges, 57673 markings/sec, 90 secs
lola: 7187344 markings, 37185227 edges, 65987 markings/sec, 95 secs
lola: 7534354 markings, 39000090 edges, 69402 markings/sec, 100 secs
lola: 7831754 markings, 40826573 edges, 59480 markings/sec, 105 secs
lola: 8170973 markings, 42690939 edges, 67844 markings/sec, 110 secs
lola: 8466995 markings, 44544460 edges, 59204 markings/sec, 115 secs
lola: 8774650 markings, 46342332 edges, 61531 markings/sec, 120 secs
lola: 9066435 markings, 48140100 edges, 58357 markings/sec, 125 secs
lola: 9419908 markings, 49986559 edges, 70695 markings/sec, 130 secs
lola: 9716731 markings, 51832396 edges, 59365 markings/sec, 135 secs
lola: 9991430 markings, 53642039 edges, 54940 markings/sec, 140 secs
lola: 10262195 markings, 55432946 edges, 54153 markings/sec, 145 secs
lola: 10508380 markings, 57187629 edges, 49237 markings/sec, 150 secs
lola: 10758676 markings, 58976343 edges, 50059 markings/sec, 155 secs
lola: 11122434 markings, 60826713 edges, 72752 markings/sec, 160 secs
lola: 11446280 markings, 62603488 edges, 64769 markings/sec, 165 secs
lola: 11764019 markings, 64391615 edges, 63548 markings/sec, 170 secs
lola: 12067428 markings, 66115642 edges, 60682 markings/sec, 175 secs
lola: 12375111 markings, 67848306 edges, 61537 markings/sec, 180 secs
lola: 12700532 markings, 69716884 edges, 65084 markings/sec, 185 secs
lola: 12990592 markings, 71470509 edges, 58012 markings/sec, 190 secs
lola: 13250446 markings, 73228938 edges, 51971 markings/sec, 195 secs
lola: 13500352 markings, 74857192 edges, 49981 markings/sec, 200 secs
lola: 13815084 markings, 76610164 edges, 62946 markings/sec, 205 secs
lola: 14100220 markings, 78396862 edges, 57027 markings/sec, 210 secs
lola: 14384421 markings, 80130910 edges, 56840 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(F45)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 516725 markings, 1950645 edges, 103345 markings/sec, 0 secs
lola: 982643 markings, 3865400 edges, 93184 markings/sec, 5 secs
lola: 1428004 markings, 5812757 edges, 89072 markings/sec, 10 secs
lola: 1830136 markings, 7772838 edges, 80426 markings/sec, 15 secs
lola: 2262455 markings, 9726794 edges, 86464 markings/sec, 20 secs
lola: 2660210 markings, 11706822 edges, 79551 markings/sec, 25 secs
lola: 3053564 markings, 13697479 edges, 78671 markings/sec, 30 secs
lola: 3432139 markings, 15661176 edges, 75715 markings/sec, 35 secs
lola: 3782532 markings, 17613589 edges, 70079 markings/sec, 40 secs
lola: 4140868 markings, 19599932 edges, 71667 markings/sec, 45 secs
lola: 4530626 markings, 21496746 edges, 77952 markings/sec, 50 secs
lola: 4918504 markings, 23443661 edges, 77576 markings/sec, 55 secs
lola: 5290486 markings, 25428998 edges, 74396 markings/sec, 60 secs
lola: 5630811 markings, 27392878 edges, 68065 markings/sec, 65 secs
lola: 5961195 markings, 29345158 edges, 66077 markings/sec, 70 secs
lola: 6262445 markings, 31290753 edges, 60250 markings/sec, 75 secs
lola: 6592198 markings, 33199107 edges, 65951 markings/sec, 80 secs
lola: 6956061 markings, 35137598 edges, 72773 markings/sec, 85 secs
lola: 7323317 markings, 37034140 edges, 73451 markings/sec, 90 secs
lola: 7675496 markings, 38983017 edges, 70436 markings/sec, 95 secs
lola: 8043480 markings, 40877144 edges, 73597 markings/sec, 100 secs
lola: 8382471 markings, 42763269 edges, 67798 markings/sec, 105 secs
lola: 8703409 markings, 44619948 edges, 64188 markings/sec, 110 secs
lola: 9017652 markings, 46542987 edges, 62849 markings/sec, 115 secs
lola: 9344901 markings, 48417450 edges, 65450 markings/sec, 120 secs
lola: 9675952 markings, 50311952 edges, 66210 markings/sec, 125 secs
lola: 9997299 markings, 52222445 edges, 64269 markings/sec, 130 secs
lola: 10317478 markings, 54130686 edges, 64036 markings/sec, 135 secs
lola: 10619390 markings, 56020623 edges, 60382 markings/sec, 140 secs
lola: 10910424 markings, 57888781 edges, 58207 markings/sec, 145 secs
lola: 11207100 markings, 59741033 edges, 59335 markings/sec, 150 secs
lola: 11512823 markings, 61611115 edges, 61145 markings/sec, 155 secs
lola: 11830253 markings, 63488566 edges, 63486 markings/sec, 160 secs
lola: 12123322 markings, 65380999 edges, 58614 markings/sec, 165 secs
lola: 12410482 markings, 67284799 edges, 57432 markings/sec, 170 secs
lola: 12700962 markings, 69135313 edges, 58096 markings/sec, 175 secs
lola: 12979130 markings, 70985552 edges, 55634 markings/sec, 180 secs
lola: 13323715 markings, 72871623 edges, 68917 markings/sec, 185 secs
lola: 13680741 markings, 74783166 edges, 71405 markings/sec, 190 secs
lola: 14019188 markings, 76667502 edges, 67689 markings/sec, 195 secs
lola: 14338151 markings, 78556085 edges, 63793 markings/sec, 200 secs
lola: 14645930 markings, 80402583 edges, 61556 markings/sec, 205 secs
lola: 14934955 markings, 82245968 edges, 57805 markings/sec, 210 secs
lola: 15215192 markings, 84105839 edges, 56047 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(F31)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 506161 markings, 2106332 edges, 101232 markings/sec, 0 secs
lola: 969795 markings, 4185370 edges, 92727 markings/sec, 5 secs
lola: 1393691 markings, 6221175 edges, 84779 markings/sec, 10 secs
lola: 1770291 markings, 8291470 edges, 75320 markings/sec, 15 secs
lola: 2165415 markings, 10408390 edges, 79025 markings/sec, 20 secs
lola: 2534657 markings, 12489772 edges, 73848 markings/sec, 25 secs
lola: 2887886 markings, 14503788 edges, 70646 markings/sec, 30 secs
lola: 3253147 markings, 16468868 edges, 73052 markings/sec, 35 secs
lola: 3576683 markings, 18454014 edges, 64707 markings/sec, 40 secs
lola: 3932258 markings, 20510160 edges, 71115 markings/sec, 45 secs
lola: 4262259 markings, 22557061 edges, 66000 markings/sec, 50 secs
lola: 4619457 markings, 24620677 edges, 71440 markings/sec, 55 secs
lola: 5000313 markings, 26669551 edges, 76171 markings/sec, 60 secs
lola: 5344282 markings, 28700275 edges, 68794 markings/sec, 65 secs
lola: 5629162 markings, 30710224 edges, 56976 markings/sec, 70 secs
lola: 5920977 markings, 32695978 edges, 58363 markings/sec, 75 secs
lola: 6201128 markings, 34640750 edges, 56030 markings/sec, 80 secs
lola: 6496826 markings, 36613418 edges, 59140 markings/sec, 85 secs
lola: 6807381 markings, 38617985 edges, 62111 markings/sec, 90 secs
lola: 7095803 markings, 40658458 edges, 57684 markings/sec, 95 secs
lola: 7375177 markings, 42598502 edges, 55875 markings/sec, 100 secs
lola: 7659167 markings, 44562176 edges, 56798 markings/sec, 105 secs
lola: 7942756 markings, 46553121 edges, 56718 markings/sec, 110 secs
lola: 8380916 markings, 48583617 edges, 87632 markings/sec, 115 secs
lola: 8732761 markings, 50493083 edges, 70369 markings/sec, 120 secs
lola: 9097286 markings, 52546292 edges, 72905 markings/sec, 125 secs
lola: 9426304 markings, 54616511 edges, 65804 markings/sec, 130 secs
lola: 9715456 markings, 56685498 edges, 57830 markings/sec, 135 secs
lola: 10083905 markings, 58730056 edges, 73690 markings/sec, 140 secs
lola: 10416155 markings, 60782637 edges, 66450 markings/sec, 145 secs
lola: 10769521 markings, 62797343 edges, 70673 markings/sec, 150 secs
lola: 11082786 markings, 64800453 edges, 62653 markings/sec, 155 secs
lola: 11422625 markings, 66833772 edges, 67968 markings/sec, 160 secs
lola: 11734703 markings, 68885174 edges, 62416 markings/sec, 165 secs
lola: 12058076 markings, 70922647 edges, 64675 markings/sec, 170 secs
lola: 12345285 markings, 72886469 edges, 57442 markings/sec, 175 secs
lola: 12620103 markings, 74790161 edges, 54964 markings/sec, 180 secs
lola: 12865609 markings, 76660776 edges, 49101 markings/sec, 185 secs
lola: 13090307 markings, 78632723 edges, 44940 markings/sec, 190 secs
lola: 13346558 markings, 80617883 edges, 51250 markings/sec, 195 secs
lola: 13612203 markings, 82512368 edges, 53129 markings/sec, 200 secs
lola: 13861556 markings, 84355527 edges, 49871 markings/sec, 205 secs
lola: 14239983 markings, 86389252 edges, 75685 markings/sec, 210 secs
lola: 14612897 markings, 88515913 edges, 74583 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(F24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 566986 markings, 2020742 edges, 113397 markings/sec, 0 secs
lola: 1078779 markings, 4021718 edges, 102359 markings/sec, 5 secs
lola: 1551404 markings, 6023281 edges, 94525 markings/sec, 10 secs
lola: 1991292 markings, 8028134 edges, 87978 markings/sec, 15 secs
lola: 2427862 markings, 10063540 edges, 87314 markings/sec, 20 secs
lola: 2855003 markings, 12108679 edges, 85428 markings/sec, 25 secs
lola: 3239630 markings, 14154117 edges, 76925 markings/sec, 30 secs
lola: 3725865 markings, 16174066 edges, 97247 markings/sec, 35 secs
lola: 4155308 markings, 18258189 edges, 85889 markings/sec, 40 secs
lola: 4555814 markings, 20330223 edges, 80101 markings/sec, 45 secs
lola: 4960005 markings, 22422622 edges, 80838 markings/sec, 50 secs
lola: 5319908 markings, 24522501 edges, 71981 markings/sec, 55 secs
lola: 5714375 markings, 26481730 edges, 78893 markings/sec, 60 secs
lola: 6048404 markings, 28383395 edges, 66806 markings/sec, 65 secs
lola: 6416692 markings, 30322604 edges, 73658 markings/sec, 70 secs
lola: 6774830 markings, 32364712 edges, 71628 markings/sec, 75 secs
lola: 7123380 markings, 34360658 edges, 69710 markings/sec, 80 secs
lola: 7459802 markings, 36326230 edges, 67284 markings/sec, 85 secs
lola: 7733941 markings, 38295667 edges, 54828 markings/sec, 90 secs
lola: 8074174 markings, 40324588 edges, 68047 markings/sec, 95 secs
lola: 8422488 markings, 42299147 edges, 69663 markings/sec, 100 secs
lola: 8776708 markings, 44267132 edges, 70844 markings/sec, 105 secs
lola: 9122163 markings, 46244712 edges, 69091 markings/sec, 110 secs
lola: 9461074 markings, 48184182 edges, 67782 markings/sec, 115 secs
lola: 9798665 markings, 50105994 edges, 67518 markings/sec, 120 secs
lola: 10128840 markings, 52022120 edges, 66035 markings/sec, 125 secs
lola: 10450442 markings, 54006562 edges, 64320 markings/sec, 130 secs
lola: 10768085 markings, 55936301 edges, 63529 markings/sec, 135 secs
lola: 11099923 markings, 57867109 edges, 66368 markings/sec, 140 secs
lola: 11411672 markings, 59811209 edges, 62350 markings/sec, 145 secs
lola: 11714123 markings, 61724177 edges, 60490 markings/sec, 150 secs
lola: 12024199 markings, 63608978 edges, 62015 markings/sec, 155 secs
lola: 12320266 markings, 65516227 edges, 59213 markings/sec, 160 secs
lola: 12609073 markings, 67476706 edges, 57761 markings/sec, 165 secs
lola: 12917669 markings, 69423767 edges, 61719 markings/sec, 170 secs
lola: 13318818 markings, 71365643 edges, 80230 markings/sec, 175 secs
lola: 13687418 markings, 73335329 edges, 73720 markings/sec, 180 secs
lola: 14034533 markings, 75312089 edges, 69423 markings/sec, 185 secs
lola: 14393666 markings, 77219151 edges, 71827 markings/sec, 190 secs
lola: 14745873 markings, 79102449 edges, 70441 markings/sec, 195 secs
lola: 15074337 markings, 81006163 edges, 65693 markings/sec, 200 secs
lola: 15377050 markings, 82937393 edges, 60543 markings/sec, 205 secs
lola: 15727005 markings, 84829843 edges, 69991 markings/sec, 210 secs
lola: 16038027 markings, 86705636 edges, 62204 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(T74)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 552171 markings, 2037047 edges, 110434 markings/sec, 0 secs
lola: 1002483 markings, 4081415 edges, 90062 markings/sec, 5 secs
lola: 1401633 markings, 6119444 edges, 79830 markings/sec, 10 secs
lola: 1810666 markings, 7873164 edges, 81807 markings/sec, 15 secs
lola: 2168761 markings, 9761295 edges, 71619 markings/sec, 20 secs
lola: 2506535 markings, 11607318 edges, 67555 markings/sec, 25 secs
lola: 2904966 markings, 13486178 edges, 79686 markings/sec, 30 secs
lola: 3337258 markings, 15384313 edges, 86458 markings/sec, 35 secs
lola: 3709887 markings, 17269096 edges, 74526 markings/sec, 40 secs
lola: 4089543 markings, 19118021 edges, 75931 markings/sec, 45 secs
lola: 4455228 markings, 21031503 edges, 73137 markings/sec, 50 secs
lola: 4804551 markings, 22897030 edges, 69865 markings/sec, 55 secs
lola: 5158067 markings, 24756473 edges, 70703 markings/sec, 60 secs
lola: 5500140 markings, 26625828 edges, 68415 markings/sec, 65 secs
lola: 5841773 markings, 28544487 edges, 68327 markings/sec, 70 secs
lola: 6172461 markings, 30463116 edges, 66138 markings/sec, 75 secs
lola: 6477714 markings, 32384842 edges, 61051 markings/sec, 80 secs
lola: 6768276 markings, 34260466 edges, 58112 markings/sec, 85 secs
lola: 7090876 markings, 36024073 edges, 64520 markings/sec, 90 secs
lola: 7421045 markings, 37824598 edges, 66034 markings/sec, 95 secs
lola: 7714961 markings, 39629456 edges, 58783 markings/sec, 100 secs
lola: 8037063 markings, 41370909 edges, 64420 markings/sec, 105 secs
lola: 8342759 markings, 43122116 edges, 61139 markings/sec, 110 secs
lola: 8674703 markings, 45036527 edges, 66389 markings/sec, 115 secs
lola: 8979458 markings, 46879552 edges, 60951 markings/sec, 120 secs
lola: 9263657 markings, 48723679 edges, 56840 markings/sec, 125 secs
lola: 9562185 markings, 50548916 edges, 59706 markings/sec, 130 secs
lola: 9837927 markings, 52314842 edges, 55148 markings/sec, 135 secs
lola: 10115300 markings, 54007975 edges, 55475 markings/sec, 140 secs
lola: 10374432 markings, 55699607 edges, 51826 markings/sec, 145 secs
lola: 10633997 markings, 57414996 edges, 51913 markings/sec, 150 secs
lola: 10874116 markings, 59162085 edges, 48024 markings/sec, 155 secs
lola: 11089664 markings, 60898865 edges, 43110 markings/sec, 160 secs
lola: 11397445 markings, 62642527 edges, 61556 markings/sec, 165 secs
lola: 11720805 markings, 64378961 edges, 64672 markings/sec, 170 secs
lola: 12041327 markings, 66095292 edges, 64104 markings/sec, 175 secs
lola: 12345818 markings, 67830288 edges, 60898 markings/sec, 180 secs
lola: 12619783 markings, 69528483 edges, 54793 markings/sec, 185 secs
lola: 12920907 markings, 71262172 edges, 60225 markings/sec, 190 secs
lola: 13212597 markings, 72999567 edges, 58338 markings/sec, 195 secs
lola: 13485409 markings, 74691907 edges, 54562 markings/sec, 200 secs
lola: 13755453 markings, 76460733 edges, 54009 markings/sec, 205 secs
lola: 14014001 markings, 78112563 edges, 51710 markings/sec, 210 secs
lola: 14274447 markings, 79831014 edges, 52089 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(F65)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 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: 490787 markings, 1980480 edges, 98157 markings/sec, 0 secs
lola: 886878 markings, 3802883 edges, 79218 markings/sec, 5 secs
lola: 1243498 markings, 5627640 edges, 71324 markings/sec, 10 secs
lola: 1626880 markings, 7334581 edges, 76676 markings/sec, 15 secs
lola: 1969231 markings, 8991811 edges, 68470 markings/sec, 20 secs
lola: 2301216 markings, 10593659 edges, 66397 markings/sec, 25 secs
lola: 2599345 markings, 12218778 edges, 59626 markings/sec, 30 secs
lola: 2881111 markings, 13891348 edges, 56353 markings/sec, 35 secs
lola: 3272714 markings, 15690107 edges, 78321 markings/sec, 40 secs
lola: 3601287 markings, 17390488 edges, 65715 markings/sec, 45 secs
lola: 3947980 markings, 19077606 edges, 69339 markings/sec, 50 secs
lola: 4258202 markings, 20713156 edges, 62044 markings/sec, 55 secs
lola: 4529331 markings, 22261940 edges, 54226 markings/sec, 60 secs
lola: 4822168 markings, 23761240 edges, 58567 markings/sec, 65 secs
lola: 5128807 markings, 25374529 edges, 61328 markings/sec, 70 secs
lola: 5471691 markings, 27103413 edges, 68577 markings/sec, 75 secs
lola: 5773588 markings, 28857103 edges, 60379 markings/sec, 80 secs
lola: 6076327 markings, 30609879 edges, 60548 markings/sec, 85 secs
lola: 6375275 markings, 32345138 edges, 59790 markings/sec, 90 secs
lola: 6651455 markings, 34064775 edges, 55236 markings/sec, 95 secs
lola: 6964616 markings, 35767603 edges, 62632 markings/sec, 100 secs
lola: 7273031 markings, 37485489 edges, 61683 markings/sec, 105 secs
lola: 7569309 markings, 39229473 edges, 59256 markings/sec, 110 secs
lola: 7887249 markings, 40993007 edges, 63588 markings/sec, 115 secs
lola: 8191962 markings, 42713857 edges, 60943 markings/sec, 120 secs
lola: 8484422 markings, 44477731 edges, 58492 markings/sec, 125 secs
lola: 8775314 markings, 46211095 edges, 58178 markings/sec, 130 secs
lola: 9100667 markings, 47933431 edges, 65071 markings/sec, 135 secs
lola: 9410547 markings, 49802395 edges, 61976 markings/sec, 140 secs
lola: 9710055 markings, 51525913 edges, 59902 markings/sec, 145 secs
lola: 9979068 markings, 53187065 edges, 53803 markings/sec, 150 secs
lola: 10211174 markings, 54929610 edges, 46421 markings/sec, 155 secs
lola: 10479968 markings, 56618210 edges, 53759 markings/sec, 160 secs
lola: 10762447 markings, 58314448 edges, 56496 markings/sec, 165 secs
lola: 11032208 markings, 60003966 edges, 53952 markings/sec, 170 secs
lola: 11283894 markings, 61674808 edges, 50337 markings/sec, 175 secs
lola: 11615487 markings, 63357203 edges, 66319 markings/sec, 180 secs
lola: 11924556 markings, 65080532 edges, 61814 markings/sec, 185 secs
lola: 12231296 markings, 66805430 edges, 61348 markings/sec, 190 secs
lola: 12528203 markings, 68558199 edges, 59381 markings/sec, 195 secs
lola: 12838301 markings, 70418832 edges, 62020 markings/sec, 200 secs
lola: 13139934 markings, 72226506 edges, 60327 markings/sec, 205 secs
lola: 13420741 markings, 74016873 edges, 56161 markings/sec, 210 secs
lola: 13687046 markings, 75870078 edges, 53261 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496562635926
--------------------
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_Solitaire-PT-EngNC7x7"
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_Solitaire-PT-EngNC7x7.tgz
mv S_Solitaire-PT-EngNC7x7 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_Solitaire-PT-EngNC7x7, 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-149443463900074"
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 ;