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-SqrNC5x5, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r158-ebro-149443464000110
=====================================================================

--------------------
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-SqrNC5x5-UpperBounds-0
FORMULA_NAME Solitaire-PT-SqrNC5x5-UpperBounds-1
FORMULA_NAME Solitaire-PT-SqrNC5x5-UpperBounds-10
FORMULA_NAME Solitaire-PT-SqrNC5x5-UpperBounds-11
FORMULA_NAME Solitaire-PT-SqrNC5x5-UpperBounds-12
FORMULA_NAME Solitaire-PT-SqrNC5x5-UpperBounds-13
FORMULA_NAME Solitaire-PT-SqrNC5x5-UpperBounds-14
FORMULA_NAME Solitaire-PT-SqrNC5x5-UpperBounds-15
FORMULA_NAME Solitaire-PT-SqrNC5x5-UpperBounds-2
FORMULA_NAME Solitaire-PT-SqrNC5x5-UpperBounds-3
FORMULA_NAME Solitaire-PT-SqrNC5x5-UpperBounds-4
FORMULA_NAME Solitaire-PT-SqrNC5x5-UpperBounds-5
FORMULA_NAME Solitaire-PT-SqrNC5x5-UpperBounds-6
FORMULA_NAME Solitaire-PT-SqrNC5x5-UpperBounds-7
FORMULA_NAME Solitaire-PT-SqrNC5x5-UpperBounds-8
FORMULA_NAME Solitaire-PT-SqrNC5x5-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496561074372


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_Solitaire-PT-SqrNC5x5: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_Solitaire-PT-SqrNC5x5: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_Solitaire-PT-SqrNC5x5 @ 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: 134/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 50 places, 84 transitions, 25 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 168 transition conflict sets
lola: TASK
lola: reading formula from Solitaire-PT-SqrNC5x5-UpperBounds.task
lola: MAX(F26) : MAX(F35) : MAX(F25) : MAX(F35) : MAX(F43) : MAX(T22) : MAX(T36) : MAX(F24) : MAX(T45) : MAX(T65) : MAX(T43) : MAX(T45) : MAX(F64) : MAX(T45) : MAX(F34) : MAX(T33)
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(F26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 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: 340215 markings, 2544223 edges, 68043 markings/sec, 0 secs
lola: 617018 markings, 5002650 edges, 55361 markings/sec, 5 secs
lola: 905644 markings, 7545192 edges, 57725 markings/sec, 10 secs
lola: 1168589 markings, 10060603 edges, 52589 markings/sec, 15 secs
lola: 1410981 markings, 12466270 edges, 48478 markings/sec, 20 secs
lola: 1650105 markings, 14776002 edges, 47825 markings/sec, 25 secs
lola: 1894437 markings, 17227195 edges, 48866 markings/sec, 30 secs
lola: 2114456 markings, 19706817 edges, 44004 markings/sec, 35 secs
lola: 2329086 markings, 22141775 edges, 42926 markings/sec, 40 secs
lola: 2535906 markings, 24535286 edges, 41364 markings/sec, 45 secs
lola: 2730894 markings, 26766212 edges, 38998 markings/sec, 50 secs
lola: 2926848 markings, 29068288 edges, 39191 markings/sec, 55 secs
lola: 3120741 markings, 31409196 edges, 38779 markings/sec, 60 secs
lola: 3308683 markings, 33695293 edges, 37588 markings/sec, 65 secs
lola: 3491729 markings, 36010985 edges, 36609 markings/sec, 70 secs
lola: 3662901 markings, 38263733 edges, 34234 markings/sec, 75 secs
lola: 3848263 markings, 40451112 edges, 37072 markings/sec, 80 secs
lola: 4097380 markings, 42870092 edges, 49823 markings/sec, 85 secs
lola: 4321239 markings, 45230898 edges, 44772 markings/sec, 90 secs
lola: 4540789 markings, 47613558 edges, 43910 markings/sec, 95 secs
lola: 4755345 markings, 49992878 edges, 42911 markings/sec, 100 secs
lola: 4970632 markings, 52410085 edges, 43057 markings/sec, 105 secs
lola: 5178002 markings, 54769494 edges, 41474 markings/sec, 110 secs
lola: 5369520 markings, 57112301 edges, 38304 markings/sec, 115 secs
lola: 5564165 markings, 59464297 edges, 38929 markings/sec, 120 secs
lola: 5743493 markings, 61674864 edges, 35866 markings/sec, 125 secs
lola: 5930851 markings, 63973833 edges, 37472 markings/sec, 130 secs
lola: 6108980 markings, 66282314 edges, 35626 markings/sec, 135 secs
lola: 6286389 markings, 68593889 edges, 35482 markings/sec, 140 secs
lola: 6471516 markings, 70879776 edges, 37025 markings/sec, 145 secs
lola: 6650824 markings, 73173267 edges, 35862 markings/sec, 150 secs
lola: 6823268 markings, 75438010 edges, 34489 markings/sec, 155 secs
lola: 7007614 markings, 77772473 edges, 36869 markings/sec, 160 secs
lola: 7182416 markings, 80093922 edges, 34960 markings/sec, 165 secs
lola: 7352076 markings, 82362679 edges, 33932 markings/sec, 170 secs
lola: 7514930 markings, 84582059 edges, 32571 markings/sec, 175 secs
lola: 7676722 markings, 86747837 edges, 32358 markings/sec, 180 secs
lola: 7838661 markings, 88890023 edges, 32388 markings/sec, 185 secs
lola: 7999688 markings, 91134690 edges, 32205 markings/sec, 190 secs
lola: 8151238 markings, 93315510 edges, 30310 markings/sec, 195 secs
lola: 8317755 markings, 95544284 edges, 33303 markings/sec, 200 secs
lola: 8486530 markings, 97811988 edges, 33755 markings/sec, 205 secs
lola: 8644458 markings, 100069835 edges, 31586 markings/sec, 210 secs
lola: 8802937 markings, 102306592 edges, 31696 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(F35)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 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: 395627 markings, 2628677 edges, 79125 markings/sec, 0 secs
lola: 702155 markings, 5223838 edges, 61306 markings/sec, 5 secs
lola: 978524 markings, 7697334 edges, 55274 markings/sec, 10 secs
lola: 1239336 markings, 10148041 edges, 52162 markings/sec, 15 secs
lola: 1489392 markings, 12629378 edges, 50011 markings/sec, 20 secs
lola: 1729184 markings, 15066987 edges, 47958 markings/sec, 25 secs
lola: 2004907 markings, 17509443 edges, 55145 markings/sec, 30 secs
lola: 2250666 markings, 19918471 edges, 49152 markings/sec, 35 secs
lola: 2487405 markings, 22352979 edges, 47348 markings/sec, 40 secs
lola: 2698496 markings, 24730625 edges, 42218 markings/sec, 45 secs
lola: 2920277 markings, 27093528 edges, 44356 markings/sec, 50 secs
lola: 3130223 markings, 29409273 edges, 41989 markings/sec, 55 secs
lola: 3332036 markings, 31745446 edges, 40363 markings/sec, 60 secs
lola: 3544493 markings, 34094381 edges, 42491 markings/sec, 65 secs
lola: 3737229 markings, 36389776 edges, 38547 markings/sec, 70 secs
lola: 3923197 markings, 38641022 edges, 37194 markings/sec, 75 secs
lola: 4113473 markings, 40861126 edges, 38055 markings/sec, 80 secs
lola: 4319748 markings, 43210739 edges, 41255 markings/sec, 85 secs
lola: 4523129 markings, 45571014 edges, 40676 markings/sec, 90 secs
lola: 4721338 markings, 47938632 edges, 39642 markings/sec, 95 secs
lola: 4897535 markings, 50157230 edges, 35239 markings/sec, 100 secs
lola: 5075482 markings, 52409646 edges, 35589 markings/sec, 105 secs
lola: 5247579 markings, 54650795 edges, 34419 markings/sec, 110 secs
lola: 5426121 markings, 56874061 edges, 35708 markings/sec, 115 secs
lola: 5595983 markings, 59077044 edges, 33972 markings/sec, 120 secs
lola: 5761271 markings, 61247272 edges, 33058 markings/sec, 125 secs
lola: 5930623 markings, 63471425 edges, 33870 markings/sec, 130 secs
lola: 6088911 markings, 65666590 edges, 31658 markings/sec, 135 secs
lola: 6256742 markings, 67788783 edges, 33566 markings/sec, 140 secs
lola: 6431832 markings, 70014352 edges, 35018 markings/sec, 145 secs
lola: 6610096 markings, 72272979 edges, 35653 markings/sec, 150 secs
lola: 6794963 markings, 74615252 edges, 36973 markings/sec, 155 secs
lola: 6955496 markings, 76789503 edges, 32107 markings/sec, 160 secs
lola: 7123142 markings, 79026679 edges, 33529 markings/sec, 165 secs
lola: 7284102 markings, 81197150 edges, 32192 markings/sec, 170 secs
lola: 7447151 markings, 83361553 edges, 32610 markings/sec, 175 secs
lola: 7608303 markings, 85479246 edges, 32230 markings/sec, 180 secs
lola: 7769596 markings, 87643378 edges, 32259 markings/sec, 185 secs
lola: 7927819 markings, 89815062 edges, 31645 markings/sec, 190 secs
lola: 8077690 markings, 91934345 edges, 29974 markings/sec, 195 secs
lola: 8233787 markings, 94096281 edges, 31219 markings/sec, 200 secs
lola: 8391237 markings, 96291724 edges, 31490 markings/sec, 205 secs
lola: 8546125 markings, 98501349 edges, 30978 markings/sec, 210 secs
lola: 8689682 markings, 100582022 edges, 28711 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(F25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 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: 367039 markings, 2585897 edges, 73408 markings/sec, 0 secs
lola: 647742 markings, 5053980 edges, 56141 markings/sec, 5 secs
lola: 901659 markings, 7479637 edges, 50783 markings/sec, 10 secs
lola: 1146415 markings, 9872593 edges, 48951 markings/sec, 15 secs
lola: 1373772 markings, 12220434 edges, 45471 markings/sec, 20 secs
lola: 1610252 markings, 14602536 edges, 47296 markings/sec, 25 secs
lola: 1843685 markings, 17020716 edges, 46687 markings/sec, 30 secs
lola: 2049085 markings, 19413015 edges, 41080 markings/sec, 35 secs
lola: 2245991 markings, 21692855 edges, 39381 markings/sec, 40 secs
lola: 2465407 markings, 24073847 edges, 43883 markings/sec, 45 secs
lola: 2682412 markings, 26437192 edges, 43401 markings/sec, 50 secs
lola: 2878155 markings, 28807341 edges, 39149 markings/sec, 55 secs
lola: 3092154 markings, 31164139 edges, 42800 markings/sec, 60 secs
lola: 3284615 markings, 33436133 edges, 38492 markings/sec, 65 secs
lola: 3484794 markings, 35696148 edges, 40036 markings/sec, 70 secs
lola: 3724903 markings, 38029637 edges, 48022 markings/sec, 75 secs
lola: 3921517 markings, 40382707 edges, 39323 markings/sec, 80 secs
lola: 4098353 markings, 42734699 edges, 35367 markings/sec, 85 secs
lola: 4266647 markings, 44962607 edges, 33659 markings/sec, 90 secs
lola: 4444861 markings, 47252963 edges, 35643 markings/sec, 95 secs
lola: 4628815 markings, 49450932 edges, 36791 markings/sec, 100 secs
lola: 4806913 markings, 51610510 edges, 35620 markings/sec, 105 secs
lola: 5016980 markings, 53934746 edges, 42013 markings/sec, 110 secs
lola: 5236274 markings, 56238938 edges, 43859 markings/sec, 115 secs
lola: 5434636 markings, 58486571 edges, 39672 markings/sec, 120 secs
lola: 5620768 markings, 60737458 edges, 37226 markings/sec, 125 secs
lola: 5791993 markings, 63018035 edges, 34245 markings/sec, 130 secs
lola: 5960896 markings, 65291689 edges, 33781 markings/sec, 135 secs
lola: 6124657 markings, 67591157 edges, 32752 markings/sec, 140 secs
lola: 6278987 markings, 69794320 edges, 30866 markings/sec, 145 secs
lola: 6428451 markings, 71942018 edges, 29893 markings/sec, 150 secs
lola: 6592885 markings, 74148677 edges, 32887 markings/sec, 155 secs
lola: 6748624 markings, 76295975 edges, 31148 markings/sec, 160 secs
lola: 6923169 markings, 78477182 edges, 34909 markings/sec, 165 secs
lola: 7105643 markings, 80709519 edges, 36495 markings/sec, 170 secs
lola: 7265492 markings, 82906691 edges, 31970 markings/sec, 175 secs
lola: 7421931 markings, 85050039 edges, 31288 markings/sec, 180 secs
lola: 7584051 markings, 87198583 edges, 32424 markings/sec, 185 secs
lola: 7753915 markings, 89395144 edges, 33973 markings/sec, 190 secs
lola: 7932025 markings, 91620051 edges, 35622 markings/sec, 195 secs
lola: 8106795 markings, 93865195 edges, 34954 markings/sec, 200 secs
lola: 8264753 markings, 96012518 edges, 31592 markings/sec, 205 secs
lola: 8426690 markings, 98167736 edges, 32387 markings/sec, 210 secs
lola: 8576975 markings, 100339417 edges, 30057 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(F35)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 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: 388918 markings, 2577661 edges, 77784 markings/sec, 0 secs
lola: 684208 markings, 5075272 edges, 59058 markings/sec, 5 secs
lola: 948060 markings, 7414690 edges, 52770 markings/sec, 10 secs
lola: 1196612 markings, 9717871 edges, 49710 markings/sec, 15 secs
lola: 1433196 markings, 12059082 edges, 47317 markings/sec, 20 secs
lola: 1650522 markings, 14347014 edges, 43465 markings/sec, 25 secs
lola: 1921359 markings, 16715780 edges, 54167 markings/sec, 30 secs
lola: 2152370 markings, 18976316 edges, 46202 markings/sec, 35 secs
lola: 2389569 markings, 21323272 edges, 47440 markings/sec, 40 secs
lola: 2595708 markings, 23565032 edges, 41228 markings/sec, 45 secs
lola: 2787383 markings, 25725477 edges, 38335 markings/sec, 50 secs
lola: 3001386 markings, 27952134 edges, 42801 markings/sec, 55 secs
lola: 3187379 markings, 30088022 edges, 37199 markings/sec, 60 secs
lola: 3387594 markings, 32314648 edges, 40043 markings/sec, 65 secs
lola: 3579978 markings, 34503842 edges, 38477 markings/sec, 70 secs
lola: 3755870 markings, 36609343 edges, 35178 markings/sec, 75 secs
lola: 3926536 markings, 38683427 edges, 34133 markings/sec, 80 secs
lola: 4110686 markings, 40828933 edges, 36830 markings/sec, 85 secs
lola: 4316487 markings, 43173645 edges, 41160 markings/sec, 90 secs
lola: 4515012 markings, 45484524 edges, 39705 markings/sec, 95 secs
lola: 4714495 markings, 47855516 edges, 39897 markings/sec, 100 secs
lola: 4894869 markings, 50120085 edges, 36075 markings/sec, 105 secs
lola: 5075788 markings, 52413679 edges, 36184 markings/sec, 110 secs
lola: 5253180 markings, 54715536 edges, 35478 markings/sec, 115 secs
lola: 5434482 markings, 56981883 edges, 36260 markings/sec, 120 secs
lola: 5607976 markings, 59236894 edges, 34699 markings/sec, 125 secs
lola: 5776322 markings, 61442343 edges, 33669 markings/sec, 130 secs
lola: 5946077 markings, 63679890 edges, 33951 markings/sec, 135 secs
lola: 6107352 markings, 65881290 edges, 32255 markings/sec, 140 secs
lola: 6272714 markings, 67993922 edges, 33072 markings/sec, 145 secs
lola: 6447706 markings, 70222530 edges, 34998 markings/sec, 150 secs
lola: 6624354 markings, 72458112 edges, 35330 markings/sec, 155 secs
lola: 6809065 markings, 74790176 edges, 36942 markings/sec, 160 secs
lola: 6965684 markings, 76939190 edges, 31324 markings/sec, 165 secs
lola: 7131841 markings, 79146476 edges, 33231 markings/sec, 170 secs
lola: 7293217 markings, 81327040 edges, 32275 markings/sec, 175 secs
lola: 7456300 markings, 83480712 edges, 32617 markings/sec, 180 secs
lola: 7616892 markings, 85591089 edges, 32118 markings/sec, 185 secs
lola: 7778516 markings, 87753651 edges, 32325 markings/sec, 190 secs
lola: 7934918 markings, 89914369 edges, 31280 markings/sec, 195 secs
lola: 8084296 markings, 92025845 edges, 29876 markings/sec, 200 secs
lola: 8236991 markings, 94141890 edges, 30539 markings/sec, 205 secs
lola: 8395893 markings, 96356108 edges, 31780 markings/sec, 210 secs
lola: 8551593 markings, 98584486 edges, 31140 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(F43)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 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: 345992 markings, 2444032 edges, 69198 markings/sec, 0 secs
lola: 607191 markings, 4756015 edges, 52240 markings/sec, 5 secs
lola: 850120 markings, 7076945 edges, 48586 markings/sec, 10 secs
lola: 1106106 markings, 9436057 edges, 51197 markings/sec, 15 secs
lola: 1337540 markings, 11729537 edges, 46287 markings/sec, 20 secs
lola: 1562433 markings, 14073766 edges, 44979 markings/sec, 25 secs
lola: 1768780 markings, 16307985 edges, 41269 markings/sec, 30 secs
lola: 1972728 markings, 18459838 edges, 40790 markings/sec, 35 secs
lola: 2184074 markings, 20713128 edges, 42269 markings/sec, 40 secs
lola: 2390490 markings, 22974304 edges, 41283 markings/sec, 45 secs
lola: 2577251 markings, 25174116 edges, 37352 markings/sec, 50 secs
lola: 2761721 markings, 27343426 edges, 36894 markings/sec, 55 secs
lola: 2961558 markings, 29580323 edges, 39967 markings/sec, 60 secs
lola: 3174016 markings, 31872524 edges, 42492 markings/sec, 65 secs
lola: 3387472 markings, 34214499 edges, 42691 markings/sec, 70 secs
lola: 3586333 markings, 36516494 edges, 39772 markings/sec, 75 secs
lola: 3778101 markings, 38652938 edges, 38354 markings/sec, 80 secs
lola: 3975281 markings, 40851191 edges, 39436 markings/sec, 85 secs
lola: 4156851 markings, 43013984 edges, 36314 markings/sec, 90 secs
lola: 4333278 markings, 45169867 edges, 35285 markings/sec, 95 secs
lola: 4512436 markings, 47345324 edges, 35832 markings/sec, 100 secs
lola: 4682956 markings, 49531966 edges, 34104 markings/sec, 105 secs
lola: 4836290 markings, 51647736 edges, 30667 markings/sec, 110 secs
lola: 4994692 markings, 53749908 edges, 31680 markings/sec, 115 secs
lola: 5180798 markings, 55813293 edges, 37221 markings/sec, 120 secs
lola: 5343084 markings, 57883906 edges, 32457 markings/sec, 125 secs
lola: 5501448 markings, 59999795 edges, 31673 markings/sec, 130 secs
lola: 5660837 markings, 62053173 edges, 31878 markings/sec, 135 secs
lola: 5813410 markings, 64112824 edges, 30515 markings/sec, 140 secs
lola: 5974547 markings, 66161463 edges, 32227 markings/sec, 145 secs
lola: 6152089 markings, 68265646 edges, 35508 markings/sec, 150 secs
lola: 6319218 markings, 70378287 edges, 33426 markings/sec, 155 secs
lola: 6484034 markings, 72531014 edges, 32963 markings/sec, 160 secs
lola: 6646125 markings, 74632588 edges, 32418 markings/sec, 165 secs
lola: 6802790 markings, 76679081 edges, 31333 markings/sec, 170 secs
lola: 6963121 markings, 78776224 edges, 32066 markings/sec, 175 secs
lola: 7111181 markings, 80836140 edges, 29612 markings/sec, 180 secs
lola: 7271980 markings, 82993465 edges, 32160 markings/sec, 185 secs
lola: 7399768 markings, 84980353 edges, 25558 markings/sec, 190 secs
lola: 7543080 markings, 87007242 edges, 28662 markings/sec, 195 secs
lola: 7699531 markings, 89045075 edges, 31290 markings/sec, 200 secs
lola: 7859255 markings, 91114888 edges, 31945 markings/sec, 205 secs
lola: 8007027 markings, 93127160 edges, 29554 markings/sec, 210 secs
lola: 8173692 markings, 95260160 edges, 33333 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(T22)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 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: 380478 markings, 2562013 edges, 76096 markings/sec, 0 secs
lola: 659883 markings, 5002462 edges, 55881 markings/sec, 5 secs
lola: 932835 markings, 7427341 edges, 54590 markings/sec, 10 secs
lola: 1169630 markings, 9820258 edges, 47359 markings/sec, 15 secs
lola: 1398786 markings, 12150338 edges, 45831 markings/sec, 20 secs
lola: 1619273 markings, 14484324 edges, 44097 markings/sec, 25 secs
lola: 1829992 markings, 16820993 edges, 42144 markings/sec, 30 secs
lola: 2040426 markings, 19137597 edges, 42087 markings/sec, 35 secs
lola: 2247311 markings, 21454977 edges, 41377 markings/sec, 40 secs
lola: 2442802 markings, 23738084 edges, 39098 markings/sec, 45 secs
lola: 2627362 markings, 25976356 edges, 36912 markings/sec, 50 secs
lola: 2812456 markings, 28240652 edges, 37019 markings/sec, 55 secs
lola: 3019385 markings, 30541846 edges, 41386 markings/sec, 60 secs
lola: 3225307 markings, 32845889 edges, 41184 markings/sec, 65 secs
lola: 3413747 markings, 35104885 edges, 37688 markings/sec, 70 secs
lola: 3592853 markings, 37353023 edges, 35821 markings/sec, 75 secs
lola: 3826069 markings, 39756723 edges, 46643 markings/sec, 80 secs
lola: 4073098 markings, 42281818 edges, 49406 markings/sec, 85 secs
lola: 4310797 markings, 44806618 edges, 47540 markings/sec, 90 secs
lola: 4534917 markings, 47236000 edges, 44824 markings/sec, 95 secs
lola: 4745140 markings, 49608932 edges, 42045 markings/sec, 100 secs
lola: 4936966 markings, 51934740 edges, 38365 markings/sec, 105 secs
lola: 5137068 markings, 54274359 edges, 40020 markings/sec, 110 secs
lola: 5328938 markings, 56561280 edges, 38374 markings/sec, 115 secs
lola: 5514606 markings, 58801549 edges, 37134 markings/sec, 120 secs
lola: 5709733 markings, 61028136 edges, 39025 markings/sec, 125 secs
lola: 5890644 markings, 63237890 edges, 36182 markings/sec, 130 secs
lola: 6061753 markings, 65409983 edges, 34222 markings/sec, 135 secs
lola: 6253983 markings, 67836853 edges, 38446 markings/sec, 140 secs
lola: 6442326 markings, 70219052 edges, 37669 markings/sec, 145 secs
lola: 6607919 markings, 72493888 edges, 33119 markings/sec, 150 secs
lola: 6786107 markings, 74788704 edges, 35638 markings/sec, 155 secs
lola: 6946343 markings, 76943998 edges, 32047 markings/sec, 160 secs
lola: 7114841 markings, 79132913 edges, 33700 markings/sec, 165 secs
lola: 7277198 markings, 81334970 edges, 32471 markings/sec, 170 secs
lola: 7441856 markings, 83534924 edges, 32932 markings/sec, 175 secs
lola: 7605544 markings, 85774326 edges, 32738 markings/sec, 180 secs
lola: 7778053 markings, 88082397 edges, 34502 markings/sec, 185 secs
lola: 7948005 markings, 90361375 edges, 33990 markings/sec, 190 secs
lola: 8103227 markings, 92556220 edges, 31044 markings/sec, 195 secs
lola: 8255996 markings, 94709401 edges, 30554 markings/sec, 200 secs
lola: 8420644 markings, 96889534 edges, 32930 markings/sec, 205 secs
lola: 8588145 markings, 99109031 edges, 33500 markings/sec, 210 secs
lola: 8753416 markings, 101270089 edges, 33054 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(T36)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 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: 371176 markings, 2606926 edges, 74235 markings/sec, 0 secs
lola: 686380 markings, 5146399 edges, 63041 markings/sec, 5 secs
lola: 970179 markings, 7662074 edges, 56760 markings/sec, 10 secs
lola: 1257764 markings, 10143306 edges, 57517 markings/sec, 15 secs
lola: 1510444 markings, 12627078 edges, 50536 markings/sec, 20 secs
lola: 1750379 markings, 15121627 edges, 47987 markings/sec, 25 secs
lola: 1989559 markings, 17511254 edges, 47836 markings/sec, 30 secs
lola: 2212321 markings, 19894052 edges, 44552 markings/sec, 35 secs
lola: 2427518 markings, 22262405 edges, 43039 markings/sec, 40 secs
lola: 2630954 markings, 24556126 edges, 40687 markings/sec, 45 secs
lola: 2838505 markings, 26894809 edges, 41510 markings/sec, 50 secs
lola: 3057522 markings, 29224430 edges, 43803 markings/sec, 55 secs
lola: 3288441 markings, 31541835 edges, 46184 markings/sec, 60 secs
lola: 3495860 markings, 33884894 edges, 41484 markings/sec, 65 secs
lola: 3700720 markings, 36178668 edges, 40972 markings/sec, 70 secs
lola: 3899366 markings, 38524290 edges, 39729 markings/sec, 75 secs
lola: 4088874 markings, 40789477 edges, 37902 markings/sec, 80 secs
lola: 4273531 markings, 43020826 edges, 36931 markings/sec, 85 secs
lola: 4470101 markings, 45336224 edges, 39314 markings/sec, 90 secs
lola: 4652474 markings, 47611300 edges, 36475 markings/sec, 95 secs
lola: 4838143 markings, 49861216 edges, 37134 markings/sec, 100 secs
lola: 5041447 markings, 52197100 edges, 40661 markings/sec, 105 secs
lola: 5230460 markings, 54518467 edges, 37803 markings/sec, 110 secs
lola: 5420238 markings, 56842735 edges, 37956 markings/sec, 115 secs
lola: 5593363 markings, 59129269 edges, 34625 markings/sec, 120 secs
lola: 5763372 markings, 61358088 edges, 34002 markings/sec, 125 secs
lola: 5934063 markings, 63558684 edges, 34138 markings/sec, 130 secs
lola: 6094221 markings, 65749385 edges, 32032 markings/sec, 135 secs
lola: 6253689 markings, 67934907 edges, 31894 markings/sec, 140 secs
lola: 6410991 markings, 70065783 edges, 31460 markings/sec, 145 secs
lola: 6576080 markings, 72248719 edges, 33018 markings/sec, 150 secs
lola: 6730670 markings, 74411637 edges, 30918 markings/sec, 155 secs
lola: 6898489 markings, 76649723 edges, 33564 markings/sec, 160 secs
lola: 7068862 markings, 78805219 edges, 34075 markings/sec, 165 secs
lola: 7258873 markings, 81034688 edges, 38002 markings/sec, 170 secs
lola: 7443844 markings, 83286735 edges, 36994 markings/sec, 175 secs
lola: 7617327 markings, 85494532 edges, 34697 markings/sec, 180 secs
lola: 7778146 markings, 87671941 edges, 32164 markings/sec, 185 secs
lola: 7932726 markings, 89839903 edges, 30916 markings/sec, 190 secs
lola: 8096633 markings, 92013669 edges, 32781 markings/sec, 195 secs
lola: 8260531 markings, 94261657 edges, 32780 markings/sec, 200 secs
lola: 8415772 markings, 96436002 edges, 31048 markings/sec, 205 secs
lola: 8570562 markings, 98564279 edges, 30958 markings/sec, 210 secs
lola: 8719641 markings, 100729111 edges, 29816 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(F24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 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: 348702 markings, 2436298 edges, 69740 markings/sec, 0 secs
lola: 641009 markings, 4901867 edges, 58461 markings/sec, 5 secs
lola: 924442 markings, 7426443 edges, 56687 markings/sec, 10 secs
lola: 1172287 markings, 9826839 edges, 49569 markings/sec, 15 secs
lola: 1414213 markings, 12260963 edges, 48385 markings/sec, 20 secs
lola: 1614735 markings, 14546909 edges, 40104 markings/sec, 25 secs
lola: 1837910 markings, 16944288 edges, 44635 markings/sec, 30 secs
lola: 2059348 markings, 19272835 edges, 44288 markings/sec, 35 secs
lola: 2293425 markings, 21628019 edges, 46815 markings/sec, 40 secs
lola: 2511658 markings, 23994481 edges, 43647 markings/sec, 45 secs
lola: 2726454 markings, 26269075 edges, 42959 markings/sec, 50 secs
lola: 2932392 markings, 28632324 edges, 41188 markings/sec, 55 secs
lola: 3132432 markings, 30901754 edges, 40008 markings/sec, 60 secs
lola: 3354833 markings, 33240887 edges, 44480 markings/sec, 65 secs
lola: 3544424 markings, 35520903 edges, 37918 markings/sec, 70 secs
lola: 3717352 markings, 37757416 edges, 34586 markings/sec, 75 secs
lola: 3903806 markings, 40004990 edges, 37291 markings/sec, 80 secs
lola: 4088206 markings, 42272144 edges, 36880 markings/sec, 85 secs
lola: 4270194 markings, 44593991 edges, 36398 markings/sec, 90 secs
lola: 4434021 markings, 46895514 edges, 32765 markings/sec, 95 secs
lola: 4635931 markings, 49227332 edges, 40382 markings/sec, 100 secs
lola: 4802515 markings, 51472397 edges, 33317 markings/sec, 105 secs
lola: 4948883 markings, 53585329 edges, 29274 markings/sec, 110 secs
lola: 5152062 markings, 55938591 edges, 40636 markings/sec, 115 secs
lola: 5322716 markings, 58161897 edges, 34131 markings/sec, 120 secs
lola: 5524580 markings, 60586078 edges, 40373 markings/sec, 125 secs
lola: 5701565 markings, 62889950 edges, 35397 markings/sec, 130 secs
lola: 5856891 markings, 65140208 edges, 31065 markings/sec, 135 secs
lola: 6023441 markings, 67401686 edges, 33310 markings/sec, 140 secs
lola: 6220646 markings, 69702459 edges, 39441 markings/sec, 145 secs
lola: 6412100 markings, 71981557 edges, 38291 markings/sec, 150 secs
lola: 6620581 markings, 74332729 edges, 41696 markings/sec, 155 secs
lola: 6817139 markings, 76689713 edges, 39312 markings/sec, 160 secs
lola: 6997331 markings, 78988737 edges, 36038 markings/sec, 165 secs
lola: 7162967 markings, 81207434 edges, 33127 markings/sec, 170 secs
lola: 7328918 markings, 83439578 edges, 33190 markings/sec, 175 secs
lola: 7484619 markings, 85643630 edges, 31140 markings/sec, 180 secs
lola: 7634665 markings, 87841217 edges, 30009 markings/sec, 185 secs
lola: 7815513 markings, 90135753 edges, 36170 markings/sec, 190 secs
lola: 7995935 markings, 92487167 edges, 36084 markings/sec, 195 secs
lola: 8150098 markings, 94662541 edges, 30833 markings/sec, 200 secs
lola: 8291450 markings, 96798571 edges, 28270 markings/sec, 205 secs
lola: 8464422 markings, 99064858 edges, 34594 markings/sec, 210 secs
lola: 8610983 markings, 101251808 edges, 29312 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(T45)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 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: 359552 markings, 2547605 edges, 71910 markings/sec, 0 secs
lola: 647030 markings, 5067816 edges, 57496 markings/sec, 5 secs
lola: 913275 markings, 7491156 edges, 53249 markings/sec, 10 secs
lola: 1152127 markings, 9918184 edges, 47770 markings/sec, 15 secs
lola: 1400061 markings, 12390882 edges, 49587 markings/sec, 20 secs
lola: 1625355 markings, 14726472 edges, 45059 markings/sec, 25 secs
lola: 1850173 markings, 17103742 edges, 44964 markings/sec, 30 secs
lola: 2050908 markings, 19367196 edges, 40147 markings/sec, 35 secs
lola: 2245157 markings, 21697214 edges, 38850 markings/sec, 40 secs
lola: 2465638 markings, 24062624 edges, 44096 markings/sec, 45 secs
lola: 2686110 markings, 26423710 edges, 44094 markings/sec, 50 secs
lola: 2894938 markings, 28748509 edges, 41766 markings/sec, 55 secs
lola: 3093488 markings, 31122094 edges, 39710 markings/sec, 60 secs
lola: 3310205 markings, 33512614 edges, 43343 markings/sec, 65 secs
lola: 3511266 markings, 35799064 edges, 40212 markings/sec, 70 secs
lola: 3702231 markings, 38025909 edges, 38193 markings/sec, 75 secs
lola: 3894791 markings, 40246453 edges, 38512 markings/sec, 80 secs
lola: 4079403 markings, 42471972 edges, 36922 markings/sec, 85 secs
lola: 4263356 markings, 44689147 edges, 36791 markings/sec, 90 secs
lola: 4431613 markings, 46889544 edges, 33651 markings/sec, 95 secs
lola: 4602799 markings, 49149927 edges, 34237 markings/sec, 100 secs
lola: 4766415 markings, 51288667 edges, 32723 markings/sec, 105 secs
lola: 4967414 markings, 53557348 edges, 40200 markings/sec, 110 secs
lola: 5145680 markings, 55742167 edges, 35653 markings/sec, 115 secs
lola: 5321969 markings, 57897314 edges, 35258 markings/sec, 120 secs
lola: 5486604 markings, 60033374 edges, 32927 markings/sec, 125 secs
lola: 5701803 markings, 62419813 edges, 43040 markings/sec, 130 secs
lola: 5906338 markings, 64753397 edges, 40907 markings/sec, 135 secs
lola: 6091705 markings, 67019758 edges, 37073 markings/sec, 140 secs
lola: 6283587 markings, 69313385 edges, 38376 markings/sec, 145 secs
lola: 6468063 markings, 71620824 edges, 36895 markings/sec, 150 secs
lola: 6645361 markings, 73862423 edges, 35460 markings/sec, 155 secs
lola: 6819842 markings, 76075491 edges, 34896 markings/sec, 160 secs
lola: 7005550 markings, 78386030 edges, 37142 markings/sec, 165 secs
lola: 7184766 markings, 80654128 edges, 35843 markings/sec, 170 secs
lola: 7361639 markings, 82810377 edges, 35375 markings/sec, 175 secs
lola: 7523075 markings, 84908973 edges, 32287 markings/sec, 180 secs
lola: 7676105 markings, 86982959 edges, 30606 markings/sec, 185 secs
lola: 7830345 markings, 89052208 edges, 30848 markings/sec, 190 secs
lola: 8001813 markings, 91195843 edges, 34294 markings/sec, 195 secs
lola: 8167349 markings, 93318622 edges, 33107 markings/sec, 200 secs
lola: 8325317 markings, 95511854 edges, 31594 markings/sec, 205 secs
lola: 8471833 markings, 97622732 edges, 29303 markings/sec, 210 secs
lola: 8644122 markings, 99668337 edges, 34458 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(T65)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 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: 362296 markings, 2598013 edges, 72459 markings/sec, 0 secs
lola: 644743 markings, 5036651 edges, 56489 markings/sec, 5 secs
lola: 906316 markings, 7483159 edges, 52315 markings/sec, 10 secs
lola: 1152964 markings, 9939946 edges, 49330 markings/sec, 15 secs
lola: 1378912 markings, 12336763 edges, 45190 markings/sec, 20 secs
lola: 1608554 markings, 14689376 edges, 45928 markings/sec, 25 secs
lola: 1820294 markings, 16873207 edges, 42348 markings/sec, 30 secs
lola: 2014574 markings, 19032431 edges, 38856 markings/sec, 35 secs
lola: 2214191 markings, 21285468 edges, 39923 markings/sec, 40 secs
lola: 2413043 markings, 23584116 edges, 39770 markings/sec, 45 secs
lola: 2603403 markings, 25821946 edges, 38072 markings/sec, 50 secs
lola: 2812649 markings, 28027034 edges, 41849 markings/sec, 55 secs
lola: 3011689 markings, 30240137 edges, 39808 markings/sec, 60 secs
lola: 3203191 markings, 32377703 edges, 38300 markings/sec, 65 secs
lola: 3373291 markings, 34538884 edges, 34020 markings/sec, 70 secs
lola: 3542166 markings, 36634756 edges, 33775 markings/sec, 75 secs
lola: 3706734 markings, 38764272 edges, 32914 markings/sec, 80 secs
lola: 3879582 markings, 40895523 edges, 34570 markings/sec, 85 secs
lola: 4102948 markings, 42962838 edges, 44673 markings/sec, 90 secs
lola: 4308960 markings, 45028403 edges, 41202 markings/sec, 95 secs
lola: 4497093 markings, 47030372 edges, 37627 markings/sec, 100 secs
lola: 4684540 markings, 48997435 edges, 37489 markings/sec, 105 secs
lola: 4876178 markings, 51030722 edges, 38328 markings/sec, 110 secs
lola: 5049726 markings, 52968096 edges, 34710 markings/sec, 115 secs
lola: 5216417 markings, 54896808 edges, 33338 markings/sec, 120 secs
lola: 5378903 markings, 56870198 edges, 32497 markings/sec, 125 secs
lola: 5533721 markings, 58822654 edges, 30964 markings/sec, 130 secs
lola: 5700464 markings, 60897527 edges, 33349 markings/sec, 135 secs
lola: 5860626 markings, 62977776 edges, 32032 markings/sec, 140 secs
lola: 6014609 markings, 65097222 edges, 30797 markings/sec, 145 secs
lola: 6161885 markings, 67090493 edges, 29455 markings/sec, 150 secs
lola: 6312829 markings, 69090519 edges, 30189 markings/sec, 155 secs
lola: 6453353 markings, 71035323 edges, 28105 markings/sec, 160 secs
lola: 6603101 markings, 73089689 edges, 29950 markings/sec, 165 secs
lola: 6749807 markings, 75149736 edges, 29341 markings/sec, 170 secs
lola: 6886560 markings, 77136558 edges, 27351 markings/sec, 175 secs
lola: 7037582 markings, 79137605 edges, 30204 markings/sec, 180 secs
lola: 7180917 markings, 81166558 edges, 28667 markings/sec, 185 secs
lola: 7321673 markings, 83134647 edges, 28151 markings/sec, 190 secs
lola: 7455345 markings, 85052327 edges, 26734 markings/sec, 195 secs
lola: 7594512 markings, 86982228 edges, 27833 markings/sec, 200 secs
lola: 7728859 markings, 88907637 edges, 26869 markings/sec, 205 secs
lola: 7862599 markings, 90839693 edges, 26748 markings/sec, 210 secs
lola: 7993636 markings, 92782197 edges, 26207 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(T43)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 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: 347526 markings, 2459730 edges, 69505 markings/sec, 0 secs
lola: 612632 markings, 4812659 edges, 53021 markings/sec, 5 secs
lola: 863028 markings, 7209306 edges, 50079 markings/sec, 10 secs
lola: 1125894 markings, 9616433 edges, 52573 markings/sec, 15 secs
lola: 1357206 markings, 11941786 edges, 46262 markings/sec, 20 secs
lola: 1584382 markings, 14319031 edges, 45435 markings/sec, 25 secs
lola: 1796820 markings, 16583396 edges, 42488 markings/sec, 30 secs
lola: 2001290 markings, 18785915 edges, 40894 markings/sec, 35 secs
lola: 2220783 markings, 21081981 edges, 43899 markings/sec, 40 secs
lola: 2423684 markings, 23350881 edges, 40580 markings/sec, 45 secs
lola: 2610628 markings, 25579212 edges, 37389 markings/sec, 50 secs
lola: 2799724 markings, 27801806 edges, 37819 markings/sec, 55 secs
lola: 3011618 markings, 30133717 edges, 42379 markings/sec, 60 secs
lola: 3241663 markings, 32511162 edges, 46009 markings/sec, 65 secs
lola: 3442542 markings, 34850589 edges, 40176 markings/sec, 70 secs
lola: 3645687 markings, 37159894 edges, 40629 markings/sec, 75 secs
lola: 3846278 markings, 39392395 edges, 40118 markings/sec, 80 secs
lola: 4039115 markings, 41620735 edges, 38567 markings/sec, 85 secs
lola: 4228057 markings, 43881463 edges, 37788 markings/sec, 90 secs
lola: 4405461 markings, 46103916 edges, 35481 markings/sec, 95 secs
lola: 4588325 markings, 48371896 edges, 36573 markings/sec, 100 secs
lola: 4759069 markings, 50625147 edges, 34149 markings/sec, 105 secs
lola: 4925200 markings, 52825675 edges, 33226 markings/sec, 110 secs
lola: 5108874 markings, 54999126 edges, 36735 markings/sec, 115 secs
lola: 5285895 markings, 57149998 edges, 35404 markings/sec, 120 secs
lola: 5450787 markings, 59331783 edges, 32978 markings/sec, 125 secs
lola: 5615567 markings, 61469711 edges, 32956 markings/sec, 130 secs
lola: 5775637 markings, 63629755 edges, 32014 markings/sec, 135 secs
lola: 5937871 markings, 65748931 edges, 32447 markings/sec, 140 secs
lola: 6124687 markings, 67953541 edges, 37363 markings/sec, 145 secs
lola: 6296281 markings, 70144139 edges, 34319 markings/sec, 150 secs
lola: 6473908 markings, 72412790 edges, 35525 markings/sec, 155 secs
lola: 6644770 markings, 74623834 edges, 34172 markings/sec, 160 secs
lola: 6808789 markings, 76766239 edges, 32804 markings/sec, 165 secs
lola: 6976308 markings, 78970317 edges, 33504 markings/sec, 170 secs
lola: 7136555 markings, 81157746 edges, 32049 markings/sec, 175 secs
lola: 7297293 markings, 83385851 edges, 32148 markings/sec, 180 secs
lola: 7432253 markings, 85484461 edges, 26992 markings/sec, 185 secs
lola: 7583264 markings, 87608740 edges, 30202 markings/sec, 190 secs
lola: 7754280 markings, 89727624 edges, 34203 markings/sec, 195 secs
lola: 7912561 markings, 91866914 edges, 31656 markings/sec, 200 secs
lola: 8080223 markings, 94039235 edges, 33532 markings/sec, 205 secs
lola: 8251838 markings, 96274031 edges, 34323 markings/sec, 210 secs
lola: 8409277 markings, 98458338 edges, 31488 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(T45)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 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: 360603 markings, 2556762 edges, 72121 markings/sec, 0 secs
lola: 647375 markings, 5071495 edges, 57354 markings/sec, 5 secs
lola: 913710 markings, 7495939 edges, 53267 markings/sec, 10 secs
lola: 1152719 markings, 9923259 edges, 47802 markings/sec, 15 secs
lola: 1403798 markings, 12425329 edges, 50216 markings/sec, 20 secs
lola: 1632596 markings, 14791986 edges, 45760 markings/sec, 25 secs
lola: 1858556 markings, 17194267 edges, 45192 markings/sec, 30 secs
lola: 2062694 markings, 19503606 edges, 40828 markings/sec, 35 secs
lola: 2258727 markings, 21866498 edges, 39207 markings/sec, 40 secs
lola: 2485698 markings, 24276790 edges, 45394 markings/sec, 45 secs
lola: 2704036 markings, 26633427 edges, 43668 markings/sec, 50 secs
lola: 2913562 markings, 28960196 edges, 41905 markings/sec, 55 secs
lola: 3115374 markings, 31343647 edges, 40362 markings/sec, 60 secs
lola: 3330010 markings, 33745041 edges, 42927 markings/sec, 65 secs
lola: 3530107 markings, 36029217 edges, 40019 markings/sec, 70 secs
lola: 3726972 markings, 38262522 edges, 39373 markings/sec, 75 secs
lola: 3913462 markings, 40479120 edges, 37298 markings/sec, 80 secs
lola: 4100827 markings, 42729238 edges, 37473 markings/sec, 85 secs
lola: 4282841 markings, 44938164 edges, 36403 markings/sec, 90 secs
lola: 4447798 markings, 47115465 edges, 32991 markings/sec, 95 secs
lola: 4620547 markings, 49367237 edges, 34550 markings/sec, 100 secs
lola: 4783673 markings, 51494355 edges, 32625 markings/sec, 105 secs
lola: 4984692 markings, 53750609 edges, 40204 markings/sec, 110 secs
lola: 5158529 markings, 55913659 edges, 34767 markings/sec, 115 secs
lola: 5334368 markings, 58047238 edges, 35168 markings/sec, 120 secs
lola: 5496992 markings, 60175219 edges, 32525 markings/sec, 125 secs
lola: 5715288 markings, 62567569 edges, 43659 markings/sec, 130 secs
lola: 5916162 markings, 64870126 edges, 40175 markings/sec, 135 secs
lola: 6097678 markings, 67100641 edges, 36303 markings/sec, 140 secs
lola: 6287269 markings, 69360131 edges, 37918 markings/sec, 145 secs
lola: 6468554 markings, 71627086 edges, 36257 markings/sec, 150 secs
lola: 6642713 markings, 73828719 edges, 34832 markings/sec, 155 secs
lola: 6813398 markings, 76002743 edges, 34137 markings/sec, 160 secs
lola: 6996395 markings, 78270352 edges, 36599 markings/sec, 165 secs
lola: 7173418 markings, 80505659 edges, 35405 markings/sec, 170 secs
lola: 7347567 markings, 82637483 edges, 34830 markings/sec, 175 secs
lola: 7508112 markings, 84706856 edges, 32109 markings/sec, 180 secs
lola: 7657683 markings, 86759283 edges, 29914 markings/sec, 185 secs
lola: 7811280 markings, 88794147 edges, 30719 markings/sec, 190 secs
lola: 7978083 markings, 90888536 edges, 33361 markings/sec, 195 secs
lola: 8143360 markings, 92980333 edges, 33055 markings/sec, 200 secs
lola: 8297614 markings, 95125038 edges, 30851 markings/sec, 205 secs
lola: 8444534 markings, 97220897 edges, 29384 markings/sec, 210 secs
lola: 8611108 markings, 99260133 edges, 33315 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(F64)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 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: 361898 markings, 2486155 edges, 72380 markings/sec, 0 secs
lola: 630697 markings, 4904495 edges, 53760 markings/sec, 5 secs
lola: 873845 markings, 7242818 edges, 48630 markings/sec, 10 secs
lola: 1116104 markings, 9489692 edges, 48452 markings/sec, 15 secs
lola: 1328515 markings, 11766258 edges, 42482 markings/sec, 20 secs
lola: 1538464 markings, 14042190 edges, 41990 markings/sec, 25 secs
lola: 1735074 markings, 16186415 edges, 39322 markings/sec, 30 secs
lola: 1954668 markings, 18361597 edges, 43919 markings/sec, 35 secs
lola: 2175428 markings, 20541769 edges, 44152 markings/sec, 40 secs
lola: 2379864 markings, 22667346 edges, 40887 markings/sec, 45 secs
lola: 2583154 markings, 24749689 edges, 40658 markings/sec, 50 secs
lola: 2776280 markings, 26897903 edges, 38625 markings/sec, 55 secs
lola: 2959752 markings, 29006797 edges, 36694 markings/sec, 60 secs
lola: 3137889 markings, 31025744 edges, 35627 markings/sec, 65 secs
lola: 3335677 markings, 33132650 edges, 39558 markings/sec, 70 secs
lola: 3533004 markings, 35174360 edges, 39465 markings/sec, 75 secs
lola: 3717820 markings, 37238036 edges, 36963 markings/sec, 80 secs
lola: 3895989 markings, 39360065 edges, 35634 markings/sec, 85 secs
lola: 4069738 markings, 41533604 edges, 34750 markings/sec, 90 secs
lola: 4227406 markings, 43588452 edges, 31534 markings/sec, 95 secs
lola: 4383669 markings, 45656715 edges, 31253 markings/sec, 100 secs
lola: 4533420 markings, 47671675 edges, 29950 markings/sec, 105 secs
lola: 4684722 markings, 49726521 edges, 30260 markings/sec, 110 secs
lola: 4844961 markings, 51763643 edges, 32048 markings/sec, 115 secs
lola: 4987303 markings, 53809161 edges, 28468 markings/sec, 120 secs
lola: 5142827 markings, 55793758 edges, 31105 markings/sec, 125 secs
lola: 5286418 markings, 57835054 edges, 28718 markings/sec, 130 secs
lola: 5458962 markings, 59841053 edges, 34509 markings/sec, 135 secs
lola: 5609204 markings, 61801664 edges, 30048 markings/sec, 140 secs
lola: 5747953 markings, 63776142 edges, 27750 markings/sec, 145 secs
lola: 5886424 markings, 65713745 edges, 27694 markings/sec, 150 secs
lola: 6033163 markings, 67595108 edges, 29348 markings/sec, 155 secs
lola: 6197936 markings, 69485867 edges, 32955 markings/sec, 160 secs
lola: 6348421 markings, 71314392 edges, 30097 markings/sec, 165 secs
lola: 6503706 markings, 73182200 edges, 31057 markings/sec, 170 secs
lola: 6650327 markings, 75040437 edges, 29324 markings/sec, 175 secs
lola: 6820171 markings, 77006714 edges, 33969 markings/sec, 180 secs
lola: 6966270 markings, 78915858 edges, 29220 markings/sec, 185 secs
lola: 7119815 markings, 80866171 edges, 30709 markings/sec, 190 secs
lola: 7262277 markings, 82764197 edges, 28492 markings/sec, 195 secs
lola: 7402861 markings, 84636932 edges, 28117 markings/sec, 200 secs
lola: 7534390 markings, 86517984 edges, 26306 markings/sec, 205 secs
lola: 7671978 markings, 88407137 edges, 27518 markings/sec, 210 secs
lola: 7811950 markings, 90274783 edges, 27994 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(T45)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 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: 357819 markings, 2531610 edges, 71564 markings/sec, 0 secs
lola: 641570 markings, 5016861 edges, 56750 markings/sec, 5 secs
lola: 904673 markings, 7407107 edges, 52621 markings/sec, 10 secs
lola: 1138550 markings, 9783698 edges, 46775 markings/sec, 15 secs
lola: 1380376 markings, 12205002 edges, 48365 markings/sec, 20 secs
lola: 1600228 markings, 14498268 edges, 43970 markings/sec, 25 secs
lola: 1830111 markings, 16861143 edges, 45977 markings/sec, 30 secs
lola: 2029284 markings, 19125860 edges, 39835 markings/sec, 35 secs
lola: 2226238 markings, 21469336 edges, 39391 markings/sec, 40 secs
lola: 2443237 markings, 23817481 edges, 43400 markings/sec, 45 secs
lola: 2662952 markings, 26170294 edges, 43943 markings/sec, 50 secs
lola: 2873101 markings, 28490611 edges, 42030 markings/sec, 55 secs
lola: 3070657 markings, 30847859 edges, 39511 markings/sec, 60 secs
lola: 3284161 markings, 33221731 edges, 42701 markings/sec, 65 secs
lola: 3488137 markings, 35516645 edges, 40795 markings/sec, 70 secs
lola: 3671753 markings, 37731303 edges, 36723 markings/sec, 75 secs
lola: 3868747 markings, 39936227 edges, 39399 markings/sec, 80 secs
lola: 4054410 markings, 42144077 edges, 37133 markings/sec, 85 secs
lola: 4234429 markings, 44324033 edges, 36004 markings/sec, 90 secs
lola: 4404878 markings, 46524591 edges, 34090 markings/sec, 95 secs
lola: 4574744 markings, 48747397 edges, 33973 markings/sec, 100 secs
lola: 4737217 markings, 50892212 edges, 32495 markings/sec, 105 secs
lola: 4922026 markings, 53102534 edges, 36962 markings/sec, 110 secs
lola: 5112077 markings, 55318495 edges, 38010 markings/sec, 115 secs
lola: 5285601 markings, 57456776 edges, 34705 markings/sec, 120 secs
lola: 5454230 markings, 59580125 edges, 33726 markings/sec, 125 secs
lola: 5656514 markings, 61898838 edges, 40457 markings/sec, 130 secs
lola: 5862839 markings, 64249084 edges, 41265 markings/sec, 135 secs
lola: 6052786 markings, 66525823 edges, 37989 markings/sec, 140 secs
lola: 6245165 markings, 68840396 edges, 38476 markings/sec, 145 secs
lola: 6433128 markings, 71165088 edges, 37593 markings/sec, 150 secs
lola: 6614142 markings, 73442445 edges, 36203 markings/sec, 155 secs
lola: 6780415 markings, 75635036 edges, 33255 markings/sec, 160 secs
lola: 6971038 markings, 77945850 edges, 38125 markings/sec, 165 secs
lola: 7154604 markings, 80253300 edges, 36713 markings/sec, 170 secs
lola: 7332599 markings, 82452040 edges, 35599 markings/sec, 175 secs
lola: 7498926 markings, 84582225 edges, 33265 markings/sec, 180 secs
lola: 7651618 markings, 86678968 edges, 30538 markings/sec, 185 secs
lola: 7810381 markings, 88782178 edges, 31753 markings/sec, 190 secs
lola: 7981566 markings, 90932184 edges, 34237 markings/sec, 195 secs
lola: 8150797 markings, 93082739 edges, 33846 markings/sec, 200 secs
lola: 8307429 markings, 95269947 edges, 31326 markings/sec, 205 secs
lola: 8453792 markings, 97355943 edges, 29273 markings/sec, 210 secs
lola: 8621868 markings, 99388376 edges, 33615 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(F34)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 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: 370331 markings, 2584300 edges, 74066 markings/sec, 0 secs
lola: 676393 markings, 5148888 edges, 61212 markings/sec, 5 secs
lola: 976780 markings, 7635919 edges, 60077 markings/sec, 10 secs
lola: 1254995 markings, 10104583 edges, 55643 markings/sec, 15 secs
lola: 1519948 markings, 12639485 edges, 52991 markings/sec, 20 secs
lola: 1758676 markings, 15125425 edges, 47746 markings/sec, 25 secs
lola: 1991036 markings, 17616705 edges, 46472 markings/sec, 30 secs
lola: 2238264 markings, 20086286 edges, 49446 markings/sec, 35 secs
lola: 2454792 markings, 22476392 edges, 43306 markings/sec, 40 secs
lola: 2683237 markings, 24848012 edges, 45689 markings/sec, 45 secs
lola: 2904259 markings, 27248201 edges, 44204 markings/sec, 50 secs
lola: 3113525 markings, 29639882 edges, 41853 markings/sec, 55 secs
lola: 3316734 markings, 32013504 edges, 40642 markings/sec, 60 secs
lola: 3533572 markings, 34378279 edges, 43368 markings/sec, 65 secs
lola: 3740342 markings, 36729116 edges, 41354 markings/sec, 70 secs
lola: 3944736 markings, 39075861 edges, 40879 markings/sec, 75 secs
lola: 4149181 markings, 41491929 edges, 40889 markings/sec, 80 secs
lola: 4345086 markings, 43900032 edges, 39181 markings/sec, 85 secs
lola: 4544489 markings, 46269290 edges, 39881 markings/sec, 90 secs
lola: 4741244 markings, 48626000 edges, 39351 markings/sec, 95 secs
lola: 4935824 markings, 50995732 edges, 38916 markings/sec, 100 secs
lola: 5129310 markings, 53364710 edges, 38697 markings/sec, 105 secs
lola: 5309956 markings, 55682730 edges, 36129 markings/sec, 110 secs
lola: 5492453 markings, 58049679 edges, 36499 markings/sec, 115 secs
lola: 5700610 markings, 60482571 edges, 41631 markings/sec, 120 secs
lola: 5893717 markings, 62871693 edges, 38621 markings/sec, 125 secs
lola: 6068003 markings, 65113568 edges, 34857 markings/sec, 130 secs
lola: 6246804 markings, 67354940 edges, 35760 markings/sec, 135 secs
lola: 6417847 markings, 69623989 edges, 34209 markings/sec, 140 secs
lola: 6588319 markings, 71860922 edges, 34094 markings/sec, 145 secs
lola: 6755077 markings, 74141324 edges, 33352 markings/sec, 150 secs
lola: 6923065 markings, 76384043 edges, 33598 markings/sec, 155 secs
lola: 7093004 markings, 78658065 edges, 33988 markings/sec, 160 secs
lola: 7260735 markings, 80915951 edges, 33546 markings/sec, 165 secs
lola: 7419226 markings, 83156883 edges, 31698 markings/sec, 170 secs
lola: 7615746 markings, 85517323 edges, 39304 markings/sec, 175 secs
lola: 7817935 markings, 87891410 edges, 40438 markings/sec, 180 secs
lola: 8000855 markings, 90243608 edges, 36584 markings/sec, 185 secs
lola: 8171658 markings, 92542916 edges, 34161 markings/sec, 190 secs
lola: 8340235 markings, 94797643 edges, 33715 markings/sec, 195 secs
lola: 8506921 markings, 97086886 edges, 33337 markings/sec, 200 secs
lola: 8668046 markings, 99360267 edges, 32225 markings/sec, 205 secs
lola: 8833269 markings, 101669069 edges, 33045 markings/sec, 210 secs
lola: 8994773 markings, 103956802 edges, 32301 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(T33)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 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: 377448 markings, 2531263 edges, 75490 markings/sec, 0 secs
lola: 674437 markings, 5046163 edges, 59398 markings/sec, 5 secs
lola: 967220 markings, 7595278 edges, 58557 markings/sec, 10 secs
lola: 1224538 markings, 10067394 edges, 51464 markings/sec, 15 secs
lola: 1514977 markings, 12611953 edges, 58088 markings/sec, 20 secs
lola: 1751031 markings, 14908766 edges, 47211 markings/sec, 25 secs
lola: 1964415 markings, 17154871 edges, 42677 markings/sec, 30 secs
lola: 2178159 markings, 19438019 edges, 42749 markings/sec, 35 secs
lola: 2389605 markings, 21841956 edges, 42289 markings/sec, 40 secs
lola: 2606938 markings, 24260126 edges, 43467 markings/sec, 45 secs
lola: 2816840 markings, 26650112 edges, 41980 markings/sec, 50 secs
lola: 3046030 markings, 29041262 edges, 45838 markings/sec, 55 secs
lola: 3276721 markings, 31492299 edges, 46138 markings/sec, 60 secs
lola: 3507624 markings, 33910724 edges, 46181 markings/sec, 65 secs
lola: 3730789 markings, 36381222 edges, 44633 markings/sec, 70 secs
lola: 3923447 markings, 38714640 edges, 38532 markings/sec, 75 secs
lola: 4136934 markings, 41105285 edges, 42697 markings/sec, 80 secs
lola: 4343982 markings, 43467656 edges, 41410 markings/sec, 85 secs
lola: 4544950 markings, 45858580 edges, 40194 markings/sec, 90 secs
lola: 4741857 markings, 48217219 edges, 39381 markings/sec, 95 secs
lola: 4925386 markings, 50510197 edges, 36706 markings/sec, 100 secs
lola: 5115508 markings, 52839730 edges, 38024 markings/sec, 105 secs
lola: 5292848 markings, 55066806 edges, 35468 markings/sec, 110 secs
lola: 5468004 markings, 57327993 edges, 35031 markings/sec, 115 secs
lola: 5647491 markings, 59648063 edges, 35897 markings/sec, 120 secs
lola: 5839953 markings, 62045842 edges, 38492 markings/sec, 125 secs
lola: 6010005 markings, 64343545 edges, 34010 markings/sec, 130 secs
lola: 6185858 markings, 66632784 edges, 35171 markings/sec, 135 secs
lola: 6364016 markings, 68967118 edges, 35632 markings/sec, 140 secs
lola: 6538641 markings, 71252313 edges, 34925 markings/sec, 145 secs
lola: 6706919 markings, 73523280 edges, 33656 markings/sec, 150 secs
lola: 6875882 markings, 75811323 edges, 33793 markings/sec, 155 secs
lola: 7034636 markings, 78017636 edges, 31751 markings/sec, 160 secs
lola: 7208409 markings, 80310903 edges, 34755 markings/sec, 165 secs
lola: 7375260 markings, 82586250 edges, 33370 markings/sec, 170 secs
lola: 7550277 markings, 84878990 edges, 35003 markings/sec, 175 secs
lola: 7727799 markings, 87215748 edges, 35504 markings/sec, 180 secs
lola: 7896168 markings, 89532500 edges, 33674 markings/sec, 185 secs
lola: 8096464 markings, 91829507 edges, 40059 markings/sec, 190 secs
lola: 8290002 markings, 94139275 edges, 38708 markings/sec, 195 secs
lola: 8464927 markings, 96402336 edges, 34985 markings/sec, 200 secs
lola: 8629023 markings, 98618008 edges, 32819 markings/sec, 205 secs
lola: 8795281 markings, 100845841 edges, 33252 markings/sec, 210 secs
lola: 8962182 markings, 103102001 edges, 33380 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 Solitaire-PT-SqrNC5x5-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496564614799

--------------------
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-SqrNC5x5"
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-SqrNC5x5.tgz
mv S_Solitaire-PT-SqrNC5x5 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-SqrNC5x5, 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-149443464000110"
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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;