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-3254
Executing tool lola
Input is S_DNAwalker-PT-14ringLRLarge, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r108-blw3-149441612100119
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496344100207


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


checking for too many tokens
===========================================================================================
S_DNAwalker-PT-14ringLRLarge: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_DNAwalker-PT-14ringLRLarge @ 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: 345/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 33 places, 312 transitions, 33 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 197 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-14ringLRLarge-UpperBounds.task
lola: MAX(B14) : MAX(A2) : MAX(A7) : MAX(A7) : MAX(A12) : MAX(A21) : MAX(B3) : MAX(A10) : MAX(A24) : MAX(A19) : MAX(A18) : MAX(A6) : MAX(A10) : MAX(A1) : MAX(A1) : MAX(A5)
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(B14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 440561 markings, 1441944 edges, 88112 markings/sec, 0 secs
lola: 823763 markings, 3249642 edges, 76640 markings/sec, 5 secs
lola: 1222514 markings, 5108034 edges, 79750 markings/sec, 10 secs
lola: 1627824 markings, 7012275 edges, 81062 markings/sec, 15 secs
lola: 2034872 markings, 8849624 edges, 81410 markings/sec, 20 secs
lola: 2429753 markings, 10533699 edges, 78976 markings/sec, 25 secs
lola: 2822726 markings, 12163644 edges, 78595 markings/sec, 30 secs
lola: 3222986 markings, 13809509 edges, 80052 markings/sec, 35 secs
lola: 3611784 markings, 15653743 edges, 77760 markings/sec, 40 secs
lola: 3978985 markings, 17760676 edges, 73440 markings/sec, 45 secs
lola: 4355350 markings, 19802232 edges, 75273 markings/sec, 50 secs
lola: 4713507 markings, 21731621 edges, 71631 markings/sec, 55 secs
lola: 5093585 markings, 23371907 edges, 76016 markings/sec, 60 secs
lola: 5463032 markings, 25113915 edges, 73889 markings/sec, 65 secs
lola: 5854664 markings, 26579009 edges, 78326 markings/sec, 70 secs
lola: 6207601 markings, 28297845 edges, 70587 markings/sec, 75 secs
lola: 6550666 markings, 29997591 edges, 68613 markings/sec, 80 secs
lola: 6846667 markings, 31839544 edges, 59200 markings/sec, 85 secs
lola: 7191402 markings, 33488479 edges, 68947 markings/sec, 90 secs
lola: 7554820 markings, 35195461 edges, 72684 markings/sec, 95 secs
lola: 7918647 markings, 36966915 edges, 72765 markings/sec, 100 secs
lola: 8264215 markings, 38556514 edges, 69114 markings/sec, 105 secs
lola: 8625995 markings, 40211299 edges, 72356 markings/sec, 110 secs
lola: 8965036 markings, 42222081 edges, 67808 markings/sec, 115 secs
lola: 9292689 markings, 44259644 edges, 65531 markings/sec, 120 secs
lola: 9701506 markings, 45876555 edges, 81763 markings/sec, 125 secs
lola: 10078459 markings, 47375101 edges, 75391 markings/sec, 130 secs
lola: 10465005 markings, 48982358 edges, 77309 markings/sec, 135 secs
lola: 10876264 markings, 50481934 edges, 82252 markings/sec, 140 secs
lola: 11256592 markings, 52186845 edges, 76066 markings/sec, 145 secs
lola: 11646296 markings, 53782533 edges, 77941 markings/sec, 150 secs
lola: 12044084 markings, 55431376 edges, 79558 markings/sec, 155 secs
lola: 12423808 markings, 57283682 edges, 75945 markings/sec, 160 secs
lola: 12785187 markings, 59308798 edges, 72276 markings/sec, 165 secs
lola: 13142278 markings, 61315286 edges, 71418 markings/sec, 170 secs
lola: 13499533 markings, 63243765 edges, 71451 markings/sec, 175 secs
lola: 13857031 markings, 65171701 edges, 71500 markings/sec, 180 secs
lola: 14205728 markings, 67191276 edges, 69739 markings/sec, 185 secs
lola: 14576036 markings, 68846284 edges, 74062 markings/sec, 190 secs
lola: 14951804 markings, 70515686 edges, 75154 markings/sec, 195 secs
lola: 15301392 markings, 72612273 edges, 69918 markings/sec, 200 secs
lola: 15670666 markings, 74347184 edges, 73855 markings/sec, 205 secs
lola: 16015374 markings, 75959496 edges, 68942 markings/sec, 210 secs
lola: 16317193 markings, 77757073 edges, 60364 markings/sec, 215 secs
lola: 16673909 markings, 79510477 edges, 71343 markings/sec, 220 secs
lola: 17023573 markings, 81369179 edges, 69933 markings/sec, 225 secs
lola: 17384743 markings, 83164306 edges, 72234 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 494643 markings, 1850500 edges, 98929 markings/sec, 0 secs
lola: 955295 markings, 3639763 edges, 92130 markings/sec, 5 secs
lola: 1387489 markings, 5484627 edges, 86439 markings/sec, 10 secs
lola: 1779163 markings, 7547188 edges, 78335 markings/sec, 15 secs
lola: 2201326 markings, 9728704 edges, 84433 markings/sec, 20 secs
lola: 2620107 markings, 11979880 edges, 83756 markings/sec, 25 secs
lola: 3050711 markings, 14231799 edges, 86121 markings/sec, 30 secs
lola: 3470281 markings, 16094424 edges, 83914 markings/sec, 35 secs
lola: 3855444 markings, 18167172 edges, 77033 markings/sec, 40 secs
lola: 4263024 markings, 20502689 edges, 81516 markings/sec, 45 secs
lola: 4672846 markings, 22416835 edges, 81964 markings/sec, 50 secs
lola: 5075750 markings, 24560880 edges, 80581 markings/sec, 55 secs
lola: 5470667 markings, 26602374 edges, 78983 markings/sec, 60 secs
lola: 5872855 markings, 28733845 edges, 80438 markings/sec, 65 secs
lola: 6272471 markings, 30727927 edges, 79923 markings/sec, 70 secs
lola: 6668450 markings, 32722985 edges, 79196 markings/sec, 75 secs
lola: 7060460 markings, 34619695 edges, 78402 markings/sec, 80 secs
lola: 7482733 markings, 36451602 edges, 84455 markings/sec, 85 secs
lola: 7869488 markings, 38511989 edges, 77351 markings/sec, 90 secs
lola: 8233063 markings, 40689710 edges, 72715 markings/sec, 95 secs
lola: 8604009 markings, 42871649 edges, 74189 markings/sec, 100 secs
lola: 8965625 markings, 45215729 edges, 72323 markings/sec, 105 secs
lola: 9302193 markings, 47663849 edges, 67314 markings/sec, 110 secs
lola: 9689284 markings, 49705037 edges, 77418 markings/sec, 115 secs
lola: 10094299 markings, 51597600 edges, 81003 markings/sec, 120 secs
lola: 10460960 markings, 53650826 edges, 73332 markings/sec, 125 secs
lola: 10822993 markings, 55860713 edges, 72407 markings/sec, 130 secs
lola: 11169730 markings, 58238575 edges, 69347 markings/sec, 135 secs
lola: 11552430 markings, 60272047 edges, 76540 markings/sec, 140 secs
lola: 11922224 markings, 62337637 edges, 73959 markings/sec, 145 secs
lola: 12274305 markings, 64625321 edges, 70416 markings/sec, 150 secs
lola: 12642396 markings, 66700202 edges, 73618 markings/sec, 155 secs
lola: 12997884 markings, 68876523 edges, 71098 markings/sec, 160 secs
lola: 13352751 markings, 70942676 edges, 70973 markings/sec, 165 secs
lola: 13722052 markings, 73007877 edges, 73860 markings/sec, 170 secs
lola: 14115085 markings, 75018236 edges, 78607 markings/sec, 175 secs
lola: 14454472 markings, 77314990 edges, 67877 markings/sec, 180 secs
lola: 14790615 markings, 79638241 edges, 67229 markings/sec, 185 secs
lola: 15138233 markings, 81878475 edges, 69524 markings/sec, 190 secs
lola: 15466416 markings, 84346358 edges, 65637 markings/sec, 195 secs
lola: 15815917 markings, 86618136 edges, 69900 markings/sec, 200 secs
lola: 16179512 markings, 88754346 edges, 72719 markings/sec, 205 secs
lola: 16520809 markings, 91134845 edges, 68259 markings/sec, 210 secs
lola: 16886294 markings, 93243360 edges, 73097 markings/sec, 215 secs
lola: 17261409 markings, 95340205 edges, 75023 markings/sec, 220 secs
lola: 17626719 markings, 97401337 edges, 73062 markings/sec, 225 secs
lola: 17989872 markings, 99334011 edges, 72631 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 496891 markings, 1858096 edges, 99378 markings/sec, 0 secs
lola: 958537 markings, 3652585 edges, 92329 markings/sec, 5 secs
lola: 1391416 markings, 5506102 edges, 86576 markings/sec, 10 secs
lola: 1783980 markings, 7573988 edges, 78513 markings/sec, 15 secs
lola: 2207163 markings, 9756517 edges, 84637 markings/sec, 20 secs
lola: 2625885 markings, 12019579 edges, 83744 markings/sec, 25 secs
lola: 3056853 markings, 14263930 edges, 86194 markings/sec, 30 secs
lola: 3476692 markings, 16127742 edges, 83968 markings/sec, 35 secs
lola: 3862185 markings, 18210796 edges, 77099 markings/sec, 40 secs
lola: 4270602 markings, 20564344 edges, 81683 markings/sec, 45 secs
lola: 4679796 markings, 22462366 edges, 81839 markings/sec, 50 secs
lola: 5083382 markings, 24615118 edges, 80717 markings/sec, 55 secs
lola: 5479983 markings, 26636049 edges, 79320 markings/sec, 60 secs
lola: 5880876 markings, 28764518 edges, 80179 markings/sec, 65 secs
lola: 6279576 markings, 30766887 edges, 79740 markings/sec, 70 secs
lola: 6675610 markings, 32757620 edges, 79207 markings/sec, 75 secs
lola: 7069723 markings, 34648884 edges, 78823 markings/sec, 80 secs
lola: 7489958 markings, 36482933 edges, 84047 markings/sec, 85 secs
lola: 7875029 markings, 38547630 edges, 77014 markings/sec, 90 secs
lola: 8236877 markings, 40716099 edges, 72370 markings/sec, 95 secs
lola: 8607279 markings, 42896039 edges, 74080 markings/sec, 100 secs
lola: 8968296 markings, 45238096 edges, 72203 markings/sec, 105 secs
lola: 9305061 markings, 47686795 edges, 67353 markings/sec, 110 secs
lola: 9692220 markings, 49717639 edges, 77432 markings/sec, 115 secs
lola: 10096487 markings, 51606270 edges, 80853 markings/sec, 120 secs
lola: 10462889 markings, 53663715 edges, 73280 markings/sec, 125 secs
lola: 10825415 markings, 55873849 edges, 72505 markings/sec, 130 secs
lola: 11170692 markings, 58244385 edges, 69055 markings/sec, 135 secs
lola: 11552855 markings, 60273157 edges, 76433 markings/sec, 140 secs
lola: 11921163 markings, 62331730 edges, 73662 markings/sec, 145 secs
lola: 12271919 markings, 64609377 edges, 70151 markings/sec, 150 secs
lola: 12638771 markings, 66676099 edges, 73370 markings/sec, 155 secs
lola: 12992165 markings, 68852025 edges, 70679 markings/sec, 160 secs
lola: 13345894 markings, 70913698 edges, 70746 markings/sec, 165 secs
lola: 13709751 markings, 72958717 edges, 72771 markings/sec, 170 secs
lola: 14102841 markings, 74952467 edges, 78618 markings/sec, 175 secs
lola: 14443896 markings, 77235100 edges, 68211 markings/sec, 180 secs
lola: 14779439 markings, 79540138 edges, 67109 markings/sec, 185 secs
lola: 15125610 markings, 81792640 edges, 69234 markings/sec, 190 secs
lola: 15455458 markings, 84258649 edges, 65970 markings/sec, 195 secs
lola: 15798407 markings, 86541274 edges, 68590 markings/sec, 200 secs
lola: 16164961 markings, 88648845 edges, 73311 markings/sec, 205 secs
lola: 16502190 markings, 91008140 edges, 67446 markings/sec, 210 secs
lola: 16864009 markings, 93118142 edges, 72364 markings/sec, 215 secs
lola: 17238014 markings, 95183554 edges, 74801 markings/sec, 220 secs
lola: 17602403 markings, 97243902 edges, 72878 markings/sec, 225 secs
lola: 17967527 markings, 99202321 edges, 73025 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 557605 markings, 1595117 edges, 111521 markings/sec, 0 secs
lola: 1108188 markings, 3156105 edges, 110117 markings/sec, 5 secs
lola: 1592179 markings, 4857980 edges, 96798 markings/sec, 10 secs
lola: 2110217 markings, 6580455 edges, 103608 markings/sec, 15 secs
lola: 2584095 markings, 8088479 edges, 94776 markings/sec, 20 secs
lola: 3062228 markings, 10038913 edges, 95627 markings/sec, 25 secs
lola: 3543647 markings, 11917960 edges, 96284 markings/sec, 30 secs
lola: 3977244 markings, 13825201 edges, 86719 markings/sec, 35 secs
lola: 4369775 markings, 15804703 edges, 78506 markings/sec, 40 secs
lola: 4787654 markings, 17892293 edges, 83576 markings/sec, 45 secs
lola: 5176438 markings, 19998641 edges, 77757 markings/sec, 50 secs
lola: 5609165 markings, 22042177 edges, 86545 markings/sec, 55 secs
lola: 6147381 markings, 23718581 edges, 107643 markings/sec, 60 secs
lola: 6635469 markings, 25400177 edges, 97618 markings/sec, 65 secs
lola: 7094305 markings, 27106243 edges, 91767 markings/sec, 70 secs
lola: 7546466 markings, 29191162 edges, 90432 markings/sec, 75 secs
lola: 7952788 markings, 31270627 edges, 81264 markings/sec, 80 secs
lola: 8357690 markings, 33382580 edges, 80980 markings/sec, 85 secs
lola: 8874906 markings, 35168365 edges, 103443 markings/sec, 90 secs
lola: 9352784 markings, 36831529 edges, 95576 markings/sec, 95 secs
lola: 9790726 markings, 38842494 edges, 87588 markings/sec, 100 secs
lola: 10184515 markings, 40944220 edges, 78758 markings/sec, 105 secs
lola: 10652663 markings, 42865479 edges, 93630 markings/sec, 110 secs
lola: 11130575 markings, 44698052 edges, 95582 markings/sec, 115 secs
lola: 11573863 markings, 46586159 edges, 88658 markings/sec, 120 secs
lola: 12007809 markings, 48166188 edges, 86789 markings/sec, 125 secs
lola: 12408619 markings, 49794466 edges, 80162 markings/sec, 130 secs
lola: 13010105 markings, 51546775 edges, 120297 markings/sec, 135 secs
lola: 13582620 markings, 53337623 edges, 114503 markings/sec, 140 secs
lola: 14130841 markings, 55121404 edges, 109644 markings/sec, 145 secs
lola: 14591274 markings, 57022833 edges, 92087 markings/sec, 150 secs
lola: 15101641 markings, 58764187 edges, 102073 markings/sec, 155 secs
lola: 15554169 markings, 60653262 edges, 90506 markings/sec, 160 secs
lola: 16042729 markings, 62511994 edges, 97712 markings/sec, 165 secs
lola: 16531768 markings, 64301706 edges, 97808 markings/sec, 170 secs
lola: 17029525 markings, 66038345 edges, 99551 markings/sec, 175 secs
lola: 17510564 markings, 67803550 edges, 96208 markings/sec, 180 secs
lola: 17955627 markings, 69656714 edges, 89013 markings/sec, 185 secs
lola: 18395337 markings, 71578899 edges, 87942 markings/sec, 190 secs
lola: 18870134 markings, 73577757 edges, 94959 markings/sec, 195 secs
lola: 19351001 markings, 75580956 edges, 96173 markings/sec, 200 secs
lola: 19834007 markings, 77507127 edges, 96601 markings/sec, 205 secs
lola: 20263228 markings, 79494821 edges, 85844 markings/sec, 210 secs
lola: 20628103 markings, 81532111 edges, 72975 markings/sec, 215 secs
lola: 21024028 markings, 83504506 edges, 79185 markings/sec, 220 secs
lola: 21494058 markings, 85571666 edges, 94006 markings/sec, 225 secs
lola: 21911592 markings, 87714623 edges, 83507 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 481435 markings, 1467550 edges, 96287 markings/sec, 0 secs
lola: 932601 markings, 3067102 edges, 90233 markings/sec, 5 secs
lola: 1391673 markings, 4736335 edges, 91814 markings/sec, 10 secs
lola: 1845265 markings, 6300054 edges, 90718 markings/sec, 15 secs
lola: 2264474 markings, 8094812 edges, 83842 markings/sec, 20 secs
lola: 2697287 markings, 9890833 edges, 86563 markings/sec, 25 secs
lola: 3126172 markings, 11721815 edges, 85777 markings/sec, 30 secs
lola: 3571117 markings, 13372835 edges, 88989 markings/sec, 35 secs
lola: 3997340 markings, 14923069 edges, 85245 markings/sec, 40 secs
lola: 4408192 markings, 16471667 edges, 82170 markings/sec, 45 secs
lola: 4814468 markings, 17999714 edges, 81255 markings/sec, 50 secs
lola: 5222234 markings, 19507052 edges, 81553 markings/sec, 55 secs
lola: 5640062 markings, 21069225 edges, 83566 markings/sec, 60 secs
lola: 6046822 markings, 22810234 edges, 81352 markings/sec, 65 secs
lola: 6434876 markings, 24701928 edges, 77611 markings/sec, 70 secs
lola: 6818020 markings, 26698267 edges, 76629 markings/sec, 75 secs
lola: 7198826 markings, 28656149 edges, 76161 markings/sec, 80 secs
lola: 7598054 markings, 30638858 edges, 79846 markings/sec, 85 secs
lola: 7985269 markings, 32916034 edges, 77443 markings/sec, 90 secs
lola: 8368916 markings, 34834307 edges, 76729 markings/sec, 95 secs
lola: 8768538 markings, 36724899 edges, 79924 markings/sec, 100 secs
lola: 9138531 markings, 38545121 edges, 73999 markings/sec, 105 secs
lola: 9512674 markings, 40394775 edges, 74829 markings/sec, 110 secs
lola: 9874538 markings, 42349920 edges, 72373 markings/sec, 115 secs
lola: 10243767 markings, 44667821 edges, 73846 markings/sec, 120 secs
lola: 10619620 markings, 46920288 edges, 75171 markings/sec, 125 secs
lola: 11014962 markings, 49132263 edges, 79068 markings/sec, 130 secs
lola: 11440401 markings, 50718887 edges, 85088 markings/sec, 135 secs
lola: 11855650 markings, 52402515 edges, 83050 markings/sec, 140 secs
lola: 12250459 markings, 54219448 edges, 78962 markings/sec, 145 secs
lola: 12653666 markings, 55872488 edges, 80641 markings/sec, 150 secs
lola: 13040299 markings, 57352388 edges, 77327 markings/sec, 155 secs
lola: 13446977 markings, 58937430 edges, 81336 markings/sec, 160 secs
lola: 13836782 markings, 60785799 edges, 77961 markings/sec, 165 secs
lola: 14225061 markings, 62737354 edges, 77656 markings/sec, 170 secs
lola: 14588006 markings, 64580111 edges, 72589 markings/sec, 175 secs
lola: 14956178 markings, 66423424 edges, 73634 markings/sec, 180 secs
lola: 15312253 markings, 68570042 edges, 71215 markings/sec, 185 secs
lola: 15679514 markings, 70819599 edges, 73452 markings/sec, 190 secs
lola: 16097831 markings, 72419220 edges, 83663 markings/sec, 195 secs
lola: 16496467 markings, 74119650 edges, 79727 markings/sec, 200 secs
lola: 16905232 markings, 75864414 edges, 81753 markings/sec, 205 secs
lola: 17289401 markings, 77804581 edges, 76834 markings/sec, 210 secs
lola: 17648024 markings, 79583788 edges, 71725 markings/sec, 215 secs
lola: 18013510 markings, 81750718 edges, 73097 markings/sec, 220 secs
lola: 18400876 markings, 83625300 edges, 77473 markings/sec, 225 secs
lola: 18770232 markings, 85606843 edges, 73871 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 7 will run for 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 519691 markings, 1667130 edges, 103938 markings/sec, 0 secs
lola: 1030726 markings, 3612796 edges, 102207 markings/sec, 5 secs
lola: 1522714 markings, 5840378 edges, 98398 markings/sec, 10 secs
lola: 1990192 markings, 7516029 edges, 93496 markings/sec, 15 secs
lola: 2475878 markings, 9613487 edges, 97137 markings/sec, 20 secs
lola: 2949160 markings, 11312511 edges, 94656 markings/sec, 25 secs
lola: 3384010 markings, 13008346 edges, 86970 markings/sec, 30 secs
lola: 3833286 markings, 14750188 edges, 89855 markings/sec, 35 secs
lola: 4253435 markings, 16467876 edges, 84030 markings/sec, 40 secs
lola: 4678898 markings, 18153112 edges, 85093 markings/sec, 45 secs
lola: 5092037 markings, 19935500 edges, 82628 markings/sec, 50 secs
lola: 5508753 markings, 22018965 edges, 83343 markings/sec, 55 secs
lola: 5904243 markings, 23978161 edges, 79098 markings/sec, 60 secs
lola: 6274936 markings, 25989003 edges, 74139 markings/sec, 65 secs
lola: 6662730 markings, 27965645 edges, 77559 markings/sec, 70 secs
lola: 7034641 markings, 29992399 edges, 74382 markings/sec, 75 secs
lola: 7380861 markings, 32058622 edges, 69244 markings/sec, 80 secs
lola: 7829718 markings, 34322475 edges, 89771 markings/sec, 85 secs
lola: 8247466 markings, 36344039 edges, 83550 markings/sec, 90 secs
lola: 8666703 markings, 38383369 edges, 83847 markings/sec, 95 secs
lola: 9041611 markings, 40514903 edges, 74982 markings/sec, 100 secs
lola: 9419550 markings, 42730315 edges, 75588 markings/sec, 105 secs
lola: 9866227 markings, 44876090 edges, 89335 markings/sec, 110 secs
lola: 10299611 markings, 47228691 edges, 86677 markings/sec, 115 secs
lola: 10692749 markings, 49853479 edges, 78628 markings/sec, 120 secs
lola: 11102606 markings, 52487666 edges, 81971 markings/sec, 125 secs
lola: 11513451 markings, 54902212 edges, 82169 markings/sec, 130 secs
lola: 11971594 markings, 56802927 edges, 91629 markings/sec, 135 secs
lola: 12426559 markings, 58797640 edges, 90993 markings/sec, 140 secs
lola: 12874577 markings, 60542154 edges, 89604 markings/sec, 145 secs
lola: 13283564 markings, 62296336 edges, 81797 markings/sec, 150 secs
lola: 13702357 markings, 64070065 edges, 83759 markings/sec, 155 secs
lola: 14088960 markings, 66085108 edges, 77321 markings/sec, 160 secs
lola: 14457319 markings, 68120051 edges, 73672 markings/sec, 165 secs
lola: 14836849 markings, 70041330 edges, 75906 markings/sec, 170 secs
lola: 15203070 markings, 72065157 edges, 73244 markings/sec, 175 secs
lola: 15574289 markings, 74068250 edges, 74244 markings/sec, 180 secs
lola: 15917287 markings, 76229446 edges, 68600 markings/sec, 185 secs
lola: 16333405 markings, 78315012 edges, 83224 markings/sec, 190 secs
lola: 16765608 markings, 80479982 edges, 86441 markings/sec, 195 secs
lola: 17153788 markings, 82946307 edges, 77636 markings/sec, 200 secs
lola: 17555951 markings, 85634870 edges, 80433 markings/sec, 205 secs
lola: 18002512 markings, 87311116 edges, 89312 markings/sec, 210 secs
lola: 18398266 markings, 89110737 edges, 79151 markings/sec, 215 secs
lola: 18780032 markings, 91003771 edges, 76353 markings/sec, 220 secs
lola: 19141424 markings, 92971734 edges, 72278 markings/sec, 225 secs
lola: 19509153 markings, 94899332 edges, 73546 markings/sec, 230 secs
lola: 19855074 markings, 96983173 edges, 69184 markings/sec, 235 secs
lola: 20300105 markings, 99051416 edges, 89006 markings/sec, 240 secs
lola: 20709784 markings, 101377078 edges, 81936 markings/sec, 245 secs
lola: 21110769 markings, 103625792 edges, 80197 markings/sec, 250 secs
lola: 21517135 markings, 105433335 edges, 81273 markings/sec, 255 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 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 523065 markings, 1353117 edges, 104613 markings/sec, 0 secs
lola: 1002335 markings, 2784582 edges, 95854 markings/sec, 5 secs
lola: 1424184 markings, 4180321 edges, 84370 markings/sec, 10 secs
lola: 1917827 markings, 5722782 edges, 98729 markings/sec, 15 secs
lola: 2472260 markings, 7236726 edges, 110887 markings/sec, 20 secs
lola: 2912010 markings, 8841500 edges, 87950 markings/sec, 25 secs
lola: 3392594 markings, 10312011 edges, 96117 markings/sec, 30 secs
lola: 3896060 markings, 12030785 edges, 100693 markings/sec, 35 secs
lola: 4414190 markings, 13809016 edges, 103626 markings/sec, 40 secs
lola: 4907927 markings, 15548609 edges, 98747 markings/sec, 45 secs
lola: 5387511 markings, 17213974 edges, 95917 markings/sec, 50 secs
lola: 5825963 markings, 18855693 edges, 87690 markings/sec, 55 secs
lola: 6291877 markings, 20524093 edges, 93183 markings/sec, 60 secs
lola: 6767030 markings, 22218423 edges, 95031 markings/sec, 65 secs
lola: 7249875 markings, 23867268 edges, 96569 markings/sec, 70 secs
lola: 7734703 markings, 25389043 edges, 96966 markings/sec, 75 secs
lola: 8238211 markings, 27052153 edges, 100702 markings/sec, 80 secs
lola: 8690090 markings, 28791010 edges, 90376 markings/sec, 85 secs
lola: 9124362 markings, 30830088 edges, 86854 markings/sec, 90 secs
lola: 9566336 markings, 32852125 edges, 88395 markings/sec, 95 secs
lola: 9998646 markings, 34791680 edges, 86462 markings/sec, 100 secs
lola: 10448089 markings, 36719249 edges, 89889 markings/sec, 105 secs
lola: 10926737 markings, 38661554 edges, 95730 markings/sec, 110 secs
lola: 11408769 markings, 40522663 edges, 96406 markings/sec, 115 secs
lola: 11837144 markings, 42534262 edges, 85675 markings/sec, 120 secs
lola: 12259474 markings, 44479886 edges, 84466 markings/sec, 125 secs
lola: 12696280 markings, 46439655 edges, 87361 markings/sec, 130 secs
lola: 13125969 markings, 48445031 edges, 85938 markings/sec, 135 secs
lola: 13548658 markings, 50395987 edges, 84538 markings/sec, 140 secs
lola: 13998624 markings, 52347493 edges, 89993 markings/sec, 145 secs
lola: 14413805 markings, 54299008 edges, 83036 markings/sec, 150 secs
lola: 14863118 markings, 56196344 edges, 89863 markings/sec, 155 secs
lola: 15246819 markings, 58167918 edges, 76740 markings/sec, 160 secs
lola: 15666747 markings, 60131692 edges, 83986 markings/sec, 165 secs
lola: 16104952 markings, 62159275 edges, 87641 markings/sec, 170 secs
lola: 16474206 markings, 64111539 edges, 73851 markings/sec, 175 secs
lola: 16872963 markings, 66162751 edges, 79751 markings/sec, 180 secs
lola: 17286360 markings, 68198572 edges, 82679 markings/sec, 185 secs
lola: 17710928 markings, 70157909 edges, 84914 markings/sec, 190 secs
lola: 18110784 markings, 72265270 edges, 79971 markings/sec, 195 secs
lola: 18491182 markings, 74580306 edges, 76080 markings/sec, 200 secs
lola: 18873877 markings, 76802260 edges, 76539 markings/sec, 205 secs
lola: 19282992 markings, 78993986 edges, 81823 markings/sec, 210 secs
lola: 19626409 markings, 81188696 edges, 68683 markings/sec, 215 secs
lola: 20000866 markings, 83487798 edges, 74891 markings/sec, 220 secs
lola: 20376437 markings, 85766483 edges, 75114 markings/sec, 225 secs
lola: 20782164 markings, 87704548 edges, 81145 markings/sec, 230 secs
lola: 21247743 markings, 89505924 edges, 93116 markings/sec, 235 secs
lola: 21643050 markings, 91385454 edges, 79061 markings/sec, 240 secs
lola: 22089879 markings, 93352602 edges, 89366 markings/sec, 245 secs
lola: 22517645 markings, 95305170 edges, 85553 markings/sec, 250 secs
lola: 22928776 markings, 97250843 edges, 82226 markings/sec, 255 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 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 484631 markings, 1597798 edges, 96926 markings/sec, 0 secs
lola: 924160 markings, 3247678 edges, 87906 markings/sec, 5 secs
lola: 1330926 markings, 4816921 edges, 81353 markings/sec, 10 secs
lola: 1716952 markings, 6593764 edges, 77205 markings/sec, 15 secs
lola: 2133084 markings, 8255256 edges, 83226 markings/sec, 20 secs
lola: 2546788 markings, 9897649 edges, 82741 markings/sec, 25 secs
lola: 2979027 markings, 11491425 edges, 86448 markings/sec, 30 secs
lola: 3420538 markings, 13245809 edges, 88302 markings/sec, 35 secs
lola: 3850127 markings, 15182320 edges, 85918 markings/sec, 40 secs
lola: 4307338 markings, 16933604 edges, 91442 markings/sec, 45 secs
lola: 4750873 markings, 18797013 edges, 88707 markings/sec, 50 secs
lola: 5181174 markings, 20558458 edges, 86060 markings/sec, 55 secs
lola: 5628929 markings, 22272857 edges, 89551 markings/sec, 60 secs
lola: 6024903 markings, 24032447 edges, 79195 markings/sec, 65 secs
lola: 6398819 markings, 25688756 edges, 74783 markings/sec, 70 secs
lola: 6767105 markings, 27333568 edges, 73657 markings/sec, 75 secs
lola: 7159926 markings, 28856818 edges, 78564 markings/sec, 80 secs
lola: 7531270 markings, 30497461 edges, 74269 markings/sec, 85 secs
lola: 7884714 markings, 32113423 edges, 70689 markings/sec, 90 secs
lola: 8274885 markings, 33764485 edges, 78034 markings/sec, 95 secs
lola: 8690553 markings, 35534011 edges, 83134 markings/sec, 100 secs
lola: 9083504 markings, 37285887 edges, 78590 markings/sec, 105 secs
lola: 9412644 markings, 39135284 edges, 65828 markings/sec, 110 secs
lola: 9814695 markings, 41132014 edges, 80410 markings/sec, 115 secs
lola: 10170340 markings, 43086038 edges, 71129 markings/sec, 120 secs
lola: 10540130 markings, 45143129 edges, 73958 markings/sec, 125 secs
lola: 10871524 markings, 47176416 edges, 66279 markings/sec, 130 secs
lola: 11236687 markings, 49245414 edges, 73033 markings/sec, 135 secs
lola: 11612581 markings, 51338754 edges, 75179 markings/sec, 140 secs
lola: 11963149 markings, 53550603 edges, 70114 markings/sec, 145 secs
lola: 12324313 markings, 55828512 edges, 72233 markings/sec, 150 secs
lola: 12740992 markings, 57906374 edges, 83336 markings/sec, 155 secs
lola: 13154118 markings, 59947918 edges, 82625 markings/sec, 160 secs
lola: 13492240 markings, 61765238 edges, 67624 markings/sec, 165 secs
lola: 13844186 markings, 63484336 edges, 70389 markings/sec, 170 secs
lola: 14191199 markings, 65349775 edges, 69403 markings/sec, 175 secs
lola: 14508009 markings, 67166088 edges, 63362 markings/sec, 180 secs
lola: 14873821 markings, 69074526 edges, 73162 markings/sec, 185 secs
lola: 15258640 markings, 71135493 edges, 76964 markings/sec, 190 secs
lola: 15614530 markings, 73338384 edges, 71178 markings/sec, 195 secs
lola: 16003781 markings, 75628021 edges, 77850 markings/sec, 200 secs
lola: 16313833 markings, 77859311 edges, 62010 markings/sec, 205 secs
lola: 16685223 markings, 80157482 edges, 74278 markings/sec, 210 secs
lola: 17050783 markings, 82574241 edges, 73112 markings/sec, 215 secs
lola: 17452752 markings, 84684456 edges, 80394 markings/sec, 220 secs
lola: 17846345 markings, 86323153 edges, 78719 markings/sec, 225 secs
lola: 18218798 markings, 88051739 edges, 74491 markings/sec, 230 secs
lola: 18606296 markings, 89708841 edges, 77500 markings/sec, 235 secs
lola: 19034723 markings, 91404606 edges, 85685 markings/sec, 240 secs
lola: 19432843 markings, 93198397 edges, 79624 markings/sec, 245 secs
lola: 19829020 markings, 95057851 edges, 79235 markings/sec, 250 secs
lola: 20196360 markings, 96793153 edges, 73468 markings/sec, 255 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 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 485883 markings, 1780019 edges, 97177 markings/sec, 0 secs
lola: 950079 markings, 3502111 edges, 92839 markings/sec, 5 secs
lola: 1582029 markings, 5056448 edges, 126390 markings/sec, 10 secs
lola: 2140422 markings, 7083357 edges, 111679 markings/sec, 15 secs
lola: 2561527 markings, 9262578 edges, 84221 markings/sec, 20 secs
lola: 3083282 markings, 11087723 edges, 104351 markings/sec, 25 secs
lola: 3578266 markings, 13192023 edges, 98997 markings/sec, 30 secs
lola: 4074073 markings, 15071480 edges, 99161 markings/sec, 35 secs
lola: 4506545 markings, 16944417 edges, 86494 markings/sec, 40 secs
lola: 4876540 markings, 18813198 edges, 73999 markings/sec, 45 secs
lola: 5234695 markings, 20732856 edges, 71631 markings/sec, 50 secs
lola: 5723065 markings, 22688786 edges, 97674 markings/sec, 55 secs
lola: 6125338 markings, 24504296 edges, 80455 markings/sec, 60 secs
lola: 6488969 markings, 26388133 edges, 72726 markings/sec, 65 secs
lola: 6856603 markings, 28295070 edges, 73527 markings/sec, 70 secs
lola: 7224192 markings, 30126291 edges, 73518 markings/sec, 75 secs
lola: 7695744 markings, 31846634 edges, 94310 markings/sec, 80 secs
lola: 8173451 markings, 33648553 edges, 95541 markings/sec, 85 secs
lola: 8627857 markings, 35281231 edges, 90881 markings/sec, 90 secs
lola: 9037462 markings, 37027684 edges, 81921 markings/sec, 95 secs
lola: 9614962 markings, 38635034 edges, 115500 markings/sec, 100 secs
lola: 10110431 markings, 40522717 edges, 99094 markings/sec, 105 secs
lola: 10513123 markings, 42214595 edges, 80538 markings/sec, 110 secs
lola: 10922152 markings, 43956266 edges, 81806 markings/sec, 115 secs
lola: 11387723 markings, 45553847 edges, 93114 markings/sec, 120 secs
lola: 11863669 markings, 47247952 edges, 95189 markings/sec, 125 secs
lola: 12428049 markings, 48892763 edges, 112876 markings/sec, 130 secs
lola: 12965599 markings, 50635035 edges, 107510 markings/sec, 135 secs
lola: 13558620 markings, 52078194 edges, 118604 markings/sec, 140 secs
lola: 14107600 markings, 53844234 edges, 109796 markings/sec, 145 secs
lola: 14594473 markings, 55824068 edges, 97375 markings/sec, 150 secs
lola: 15150051 markings, 57721824 edges, 111116 markings/sec, 155 secs
lola: 15557162 markings, 59836247 edges, 81422 markings/sec, 160 secs
lola: 15924414 markings, 61783694 edges, 73450 markings/sec, 165 secs
lola: 16401467 markings, 63832123 edges, 95411 markings/sec, 170 secs
lola: 16871952 markings, 65916185 edges, 94097 markings/sec, 175 secs
lola: 17369381 markings, 67753874 edges, 99486 markings/sec, 180 secs
lola: 17833427 markings, 69525536 edges, 92809 markings/sec, 185 secs
lola: 18286567 markings, 71478414 edges, 90628 markings/sec, 190 secs
lola: 18677012 markings, 73602357 edges, 78089 markings/sec, 195 secs
lola: 19146148 markings, 75771695 edges, 93827 markings/sec, 200 secs
lola: 19572453 markings, 78025718 edges, 85261 markings/sec, 205 secs
lola: 20002469 markings, 80173030 edges, 86003 markings/sec, 210 secs
lola: 20492075 markings, 82352491 edges, 97921 markings/sec, 215 secs
lola: 20867276 markings, 84493964 edges, 75040 markings/sec, 220 secs
lola: 21288909 markings, 86528308 edges, 84327 markings/sec, 225 secs
lola: 21691334 markings, 88563473 edges, 80485 markings/sec, 230 secs
lola: 22193211 markings, 90516432 edges, 100375 markings/sec, 235 secs
lola: 22680381 markings, 92514221 edges, 97434 markings/sec, 240 secs
lola: 23167513 markings, 94436964 edges, 97426 markings/sec, 245 secs
lola: 23563215 markings, 96383296 edges, 79140 markings/sec, 250 secs
lola: 24010858 markings, 98404039 edges, 89529 markings/sec, 255 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 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 487050 markings, 1529985 edges, 97410 markings/sec, 0 secs
lola: 941432 markings, 3293381 edges, 90876 markings/sec, 5 secs
lola: 1362136 markings, 5291442 edges, 84141 markings/sec, 10 secs
lola: 1762845 markings, 7220246 edges, 80142 markings/sec, 15 secs
lola: 2137339 markings, 9048843 edges, 74899 markings/sec, 20 secs
lola: 2503405 markings, 10908652 edges, 73213 markings/sec, 25 secs
lola: 2859599 markings, 12764003 edges, 71239 markings/sec, 30 secs
lola: 3219924 markings, 14693642 edges, 72065 markings/sec, 35 secs
lola: 3607030 markings, 16623963 edges, 77421 markings/sec, 40 secs
lola: 3976499 markings, 18583317 edges, 73894 markings/sec, 45 secs
lola: 4326414 markings, 20566984 edges, 69983 markings/sec, 50 secs
lola: 4683681 markings, 22519248 edges, 71453 markings/sec, 55 secs
lola: 5041446 markings, 24423633 edges, 71553 markings/sec, 60 secs
lola: 5371252 markings, 26478979 edges, 65961 markings/sec, 65 secs
lola: 5709385 markings, 28555571 edges, 67627 markings/sec, 70 secs
lola: 6047778 markings, 30657153 edges, 67679 markings/sec, 75 secs
lola: 6391717 markings, 32581293 edges, 68788 markings/sec, 80 secs
lola: 6715230 markings, 34709079 edges, 64703 markings/sec, 85 secs
lola: 7039856 markings, 36862130 edges, 64925 markings/sec, 90 secs
lola: 7386004 markings, 38749849 edges, 69230 markings/sec, 95 secs
lola: 7746746 markings, 40901296 edges, 72148 markings/sec, 100 secs
lola: 8206136 markings, 42537142 edges, 91878 markings/sec, 105 secs
lola: 8610184 markings, 44469177 edges, 80810 markings/sec, 110 secs
lola: 8970363 markings, 46256628 edges, 72036 markings/sec, 115 secs
lola: 9326325 markings, 48137040 edges, 71192 markings/sec, 120 secs
lola: 9691449 markings, 50088697 edges, 73025 markings/sec, 125 secs
lola: 10038693 markings, 51882842 edges, 69449 markings/sec, 130 secs
lola: 10371848 markings, 53942432 edges, 66631 markings/sec, 135 secs
lola: 10701069 markings, 56030885 edges, 65844 markings/sec, 140 secs
lola: 11065895 markings, 57938045 edges, 72965 markings/sec, 145 secs
lola: 11397303 markings, 59975920 edges, 66282 markings/sec, 150 secs
lola: 11740233 markings, 62056778 edges, 68586 markings/sec, 155 secs
lola: 12102909 markings, 63993021 edges, 72535 markings/sec, 160 secs
lola: 12475381 markings, 65871177 edges, 74494 markings/sec, 165 secs
lola: 12810098 markings, 67712356 edges, 66943 markings/sec, 170 secs
lola: 13159911 markings, 69597675 edges, 69963 markings/sec, 175 secs
lola: 13496783 markings, 71701733 edges, 67374 markings/sec, 180 secs
lola: 13830900 markings, 73712063 edges, 66823 markings/sec, 185 secs
lola: 14165974 markings, 75732473 edges, 67015 markings/sec, 190 secs
lola: 14511546 markings, 77690342 edges, 69114 markings/sec, 195 secs
lola: 14838243 markings, 79646673 edges, 65339 markings/sec, 200 secs
lola: 15158686 markings, 81547267 edges, 64089 markings/sec, 205 secs
lola: 15469874 markings, 83575691 edges, 62238 markings/sec, 210 secs
lola: 15840924 markings, 85608635 edges, 74210 markings/sec, 215 secs
lola: 16207334 markings, 87794250 edges, 73282 markings/sec, 220 secs
lola: 16561691 markings, 90024666 edges, 70871 markings/sec, 225 secs
lola: 16943189 markings, 92280567 edges, 76300 markings/sec, 230 secs
lola: 17300952 markings, 94615255 edges, 71553 markings/sec, 235 secs
lola: 17635488 markings, 96893842 edges, 66907 markings/sec, 240 secs
lola: 17950131 markings, 99232562 edges, 62929 markings/sec, 245 secs
lola: 18259590 markings, 101602952 edges, 61892 markings/sec, 250 secs
lola: 18563547 markings, 103923483 edges, 60791 markings/sec, 255 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 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 518928 markings, 1664912 edges, 103786 markings/sec, 0 secs
lola: 1023685 markings, 3572007 edges, 100951 markings/sec, 5 secs
lola: 1512890 markings, 5814685 edges, 97841 markings/sec, 10 secs
lola: 1979565 markings, 7476890 edges, 93335 markings/sec, 15 secs
lola: 2465239 markings, 9582338 edges, 97135 markings/sec, 20 secs
lola: 2940220 markings, 11274637 edges, 94996 markings/sec, 25 secs
lola: 3377517 markings, 12978061 edges, 87459 markings/sec, 30 secs
lola: 3825687 markings, 14723753 edges, 89634 markings/sec, 35 secs
lola: 4249976 markings, 16451517 edges, 84858 markings/sec, 40 secs
lola: 4678078 markings, 18149608 edges, 85620 markings/sec, 45 secs
lola: 5098454 markings, 19964394 edges, 84075 markings/sec, 50 secs
lola: 5520012 markings, 22075453 edges, 84312 markings/sec, 55 secs
lola: 5918743 markings, 24050102 edges, 79746 markings/sec, 60 secs
lola: 6291732 markings, 26075179 edges, 74598 markings/sec, 65 secs
lola: 6679540 markings, 28069890 edges, 77562 markings/sec, 70 secs
lola: 7057040 markings, 30130417 edges, 75500 markings/sec, 75 secs
lola: 7415811 markings, 32276611 edges, 71754 markings/sec, 80 secs
lola: 7874093 markings, 34565577 edges, 91656 markings/sec, 85 secs
lola: 8286945 markings, 36536819 edges, 82570 markings/sec, 90 secs
lola: 8706913 markings, 38591017 edges, 83994 markings/sec, 95 secs
lola: 9075359 markings, 40735454 edges, 73689 markings/sec, 100 secs
lola: 9470745 markings, 42905033 edges, 79077 markings/sec, 105 secs
lola: 9910337 markings, 45128288 edges, 87918 markings/sec, 110 secs
lola: 10336288 markings, 47452671 edges, 85190 markings/sec, 115 secs
lola: 10740638 markings, 50118635 edges, 80870 markings/sec, 120 secs
lola: 11145889 markings, 52782529 edges, 81050 markings/sec, 125 secs
lola: 11556596 markings, 55100443 edges, 82141 markings/sec, 130 secs
lola: 12021457 markings, 57021168 edges, 92972 markings/sec, 135 secs
lola: 12480486 markings, 58985792 edges, 91806 markings/sec, 140 secs
lola: 12915600 markings, 60714534 edges, 87023 markings/sec, 145 secs
lola: 13323823 markings, 62473927 edges, 81645 markings/sec, 150 secs
lola: 13744084 markings, 64291232 edges, 84052 markings/sec, 155 secs
lola: 14125935 markings, 66320099 edges, 76370 markings/sec, 160 secs
lola: 14501245 markings, 68308723 edges, 75062 markings/sec, 165 secs
lola: 14879270 markings, 70263157 edges, 75605 markings/sec, 170 secs
lola: 15245403 markings, 72300605 edges, 73227 markings/sec, 175 secs
lola: 15618408 markings, 74318556 edges, 74601 markings/sec, 180 secs
lola: 15958649 markings, 76509679 edges, 68048 markings/sec, 185 secs
lola: 16392504 markings, 78617554 edges, 86771 markings/sec, 190 secs
lola: 16820478 markings, 80814693 edges, 85595 markings/sec, 195 secs
lola: 17217223 markings, 83378560 edges, 79349 markings/sec, 200 secs
lola: 17624298 markings, 85897442 edges, 81415 markings/sec, 205 secs
lola: 18075773 markings, 87613433 edges, 90295 markings/sec, 210 secs
lola: 18467283 markings, 89442576 edges, 78302 markings/sec, 215 secs
lola: 18852368 markings, 91381953 edges, 77017 markings/sec, 220 secs
lola: 19202065 markings, 93375713 edges, 69939 markings/sec, 225 secs
lola: 19581399 markings, 95297225 edges, 75867 markings/sec, 230 secs
lola: 19940289 markings, 97394895 edges, 71778 markings/sec, 235 secs
lola: 20395067 markings, 99518076 edges, 90956 markings/sec, 240 secs
lola: 20795010 markings, 101934615 edges, 79989 markings/sec, 245 secs
lola: 21208671 markings, 103995260 edges, 82732 markings/sec, 250 secs
lola: 21603415 markings, 105813021 edges, 78949 markings/sec, 255 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 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 443759 markings, 1414491 edges, 88752 markings/sec, 0 secs
lola: 860003 markings, 2887448 edges, 83249 markings/sec, 5 secs
lola: 1276966 markings, 4355229 edges, 83393 markings/sec, 10 secs
lola: 1685774 markings, 5723851 edges, 81762 markings/sec, 15 secs
lola: 2097125 markings, 7306624 edges, 82270 markings/sec, 20 secs
lola: 2495213 markings, 8910442 edges, 79618 markings/sec, 25 secs
lola: 2903439 markings, 10323491 edges, 81645 markings/sec, 30 secs
lola: 3299990 markings, 11930052 edges, 79310 markings/sec, 35 secs
lola: 3706732 markings, 13377345 edges, 81348 markings/sec, 40 secs
lola: 4130197 markings, 14886769 edges, 84693 markings/sec, 45 secs
lola: 4540116 markings, 16380867 edges, 81984 markings/sec, 50 secs
lola: 4951716 markings, 17860815 edges, 82320 markings/sec, 55 secs
lola: 5359175 markings, 19185495 edges, 81492 markings/sec, 60 secs
lola: 5744283 markings, 20808320 edges, 77022 markings/sec, 65 secs
lola: 6163038 markings, 22213769 edges, 83751 markings/sec, 70 secs
lola: 6551237 markings, 23950936 edges, 77640 markings/sec, 75 secs
lola: 6949098 markings, 25392341 edges, 79572 markings/sec, 80 secs
lola: 7342954 markings, 26910149 edges, 78771 markings/sec, 85 secs
lola: 7733331 markings, 28495614 edges, 78075 markings/sec, 90 secs
lola: 8098873 markings, 30223105 edges, 73108 markings/sec, 95 secs
lola: 8451606 markings, 32227277 edges, 70547 markings/sec, 100 secs
lola: 8829228 markings, 34083115 edges, 75524 markings/sec, 105 secs
lola: 9198292 markings, 35797806 edges, 73813 markings/sec, 110 secs
lola: 9582988 markings, 37389383 edges, 76939 markings/sec, 115 secs
lola: 9949270 markings, 39208167 edges, 73256 markings/sec, 120 secs
lola: 10294127 markings, 41206910 edges, 68971 markings/sec, 125 secs
lola: 10658185 markings, 42984825 edges, 72812 markings/sec, 130 secs
lola: 11020639 markings, 44906274 edges, 72491 markings/sec, 135 secs
lola: 11395853 markings, 46761967 edges, 75043 markings/sec, 140 secs
lola: 11778416 markings, 48620884 edges, 76513 markings/sec, 145 secs
lola: 12157594 markings, 50476189 edges, 75836 markings/sec, 150 secs
lola: 12547043 markings, 52328133 edges, 77890 markings/sec, 155 secs
lola: 12945055 markings, 54030400 edges, 79602 markings/sec, 160 secs
lola: 13327132 markings, 55600824 edges, 76415 markings/sec, 165 secs
lola: 13730654 markings, 57200600 edges, 80704 markings/sec, 170 secs
lola: 14142879 markings, 58599847 edges, 82445 markings/sec, 175 secs
lola: 14523405 markings, 60429124 edges, 76105 markings/sec, 180 secs
lola: 14891364 markings, 62365576 edges, 73592 markings/sec, 185 secs
lola: 15270594 markings, 64245945 edges, 75846 markings/sec, 190 secs
lola: 15671781 markings, 65777079 edges, 80237 markings/sec, 195 secs
lola: 16055695 markings, 67356116 edges, 76783 markings/sec, 200 secs
lola: 16419007 markings, 69289975 edges, 72662 markings/sec, 205 secs
lola: 16778940 markings, 71241686 edges, 71987 markings/sec, 210 secs
lola: 17146473 markings, 73107458 edges, 73507 markings/sec, 215 secs
lola: 17514036 markings, 74806703 edges, 73513 markings/sec, 220 secs
lola: 17865195 markings, 76774127 edges, 70232 markings/sec, 225 secs
lola: 18236941 markings, 78543935 edges, 74349 markings/sec, 230 secs
lola: 18629026 markings, 80180868 edges, 78417 markings/sec, 235 secs
lola: 19022871 markings, 81690368 edges, 78769 markings/sec, 240 secs
lola: 19407885 markings, 83310978 edges, 77003 markings/sec, 245 secs
lola: 19789467 markings, 84853964 edges, 76316 markings/sec, 250 secs
lola: 20145371 markings, 86681170 edges, 71181 markings/sec, 255 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 263 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 445023 markings, 1419378 edges, 89005 markings/sec, 0 secs
lola: 862301 markings, 2896338 edges, 83456 markings/sec, 5 secs
lola: 1280455 markings, 4365891 edges, 83631 markings/sec, 10 secs
lola: 1691683 markings, 5753247 edges, 82246 markings/sec, 15 secs
lola: 2103634 markings, 7329882 edges, 82390 markings/sec, 20 secs
lola: 2501914 markings, 8931087 edges, 79656 markings/sec, 25 secs
lola: 2918261 markings, 10366953 edges, 83269 markings/sec, 30 secs
lola: 3314094 markings, 11978576 edges, 79167 markings/sec, 35 secs
lola: 3719129 markings, 13431736 edges, 81007 markings/sec, 40 secs
lola: 4142987 markings, 14947917 edges, 84772 markings/sec, 45 secs
lola: 4551606 markings, 16433071 edges, 81724 markings/sec, 50 secs
lola: 4962386 markings, 17893646 edges, 82156 markings/sec, 55 secs
lola: 5366327 markings, 19206649 edges, 80788 markings/sec, 60 secs
lola: 5737579 markings, 20772354 edges, 74250 markings/sec, 65 secs
lola: 6154310 markings, 22191197 edges, 83346 markings/sec, 70 secs
lola: 6539521 markings, 23910803 edges, 77042 markings/sec, 75 secs
lola: 6937802 markings, 25338523 edges, 79656 markings/sec, 80 secs
lola: 7333882 markings, 26868747 edges, 79216 markings/sec, 85 secs
lola: 7723619 markings, 28438555 edges, 77947 markings/sec, 90 secs
lola: 8092044 markings, 30179508 edges, 73685 markings/sec, 95 secs
lola: 8445998 markings, 32204400 edges, 70791 markings/sec, 100 secs
lola: 8823077 markings, 34053511 edges, 75416 markings/sec, 105 secs
lola: 9191450 markings, 35770345 edges, 73675 markings/sec, 110 secs
lola: 9575819 markings, 37365334 edges, 76874 markings/sec, 115 secs
lola: 9941918 markings, 39164327 edges, 73220 markings/sec, 120 secs
lola: 10286363 markings, 41158791 edges, 68889 markings/sec, 125 secs
lola: 10648901 markings, 42936147 edges, 72508 markings/sec, 130 secs
lola: 11005206 markings, 44828067 edges, 71261 markings/sec, 135 secs
lola: 11375215 markings, 46683619 edges, 74002 markings/sec, 140 secs
lola: 11753580 markings, 48511063 edges, 75673 markings/sec, 145 secs
lola: 12125130 markings, 50320178 edges, 74310 markings/sec, 150 secs
lola: 12513580 markings, 52164432 edges, 77690 markings/sec, 155 secs
lola: 12906896 markings, 53897026 edges, 78663 markings/sec, 160 secs
lola: 13309073 markings, 55540329 edges, 80435 markings/sec, 165 secs
lola: 13711053 markings, 57143025 edges, 80396 markings/sec, 170 secs
lola: 14120783 markings, 58523711 edges, 81946 markings/sec, 175 secs
lola: 14494863 markings, 60283037 edges, 74816 markings/sec, 180 secs
lola: 14853865 markings, 62147018 edges, 71800 markings/sec, 185 secs
lola: 15229869 markings, 64036301 edges, 75201 markings/sec, 190 secs
lola: 15628008 markings, 65603549 edges, 79628 markings/sec, 195 secs
lola: 16012902 markings, 67124587 edges, 76979 markings/sec, 200 secs
lola: 16371238 markings, 69053346 edges, 71667 markings/sec, 205 secs
lola: 16735028 markings, 70945387 edges, 72758 markings/sec, 210 secs
lola: 17095096 markings, 72922443 edges, 72014 markings/sec, 215 secs
lola: 17470162 markings, 74569116 edges, 75013 markings/sec, 220 secs
lola: 17824312 markings, 76489410 edges, 70830 markings/sec, 225 secs
lola: 18184804 markings, 78346782 edges, 72098 markings/sec, 230 secs
lola: 18549290 markings, 79901444 edges, 72897 markings/sec, 235 secs
lola: 18950863 markings, 81332199 edges, 80315 markings/sec, 240 secs
lola: 19332554 markings, 83023686 edges, 76338 markings/sec, 245 secs
lola: 19704098 markings, 84501955 edges, 74309 markings/sec, 250 secs
lola: 20060328 markings, 86342894 edges, 71246 markings/sec, 255 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 263 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 517778 markings, 1440157 edges, 103556 markings/sec, 0 secs
lola: 925389 markings, 3113363 edges, 81522 markings/sec, 5 secs
lola: 1320363 markings, 4796486 edges, 78995 markings/sec, 10 secs
lola: 1705626 markings, 6575640 edges, 77053 markings/sec, 15 secs
lola: 2097816 markings, 8374318 edges, 78438 markings/sec, 20 secs
lola: 2444699 markings, 10341219 edges, 69377 markings/sec, 25 secs
lola: 2844880 markings, 12240372 edges, 80036 markings/sec, 30 secs
lola: 3173956 markings, 14143320 edges, 65815 markings/sec, 35 secs
lola: 3600206 markings, 15615402 edges, 85250 markings/sec, 40 secs
lola: 4003099 markings, 17208906 edges, 80579 markings/sec, 45 secs
lola: 4352787 markings, 18895016 edges, 69938 markings/sec, 50 secs
lola: 4706154 markings, 20575081 edges, 70673 markings/sec, 55 secs
lola: 5043346 markings, 22295060 edges, 67438 markings/sec, 60 secs
lola: 5388362 markings, 23989223 edges, 69003 markings/sec, 65 secs
lola: 5723910 markings, 25787955 edges, 67110 markings/sec, 70 secs
lola: 6030352 markings, 27736122 edges, 61288 markings/sec, 75 secs
lola: 6359225 markings, 29704291 edges, 65775 markings/sec, 80 secs
lola: 6694168 markings, 31587419 edges, 66989 markings/sec, 85 secs
lola: 7032925 markings, 33489850 edges, 67751 markings/sec, 90 secs
lola: 7337622 markings, 35553550 edges, 60939 markings/sec, 95 secs
lola: 7685169 markings, 36970230 edges, 69509 markings/sec, 100 secs
lola: 8076946 markings, 38453136 edges, 78355 markings/sec, 105 secs
lola: 8424621 markings, 40168280 edges, 69535 markings/sec, 110 secs
lola: 8835084 markings, 41796229 edges, 82093 markings/sec, 115 secs
lola: 9220707 markings, 43564703 edges, 77125 markings/sec, 120 secs
lola: 9589725 markings, 45277856 edges, 73804 markings/sec, 125 secs
lola: 9918459 markings, 46969631 edges, 65747 markings/sec, 130 secs
lola: 10268859 markings, 48685300 edges, 70080 markings/sec, 135 secs
lola: 10606308 markings, 50341806 edges, 67490 markings/sec, 140 secs
lola: 10918540 markings, 52017774 edges, 62446 markings/sec, 145 secs
lola: 11234650 markings, 53704072 edges, 63222 markings/sec, 150 secs
lola: 11541968 markings, 55428659 edges, 61464 markings/sec, 155 secs
lola: 11829809 markings, 57252912 edges, 57568 markings/sec, 160 secs
lola: 12111424 markings, 59238606 edges, 56323 markings/sec, 165 secs
lola: 12437093 markings, 61052066 edges, 65134 markings/sec, 170 secs
lola: 12769759 markings, 62872275 edges, 66533 markings/sec, 175 secs
lola: 13071036 markings, 64679361 edges, 60255 markings/sec, 180 secs
lola: 13375737 markings, 66678093 edges, 60940 markings/sec, 185 secs
lola: 13780247 markings, 68345024 edges, 80902 markings/sec, 190 secs
lola: 14191261 markings, 69910226 edges, 82203 markings/sec, 195 secs
lola: 14611745 markings, 71463661 edges, 84097 markings/sec, 200 secs
lola: 14996596 markings, 73129061 edges, 76970 markings/sec, 205 secs
lola: 15420968 markings, 74959010 edges, 84874 markings/sec, 210 secs
lola: 15847186 markings, 76864681 edges, 85244 markings/sec, 215 secs
lola: 16252806 markings, 78493942 edges, 81124 markings/sec, 220 secs
lola: 16656344 markings, 80343712 edges, 80708 markings/sec, 225 secs
lola: 17051337 markings, 82107483 edges, 78999 markings/sec, 230 secs
lola: 17448460 markings, 83911864 edges, 79425 markings/sec, 235 secs
lola: 17843142 markings, 85660210 edges, 78936 markings/sec, 240 secs
lola: 18231963 markings, 87403561 edges, 77764 markings/sec, 245 secs
lola: 18578640 markings, 89513463 edges, 69335 markings/sec, 250 secs
lola: 18936444 markings, 91561676 edges, 71561 markings/sec, 255 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-0 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496347640379

--------------------
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_DNAwalker-PT-14ringLRLarge"
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_DNAwalker-PT-14ringLRLarge.tgz
mv S_DNAwalker-PT-14ringLRLarge execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_DNAwalker-PT-14ringLRLarge, 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 r108-blw3-149441612100119"
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 ;