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 DNAwalker-PT-12ringLLLarge, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-blw3-149440263900101
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494663392160


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DNAwalker-PT-12ringLLLarge @ 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-12ringLLLarge-UpperBounds.task
lola: MAX(A10) : MAX(A21) : MAX(A14) : MAX(A10) : MAX(B5) : MAX(A3) : MAX(A1) : MAX(A4) : MAX(A13) : MAX(B4) : MAX(A21) : MAX(A2) : MAX(A18) : MAX(A17) : MAX(A10) : MAX(A18)
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(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: 571098 markings, 1569622 edges, 114220 markings/sec, 0 secs
lola: 1086407 markings, 3542802 edges, 103062 markings/sec, 5 secs
lola: 1585920 markings, 5583078 edges, 99903 markings/sec, 10 secs
lola: 2079454 markings, 7723384 edges, 98707 markings/sec, 15 secs
lola: 2572133 markings, 9957215 edges, 98536 markings/sec, 20 secs
lola: 3100865 markings, 11727137 edges, 105746 markings/sec, 25 secs
lola: 3586409 markings, 13557473 edges, 97109 markings/sec, 30 secs
lola: 4068215 markings, 15435803 edges, 96361 markings/sec, 35 secs
lola: 4525883 markings, 17210088 edges, 91534 markings/sec, 40 secs
lola: 4943420 markings, 19091859 edges, 83507 markings/sec, 45 secs
lola: 5363163 markings, 20752686 edges, 83949 markings/sec, 50 secs
lola: 5746500 markings, 22607786 edges, 76667 markings/sec, 55 secs
lola: 6143547 markings, 24310569 edges, 79409 markings/sec, 60 secs
lola: 6534034 markings, 25959693 edges, 78097 markings/sec, 65 secs
lola: 6920868 markings, 28000939 edges, 77367 markings/sec, 70 secs
lola: 7295937 markings, 30090850 edges, 75014 markings/sec, 75 secs
lola: 7668608 markings, 32082370 edges, 74534 markings/sec, 80 secs
lola: 8095098 markings, 33893480 edges, 85298 markings/sec, 85 secs
lola: 8513179 markings, 35523450 edges, 83616 markings/sec, 90 secs
lola: 8919831 markings, 37488856 edges, 81330 markings/sec, 95 secs
lola: 9312378 markings, 39486104 edges, 78509 markings/sec, 100 secs
lola: 9703405 markings, 41495523 edges, 78205 markings/sec, 105 secs
lola: 10077120 markings, 43706761 edges, 74743 markings/sec, 110 secs
lola: 10472750 markings, 45783186 edges, 79126 markings/sec, 115 secs
lola: 10848546 markings, 48049912 edges, 75159 markings/sec, 120 secs
lola: 11254454 markings, 49851241 edges, 81182 markings/sec, 125 secs
lola: 11663837 markings, 51706246 edges, 81877 markings/sec, 130 secs
lola: 12037360 markings, 53591083 edges, 74705 markings/sec, 135 secs
lola: 12442107 markings, 55334644 edges, 80949 markings/sec, 140 secs
lola: 12833847 markings, 57295179 edges, 78348 markings/sec, 145 secs
lola: 13227916 markings, 59236675 edges, 78814 markings/sec, 150 secs
lola: 13648560 markings, 60873526 edges, 84129 markings/sec, 155 secs
lola: 14034991 markings, 62834603 edges, 77286 markings/sec, 160 secs
lola: 14414851 markings, 64938292 edges, 75972 markings/sec, 165 secs
lola: 14793464 markings, 67130621 edges, 75723 markings/sec, 170 secs
lola: 15200484 markings, 68982480 edges, 81404 markings/sec, 175 secs
lola: 15574813 markings, 70932817 edges, 74866 markings/sec, 180 secs
lola: 15938877 markings, 73091926 edges, 72813 markings/sec, 185 secs
lola: 16315813 markings, 74945604 edges, 75387 markings/sec, 190 secs
lola: 16675574 markings, 77021904 edges, 71952 markings/sec, 195 secs
lola: 17056027 markings, 78825680 edges, 76091 markings/sec, 200 secs
lola: 17447879 markings, 80409540 edges, 78370 markings/sec, 205 secs
lola: 17812585 markings, 82302481 edges, 72941 markings/sec, 210 secs
lola: 18168008 markings, 84278543 edges, 71085 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(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: 481824 markings, 1754599 edges, 96365 markings/sec, 0 secs
lola: 917579 markings, 3438179 edges, 87151 markings/sec, 5 secs
lola: 1317683 markings, 5194629 edges, 80021 markings/sec, 10 secs
lola: 1710719 markings, 6835935 edges, 78607 markings/sec, 15 secs
lola: 2094236 markings, 8538944 edges, 76703 markings/sec, 20 secs
lola: 2540721 markings, 10188511 edges, 89297 markings/sec, 25 secs
lola: 2943082 markings, 11941740 edges, 80472 markings/sec, 30 secs
lola: 3329029 markings, 13606512 edges, 77189 markings/sec, 35 secs
lola: 3740786 markings, 15252718 edges, 82351 markings/sec, 40 secs
lola: 4120567 markings, 16998404 edges, 75956 markings/sec, 45 secs
lola: 4514440 markings, 18759550 edges, 78775 markings/sec, 50 secs
lola: 4889088 markings, 20656858 edges, 74930 markings/sec, 55 secs
lola: 5254104 markings, 22536156 edges, 73003 markings/sec, 60 secs
lola: 5680789 markings, 24206219 edges, 85337 markings/sec, 65 secs
lola: 6082086 markings, 25944032 edges, 80259 markings/sec, 70 secs
lola: 6483893 markings, 27656971 edges, 80361 markings/sec, 75 secs
lola: 6866623 markings, 29447118 edges, 76546 markings/sec, 80 secs
lola: 7272769 markings, 31350471 edges, 81229 markings/sec, 85 secs
lola: 7657018 markings, 33283316 edges, 76850 markings/sec, 90 secs
lola: 8044821 markings, 35150699 edges, 77561 markings/sec, 95 secs
lola: 8425717 markings, 36883267 edges, 76179 markings/sec, 100 secs
lola: 8814245 markings, 38604832 edges, 77706 markings/sec, 105 secs
lola: 9195804 markings, 40681326 edges, 76312 markings/sec, 110 secs
lola: 9566242 markings, 42723023 edges, 74088 markings/sec, 115 secs
lola: 9930302 markings, 44674189 edges, 72812 markings/sec, 120 secs
lola: 10337528 markings, 46645039 edges, 81445 markings/sec, 125 secs
lola: 10704243 markings, 48616535 edges, 73343 markings/sec, 130 secs
lola: 11051222 markings, 50620064 edges, 69396 markings/sec, 135 secs
lola: 11410555 markings, 52510804 edges, 71867 markings/sec, 140 secs
lola: 11777117 markings, 54396703 edges, 73312 markings/sec, 145 secs
lola: 12166443 markings, 56421810 edges, 77865 markings/sec, 150 secs
lola: 12525982 markings, 58596046 edges, 71908 markings/sec, 155 secs
lola: 12890489 markings, 60969506 edges, 72901 markings/sec, 160 secs
lola: 13246062 markings, 63324513 edges, 71115 markings/sec, 165 secs
lola: 13692094 markings, 65295868 edges, 89206 markings/sec, 170 secs
lola: 14107163 markings, 67129558 edges, 83014 markings/sec, 175 secs
lola: 14491513 markings, 68801936 edges, 76870 markings/sec, 180 secs
lola: 14853688 markings, 70389137 edges, 72435 markings/sec, 185 secs
lola: 15257195 markings, 72094259 edges, 80701 markings/sec, 190 secs
lola: 15625841 markings, 73875020 edges, 73729 markings/sec, 195 secs
lola: 15962491 markings, 75821177 edges, 67330 markings/sec, 200 secs
lola: 16315700 markings, 77548303 edges, 70642 markings/sec, 205 secs
lola: 16678190 markings, 79486383 edges, 72498 markings/sec, 210 secs
lola: 17047131 markings, 81326637 edges, 73788 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(A14)
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: 575804 markings, 1558661 edges, 115161 markings/sec, 0 secs
lola: 1033707 markings, 3376709 edges, 91581 markings/sec, 5 secs
lola: 1458522 markings, 5057047 edges, 84963 markings/sec, 10 secs
lola: 1874656 markings, 6807244 edges, 83227 markings/sec, 15 secs
lola: 2348858 markings, 8583801 edges, 94840 markings/sec, 20 secs
lola: 2833104 markings, 10323846 edges, 96849 markings/sec, 25 secs
lola: 3391705 markings, 12021566 edges, 111720 markings/sec, 30 secs
lola: 3852053 markings, 13907917 edges, 92070 markings/sec, 35 secs
lola: 4366306 markings, 15709330 edges, 102851 markings/sec, 40 secs
lola: 4876910 markings, 17227531 edges, 102121 markings/sec, 45 secs
lola: 5364215 markings, 19074864 edges, 97461 markings/sec, 50 secs
lola: 5849990 markings, 20915566 edges, 97155 markings/sec, 55 secs
lola: 6382139 markings, 22626893 edges, 106430 markings/sec, 60 secs
lola: 6889187 markings, 24433949 edges, 101410 markings/sec, 65 secs
lola: 7421671 markings, 26133608 edges, 106497 markings/sec, 70 secs
lola: 7984454 markings, 27718095 edges, 112557 markings/sec, 75 secs
lola: 8485375 markings, 29650898 edges, 100184 markings/sec, 80 secs
lola: 8923903 markings, 31486446 edges, 87706 markings/sec, 85 secs
lola: 9459532 markings, 33259470 edges, 107126 markings/sec, 90 secs
lola: 9884727 markings, 35107164 edges, 85039 markings/sec, 95 secs
lola: 10370860 markings, 36859838 edges, 97227 markings/sec, 100 secs
lola: 10874056 markings, 38554477 edges, 100639 markings/sec, 105 secs
lola: 11285175 markings, 40506696 edges, 82224 markings/sec, 110 secs
lola: 11830570 markings, 42236239 edges, 109079 markings/sec, 115 secs
lola: 12366649 markings, 43894695 edges, 107216 markings/sec, 120 secs
lola: 12891300 markings, 45473562 edges, 104930 markings/sec, 125 secs
lola: 13423487 markings, 47009537 edges, 106437 markings/sec, 130 secs
lola: 13896235 markings, 48767852 edges, 94550 markings/sec, 135 secs
lola: 14385695 markings, 50544106 edges, 97892 markings/sec, 140 secs
lola: 14790863 markings, 52466615 edges, 81034 markings/sec, 145 secs
lola: 15356142 markings, 54151828 edges, 113056 markings/sec, 150 secs
lola: 15883654 markings, 55855907 edges, 105502 markings/sec, 155 secs
lola: 16395613 markings, 57663690 edges, 102392 markings/sec, 160 secs
lola: 16829881 markings, 59224961 edges, 86854 markings/sec, 165 secs
lola: 17308567 markings, 60985545 edges, 95737 markings/sec, 170 secs
lola: 17815829 markings, 62554566 edges, 101452 markings/sec, 175 secs
lola: 18256745 markings, 64510907 edges, 88183 markings/sec, 180 secs
lola: 18700973 markings, 66612151 edges, 88846 markings/sec, 185 secs
lola: 19192561 markings, 68532790 edges, 98318 markings/sec, 190 secs
lola: 19614122 markings, 70634189 edges, 84312 markings/sec, 195 secs
lola: 20082884 markings, 72646125 edges, 93752 markings/sec, 200 secs
lola: 20483089 markings, 74418800 edges, 80041 markings/sec, 205 secs
lola: 20910791 markings, 76390915 edges, 85540 markings/sec, 210 secs
lola: 21332832 markings, 78454244 edges, 84408 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(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: 569513 markings, 1562809 edges, 113903 markings/sec, 0 secs
lola: 1088755 markings, 3552204 edges, 103848 markings/sec, 5 secs
lola: 1591543 markings, 5601366 edges, 100558 markings/sec, 10 secs
lola: 2088190 markings, 7760803 edges, 99329 markings/sec, 15 secs
lola: 2583494 markings, 9982743 edges, 99061 markings/sec, 20 secs
lola: 3043585 markings, 11547753 edges, 92018 markings/sec, 25 secs
lola: 3541383 markings, 13364727 edges, 99560 markings/sec, 30 secs
lola: 4022464 markings, 15239242 edges, 96216 markings/sec, 35 secs
lola: 4487265 markings, 17045530 edges, 92960 markings/sec, 40 secs
lola: 4906707 markings, 18893293 edges, 83888 markings/sec, 45 secs
lola: 5323307 markings, 20594086 edges, 83320 markings/sec, 50 secs
lola: 5711647 markings, 22455384 edges, 77668 markings/sec, 55 secs
lola: 6109047 markings, 24174529 edges, 79480 markings/sec, 60 secs
lola: 6498145 markings, 25809511 edges, 77820 markings/sec, 65 secs
lola: 6888590 markings, 27800772 edges, 78089 markings/sec, 70 secs
lola: 7256431 markings, 29871904 edges, 73568 markings/sec, 75 secs
lola: 7628749 markings, 31876842 edges, 74464 markings/sec, 80 secs
lola: 7983487 markings, 33578296 edges, 70948 markings/sec, 85 secs
lola: 8416345 markings, 35090863 edges, 86572 markings/sec, 90 secs
lola: 8824127 markings, 36965610 edges, 81556 markings/sec, 95 secs
lola: 9215533 markings, 38939707 edges, 78281 markings/sec, 100 secs
lola: 9605280 markings, 41010408 edges, 77949 markings/sec, 105 secs
lola: 9984247 markings, 43111266 edges, 75793 markings/sec, 110 secs
lola: 10372806 markings, 45208300 edges, 77712 markings/sec, 115 secs
lola: 10748457 markings, 47452426 edges, 75130 markings/sec, 120 secs
lola: 11149152 markings, 49358093 edges, 80139 markings/sec, 125 secs
lola: 11548627 markings, 51159519 edges, 79895 markings/sec, 130 secs
lola: 11930098 markings, 53078843 edges, 76294 markings/sec, 135 secs
lola: 12329753 markings, 54824880 edges, 79931 markings/sec, 140 secs
lola: 12669376 markings, 56478884 edges, 67925 markings/sec, 145 secs
lola: 13051862 markings, 58495315 edges, 76497 markings/sec, 150 secs
lola: 13472758 markings, 60226116 edges, 84179 markings/sec, 155 secs
lola: 13868209 markings, 61927645 edges, 79090 markings/sec, 160 secs
lola: 14247580 markings, 63930360 edges, 75874 markings/sec, 165 secs
lola: 14627356 markings, 66112467 edges, 75955 markings/sec, 170 secs
lola: 15012118 markings, 68125853 edges, 76952 markings/sec, 175 secs
lola: 15392970 markings, 69941107 edges, 76170 markings/sec, 180 secs
lola: 15755346 markings, 72002936 edges, 72475 markings/sec, 185 secs
lola: 16130084 markings, 73935566 edges, 74948 markings/sec, 190 secs
lola: 16479053 markings, 75904664 edges, 69794 markings/sec, 195 secs
lola: 16854229 markings, 77804032 edges, 75035 markings/sec, 200 secs
lola: 17225163 markings, 79520234 edges, 74187 markings/sec, 205 secs
lola: 17610518 markings, 81175742 edges, 77071 markings/sec, 210 secs
lola: 17963972 markings, 83116020 edges, 70691 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(B5)
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 5 will run for 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A3)
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: 433727 markings, 1719062 edges, 86745 markings/sec, 0 secs
lola: 841323 markings, 3604441 edges, 81519 markings/sec, 5 secs
lola: 1223166 markings, 5468740 edges, 76369 markings/sec, 10 secs
lola: 1607793 markings, 7331003 edges, 76925 markings/sec, 15 secs
lola: 1989748 markings, 9238461 edges, 76391 markings/sec, 20 secs
lola: 2385890 markings, 11068325 edges, 79228 markings/sec, 25 secs
lola: 2743968 markings, 12943803 edges, 71616 markings/sec, 30 secs
lola: 3144743 markings, 14649699 edges, 80155 markings/sec, 35 secs
lola: 3532017 markings, 16454211 edges, 77455 markings/sec, 40 secs
lola: 3928465 markings, 18259031 edges, 79290 markings/sec, 45 secs
lola: 4301408 markings, 20242909 edges, 74589 markings/sec, 50 secs
lola: 4695961 markings, 22192796 edges, 78911 markings/sec, 55 secs
lola: 5070882 markings, 23985012 edges, 74984 markings/sec, 60 secs
lola: 5416224 markings, 25787666 edges, 69068 markings/sec, 65 secs
lola: 5795524 markings, 27700999 edges, 75860 markings/sec, 70 secs
lola: 6124360 markings, 29677447 edges, 65767 markings/sec, 75 secs
lola: 6485172 markings, 31289367 edges, 72162 markings/sec, 80 secs
lola: 6866466 markings, 32938446 edges, 76259 markings/sec, 85 secs
lola: 7234592 markings, 34705807 edges, 73625 markings/sec, 90 secs
lola: 7612536 markings, 36497681 edges, 75589 markings/sec, 95 secs
lola: 7973916 markings, 38362874 edges, 72276 markings/sec, 100 secs
lola: 8323806 markings, 40230107 edges, 69978 markings/sec, 105 secs
lola: 8664633 markings, 42065273 edges, 68165 markings/sec, 110 secs
lola: 9019844 markings, 43997485 edges, 71042 markings/sec, 115 secs
lola: 9347848 markings, 45781127 edges, 65601 markings/sec, 120 secs
lola: 9648299 markings, 47682438 edges, 60090 markings/sec, 125 secs
lola: 9997765 markings, 49454763 edges, 69893 markings/sec, 130 secs
lola: 10321842 markings, 51460582 edges, 64815 markings/sec, 135 secs
lola: 10649181 markings, 53270681 edges, 65468 markings/sec, 140 secs
lola: 10980654 markings, 55059677 edges, 66295 markings/sec, 145 secs
lola: 11320211 markings, 56894186 edges, 67911 markings/sec, 150 secs
lola: 11646445 markings, 58845930 edges, 65247 markings/sec, 155 secs
lola: 11970628 markings, 60666247 edges, 64837 markings/sec, 160 secs
lola: 12312773 markings, 62475911 edges, 68429 markings/sec, 165 secs
lola: 12619624 markings, 64387541 edges, 61370 markings/sec, 170 secs
lola: 12938828 markings, 66238282 edges, 63841 markings/sec, 175 secs
lola: 13273284 markings, 67946969 edges, 66891 markings/sec, 180 secs
lola: 13671916 markings, 69613519 edges, 79726 markings/sec, 185 secs
lola: 14054537 markings, 71334451 edges, 76524 markings/sec, 190 secs
lola: 14433573 markings, 72968194 edges, 75807 markings/sec, 195 secs
lola: 14820490 markings, 74598197 edges, 77383 markings/sec, 200 secs
lola: 15207057 markings, 76317955 edges, 77313 markings/sec, 205 secs
lola: 15592222 markings, 77927458 edges, 77033 markings/sec, 210 secs
lola: 15978151 markings, 79611984 edges, 77186 markings/sec, 215 secs
lola: 16350509 markings, 81194535 edges, 74472 markings/sec, 220 secs
lola: 16757046 markings, 82649862 edges, 81307 markings/sec, 225 secs
lola: 17124438 markings, 84524527 edges, 73478 markings/sec, 230 secs
lola: 17486239 markings, 86410138 edges, 72360 markings/sec, 235 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 241 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: 440463 markings, 1597858 edges, 88093 markings/sec, 0 secs
lola: 839880 markings, 3229669 edges, 79883 markings/sec, 5 secs
lola: 1238140 markings, 4784771 edges, 79652 markings/sec, 10 secs
lola: 1638904 markings, 6425632 edges, 80153 markings/sec, 15 secs
lola: 2032847 markings, 7994277 edges, 78789 markings/sec, 20 secs
lola: 2419282 markings, 9501470 edges, 77287 markings/sec, 25 secs
lola: 2791241 markings, 11266266 edges, 74392 markings/sec, 30 secs
lola: 3189371 markings, 12956855 edges, 79626 markings/sec, 35 secs
lola: 3581877 markings, 14629698 edges, 78501 markings/sec, 40 secs
lola: 3978881 markings, 16297787 edges, 79401 markings/sec, 45 secs
lola: 4361301 markings, 17807022 edges, 76484 markings/sec, 50 secs
lola: 4733180 markings, 19506549 edges, 74376 markings/sec, 55 secs
lola: 5125650 markings, 20974187 edges, 78494 markings/sec, 60 secs
lola: 5490650 markings, 22789510 edges, 73000 markings/sec, 65 secs
lola: 5897156 markings, 24358426 edges, 81301 markings/sec, 70 secs
lola: 6282870 markings, 25970533 edges, 77143 markings/sec, 75 secs
lola: 6675014 markings, 27517204 edges, 78429 markings/sec, 80 secs
lola: 7067937 markings, 29143321 edges, 78585 markings/sec, 85 secs
lola: 7442132 markings, 30694668 edges, 74839 markings/sec, 90 secs
lola: 7833971 markings, 32138143 edges, 78368 markings/sec, 95 secs
lola: 8184902 markings, 33952679 edges, 70186 markings/sec, 100 secs
lola: 8587374 markings, 35566931 edges, 80494 markings/sec, 105 secs
lola: 8958813 markings, 37307757 edges, 74288 markings/sec, 110 secs
lola: 9349696 markings, 39025099 edges, 78177 markings/sec, 115 secs
lola: 9734870 markings, 40584331 edges, 77035 markings/sec, 120 secs
lola: 10095420 markings, 42295511 edges, 72110 markings/sec, 125 secs
lola: 10477287 markings, 43943720 edges, 76373 markings/sec, 130 secs
lola: 10836662 markings, 45655057 edges, 71875 markings/sec, 135 secs
lola: 11195670 markings, 47496058 edges, 71802 markings/sec, 140 secs
lola: 11580561 markings, 49097500 edges, 76978 markings/sec, 145 secs
lola: 11943750 markings, 50984372 edges, 72638 markings/sec, 150 secs
lola: 12281625 markings, 53089558 edges, 67575 markings/sec, 155 secs
lola: 12627452 markings, 55164641 edges, 69165 markings/sec, 160 secs
lola: 12985417 markings, 57025834 edges, 71593 markings/sec, 165 secs
lola: 13334371 markings, 58981154 edges, 69791 markings/sec, 170 secs
lola: 13695586 markings, 60907444 edges, 72243 markings/sec, 175 secs
lola: 14061322 markings, 62729626 edges, 73147 markings/sec, 180 secs
lola: 14419632 markings, 64605514 edges, 71662 markings/sec, 185 secs
lola: 14778848 markings, 66420944 edges, 71843 markings/sec, 190 secs
lola: 15163136 markings, 67993797 edges, 76858 markings/sec, 195 secs
lola: 15512821 markings, 69970442 edges, 69937 markings/sec, 200 secs
lola: 15852773 markings, 71986735 edges, 67990 markings/sec, 205 secs
lola: 16201405 markings, 73958251 edges, 69726 markings/sec, 210 secs
lola: 16569393 markings, 75836222 edges, 73598 markings/sec, 215 secs
lola: 16946397 markings, 77627121 edges, 75401 markings/sec, 220 secs
lola: 17344968 markings, 79362374 edges, 79714 markings/sec, 225 secs
lola: 17735121 markings, 81117490 edges, 78031 markings/sec, 230 secs
lola: 18140196 markings, 82681066 edges, 81015 markings/sec, 235 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 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A4)
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: 473595 markings, 1577527 edges, 94719 markings/sec, 0 secs
lola: 893759 markings, 3117078 edges, 84033 markings/sec, 5 secs
lola: 1284169 markings, 4744042 edges, 78082 markings/sec, 10 secs
lola: 1660226 markings, 6711337 edges, 75211 markings/sec, 15 secs
lola: 2054856 markings, 8400135 edges, 78926 markings/sec, 20 secs
lola: 2440336 markings, 9946457 edges, 77096 markings/sec, 25 secs
lola: 2780630 markings, 11712318 edges, 68059 markings/sec, 30 secs
lola: 3154386 markings, 13503994 edges, 74751 markings/sec, 35 secs
lola: 3522443 markings, 15066531 edges, 73611 markings/sec, 40 secs
lola: 3913925 markings, 16625748 edges, 78296 markings/sec, 45 secs
lola: 4263059 markings, 18474304 edges, 69827 markings/sec, 50 secs
lola: 4601750 markings, 20409206 edges, 67738 markings/sec, 55 secs
lola: 4968219 markings, 22185628 edges, 73294 markings/sec, 60 secs
lola: 5329774 markings, 23817527 edges, 72311 markings/sec, 65 secs
lola: 5731522 markings, 25475856 edges, 80350 markings/sec, 70 secs
lola: 6097385 markings, 27283620 edges, 73173 markings/sec, 75 secs
lola: 6464232 markings, 28824099 edges, 73369 markings/sec, 80 secs
lola: 6805053 markings, 30443799 edges, 68164 markings/sec, 85 secs
lola: 7199420 markings, 32023115 edges, 78873 markings/sec, 90 secs
lola: 7641113 markings, 33759940 edges, 88339 markings/sec, 95 secs
lola: 8083892 markings, 35369947 edges, 88556 markings/sec, 100 secs
lola: 8517279 markings, 36863529 edges, 86677 markings/sec, 105 secs
lola: 8933738 markings, 38675129 edges, 83292 markings/sec, 110 secs
lola: 9375930 markings, 40342874 edges, 88438 markings/sec, 115 secs
lola: 9803238 markings, 42092684 edges, 85462 markings/sec, 120 secs
lola: 10235125 markings, 43844225 edges, 86377 markings/sec, 125 secs
lola: 10597294 markings, 45670249 edges, 72434 markings/sec, 130 secs
lola: 10985091 markings, 47664963 edges, 77559 markings/sec, 135 secs
lola: 11362490 markings, 49737186 edges, 75480 markings/sec, 140 secs
lola: 11746551 markings, 51796335 edges, 76812 markings/sec, 145 secs
lola: 12106092 markings, 53732698 edges, 71908 markings/sec, 150 secs
lola: 12498579 markings, 55671268 edges, 78497 markings/sec, 155 secs
lola: 12895669 markings, 57585475 edges, 79418 markings/sec, 160 secs
lola: 13294574 markings, 59576226 edges, 79781 markings/sec, 165 secs
lola: 13647203 markings, 61494850 edges, 70526 markings/sec, 170 secs
lola: 13989030 markings, 63691970 edges, 68365 markings/sec, 175 secs
lola: 14333094 markings, 66027453 edges, 68813 markings/sec, 180 secs
lola: 14662139 markings, 68010415 edges, 65809 markings/sec, 185 secs
lola: 15079195 markings, 69808719 edges, 83411 markings/sec, 190 secs
lola: 15498946 markings, 71749555 edges, 83950 markings/sec, 195 secs
lola: 15925201 markings, 73707463 edges, 85251 markings/sec, 200 secs
lola: 16301373 markings, 75923409 edges, 75234 markings/sec, 205 secs
lola: 16681531 markings, 78190081 edges, 76032 markings/sec, 210 secs
lola: 17075564 markings, 80400158 edges, 78807 markings/sec, 215 secs
lola: 17410696 markings, 82857567 edges, 67026 markings/sec, 220 secs
lola: 17789287 markings, 84742335 edges, 75718 markings/sec, 225 secs
lola: 18137187 markings, 86612648 edges, 69580 markings/sec, 230 secs
lola: 18474832 markings, 88540432 edges, 67529 markings/sec, 235 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 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A13)
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: 554203 markings, 1438367 edges, 110841 markings/sec, 0 secs
lola: 992962 markings, 2896305 edges, 87752 markings/sec, 5 secs
lola: 1496551 markings, 4443077 edges, 100718 markings/sec, 10 secs
lola: 1948675 markings, 5917430 edges, 90425 markings/sec, 15 secs
lola: 2464864 markings, 7485586 edges, 103238 markings/sec, 20 secs
lola: 3001607 markings, 9175323 edges, 107349 markings/sec, 25 secs
lola: 3521061 markings, 10833565 edges, 103891 markings/sec, 30 secs
lola: 4045820 markings, 12437298 edges, 104952 markings/sec, 35 secs
lola: 4593319 markings, 14018137 edges, 109500 markings/sec, 40 secs
lola: 5123893 markings, 15653393 edges, 106115 markings/sec, 45 secs
lola: 5586361 markings, 17398474 edges, 92494 markings/sec, 50 secs
lola: 6000867 markings, 19254161 edges, 82901 markings/sec, 55 secs
lola: 6455143 markings, 21028370 edges, 90855 markings/sec, 60 secs
lola: 6951817 markings, 22721034 edges, 99335 markings/sec, 65 secs
lola: 7469556 markings, 24391345 edges, 103548 markings/sec, 70 secs
lola: 7957954 markings, 26027160 edges, 97680 markings/sec, 75 secs
lola: 8456696 markings, 27718005 edges, 99748 markings/sec, 80 secs
lola: 8939246 markings, 29359768 edges, 96510 markings/sec, 85 secs
lola: 9360897 markings, 31200188 edges, 84330 markings/sec, 90 secs
lola: 9801415 markings, 33052256 edges, 88104 markings/sec, 95 secs
lola: 10222165 markings, 34847692 edges, 84150 markings/sec, 100 secs
lola: 10698341 markings, 36468037 edges, 95235 markings/sec, 105 secs
lola: 11155302 markings, 38039889 edges, 91392 markings/sec, 110 secs
lola: 11580858 markings, 39818163 edges, 85111 markings/sec, 115 secs
lola: 12057416 markings, 41638921 edges, 95312 markings/sec, 120 secs
lola: 12500184 markings, 43416303 edges, 88554 markings/sec, 125 secs
lola: 12949252 markings, 45141973 edges, 89814 markings/sec, 130 secs
lola: 13382528 markings, 46727577 edges, 86655 markings/sec, 135 secs
lola: 13779164 markings, 48624703 edges, 79327 markings/sec, 140 secs
lola: 14282680 markings, 50413995 edges, 100703 markings/sec, 145 secs
lola: 14767889 markings, 52289462 edges, 97042 markings/sec, 150 secs
lola: 15224141 markings, 54158750 edges, 91250 markings/sec, 155 secs
lola: 15660494 markings, 56047195 edges, 87271 markings/sec, 160 secs
lola: 16108036 markings, 57830120 edges, 89508 markings/sec, 165 secs
lola: 16554923 markings, 59679409 edges, 89377 markings/sec, 170 secs
lola: 16990109 markings, 61379910 edges, 87037 markings/sec, 175 secs
lola: 17364002 markings, 63190612 edges, 74779 markings/sec, 180 secs
lola: 17781213 markings, 65187696 edges, 83442 markings/sec, 185 secs
lola: 18199992 markings, 67140578 edges, 83756 markings/sec, 190 secs
lola: 18660615 markings, 69035308 edges, 92125 markings/sec, 195 secs
lola: 19122206 markings, 70937475 edges, 92318 markings/sec, 200 secs
lola: 19570340 markings, 72953668 edges, 89627 markings/sec, 205 secs
lola: 19957327 markings, 75043926 edges, 77397 markings/sec, 210 secs
lola: 20411303 markings, 76919907 edges, 90795 markings/sec, 215 secs
lola: 20845472 markings, 78825334 edges, 86834 markings/sec, 220 secs
lola: 21217544 markings, 80937874 edges, 74414 markings/sec, 225 secs
lola: 21628589 markings, 82846984 edges, 82209 markings/sec, 230 secs
lola: 22030390 markings, 84893510 edges, 80360 markings/sec, 235 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 241 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(B4)
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 10 will run for 282 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: 482804 markings, 1759825 edges, 96561 markings/sec, 0 secs
lola: 919035 markings, 3443812 edges, 87246 markings/sec, 5 secs
lola: 1323105 markings, 5216483 edges, 80814 markings/sec, 10 secs
lola: 1713793 markings, 6851369 edges, 78138 markings/sec, 15 secs
lola: 2061399 markings, 8377370 edges, 69521 markings/sec, 20 secs
lola: 2512407 markings, 10096661 edges, 90202 markings/sec, 25 secs
lola: 2917101 markings, 11820000 edges, 80939 markings/sec, 30 secs
lola: 3300410 markings, 13474711 edges, 76662 markings/sec, 35 secs
lola: 3669005 markings, 14975762 edges, 73719 markings/sec, 40 secs
lola: 4051095 markings, 16712969 edges, 76418 markings/sec, 45 secs
lola: 4446593 markings, 18404306 edges, 79100 markings/sec, 50 secs
lola: 4819462 markings, 20370940 edges, 74574 markings/sec, 55 secs
lola: 5190266 markings, 22241045 edges, 74161 markings/sec, 60 secs
lola: 5609450 markings, 23882132 edges, 83837 markings/sec, 65 secs
lola: 6009245 markings, 25654988 edges, 79959 markings/sec, 70 secs
lola: 6408671 markings, 27313441 edges, 79885 markings/sec, 75 secs
lola: 6789771 markings, 29121008 edges, 76220 markings/sec, 80 secs
lola: 7198732 markings, 31035082 edges, 81792 markings/sec, 85 secs
lola: 7585008 markings, 32984128 edges, 77255 markings/sec, 90 secs
lola: 7974251 markings, 34785588 edges, 77849 markings/sec, 95 secs
lola: 8354966 markings, 36588767 edges, 76143 markings/sec, 100 secs
lola: 8753625 markings, 38281582 edges, 79732 markings/sec, 105 secs
lola: 9133025 markings, 40318566 edges, 75880 markings/sec, 110 secs
lola: 9525454 markings, 42474143 edges, 78486 markings/sec, 115 secs
lola: 9910950 markings, 44595095 edges, 77099 markings/sec, 120 secs
lola: 10319746 markings, 46567212 edges, 81759 markings/sec, 125 secs
lola: 10689619 markings, 48543661 edges, 73975 markings/sec, 130 secs
lola: 11032158 markings, 50513772 edges, 68508 markings/sec, 135 secs
lola: 11347906 markings, 52214928 edges, 63150 markings/sec, 140 secs
lola: 11707810 markings, 54114032 edges, 71981 markings/sec, 145 secs
lola: 12097913 markings, 56057261 edges, 78021 markings/sec, 150 secs
lola: 12458893 markings, 58208635 edges, 72196 markings/sec, 155 secs
lola: 12823119 markings, 60557467 edges, 72845 markings/sec, 160 secs
lola: 13186062 markings, 62890413 edges, 72589 markings/sec, 165 secs
lola: 13611313 markings, 65008631 edges, 85050 markings/sec, 170 secs
lola: 14025558 markings, 66754533 edges, 82849 markings/sec, 175 secs
lola: 14367674 markings, 68257509 edges, 68423 markings/sec, 180 secs
lola: 14752477 markings, 69991240 edges, 76961 markings/sec, 185 secs
lola: 15162552 markings, 71662446 edges, 82015 markings/sec, 190 secs
lola: 15534589 markings, 73472423 edges, 74407 markings/sec, 195 secs
lola: 15879636 markings, 75306515 edges, 69009 markings/sec, 200 secs
lola: 16231003 markings, 77192199 edges, 70273 markings/sec, 205 secs
lola: 16601970 markings, 79015799 edges, 74193 markings/sec, 210 secs
lola: 16967349 markings, 80872774 edges, 73076 markings/sec, 215 secs
lola: 17316844 markings, 82790791 edges, 69899 markings/sec, 220 secs
lola: 17662176 markings, 84882211 edges, 69066 markings/sec, 225 secs
lola: 18025682 markings, 86839372 edges, 72701 markings/sec, 230 secs
lola: 18394525 markings, 88736617 edges, 73769 markings/sec, 235 secs
lola: 18779316 markings, 90623876 edges, 76958 markings/sec, 240 secs
lola: 19142641 markings, 92487829 edges, 72665 markings/sec, 245 secs
lola: 19498177 markings, 94308392 edges, 71107 markings/sec, 250 secs
lola: 19878943 markings, 96028088 edges, 76153 markings/sec, 255 secs
lola: 20233345 markings, 98009330 edges, 70880 markings/sec, 260 secs
lola: 20565375 markings, 99692192 edges, 66406 markings/sec, 265 secs
lola: 20919337 markings, 101416965 edges, 70792 markings/sec, 270 secs
lola: 21263200 markings, 103161870 edges, 68773 markings/sec, 275 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 282 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: 432905 markings, 1772353 edges, 86581 markings/sec, 0 secs
lola: 842437 markings, 3628696 edges, 81906 markings/sec, 5 secs
lola: 1216610 markings, 5532017 edges, 74835 markings/sec, 10 secs
lola: 1600173 markings, 7423190 edges, 76713 markings/sec, 15 secs
lola: 1983527 markings, 9353426 edges, 76671 markings/sec, 20 secs
lola: 2371952 markings, 11178277 edges, 77685 markings/sec, 25 secs
lola: 2725688 markings, 13055211 edges, 70747 markings/sec, 30 secs
lola: 3128517 markings, 14751316 edges, 80566 markings/sec, 35 secs
lola: 3515608 markings, 16535034 edges, 77418 markings/sec, 40 secs
lola: 3903437 markings, 18423563 edges, 77566 markings/sec, 45 secs
lola: 4279488 markings, 20349177 edges, 75210 markings/sec, 50 secs
lola: 4667450 markings, 22238545 edges, 77592 markings/sec, 55 secs
lola: 5048725 markings, 24165137 edges, 76255 markings/sec, 60 secs
lola: 5420769 markings, 25993915 edges, 74409 markings/sec, 65 secs
lola: 5775440 markings, 27857991 edges, 70934 markings/sec, 70 secs
lola: 6090391 markings, 29905457 edges, 62990 markings/sec, 75 secs
lola: 6449717 markings, 31581814 edges, 71865 markings/sec, 80 secs
lola: 6815330 markings, 33268582 edges, 73123 markings/sec, 85 secs
lola: 7196106 markings, 35034497 edges, 76155 markings/sec, 90 secs
lola: 7550777 markings, 36813203 edges, 70934 markings/sec, 95 secs
lola: 7913970 markings, 38578809 edges, 72639 markings/sec, 100 secs
lola: 8268344 markings, 40301808 edges, 70875 markings/sec, 105 secs
lola: 8595224 markings, 42203996 edges, 65376 markings/sec, 110 secs
lola: 8937668 markings, 44162818 edges, 68489 markings/sec, 115 secs
lola: 9270478 markings, 45981580 edges, 66562 markings/sec, 120 secs
lola: 9578680 markings, 47777452 edges, 61640 markings/sec, 125 secs
lola: 9893933 markings, 49569393 edges, 63051 markings/sec, 130 secs
lola: 10225055 markings, 51507979 edges, 66224 markings/sec, 135 secs
lola: 10549785 markings, 53441843 edges, 64946 markings/sec, 140 secs
lola: 10877256 markings, 55250091 edges, 65494 markings/sec, 145 secs
lola: 11215464 markings, 57007764 edges, 67642 markings/sec, 150 secs
lola: 11541894 markings, 58911530 edges, 65286 markings/sec, 155 secs
lola: 11872887 markings, 60847454 edges, 66199 markings/sec, 160 secs
lola: 12205695 markings, 62690673 edges, 66562 markings/sec, 165 secs
lola: 12526067 markings, 64515489 edges, 64074 markings/sec, 170 secs
lola: 12821088 markings, 66387052 edges, 59004 markings/sec, 175 secs
lola: 13157999 markings, 68181492 edges, 67382 markings/sec, 180 secs
lola: 13536017 markings, 69920919 edges, 75604 markings/sec, 185 secs
lola: 13908514 markings, 71620901 edges, 74499 markings/sec, 190 secs
lola: 14284419 markings, 73244917 edges, 75181 markings/sec, 195 secs
lola: 14663599 markings, 74874519 edges, 75836 markings/sec, 200 secs
lola: 15022347 markings, 76659400 edges, 71750 markings/sec, 205 secs
lola: 15425737 markings, 78247085 edges, 80678 markings/sec, 210 secs
lola: 15804549 markings, 79955962 edges, 75762 markings/sec, 215 secs
lola: 16172164 markings, 81574574 edges, 73523 markings/sec, 220 secs
lola: 16551827 markings, 83157140 edges, 75933 markings/sec, 225 secs
lola: 16939506 markings, 84693427 edges, 77536 markings/sec, 230 secs
lola: 17291355 markings, 86634554 edges, 70370 markings/sec, 235 secs
lola: 17655836 markings, 88502850 edges, 72896 markings/sec, 240 secs
lola: 18016529 markings, 90490288 edges, 72139 markings/sec, 245 secs
lola: 18364937 markings, 92416793 edges, 69682 markings/sec, 250 secs
lola: 18705291 markings, 94357438 edges, 68071 markings/sec, 255 secs
lola: 19030390 markings, 96268231 edges, 65020 markings/sec, 260 secs
lola: 19394124 markings, 98078654 edges, 72747 markings/sec, 265 secs
lola: 19724065 markings, 100246688 edges, 65988 markings/sec, 270 secs
lola: 20075297 markings, 102356728 edges, 70246 markings/sec, 275 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 282 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: 477518 markings, 1728900 edges, 95504 markings/sec, 0 secs
lola: 937961 markings, 3410033 edges, 92089 markings/sec, 5 secs
lola: 1581354 markings, 4991818 edges, 128679 markings/sec, 10 secs
lola: 2160991 markings, 6896787 edges, 115927 markings/sec, 15 secs
lola: 2697858 markings, 8854966 edges, 107373 markings/sec, 20 secs
lola: 3200903 markings, 10782787 edges, 100609 markings/sec, 25 secs
lola: 3680668 markings, 12739974 edges, 95953 markings/sec, 30 secs
lola: 4134412 markings, 14405652 edges, 90749 markings/sec, 35 secs
lola: 4549068 markings, 16126043 edges, 82931 markings/sec, 40 secs
lola: 4939374 markings, 17848808 edges, 78061 markings/sec, 45 secs
lola: 5319576 markings, 19658840 edges, 76040 markings/sec, 50 secs
lola: 5695451 markings, 21404362 edges, 75175 markings/sec, 55 secs
lola: 6164763 markings, 22993908 edges, 93862 markings/sec, 60 secs
lola: 6623617 markings, 24808224 edges, 91771 markings/sec, 65 secs
lola: 6999658 markings, 26655205 edges, 75208 markings/sec, 70 secs
lola: 7473141 markings, 28479867 edges, 94697 markings/sec, 75 secs
lola: 7860591 markings, 30418725 edges, 77490 markings/sec, 80 secs
lola: 8361507 markings, 32088883 edges, 100183 markings/sec, 85 secs
lola: 8807123 markings, 33793008 edges, 89123 markings/sec, 90 secs
lola: 9362326 markings, 35504579 edges, 111041 markings/sec, 95 secs
lola: 9856793 markings, 37459090 edges, 98893 markings/sec, 100 secs
lola: 10283639 markings, 39433443 edges, 85369 markings/sec, 105 secs
lola: 10676982 markings, 41112711 edges, 78669 markings/sec, 110 secs
lola: 11151982 markings, 42787920 edges, 95000 markings/sec, 115 secs
lola: 11588758 markings, 44370795 edges, 87355 markings/sec, 120 secs
lola: 12092601 markings, 46039166 edges, 100769 markings/sec, 125 secs
lola: 12656202 markings, 47799109 edges, 112720 markings/sec, 130 secs
lola: 13173315 markings, 49526430 edges, 103423 markings/sec, 135 secs
lola: 13778645 markings, 51105343 edges, 121066 markings/sec, 140 secs
lola: 14331876 markings, 52843058 edges, 110646 markings/sec, 145 secs
lola: 14798081 markings, 54806410 edges, 93241 markings/sec, 150 secs
lola: 15358752 markings, 56675030 edges, 112134 markings/sec, 155 secs
lola: 15808566 markings, 58679172 edges, 89963 markings/sec, 160 secs
lola: 16280019 markings, 60676411 edges, 94291 markings/sec, 165 secs
lola: 16769514 markings, 62738338 edges, 97899 markings/sec, 170 secs
lola: 17258302 markings, 64700290 edges, 97758 markings/sec, 175 secs
lola: 17710650 markings, 66418867 edges, 90470 markings/sec, 180 secs
lola: 18121990 markings, 68197757 edges, 82268 markings/sec, 185 secs
lola: 18491798 markings, 70019816 edges, 73962 markings/sec, 190 secs
lola: 18895905 markings, 71748558 edges, 80821 markings/sec, 195 secs
lola: 19346057 markings, 73361409 edges, 90030 markings/sec, 200 secs
lola: 19824475 markings, 75175579 edges, 95684 markings/sec, 205 secs
lola: 20217708 markings, 77029282 edges, 78647 markings/sec, 210 secs
lola: 20710711 markings, 78790959 edges, 98601 markings/sec, 215 secs
lola: 21104252 markings, 80476846 edges, 78708 markings/sec, 220 secs
lola: 21517811 markings, 82165134 edges, 82712 markings/sec, 225 secs
lola: 21915952 markings, 83843666 edges, 79628 markings/sec, 230 secs
lola: 22362873 markings, 85538603 edges, 89384 markings/sec, 235 secs
lola: 22978354 markings, 87157772 edges, 123096 markings/sec, 240 secs
lola: 23573805 markings, 88863731 edges, 119090 markings/sec, 245 secs
lola: 24151647 markings, 90714201 edges, 115568 markings/sec, 250 secs
lola: 24657975 markings, 92663473 edges, 101266 markings/sec, 255 secs
lola: 25131734 markings, 94670649 edges, 94752 markings/sec, 260 secs
lola: 25560849 markings, 96712584 edges, 85823 markings/sec, 265 secs
lola: 25991804 markings, 98762399 edges, 86191 markings/sec, 270 secs
lola: 26405946 markings, 100499627 edges, 82828 markings/sec, 275 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 282 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(A17)
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: 502414 markings, 1628153 edges, 100483 markings/sec, 0 secs
lola: 1158241 markings, 3240524 edges, 131165 markings/sec, 5 secs
lola: 1696731 markings, 5221601 edges, 107698 markings/sec, 10 secs
lola: 2213176 markings, 7217664 edges, 103289 markings/sec, 15 secs
lola: 2747466 markings, 9042426 edges, 106858 markings/sec, 20 secs
lola: 3234202 markings, 10875986 edges, 97347 markings/sec, 25 secs
lola: 3680259 markings, 12690009 edges, 89211 markings/sec, 30 secs
lola: 4099994 markings, 14645501 edges, 83947 markings/sec, 35 secs
lola: 4525764 markings, 16474011 edges, 85154 markings/sec, 40 secs
lola: 4931878 markings, 18249757 edges, 81223 markings/sec, 45 secs
lola: 5330453 markings, 20048169 edges, 79715 markings/sec, 50 secs
lola: 5743641 markings, 21773873 edges, 82638 markings/sec, 55 secs
lola: 6208164 markings, 23556258 edges, 92905 markings/sec, 60 secs
lola: 6602895 markings, 25237050 edges, 78946 markings/sec, 65 secs
lola: 7105550 markings, 27042850 edges, 100531 markings/sec, 70 secs
lola: 7447615 markings, 28946787 edges, 68413 markings/sec, 75 secs
lola: 7897725 markings, 30772758 edges, 90022 markings/sec, 80 secs
lola: 8392206 markings, 32505725 edges, 98896 markings/sec, 85 secs
lola: 8941835 markings, 34277539 edges, 109926 markings/sec, 90 secs
lola: 9417542 markings, 36159163 edges, 95141 markings/sec, 95 secs
lola: 9850975 markings, 37807774 edges, 86687 markings/sec, 100 secs
lola: 10353860 markings, 39396649 edges, 100577 markings/sec, 105 secs
lola: 10762435 markings, 41064692 edges, 81715 markings/sec, 110 secs
lola: 11232183 markings, 42739021 edges, 93950 markings/sec, 115 secs
lola: 11811987 markings, 44459117 edges, 115961 markings/sec, 120 secs
lola: 12389921 markings, 46175050 edges, 115587 markings/sec, 125 secs
lola: 13060317 markings, 47913506 edges, 134079 markings/sec, 130 secs
lola: 13707015 markings, 49651376 edges, 129340 markings/sec, 135 secs
lola: 14130534 markings, 51632008 edges, 84704 markings/sec, 140 secs
lola: 14639914 markings, 53611842 edges, 101876 markings/sec, 145 secs
lola: 15179097 markings, 55597440 edges, 107837 markings/sec, 150 secs
lola: 15582164 markings, 57569926 edges, 80613 markings/sec, 155 secs
lola: 15990503 markings, 59560230 edges, 81668 markings/sec, 160 secs
lola: 16441158 markings, 61489821 edges, 90131 markings/sec, 165 secs
lola: 17033480 markings, 63398873 edges, 118464 markings/sec, 170 secs
lola: 17525913 markings, 65588318 edges, 98487 markings/sec, 175 secs
lola: 18004742 markings, 67167669 edges, 95766 markings/sec, 180 secs
lola: 18432604 markings, 68965134 edges, 85572 markings/sec, 185 secs
lola: 18828997 markings, 70798752 edges, 79279 markings/sec, 190 secs
lola: 19224154 markings, 72608574 edges, 79031 markings/sec, 195 secs
lola: 19641896 markings, 74292656 edges, 83548 markings/sec, 200 secs
lola: 20071811 markings, 76038214 edges, 85983 markings/sec, 205 secs
lola: 20523165 markings, 77697423 edges, 90271 markings/sec, 210 secs
lola: 20958629 markings, 79512684 edges, 87093 markings/sec, 215 secs
lola: 21374436 markings, 81218068 edges, 83161 markings/sec, 220 secs
lola: 21800247 markings, 82866199 edges, 85162 markings/sec, 225 secs
lola: 22401668 markings, 84512998 edges, 120284 markings/sec, 230 secs
lola: 23042431 markings, 86180282 edges, 128153 markings/sec, 235 secs
lola: 23585221 markings, 88020075 edges, 108558 markings/sec, 240 secs
lola: 24044679 markings, 89968129 edges, 91892 markings/sec, 245 secs
lola: 24529960 markings, 91691206 edges, 97056 markings/sec, 250 secs
lola: 25027333 markings, 93720324 edges, 99475 markings/sec, 255 secs
lola: 25443827 markings, 95782082 edges, 83299 markings/sec, 260 secs
lola: 25872016 markings, 97824012 edges, 85638 markings/sec, 265 secs
lola: 26291568 markings, 99685607 edges, 83910 markings/sec, 270 secs
lola: 26677979 markings, 101535970 edges, 77282 markings/sec, 275 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 282 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: 571293 markings, 1570607 edges, 114259 markings/sec, 0 secs
lola: 1086688 markings, 3544105 edges, 103079 markings/sec, 5 secs
lola: 1584654 markings, 5578796 edges, 99593 markings/sec, 10 secs
lola: 2076798 markings, 7715065 edges, 98429 markings/sec, 15 secs
lola: 2562977 markings, 9915551 edges, 97236 markings/sec, 20 secs
lola: 3089722 markings, 11683411 edges, 105349 markings/sec, 25 secs
lola: 3575372 markings, 13508314 edges, 97130 markings/sec, 30 secs
lola: 4054807 markings, 15378915 edges, 95887 markings/sec, 35 secs
lola: 4513317 markings, 17148803 edges, 91702 markings/sec, 40 secs
lola: 4928254 markings, 19007101 edges, 82987 markings/sec, 45 secs
lola: 5343146 markings, 20667115 edges, 82978 markings/sec, 50 secs
lola: 5725426 markings, 22528850 edges, 76456 markings/sec, 55 secs
lola: 6121317 markings, 24224678 edges, 79178 markings/sec, 60 secs
lola: 6510677 markings, 25853721 edges, 77872 markings/sec, 65 secs
lola: 6899662 markings, 27864803 edges, 77797 markings/sec, 70 secs
lola: 7268667 markings, 29943988 edges, 73801 markings/sec, 75 secs
lola: 7640260 markings, 31927824 edges, 74319 markings/sec, 80 secs
lola: 8054453 markings, 33796656 edges, 82839 markings/sec, 85 secs
lola: 8475968 markings, 35338742 edges, 84303 markings/sec, 90 secs
lola: 8877040 markings, 37261232 edges, 80214 markings/sec, 95 secs
lola: 9269636 markings, 39225891 edges, 78519 markings/sec, 100 secs
lola: 9656566 markings, 41239807 edges, 77386 markings/sec, 105 secs
lola: 10029613 markings, 43385954 edges, 74609 markings/sec, 110 secs
lola: 10420349 markings, 45456455 edges, 78147 markings/sec, 115 secs
lola: 10789098 markings, 47736185 edges, 73750 markings/sec, 120 secs
lola: 11195235 markings, 49558314 edges, 81227 markings/sec, 125 secs
lola: 11596293 markings, 51393859 edges, 80212 markings/sec, 130 secs
lola: 11969753 markings, 53303207 edges, 74692 markings/sec, 135 secs
lola: 12376711 markings, 55073489 edges, 81392 markings/sec, 140 secs
lola: 12768125 markings, 56927227 edges, 78283 markings/sec, 145 secs
lola: 13147645 markings, 58951411 edges, 75904 markings/sec, 150 secs
lola: 13570068 markings, 60600254 edges, 84485 markings/sec, 155 secs
lola: 13961202 markings, 62427125 edges, 78227 markings/sec, 160 secs
lola: 14340684 markings, 64449258 edges, 75896 markings/sec, 165 secs
lola: 14716066 markings, 66651085 edges, 75076 markings/sec, 170 secs
lola: 15115944 markings, 68605493 edges, 79976 markings/sec, 175 secs
lola: 15485170 markings, 70454959 edges, 73845 markings/sec, 180 secs
lola: 15846928 markings, 72527486 edges, 72352 markings/sec, 185 secs
lola: 16222260 markings, 74426465 edges, 75066 markings/sec, 190 secs
lola: 16571890 markings, 76486913 edges, 69926 markings/sec, 195 secs
lola: 16955407 markings, 78261440 edges, 76703 markings/sec, 200 secs
lola: 17332557 markings, 79946797 edges, 75430 markings/sec, 205 secs
lola: 17706661 markings, 81737743 edges, 74821 markings/sec, 210 secs
lola: 18063963 markings, 83666803 edges, 71460 markings/sec, 215 secs
lola: 18394358 markings, 85840224 edges, 66079 markings/sec, 220 secs
lola: 18745079 markings, 87866579 edges, 70144 markings/sec, 225 secs
lola: 19117391 markings, 89776919 edges, 74462 markings/sec, 230 secs
lola: 19466723 markings, 91595755 edges, 69866 markings/sec, 235 secs
lola: 19794675 markings, 93628112 edges, 65590 markings/sec, 240 secs
lola: 20134270 markings, 95620971 edges, 67919 markings/sec, 245 secs
lola: 20470347 markings, 97550186 edges, 67215 markings/sec, 250 secs
lola: 20800145 markings, 99633254 edges, 65960 markings/sec, 255 secs
lola: 21127398 markings, 101861628 edges, 65451 markings/sec, 260 secs
lola: 21496132 markings, 103944440 edges, 73747 markings/sec, 265 secs
lola: 21945636 markings, 106045299 edges, 89901 markings/sec, 270 secs
lola: 22377267 markings, 107906416 edges, 86326 markings/sec, 275 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 282 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: 479578 markings, 1734658 edges, 95916 markings/sec, 0 secs
lola: 940847 markings, 3419774 edges, 92254 markings/sec, 5 secs
lola: 1586414 markings, 5002455 edges, 129113 markings/sec, 10 secs
lola: 2164240 markings, 6918013 edges, 115565 markings/sec, 15 secs
lola: 2703803 markings, 8874315 edges, 107913 markings/sec, 20 secs
lola: 3206740 markings, 10807716 edges, 100587 markings/sec, 25 secs
lola: 3688399 markings, 12772370 edges, 96332 markings/sec, 30 secs
lola: 4147648 markings, 14476914 edges, 91850 markings/sec, 35 secs
lola: 4572042 markings, 16198884 edges, 84879 markings/sec, 40 secs
lola: 4959509 markings, 17967230 edges, 77493 markings/sec, 45 secs
lola: 5346498 markings, 19807979 edges, 77398 markings/sec, 50 secs
lola: 5727446 markings, 21564082 edges, 76190 markings/sec, 55 secs
lola: 6228930 markings, 23207332 edges, 100297 markings/sec, 60 secs
lola: 6676343 markings, 25083644 edges, 89483 markings/sec, 65 secs
lola: 7061143 markings, 27005955 edges, 76960 markings/sec, 70 secs
lola: 7556105 markings, 28789706 edges, 98992 markings/sec, 75 secs
lola: 7959053 markings, 30732221 edges, 80590 markings/sec, 80 secs
lola: 8438802 markings, 32389940 edges, 95950 markings/sec, 85 secs
lola: 8922720 markings, 34114475 edges, 96784 markings/sec, 90 secs
lola: 9471753 markings, 35882203 edges, 109807 markings/sec, 95 secs
lola: 9949189 markings, 37877686 edges, 95487 markings/sec, 100 secs
lola: 10367258 markings, 39774784 edges, 83614 markings/sec, 105 secs
lola: 10752739 markings, 41512035 edges, 77096 markings/sec, 110 secs
lola: 11243174 markings, 43192520 edges, 98087 markings/sec, 115 secs
lola: 11684394 markings, 44780450 edges, 88244 markings/sec, 120 secs
lola: 12245895 markings, 46474572 edges, 112300 markings/sec, 125 secs
lola: 12794490 markings, 48211738 edges, 109719 markings/sec, 130 secs
lola: 13341828 markings, 49948041 edges, 109468 markings/sec, 135 secs
lola: 13945156 markings, 51543913 edges, 120666 markings/sec, 140 secs
lola: 14448442 markings, 53379972 edges, 100657 markings/sec, 145 secs
lola: 14969813 markings, 55338912 edges, 104274 markings/sec, 150 secs
lola: 15513116 markings, 57271096 edges, 108661 markings/sec, 155 secs
lola: 15966375 markings, 59316960 edges, 90652 markings/sec, 160 secs
lola: 16455702 markings, 61299272 edges, 97865 markings/sec, 165 secs
lola: 16925035 markings, 63488180 edges, 93867 markings/sec, 170 secs
lola: 17397820 markings, 65304004 edges, 94557 markings/sec, 175 secs
lola: 17859958 markings, 67013195 edges, 92428 markings/sec, 180 secs
lola: 18259541 markings, 68829223 edges, 79917 markings/sec, 185 secs
lola: 18661643 markings, 70689642 edges, 80420 markings/sec, 190 secs
lola: 19041917 markings, 72422001 edges, 76055 markings/sec, 195 secs
lola: 19558398 markings, 74166246 edges, 103296 markings/sec, 200 secs
lola: 20007390 markings, 76047706 edges, 89798 markings/sec, 205 secs
lola: 20489659 markings, 77911157 edges, 96454 markings/sec, 210 secs
lola: 20938247 markings, 79687238 edges, 89718 markings/sec, 215 secs
lola: 21319213 markings, 81456919 edges, 76193 markings/sec, 220 secs
lola: 21778947 markings, 83180201 edges, 91947 markings/sec, 225 secs
lola: 22144992 markings, 84951858 edges, 73209 markings/sec, 230 secs
lola: 22768579 markings, 86622607 edges, 124717 markings/sec, 235 secs
lola: 23393172 markings, 88276269 edges, 124919 markings/sec, 240 secs
lola: 23984025 markings, 90100055 edges, 118171 markings/sec, 245 secs
lola: 24505578 markings, 92087020 edges, 104311 markings/sec, 250 secs
lola: 25011918 markings, 94164985 edges, 101268 markings/sec, 255 secs
lola: 25438363 markings, 96245552 edges, 85289 markings/sec, 260 secs
lola: 25880781 markings, 98276369 edges, 88484 markings/sec, 265 secs
lola: 26311625 markings, 100105164 edges, 86169 markings/sec, 270 secs
lola: 26712800 markings, 101936165 edges, 80235 markings/sec, 275 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown 1 unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-4 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-9 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DNAwalker-PT-12ringLLLarge-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494666932258

--------------------
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="DNAwalker-PT-12ringLLLarge"
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/DNAwalker-PT-12ringLLLarge.tgz
mv DNAwalker-PT-12ringLLLarge 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 DNAwalker-PT-12ringLLLarge, 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 r028-blw3-149440263900101"
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 ;