Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is Solitaire-PT-EngCT7x7, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r078-ebro-149441008200065
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Solitaire-PT-EngCT7x7-UpperBounds-0
FORMULA_NAME Solitaire-PT-EngCT7x7-UpperBounds-1
FORMULA_NAME Solitaire-PT-EngCT7x7-UpperBounds-10
FORMULA_NAME Solitaire-PT-EngCT7x7-UpperBounds-11
FORMULA_NAME Solitaire-PT-EngCT7x7-UpperBounds-12
FORMULA_NAME Solitaire-PT-EngCT7x7-UpperBounds-13
FORMULA_NAME Solitaire-PT-EngCT7x7-UpperBounds-14
FORMULA_NAME Solitaire-PT-EngCT7x7-UpperBounds-15
FORMULA_NAME Solitaire-PT-EngCT7x7-UpperBounds-2
FORMULA_NAME Solitaire-PT-EngCT7x7-UpperBounds-3
FORMULA_NAME Solitaire-PT-EngCT7x7-UpperBounds-4
FORMULA_NAME Solitaire-PT-EngCT7x7-UpperBounds-5
FORMULA_NAME Solitaire-PT-EngCT7x7-UpperBounds-6
FORMULA_NAME Solitaire-PT-EngCT7x7-UpperBounds-7
FORMULA_NAME Solitaire-PT-EngCT7x7-UpperBounds-8
FORMULA_NAME Solitaire-PT-EngCT7x7-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1494929770895


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Solitaire-PT-EngCT7x7 @ 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: 143/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 67 places, 76 transitions, 33 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 77 transition conflict sets
lola: TASK
lola: reading formula from Solitaire-PT-EngCT7x7-UpperBounds.task
lola: MAX(T57) : MAX(T75) : MAX(T43) : MAX(T34) : MAX(T34) : MAX(T13) : MAX(T24) : MAX(T45) : MAX(T73) : MAX(T43) : MAX(T13) : MAX(T41) : MAX(T57) : MAX(T74) : MAX(T75) : MAX(F73)
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(T57)
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: 405386 markings, 1643569 edges, 81077 markings/sec, 0 secs
lola: 756574 markings, 3351816 edges, 70238 markings/sec, 5 secs
lola: 1107708 markings, 5106218 edges, 70227 markings/sec, 10 secs
lola: 1454374 markings, 6864335 edges, 69333 markings/sec, 15 secs
lola: 1776896 markings, 8665953 edges, 64504 markings/sec, 20 secs
lola: 2096036 markings, 10356078 edges, 63828 markings/sec, 25 secs
lola: 2416492 markings, 12074211 edges, 64091 markings/sec, 30 secs
lola: 2721420 markings, 13730088 edges, 60986 markings/sec, 35 secs
lola: 3028699 markings, 15437126 edges, 61456 markings/sec, 40 secs
lola: 3305739 markings, 17068918 edges, 55408 markings/sec, 45 secs
lola: 3570031 markings, 18677925 edges, 52858 markings/sec, 50 secs
lola: 3817116 markings, 20220051 edges, 49417 markings/sec, 55 secs
lola: 4072463 markings, 21860815 edges, 51069 markings/sec, 60 secs
lola: 4328279 markings, 23435740 edges, 51163 markings/sec, 65 secs
lola: 4575450 markings, 25135544 edges, 49434 markings/sec, 70 secs
lola: 4885387 markings, 26769693 edges, 61987 markings/sec, 75 secs
lola: 5197236 markings, 28416082 edges, 62370 markings/sec, 80 secs
lola: 5483166 markings, 30000149 edges, 57186 markings/sec, 85 secs
lola: 5770039 markings, 31614101 edges, 57375 markings/sec, 90 secs
lola: 6049300 markings, 33234343 edges, 55852 markings/sec, 95 secs
lola: 6325175 markings, 34909194 edges, 55175 markings/sec, 100 secs
lola: 6597449 markings, 36587470 edges, 54455 markings/sec, 105 secs
lola: 6864907 markings, 38104796 edges, 53492 markings/sec, 110 secs
lola: 7118043 markings, 39684456 edges, 50627 markings/sec, 115 secs
lola: 7363203 markings, 41206696 edges, 49032 markings/sec, 120 secs
lola: 7598972 markings, 42727003 edges, 47154 markings/sec, 125 secs
lola: 7827295 markings, 44265906 edges, 45665 markings/sec, 130 secs
lola: 8081131 markings, 45897148 edges, 50767 markings/sec, 135 secs
lola: 8308876 markings, 47466652 edges, 45549 markings/sec, 140 secs
lola: 8597213 markings, 49133517 edges, 57667 markings/sec, 145 secs
lola: 8851570 markings, 50825871 edges, 50871 markings/sec, 150 secs
lola: 9121266 markings, 52514652 edges, 53939 markings/sec, 155 secs
lola: 9378687 markings, 54191563 edges, 51484 markings/sec, 160 secs
lola: 9646058 markings, 55880987 edges, 53474 markings/sec, 165 secs
lola: 9897165 markings, 57611606 edges, 50221 markings/sec, 170 secs
lola: 10155673 markings, 59312877 edges, 51702 markings/sec, 175 secs
lola: 10438517 markings, 61011886 edges, 56569 markings/sec, 180 secs
lola: 10721908 markings, 62811926 edges, 56678 markings/sec, 185 secs
lola: 10972578 markings, 64481947 edges, 50134 markings/sec, 190 secs
lola: 11179073 markings, 66105719 edges, 41299 markings/sec, 195 secs
lola: 11371877 markings, 67517441 edges, 38561 markings/sec, 200 secs
lola: 11609423 markings, 68893654 edges, 47509 markings/sec, 205 secs
lola: 11850374 markings, 70342799 edges, 48190 markings/sec, 210 secs
lola: 12093533 markings, 71854348 edges, 48632 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(T75)
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: 410351 markings, 1798288 edges, 82070 markings/sec, 0 secs
lola: 755712 markings, 3542088 edges, 69072 markings/sec, 5 secs
lola: 1096964 markings, 5304993 edges, 68250 markings/sec, 10 secs
lola: 1414091 markings, 7051643 edges, 63425 markings/sec, 15 secs
lola: 1724164 markings, 8725120 edges, 62015 markings/sec, 20 secs
lola: 2022386 markings, 10348451 edges, 59644 markings/sec, 25 secs
lola: 2315620 markings, 11986640 edges, 58647 markings/sec, 30 secs
lola: 2605426 markings, 13655731 edges, 57961 markings/sec, 35 secs
lola: 2889114 markings, 15182435 edges, 56738 markings/sec, 40 secs
lola: 3176867 markings, 16721851 edges, 57551 markings/sec, 45 secs
lola: 3453309 markings, 18189930 edges, 55288 markings/sec, 50 secs
lola: 3713401 markings, 19741757 edges, 52018 markings/sec, 55 secs
lola: 3976848 markings, 21307957 edges, 52689 markings/sec, 60 secs
lola: 4255970 markings, 22932961 edges, 55824 markings/sec, 65 secs
lola: 4539156 markings, 24574773 edges, 56637 markings/sec, 70 secs
lola: 4793330 markings, 26194335 edges, 50835 markings/sec, 75 secs
lola: 5039021 markings, 27768533 edges, 49138 markings/sec, 80 secs
lola: 5298281 markings, 29418193 edges, 51852 markings/sec, 85 secs
lola: 5552281 markings, 31073672 edges, 50800 markings/sec, 90 secs
lola: 5789706 markings, 32599402 edges, 47485 markings/sec, 95 secs
lola: 5991710 markings, 34114911 edges, 40401 markings/sec, 100 secs
lola: 6283435 markings, 35690826 edges, 58345 markings/sec, 105 secs
lola: 6571002 markings, 37353341 edges, 57513 markings/sec, 110 secs
lola: 6835262 markings, 38973154 edges, 52852 markings/sec, 115 secs
lola: 7105991 markings, 40628198 edges, 54146 markings/sec, 120 secs
lola: 7372774 markings, 42144988 edges, 53357 markings/sec, 125 secs
lola: 7633808 markings, 43709832 edges, 52207 markings/sec, 130 secs
lola: 7899810 markings, 45233408 edges, 53200 markings/sec, 135 secs
lola: 8144555 markings, 46728577 edges, 48949 markings/sec, 140 secs
lola: 8393407 markings, 48266289 edges, 49770 markings/sec, 145 secs
lola: 8646652 markings, 49742968 edges, 50649 markings/sec, 150 secs
lola: 8890000 markings, 51222941 edges, 48670 markings/sec, 155 secs
lola: 9112703 markings, 52732549 edges, 44541 markings/sec, 160 secs
lola: 9356739 markings, 54279707 edges, 48807 markings/sec, 165 secs
lola: 9584937 markings, 55827082 edges, 45640 markings/sec, 170 secs
lola: 9796070 markings, 57392082 edges, 42227 markings/sec, 175 secs
lola: 10018842 markings, 58966827 edges, 44554 markings/sec, 180 secs
lola: 10219104 markings, 60468212 edges, 40052 markings/sec, 185 secs
lola: 10423457 markings, 62011811 edges, 40871 markings/sec, 190 secs
lola: 10601716 markings, 63444763 edges, 35652 markings/sec, 195 secs
lola: 10846156 markings, 64936105 edges, 48888 markings/sec, 200 secs
lola: 11081338 markings, 66472212 edges, 47036 markings/sec, 205 secs
lola: 11315755 markings, 67984376 edges, 46883 markings/sec, 210 secs
lola: 11536061 markings, 69536048 edges, 44061 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(T43)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 416930 markings, 1679278 edges, 83386 markings/sec, 0 secs
lola: 805172 markings, 3415648 edges, 77648 markings/sec, 5 secs
lola: 1187172 markings, 5107266 edges, 76400 markings/sec, 10 secs
lola: 1538715 markings, 6788894 edges, 70309 markings/sec, 15 secs
lola: 1874952 markings, 8479829 edges, 67247 markings/sec, 20 secs
lola: 2199003 markings, 10161575 edges, 64810 markings/sec, 25 secs
lola: 2515987 markings, 11896757 edges, 63397 markings/sec, 30 secs
lola: 2843074 markings, 13567848 edges, 65417 markings/sec, 35 secs
lola: 3135444 markings, 15252667 edges, 58474 markings/sec, 40 secs
lola: 3459990 markings, 16933797 edges, 64909 markings/sec, 45 secs
lola: 3760578 markings, 18649494 edges, 60118 markings/sec, 50 secs
lola: 4079406 markings, 20313681 edges, 63766 markings/sec, 55 secs
lola: 4419040 markings, 21961920 edges, 67927 markings/sec, 60 secs
lola: 4738425 markings, 23657411 edges, 63877 markings/sec, 65 secs
lola: 5041312 markings, 25335429 edges, 60577 markings/sec, 70 secs
lola: 5355472 markings, 27023506 edges, 62832 markings/sec, 75 secs
lola: 5638594 markings, 28698172 edges, 56624 markings/sec, 80 secs
lola: 5945197 markings, 30428815 edges, 61321 markings/sec, 85 secs
lola: 6249996 markings, 32130091 edges, 60960 markings/sec, 90 secs
lola: 6534688 markings, 33813944 edges, 56938 markings/sec, 95 secs
lola: 6818214 markings, 35547065 edges, 56705 markings/sec, 100 secs
lola: 7102344 markings, 37266581 edges, 56826 markings/sec, 105 secs
lola: 7410279 markings, 38952245 edges, 61587 markings/sec, 110 secs
lola: 7699521 markings, 40670269 edges, 57848 markings/sec, 115 secs
lola: 7999094 markings, 42383224 edges, 59915 markings/sec, 120 secs
lola: 8290639 markings, 44031969 edges, 58309 markings/sec, 125 secs
lola: 8578993 markings, 45705829 edges, 57671 markings/sec, 130 secs
lola: 8852992 markings, 47425215 edges, 54800 markings/sec, 135 secs
lola: 9140644 markings, 49142430 edges, 57530 markings/sec, 140 secs
lola: 9386747 markings, 50908511 edges, 49221 markings/sec, 145 secs
lola: 9684785 markings, 52627051 edges, 59608 markings/sec, 150 secs
lola: 9963486 markings, 54416107 edges, 55740 markings/sec, 155 secs
lola: 10236169 markings, 56112735 edges, 54537 markings/sec, 160 secs
lola: 10515255 markings, 57799696 edges, 55817 markings/sec, 165 secs
lola: 10788830 markings, 59571000 edges, 54715 markings/sec, 170 secs
lola: 11059334 markings, 61344792 edges, 54101 markings/sec, 175 secs
lola: 11319090 markings, 63101513 edges, 51951 markings/sec, 180 secs
lola: 11567206 markings, 64776250 edges, 49623 markings/sec, 185 secs
lola: 11846790 markings, 66398224 edges, 55917 markings/sec, 190 secs
lola: 12132775 markings, 67984108 edges, 57197 markings/sec, 195 secs
lola: 12414385 markings, 69564042 edges, 56322 markings/sec, 200 secs
lola: 12684288 markings, 71176285 edges, 53981 markings/sec, 205 secs
lola: 12945338 markings, 72797801 edges, 52210 markings/sec, 210 secs
lola: 13204118 markings, 74466444 edges, 51756 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(T34)
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: 435854 markings, 1758603 edges, 87171 markings/sec, 0 secs
lola: 809432 markings, 3550688 edges, 74716 markings/sec, 5 secs
lola: 1173253 markings, 5247609 edges, 72764 markings/sec, 10 secs
lola: 1490574 markings, 6953898 edges, 63464 markings/sec, 15 secs
lola: 1821856 markings, 8701023 edges, 66256 markings/sec, 20 secs
lola: 2149281 markings, 10389337 edges, 65485 markings/sec, 25 secs
lola: 2479213 markings, 12023622 edges, 65986 markings/sec, 30 secs
lola: 2806169 markings, 13674268 edges, 65391 markings/sec, 35 secs
lola: 3115344 markings, 15371415 edges, 61835 markings/sec, 40 secs
lola: 3447694 markings, 17052035 edges, 66470 markings/sec, 45 secs
lola: 3748665 markings, 18742024 edges, 60194 markings/sec, 50 secs
lola: 4055578 markings, 20415569 edges, 61383 markings/sec, 55 secs
lola: 4345246 markings, 22083428 edges, 57934 markings/sec, 60 secs
lola: 4631441 markings, 23787692 edges, 57239 markings/sec, 65 secs
lola: 4970372 markings, 25503514 edges, 67786 markings/sec, 70 secs
lola: 5271302 markings, 27148739 edges, 60186 markings/sec, 75 secs
lola: 5593825 markings, 28857170 edges, 64505 markings/sec, 80 secs
lola: 5888089 markings, 30542792 edges, 58853 markings/sec, 85 secs
lola: 6174631 markings, 32233631 edges, 57308 markings/sec, 90 secs
lola: 6452428 markings, 33891136 edges, 55559 markings/sec, 95 secs
lola: 6734533 markings, 35529757 edges, 56421 markings/sec, 100 secs
lola: 6998970 markings, 37131195 edges, 52887 markings/sec, 105 secs
lola: 7252948 markings, 38741468 edges, 50796 markings/sec, 110 secs
lola: 7516348 markings, 40390031 edges, 52680 markings/sec, 115 secs
lola: 7808797 markings, 41995930 edges, 58490 markings/sec, 120 secs
lola: 8082808 markings, 43650986 edges, 54802 markings/sec, 125 secs
lola: 8363429 markings, 45292348 edges, 56124 markings/sec, 130 secs
lola: 8624169 markings, 46901838 edges, 52148 markings/sec, 135 secs
lola: 8891253 markings, 48539313 edges, 53417 markings/sec, 140 secs
lola: 9144132 markings, 50141554 edges, 50576 markings/sec, 145 secs
lola: 9379612 markings, 51756701 edges, 47096 markings/sec, 150 secs
lola: 9688409 markings, 53429186 edges, 61759 markings/sec, 155 secs
lola: 9997802 markings, 55126951 edges, 61879 markings/sec, 160 secs
lola: 10284642 markings, 56838888 edges, 57368 markings/sec, 165 secs
lola: 10574789 markings, 58518736 edges, 58029 markings/sec, 170 secs
lola: 10866075 markings, 60248730 edges, 58257 markings/sec, 175 secs
lola: 11151518 markings, 61926545 edges, 57089 markings/sec, 180 secs
lola: 11427503 markings, 63606164 edges, 55197 markings/sec, 185 secs
lola: 11723714 markings, 65273216 edges, 59242 markings/sec, 190 secs
lola: 12010542 markings, 66981854 edges, 57366 markings/sec, 195 secs
lola: 12295371 markings, 68692308 edges, 56966 markings/sec, 200 secs
lola: 12570730 markings, 70390256 edges, 55072 markings/sec, 205 secs
lola: 12829615 markings, 72080359 edges, 51777 markings/sec, 210 secs
lola: 13081106 markings, 73766225 edges, 50298 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(T34)
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: 421223 markings, 1694240 edges, 84245 markings/sec, 0 secs
lola: 794285 markings, 3472858 edges, 74612 markings/sec, 5 secs
lola: 1156929 markings, 5152451 edges, 72529 markings/sec, 10 secs
lola: 1459980 markings, 6808534 edges, 60610 markings/sec, 15 secs
lola: 1788784 markings, 8522884 edges, 65761 markings/sec, 20 secs
lola: 2106825 markings, 10200530 edges, 63608 markings/sec, 25 secs
lola: 2437563 markings, 11814488 edges, 66148 markings/sec, 30 secs
lola: 2762039 markings, 13440309 edges, 64895 markings/sec, 35 secs
lola: 3067578 markings, 15089522 edges, 61108 markings/sec, 40 secs
lola: 3381052 markings, 16724454 edges, 62695 markings/sec, 45 secs
lola: 3685454 markings, 18383595 edges, 60880 markings/sec, 50 secs
lola: 3984623 markings, 20019690 edges, 59834 markings/sec, 55 secs
lola: 4268469 markings, 21653638 edges, 56769 markings/sec, 60 secs
lola: 4540744 markings, 23338379 edges, 54455 markings/sec, 65 secs
lola: 4882657 markings, 25038401 edges, 68383 markings/sec, 70 secs
lola: 5178708 markings, 26690468 edges, 59210 markings/sec, 75 secs
lola: 5505993 markings, 28341265 edges, 65457 markings/sec, 80 secs
lola: 5794466 markings, 30027276 edges, 57695 markings/sec, 85 secs
lola: 6083475 markings, 31701880 edges, 57802 markings/sec, 90 secs
lola: 6363627 markings, 33333065 edges, 56030 markings/sec, 95 secs
lola: 6639941 markings, 34982546 edges, 55263 markings/sec, 100 secs
lola: 6905626 markings, 36539617 edges, 53137 markings/sec, 105 secs
lola: 7156887 markings, 38132346 edges, 50252 markings/sec, 110 secs
lola: 7411406 markings, 39723018 edges, 50904 markings/sec, 115 secs
lola: 7688513 markings, 41329424 edges, 55421 markings/sec, 120 secs
lola: 7973524 markings, 42947308 edges, 57002 markings/sec, 125 secs
lola: 8247872 markings, 44585329 edges, 54870 markings/sec, 130 secs
lola: 8508034 markings, 46179761 edges, 52032 markings/sec, 135 secs
lola: 8767734 markings, 47789234 edges, 51940 markings/sec, 140 secs
lola: 9022843 markings, 49399594 edges, 51022 markings/sec, 145 secs
lola: 9270382 markings, 50998912 edges, 49508 markings/sec, 150 secs
lola: 9532904 markings, 52624961 edges, 52504 markings/sec, 155 secs
lola: 9853581 markings, 54323453 edges, 64135 markings/sec, 160 secs
lola: 10143811 markings, 55964363 edges, 58046 markings/sec, 165 secs
lola: 10428201 markings, 57616517 edges, 56878 markings/sec, 170 secs
lola: 10703574 markings, 59281011 edges, 55075 markings/sec, 175 secs
lola: 10989699 markings, 60931190 edges, 57225 markings/sec, 180 secs
lola: 11257160 markings, 62551180 edges, 53492 markings/sec, 185 secs
lola: 11534395 markings, 64187231 edges, 55447 markings/sec, 190 secs
lola: 11822485 markings, 65827830 edges, 57618 markings/sec, 195 secs
lola: 12089996 markings, 67494310 edges, 53502 markings/sec, 200 secs
lola: 12376945 markings, 69164967 edges, 57390 markings/sec, 205 secs
lola: 12632194 markings, 70818743 edges, 51050 markings/sec, 210 secs
lola: 12890503 markings, 72445027 edges, 51662 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(T13)
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: 411829 markings, 1680986 edges, 82366 markings/sec, 0 secs
lola: 779171 markings, 3383114 edges, 73468 markings/sec, 5 secs
lola: 1122235 markings, 5088591 edges, 68613 markings/sec, 10 secs
lola: 1451353 markings, 6810358 edges, 65824 markings/sec, 15 secs
lola: 1768849 markings, 8522017 edges, 63499 markings/sec, 20 secs
lola: 2081284 markings, 10239963 edges, 62487 markings/sec, 25 secs
lola: 2366607 markings, 11998414 edges, 57065 markings/sec, 30 secs
lola: 2685019 markings, 13668304 edges, 63682 markings/sec, 35 secs
lola: 2965893 markings, 15407026 edges, 56175 markings/sec, 40 secs
lola: 3260429 markings, 17121887 edges, 58907 markings/sec, 45 secs
lola: 3566220 markings, 18800121 edges, 61158 markings/sec, 50 secs
lola: 3856904 markings, 20467961 edges, 58137 markings/sec, 55 secs
lola: 4134466 markings, 22152354 edges, 55512 markings/sec, 60 secs
lola: 4399206 markings, 23825041 edges, 52948 markings/sec, 65 secs
lola: 4650513 markings, 25441044 edges, 50261 markings/sec, 70 secs
lola: 4963083 markings, 27115050 edges, 62514 markings/sec, 75 secs
lola: 5296442 markings, 28851402 edges, 66672 markings/sec, 80 secs
lola: 5590960 markings, 30596179 edges, 58904 markings/sec, 85 secs
lola: 5900673 markings, 32338155 edges, 61943 markings/sec, 90 secs
lola: 6200862 markings, 34140947 edges, 60038 markings/sec, 95 secs
lola: 6467234 markings, 35939746 edges, 53274 markings/sec, 100 secs
lola: 6770587 markings, 37639520 edges, 60671 markings/sec, 105 secs
lola: 7047261 markings, 39357587 edges, 55335 markings/sec, 110 secs
lola: 7314132 markings, 41034009 edges, 53374 markings/sec, 115 secs
lola: 7574705 markings, 42694497 edges, 52115 markings/sec, 120 secs
lola: 7868170 markings, 44393863 edges, 58693 markings/sec, 125 secs
lola: 8151444 markings, 46064329 edges, 56655 markings/sec, 130 secs
lola: 8418928 markings, 47751523 edges, 53497 markings/sec, 135 secs
lola: 8690888 markings, 49491044 edges, 54392 markings/sec, 140 secs
lola: 8961876 markings, 51231383 edges, 54198 markings/sec, 145 secs
lola: 9242168 markings, 52963534 edges, 56058 markings/sec, 150 secs
lola: 9542232 markings, 54695635 edges, 60013 markings/sec, 155 secs
lola: 9821324 markings, 56442522 edges, 55818 markings/sec, 160 secs
lola: 10090711 markings, 58195177 edges, 53877 markings/sec, 165 secs
lola: 10369583 markings, 59916635 edges, 55774 markings/sec, 170 secs
lola: 10625689 markings, 61652314 edges, 51221 markings/sec, 175 secs
lola: 10874547 markings, 63358771 edges, 49772 markings/sec, 180 secs
lola: 11151538 markings, 65130454 edges, 55398 markings/sec, 185 secs
lola: 11399660 markings, 66878828 edges, 49624 markings/sec, 190 secs
lola: 11706695 markings, 68623910 edges, 61407 markings/sec, 195 secs
lola: 12006419 markings, 70392307 edges, 59945 markings/sec, 200 secs
lola: 12287016 markings, 72127664 edges, 56119 markings/sec, 205 secs
lola: 12577464 markings, 73804021 edges, 58090 markings/sec, 210 secs
lola: 12841836 markings, 75500969 edges, 52874 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(T24)
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: 445584 markings, 1665757 edges, 89117 markings/sec, 0 secs
lola: 831743 markings, 3372585 edges, 77232 markings/sec, 5 secs
lola: 1222911 markings, 5088808 edges, 78234 markings/sec, 10 secs
lola: 1611374 markings, 6806081 edges, 77693 markings/sec, 15 secs
lola: 1977789 markings, 8581160 edges, 73283 markings/sec, 20 secs
lola: 2324294 markings, 10328147 edges, 69301 markings/sec, 25 secs
lola: 2672020 markings, 12069135 edges, 69545 markings/sec, 30 secs
lola: 2987825 markings, 13826696 edges, 63161 markings/sec, 35 secs
lola: 3286834 markings, 15619991 edges, 59802 markings/sec, 40 secs
lola: 3615621 markings, 17325359 edges, 65757 markings/sec, 45 secs
lola: 3928857 markings, 19075521 edges, 62647 markings/sec, 50 secs
lola: 4260056 markings, 20764618 edges, 66240 markings/sec, 55 secs
lola: 4598129 markings, 22458360 edges, 67615 markings/sec, 60 secs
lola: 4900830 markings, 24129267 edges, 60540 markings/sec, 65 secs
lola: 5203502 markings, 25814544 edges, 60534 markings/sec, 70 secs
lola: 5500715 markings, 27538349 edges, 59443 markings/sec, 75 secs
lola: 5803882 markings, 29267987 edges, 60633 markings/sec, 80 secs
lola: 6084951 markings, 30942123 edges, 56214 markings/sec, 85 secs
lola: 6372505 markings, 32595142 edges, 57511 markings/sec, 90 secs
lola: 6633605 markings, 34260638 edges, 52220 markings/sec, 95 secs
lola: 6922261 markings, 35893913 edges, 57731 markings/sec, 100 secs
lola: 7190654 markings, 37517413 edges, 53679 markings/sec, 105 secs
lola: 7424821 markings, 39168549 edges, 46833 markings/sec, 110 secs
lola: 7694073 markings, 40789001 edges, 53850 markings/sec, 115 secs
lola: 8038066 markings, 42521944 edges, 68799 markings/sec, 120 secs
lola: 8365249 markings, 44253311 edges, 65437 markings/sec, 125 secs
lola: 8672614 markings, 45979944 edges, 61473 markings/sec, 130 secs
lola: 8980813 markings, 47740802 edges, 61640 markings/sec, 135 secs
lola: 9264028 markings, 49488665 edges, 56643 markings/sec, 140 secs
lola: 9547369 markings, 51198722 edges, 56668 markings/sec, 145 secs
lola: 9819410 markings, 52945136 edges, 54408 markings/sec, 150 secs
lola: 10097167 markings, 54656840 edges, 55551 markings/sec, 155 secs
lola: 10403740 markings, 56336767 edges, 61315 markings/sec, 160 secs
lola: 10680250 markings, 58002783 edges, 55302 markings/sec, 165 secs
lola: 10939330 markings, 59646408 edges, 51816 markings/sec, 170 secs
lola: 11184259 markings, 61282336 edges, 48986 markings/sec, 175 secs
lola: 11507023 markings, 62966419 edges, 64553 markings/sec, 180 secs
lola: 11822262 markings, 64682165 edges, 63048 markings/sec, 185 secs
lola: 12135797 markings, 66440108 edges, 62707 markings/sec, 190 secs
lola: 12447242 markings, 68134884 edges, 62289 markings/sec, 195 secs
lola: 12762734 markings, 69884290 edges, 63098 markings/sec, 200 secs
lola: 13040138 markings, 71677118 edges, 55481 markings/sec, 205 secs
lola: 13307782 markings, 73388101 edges, 53529 markings/sec, 210 secs
lola: 13585922 markings, 74994102 edges, 55628 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(T45)
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: 429382 markings, 1678130 edges, 85876 markings/sec, 0 secs
lola: 806675 markings, 3418595 edges, 75459 markings/sec, 5 secs
lola: 1149145 markings, 5162840 edges, 68494 markings/sec, 10 secs
lola: 1523878 markings, 6870777 edges, 74947 markings/sec, 15 secs
lola: 1854312 markings, 8616291 edges, 66087 markings/sec, 20 secs
lola: 2180390 markings, 10351184 edges, 65216 markings/sec, 25 secs
lola: 2494466 markings, 12081853 edges, 62815 markings/sec, 30 secs
lola: 2781997 markings, 13796210 edges, 57506 markings/sec, 35 secs
lola: 3072616 markings, 15500886 edges, 58124 markings/sec, 40 secs
lola: 3365453 markings, 17219678 edges, 58567 markings/sec, 45 secs
lola: 3701379 markings, 18910768 edges, 67185 markings/sec, 50 secs
lola: 4012506 markings, 20602603 edges, 62225 markings/sec, 55 secs
lola: 4299617 markings, 22251646 edges, 57422 markings/sec, 60 secs
lola: 4590630 markings, 23852023 edges, 58203 markings/sec, 65 secs
lola: 4855976 markings, 25482024 edges, 53069 markings/sec, 70 secs
lola: 5144045 markings, 27121324 edges, 57614 markings/sec, 75 secs
lola: 5431959 markings, 28782032 edges, 57583 markings/sec, 80 secs
lola: 5719108 markings, 30443575 edges, 57430 markings/sec, 85 secs
lola: 5997779 markings, 32091180 edges, 55734 markings/sec, 90 secs
lola: 6264711 markings, 33716977 edges, 53386 markings/sec, 95 secs
lola: 6556075 markings, 35368025 edges, 58273 markings/sec, 100 secs
lola: 6812322 markings, 37008922 edges, 51249 markings/sec, 105 secs
lola: 7059322 markings, 38605502 edges, 49400 markings/sec, 110 secs
lola: 7364760 markings, 40294417 edges, 61088 markings/sec, 115 secs
lola: 7651864 markings, 41998603 edges, 57421 markings/sec, 120 secs
lola: 7935798 markings, 43652622 edges, 56787 markings/sec, 125 secs
lola: 8190993 markings, 45231308 edges, 51039 markings/sec, 130 secs
lola: 8456922 markings, 46905192 edges, 53186 markings/sec, 135 secs
lola: 8716356 markings, 48582247 edges, 51887 markings/sec, 140 secs
lola: 8964344 markings, 50156109 edges, 49598 markings/sec, 145 secs
lola: 9210144 markings, 51804987 edges, 49160 markings/sec, 150 secs
lola: 9438625 markings, 53392613 edges, 45696 markings/sec, 155 secs
lola: 9691977 markings, 54952820 edges, 50670 markings/sec, 160 secs
lola: 9964332 markings, 56593686 edges, 54471 markings/sec, 165 secs
lola: 10220014 markings, 58212836 edges, 51136 markings/sec, 170 secs
lola: 10541622 markings, 59800879 edges, 64322 markings/sec, 175 secs
lola: 10851660 markings, 61464282 edges, 62008 markings/sec, 180 secs
lola: 11144608 markings, 63149126 edges, 58590 markings/sec, 185 secs
lola: 11429254 markings, 64862101 edges, 56929 markings/sec, 190 secs
lola: 11706426 markings, 66567284 edges, 55434 markings/sec, 195 secs
lola: 11993404 markings, 68223960 edges, 57396 markings/sec, 200 secs
lola: 12274979 markings, 69924306 edges, 56315 markings/sec, 205 secs
lola: 12541516 markings, 71662471 edges, 53307 markings/sec, 210 secs
lola: 12806115 markings, 73376793 edges, 52920 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(T73)
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: 398675 markings, 1713836 edges, 79735 markings/sec, 0 secs
lola: 727128 markings, 3350424 edges, 65691 markings/sec, 5 secs
lola: 1058400 markings, 4958332 edges, 66254 markings/sec, 10 secs
lola: 1378463 markings, 6648463 edges, 64013 markings/sec, 15 secs
lola: 1694125 markings, 8228249 edges, 63132 markings/sec, 20 secs
lola: 2020468 markings, 9874819 edges, 65269 markings/sec, 25 secs
lola: 2316967 markings, 11544894 edges, 59300 markings/sec, 30 secs
lola: 2619550 markings, 13137987 edges, 60517 markings/sec, 35 secs
lola: 2913265 markings, 14739784 edges, 58743 markings/sec, 40 secs
lola: 3220007 markings, 16363519 edges, 61348 markings/sec, 45 secs
lola: 3511226 markings, 18012001 edges, 58244 markings/sec, 50 secs
lola: 3794849 markings, 19652735 edges, 56725 markings/sec, 55 secs
lola: 4062709 markings, 21306550 edges, 53572 markings/sec, 60 secs
lola: 4323860 markings, 22962577 edges, 52230 markings/sec, 65 secs
lola: 4593021 markings, 24661031 edges, 53832 markings/sec, 70 secs
lola: 4858856 markings, 26343155 edges, 53167 markings/sec, 75 secs
lola: 5117014 markings, 28026779 edges, 51632 markings/sec, 80 secs
lola: 5368343 markings, 29720402 edges, 50266 markings/sec, 85 secs
lola: 5653892 markings, 31328220 edges, 57110 markings/sec, 90 secs
lola: 5918024 markings, 32981976 edges, 52826 markings/sec, 95 secs
lola: 6170334 markings, 34641143 edges, 50462 markings/sec, 100 secs
lola: 6394815 markings, 36182223 edges, 44896 markings/sec, 105 secs
lola: 6687141 markings, 37750271 edges, 58465 markings/sec, 110 secs
lola: 6981983 markings, 39355076 edges, 58968 markings/sec, 115 secs
lola: 7256784 markings, 40953249 edges, 54960 markings/sec, 120 secs
lola: 7524408 markings, 42541788 edges, 53525 markings/sec, 125 secs
lola: 7788568 markings, 44174529 edges, 52832 markings/sec, 130 secs
lola: 8046060 markings, 45762703 edges, 51498 markings/sec, 135 secs
lola: 8303667 markings, 47368462 edges, 51521 markings/sec, 140 secs
lola: 8545428 markings, 48975614 edges, 48352 markings/sec, 145 secs
lola: 8793323 markings, 50546494 edges, 49579 markings/sec, 150 secs
lola: 9037330 markings, 52056263 edges, 48801 markings/sec, 155 secs
lola: 9278213 markings, 53623769 edges, 48177 markings/sec, 160 secs
lola: 9506165 markings, 55164757 edges, 45590 markings/sec, 165 secs
lola: 9731117 markings, 56726484 edges, 44990 markings/sec, 170 secs
lola: 9938327 markings, 58313594 edges, 41442 markings/sec, 175 secs
lola: 10221416 markings, 59860579 edges, 56618 markings/sec, 180 secs
lola: 10474615 markings, 61445997 edges, 50640 markings/sec, 185 secs
lola: 10721472 markings, 63037281 edges, 49371 markings/sec, 190 secs
lola: 10965853 markings, 64652390 edges, 48876 markings/sec, 195 secs
lola: 11201605 markings, 66219855 edges, 47150 markings/sec, 200 secs
lola: 11438747 markings, 67785743 edges, 47428 markings/sec, 205 secs
lola: 11658322 markings, 69306544 edges, 43915 markings/sec, 210 secs
lola: 11872647 markings, 70841103 edges, 42865 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(T43)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 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: 422935 markings, 1700302 edges, 84587 markings/sec, 0 secs
lola: 809358 markings, 3442242 edges, 77285 markings/sec, 5 secs
lola: 1191074 markings, 5130183 edges, 76343 markings/sec, 10 secs
lola: 1542192 markings, 6808151 edges, 70224 markings/sec, 15 secs
lola: 1877175 markings, 8489595 edges, 66997 markings/sec, 20 secs
lola: 2199266 markings, 10162803 edges, 64418 markings/sec, 25 secs
lola: 2513988 markings, 11883027 edges, 62944 markings/sec, 30 secs
lola: 2838281 markings, 13541905 edges, 64859 markings/sec, 35 secs
lola: 3129451 markings, 15227451 edges, 58234 markings/sec, 40 secs
lola: 3457804 markings, 16922067 edges, 65671 markings/sec, 45 secs
lola: 3760559 markings, 18649409 edges, 60551 markings/sec, 50 secs
lola: 4083085 markings, 20331186 edges, 64505 markings/sec, 55 secs
lola: 4420192 markings, 21968501 edges, 67421 markings/sec, 60 secs
lola: 4735564 markings, 23643100 edges, 63074 markings/sec, 65 secs
lola: 5036209 markings, 25305551 edges, 60129 markings/sec, 70 secs
lola: 5350824 markings, 26996504 edges, 62923 markings/sec, 75 secs
lola: 5639353 markings, 28702117 edges, 57706 markings/sec, 80 secs
lola: 5950263 markings, 30456626 edges, 62182 markings/sec, 85 secs
lola: 6261651 markings, 32190532 edges, 62278 markings/sec, 90 secs
lola: 6556648 markings, 33957125 edges, 58999 markings/sec, 95 secs
lola: 6840587 markings, 35685393 edges, 56788 markings/sec, 100 secs
lola: 7129277 markings, 37411724 edges, 57738 markings/sec, 105 secs
lola: 7443136 markings, 39127165 edges, 62772 markings/sec, 110 secs
lola: 7736274 markings, 40867436 edges, 58628 markings/sec, 115 secs
lola: 8036384 markings, 42613815 edges, 60022 markings/sec, 120 secs
lola: 8334380 markings, 44295598 edges, 59599 markings/sec, 125 secs
lola: 8627840 markings, 46002849 edges, 58692 markings/sec, 130 secs
lola: 8906496 markings, 47730850 edges, 55731 markings/sec, 135 secs
lola: 9189469 markings, 49491861 edges, 56595 markings/sec, 140 secs
lola: 9437175 markings, 51260300 edges, 49541 markings/sec, 145 secs
lola: 9743375 markings, 53008420 edges, 61240 markings/sec, 150 secs
lola: 10022248 markings, 54789817 edges, 55775 markings/sec, 155 secs
lola: 10300491 markings, 56501028 edges, 55649 markings/sec, 160 secs
lola: 10575894 markings, 58169829 edges, 55081 markings/sec, 165 secs
lola: 10841410 markings, 59944523 edges, 53103 markings/sec, 170 secs
lola: 11113304 markings, 61734052 edges, 54379 markings/sec, 175 secs
lola: 11369409 markings, 63432564 edges, 51221 markings/sec, 180 secs
lola: 11617185 markings, 65122491 edges, 49555 markings/sec, 185 secs
lola: 11909997 markings, 66737122 edges, 58562 markings/sec, 190 secs
lola: 12194800 markings, 68334861 edges, 56961 markings/sec, 195 secs
lola: 12475943 markings, 69936408 edges, 56229 markings/sec, 200 secs
lola: 12747267 markings, 71571584 edges, 54265 markings/sec, 205 secs
lola: 13012315 markings, 73202903 edges, 53010 markings/sec, 210 secs
lola: 13263049 markings, 74873508 edges, 50147 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(T13)
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: 416508 markings, 1703322 edges, 83302 markings/sec, 0 secs
lola: 791244 markings, 3435021 edges, 74947 markings/sec, 5 secs
lola: 1134160 markings, 5167219 edges, 68583 markings/sec, 10 secs
lola: 1470086 markings, 6924302 edges, 67185 markings/sec, 15 secs
lola: 1797079 markings, 8675123 edges, 65399 markings/sec, 20 secs
lola: 2113807 markings, 10397777 edges, 63346 markings/sec, 25 secs
lola: 2397281 markings, 12147200 edges, 56695 markings/sec, 30 secs
lola: 2714130 markings, 13842134 edges, 63370 markings/sec, 35 secs
lola: 2998447 markings, 15582959 edges, 56863 markings/sec, 40 secs
lola: 3296240 markings, 17297088 edges, 59559 markings/sec, 45 secs
lola: 3596899 markings, 18957724 edges, 60132 markings/sec, 50 secs
lola: 3884891 markings, 20629058 edges, 57598 markings/sec, 55 secs
lola: 4164479 markings, 22315656 edges, 55918 markings/sec, 60 secs
lola: 4421631 markings, 23976654 edges, 51430 markings/sec, 65 secs
lola: 4699039 markings, 25662793 edges, 55482 markings/sec, 70 secs
lola: 5019960 markings, 27390091 edges, 64184 markings/sec, 75 secs
lola: 5348152 markings, 29171568 edges, 65638 markings/sec, 80 secs
lola: 5646479 markings, 30942866 edges, 59665 markings/sec, 85 secs
lola: 5968098 markings, 32745501 edges, 64324 markings/sec, 90 secs
lola: 6270925 markings, 34541230 edges, 60565 markings/sec, 95 secs
lola: 6539999 markings, 36325741 edges, 53815 markings/sec, 100 secs
lola: 6839997 markings, 38034197 edges, 60000 markings/sec, 105 secs
lola: 7108133 markings, 39714085 edges, 53627 markings/sec, 110 secs
lola: 7369551 markings, 41365929 edges, 52284 markings/sec, 115 secs
lola: 7638006 markings, 43041037 edges, 53691 markings/sec, 120 secs
lola: 7930132 markings, 44748111 edges, 58425 markings/sec, 125 secs
lola: 8206530 markings, 46405459 edges, 55280 markings/sec, 130 secs
lola: 8469763 markings, 48127288 edges, 52647 markings/sec, 135 secs
lola: 8748018 markings, 49854957 edges, 55651 markings/sec, 140 secs
lola: 9026606 markings, 51596979 edges, 55718 markings/sec, 145 secs
lola: 9314491 markings, 53335867 edges, 57577 markings/sec, 150 secs
lola: 9604153 markings, 55063919 edges, 57932 markings/sec, 155 secs
lola: 9878909 markings, 56824719 edges, 54951 markings/sec, 160 secs
lola: 10153848 markings, 58546060 edges, 54988 markings/sec, 165 secs
lola: 10429749 markings, 60266256 edges, 55180 markings/sec, 170 secs
lola: 10674573 markings, 62008983 edges, 48965 markings/sec, 175 secs
lola: 10928396 markings, 63745377 edges, 50765 markings/sec, 180 secs
lola: 11202958 markings, 65519145 edges, 54912 markings/sec, 185 secs
lola: 11470127 markings, 67273797 edges, 53434 markings/sec, 190 secs
lola: 11788314 markings, 69050708 edges, 63637 markings/sec, 195 secs
lola: 12078204 markings, 70840030 edges, 57978 markings/sec, 200 secs
lola: 12365353 markings, 72583113 edges, 57430 markings/sec, 205 secs
lola: 12651150 markings, 74271538 edges, 57159 markings/sec, 210 secs
lola: 12917191 markings, 75992794 edges, 53208 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(T41)
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: 448919 markings, 1625505 edges, 89784 markings/sec, 0 secs
lola: 834669 markings, 3342928 edges, 77150 markings/sec, 5 secs
lola: 1194060 markings, 5052202 edges, 71878 markings/sec, 10 secs
lola: 1553424 markings, 6766804 edges, 71873 markings/sec, 15 secs
lola: 1899570 markings, 8512914 edges, 69229 markings/sec, 20 secs
lola: 2233166 markings, 10225265 edges, 66719 markings/sec, 25 secs
lola: 2526423 markings, 11943794 edges, 58651 markings/sec, 30 secs
lola: 2879024 markings, 13607401 edges, 70520 markings/sec, 35 secs
lola: 3248639 markings, 15274565 edges, 73923 markings/sec, 40 secs
lola: 3599357 markings, 16960485 edges, 70144 markings/sec, 45 secs
lola: 3920917 markings, 18601760 edges, 64312 markings/sec, 50 secs
lola: 4229595 markings, 20283133 edges, 61736 markings/sec, 55 secs
lola: 4534043 markings, 21914665 edges, 60890 markings/sec, 60 secs
lola: 4854133 markings, 23548013 edges, 64018 markings/sec, 65 secs
lola: 5168526 markings, 25160256 edges, 62879 markings/sec, 70 secs
lola: 5480169 markings, 26830754 edges, 62329 markings/sec, 75 secs
lola: 5770384 markings, 28493672 edges, 58043 markings/sec, 80 secs
lola: 6062628 markings, 30149733 edges, 58449 markings/sec, 85 secs
lola: 6357327 markings, 31852933 edges, 58940 markings/sec, 90 secs
lola: 6621093 markings, 33557928 edges, 52753 markings/sec, 95 secs
lola: 6928497 markings, 35257757 edges, 61481 markings/sec, 100 secs
lola: 7244218 markings, 36959773 edges, 63144 markings/sec, 105 secs
lola: 7535607 markings, 38614112 edges, 58278 markings/sec, 110 secs
lola: 7820500 markings, 40256793 edges, 56979 markings/sec, 115 secs
lola: 8104903 markings, 41943272 edges, 56881 markings/sec, 120 secs
lola: 8370444 markings, 43573080 edges, 53108 markings/sec, 125 secs
lola: 8631648 markings, 45219026 edges, 52241 markings/sec, 130 secs
lola: 8896247 markings, 46901069 edges, 52920 markings/sec, 135 secs
lola: 9162904 markings, 48573864 edges, 53331 markings/sec, 140 secs
lola: 9417835 markings, 50272260 edges, 50986 markings/sec, 145 secs
lola: 9664203 markings, 51978577 edges, 49274 markings/sec, 150 secs
lola: 9907704 markings, 53680681 edges, 48700 markings/sec, 155 secs
lola: 10173710 markings, 55380459 edges, 53201 markings/sec, 160 secs
lola: 10449811 markings, 57023056 edges, 55220 markings/sec, 165 secs
lola: 10713422 markings, 58726752 edges, 52722 markings/sec, 170 secs
lola: 10964511 markings, 60418086 edges, 50218 markings/sec, 175 secs
lola: 11214116 markings, 62116275 edges, 49921 markings/sec, 180 secs
lola: 11514582 markings, 63801021 edges, 60093 markings/sec, 185 secs
lola: 11815909 markings, 65456484 edges, 60265 markings/sec, 190 secs
lola: 12071637 markings, 67065567 edges, 51146 markings/sec, 195 secs
lola: 12352553 markings, 68652654 edges, 56183 markings/sec, 200 secs
lola: 12610126 markings, 70196887 edges, 51515 markings/sec, 205 secs
lola: 12913102 markings, 71827770 edges, 60595 markings/sec, 210 secs
lola: 13179641 markings, 73491999 edges, 53308 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(T57)
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: 427279 markings, 1737736 edges, 85456 markings/sec, 0 secs
lola: 793720 markings, 3536320 edges, 73288 markings/sec, 5 secs
lola: 1153750 markings, 5358951 edges, 72006 markings/sec, 10 secs
lola: 1503837 markings, 7134526 edges, 70017 markings/sec, 15 secs
lola: 1838530 markings, 8977061 edges, 66939 markings/sec, 20 secs
lola: 2168056 markings, 10765545 edges, 65905 markings/sec, 25 secs
lola: 2494270 markings, 12484442 edges, 65243 markings/sec, 30 secs
lola: 2810886 markings, 14201334 edges, 63323 markings/sec, 35 secs
lola: 3118513 markings, 15939794 edges, 61525 markings/sec, 40 secs
lola: 3402693 markings, 17650594 edges, 56836 markings/sec, 45 secs
lola: 3676131 markings, 19346698 edges, 54688 markings/sec, 50 secs
lola: 3946783 markings, 21038012 edges, 54130 markings/sec, 55 secs
lola: 4220401 markings, 22792158 edges, 54724 markings/sec, 60 secs
lola: 4488274 markings, 24542530 edges, 53575 markings/sec, 65 secs
lola: 4787506 markings, 26285832 edges, 59846 markings/sec, 70 secs
lola: 5120076 markings, 27998858 edges, 66514 markings/sec, 75 secs
lola: 5422542 markings, 29700463 edges, 60493 markings/sec, 80 secs
lola: 5733336 markings, 31394081 edges, 62159 markings/sec, 85 secs
lola: 6030156 markings, 33104617 edges, 59364 markings/sec, 90 secs
lola: 6318604 markings, 34875532 edges, 57690 markings/sec, 95 secs
lola: 6606568 markings, 36643473 edges, 57593 markings/sec, 100 secs
lola: 6897747 markings, 38293615 edges, 58236 markings/sec, 105 secs
lola: 7163840 markings, 39970775 edges, 53219 markings/sec, 110 secs
lola: 7424349 markings, 41610413 edges, 52102 markings/sec, 115 secs
lola: 7674764 markings, 43246337 edges, 50083 markings/sec, 120 secs
lola: 7935439 markings, 44942592 edges, 52135 markings/sec, 125 secs
lola: 8192060 markings, 46644886 edges, 51324 markings/sec, 130 secs
lola: 8463034 markings, 48367429 edges, 54195 markings/sec, 135 secs
lola: 8745796 markings, 50135059 edges, 56552 markings/sec, 140 secs
lola: 9028626 markings, 51911995 edges, 56566 markings/sec, 145 secs
lola: 9295894 markings, 53675171 edges, 53454 markings/sec, 150 secs
lola: 9573694 markings, 55442859 edges, 55560 markings/sec, 155 secs
lola: 9848386 markings, 57278233 edges, 54938 markings/sec, 160 secs
lola: 10117619 markings, 59082399 edges, 53847 markings/sec, 165 secs
lola: 10415991 markings, 60877321 edges, 59674 markings/sec, 170 secs
lola: 10713215 markings, 62754450 edges, 59445 markings/sec, 175 secs
lola: 10979378 markings, 64539188 edges, 53233 markings/sec, 180 secs
lola: 11198437 markings, 66260477 edges, 43812 markings/sec, 185 secs
lola: 11420644 markings, 67800292 edges, 44441 markings/sec, 190 secs
lola: 11677271 markings, 69302583 edges, 51325 markings/sec, 195 secs
lola: 11943696 markings, 70916313 edges, 53285 markings/sec, 200 secs
lola: 12189584 markings, 72481863 edges, 49178 markings/sec, 205 secs
lola: 12435180 markings, 74118110 edges, 49119 markings/sec, 210 secs
lola: 12671167 markings, 75693047 edges, 47197 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(T74)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 450457 markings, 1761349 edges, 90091 markings/sec, 0 secs
lola: 821614 markings, 3541733 edges, 74231 markings/sec, 5 secs
lola: 1180972 markings, 5308892 edges, 71872 markings/sec, 10 secs
lola: 1521042 markings, 7063349 edges, 68014 markings/sec, 15 secs
lola: 1858469 markings, 8703000 edges, 67485 markings/sec, 20 secs
lola: 2191657 markings, 10404868 edges, 66638 markings/sec, 25 secs
lola: 2492349 markings, 12114701 edges, 60138 markings/sec, 30 secs
lola: 2807080 markings, 13763458 edges, 62946 markings/sec, 35 secs
lola: 3155709 markings, 15447490 edges, 69726 markings/sec, 40 secs
lola: 3479139 markings, 17163688 edges, 64686 markings/sec, 45 secs
lola: 3781774 markings, 18811716 edges, 60527 markings/sec, 50 secs
lola: 4079684 markings, 20402159 edges, 59582 markings/sec, 55 secs
lola: 4372942 markings, 21998271 edges, 58652 markings/sec, 60 secs
lola: 4673090 markings, 23671499 edges, 60030 markings/sec, 65 secs
lola: 4953463 markings, 25331358 edges, 56075 markings/sec, 70 secs
lola: 5233252 markings, 26967260 edges, 55958 markings/sec, 75 secs
lola: 5516450 markings, 28576605 edges, 56640 markings/sec, 80 secs
lola: 5822960 markings, 30181989 edges, 61302 markings/sec, 85 secs
lola: 6104751 markings, 31768882 edges, 56358 markings/sec, 90 secs
lola: 6385299 markings, 33344725 edges, 56110 markings/sec, 95 secs
lola: 6658693 markings, 34963207 edges, 54679 markings/sec, 100 secs
lola: 6949112 markings, 36567632 edges, 58084 markings/sec, 105 secs
lola: 7225288 markings, 38233193 edges, 55235 markings/sec, 110 secs
lola: 7488898 markings, 39878558 edges, 52722 markings/sec, 115 secs
lola: 7742516 markings, 41541950 edges, 50724 markings/sec, 120 secs
lola: 7988739 markings, 43150834 edges, 49245 markings/sec, 125 secs
lola: 8262285 markings, 44733812 edges, 54709 markings/sec, 130 secs
lola: 8519688 markings, 46341241 edges, 51481 markings/sec, 135 secs
lola: 8786483 markings, 47958620 edges, 53359 markings/sec, 140 secs
lola: 9062803 markings, 49638516 edges, 55264 markings/sec, 145 secs
lola: 9318156 markings, 51323197 edges, 51071 markings/sec, 150 secs
lola: 9591092 markings, 53046007 edges, 54587 markings/sec, 155 secs
lola: 9850152 markings, 54756961 edges, 51812 markings/sec, 160 secs
lola: 10115748 markings, 56451286 edges, 53119 markings/sec, 165 secs
lola: 10364213 markings, 58176733 edges, 49693 markings/sec, 170 secs
lola: 10599321 markings, 59814376 edges, 47022 markings/sec, 175 secs
lola: 10829215 markings, 61512145 edges, 45979 markings/sec, 180 secs
lola: 11058762 markings, 63144504 edges, 45909 markings/sec, 185 secs
lola: 11316025 markings, 64744700 edges, 51453 markings/sec, 190 secs
lola: 11603809 markings, 66398033 edges, 57557 markings/sec, 195 secs
lola: 11875030 markings, 68047566 edges, 54244 markings/sec, 200 secs
lola: 12134755 markings, 69683675 edges, 51945 markings/sec, 205 secs
lola: 12400824 markings, 71314111 edges, 53214 markings/sec, 210 secs
lola: 12649392 markings, 72924815 edges, 49714 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(T75)
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: 418063 markings, 1830108 edges, 83613 markings/sec, 0 secs
lola: 773615 markings, 3625305 edges, 71110 markings/sec, 5 secs
lola: 1119167 markings, 5419722 edges, 69110 markings/sec, 10 secs
lola: 1440259 markings, 7213285 edges, 64218 markings/sec, 15 secs
lola: 1765428 markings, 8946167 edges, 65034 markings/sec, 20 secs
lola: 2076257 markings, 10657199 edges, 62166 markings/sec, 25 secs
lola: 2385019 markings, 12383965 edges, 61752 markings/sec, 30 secs
lola: 2686494 markings, 14118470 edges, 60295 markings/sec, 35 secs
lola: 2996944 markings, 15779431 edges, 62090 markings/sec, 40 secs
lola: 3298227 markings, 17370223 edges, 60257 markings/sec, 45 secs
lola: 3587397 markings, 18969779 edges, 57834 markings/sec, 50 secs
lola: 3858537 markings, 20596414 edges, 54228 markings/sec, 55 secs
lola: 4147163 markings, 22286716 edges, 57725 markings/sec, 60 secs
lola: 4444438 markings, 24024874 edges, 59455 markings/sec, 65 secs
lola: 4730744 markings, 25779677 edges, 57261 markings/sec, 70 secs
lola: 4992912 markings, 27483197 edges, 52434 markings/sec, 75 secs
lola: 5269523 markings, 29230188 edges, 55322 markings/sec, 80 secs
lola: 5537085 markings, 30976443 edges, 53512 markings/sec, 85 secs
lola: 5791520 markings, 32612918 edges, 50887 markings/sec, 90 secs
lola: 6010509 markings, 34259013 edges, 43798 markings/sec, 95 secs
lola: 6330148 markings, 35938144 edges, 63928 markings/sec, 100 secs
lola: 6625109 markings, 37671278 edges, 58992 markings/sec, 105 secs
lola: 6909470 markings, 39420751 edges, 56872 markings/sec, 110 secs
lola: 7195658 markings, 41116370 edges, 57238 markings/sec, 115 secs
lola: 7469432 markings, 42784156 edges, 54755 markings/sec, 120 secs
lola: 7757283 markings, 44421473 edges, 57570 markings/sec, 125 secs
lola: 8026172 markings, 46044800 edges, 53778 markings/sec, 130 secs
lola: 8293461 markings, 47697837 edges, 53458 markings/sec, 135 secs
lola: 8569859 markings, 49269685 edges, 55280 markings/sec, 140 secs
lola: 8832721 markings, 50851684 edges, 52572 markings/sec, 145 secs
lola: 9073203 markings, 52483751 edges, 48096 markings/sec, 150 secs
lola: 9331231 markings, 54111640 edges, 51606 markings/sec, 155 secs
lola: 9576794 markings, 55772683 edges, 49113 markings/sec, 160 secs
lola: 9804053 markings, 57442178 edges, 45452 markings/sec, 165 secs
lola: 10040558 markings, 59107744 edges, 47301 markings/sec, 170 secs
lola: 10260725 markings, 60765558 edges, 44033 markings/sec, 175 secs
lola: 10476666 markings, 62409473 edges, 43188 markings/sec, 180 secs
lola: 10688931 markings, 64053133 edges, 42453 markings/sec, 185 secs
lola: 10955606 markings, 65615649 edges, 53335 markings/sec, 190 secs
lola: 11202913 markings, 67282687 edges, 49461 markings/sec, 195 secs
lola: 11441622 markings, 68877444 edges, 47742 markings/sec, 200 secs
lola: 11673132 markings, 70559344 edges, 46302 markings/sec, 205 secs
lola: 11890455 markings, 72232543 edges, 43465 markings/sec, 210 secs
lola: 12095766 markings, 73913785 edges, 41062 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(F73)
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: 404981 markings, 1752699 edges, 80996 markings/sec, 0 secs
lola: 761510 markings, 3482020 edges, 71306 markings/sec, 5 secs
lola: 1104888 markings, 5183300 edges, 68676 markings/sec, 10 secs
lola: 1430080 markings, 6913762 edges, 65038 markings/sec, 15 secs
lola: 1766240 markings, 8539332 edges, 67232 markings/sec, 20 secs
lola: 2092387 markings, 10232013 edges, 65229 markings/sec, 25 secs
lola: 2393106 markings, 11894213 edges, 60144 markings/sec, 30 secs
lola: 2687753 markings, 13511074 edges, 58929 markings/sec, 35 secs
lola: 2999583 markings, 15147749 edges, 62366 markings/sec, 40 secs
lola: 3303990 markings, 16814473 edges, 60881 markings/sec, 45 secs
lola: 3598758 markings, 18493079 edges, 58954 markings/sec, 50 secs
lola: 3883734 markings, 20174955 edges, 56995 markings/sec, 55 secs
lola: 4154802 markings, 21851929 edges, 54214 markings/sec, 60 secs
lola: 4422795 markings, 23565902 edges, 53599 markings/sec, 65 secs
lola: 4700358 markings, 25284815 edges, 55513 markings/sec, 70 secs
lola: 4972078 markings, 27039532 edges, 54344 markings/sec, 75 secs
lola: 5225755 markings, 28777768 edges, 50735 markings/sec, 80 secs
lola: 5508902 markings, 30484457 edges, 56629 markings/sec, 85 secs
lola: 5793727 markings, 32183696 edges, 56965 markings/sec, 90 secs
lola: 6059552 markings, 33905807 edges, 53165 markings/sec, 95 secs
lola: 6315193 markings, 35585398 edges, 51128 markings/sec, 100 secs
lola: 6571303 markings, 37213300 edges, 51222 markings/sec, 105 secs
lola: 6855496 markings, 38793435 edges, 56839 markings/sec, 110 secs
lola: 7154181 markings, 40409308 edges, 59737 markings/sec, 115 secs
lola: 7435427 markings, 42076618 edges, 56249 markings/sec, 120 secs
lola: 7714973 markings, 43749395 edges, 55909 markings/sec, 125 secs
lola: 7992907 markings, 45398528 edges, 55587 markings/sec, 130 secs
lola: 8259886 markings, 47073836 edges, 53396 markings/sec, 135 secs
lola: 8520854 markings, 48775291 edges, 52194 markings/sec, 140 secs
lola: 8778779 markings, 50441622 edges, 51585 markings/sec, 145 secs
lola: 9037526 markings, 52036586 edges, 51749 markings/sec, 150 secs
lola: 9287237 markings, 53670540 edges, 49942 markings/sec, 155 secs
lola: 9522855 markings, 55258864 edges, 47124 markings/sec, 160 secs
lola: 9752620 markings, 56857264 edges, 45953 markings/sec, 165 secs
lola: 9977157 markings, 58480727 edges, 44907 markings/sec, 170 secs
lola: 10241549 markings, 60060501 edges, 52878 markings/sec, 175 secs
lola: 10508451 markings, 61649907 edges, 53380 markings/sec, 180 secs
lola: 10760742 markings, 63286236 edges, 50458 markings/sec, 185 secs
lola: 11012346 markings, 64945898 edges, 50321 markings/sec, 190 secs
lola: 11255437 markings, 66548050 edges, 48618 markings/sec, 195 secs
lola: 11495688 markings, 68171919 edges, 48050 markings/sec, 200 secs
lola: 11721782 markings, 69743694 edges, 45219 markings/sec, 205 secs
lola: 11953222 markings, 71368939 edges, 46288 markings/sec, 210 secs
lola: 12182790 markings, 73012644 edges, 45914 markings/sec, 215 secs
lola: time limit reached - aborting
lola: lola: caught signal User defined signal 1 - aborting LoLA

preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngCT7x7-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494933311124

--------------------
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="Solitaire-PT-EngCT7x7"
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/Solitaire-PT-EngCT7x7.tgz
mv Solitaire-PT-EngCT7x7 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is Solitaire-PT-EngCT7x7, 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 r078-ebro-149441008200065"
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 ;