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

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1494932289112


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Solitaire-PT-SqrNC5x5 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 134/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 50 places, 84 transitions, 25 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 168 transition conflict sets
lola: TASK
lola: reading formula from Solitaire-PT-SqrNC5x5-UpperBounds.task
lola: MAX(F26) : MAX(F35) : MAX(F25) : MAX(F35) : MAX(F43) : MAX(T22) : MAX(T36) : MAX(F24) : MAX(T45) : MAX(T65) : MAX(T43) : MAX(T45) : MAX(F64) : MAX(T45) : MAX(F34) : MAX(T33)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(F26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 337000 markings, 2515997 edges, 67400 markings/sec, 0 secs
lola: 610628 markings, 4954023 edges, 54726 markings/sec, 5 secs
lola: 902844 markings, 7517426 edges, 58443 markings/sec, 10 secs
lola: 1167152 markings, 10043786 edges, 52862 markings/sec, 15 secs
lola: 1410551 markings, 12461453 edges, 48680 markings/sec, 20 secs
lola: 1650628 markings, 14780138 edges, 48015 markings/sec, 25 secs
lola: 1896512 markings, 17251220 edges, 49177 markings/sec, 30 secs
lola: 2115753 markings, 19723211 edges, 43848 markings/sec, 35 secs
lola: 2329663 markings, 22147974 edges, 42782 markings/sec, 40 secs
lola: 2534978 markings, 24525934 edges, 41063 markings/sec, 45 secs
lola: 2730372 markings, 26760136 edges, 39079 markings/sec, 50 secs
lola: 2926441 markings, 29063504 edges, 39214 markings/sec, 55 secs
lola: 3121435 markings, 31419775 edges, 38999 markings/sec, 60 secs
lola: 3310777 markings, 33722435 edges, 37868 markings/sec, 65 secs
lola: 3496215 markings, 36064169 edges, 37088 markings/sec, 70 secs
lola: 3669689 markings, 38343511 edges, 34695 markings/sec, 75 secs
lola: 3861011 markings, 40569116 edges, 38264 markings/sec, 80 secs
lola: 4109099 markings, 42992785 edges, 49618 markings/sec, 85 secs
lola: 4332764 markings, 45357531 edges, 44733 markings/sec, 90 secs
lola: 4551818 markings, 47749640 edges, 43811 markings/sec, 95 secs
lola: 4768005 markings, 50148834 edges, 43237 markings/sec, 100 secs
lola: 4983513 markings, 52559278 edges, 43102 markings/sec, 105 secs
lola: 5187126 markings, 54882770 edges, 40723 markings/sec, 110 secs
lola: 5378871 markings, 57232325 edges, 38349 markings/sec, 115 secs
lola: 5573937 markings, 59580214 edges, 39013 markings/sec, 120 secs
lola: 5752092 markings, 61787628 edges, 35631 markings/sec, 125 secs
lola: 5941691 markings, 64110314 edges, 37920 markings/sec, 130 secs
lola: 6120733 markings, 66422886 edges, 35808 markings/sec, 135 secs
lola: 6296692 markings, 68727357 edges, 35192 markings/sec, 140 secs
lola: 6483651 markings, 71017613 edges, 37392 markings/sec, 145 secs
lola: 6661722 markings, 73319798 edges, 35614 markings/sec, 150 secs
lola: 6835264 markings, 75603070 edges, 34708 markings/sec, 155 secs
lola: 7019882 markings, 77931364 edges, 36924 markings/sec, 160 secs
lola: 7193583 markings, 80262211 edges, 34740 markings/sec, 165 secs
lola: 7365537 markings, 82544217 edges, 34391 markings/sec, 170 secs
lola: 7530348 markings, 84797009 edges, 32962 markings/sec, 175 secs
lola: 7695146 markings, 86992542 edges, 32960 markings/sec, 180 secs
lola: 7861942 markings, 89201743 edges, 33359 markings/sec, 185 secs
lola: 8021292 markings, 91445475 edges, 31870 markings/sec, 190 secs
lola: 8173339 markings, 93634432 edges, 30409 markings/sec, 195 secs
lola: 8345222 markings, 95905057 edges, 34377 markings/sec, 200 secs
lola: 8513079 markings, 98207601 edges, 33571 markings/sec, 205 secs
lola: 8675210 markings, 100497560 edges, 32426 markings/sec, 210 secs
lola: 8831393 markings, 102713152 edges, 31237 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(F35)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 394235 markings, 2617490 edges, 78847 markings/sec, 0 secs
lola: 696647 markings, 5177410 edges, 60482 markings/sec, 5 secs
lola: 976033 markings, 7676378 edges, 55877 markings/sec, 10 secs
lola: 1244890 markings, 10200237 edges, 53771 markings/sec, 15 secs
lola: 1498928 markings, 12731491 edges, 50808 markings/sec, 20 secs
lola: 1748917 markings, 15220177 edges, 49998 markings/sec, 25 secs
lola: 2028012 markings, 17730739 edges, 55819 markings/sec, 30 secs
lola: 2282274 markings, 20232975 edges, 50852 markings/sec, 35 secs
lola: 2513514 markings, 22632142 edges, 46248 markings/sec, 40 secs
lola: 2712280 markings, 24879690 edges, 39753 markings/sec, 45 secs
lola: 2918354 markings, 27073997 edges, 41215 markings/sec, 50 secs
lola: 3123148 markings, 29327454 edges, 40959 markings/sec, 55 secs
lola: 3317965 markings, 31593381 edges, 38963 markings/sec, 60 secs
lola: 3527877 markings, 33902530 edges, 41982 markings/sec, 65 secs
lola: 3716706 markings, 36128895 edges, 37766 markings/sec, 70 secs
lola: 3897105 markings, 38325823 edges, 36080 markings/sec, 75 secs
lola: 4082223 markings, 40495695 edges, 37024 markings/sec, 80 secs
lola: 4280656 markings, 42749349 edges, 39687 markings/sec, 85 secs
lola: 4470605 markings, 44980500 edges, 37990 markings/sec, 90 secs
lola: 4671816 markings, 47335256 edges, 40242 markings/sec, 95 secs
lola: 4847719 markings, 49530027 edges, 35181 markings/sec, 100 secs
lola: 5025545 markings, 51754175 edges, 35565 markings/sec, 105 secs
lola: 5187407 markings, 53869779 edges, 32372 markings/sec, 110 secs
lola: 5352400 markings, 55943795 edges, 32999 markings/sec, 115 secs
lola: 5515356 markings, 58016130 edges, 32591 markings/sec, 120 secs
lola: 5666704 markings, 60038167 edges, 30270 markings/sec, 125 secs
lola: 5825235 markings, 62071512 edges, 31706 markings/sec, 130 secs
lola: 5974125 markings, 64079331 edges, 29778 markings/sec, 135 secs
lola: 6125222 markings, 66100498 edges, 30219 markings/sec, 140 secs
lola: 6272440 markings, 67990182 edges, 29444 markings/sec, 145 secs
lola: 6434629 markings, 70049971 edges, 32438 markings/sec, 150 secs
lola: 6599849 markings, 72138180 edges, 33044 markings/sec, 155 secs
lola: 6771086 markings, 74312776 edges, 34247 markings/sec, 160 secs
lola: 6923888 markings, 76353968 edges, 30560 markings/sec, 165 secs
lola: 7077245 markings, 78410803 edges, 30671 markings/sec, 170 secs
lola: 7222083 markings, 80380969 edges, 28968 markings/sec, 175 secs
lola: 7375486 markings, 82455431 edges, 30681 markings/sec, 180 secs
lola: 7527073 markings, 84402231 edges, 30317 markings/sec, 185 secs
lola: 7674228 markings, 86362572 edges, 29431 markings/sec, 190 secs
lola: 7826307 markings, 88407089 edges, 30416 markings/sec, 195 secs
lola: 7970017 markings, 90399718 edges, 28742 markings/sec, 200 secs
lola: 8112073 markings, 92388420 edges, 28411 markings/sec, 205 secs
lola: 8249148 markings, 94322231 edges, 27415 markings/sec, 210 secs
lola: 8399822 markings, 96408186 edges, 30135 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(F25)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 366535 markings, 2581666 edges, 73307 markings/sec, 0 secs
lola: 648611 markings, 5063315 edges, 56415 markings/sec, 5 secs
lola: 905687 markings, 7515999 edges, 51415 markings/sec, 10 secs
lola: 1153664 markings, 9933589 edges, 49595 markings/sec, 15 secs
lola: 1381908 markings, 12301979 edges, 45649 markings/sec, 20 secs
lola: 1627782 markings, 14732888 edges, 49175 markings/sec, 25 secs
lola: 1858079 markings, 17179336 edges, 46059 markings/sec, 30 secs
lola: 2064336 markings, 19591400 edges, 41251 markings/sec, 35 secs
lola: 2266473 markings, 21915565 edges, 40427 markings/sec, 40 secs
lola: 2489656 markings, 24307715 edges, 44637 markings/sec, 45 secs
lola: 2703145 markings, 26691004 edges, 42698 markings/sec, 50 secs
lola: 2897848 markings, 29081601 edges, 38941 markings/sec, 55 secs
lola: 3119293 markings, 31500246 edges, 44289 markings/sec, 60 secs
lola: 3317385 markings, 33834475 edges, 39618 markings/sec, 65 secs
lola: 3537702 markings, 36189742 edges, 44063 markings/sec, 70 secs
lola: 3772287 markings, 38565556 edges, 46917 markings/sec, 75 secs
lola: 3965313 markings, 40968230 edges, 38605 markings/sec, 80 secs
lola: 4144292 markings, 43330802 edges, 35796 markings/sec, 85 secs
lola: 4322338 markings, 45643169 edges, 35609 markings/sec, 90 secs
lola: 4495814 markings, 47954405 edges, 34695 markings/sec, 95 secs
lola: 4689461 markings, 50196171 edges, 38729 markings/sec, 100 secs
lola: 4874894 markings, 52493385 edges, 37087 markings/sec, 105 secs
lola: 5110323 markings, 54887292 edges, 47086 markings/sec, 110 secs
lola: 5327084 markings, 57271500 edges, 43352 markings/sec, 115 secs
lola: 5528587 markings, 59576252 edges, 40301 markings/sec, 120 secs
lola: 5709977 markings, 61898808 edges, 36278 markings/sec, 125 secs
lola: 5883969 markings, 64251668 edges, 34798 markings/sec, 130 secs
lola: 6055572 markings, 66607139 edges, 34321 markings/sec, 135 secs
lola: 6215166 markings, 68918831 edges, 31919 markings/sec, 140 secs
lola: 6376422 markings, 71185429 edges, 32251 markings/sec, 145 secs
lola: 6541994 markings, 73440609 edges, 33114 markings/sec, 150 secs
lola: 6700918 markings, 75702170 edges, 31785 markings/sec, 155 secs
lola: 6875670 markings, 77938448 edges, 34950 markings/sec, 160 secs
lola: 7064821 markings, 80246473 edges, 37830 markings/sec, 165 secs
lola: 7238460 markings, 82554761 edges, 34728 markings/sec, 170 secs
lola: 7404543 markings, 84796656 edges, 33217 markings/sec, 175 secs
lola: 7572682 markings, 87032646 edges, 33628 markings/sec, 180 secs
lola: 7746732 markings, 89314732 edges, 34810 markings/sec, 185 secs
lola: 7931635 markings, 91613696 edges, 36981 markings/sec, 190 secs
lola: 8110499 markings, 93917691 edges, 35773 markings/sec, 195 secs
lola: 8273871 markings, 96143598 edges, 32674 markings/sec, 200 secs
lola: 8443524 markings, 98385584 edges, 33931 markings/sec, 205 secs
lola: 8598463 markings, 100636558 edges, 30988 markings/sec, 210 secs
lola: 8759304 markings, 102915888 edges, 32168 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(F35)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 377378 markings, 2488805 edges, 75476 markings/sec, 0 secs
lola: 657374 markings, 4859687 edges, 55999 markings/sec, 5 secs
lola: 925973 markings, 7196379 edges, 53720 markings/sec, 10 secs
lola: 1173447 markings, 9488543 edges, 49495 markings/sec, 15 secs
lola: 1411005 markings, 11846292 edges, 47512 markings/sec, 20 secs
lola: 1633723 markings, 14159787 edges, 44544 markings/sec, 25 secs
lola: 1901401 markings, 16534032 edges, 53536 markings/sec, 30 secs
lola: 2136691 markings, 18812958 edges, 47058 markings/sec, 35 secs
lola: 2374066 markings, 21164811 edges, 47475 markings/sec, 40 secs
lola: 2582525 markings, 23419278 edges, 41692 markings/sec, 45 secs
lola: 2777246 markings, 25603913 edges, 38944 markings/sec, 50 secs
lola: 2991278 markings, 27843125 edges, 42806 markings/sec, 55 secs
lola: 3178635 markings, 29994830 edges, 37471 markings/sec, 60 secs
lola: 3378599 markings, 32214537 edges, 39993 markings/sec, 65 secs
lola: 3574892 markings, 34437702 edges, 39259 markings/sec, 70 secs
lola: 3751984 markings, 36567353 edges, 35418 markings/sec, 75 secs
lola: 3925063 markings, 38664865 edges, 34616 markings/sec, 80 secs
lola: 4104862 markings, 40758589 edges, 35960 markings/sec, 85 secs
lola: 4299072 markings, 42963464 edges, 38842 markings/sec, 90 secs
lola: 4482419 markings, 45119350 edges, 36669 markings/sec, 95 secs
lola: 4675913 markings, 47382802 edges, 38699 markings/sec, 100 secs
lola: 4844165 markings, 49483779 edges, 33650 markings/sec, 105 secs
lola: 5014567 markings, 51610743 edges, 34080 markings/sec, 110 secs
lola: 5176829 markings, 53732798 edges, 32452 markings/sec, 115 secs
lola: 5341420 markings, 55807841 edges, 32918 markings/sec, 120 secs
lola: 5505204 markings, 57885566 edges, 32757 markings/sec, 125 secs
lola: 5655272 markings, 59896311 edges, 30014 markings/sec, 130 secs
lola: 5814977 markings, 61942402 edges, 31941 markings/sec, 135 secs
lola: 5966482 markings, 63970428 edges, 30301 markings/sec, 140 secs
lola: 6117165 markings, 66004786 edges, 30137 markings/sec, 145 secs
lola: 6265928 markings, 67908968 edges, 29753 markings/sec, 150 secs
lola: 6429146 markings, 69979484 edges, 32644 markings/sec, 155 secs
lola: 6593616 markings, 72063704 edges, 32894 markings/sec, 160 secs
lola: 6764953 markings, 74227305 edges, 34267 markings/sec, 165 secs
lola: 6917290 markings, 76258761 edges, 30467 markings/sec, 170 secs
lola: 7070660 markings, 78316451 edges, 30674 markings/sec, 175 secs
lola: 7213766 markings, 80275798 edges, 28621 markings/sec, 180 secs
lola: 7367973 markings, 82364431 edges, 30841 markings/sec, 185 secs
lola: 7521377 markings, 84328140 edges, 30681 markings/sec, 190 secs
lola: 7670387 markings, 86309521 edges, 29802 markings/sec, 195 secs
lola: 7822832 markings, 88358427 edges, 30489 markings/sec, 200 secs
lola: 7966059 markings, 90344478 edges, 28645 markings/sec, 205 secs
lola: 8107003 markings, 92320825 edges, 28189 markings/sec, 210 secs
lola: 8244103 markings, 94245637 edges, 27420 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(F43)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 346286 markings, 2445713 edges, 69257 markings/sec, 0 secs
lola: 613179 markings, 4813383 edges, 53379 markings/sec, 5 secs
lola: 863160 markings, 7205565 edges, 49996 markings/sec, 10 secs
lola: 1125839 markings, 9608819 edges, 52536 markings/sec, 15 secs
lola: 1359187 markings, 11952566 edges, 46670 markings/sec, 20 secs
lola: 1587427 markings, 14345747 edges, 45648 markings/sec, 25 secs
lola: 1803443 markings, 16638538 edges, 43203 markings/sec, 30 secs
lola: 2011744 markings, 18887422 edges, 41660 markings/sec, 35 secs
lola: 2235353 markings, 21228627 edges, 44722 markings/sec, 40 secs
lola: 2439309 markings, 23541765 edges, 40791 markings/sec, 45 secs
lola: 2630015 markings, 25801309 edges, 38141 markings/sec, 50 secs
lola: 2823975 markings, 28060880 edges, 38792 markings/sec, 55 secs
lola: 3039554 markings, 30438535 edges, 43116 markings/sec, 60 secs
lola: 3276588 markings, 32861798 edges, 47407 markings/sec, 65 secs
lola: 3477446 markings, 35235453 edges, 40172 markings/sec, 70 secs
lola: 3682385 markings, 37557950 edges, 40988 markings/sec, 75 secs
lola: 3884316 markings, 39810225 edges, 40386 markings/sec, 80 secs
lola: 4076880 markings, 42059716 edges, 38513 markings/sec, 85 secs
lola: 4266535 markings, 44335491 edges, 37931 markings/sec, 90 secs
lola: 4448348 markings, 46601083 edges, 36363 markings/sec, 95 secs
lola: 4635952 markings, 48916151 edges, 37521 markings/sec, 100 secs
lola: 4798718 markings, 51157957 edges, 32553 markings/sec, 105 secs
lola: 4968256 markings, 53385630 edges, 33908 markings/sec, 110 secs
lola: 5159322 markings, 55580834 edges, 38213 markings/sec, 115 secs
lola: 5335804 markings, 57780062 edges, 35296 markings/sec, 120 secs
lola: 5502940 markings, 60021316 edges, 33427 markings/sec, 125 secs
lola: 5672755 markings, 62202862 edges, 33963 markings/sec, 130 secs
lola: 5833207 markings, 64376001 edges, 32090 markings/sec, 135 secs
lola: 6011894 markings, 66576508 edges, 35737 markings/sec, 140 secs
lola: 6193975 markings, 68799759 edges, 36416 markings/sec, 145 secs
lola: 6372548 markings, 71045655 edges, 35715 markings/sec, 150 secs
lola: 6543647 markings, 73307208 edges, 34220 markings/sec, 155 secs
lola: 6711187 markings, 75463046 edges, 33508 markings/sec, 160 secs
lola: 6876943 markings, 77638421 edges, 33151 markings/sec, 165 secs
lola: 7040906 markings, 79847871 edges, 32793 markings/sec, 170 secs
lola: 7206915 markings, 82072674 edges, 33202 markings/sec, 175 secs
lola: 7351364 markings, 84213197 edges, 28890 markings/sec, 180 secs
lola: 7495507 markings, 86352531 edges, 28829 markings/sec, 185 secs
lola: 7655871 markings, 88480375 edges, 32073 markings/sec, 190 secs
lola: 7822347 markings, 90638714 edges, 33295 markings/sec, 195 secs
lola: 7979212 markings, 92762371 edges, 31373 markings/sec, 200 secs
lola: 8155233 markings, 95004841 edges, 35204 markings/sec, 205 secs
lola: 8318523 markings, 97216393 edges, 32658 markings/sec, 210 secs
lola: 8474644 markings, 99371006 edges, 31224 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(T22)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 366920 markings, 2465206 edges, 73384 markings/sec, 0 secs
lola: 642573 markings, 4844087 edges, 55131 markings/sec, 5 secs
lola: 907056 markings, 7165265 edges, 52897 markings/sec, 10 secs
lola: 1135081 markings, 9447158 edges, 45605 markings/sec, 15 secs
lola: 1355021 markings, 11679905 edges, 43988 markings/sec, 20 secs
lola: 1561666 markings, 13879201 edges, 41329 markings/sec, 25 secs
lola: 1767249 markings, 16105481 edges, 41117 markings/sec, 30 secs
lola: 1970259 markings, 18297359 edges, 40602 markings/sec, 35 secs
lola: 2158922 markings, 20489491 edges, 37733 markings/sec, 40 secs
lola: 2355337 markings, 22686105 edges, 39283 markings/sec, 45 secs
lola: 2534615 markings, 24814519 edges, 35856 markings/sec, 50 secs
lola: 2705056 markings, 26882035 edges, 34088 markings/sec, 55 secs
lola: 2873596 markings, 28994369 edges, 33708 markings/sec, 60 secs
lola: 3080779 markings, 31226030 edges, 41437 markings/sec, 65 secs
lola: 3285255 markings, 33550856 edges, 40895 markings/sec, 70 secs
lola: 3475252 markings, 35851286 edges, 37999 markings/sec, 75 secs
lola: 3653186 markings, 38103522 edges, 35587 markings/sec, 80 secs
lola: 3915348 markings, 40642300 edges, 52432 markings/sec, 85 secs
lola: 4158641 markings, 43211783 edges, 48659 markings/sec, 90 secs
lola: 4405074 markings, 45792396 edges, 49287 markings/sec, 95 secs
lola: 4624108 markings, 48280381 edges, 43807 markings/sec, 100 secs
lola: 4839370 markings, 50708755 edges, 43052 markings/sec, 105 secs
lola: 5037842 markings, 53096394 edges, 39694 markings/sec, 110 secs
lola: 5245362 markings, 55526280 edges, 41504 markings/sec, 115 secs
lola: 5438337 markings, 57841010 edges, 38595 markings/sec, 120 secs
lola: 5627539 markings, 60139006 edges, 37840 markings/sec, 125 secs
lola: 5824966 markings, 62399982 edges, 39485 markings/sec, 130 secs
lola: 6002122 markings, 64644234 edges, 35431 markings/sec, 135 secs
lola: 6184797 markings, 67009484 edges, 36535 markings/sec, 140 secs
lola: 6382769 markings, 69440372 edges, 39594 markings/sec, 145 secs
lola: 6558673 markings, 71780998 edges, 35181 markings/sec, 150 secs
lola: 6732201 markings, 74106438 edges, 34706 markings/sec, 155 secs
lola: 6906396 markings, 76399481 edges, 34839 markings/sec, 160 secs
lola: 7078359 markings, 78646033 edges, 34393 markings/sec, 165 secs
lola: 7244124 markings, 80919278 edges, 33153 markings/sec, 170 secs
lola: 7419891 markings, 83226145 edges, 35153 markings/sec, 175 secs
lola: 7585523 markings, 85518392 edges, 33126 markings/sec, 180 secs
lola: 7765703 markings, 87913626 edges, 36036 markings/sec, 185 secs
lola: 7938368 markings, 90226837 edges, 34533 markings/sec, 190 secs
lola: 8101411 markings, 92528586 edges, 32609 markings/sec, 195 secs
lola: 8262096 markings, 94786963 edges, 32137 markings/sec, 200 secs
lola: 8435560 markings, 97087266 edges, 34693 markings/sec, 205 secs
lola: 8610468 markings, 99396246 edges, 34982 markings/sec, 210 secs
lola: 8781415 markings, 101620181 edges, 34189 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(T36)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 373228 markings, 2622997 edges, 74646 markings/sec, 0 secs
lola: 697387 markings, 5227887 edges, 64832 markings/sec, 5 secs
lola: 989534 markings, 7800687 edges, 58429 markings/sec, 10 secs
lola: 1278915 markings, 10345392 edges, 57876 markings/sec, 15 secs
lola: 1534011 markings, 12862687 edges, 51019 markings/sec, 20 secs
lola: 1776757 markings, 15393243 edges, 48549 markings/sec, 25 secs
lola: 2021731 markings, 17840174 edges, 48995 markings/sec, 30 secs
lola: 2248369 markings, 20287935 edges, 45328 markings/sec, 35 secs
lola: 2467759 markings, 22698452 edges, 43878 markings/sec, 40 secs
lola: 2673544 markings, 25018361 edges, 41157 markings/sec, 45 secs
lola: 2884595 markings, 27403323 edges, 42210 markings/sec, 50 secs
lola: 3113701 markings, 29764505 edges, 45821 markings/sec, 55 secs
lola: 3338397 markings, 32100718 edges, 44939 markings/sec, 60 secs
lola: 3550742 markings, 34498108 edges, 42469 markings/sec, 65 secs
lola: 3763408 markings, 36868618 edges, 42533 markings/sec, 70 secs
lola: 3958354 markings, 39236102 edges, 38989 markings/sec, 75 secs
lola: 4155707 markings, 41592887 edges, 39471 markings/sec, 80 secs
lola: 4349881 markings, 43943805 edges, 38835 markings/sec, 85 secs
lola: 4551924 markings, 46332225 edges, 40409 markings/sec, 90 secs
lola: 4731961 markings, 48669092 edges, 36007 markings/sec, 95 secs
lola: 4942287 markings, 51030436 edges, 42065 markings/sec, 100 secs
lola: 5138351 markings, 53390999 edges, 39213 markings/sec, 105 secs
lola: 5330952 markings, 55752353 edges, 38520 markings/sec, 110 secs
lola: 5517671 markings, 58132936 edges, 37344 markings/sec, 115 secs
lola: 5692680 markings, 60429166 edges, 35002 markings/sec, 120 secs
lola: 5868319 markings, 62699184 edges, 35128 markings/sec, 125 secs
lola: 6035796 markings, 64955899 edges, 33495 markings/sec, 130 secs
lola: 6200768 markings, 67199829 edges, 32994 markings/sec, 135 secs
lola: 6357477 markings, 69392244 edges, 31342 markings/sec, 140 secs
lola: 6530299 markings, 71621127 edges, 34564 markings/sec, 145 secs
lola: 6690349 markings, 73852180 edges, 32010 markings/sec, 150 secs
lola: 6858113 markings, 76117684 edges, 33553 markings/sec, 155 secs
lola: 7031529 markings, 78351513 edges, 34683 markings/sec, 160 secs
lola: 7223530 markings, 80596610 edges, 38400 markings/sec, 165 secs
lola: 7406973 markings, 82855638 edges, 36689 markings/sec, 170 secs
lola: 7590982 markings, 85144794 edges, 36802 markings/sec, 175 secs
lola: 7757808 markings, 87386943 edges, 33365 markings/sec, 180 secs
lola: 7916359 markings, 89631138 edges, 31710 markings/sec, 185 secs
lola: 8084785 markings, 91871743 edges, 33685 markings/sec, 190 secs
lola: 8258576 markings, 94232618 edges, 34758 markings/sec, 195 secs
lola: 8420939 markings, 96510531 edges, 32473 markings/sec, 200 secs
lola: 8583430 markings, 98747109 edges, 32498 markings/sec, 205 secs
lola: 8738434 markings, 100998091 edges, 31001 markings/sec, 210 secs
lola: 8908217 markings, 103273863 edges, 33957 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(F24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 350436 markings, 2451569 edges, 70087 markings/sec, 0 secs
lola: 643810 markings, 4924788 edges, 58675 markings/sec, 5 secs
lola: 926115 markings, 7442259 edges, 56461 markings/sec, 10 secs
lola: 1172948 markings, 9834181 edges, 49367 markings/sec, 15 secs
lola: 1413450 markings, 12253704 edges, 48100 markings/sec, 20 secs
lola: 1616020 markings, 14564268 edges, 40514 markings/sec, 25 secs
lola: 1839010 markings, 16958228 edges, 44598 markings/sec, 30 secs
lola: 2060548 markings, 19285526 edges, 44308 markings/sec, 35 secs
lola: 2295647 markings, 21651747 edges, 47020 markings/sec, 40 secs
lola: 2515803 markings, 24035599 edges, 44031 markings/sec, 45 secs
lola: 2716335 markings, 26167028 edges, 40106 markings/sec, 50 secs
lola: 2925898 markings, 28551583 edges, 41913 markings/sec, 55 secs
lola: 3129169 markings, 30865153 edges, 40654 markings/sec, 60 secs
lola: 3355557 markings, 33250776 edges, 45278 markings/sec, 65 secs
lola: 3548069 markings, 35566925 edges, 38502 markings/sec, 70 secs
lola: 3719418 markings, 37784919 edges, 34270 markings/sec, 75 secs
lola: 3904301 markings, 40011292 edges, 36977 markings/sec, 80 secs
lola: 4087648 markings, 42266277 edges, 36669 markings/sec, 85 secs
lola: 4268671 markings, 44571333 edges, 36205 markings/sec, 90 secs
lola: 4430571 markings, 46856247 edges, 32380 markings/sec, 95 secs
lola: 4630770 markings, 49156443 edges, 40040 markings/sec, 100 secs
lola: 4795788 markings, 51379684 edges, 33004 markings/sec, 105 secs
lola: 4942736 markings, 53489558 edges, 29390 markings/sec, 110 secs
lola: 5142550 markings, 55815511 edges, 39963 markings/sec, 115 secs
lola: 5312020 markings, 58032320 edges, 33894 markings/sec, 120 secs
lola: 5511374 markings, 60435927 edges, 39871 markings/sec, 125 secs
lola: 5689950 markings, 62738663 edges, 35715 markings/sec, 130 secs
lola: 5846090 markings, 64976039 edges, 31228 markings/sec, 135 secs
lola: 6010456 markings, 67256137 edges, 32873 markings/sec, 140 secs
lola: 6211230 markings, 69597542 edges, 40155 markings/sec, 145 secs
lola: 6404996 markings, 71886590 edges, 38753 markings/sec, 150 secs
lola: 6612318 markings, 74238806 edges, 41464 markings/sec, 155 secs
lola: 6810053 markings, 76602133 edges, 39547 markings/sec, 160 secs
lola: 6993963 markings, 78945670 edges, 36782 markings/sec, 165 secs
lola: 7162976 markings, 81207561 edges, 33803 markings/sec, 170 secs
lola: 7332396 markings, 83487744 edges, 33884 markings/sec, 175 secs
lola: 7488498 markings, 85696673 edges, 31220 markings/sec, 180 secs
lola: 7641473 markings, 87926758 edges, 30595 markings/sec, 185 secs
lola: 7825495 markings, 90253360 edges, 36804 markings/sec, 190 secs
lola: 8004211 markings, 92604385 edges, 35743 markings/sec, 195 secs
lola: 8160443 markings, 94816999 edges, 31246 markings/sec, 200 secs
lola: 8303097 markings, 96986351 edges, 28531 markings/sec, 205 secs
lola: 8480555 markings, 99270763 edges, 35492 markings/sec, 210 secs
lola: 8623334 markings, 101440601 edges, 28556 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(T45)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 360130 markings, 2552458 edges, 72026 markings/sec, 0 secs
lola: 649141 markings, 5089611 edges, 57802 markings/sec, 5 secs
lola: 915874 markings, 7516003 edges, 53347 markings/sec, 10 secs
lola: 1155844 markings, 9951474 edges, 47994 markings/sec, 15 secs
lola: 1403392 markings, 12422487 edges, 49510 markings/sec, 20 secs
lola: 1629775 markings, 14768113 edges, 45277 markings/sec, 25 secs
lola: 1856382 markings, 17170567 edges, 45321 markings/sec, 30 secs
lola: 2060223 markings, 19473949 edges, 40768 markings/sec, 35 secs
lola: 2256402 markings, 21838151 edges, 39236 markings/sec, 40 secs
lola: 2483986 markings, 24257827 edges, 45517 markings/sec, 45 secs
lola: 2703440 markings, 26627130 edges, 43891 markings/sec, 50 secs
lola: 2913562 markings, 28960195 edges, 42024 markings/sec, 55 secs
lola: 3118703 markings, 31369486 edges, 41028 markings/sec, 60 secs
lola: 3333180 markings, 33781758 edges, 42895 markings/sec, 65 secs
lola: 3532648 markings, 36057510 edges, 39894 markings/sec, 70 secs
lola: 3729865 markings, 38288049 edges, 39443 markings/sec, 75 secs
lola: 3914758 markings, 40492518 edges, 36979 markings/sec, 80 secs
lola: 4100041 markings, 42721430 edges, 37057 markings/sec, 85 secs
lola: 4280995 markings, 44913591 edges, 36191 markings/sec, 90 secs
lola: 4446845 markings, 47102538 edges, 33170 markings/sec, 95 secs
lola: 4619282 markings, 49350656 edges, 34487 markings/sec, 100 secs
lola: 4781305 markings, 51468086 edges, 32405 markings/sec, 105 secs
lola: 4982727 markings, 53728182 edges, 40284 markings/sec, 110 secs
lola: 5156086 markings, 55883711 edges, 34672 markings/sec, 115 secs
lola: 5331276 markings, 58009446 edges, 35038 markings/sec, 120 secs
lola: 5493432 markings, 60127795 edges, 32431 markings/sec, 125 secs
lola: 5711166 markings, 62523584 edges, 43547 markings/sec, 130 secs
lola: 5914889 markings, 64854640 edges, 40745 markings/sec, 135 secs
lola: 6098955 markings, 67115840 edges, 36813 markings/sec, 140 secs
lola: 6292186 markings, 69422859 edges, 38646 markings/sec, 145 secs
lola: 6477818 markings, 71746743 edges, 37126 markings/sec, 150 secs
lola: 6655822 markings, 73997853 edges, 35601 markings/sec, 155 secs
lola: 6832383 markings, 76221457 edges, 35312 markings/sec, 160 secs
lola: 7015974 markings, 78534752 edges, 36718 markings/sec, 165 secs
lola: 7198463 markings, 80829793 edges, 36498 markings/sec, 170 secs
lola: 7375335 markings, 82976548 edges, 35374 markings/sec, 175 secs
lola: 7534617 markings, 85065398 edges, 31856 markings/sec, 180 secs
lola: 7688053 markings, 87137451 edges, 30687 markings/sec, 185 secs
lola: 7842526 markings, 89218273 edges, 30895 markings/sec, 190 secs
lola: 8015446 markings, 91376453 edges, 34584 markings/sec, 195 secs
lola: 8181180 markings, 93500802 edges, 33147 markings/sec, 200 secs
lola: 8337593 markings, 95697666 edges, 31283 markings/sec, 205 secs
lola: 8483521 markings, 97799799 edges, 29186 markings/sec, 210 secs
lola: 8657109 markings, 99837328 edges, 34718 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(T65)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 365621 markings, 2626203 edges, 73124 markings/sec, 0 secs
lola: 649155 markings, 5084853 edges, 56707 markings/sec, 5 secs
lola: 909989 markings, 7517937 edges, 52167 markings/sec, 10 secs
lola: 1154199 markings, 9950848 edges, 48842 markings/sec, 15 secs
lola: 1378537 markings, 12333313 edges, 44868 markings/sec, 20 secs
lola: 1605036 markings, 14663508 edges, 45300 markings/sec, 25 secs
lola: 1816059 markings, 16822384 edges, 42205 markings/sec, 30 secs
lola: 2008835 markings, 18965994 edges, 38555 markings/sec, 35 secs
lola: 2208290 markings, 21222814 edges, 39891 markings/sec, 40 secs
lola: 2408934 markings, 23534909 edges, 40129 markings/sec, 45 secs
lola: 2596593 markings, 25750909 edges, 37532 markings/sec, 50 secs
lola: 2804757 markings, 27944178 edges, 41633 markings/sec, 55 secs
lola: 3004212 markings, 30150562 edges, 39891 markings/sec, 60 secs
lola: 3185236 markings, 32180756 edges, 36205 markings/sec, 65 secs
lola: 3354582 markings, 34301694 edges, 33869 markings/sec, 70 secs
lola: 3522601 markings, 36399128 edges, 33604 markings/sec, 75 secs
lola: 3689086 markings, 38510159 edges, 33297 markings/sec, 80 secs
lola: 3852717 markings, 40639255 edges, 32726 markings/sec, 85 secs
lola: 4073950 markings, 42664973 edges, 44247 markings/sec, 90 secs
lola: 4277145 markings, 44697651 edges, 40639 markings/sec, 95 secs
lola: 4465555 markings, 46698028 edges, 37682 markings/sec, 100 secs
lola: 4650700 markings, 48652740 edges, 37029 markings/sec, 105 secs
lola: 4840430 markings, 50639643 edges, 37946 markings/sec, 110 secs
lola: 5013794 markings, 52552854 edges, 34673 markings/sec, 115 secs
lola: 5177604 markings, 54447842 edges, 32762 markings/sec, 120 secs
lola: 5339262 markings, 56363829 edges, 32332 markings/sec, 125 secs
lola: 5490083 markings, 58273965 edges, 30164 markings/sec, 130 secs
lola: 5652703 markings, 60291846 edges, 32524 markings/sec, 135 secs
lola: 5812268 markings, 62339910 edges, 31913 markings/sec, 140 secs
lola: 5967241 markings, 64417983 edges, 30995 markings/sec, 145 secs
lola: 6113276 markings, 66433439 edges, 29207 markings/sec, 150 secs
lola: 6258930 markings, 68356583 edges, 29131 markings/sec, 155 secs
lola: 6403500 markings, 70299455 edges, 28914 markings/sec, 160 secs
lola: 6540278 markings, 72260431 edges, 27356 markings/sec, 165 secs
lola: 6688862 markings, 74297210 edges, 29717 markings/sec, 170 secs
lola: 6829492 markings, 76302426 edges, 28126 markings/sec, 175 secs
lola: 6971553 markings, 78260383 edges, 28412 markings/sec, 180 secs
lola: 7116060 markings, 80247226 edges, 28901 markings/sec, 185 secs
lola: 7254717 markings, 82194020 edges, 27731 markings/sec, 190 secs
lola: 7387004 markings, 84087554 edges, 26457 markings/sec, 195 secs
lola: 7520277 markings, 85961084 edges, 26655 markings/sec, 200 secs
lola: 7654977 markings, 87838054 edges, 26940 markings/sec, 205 secs
lola: 7786778 markings, 89770817 edges, 26360 markings/sec, 210 secs
lola: 7918322 markings, 91650905 edges, 26309 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(T43)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 345225 markings, 2441913 edges, 69045 markings/sec, 0 secs
lola: 609347 markings, 4780783 edges, 52824 markings/sec, 5 secs
lola: 857875 markings, 7158148 edges, 49706 markings/sec, 10 secs
lola: 1116792 markings, 9535011 edges, 51783 markings/sec, 15 secs
lola: 1349453 markings, 11861554 edges, 46532 markings/sec, 20 secs
lola: 1577079 markings, 14240442 edges, 45525 markings/sec, 25 secs
lola: 1789181 markings, 16511862 edges, 42420 markings/sec, 30 secs
lola: 1996267 markings, 18728773 edges, 41417 markings/sec, 35 secs
lola: 2216190 markings, 21036516 edges, 43985 markings/sec, 40 secs
lola: 2420945 markings, 23318160 edges, 40951 markings/sec, 45 secs
lola: 2608445 markings, 25555878 edges, 37500 markings/sec, 50 secs
lola: 2797570 markings, 27774958 edges, 37825 markings/sec, 55 secs
lola: 3008290 markings, 30094187 edges, 42144 markings/sec, 60 secs
lola: 3235429 markings, 32454532 edges, 45428 markings/sec, 65 secs
lola: 3438583 markings, 34798598 edges, 40631 markings/sec, 70 secs
lola: 3642185 markings, 37124777 edges, 40720 markings/sec, 75 secs
lola: 3842596 markings, 39349720 edges, 40082 markings/sec, 80 secs
lola: 4036009 markings, 41586411 edges, 38683 markings/sec, 85 secs
lola: 4224879 markings, 43841930 edges, 37774 markings/sec, 90 secs
lola: 4402555 markings, 46062484 edges, 35535 markings/sec, 95 secs
lola: 4584615 markings, 48328453 edges, 36412 markings/sec, 100 secs
lola: 4756243 markings, 50580543 edges, 34326 markings/sec, 105 secs
lola: 4921825 markings, 52784747 edges, 33116 markings/sec, 110 secs
lola: 5105390 markings, 54961610 edges, 36713 markings/sec, 115 secs
lola: 5284720 markings, 57133825 edges, 35866 markings/sec, 120 secs
lola: 5449300 markings, 59310490 edges, 32916 markings/sec, 125 secs
lola: 5610523 markings, 61414614 edges, 32245 markings/sec, 130 secs
lola: 5769387 markings, 63553253 edges, 31773 markings/sec, 135 secs
lola: 5932741 markings, 65689306 edges, 32671 markings/sec, 140 secs
lola: 6120107 markings, 67903974 edges, 37473 markings/sec, 145 secs
lola: 6289687 markings, 70064793 edges, 33916 markings/sec, 150 secs
lola: 6466885 markings, 72314047 edges, 35440 markings/sec, 155 secs
lola: 6637393 markings, 74522297 edges, 34102 markings/sec, 160 secs
lola: 6799685 markings, 76646753 edges, 32458 markings/sec, 165 secs
lola: 6965387 markings, 78817688 edges, 33140 markings/sec, 170 secs
lola: 7121587 markings, 80970435 edges, 31240 markings/sec, 175 secs
lola: 7285218 markings, 83205634 edges, 32726 markings/sec, 180 secs
lola: 7419296 markings, 85304171 edges, 26816 markings/sec, 185 secs
lola: 7572691 markings, 87440217 edges, 30679 markings/sec, 190 secs
lola: 7742675 markings, 89588507 edges, 33997 markings/sec, 195 secs
lola: 7904192 markings, 91750666 edges, 32303 markings/sec, 200 secs
lola: 8070216 markings, 93906233 edges, 33205 markings/sec, 205 secs
lola: 8240587 markings, 96122328 edges, 34074 markings/sec, 210 secs
lola: 8397902 markings, 98297118 edges, 31463 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(T45)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 364504 markings, 2588938 edges, 72901 markings/sec, 0 secs
lola: 652108 markings, 5120186 edges, 57521 markings/sec, 5 secs
lola: 919223 markings, 7549315 edges, 53423 markings/sec, 10 secs
lola: 1157367 markings, 9966943 edges, 47629 markings/sec, 15 secs
lola: 1399348 markings, 12383216 edges, 48396 markings/sec, 20 secs
lola: 1620189 markings, 14676765 edges, 44168 markings/sec, 25 secs
lola: 1845790 markings, 17050000 edges, 45120 markings/sec, 30 secs
lola: 2046196 markings, 19313642 edges, 40081 markings/sec, 35 secs
lola: 2241584 markings, 21652975 edges, 39078 markings/sec, 40 secs
lola: 2461937 markings, 24027297 edges, 44071 markings/sec, 45 secs
lola: 2679495 markings, 26365224 edges, 43512 markings/sec, 50 secs
lola: 2888667 markings, 28675237 edges, 41834 markings/sec, 55 secs
lola: 3083828 markings, 31022548 edges, 39032 markings/sec, 60 secs
lola: 3298820 markings, 33385399 edges, 42998 markings/sec, 65 secs
lola: 3500055 markings, 35661848 edges, 40247 markings/sec, 70 secs
lola: 3682160 markings, 37855784 edges, 36421 markings/sec, 75 secs
lola: 3874735 markings, 40010328 edges, 38515 markings/sec, 80 secs
lola: 4057048 markings, 42180166 edges, 36463 markings/sec, 85 secs
lola: 4235344 markings, 44335617 edges, 35659 markings/sec, 90 secs
lola: 4403049 markings, 46500340 edges, 33541 markings/sec, 95 secs
lola: 4571457 markings, 48695232 edges, 33682 markings/sec, 100 secs
lola: 4730608 markings, 50806049 edges, 31830 markings/sec, 105 secs
lola: 4910464 markings, 52968429 edges, 35971 markings/sec, 110 secs
lola: 5097751 markings, 55145068 edges, 37457 markings/sec, 115 secs
lola: 5266943 markings, 57259326 edges, 33838 markings/sec, 120 secs
lola: 5435896 markings, 59362805 edges, 33791 markings/sec, 125 secs
lola: 5632873 markings, 61629532 edges, 39395 markings/sec, 130 secs
lola: 5835677 markings, 63943002 edges, 40561 markings/sec, 135 secs
lola: 6023594 markings, 66166626 edges, 37583 markings/sec, 140 secs
lola: 6209172 markings, 68384246 edges, 37116 markings/sec, 145 secs
lola: 6381795 markings, 70545148 edges, 34525 markings/sec, 150 secs
lola: 6550182 markings, 72634734 edges, 33677 markings/sec, 155 secs
lola: 6697281 markings, 74551644 edges, 29420 markings/sec, 160 secs
lola: 6859497 markings, 76535732 edges, 32443 markings/sec, 165 secs
lola: 7020832 markings, 78600147 edges, 32267 markings/sec, 170 secs
lola: 7183334 markings, 80636254 edges, 32500 markings/sec, 175 secs
lola: 7339522 markings, 82535517 edges, 31238 markings/sec, 180 secs
lola: 7484920 markings, 84394983 edges, 29080 markings/sec, 185 secs
lola: 7616836 markings, 86205920 edges, 26383 markings/sec, 190 secs
lola: 7761896 markings, 88114301 edges, 29012 markings/sec, 195 secs
lola: 7919112 markings, 90164023 edges, 31443 markings/sec, 200 secs
lola: 8092336 markings, 92326713 edges, 34645 markings/sec, 205 secs
lola: 8251844 markings, 94483244 edges, 31902 markings/sec, 210 secs
lola: 8405405 markings, 96649319 edges, 30712 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(F64)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 365928 markings, 2518297 edges, 73186 markings/sec, 0 secs
lola: 636213 markings, 4962647 edges, 54057 markings/sec, 5 secs
lola: 880987 markings, 7317047 edges, 48955 markings/sec, 10 secs
lola: 1127834 markings, 9614110 edges, 49369 markings/sec, 15 secs
lola: 1341957 markings, 11915911 edges, 42825 markings/sec, 20 secs
lola: 1550769 markings, 14178567 edges, 41762 markings/sec, 25 secs
lola: 1748236 markings, 16321270 edges, 39493 markings/sec, 30 secs
lola: 1969993 markings, 18517639 edges, 44351 markings/sec, 35 secs
lola: 2191786 markings, 20707479 edges, 44359 markings/sec, 40 secs
lola: 2396973 markings, 22849425 edges, 41037 markings/sec, 45 secs
lola: 2604000 markings, 24969988 edges, 41405 markings/sec, 50 secs
lola: 2794658 markings, 27117285 edges, 38132 markings/sec, 55 secs
lola: 2978497 markings, 29235540 edges, 36768 markings/sec, 60 secs
lola: 3159032 markings, 31285294 edges, 36107 markings/sec, 65 secs
lola: 3363011 markings, 33395766 edges, 40796 markings/sec, 70 secs
lola: 3559612 markings, 35451770 edges, 39320 markings/sec, 75 secs
lola: 3742636 markings, 37548169 edges, 36605 markings/sec, 80 secs
lola: 3924855 markings, 39713612 edges, 36444 markings/sec, 85 secs
lola: 4098027 markings, 41902560 edges, 34634 markings/sec, 90 secs
lola: 4255794 markings, 43971188 edges, 31553 markings/sec, 95 secs
lola: 4411942 markings, 46057428 edges, 31230 markings/sec, 100 secs
lola: 4570033 markings, 48112194 edges, 31618 markings/sec, 105 secs
lola: 4722363 markings, 50185613 edges, 30466 markings/sec, 110 secs
lola: 4880018 markings, 52236552 edges, 31531 markings/sec, 115 secs
lola: 5021848 markings, 54266590 edges, 28366 markings/sec, 120 secs
lola: 5177669 markings, 56287033 edges, 31164 markings/sec, 125 secs
lola: 5332794 markings, 58352414 edges, 31025 markings/sec, 130 secs
lola: 5500928 markings, 60366849 edges, 33627 markings/sec, 135 secs
lola: 5649400 markings, 62349315 edges, 29694 markings/sec, 140 secs
lola: 5785003 markings, 64294227 edges, 27121 markings/sec, 145 secs
lola: 5895458 markings, 65856223 edges, 22091 markings/sec, 150 secs
lola: 6013985 markings, 67393305 edges, 23705 markings/sec, 155 secs
lola: 6182781 markings, 69297707 edges, 33759 markings/sec, 160 secs
lola: 6337474 markings, 71156143 edges, 30939 markings/sec, 165 secs
lola: 6492333 markings, 73035187 edges, 30972 markings/sec, 170 secs
lola: 6640966 markings, 74907154 edges, 29727 markings/sec, 175 secs
lola: 6809552 markings, 76870249 edges, 33717 markings/sec, 180 secs
lola: 6957977 markings, 78807858 edges, 29685 markings/sec, 185 secs
lola: 7112738 markings, 80768405 edges, 30952 markings/sec, 190 secs
lola: 7257118 markings, 82689788 edges, 28876 markings/sec, 195 secs
lola: 7397337 markings, 84561684 edges, 28044 markings/sec, 200 secs
lola: 7529266 markings, 86447723 edges, 26386 markings/sec, 205 secs
lola: 7667074 markings, 88346801 edges, 27562 markings/sec, 210 secs
lola: 7799098 markings, 90124690 edges, 26405 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(T45)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 354509 markings, 2501277 edges, 70902 markings/sec, 0 secs
lola: 637282 markings, 4975530 edges, 56555 markings/sec, 5 secs
lola: 900725 markings, 7366471 edges, 52689 markings/sec, 10 secs
lola: 1134459 markings, 9742528 edges, 46747 markings/sec, 15 secs
lola: 1375607 markings, 12156753 edges, 48230 markings/sec, 20 secs
lola: 1595320 markings, 14443685 edges, 43943 markings/sec, 25 secs
lola: 1825077 markings, 16804664 edges, 45951 markings/sec, 30 secs
lola: 2023476 markings, 19067493 edges, 39680 markings/sec, 35 secs
lola: 2220906 markings, 21409102 edges, 39486 markings/sec, 40 secs
lola: 2436572 markings, 23755291 edges, 43133 markings/sec, 45 secs
lola: 2655376 markings, 26092342 edges, 43761 markings/sec, 50 secs
lola: 2865157 markings, 28391713 edges, 41956 markings/sec, 55 secs
lola: 3061786 markings, 30729742 edges, 39326 markings/sec, 60 secs
lola: 3270449 markings, 33080305 edges, 41733 markings/sec, 65 secs
lola: 3460611 markings, 35179179 edges, 38032 markings/sec, 70 secs
lola: 3619980 markings, 37106250 edges, 31874 markings/sec, 75 secs
lola: 3814567 markings, 39237016 edges, 38917 markings/sec, 80 secs
lola: 3996281 markings, 41425922 edges, 36343 markings/sec, 85 secs
lola: 4178137 markings, 43609953 edges, 36371 markings/sec, 90 secs
lola: 4330194 markings, 45533819 edges, 30411 markings/sec, 95 secs
lola: 4470444 markings, 47417799 edges, 28050 markings/sec, 100 secs
lola: 4620095 markings, 49360866 edges, 29930 markings/sec, 105 secs
lola: 4758410 markings, 51177543 edges, 27663 markings/sec, 110 secs
lola: 4922461 markings, 53106593 edges, 32810 markings/sec, 115 secs
lola: 5090557 markings, 55062310 edges, 33619 markings/sec, 120 secs
lola: 5246704 markings, 57018245 edges, 31229 markings/sec, 125 secs
lola: 5420250 markings, 59153644 edges, 34709 markings/sec, 130 secs
lola: 5615192 markings, 61440943 edges, 38988 markings/sec, 135 secs
lola: 5824009 markings, 63810823 edges, 41763 markings/sec, 140 secs
lola: 6017031 markings, 66090156 edges, 38604 markings/sec, 145 secs
lola: 6207291 markings, 68360115 edges, 38052 markings/sec, 150 secs
lola: 6392346 markings, 70677653 edges, 37011 markings/sec, 155 secs
lola: 6579316 markings, 72988311 edges, 37394 markings/sec, 160 secs
lola: 6744931 markings, 75169828 edges, 33123 markings/sec, 165 secs
lola: 6932077 markings, 77446887 edges, 37429 markings/sec, 170 secs
lola: 7112338 markings, 79743893 edges, 36052 markings/sec, 175 secs
lola: 7293070 markings, 81956408 edges, 36146 markings/sec, 180 secs
lola: 7461502 markings, 84094908 edges, 33686 markings/sec, 185 secs
lola: 7615157 markings, 86180296 edges, 30731 markings/sec, 190 secs
lola: 7772879 markings, 88256699 edges, 31544 markings/sec, 195 secs
lola: 7935896 markings, 90361138 edges, 32603 markings/sec, 200 secs
lola: 8109099 markings, 92539245 edges, 34641 markings/sec, 205 secs
lola: 8268413 markings, 94714426 edges, 31863 markings/sec, 210 secs
lola: 8419742 markings, 96852620 edges, 30266 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(F34)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 361199 markings, 2510887 edges, 72240 markings/sec, 0 secs
lola: 652314 markings, 4977225 edges, 58223 markings/sec, 5 secs
lola: 943813 markings, 7377412 edges, 58300 markings/sec, 10 secs
lola: 1212458 markings, 9715179 edges, 53729 markings/sec, 15 secs
lola: 1462164 markings, 12067033 edges, 49941 markings/sec, 20 secs
lola: 1689697 markings, 14417585 edges, 45507 markings/sec, 25 secs
lola: 1906544 markings, 16709988 edges, 43369 markings/sec, 30 secs
lola: 2128370 markings, 19017944 edges, 44365 markings/sec, 35 secs
lola: 2351292 markings, 21316942 edges, 44584 markings/sec, 40 secs
lola: 2554424 markings, 23466348 edges, 40626 markings/sec, 45 secs
lola: 2757369 markings, 25644148 edges, 40589 markings/sec, 50 secs
lola: 2959699 markings, 27878951 edges, 40466 markings/sec, 55 secs
lola: 3159945 markings, 30130058 edges, 40049 markings/sec, 60 secs
lola: 3343077 markings, 32319857 edges, 36626 markings/sec, 65 secs
lola: 3550575 markings, 34549815 edges, 41500 markings/sec, 70 secs
lola: 3739789 markings, 36722949 edges, 37843 markings/sec, 75 secs
lola: 3932432 markings, 38926939 edges, 38529 markings/sec, 80 secs
lola: 4121398 markings, 41157485 edges, 37793 markings/sec, 85 secs
lola: 4304697 markings, 43404505 edges, 36660 markings/sec, 90 secs
lola: 4487170 markings, 45574124 edges, 36495 markings/sec, 95 secs
lola: 4664415 markings, 47715093 edges, 35449 markings/sec, 100 secs
lola: 4846317 markings, 49913442 edges, 36380 markings/sec, 105 secs
lola: 5030982 markings, 52115343 edges, 36933 markings/sec, 110 secs
lola: 5199285 markings, 54279956 edges, 33661 markings/sec, 115 secs
lola: 5366134 markings, 56415592 edges, 33370 markings/sec, 120 secs
lola: 5536235 markings, 58600435 edges, 34020 markings/sec, 125 secs
lola: 5732205 markings, 60888820 edges, 39194 markings/sec, 130 secs
lola: 5911086 markings, 63106032 edges, 35776 markings/sec, 135 secs
lola: 6070885 markings, 65152585 edges, 31960 markings/sec, 140 secs
lola: 6236275 markings, 67212924 edges, 33078 markings/sec, 145 secs
lola: 6394810 markings, 69310247 edges, 31707 markings/sec, 150 secs
lola: 6548939 markings, 71325881 edges, 30826 markings/sec, 155 secs
lola: 6702838 markings, 73412576 edges, 30780 markings/sec, 160 secs
lola: 6852160 markings, 75439952 edges, 29864 markings/sec, 165 secs
lola: 7007253 markings, 77505474 edges, 31019 markings/sec, 170 secs
lola: 7166524 markings, 79607034 edges, 31854 markings/sec, 175 secs
lola: 7311457 markings, 81635435 edges, 28987 markings/sec, 180 secs
lola: 7458269 markings, 83706173 edges, 29362 markings/sec, 185 secs
lola: 7654685 markings, 85946090 edges, 39283 markings/sec, 190 secs
lola: 7839281 markings, 88154531 edges, 36919 markings/sec, 195 secs
lola: 8007979 markings, 90335696 edges, 33740 markings/sec, 200 secs
lola: 8165807 markings, 92459289 edges, 31566 markings/sec, 205 secs
lola: 8319896 markings, 94511567 edges, 30818 markings/sec, 210 secs
lola: 8471611 markings, 96606449 edges, 30343 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(T33)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 100 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 379842 markings, 2549345 edges, 75968 markings/sec, 0 secs
lola: 678125 markings, 5079587 edges, 59657 markings/sec, 5 secs
lola: 972335 markings, 7642586 edges, 58842 markings/sec, 10 secs
lola: 1232852 markings, 10132546 edges, 52103 markings/sec, 15 secs
lola: 1516709 markings, 12629092 edges, 56771 markings/sec, 20 secs
lola: 1758190 markings, 14984466 edges, 48296 markings/sec, 25 secs
lola: 1971467 markings, 17226515 edges, 42655 markings/sec, 30 secs
lola: 2183401 markings, 19499205 edges, 42387 markings/sec, 35 secs
lola: 2378512 markings, 21718431 edges, 39022 markings/sec, 40 secs
lola: 2581001 markings, 23957980 edges, 40498 markings/sec, 45 secs
lola: 2772697 markings, 26173299 edges, 38339 markings/sec, 50 secs
lola: 2977575 markings, 28411934 edges, 40976 markings/sec, 55 secs
lola: 3201593 markings, 30672131 edges, 44804 markings/sec, 60 secs
lola: 3421851 markings, 32974422 edges, 44052 markings/sec, 65 secs
lola: 3632932 markings, 35279118 edges, 42216 markings/sec, 70 secs
lola: 3820660 markings, 37464543 edges, 37546 markings/sec, 75 secs
lola: 3996715 markings, 39604801 edges, 35211 markings/sec, 80 secs
lola: 4201999 markings, 41827640 edges, 41057 markings/sec, 85 secs
lola: 4408701 markings, 44219844 edges, 41340 markings/sec, 90 secs
lola: 4611267 markings, 46616331 edges, 40513 markings/sec, 95 secs
lola: 4802414 markings, 48968805 edges, 38229 markings/sec, 100 secs
lola: 4987746 markings, 51253040 edges, 37066 markings/sec, 105 secs
lola: 5172951 markings, 53575065 edges, 37041 markings/sec, 110 secs
lola: 5349813 markings, 55803885 edges, 35372 markings/sec, 115 secs
lola: 5524870 markings, 58076310 edges, 35011 markings/sec, 120 secs
lola: 5711180 markings, 60426853 edges, 37262 markings/sec, 125 secs
lola: 5896160 markings, 62798907 edges, 36996 markings/sec, 130 secs
lola: 6060577 markings, 65058139 edges, 32883 markings/sec, 135 secs
lola: 6246907 markings, 67431436 edges, 37266 markings/sec, 140 secs
lola: 6427808 markings, 69780918 edges, 36180 markings/sec, 145 secs
lola: 6603212 markings, 72100785 edges, 35081 markings/sec, 150 secs
lola: 6769949 markings, 74391064 edges, 33347 markings/sec, 155 secs
lola: 6940080 markings, 76693651 edges, 34026 markings/sec, 160 secs
lola: 7107136 markings, 78987024 edges, 33411 markings/sec, 165 secs
lola: 7284491 markings, 81323779 edges, 35471 markings/sec, 170 secs
lola: 7448206 markings, 83606805 edges, 32743 markings/sec, 175 secs
lola: 7636703 markings, 86001239 edges, 37699 markings/sec, 180 secs
lola: 7811539 markings, 88353086 edges, 34967 markings/sec, 185 secs
lola: 8000295 markings, 90695220 edges, 37751 markings/sec, 190 secs
lola: 8195540 markings, 93019684 edges, 39049 markings/sec, 195 secs
lola: 8382378 markings, 95342538 edges, 37368 markings/sec, 200 secs
lola: 8558259 markings, 97648323 edges, 35176 markings/sec, 205 secs
lola: 8723259 markings, 99892060 edges, 33000 markings/sec, 210 secs
lola: 8896027 markings, 102193902 edges, 34554 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-SqrNC5x5-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494935829294

--------------------
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-SqrNC5x5"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/Solitaire-PT-SqrNC5x5.tgz
mv Solitaire-PT-SqrNC5x5 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is Solitaire-PT-SqrNC5x5, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r078-ebro-149441008300110"
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 ;