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

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

=== Now, execution of the tool begins

BK_START 1496560429156


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


checking for too many tokens
===========================================================================================
S_Solitaire-PT-SqrCT5x5: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_Solitaire-PT-SqrCT5x5 @ 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: 135/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 51 places, 84 transitions, 26 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 85 transition conflict sets
lola: TASK
lola: reading formula from Solitaire-PT-SqrCT5x5-UpperBounds.task
lola: MAX(F46) : MAX(F54) : MAX(T53) : MAX(T26) : MAX(T52) : MAX(T53) : MAX(T42) : MAX(F53) : MAX(T55) : MAX(T43) : MAX(F35) : MAX(F33) : MAX(T53) : MAX(F43) : MAX(T26) : MAX(T26)
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(F46)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 343250 markings, 1861728 edges, 68650 markings/sec, 0 secs
lola: 630949 markings, 3701958 edges, 57540 markings/sec, 5 secs
lola: 882625 markings, 5533867 edges, 50335 markings/sec, 10 secs
lola: 1133307 markings, 7297903 edges, 50136 markings/sec, 15 secs
lola: 1386667 markings, 9085876 edges, 50672 markings/sec, 20 secs
lola: 1642623 markings, 10935431 edges, 51191 markings/sec, 25 secs
lola: 1880291 markings, 12768235 edges, 47534 markings/sec, 30 secs
lola: 2100053 markings, 14600904 edges, 43952 markings/sec, 35 secs
lola: 2324101 markings, 16390933 edges, 44810 markings/sec, 40 secs
lola: 2540002 markings, 18216267 edges, 43180 markings/sec, 45 secs
lola: 2749304 markings, 19988169 edges, 41860 markings/sec, 50 secs
lola: 2979087 markings, 21708819 edges, 45957 markings/sec, 55 secs
lola: 3222647 markings, 23355110 edges, 48712 markings/sec, 60 secs
lola: 3441715 markings, 25042816 edges, 43814 markings/sec, 65 secs
lola: 3653673 markings, 26713246 edges, 42392 markings/sec, 70 secs
lola: 3855976 markings, 28366344 edges, 40461 markings/sec, 75 secs
lola: 4088427 markings, 30173835 edges, 46490 markings/sec, 80 secs
lola: 4299190 markings, 31909711 edges, 42153 markings/sec, 85 secs
lola: 4486454 markings, 33665024 edges, 37453 markings/sec, 90 secs
lola: 4688606 markings, 35459622 edges, 40430 markings/sec, 95 secs
lola: 4880059 markings, 37279103 edges, 38291 markings/sec, 100 secs
lola: 5067146 markings, 39009877 edges, 37417 markings/sec, 105 secs
lola: 5246892 markings, 40740150 edges, 35949 markings/sec, 110 secs
lola: 5431463 markings, 42557611 edges, 36914 markings/sec, 115 secs
lola: 5642961 markings, 44395465 edges, 42300 markings/sec, 120 secs
lola: 5841550 markings, 46219290 edges, 39718 markings/sec, 125 secs
lola: 6029469 markings, 48021816 edges, 37584 markings/sec, 130 secs
lola: 6214337 markings, 49767440 edges, 36974 markings/sec, 135 secs
lola: 6430052 markings, 51572078 edges, 43143 markings/sec, 140 secs
lola: 6616667 markings, 53317618 edges, 37323 markings/sec, 145 secs
lola: 6797965 markings, 54990816 edges, 36260 markings/sec, 150 secs
lola: 6969173 markings, 56701805 edges, 34242 markings/sec, 155 secs
lola: 7145062 markings, 58503480 edges, 35178 markings/sec, 160 secs
lola: 7323878 markings, 60269840 edges, 35763 markings/sec, 165 secs
lola: 7501762 markings, 61981808 edges, 35577 markings/sec, 170 secs
lola: 7689850 markings, 63635169 edges, 37618 markings/sec, 175 secs
lola: 7861105 markings, 65348724 edges, 34251 markings/sec, 180 secs
lola: 8054047 markings, 67034583 edges, 38588 markings/sec, 185 secs
lola: 8241055 markings, 68743238 edges, 37402 markings/sec, 190 secs
lola: 8416908 markings, 70392421 edges, 35171 markings/sec, 195 secs
lola: 8585910 markings, 72056346 edges, 33800 markings/sec, 200 secs
lola: 8787396 markings, 73724963 edges, 40297 markings/sec, 205 secs
lola: 8987064 markings, 75333188 edges, 39934 markings/sec, 210 secs
lola: 9183053 markings, 76972537 edges, 39198 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(F54)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 375817 markings, 1822349 edges, 75163 markings/sec, 0 secs
lola: 680675 markings, 3677464 edges, 60972 markings/sec, 5 secs
lola: 957153 markings, 5438899 edges, 55296 markings/sec, 10 secs
lola: 1233111 markings, 7142433 edges, 55192 markings/sec, 15 secs
lola: 1501350 markings, 8919013 edges, 53648 markings/sec, 20 secs
lola: 1758608 markings, 10626505 edges, 51452 markings/sec, 25 secs
lola: 1990307 markings, 12394912 edges, 46340 markings/sec, 30 secs
lola: 2199690 markings, 13923207 edges, 41877 markings/sec, 35 secs
lola: 2413181 markings, 15500873 edges, 42698 markings/sec, 40 secs
lola: 2660860 markings, 17184880 edges, 49536 markings/sec, 45 secs
lola: 2886629 markings, 18854884 edges, 45154 markings/sec, 50 secs
lola: 3079683 markings, 20328201 edges, 38611 markings/sec, 55 secs
lola: 3268058 markings, 21823901 edges, 37675 markings/sec, 60 secs
lola: 3452264 markings, 23324170 edges, 36841 markings/sec, 65 secs
lola: 3645837 markings, 24769298 edges, 38715 markings/sec, 70 secs
lola: 3844938 markings, 26319692 edges, 39820 markings/sec, 75 secs
lola: 4060301 markings, 27955517 edges, 43073 markings/sec, 80 secs
lola: 4262123 markings, 29553616 edges, 40364 markings/sec, 85 secs
lola: 4449167 markings, 31165850 edges, 37409 markings/sec, 90 secs
lola: 4637728 markings, 32816258 edges, 37712 markings/sec, 95 secs
lola: 4831640 markings, 34404791 edges, 38782 markings/sec, 100 secs
lola: 5016122 markings, 36015519 edges, 36896 markings/sec, 105 secs
lola: 5204617 markings, 37579393 edges, 37699 markings/sec, 110 secs
lola: 5384808 markings, 39151486 edges, 36038 markings/sec, 115 secs
lola: 5594309 markings, 40720828 edges, 41900 markings/sec, 120 secs
lola: 5790380 markings, 42353553 edges, 39214 markings/sec, 125 secs
lola: 5973946 markings, 43970344 edges, 36713 markings/sec, 130 secs
lola: 6168526 markings, 45547625 edges, 38916 markings/sec, 135 secs
lola: 6348551 markings, 47111522 edges, 36005 markings/sec, 140 secs
lola: 6533873 markings, 48666358 edges, 37064 markings/sec, 145 secs
lola: 6711963 markings, 50239785 edges, 35618 markings/sec, 150 secs
lola: 6893485 markings, 51791095 edges, 36304 markings/sec, 155 secs
lola: 7089860 markings, 53328041 edges, 39275 markings/sec, 160 secs
lola: 7271454 markings, 54936744 edges, 36319 markings/sec, 165 secs
lola: 7446159 markings, 56519894 edges, 34941 markings/sec, 170 secs
lola: 7616397 markings, 58078924 edges, 34048 markings/sec, 175 secs
lola: 7785480 markings, 59638199 edges, 33817 markings/sec, 180 secs
lola: 7953822 markings, 61170260 edges, 33668 markings/sec, 185 secs
lola: 8117719 markings, 62686841 edges, 32779 markings/sec, 190 secs
lola: 8280032 markings, 64234032 edges, 32463 markings/sec, 195 secs
lola: 8451382 markings, 65695969 edges, 34270 markings/sec, 200 secs
lola: 8610500 markings, 67175263 edges, 31824 markings/sec, 205 secs
lola: 8770837 markings, 68672876 edges, 32067 markings/sec, 210 secs
lola: 8970195 markings, 70292373 edges, 39872 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(T53)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 385935 markings, 1842851 edges, 77187 markings/sec, 0 secs
lola: 709468 markings, 3684112 edges, 64707 markings/sec, 5 secs
lola: 1030273 markings, 5594495 edges, 64161 markings/sec, 10 secs
lola: 1323760 markings, 7436791 edges, 58697 markings/sec, 15 secs
lola: 1594488 markings, 9328115 edges, 54146 markings/sec, 20 secs
lola: 1852324 markings, 11126468 edges, 51567 markings/sec, 25 secs
lola: 2104700 markings, 12853783 edges, 50475 markings/sec, 30 secs
lola: 2338624 markings, 14689635 edges, 46785 markings/sec, 35 secs
lola: 2577015 markings, 16449658 edges, 47678 markings/sec, 40 secs
lola: 2836002 markings, 18127285 edges, 51797 markings/sec, 45 secs
lola: 3070648 markings, 19820082 edges, 46929 markings/sec, 50 secs
lola: 3293380 markings, 21496565 edges, 44546 markings/sec, 55 secs
lola: 3506026 markings, 23202717 edges, 42529 markings/sec, 60 secs
lola: 3722406 markings, 24845427 edges, 43276 markings/sec, 65 secs
lola: 3938562 markings, 26545126 edges, 43231 markings/sec, 70 secs
lola: 4144125 markings, 28259066 edges, 41113 markings/sec, 75 secs
lola: 4369554 markings, 29895058 edges, 45086 markings/sec, 80 secs
lola: 4587982 markings, 31541636 edges, 43686 markings/sec, 85 secs
lola: 4775545 markings, 33082929 edges, 37513 markings/sec, 90 secs
lola: 4976286 markings, 34700570 edges, 40148 markings/sec, 95 secs
lola: 5160409 markings, 36319462 edges, 36825 markings/sec, 100 secs
lola: 5343815 markings, 37897212 edges, 36681 markings/sec, 105 secs
lola: 5536518 markings, 39523656 edges, 38541 markings/sec, 110 secs
lola: 5728892 markings, 41147420 edges, 38475 markings/sec, 115 secs
lola: 5908451 markings, 42803251 edges, 35912 markings/sec, 120 secs
lola: 6080187 markings, 44433441 edges, 34347 markings/sec, 125 secs
lola: 6260243 markings, 46035431 edges, 36011 markings/sec, 130 secs
lola: 6434483 markings, 47561453 edges, 34848 markings/sec, 135 secs
lola: 6629108 markings, 49199571 edges, 38925 markings/sec, 140 secs
lola: 6835656 markings, 50912228 edges, 41310 markings/sec, 145 secs
lola: 7027405 markings, 52601778 edges, 38350 markings/sec, 150 secs
lola: 7214766 markings, 54270080 edges, 37472 markings/sec, 155 secs
lola: 7421893 markings, 55908320 edges, 41425 markings/sec, 160 secs
lola: 7612347 markings, 57556250 edges, 38091 markings/sec, 165 secs
lola: 7790394 markings, 59181041 edges, 35609 markings/sec, 170 secs
lola: 7971727 markings, 60831971 edges, 36267 markings/sec, 175 secs
lola: 8174801 markings, 62474186 edges, 40615 markings/sec, 180 secs
lola: 8353424 markings, 64116378 edges, 35725 markings/sec, 185 secs
lola: 8532909 markings, 65796758 edges, 35897 markings/sec, 190 secs
lola: 8706058 markings, 67444421 edges, 34630 markings/sec, 195 secs
lola: 8889710 markings, 69068673 edges, 36730 markings/sec, 200 secs
lola: 9058972 markings, 70652161 edges, 33852 markings/sec, 205 secs
lola: 9243004 markings, 72265861 edges, 36806 markings/sec, 210 secs
lola: 9419360 markings, 73899887 edges, 35271 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(T26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 369481 markings, 1805241 edges, 73896 markings/sec, 0 secs
lola: 667761 markings, 3598847 edges, 59656 markings/sec, 5 secs
lola: 960545 markings, 5444106 edges, 58557 markings/sec, 10 secs
lola: 1233263 markings, 7293114 edges, 54544 markings/sec, 15 secs
lola: 1492595 markings, 9087122 edges, 51866 markings/sec, 20 secs
lola: 1738414 markings, 10854165 edges, 49164 markings/sec, 25 secs
lola: 2009048 markings, 12697110 edges, 54127 markings/sec, 30 secs
lola: 2252076 markings, 14515239 edges, 48606 markings/sec, 35 secs
lola: 2496711 markings, 16312017 edges, 48927 markings/sec, 40 secs
lola: 2747668 markings, 18084140 edges, 50191 markings/sec, 45 secs
lola: 2983132 markings, 19854194 edges, 47093 markings/sec, 50 secs
lola: 3202162 markings, 21649379 edges, 43806 markings/sec, 55 secs
lola: 3430628 markings, 23448113 edges, 45693 markings/sec, 60 secs
lola: 3639932 markings, 25266144 edges, 41861 markings/sec, 65 secs
lola: 3844511 markings, 27075277 edges, 40916 markings/sec, 70 secs
lola: 4039402 markings, 28833736 edges, 38978 markings/sec, 75 secs
lola: 4239214 markings, 30637349 edges, 39962 markings/sec, 80 secs
lola: 4433579 markings, 32516266 edges, 38873 markings/sec, 85 secs
lola: 4660822 markings, 34340173 edges, 45449 markings/sec, 90 secs
lola: 4858382 markings, 36112506 edges, 39512 markings/sec, 95 secs
lola: 5059737 markings, 37919315 edges, 40271 markings/sec, 100 secs
lola: 5256640 markings, 39689835 edges, 39381 markings/sec, 105 secs
lola: 5440559 markings, 41477920 edges, 36784 markings/sec, 110 secs
lola: 5640693 markings, 43268274 edges, 40027 markings/sec, 115 secs
lola: 5833749 markings, 45108629 edges, 38611 markings/sec, 120 secs
lola: 6036639 markings, 46822240 edges, 40578 markings/sec, 125 secs
lola: 6217463 markings, 48585942 edges, 36165 markings/sec, 130 secs
lola: 6431661 markings, 50336146 edges, 42840 markings/sec, 135 secs
lola: 6629273 markings, 52043203 edges, 39522 markings/sec, 140 secs
lola: 6807025 markings, 53793252 edges, 35550 markings/sec, 145 secs
lola: 7002302 markings, 55509475 edges, 39055 markings/sec, 150 secs
lola: 7179375 markings, 57228644 edges, 35415 markings/sec, 155 secs
lola: 7352647 markings, 58968001 edges, 34654 markings/sec, 160 secs
lola: 7552674 markings, 60673370 edges, 40005 markings/sec, 165 secs
lola: 7723719 markings, 62357333 edges, 34209 markings/sec, 170 secs
lola: 7929677 markings, 64098567 edges, 41192 markings/sec, 175 secs
lola: 8118913 markings, 65805243 edges, 37847 markings/sec, 180 secs
lola: 8303239 markings, 67551719 edges, 36865 markings/sec, 185 secs
lola: 8486869 markings, 69242503 edges, 36726 markings/sec, 190 secs
lola: 8672567 markings, 70956370 edges, 37140 markings/sec, 195 secs
lola: 8867667 markings, 72625217 edges, 39020 markings/sec, 200 secs
lola: 9047701 markings, 74321818 edges, 36007 markings/sec, 205 secs
lola: 9223056 markings, 76046028 edges, 35071 markings/sec, 210 secs
lola: 9395862 markings, 77726425 edges, 34561 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(T52)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 405591 markings, 1921463 edges, 81118 markings/sec, 0 secs
lola: 742322 markings, 3752339 edges, 67346 markings/sec, 5 secs
lola: 1039777 markings, 5572565 edges, 59491 markings/sec, 10 secs
lola: 1302143 markings, 7312986 edges, 52473 markings/sec, 15 secs
lola: 1584270 markings, 9024351 edges, 56425 markings/sec, 20 secs
lola: 1822630 markings, 10724390 edges, 47672 markings/sec, 25 secs
lola: 2068167 markings, 12411813 edges, 49107 markings/sec, 30 secs
lola: 2325130 markings, 14152996 edges, 51393 markings/sec, 35 secs
lola: 2575120 markings, 15850767 edges, 49998 markings/sec, 40 secs
lola: 2804803 markings, 17634802 edges, 45937 markings/sec, 45 secs
lola: 3031343 markings, 19357071 edges, 45308 markings/sec, 50 secs
lola: 3250824 markings, 21088672 edges, 43896 markings/sec, 55 secs
lola: 3469501 markings, 22794885 edges, 43735 markings/sec, 60 secs
lola: 3690400 markings, 24482789 edges, 44180 markings/sec, 65 secs
lola: 3898708 markings, 26171344 edges, 41662 markings/sec, 70 secs
lola: 4110768 markings, 27879683 edges, 42412 markings/sec, 75 secs
lola: 4312920 markings, 29597385 edges, 40430 markings/sec, 80 secs
lola: 4506870 markings, 31322885 edges, 38790 markings/sec, 85 secs
lola: 4720276 markings, 32985045 edges, 42681 markings/sec, 90 secs
lola: 4928580 markings, 34579143 edges, 41661 markings/sec, 95 secs
lola: 5140659 markings, 36200590 edges, 42416 markings/sec, 100 secs
lola: 5349992 markings, 37839135 edges, 41867 markings/sec, 105 secs
lola: 5547780 markings, 39457545 edges, 39558 markings/sec, 110 secs
lola: 5740676 markings, 41060221 edges, 38579 markings/sec, 115 secs
lola: 5934860 markings, 42710698 edges, 38837 markings/sec, 120 secs
lola: 6118417 markings, 44367251 edges, 36711 markings/sec, 125 secs
lola: 6295738 markings, 45994642 edges, 35464 markings/sec, 130 secs
lola: 6470948 markings, 47569628 edges, 35042 markings/sec, 135 secs
lola: 6654228 markings, 49123470 edges, 36656 markings/sec, 140 secs
lola: 6840353 markings, 50708651 edges, 37225 markings/sec, 145 secs
lola: 7023235 markings, 52287695 edges, 36576 markings/sec, 150 secs
lola: 7211438 markings, 53882621 edges, 37641 markings/sec, 155 secs
lola: 7416188 markings, 55500771 edges, 40950 markings/sec, 160 secs
lola: 7623391 markings, 57204242 edges, 41441 markings/sec, 165 secs
lola: 7818672 markings, 58923675 edges, 39056 markings/sec, 170 secs
lola: 8008949 markings, 60583988 edges, 38055 markings/sec, 175 secs
lola: 8196762 markings, 62128412 edges, 37563 markings/sec, 180 secs
lola: 8385623 markings, 63779698 edges, 37772 markings/sec, 185 secs
lola: 8563322 markings, 65440183 edges, 35540 markings/sec, 190 secs
lola: 8740234 markings, 67161336 edges, 35382 markings/sec, 195 secs
lola: 8916512 markings, 68862804 edges, 35256 markings/sec, 200 secs
lola: 9096315 markings, 70528716 edges, 35961 markings/sec, 205 secs
lola: 9273741 markings, 72242366 edges, 35485 markings/sec, 210 secs
lola: 9454821 markings, 73947738 edges, 36216 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(T53)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 362522 markings, 1723159 edges, 72504 markings/sec, 0 secs
lola: 660126 markings, 3416688 edges, 59521 markings/sec, 5 secs
lola: 970840 markings, 5218322 edges, 62143 markings/sec, 10 secs
lola: 1260827 markings, 7024327 edges, 57997 markings/sec, 15 secs
lola: 1537673 markings, 8887801 edges, 55369 markings/sec, 20 secs
lola: 1791402 markings, 10717780 edges, 50746 markings/sec, 25 secs
lola: 2045120 markings, 12431746 edges, 50744 markings/sec, 30 secs
lola: 2283843 markings, 14245251 edges, 47745 markings/sec, 35 secs
lola: 2520521 markings, 16020642 edges, 47336 markings/sec, 40 secs
lola: 2780489 markings, 17724617 edges, 51994 markings/sec, 45 secs
lola: 3018886 markings, 19416229 edges, 47679 markings/sec, 50 secs
lola: 3243448 markings, 21089728 edges, 44912 markings/sec, 55 secs
lola: 3455072 markings, 22800857 edges, 42325 markings/sec, 60 secs
lola: 3671708 markings, 24457147 edges, 43327 markings/sec, 65 secs
lola: 3889630 markings, 26138530 edges, 43584 markings/sec, 70 secs
lola: 4098837 markings, 27865062 edges, 41841 markings/sec, 75 secs
lola: 4315780 markings, 29547991 edges, 43389 markings/sec, 80 secs
lola: 4543436 markings, 31188811 edges, 45531 markings/sec, 85 secs
lola: 4733816 markings, 32749596 edges, 38076 markings/sec, 90 secs
lola: 4937454 markings, 34376626 edges, 40728 markings/sec, 95 secs
lola: 5126928 markings, 36006855 edges, 37895 markings/sec, 100 secs
lola: 5310475 markings, 37604303 edges, 36709 markings/sec, 105 secs
lola: 5501438 markings, 39221206 edges, 38193 markings/sec, 110 secs
lola: 5696181 markings, 40863302 edges, 38949 markings/sec, 115 secs
lola: 5879039 markings, 42532304 edges, 36572 markings/sec, 120 secs
lola: 6051634 markings, 44172160 edges, 34519 markings/sec, 125 secs
lola: 6232126 markings, 45786824 edges, 36098 markings/sec, 130 secs
lola: 6393828 markings, 47222434 edges, 32340 markings/sec, 135 secs
lola: 6586549 markings, 48824084 edges, 38544 markings/sec, 140 secs
lola: 6789990 markings, 50550915 edges, 40688 markings/sec, 145 secs
lola: 6990535 markings, 52264157 edges, 40109 markings/sec, 150 secs
lola: 7180753 markings, 53961360 edges, 38044 markings/sec, 155 secs
lola: 7382343 markings, 55586530 edges, 40318 markings/sec, 160 secs
lola: 7566384 markings, 57151542 edges, 36808 markings/sec, 165 secs
lola: 7734001 markings, 58655259 edges, 33523 markings/sec, 170 secs
lola: 7904176 markings, 60214943 edges, 34035 markings/sec, 175 secs
lola: 8082510 markings, 61798714 edges, 35667 markings/sec, 180 secs
lola: 8275299 markings, 63345126 edges, 38558 markings/sec, 185 secs
lola: 8437682 markings, 64926532 edges, 32477 markings/sec, 190 secs
lola: 8605672 markings, 66551625 edges, 33598 markings/sec, 195 secs
lola: 8776482 markings, 68067106 edges, 34162 markings/sec, 200 secs
lola: 8945495 markings, 69599263 edges, 33803 markings/sec, 205 secs
lola: 9104652 markings, 71129648 edges, 31831 markings/sec, 210 secs
lola: 9289237 markings, 72682668 edges, 36917 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(T42)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 358089 markings, 1889285 edges, 71618 markings/sec, 0 secs
lola: 646039 markings, 3766452 edges, 57590 markings/sec, 5 secs
lola: 920654 markings, 5600499 edges, 54923 markings/sec, 10 secs
lola: 1176356 markings, 7404415 edges, 51140 markings/sec, 15 secs
lola: 1419011 markings, 9199873 edges, 48531 markings/sec, 20 secs
lola: 1652050 markings, 10993099 edges, 46608 markings/sec, 25 secs
lola: 1864875 markings, 12756254 edges, 42565 markings/sec, 30 secs
lola: 2110926 markings, 14582973 edges, 49210 markings/sec, 35 secs
lola: 2372130 markings, 16488902 edges, 52241 markings/sec, 40 secs
lola: 2572209 markings, 18233175 edges, 40016 markings/sec, 45 secs
lola: 2793032 markings, 20016713 edges, 44165 markings/sec, 50 secs
lola: 2999915 markings, 21782221 edges, 41377 markings/sec, 55 secs
lola: 3180562 markings, 23524112 edges, 36129 markings/sec, 60 secs
lola: 3390569 markings, 25263066 edges, 42001 markings/sec, 65 secs
lola: 3591507 markings, 26979109 edges, 40188 markings/sec, 70 secs
lola: 3787657 markings, 28680791 edges, 39230 markings/sec, 75 secs
lola: 3967121 markings, 30343332 edges, 35893 markings/sec, 80 secs
lola: 4213804 markings, 32188999 edges, 49337 markings/sec, 85 secs
lola: 4434511 markings, 33828511 edges, 44141 markings/sec, 90 secs
lola: 4633704 markings, 35477256 edges, 39839 markings/sec, 95 secs
lola: 4813653 markings, 37162294 edges, 35990 markings/sec, 100 secs
lola: 4987217 markings, 38838754 edges, 34713 markings/sec, 105 secs
lola: 5152101 markings, 40501011 edges, 32977 markings/sec, 110 secs
lola: 5347232 markings, 42192568 edges, 39026 markings/sec, 115 secs
lola: 5532105 markings, 43923095 edges, 36975 markings/sec, 120 secs
lola: 5698696 markings, 45584905 edges, 33318 markings/sec, 125 secs
lola: 5920851 markings, 47257144 edges, 44431 markings/sec, 130 secs
lola: 6122605 markings, 48999914 edges, 40351 markings/sec, 135 secs
lola: 6312011 markings, 50660730 edges, 37881 markings/sec, 140 secs
lola: 6497650 markings, 52266531 edges, 37128 markings/sec, 145 secs
lola: 6730950 markings, 53991949 edges, 46660 markings/sec, 150 secs
lola: 6931523 markings, 55572698 edges, 40115 markings/sec, 155 secs
lola: 7113527 markings, 57132442 edges, 36401 markings/sec, 160 secs
lola: 7279978 markings, 58696466 edges, 33290 markings/sec, 165 secs
lola: 7446303 markings, 60243714 edges, 33265 markings/sec, 170 secs
lola: 7604864 markings, 61804462 edges, 31712 markings/sec, 175 secs
lola: 7757784 markings, 63346302 edges, 30584 markings/sec, 180 secs
lola: 7927300 markings, 64994422 edges, 33903 markings/sec, 185 secs
lola: 8101228 markings, 66625224 edges, 34786 markings/sec, 190 secs
lola: 8286676 markings, 68227150 edges, 37090 markings/sec, 195 secs
lola: 8479707 markings, 69805319 edges, 38606 markings/sec, 200 secs
lola: 8673098 markings, 71431079 edges, 38678 markings/sec, 205 secs
lola: 8859985 markings, 73084193 edges, 37377 markings/sec, 210 secs
lola: 9038459 markings, 74782082 edges, 35695 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(F53)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 367892 markings, 1748319 edges, 73578 markings/sec, 0 secs
lola: 682093 markings, 3526689 edges, 62840 markings/sec, 5 secs
lola: 999984 markings, 5395897 edges, 63578 markings/sec, 10 secs
lola: 1283457 markings, 7166070 edges, 56695 markings/sec, 15 secs
lola: 1554963 markings, 9011243 edges, 54301 markings/sec, 20 secs
lola: 1805058 markings, 10801526 edges, 50019 markings/sec, 25 secs
lola: 2049670 markings, 12459841 edges, 48922 markings/sec, 30 secs
lola: 2283393 markings, 14238214 edges, 46745 markings/sec, 35 secs
lola: 2512200 markings, 15949076 edges, 45761 markings/sec, 40 secs
lola: 2763136 markings, 17596654 edges, 50187 markings/sec, 45 secs
lola: 2992185 markings, 19213086 edges, 45810 markings/sec, 50 secs
lola: 3206844 markings, 20815119 edges, 42932 markings/sec, 55 secs
lola: 3412114 markings, 22443170 edges, 41054 markings/sec, 60 secs
lola: 3617239 markings, 24021768 edges, 41025 markings/sec, 65 secs
lola: 3817709 markings, 25576256 edges, 40094 markings/sec, 70 secs
lola: 4022820 markings, 27224666 edges, 41022 markings/sec, 75 secs
lola: 4217312 markings, 28840668 edges, 38898 markings/sec, 80 secs
lola: 4442535 markings, 30382213 edges, 45045 markings/sec, 85 secs
lola: 4635940 markings, 31906836 edges, 38681 markings/sec, 90 secs
lola: 4817082 markings, 33380570 edges, 36228 markings/sec, 95 secs
lola: 5002553 markings, 34897239 edges, 37094 markings/sec, 100 secs
lola: 5170421 markings, 36405581 edges, 33574 markings/sec, 105 secs
lola: 5342413 markings, 37879990 edges, 34398 markings/sec, 110 secs
lola: 5523599 markings, 39408343 edges, 36237 markings/sec, 115 secs
lola: 5704992 markings, 40933592 edges, 36279 markings/sec, 120 secs
lola: 5874575 markings, 42487074 edges, 33917 markings/sec, 125 secs
lola: 6034997 markings, 44001225 edges, 32084 markings/sec, 130 secs
lola: 6199825 markings, 45502760 edges, 32966 markings/sec, 135 secs
lola: 6361732 markings, 46939191 edges, 32381 markings/sec, 140 secs
lola: 6532291 markings, 48380048 edges, 34112 markings/sec, 145 secs
lola: 6721182 markings, 49979690 edges, 37778 markings/sec, 150 secs
lola: 6917430 markings, 51584401 edges, 39250 markings/sec, 155 secs
lola: 7094041 markings, 53168311 edges, 35322 markings/sec, 160 secs
lola: 7273966 markings, 54732325 edges, 35985 markings/sec, 165 secs
lola: 7468872 markings, 56280417 edges, 38981 markings/sec, 170 secs
lola: 7641313 markings, 57810767 edges, 34488 markings/sec, 175 secs
lola: 7810091 markings, 59338558 edges, 33756 markings/sec, 180 secs
lola: 7979398 markings, 60880143 edges, 33861 markings/sec, 185 secs
lola: 8170899 markings, 62434919 edges, 38300 markings/sec, 190 secs
lola: 8341954 markings, 63994854 edges, 34211 markings/sec, 195 secs
lola: 8510599 markings, 65579840 edges, 33729 markings/sec, 200 secs
lola: 8673757 markings, 67165453 edges, 32632 markings/sec, 205 secs
lola: 8840361 markings, 68612196 edges, 33321 markings/sec, 210 secs
lola: 8988588 markings, 70008201 edges, 29645 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(T55)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 383391 markings, 1876218 edges, 76678 markings/sec, 0 secs
lola: 674710 markings, 3491980 edges, 58264 markings/sec, 5 secs
lola: 950499 markings, 5092612 edges, 55158 markings/sec, 10 secs
lola: 1226591 markings, 6850172 edges, 55218 markings/sec, 15 secs
lola: 1463998 markings, 8462036 edges, 47481 markings/sec, 20 secs
lola: 1709151 markings, 10060889 edges, 49031 markings/sec, 25 secs
lola: 1949475 markings, 11753319 edges, 48065 markings/sec, 30 secs
lola: 2170689 markings, 13513258 edges, 44243 markings/sec, 35 secs
lola: 2417903 markings, 15216238 edges, 49443 markings/sec, 40 secs
lola: 2667109 markings, 16919316 edges, 49841 markings/sec, 45 secs
lola: 2893762 markings, 18566285 edges, 45331 markings/sec, 50 secs
lola: 3102294 markings, 20190787 edges, 41706 markings/sec, 55 secs
lola: 3300844 markings, 21820647 edges, 39710 markings/sec, 60 secs
lola: 3508460 markings, 23447929 edges, 41523 markings/sec, 65 secs
lola: 3704687 markings, 25082160 edges, 39245 markings/sec, 70 secs
lola: 3899716 markings, 26771242 edges, 39006 markings/sec, 75 secs
lola: 4098222 markings, 28433409 edges, 39701 markings/sec, 80 secs
lola: 4313289 markings, 29918919 edges, 43013 markings/sec, 85 secs
lola: 4519194 markings, 31424542 edges, 41181 markings/sec, 90 secs
lola: 4704319 markings, 32891114 edges, 37025 markings/sec, 95 secs
lola: 4909190 markings, 34415607 edges, 40974 markings/sec, 100 secs
lola: 5112922 markings, 36016577 edges, 40746 markings/sec, 105 secs
lola: 5310317 markings, 37573020 edges, 39479 markings/sec, 110 secs
lola: 5519205 markings, 39147005 edges, 41778 markings/sec, 115 secs
lola: 5701351 markings, 40687774 edges, 36429 markings/sec, 120 secs
lola: 5893871 markings, 42234150 edges, 38504 markings/sec, 125 secs
lola: 6081330 markings, 43800297 edges, 37492 markings/sec, 130 secs
lola: 6284510 markings, 45490986 edges, 40636 markings/sec, 135 secs
lola: 6487993 markings, 47231583 edges, 40697 markings/sec, 140 secs
lola: 6680590 markings, 48849017 edges, 38519 markings/sec, 145 secs
lola: 6862336 markings, 50426741 edges, 36349 markings/sec, 150 secs
lola: 7046073 markings, 52034871 edges, 36747 markings/sec, 155 secs
lola: 7235144 markings, 53629039 edges, 37814 markings/sec, 160 secs
lola: 7407452 markings, 55237382 edges, 34462 markings/sec, 165 secs
lola: 7579922 markings, 56904469 edges, 34494 markings/sec, 170 secs
lola: 7759292 markings, 58580211 edges, 35874 markings/sec, 175 secs
lola: 7933281 markings, 60220536 edges, 34798 markings/sec, 180 secs
lola: 8104838 markings, 61698014 edges, 34311 markings/sec, 185 secs
lola: 8273796 markings, 63255762 edges, 33792 markings/sec, 190 secs
lola: 8446223 markings, 64845301 edges, 34485 markings/sec, 195 secs
lola: 8612704 markings, 66377528 edges, 33296 markings/sec, 200 secs
lola: 8772028 markings, 67873841 edges, 31865 markings/sec, 205 secs
lola: 8961657 markings, 69449240 edges, 37926 markings/sec, 210 secs
lola: 9138062 markings, 70973625 edges, 35281 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(T43)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 349081 markings, 1808765 edges, 69816 markings/sec, 0 secs
lola: 628707 markings, 3649011 edges, 55925 markings/sec, 5 secs
lola: 898459 markings, 5431087 edges, 53950 markings/sec, 10 secs
lola: 1137856 markings, 7181833 edges, 47879 markings/sec, 15 secs
lola: 1384036 markings, 8963286 edges, 49236 markings/sec, 20 secs
lola: 1607568 markings, 10718772 edges, 44706 markings/sec, 25 secs
lola: 1852248 markings, 12477143 edges, 48936 markings/sec, 30 secs
lola: 2104793 markings, 14314060 edges, 50509 markings/sec, 35 secs
lola: 2330178 markings, 16105577 edges, 45077 markings/sec, 40 secs
lola: 2566256 markings, 17881085 edges, 47216 markings/sec, 45 secs
lola: 2787418 markings, 19648947 edges, 44232 markings/sec, 50 secs
lola: 2993829 markings, 21373744 edges, 41282 markings/sec, 55 secs
lola: 3202427 markings, 23092250 edges, 41720 markings/sec, 60 secs
lola: 3406023 markings, 24726637 edges, 40719 markings/sec, 65 secs
lola: 3592283 markings, 26412567 edges, 37252 markings/sec, 70 secs
lola: 3788936 markings, 28113393 edges, 39331 markings/sec, 75 secs
lola: 4006340 markings, 29839695 edges, 43481 markings/sec, 80 secs
lola: 4208237 markings, 31512136 edges, 40379 markings/sec, 85 secs
lola: 4405313 markings, 33180707 edges, 39415 markings/sec, 90 secs
lola: 4596144 markings, 34862068 edges, 38166 markings/sec, 95 secs
lola: 4811523 markings, 36537806 edges, 43076 markings/sec, 100 secs
lola: 4998339 markings, 38254568 edges, 37363 markings/sec, 105 secs
lola: 5212295 markings, 39979234 edges, 42791 markings/sec, 110 secs
lola: 5405814 markings, 41688691 edges, 38704 markings/sec, 115 secs
lola: 5609665 markings, 43371217 edges, 40770 markings/sec, 120 secs
lola: 5813824 markings, 45152769 edges, 40832 markings/sec, 125 secs
lola: 5994110 markings, 46884295 edges, 36057 markings/sec, 130 secs
lola: 6184346 markings, 48616595 edges, 38047 markings/sec, 135 secs
lola: 6362586 markings, 50311297 edges, 35648 markings/sec, 140 secs
lola: 6544028 markings, 52000062 edges, 36288 markings/sec, 145 secs
lola: 6736887 markings, 53708484 edges, 38572 markings/sec, 150 secs
lola: 6932739 markings, 55430591 edges, 39170 markings/sec, 155 secs
lola: 7108335 markings, 57144302 edges, 35119 markings/sec, 160 secs
lola: 7301061 markings, 58829878 edges, 38545 markings/sec, 165 secs
lola: 7488691 markings, 60499895 edges, 37526 markings/sec, 170 secs
lola: 7682176 markings, 62217698 edges, 38697 markings/sec, 175 secs
lola: 7869827 markings, 63898613 edges, 37530 markings/sec, 180 secs
lola: 8047161 markings, 65668028 edges, 35467 markings/sec, 185 secs
lola: 8211677 markings, 67386496 edges, 32903 markings/sec, 190 secs
lola: 8383821 markings, 69115397 edges, 34429 markings/sec, 195 secs
lola: 8594211 markings, 70928754 edges, 42078 markings/sec, 200 secs
lola: 8789948 markings, 72679011 edges, 39147 markings/sec, 205 secs
lola: 8993291 markings, 74369559 edges, 40669 markings/sec, 210 secs
lola: 9197374 markings, 76151739 edges, 40817 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(F35)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 390598 markings, 1890896 edges, 78120 markings/sec, 0 secs
lola: 702088 markings, 3792218 edges, 62298 markings/sec, 5 secs
lola: 988550 markings, 5608607 edges, 57292 markings/sec, 10 secs
lola: 1292650 markings, 7445371 edges, 60820 markings/sec, 15 secs
lola: 1563921 markings, 9281695 edges, 54254 markings/sec, 20 secs
lola: 1827921 markings, 11082260 edges, 52800 markings/sec, 25 secs
lola: 2069611 markings, 12903210 edges, 48338 markings/sec, 30 secs
lola: 2326265 markings, 14694421 edges, 51331 markings/sec, 35 secs
lola: 2568425 markings, 16515121 edges, 48432 markings/sec, 40 secs
lola: 2789396 markings, 18375475 edges, 44194 markings/sec, 45 secs
lola: 3027368 markings, 20157062 edges, 47594 markings/sec, 50 secs
lola: 3278710 markings, 21999839 edges, 50268 markings/sec, 55 secs
lola: 3508829 markings, 23853587 edges, 46024 markings/sec, 60 secs
lola: 3734073 markings, 25629447 edges, 45049 markings/sec, 65 secs
lola: 3959806 markings, 27383434 edges, 45147 markings/sec, 70 secs
lola: 4176933 markings, 29169561 edges, 43425 markings/sec, 75 secs
lola: 4396373 markings, 30973734 edges, 43888 markings/sec, 80 secs
lola: 4610930 markings, 32751979 edges, 42911 markings/sec, 85 secs
lola: 4815969 markings, 34520960 edges, 41008 markings/sec, 90 secs
lola: 5089266 markings, 36355282 edges, 54659 markings/sec, 95 secs
lola: 5330366 markings, 38142844 edges, 48220 markings/sec, 100 secs
lola: 5561407 markings, 39881766 edges, 46208 markings/sec, 105 secs
lola: 5800385 markings, 41574910 edges, 47796 markings/sec, 110 secs
lola: 6025835 markings, 43298688 edges, 45090 markings/sec, 115 secs
lola: 6256311 markings, 45062334 edges, 46095 markings/sec, 120 secs
lola: 6469685 markings, 46814208 edges, 42675 markings/sec, 125 secs
lola: 6672331 markings, 48550671 edges, 40529 markings/sec, 130 secs
lola: 6869446 markings, 50272918 edges, 39423 markings/sec, 135 secs
lola: 7093136 markings, 52012586 edges, 44738 markings/sec, 140 secs
lola: 7299646 markings, 53767321 edges, 41302 markings/sec, 145 secs
lola: 7511910 markings, 55453902 edges, 42453 markings/sec, 150 secs
lola: 7703831 markings, 57179021 edges, 38384 markings/sec, 155 secs
lola: 7902235 markings, 58915955 edges, 39681 markings/sec, 160 secs
lola: 8101169 markings, 60682001 edges, 39787 markings/sec, 165 secs
lola: 8299276 markings, 62435420 edges, 39621 markings/sec, 170 secs
lola: 8483971 markings, 64191808 edges, 36939 markings/sec, 175 secs
lola: 8684401 markings, 65946146 edges, 40086 markings/sec, 180 secs
lola: 8877011 markings, 67596390 edges, 38522 markings/sec, 185 secs
lola: 9078357 markings, 69372553 edges, 40269 markings/sec, 190 secs
lola: 9267409 markings, 71197077 edges, 37810 markings/sec, 195 secs
lola: 9459279 markings, 72933910 edges, 38374 markings/sec, 200 secs
lola: 9649181 markings, 74734503 edges, 37980 markings/sec, 205 secs
lola: 9838990 markings, 76546024 edges, 37962 markings/sec, 210 secs
lola: 10013122 markings, 78345725 edges, 34826 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(F33)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 385503 markings, 1859139 edges, 77101 markings/sec, 0 secs
lola: 692600 markings, 3706991 edges, 61419 markings/sec, 5 secs
lola: 995500 markings, 5597941 edges, 60580 markings/sec, 10 secs
lola: 1262986 markings, 7413645 edges, 53497 markings/sec, 15 secs
lola: 1526323 markings, 9211899 edges, 52667 markings/sec, 20 secs
lola: 1828491 markings, 11025478 edges, 60434 markings/sec, 25 secs
lola: 2093634 markings, 12891210 edges, 53029 markings/sec, 30 secs
lola: 2357216 markings, 14753364 edges, 52716 markings/sec, 35 secs
lola: 2601075 markings, 16606679 edges, 48772 markings/sec, 40 secs
lola: 2835490 markings, 18428745 edges, 46883 markings/sec, 45 secs
lola: 3064907 markings, 20261798 edges, 45883 markings/sec, 50 secs
lola: 3301151 markings, 22107050 edges, 47249 markings/sec, 55 secs
lola: 3538318 markings, 23923194 edges, 47433 markings/sec, 60 secs
lola: 3777494 markings, 25723752 edges, 47835 markings/sec, 65 secs
lola: 4070314 markings, 27611971 edges, 58564 markings/sec, 70 secs
lola: 4332877 markings, 29486262 edges, 52513 markings/sec, 75 secs
lola: 4577976 markings, 31353054 edges, 49020 markings/sec, 80 secs
lola: 4805937 markings, 33208742 edges, 45592 markings/sec, 85 secs
lola: 5048461 markings, 35066427 edges, 48505 markings/sec, 90 secs
lola: 5277356 markings, 36880134 edges, 45779 markings/sec, 95 secs
lola: 5495053 markings, 38697188 edges, 43539 markings/sec, 100 secs
lola: 5720609 markings, 40536712 edges, 45111 markings/sec, 105 secs
lola: 5961092 markings, 42411968 edges, 48097 markings/sec, 110 secs
lola: 6197342 markings, 44261280 edges, 47250 markings/sec, 115 secs
lola: 6419823 markings, 46155715 edges, 44496 markings/sec, 120 secs
lola: 6630188 markings, 48056754 edges, 42073 markings/sec, 125 secs
lola: 6845951 markings, 49893785 edges, 43153 markings/sec, 130 secs
lola: 7067291 markings, 51701767 edges, 44268 markings/sec, 135 secs
lola: 7285914 markings, 53527309 edges, 43725 markings/sec, 140 secs
lola: 7503951 markings, 55369843 edges, 43607 markings/sec, 145 secs
lola: 7702586 markings, 57198322 edges, 39727 markings/sec, 150 secs
lola: 7892565 markings, 59008464 edges, 37996 markings/sec, 155 secs
lola: 8089863 markings, 60834176 edges, 39460 markings/sec, 160 secs
lola: 8275220 markings, 62633809 edges, 37071 markings/sec, 165 secs
lola: 8468920 markings, 64460914 edges, 38740 markings/sec, 170 secs
lola: 8675374 markings, 66294899 edges, 41291 markings/sec, 175 secs
lola: 8873078 markings, 68142884 edges, 39541 markings/sec, 180 secs
lola: 9070892 markings, 69994346 edges, 39563 markings/sec, 185 secs
lola: 9263355 markings, 71823491 edges, 38493 markings/sec, 190 secs
lola: 9456866 markings, 73634987 edges, 38702 markings/sec, 195 secs
lola: 9653068 markings, 75408557 edges, 39240 markings/sec, 200 secs
lola: 9843375 markings, 77222759 edges, 38061 markings/sec, 205 secs
lola: 10020099 markings, 78972699 edges, 35345 markings/sec, 210 secs
lola: 10192759 markings, 80656690 edges, 34532 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(T53)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 364093 markings, 1732524 edges, 72819 markings/sec, 0 secs
lola: 663112 markings, 3431121 edges, 59804 markings/sec, 5 secs
lola: 981294 markings, 5283511 edges, 63636 markings/sec, 10 secs
lola: 1253362 markings, 6975438 edges, 54414 markings/sec, 15 secs
lola: 1526053 markings, 8809016 edges, 54538 markings/sec, 20 secs
lola: 1776829 markings, 10606090 edges, 50155 markings/sec, 25 secs
lola: 2028907 markings, 12319248 edges, 50416 markings/sec, 30 secs
lola: 2270422 markings, 14136706 edges, 48303 markings/sec, 35 secs
lola: 2505281 markings, 15899107 edges, 46972 markings/sec, 40 secs
lola: 2763420 markings, 17602520 edges, 51628 markings/sec, 45 secs
lola: 3002632 markings, 19292574 edges, 47842 markings/sec, 50 secs
lola: 3227620 markings, 20966378 edges, 44998 markings/sec, 55 secs
lola: 3412685 markings, 22453233 edges, 37013 markings/sec, 60 secs
lola: 3599581 markings, 23888826 edges, 37379 markings/sec, 65 secs
lola: 3784284 markings, 25316471 edges, 36941 markings/sec, 70 secs
lola: 3976074 markings, 26847722 edges, 38358 markings/sec, 75 secs
lola: 4176861 markings, 28520051 edges, 40157 markings/sec, 80 secs
lola: 4413648 markings, 30177626 edges, 47357 markings/sec, 85 secs
lola: 4632308 markings, 31886588 edges, 43732 markings/sec, 90 secs
lola: 4841084 markings, 33554523 edges, 41755 markings/sec, 95 secs
lola: 5046662 markings, 35274270 edges, 41116 markings/sec, 100 secs
lola: 5238851 markings, 36987598 edges, 38438 markings/sec, 105 secs
lola: 5430333 markings, 38652237 edges, 38296 markings/sec, 110 secs
lola: 5636490 markings, 40363127 edges, 41231 markings/sec, 115 secs
lola: 5830905 markings, 42088381 edges, 38883 markings/sec, 120 secs
lola: 6014444 markings, 43806072 edges, 36708 markings/sec, 125 secs
lola: 6199184 markings, 45503259 edges, 36948 markings/sec, 130 secs
lola: 6383492 markings, 47135963 edges, 36862 markings/sec, 135 secs
lola: 6583634 markings, 48799561 edges, 40028 markings/sec, 140 secs
lola: 6794284 markings, 50578420 edges, 42130 markings/sec, 145 secs
lola: 7000447 markings, 52354916 edges, 41233 markings/sec, 150 secs
lola: 7197054 markings, 54108304 edges, 39321 markings/sec, 155 secs
lola: 7412759 markings, 55838658 edges, 43141 markings/sec, 160 secs
lola: 7610315 markings, 57536527 edges, 39511 markings/sec, 165 secs
lola: 7775669 markings, 59045043 edges, 33071 markings/sec, 170 secs
lola: 7942574 markings, 60564536 edges, 33381 markings/sec, 175 secs
lola: 8120052 markings, 62070175 edges, 35496 markings/sec, 180 secs
lola: 8300187 markings, 63582131 edges, 36027 markings/sec, 185 secs
lola: 8455201 markings, 65082299 edges, 31003 markings/sec, 190 secs
lola: 8618318 markings, 66684744 edges, 32623 markings/sec, 195 secs
lola: 8785961 markings, 68152806 edges, 33529 markings/sec, 200 secs
lola: 8951076 markings, 69658943 edges, 33023 markings/sec, 205 secs
lola: 9106937 markings, 71152824 edges, 31172 markings/sec, 210 secs
lola: 9289869 markings, 72688331 edges, 36586 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(F43)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 350430 markings, 1813076 edges, 70086 markings/sec, 0 secs
lola: 625929 markings, 3624361 edges, 55100 markings/sec, 5 secs
lola: 888238 markings, 5347210 edges, 52462 markings/sec, 10 secs
lola: 1119178 markings, 7029806 edges, 46188 markings/sec, 15 secs
lola: 1350301 markings, 8725669 edges, 46225 markings/sec, 20 secs
lola: 1571332 markings, 10411476 edges, 44206 markings/sec, 25 secs
lola: 1797272 markings, 12084807 edges, 45188 markings/sec, 30 secs
lola: 2037020 markings, 13817620 edges, 47950 markings/sec, 35 secs
lola: 2260854 markings, 15539912 edges, 44767 markings/sec, 40 secs
lola: 2485489 markings, 17229175 edges, 44927 markings/sec, 45 secs
lola: 2706287 markings, 18950293 edges, 44160 markings/sec, 50 secs
lola: 2907040 markings, 20617698 edges, 40151 markings/sec, 55 secs
lola: 3102794 markings, 22343977 edges, 39151 markings/sec, 60 secs
lola: 3318891 markings, 23972477 edges, 43219 markings/sec, 65 secs
lola: 3502598 markings, 25595601 edges, 36741 markings/sec, 70 secs
lola: 3678771 markings, 27195262 edges, 35235 markings/sec, 75 secs
lola: 3881480 markings, 28810521 edges, 40542 markings/sec, 80 secs
lola: 4083215 markings, 30444582 edges, 40347 markings/sec, 85 secs
lola: 4268899 markings, 31995610 edges, 37137 markings/sec, 90 secs
lola: 4450935 markings, 33580976 edges, 36407 markings/sec, 95 secs
lola: 4637201 markings, 35147792 edges, 37253 markings/sec, 100 secs
lola: 4835283 markings, 36743556 edges, 39616 markings/sec, 105 secs
lola: 5013952 markings, 38380337 edges, 35734 markings/sec, 110 secs
lola: 5218963 markings, 40028794 edges, 41002 markings/sec, 115 secs
lola: 5400182 markings, 41618974 edges, 36244 markings/sec, 120 secs
lola: 5590036 markings, 43168544 edges, 37971 markings/sec, 125 secs
lola: 5778347 markings, 44792719 edges, 37662 markings/sec, 130 secs
lola: 5944897 markings, 46388958 edges, 33310 markings/sec, 135 secs
lola: 6107518 markings, 47956923 edges, 32524 markings/sec, 140 secs
lola: 6284543 markings, 49521775 edges, 35405 markings/sec, 145 secs
lola: 6446649 markings, 51039784 edges, 32421 markings/sec, 150 secs
lola: 6607297 markings, 52544641 edges, 32130 markings/sec, 155 secs
lola: 6780832 markings, 54068159 edges, 34707 markings/sec, 160 secs
lola: 6951834 markings, 55607179 edges, 34200 markings/sec, 165 secs
lola: 7107581 markings, 57121315 edges, 31149 markings/sec, 170 secs
lola: 7276459 markings, 58604771 edges, 33776 markings/sec, 175 secs
lola: 7437807 markings, 60052312 edges, 32270 markings/sec, 180 secs
lola: 7611541 markings, 61581073 edges, 34747 markings/sec, 185 secs
lola: 7776156 markings, 63060606 edges, 32923 markings/sec, 190 secs
lola: 7947153 markings, 64652696 edges, 34199 markings/sec, 195 secs
lola: 8100415 markings, 66226121 edges, 30652 markings/sec, 200 secs
lola: 8248774 markings, 67788403 edges, 29672 markings/sec, 205 secs
lola: 8419606 markings, 69396814 edges, 34166 markings/sec, 210 secs
lola: 8613094 markings, 71083694 edges, 38698 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(T26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 379899 markings, 1874115 edges, 75980 markings/sec, 0 secs
lola: 693315 markings, 3729455 edges, 62683 markings/sec, 5 secs
lola: 976868 markings, 5553691 edges, 56711 markings/sec, 10 secs
lola: 1234573 markings, 7304115 edges, 51541 markings/sec, 15 secs
lola: 1482207 markings, 9019436 edges, 49527 markings/sec, 20 secs
lola: 1710886 markings, 10692839 edges, 45736 markings/sec, 25 secs
lola: 1975717 markings, 12454141 edges, 52966 markings/sec, 30 secs
lola: 2211964 markings, 14199362 edges, 47249 markings/sec, 35 secs
lola: 2446046 markings, 15915926 edges, 46816 markings/sec, 40 secs
lola: 2681718 markings, 17605269 edges, 47134 markings/sec, 45 secs
lola: 2912209 markings, 19265772 edges, 46098 markings/sec, 50 secs
lola: 3122480 markings, 20927820 edges, 42054 markings/sec, 55 secs
lola: 3330460 markings, 22646095 edges, 41596 markings/sec, 60 secs
lola: 3535199 markings, 24327002 edges, 40948 markings/sec, 65 secs
lola: 3724270 markings, 26043749 edges, 37814 markings/sec, 70 secs
lola: 3913558 markings, 27676743 edges, 37858 markings/sec, 75 secs
lola: 4090805 markings, 29306410 edges, 35449 markings/sec, 80 secs
lola: 4275311 markings, 30967263 edges, 36901 markings/sec, 85 secs
lola: 4466146 markings, 32743134 edges, 38167 markings/sec, 90 secs
lola: 4671361 markings, 34441458 edges, 41043 markings/sec, 95 secs
lola: 4855502 markings, 36080877 edges, 36828 markings/sec, 100 secs
lola: 5043191 markings, 37767312 edges, 37538 markings/sec, 105 secs
lola: 5231416 markings, 39479862 edges, 37645 markings/sec, 110 secs
lola: 5407393 markings, 41150601 edges, 35195 markings/sec, 115 secs
lola: 5589634 markings, 42800339 edges, 36448 markings/sec, 120 secs
lola: 5765349 markings, 44482835 edges, 35143 markings/sec, 125 secs
lola: 5957577 markings, 46110278 edges, 38446 markings/sec, 130 secs
lola: 6127020 markings, 47693361 edges, 33889 markings/sec, 135 secs
lola: 6334160 markings, 49473668 edges, 41428 markings/sec, 140 secs
lola: 6537366 markings, 51202794 edges, 40641 markings/sec, 145 secs
lola: 6722041 markings, 52955111 edges, 36935 markings/sec, 150 secs
lola: 6912406 markings, 54707029 edges, 38073 markings/sec, 155 secs
lola: 7100483 markings, 56443669 edges, 37615 markings/sec, 160 secs
lola: 7276094 markings, 58191307 edges, 35122 markings/sec, 165 secs
lola: 7463653 markings, 59953796 edges, 37512 markings/sec, 170 secs
lola: 7651641 markings, 61637432 edges, 37598 markings/sec, 175 secs
lola: 7847018 markings, 63372513 edges, 39075 markings/sec, 180 secs
lola: 8041264 markings, 65100306 edges, 38849 markings/sec, 185 secs
lola: 8230040 markings, 66837342 edges, 37755 markings/sec, 190 secs
lola: 8411688 markings, 68557584 edges, 36330 markings/sec, 195 secs
lola: 8597936 markings, 70264037 edges, 37250 markings/sec, 200 secs
lola: 8793859 markings, 71956075 edges, 39185 markings/sec, 205 secs
lola: 8976606 markings, 73642978 edges, 36549 markings/sec, 210 secs
lola: 9158799 markings, 75349171 edges, 36439 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(T26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 104 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: 381042 markings, 1881472 edges, 76208 markings/sec, 0 secs
lola: 705533 markings, 3795822 edges, 64898 markings/sec, 5 secs
lola: 1003062 markings, 5731954 edges, 59506 markings/sec, 10 secs
lola: 1288554 markings, 7644929 edges, 57098 markings/sec, 15 secs
lola: 1547621 markings, 9493636 edges, 51813 markings/sec, 20 secs
lola: 1818866 markings, 11344686 edges, 54249 markings/sec, 25 secs
lola: 2084467 markings, 13253156 edges, 53120 markings/sec, 30 secs
lola: 2341155 markings, 15140997 edges, 51338 markings/sec, 35 secs
lola: 2597252 markings, 17019589 edges, 51219 markings/sec, 40 secs
lola: 2860831 markings, 18847452 edges, 52716 markings/sec, 45 secs
lola: 3095682 markings, 20707200 edges, 46970 markings/sec, 50 secs
lola: 3326156 markings, 22608157 edges, 46095 markings/sec, 55 secs
lola: 3554574 markings, 24484234 edges, 45684 markings/sec, 60 secs
lola: 3764578 markings, 26375545 edges, 42001 markings/sec, 65 secs
lola: 3971296 markings, 28211908 edges, 41344 markings/sec, 70 secs
lola: 4173278 markings, 30041304 edges, 40396 markings/sec, 75 secs
lola: 4369863 markings, 31891534 edges, 39317 markings/sec, 80 secs
lola: 4600669 markings, 33819922 edges, 46161 markings/sec, 85 secs
lola: 4809480 markings, 35646178 edges, 41762 markings/sec, 90 secs
lola: 5016016 markings, 37510361 edges, 41307 markings/sec, 95 secs
lola: 5215257 markings, 39365835 edges, 39848 markings/sec, 100 secs
lola: 5411143 markings, 41195970 edges, 39177 markings/sec, 105 secs
lola: 5614550 markings, 43038822 edges, 40681 markings/sec, 110 secs
lola: 5808237 markings, 44895747 edges, 38737 markings/sec, 115 secs
lola: 6020360 markings, 46657383 edges, 42425 markings/sec, 120 secs
lola: 6202765 markings, 48440459 edges, 36481 markings/sec, 125 secs
lola: 6419674 markings, 50241191 edges, 43382 markings/sec, 130 secs
lola: 6623341 markings, 51983734 edges, 40733 markings/sec, 135 secs
lola: 6804043 markings, 53764610 edges, 36140 markings/sec, 140 secs
lola: 7001875 markings, 55505043 edges, 39566 markings/sec, 145 secs
lola: 7181876 markings, 57250666 edges, 36000 markings/sec, 150 secs
lola: 7357871 markings, 59022171 edges, 35199 markings/sec, 155 secs
lola: 7560533 markings, 60748420 edges, 40532 markings/sec, 160 secs
lola: 7734701 markings, 62475781 edges, 34834 markings/sec, 165 secs
lola: 7946863 markings, 64231424 edges, 42432 markings/sec, 170 secs
lola: 8136841 markings, 65975016 edges, 37996 markings/sec, 175 secs
lola: 8324112 markings, 67737423 edges, 37454 markings/sec, 180 secs
lola: 8510071 markings, 69457381 edges, 37192 markings/sec, 185 secs
lola: 8695344 markings, 71194692 edges, 37055 markings/sec, 190 secs
lola: 8893183 markings, 72892424 edges, 39568 markings/sec, 195 secs
lola: 9073026 markings, 74595270 edges, 35969 markings/sec, 200 secs
lola: 9253385 markings, 76324352 edges, 36072 markings/sec, 205 secs
lola: 9420799 markings, 78008543 edges, 33483 markings/sec, 210 secs
lola: 9594815 markings, 79697768 edges, 34803 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-SqrCT5x5-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrCT5x5-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496563969553

--------------------
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-SqrCT5x5"
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-SqrCT5x5.tgz
mv S_Solitaire-PT-SqrCT5x5 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-SqrCT5x5, 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-149443464000101"
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 ;