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

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

=== Now, execution of the tool begins

BK_START 1494930279676


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Solitaire-PT-EngNC7x7 @ 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: 142/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 66 places, 76 transitions, 33 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 152 transition conflict sets
lola: TASK
lola: reading formula from Solitaire-PT-EngNC7x7-UpperBounds.task
lola: MAX(T31) : MAX(T53) : MAX(F15) : MAX(F32) : MAX(T43) : MAX(F56) : MAX(F65) : MAX(T63) : MAX(T65) : MAX(T33) : MAX(T52) : MAX(F45) : MAX(F31) : MAX(F24) : MAX(T74) : MAX(F65)
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(T31)
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: 515671 markings, 2192359 edges, 103134 markings/sec, 0 secs
lola: 972539 markings, 4294403 edges, 91374 markings/sec, 5 secs
lola: 1427899 markings, 6462111 edges, 91072 markings/sec, 10 secs
lola: 1839034 markings, 8561293 edges, 82227 markings/sec, 15 secs
lola: 2229065 markings, 10688506 edges, 78006 markings/sec, 20 secs
lola: 2618446 markings, 12720825 edges, 77876 markings/sec, 25 secs
lola: 3001413 markings, 14784581 edges, 76593 markings/sec, 30 secs
lola: 3346059 markings, 16859319 edges, 68929 markings/sec, 35 secs
lola: 3661005 markings, 18869590 edges, 62989 markings/sec, 40 secs
lola: 4042364 markings, 20947702 edges, 76272 markings/sec, 45 secs
lola: 4318807 markings, 22904296 edges, 55289 markings/sec, 50 secs
lola: 4641751 markings, 24888509 edges, 64589 markings/sec, 55 secs
lola: 4967677 markings, 26821925 edges, 65185 markings/sec, 60 secs
lola: 5267385 markings, 28755370 edges, 59942 markings/sec, 65 secs
lola: 5600284 markings, 30732270 edges, 66580 markings/sec, 70 secs
lola: 5889027 markings, 32639214 edges, 57749 markings/sec, 75 secs
lola: 6272996 markings, 34696258 edges, 76794 markings/sec, 80 secs
lola: 6641587 markings, 36715014 edges, 73718 markings/sec, 85 secs
lola: 7009283 markings, 38775253 edges, 73539 markings/sec, 90 secs
lola: 7330530 markings, 40871331 edges, 64249 markings/sec, 95 secs
lola: 7716079 markings, 42971787 edges, 77110 markings/sec, 100 secs
lola: 8073600 markings, 45050769 edges, 71504 markings/sec, 105 secs
lola: 8394632 markings, 46998547 edges, 64206 markings/sec, 110 secs
lola: 8707454 markings, 48940579 edges, 62564 markings/sec, 115 secs
lola: 9021663 markings, 50905401 edges, 62842 markings/sec, 120 secs
lola: 9354259 markings, 52941656 edges, 66519 markings/sec, 125 secs
lola: 9658564 markings, 54888575 edges, 60861 markings/sec, 130 secs
lola: 9949337 markings, 56869711 edges, 58155 markings/sec, 135 secs
lola: 10216240 markings, 58865796 edges, 53381 markings/sec, 140 secs
lola: 10495758 markings, 60830169 edges, 55904 markings/sec, 145 secs
lola: 10784063 markings, 62781668 edges, 57661 markings/sec, 150 secs
lola: 11097255 markings, 64790106 edges, 62638 markings/sec, 155 secs
lola: 11402129 markings, 66825758 edges, 60975 markings/sec, 160 secs
lola: 11674395 markings, 68813378 edges, 54453 markings/sec, 165 secs
lola: 11905706 markings, 70814329 edges, 46262 markings/sec, 170 secs
lola: 12203091 markings, 72803617 edges, 59477 markings/sec, 175 secs
lola: 12484055 markings, 74671072 edges, 56193 markings/sec, 180 secs
lola: 12754780 markings, 76563342 edges, 54145 markings/sec, 185 secs
lola: 13037928 markings, 78528262 edges, 56630 markings/sec, 190 secs
lola: 13296384 markings, 80392044 edges, 51691 markings/sec, 195 secs
lola: 13559448 markings, 82246633 edges, 52613 markings/sec, 200 secs
lola: 13822300 markings, 84169407 edges, 52570 markings/sec, 205 secs
lola: 14168365 markings, 86163596 edges, 69213 markings/sec, 210 secs
lola: 14547433 markings, 88264342 edges, 75814 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(T53)
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: 511757 markings, 2111543 edges, 102351 markings/sec, 0 secs
lola: 950325 markings, 4205294 edges, 87714 markings/sec, 5 secs
lola: 1347409 markings, 6218953 edges, 79417 markings/sec, 10 secs
lola: 1721610 markings, 8121800 edges, 74840 markings/sec, 15 secs
lola: 2090357 markings, 9992421 edges, 73749 markings/sec, 20 secs
lola: 2509562 markings, 11919534 edges, 83841 markings/sec, 25 secs
lola: 2864241 markings, 13807281 edges, 70936 markings/sec, 30 secs
lola: 3196655 markings, 15723832 edges, 66483 markings/sec, 35 secs
lola: 3538298 markings, 17645126 edges, 68329 markings/sec, 40 secs
lola: 3898587 markings, 19517818 edges, 72058 markings/sec, 45 secs
lola: 4251306 markings, 21352611 edges, 70544 markings/sec, 50 secs
lola: 4591410 markings, 23118421 edges, 68021 markings/sec, 55 secs
lola: 4920852 markings, 24874577 edges, 65888 markings/sec, 60 secs
lola: 5245408 markings, 26678169 edges, 64911 markings/sec, 65 secs
lola: 5537798 markings, 28354686 edges, 58478 markings/sec, 70 secs
lola: 5826106 markings, 29993372 edges, 57662 markings/sec, 75 secs
lola: 6117024 markings, 31674691 edges, 58184 markings/sec, 80 secs
lola: 6467042 markings, 33453083 edges, 70004 markings/sec, 85 secs
lola: 6789030 markings, 35280380 edges, 64398 markings/sec, 90 secs
lola: 7109832 markings, 37055906 edges, 64160 markings/sec, 95 secs
lola: 7398283 markings, 38773553 edges, 57690 markings/sec, 100 secs
lola: 7649013 markings, 40467842 edges, 50146 markings/sec, 105 secs
lola: 7966812 markings, 42299191 edges, 63560 markings/sec, 110 secs
lola: 8255957 markings, 44083931 edges, 57829 markings/sec, 115 secs
lola: 8544501 markings, 45867019 edges, 57709 markings/sec, 120 secs
lola: 8854888 markings, 47631685 edges, 62077 markings/sec, 125 secs
lola: 9142149 markings, 49294191 edges, 57452 markings/sec, 130 secs
lola: 9446553 markings, 50988680 edges, 60881 markings/sec, 135 secs
lola: 9722526 markings, 52663660 edges, 55195 markings/sec, 140 secs
lola: 9968383 markings, 54314645 edges, 49171 markings/sec, 145 secs
lola: 10220234 markings, 55913079 edges, 50370 markings/sec, 150 secs
lola: 10538003 markings, 57581582 edges, 63554 markings/sec, 155 secs
lola: 10831014 markings, 59276030 edges, 58602 markings/sec, 160 secs
lola: 11091175 markings, 60890957 edges, 52032 markings/sec, 165 secs
lola: 11381325 markings, 62668687 edges, 58030 markings/sec, 170 secs
lola: 11659127 markings, 64449906 edges, 55560 markings/sec, 175 secs
lola: 11935583 markings, 66115181 edges, 55291 markings/sec, 180 secs
lola: 12261966 markings, 67973324 edges, 65277 markings/sec, 185 secs
lola: 12555357 markings, 69771483 edges, 58678 markings/sec, 190 secs
lola: 12818327 markings, 71547455 edges, 52594 markings/sec, 195 secs
lola: 13079586 markings, 73324166 edges, 52252 markings/sec, 200 secs
lola: 13345437 markings, 75052755 edges, 53170 markings/sec, 205 secs
lola: 13627701 markings, 76821839 edges, 56453 markings/sec, 210 secs
lola: 13874430 markings, 78454308 edges, 49346 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(F15)
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: 489588 markings, 2087007 edges, 97918 markings/sec, 0 secs
lola: 920129 markings, 4161955 edges, 86108 markings/sec, 5 secs
lola: 1303821 markings, 6195073 edges, 76738 markings/sec, 10 secs
lola: 1725829 markings, 8305653 edges, 84402 markings/sec, 15 secs
lola: 2116145 markings, 10424371 edges, 78063 markings/sec, 20 secs
lola: 2517145 markings, 12554539 edges, 80200 markings/sec, 25 secs
lola: 2946889 markings, 14625874 edges, 85949 markings/sec, 30 secs
lola: 3354760 markings, 16720343 edges, 81574 markings/sec, 35 secs
lola: 3763255 markings, 18826418 edges, 81699 markings/sec, 40 secs
lola: 4133415 markings, 20906710 edges, 74032 markings/sec, 45 secs
lola: 4525778 markings, 22968308 edges, 78473 markings/sec, 50 secs
lola: 4884637 markings, 25032246 edges, 71772 markings/sec, 55 secs
lola: 5234021 markings, 27094843 edges, 69877 markings/sec, 60 secs
lola: 5641231 markings, 29196770 edges, 81442 markings/sec, 65 secs
lola: 5981164 markings, 31285746 edges, 67987 markings/sec, 70 secs
lola: 6317443 markings, 33287128 edges, 67256 markings/sec, 75 secs
lola: 6679184 markings, 35308631 edges, 72348 markings/sec, 80 secs
lola: 7039651 markings, 37369707 edges, 72093 markings/sec, 85 secs
lola: 7371653 markings, 39437370 edges, 66400 markings/sec, 90 secs
lola: 7686278 markings, 41484369 edges, 62925 markings/sec, 95 secs
lola: 8014752 markings, 43534800 edges, 65695 markings/sec, 100 secs
lola: 8343395 markings, 45543259 edges, 65729 markings/sec, 105 secs
lola: 8695649 markings, 47569433 edges, 70451 markings/sec, 110 secs
lola: 9022109 markings, 49581789 edges, 65292 markings/sec, 115 secs
lola: 9316951 markings, 51622652 edges, 58968 markings/sec, 120 secs
lola: 9629213 markings, 53710585 edges, 62452 markings/sec, 125 secs
lola: 9937413 markings, 55805574 edges, 61640 markings/sec, 130 secs
lola: 10237135 markings, 57896295 edges, 59944 markings/sec, 135 secs
lola: 10542690 markings, 59999783 edges, 61111 markings/sec, 140 secs
lola: 10806681 markings, 62005346 edges, 52798 markings/sec, 145 secs
lola: 11056087 markings, 63960450 edges, 49881 markings/sec, 150 secs
lola: 11342340 markings, 65961620 edges, 57251 markings/sec, 155 secs
lola: 11661137 markings, 67939792 edges, 63759 markings/sec, 160 secs
lola: 11941333 markings, 69912419 edges, 56039 markings/sec, 165 secs
lola: 12214600 markings, 71816739 edges, 54653 markings/sec, 170 secs
lola: 12511792 markings, 73801259 edges, 59438 markings/sec, 175 secs
lola: 12767983 markings, 75760393 edges, 51238 markings/sec, 180 secs
lola: 13108435 markings, 77709782 edges, 68090 markings/sec, 185 secs
lola: 13417722 markings, 79678284 edges, 61857 markings/sec, 190 secs
lola: 13725012 markings, 81594799 edges, 61458 markings/sec, 195 secs
lola: 14060208 markings, 83579456 edges, 67039 markings/sec, 200 secs
lola: 14363957 markings, 85520736 edges, 60750 markings/sec, 205 secs
lola: 14683066 markings, 87549555 edges, 63822 markings/sec, 210 secs
lola: 14985239 markings, 89532384 edges, 60435 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(F32)
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: 534987 markings, 2092689 edges, 106997 markings/sec, 0 secs
lola: 998984 markings, 4141858 edges, 92799 markings/sec, 5 secs
lola: 1425768 markings, 6128765 edges, 85357 markings/sec, 10 secs
lola: 1828419 markings, 8190460 edges, 80530 markings/sec, 15 secs
lola: 2230787 markings, 10206017 edges, 80474 markings/sec, 20 secs
lola: 2570550 markings, 12278041 edges, 67953 markings/sec, 25 secs
lola: 3011725 markings, 14395952 edges, 88235 markings/sec, 30 secs
lola: 3455851 markings, 16457603 edges, 88825 markings/sec, 35 secs
lola: 3840057 markings, 18548924 edges, 76841 markings/sec, 40 secs
lola: 4248687 markings, 20635359 edges, 81726 markings/sec, 45 secs
lola: 4614524 markings, 22671141 edges, 73167 markings/sec, 50 secs
lola: 4970618 markings, 24747433 edges, 71219 markings/sec, 55 secs
lola: 5318077 markings, 26776099 edges, 69492 markings/sec, 60 secs
lola: 5665383 markings, 28861021 edges, 69461 markings/sec, 65 secs
lola: 6046687 markings, 30930253 edges, 76261 markings/sec, 70 secs
lola: 6425567 markings, 33057157 edges, 75776 markings/sec, 75 secs
lola: 6808491 markings, 35131074 edges, 76585 markings/sec, 80 secs
lola: 7164751 markings, 37150929 edges, 71252 markings/sec, 85 secs
lola: 7466106 markings, 39146386 edges, 60271 markings/sec, 90 secs
lola: 7849208 markings, 41246691 edges, 76620 markings/sec, 95 secs
lola: 8205347 markings, 43294371 edges, 71228 markings/sec, 100 secs
lola: 8538431 markings, 45362375 edges, 66617 markings/sec, 105 secs
lola: 8878242 markings, 47409252 edges, 67962 markings/sec, 110 secs
lola: 9199484 markings, 49449272 edges, 64248 markings/sec, 115 secs
lola: 9493168 markings, 51472938 edges, 58737 markings/sec, 120 secs
lola: 9851752 markings, 53536764 edges, 71717 markings/sec, 125 secs
lola: 10250051 markings, 55644267 edges, 79660 markings/sec, 130 secs
lola: 10577534 markings, 57650851 edges, 65497 markings/sec, 135 secs
lola: 10924694 markings, 59651416 edges, 69432 markings/sec, 140 secs
lola: 11275105 markings, 61659026 edges, 70082 markings/sec, 145 secs
lola: 11593716 markings, 63724661 edges, 63722 markings/sec, 150 secs
lola: 11947676 markings, 65758687 edges, 70792 markings/sec, 155 secs
lola: 12295010 markings, 67847341 edges, 69467 markings/sec, 160 secs
lola: 12617243 markings, 69913976 edges, 64447 markings/sec, 165 secs
lola: 12933144 markings, 71978039 edges, 63180 markings/sec, 170 secs
lola: 13242186 markings, 73960513 edges, 61808 markings/sec, 175 secs
lola: 13591108 markings, 75961572 edges, 69784 markings/sec, 180 secs
lola: 13912082 markings, 77952739 edges, 64195 markings/sec, 185 secs
lola: 14196579 markings, 79957969 edges, 56899 markings/sec, 190 secs
lola: 14486553 markings, 81891842 edges, 57995 markings/sec, 195 secs
lola: 14809750 markings, 83966689 edges, 64639 markings/sec, 200 secs
lola: 15104513 markings, 86044077 edges, 58953 markings/sec, 205 secs
lola: 15365838 markings, 88099417 edges, 52265 markings/sec, 210 secs
lola: 15640710 markings, 90144857 edges, 54974 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(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: 562532 markings, 2093547 edges, 112506 markings/sec, 0 secs
lola: 1073633 markings, 4168639 edges, 102220 markings/sec, 5 secs
lola: 1558357 markings, 6209175 edges, 96945 markings/sec, 10 secs
lola: 1995400 markings, 8248163 edges, 87409 markings/sec, 15 secs
lola: 2379734 markings, 10277719 edges, 76867 markings/sec, 20 secs
lola: 2773847 markings, 12299520 edges, 78823 markings/sec, 25 secs
lola: 3162893 markings, 14324253 edges, 77809 markings/sec, 30 secs
lola: 3563786 markings, 16360231 edges, 80179 markings/sec, 35 secs
lola: 3942790 markings, 18388505 edges, 75801 markings/sec, 40 secs
lola: 4381904 markings, 20379824 edges, 87823 markings/sec, 45 secs
lola: 4789039 markings, 22406110 edges, 81427 markings/sec, 50 secs
lola: 5183424 markings, 24452390 edges, 78877 markings/sec, 55 secs
lola: 5550905 markings, 26528765 edges, 73496 markings/sec, 60 secs
lola: 5941836 markings, 28607923 edges, 78186 markings/sec, 65 secs
lola: 6331764 markings, 30703449 edges, 77986 markings/sec, 70 secs
lola: 6693861 markings, 32797242 edges, 72419 markings/sec, 75 secs
lola: 7061746 markings, 34814317 edges, 73577 markings/sec, 80 secs
lola: 7441970 markings, 36819349 edges, 76045 markings/sec, 85 secs
lola: 7819338 markings, 38834535 edges, 75474 markings/sec, 90 secs
lola: 8177546 markings, 40861996 edges, 71642 markings/sec, 95 secs
lola: 8505746 markings, 42850975 edges, 65640 markings/sec, 100 secs
lola: 8843202 markings, 44834788 edges, 67491 markings/sec, 105 secs
lola: 9168176 markings, 46834757 edges, 64995 markings/sec, 110 secs
lola: 9535176 markings, 48855273 edges, 73400 markings/sec, 115 secs
lola: 9882657 markings, 50857261 edges, 69496 markings/sec, 120 secs
lola: 10219902 markings, 52912383 edges, 67449 markings/sec, 125 secs
lola: 10539062 markings, 54972344 edges, 63832 markings/sec, 130 secs
lola: 10851653 markings, 57013713 edges, 62518 markings/sec, 135 secs
lola: 11158670 markings, 59004818 edges, 61403 markings/sec, 140 secs
lola: 11505640 markings, 60972394 edges, 69394 markings/sec, 145 secs
lola: 11860022 markings, 62898708 edges, 70876 markings/sec, 150 secs
lola: 12202599 markings, 64821250 edges, 68515 markings/sec, 155 secs
lola: 12521341 markings, 66644891 edges, 63748 markings/sec, 160 secs
lola: 12807609 markings, 68548447 edges, 57254 markings/sec, 165 secs
lola: 13106910 markings, 70403379 edges, 59860 markings/sec, 170 secs
lola: 13431390 markings, 72335236 edges, 64896 markings/sec, 175 secs
lola: 13741216 markings, 74286536 edges, 61965 markings/sec, 180 secs
lola: 14056621 markings, 76216365 edges, 63081 markings/sec, 185 secs
lola: 14354893 markings, 78124407 edges, 59654 markings/sec, 190 secs
lola: 14695485 markings, 80071418 edges, 68118 markings/sec, 195 secs
lola: 15025852 markings, 82018830 edges, 66073 markings/sec, 200 secs
lola: 15369638 markings, 84013611 edges, 68757 markings/sec, 205 secs
lola: 15709164 markings, 86027798 edges, 67905 markings/sec, 210 secs
lola: 16039684 markings, 88023584 edges, 66104 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(F56)
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: 507696 markings, 2095954 edges, 101539 markings/sec, 0 secs
lola: 960630 markings, 4052151 edges, 90587 markings/sec, 5 secs
lola: 1378948 markings, 5989027 edges, 83664 markings/sec, 10 secs
lola: 1793018 markings, 7990939 edges, 82814 markings/sec, 15 secs
lola: 2173322 markings, 9909860 edges, 76061 markings/sec, 20 secs
lola: 2536994 markings, 11791065 edges, 72734 markings/sec, 25 secs
lola: 2889845 markings, 13679604 edges, 70570 markings/sec, 30 secs
lola: 3220304 markings, 15649979 edges, 66092 markings/sec, 35 secs
lola: 3592186 markings, 17539142 edges, 74376 markings/sec, 40 secs
lola: 3917521 markings, 19372271 edges, 65067 markings/sec, 45 secs
lola: 4295634 markings, 21145976 edges, 75623 markings/sec, 50 secs
lola: 4651641 markings, 22975575 edges, 71201 markings/sec, 55 secs
lola: 5004440 markings, 24852612 edges, 70560 markings/sec, 60 secs
lola: 5327597 markings, 26745300 edges, 64631 markings/sec, 65 secs
lola: 5662848 markings, 28610003 edges, 67050 markings/sec, 70 secs
lola: 5989503 markings, 30379641 edges, 65331 markings/sec, 75 secs
lola: 6325784 markings, 32116160 edges, 67256 markings/sec, 80 secs
lola: 6653765 markings, 33918295 edges, 65596 markings/sec, 85 secs
lola: 6953631 markings, 35740958 edges, 59973 markings/sec, 90 secs
lola: 7247811 markings, 37594898 edges, 58836 markings/sec, 95 secs
lola: 7548866 markings, 39364169 edges, 60211 markings/sec, 100 secs
lola: 7844166 markings, 41180883 edges, 59060 markings/sec, 105 secs
lola: 8165476 markings, 43044756 edges, 64262 markings/sec, 110 secs
lola: 8526365 markings, 45019436 edges, 72178 markings/sec, 115 secs
lola: 8844136 markings, 46856837 edges, 63554 markings/sec, 120 secs
lola: 9169064 markings, 48707953 edges, 64986 markings/sec, 125 secs
lola: 9489510 markings, 50523971 edges, 64089 markings/sec, 130 secs
lola: 9758106 markings, 52256951 edges, 53719 markings/sec, 135 secs
lola: 10013992 markings, 54019724 edges, 51177 markings/sec, 140 secs
lola: 10323380 markings, 55857094 edges, 61878 markings/sec, 145 secs
lola: 10605165 markings, 57621158 edges, 56357 markings/sec, 150 secs
lola: 10848969 markings, 59328701 edges, 48761 markings/sec, 155 secs
lola: 11075407 markings, 61041316 edges, 45288 markings/sec, 160 secs
lola: 11350807 markings, 62848593 edges, 55080 markings/sec, 165 secs
lola: 11665907 markings, 64676419 edges, 63020 markings/sec, 170 secs
lola: 11956285 markings, 66468472 edges, 58076 markings/sec, 175 secs
lola: 12257226 markings, 68274757 edges, 60188 markings/sec, 180 secs
lola: 12546680 markings, 70092508 edges, 57891 markings/sec, 185 secs
lola: 12826405 markings, 71920049 edges, 55945 markings/sec, 190 secs
lola: 13127152 markings, 73761736 edges, 60149 markings/sec, 195 secs
lola: 13424285 markings, 75563403 edges, 59427 markings/sec, 200 secs
lola: 13679335 markings, 77346066 edges, 51010 markings/sec, 205 secs
lola: 13968203 markings, 79127050 edges, 57774 markings/sec, 210 secs
lola: 14310499 markings, 80926494 edges, 68459 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(F65)
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: 531950 markings, 2164405 edges, 106390 markings/sec, 0 secs
lola: 963616 markings, 4169225 edges, 86333 markings/sec, 5 secs
lola: 1383835 markings, 6225656 edges, 84044 markings/sec, 10 secs
lola: 1804137 markings, 8152489 edges, 84060 markings/sec, 15 secs
lola: 2193046 markings, 10045997 edges, 77782 markings/sec, 20 secs
lola: 2556293 markings, 11953919 edges, 72649 markings/sec, 25 secs
lola: 2889959 markings, 13927696 edges, 66733 markings/sec, 30 secs
lola: 3324993 markings, 15926024 edges, 87007 markings/sec, 35 secs
lola: 3703196 markings, 17908614 edges, 75641 markings/sec, 40 secs
lola: 4093701 markings, 19846047 edges, 78101 markings/sec, 45 secs
lola: 4427764 markings, 21740113 edges, 66813 markings/sec, 50 secs
lola: 4786183 markings, 23581446 edges, 71684 markings/sec, 55 secs
lola: 5135254 markings, 25406439 edges, 69814 markings/sec, 60 secs
lola: 5501144 markings, 27258961 edges, 73178 markings/sec, 65 secs
lola: 5809329 markings, 29124217 edges, 61637 markings/sec, 70 secs
lola: 6141613 markings, 30973846 edges, 66457 markings/sec, 75 secs
lola: 6450134 markings, 32819151 edges, 61704 markings/sec, 80 secs
lola: 6767742 markings, 34638763 edges, 63522 markings/sec, 85 secs
lola: 7086022 markings, 36445580 edges, 63656 markings/sec, 90 secs
lola: 7411351 markings, 38279385 edges, 65066 markings/sec, 95 secs
lola: 7722476 markings, 40117146 edges, 62225 markings/sec, 100 secs
lola: 8066955 markings, 41998722 edges, 68896 markings/sec, 105 secs
lola: 8369971 markings, 43840198 edges, 60603 markings/sec, 110 secs
lola: 8687604 markings, 45685654 edges, 63527 markings/sec, 115 secs
lola: 9017759 markings, 47461100 edges, 66031 markings/sec, 120 secs
lola: 9347241 markings, 49420596 edges, 65896 markings/sec, 125 secs
lola: 9666062 markings, 51291970 edges, 63764 markings/sec, 130 secs
lola: 9959873 markings, 53048757 edges, 58762 markings/sec, 135 secs
lola: 10205475 markings, 54889183 edges, 49120 markings/sec, 140 secs
lola: 10493427 markings, 56689772 edges, 57590 markings/sec, 145 secs
lola: 10792289 markings, 58492638 edges, 59772 markings/sec, 150 secs
lola: 11078565 markings, 60296651 edges, 57255 markings/sec, 155 secs
lola: 11352678 markings, 62084110 edges, 54823 markings/sec, 160 secs
lola: 11696374 markings, 63819199 edges, 68739 markings/sec, 165 secs
lola: 12018630 markings, 65625173 edges, 64451 markings/sec, 170 secs
lola: 12329116 markings, 67437773 edges, 62097 markings/sec, 175 secs
lola: 12660004 markings, 69290693 edges, 66178 markings/sec, 180 secs
lola: 12980894 markings, 71207361 edges, 64178 markings/sec, 185 secs
lola: 13282062 markings, 73127817 edges, 60234 markings/sec, 190 secs
lola: 13566807 markings, 75022686 edges, 56949 markings/sec, 195 secs
lola: 13849434 markings, 76875018 edges, 56525 markings/sec, 200 secs
lola: 14133440 markings, 78619488 edges, 56801 markings/sec, 205 secs
lola: 14444890 markings, 80598515 edges, 62290 markings/sec, 210 secs
lola: 14730248 markings, 82491137 edges, 57072 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(T63)
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: 542263 markings, 2180645 edges, 108453 markings/sec, 0 secs
lola: 999375 markings, 4275645 edges, 91422 markings/sec, 5 secs
lola: 1435615 markings, 6311321 edges, 87248 markings/sec, 10 secs
lola: 1837834 markings, 8311826 edges, 80444 markings/sec, 15 secs
lola: 2249398 markings, 10205071 edges, 82313 markings/sec, 20 secs
lola: 2646826 markings, 12149236 edges, 79486 markings/sec, 25 secs
lola: 3019298 markings, 14083763 edges, 74494 markings/sec, 30 secs
lola: 3373261 markings, 16079968 edges, 70793 markings/sec, 35 secs
lola: 3734870 markings, 18026679 edges, 72322 markings/sec, 40 secs
lola: 4098534 markings, 19865931 edges, 72733 markings/sec, 45 secs
lola: 4428753 markings, 21719013 edges, 66044 markings/sec, 50 secs
lola: 4772679 markings, 23562003 edges, 68785 markings/sec, 55 secs
lola: 5140320 markings, 25563597 edges, 73528 markings/sec, 60 secs
lola: 5502588 markings, 27583243 edges, 72454 markings/sec, 65 secs
lola: 5812563 markings, 29545912 edges, 61995 markings/sec, 70 secs
lola: 6121315 markings, 31447211 edges, 61750 markings/sec, 75 secs
lola: 6446140 markings, 33341997 edges, 64965 markings/sec, 80 secs
lola: 6726507 markings, 35243447 edges, 56073 markings/sec, 85 secs
lola: 7002728 markings, 37126219 edges, 55244 markings/sec, 90 secs
lola: 7342689 markings, 38879840 edges, 67992 markings/sec, 95 secs
lola: 7681901 markings, 40690907 edges, 67842 markings/sec, 100 secs
lola: 8016109 markings, 42573137 edges, 66842 markings/sec, 105 secs
lola: 8310965 markings, 44310124 edges, 58971 markings/sec, 110 secs
lola: 8597712 markings, 46119884 edges, 57349 markings/sec, 115 secs
lola: 8878993 markings, 47934917 edges, 56256 markings/sec, 120 secs
lola: 9181930 markings, 49681769 edges, 60587 markings/sec, 125 secs
lola: 9500263 markings, 51405719 edges, 63667 markings/sec, 130 secs
lola: 9789560 markings, 53133856 edges, 57859 markings/sec, 135 secs
lola: 10040272 markings, 54881074 edges, 50142 markings/sec, 140 secs
lola: 10318563 markings, 56761867 edges, 55658 markings/sec, 145 secs
lola: 10581758 markings, 58657811 edges, 52639 markings/sec, 150 secs
lola: 10857362 markings, 60469628 edges, 55121 markings/sec, 155 secs
lola: 11210832 markings, 62271063 edges, 70694 markings/sec, 160 secs
lola: 11537429 markings, 64090582 edges, 65319 markings/sec, 165 secs
lola: 11856046 markings, 65867086 edges, 63723 markings/sec, 170 secs
lola: 12185778 markings, 67673677 edges, 65946 markings/sec, 175 secs
lola: 12503649 markings, 69347798 edges, 63574 markings/sec, 180 secs
lola: 12788397 markings, 71126722 edges, 56950 markings/sec, 185 secs
lola: 13113412 markings, 72986956 edges, 65003 markings/sec, 190 secs
lola: 13402977 markings, 74890456 edges, 57913 markings/sec, 195 secs
lola: 13703141 markings, 76801708 edges, 60033 markings/sec, 200 secs
lola: 13993642 markings, 78640068 edges, 58100 markings/sec, 205 secs
lola: 14236581 markings, 80361885 edges, 48588 markings/sec, 210 secs
lola: 14522896 markings, 82187253 edges, 57263 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(T65)
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: 517090 markings, 2128225 edges, 103418 markings/sec, 0 secs
lola: 983772 markings, 4239360 edges, 93336 markings/sec, 5 secs
lola: 1393691 markings, 6350664 edges, 81984 markings/sec, 10 secs
lola: 1810634 markings, 8525878 edges, 83389 markings/sec, 15 secs
lola: 2242252 markings, 10525266 edges, 86324 markings/sec, 20 secs
lola: 2612231 markings, 12560026 edges, 73996 markings/sec, 25 secs
lola: 3002390 markings, 14549703 edges, 78032 markings/sec, 30 secs
lola: 3414426 markings, 16498062 edges, 82407 markings/sec, 35 secs
lola: 3781277 markings, 18433151 edges, 73370 markings/sec, 40 secs
lola: 4168530 markings, 20353318 edges, 77451 markings/sec, 45 secs
lola: 4491017 markings, 22210197 edges, 64497 markings/sec, 50 secs
lola: 4842013 markings, 23999155 edges, 70199 markings/sec, 55 secs
lola: 5195586 markings, 25861957 edges, 70715 markings/sec, 60 secs
lola: 5543919 markings, 27755533 edges, 69667 markings/sec, 65 secs
lola: 5844067 markings, 29531224 edges, 60030 markings/sec, 70 secs
lola: 6182208 markings, 31292612 edges, 67628 markings/sec, 75 secs
lola: 6468413 markings, 33090908 edges, 57241 markings/sec, 80 secs
lola: 6777482 markings, 34868378 edges, 61814 markings/sec, 85 secs
lola: 7102004 markings, 36677699 edges, 64904 markings/sec, 90 secs
lola: 7419736 markings, 38471337 edges, 63546 markings/sec, 95 secs
lola: 7723588 markings, 40267966 edges, 60770 markings/sec, 100 secs
lola: 8064163 markings, 42131967 edges, 68115 markings/sec, 105 secs
lola: 8359621 markings, 43926954 edges, 59092 markings/sec, 110 secs
lola: 8671329 markings, 45717834 edges, 62342 markings/sec, 115 secs
lola: 8994374 markings, 47473165 edges, 64609 markings/sec, 120 secs
lola: 9313724 markings, 49384869 edges, 63870 markings/sec, 125 secs
lola: 9614865 markings, 51187136 edges, 60228 markings/sec, 130 secs
lola: 9913715 markings, 52941133 edges, 59770 markings/sec, 135 secs
lola: 10161905 markings, 54757738 edges, 49638 markings/sec, 140 secs
lola: 10432264 markings, 56525300 edges, 54072 markings/sec, 145 secs
lola: 10726889 markings, 58295016 edges, 58925 markings/sec, 150 secs
lola: 11007874 markings, 60046951 edges, 56197 markings/sec, 155 secs
lola: 11272364 markings, 61791193 edges, 52898 markings/sec, 160 secs
lola: 11612759 markings, 63556257 edges, 68079 markings/sec, 165 secs
lola: 11935308 markings, 65364257 edges, 64510 markings/sec, 170 secs
lola: 12256574 markings, 67178570 edges, 64253 markings/sec, 175 secs
lola: 12566477 markings, 69011921 edges, 61981 markings/sec, 180 secs
lola: 12878501 markings, 70917987 edges, 62405 markings/sec, 185 secs
lola: 13192917 markings, 72857431 edges, 62883 markings/sec, 190 secs
lola: 13483210 markings, 74754841 edges, 58059 markings/sec, 195 secs
lola: 13768559 markings, 76698991 edges, 57070 markings/sec, 200 secs
lola: 14037401 markings, 78418635 edges, 53768 markings/sec, 205 secs
lola: 14364228 markings, 80367400 edges, 65365 markings/sec, 210 secs
lola: 14632298 markings, 82288483 edges, 53614 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(T33)
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: 496994 markings, 2107188 edges, 99399 markings/sec, 0 secs
lola: 921554 markings, 4196089 edges, 84912 markings/sec, 5 secs
lola: 1331925 markings, 6313390 edges, 82074 markings/sec, 10 secs
lola: 1739416 markings, 8396396 edges, 81498 markings/sec, 15 secs
lola: 2159351 markings, 10444657 edges, 83987 markings/sec, 20 secs
lola: 2574334 markings, 12597935 edges, 82997 markings/sec, 25 secs
lola: 2914752 markings, 14684710 edges, 68084 markings/sec, 30 secs
lola: 3239870 markings, 16758885 edges, 65024 markings/sec, 35 secs
lola: 3665619 markings, 18896520 edges, 85150 markings/sec, 40 secs
lola: 4102974 markings, 21034033 edges, 87471 markings/sec, 45 secs
lola: 4525201 markings, 23158496 edges, 84445 markings/sec, 50 secs
lola: 4914012 markings, 25264633 edges, 77762 markings/sec, 55 secs
lola: 5249961 markings, 27386649 edges, 67190 markings/sec, 60 secs
lola: 5636428 markings, 29501407 edges, 77293 markings/sec, 65 secs
lola: 5997600 markings, 31525701 edges, 72234 markings/sec, 70 secs
lola: 6343747 markings, 33587507 edges, 69229 markings/sec, 75 secs
lola: 6681578 markings, 35656454 edges, 67566 markings/sec, 80 secs
lola: 7006591 markings, 37702428 edges, 65003 markings/sec, 85 secs
lola: 7316319 markings, 39746775 edges, 61946 markings/sec, 90 secs
lola: 7706066 markings, 41885880 edges, 77949 markings/sec, 95 secs
lola: 8100134 markings, 43990064 edges, 78814 markings/sec, 100 secs
lola: 8455005 markings, 46088371 edges, 70974 markings/sec, 105 secs
lola: 8804638 markings, 48170322 edges, 69927 markings/sec, 110 secs
lola: 9210361 markings, 50281181 edges, 81145 markings/sec, 115 secs
lola: 9588418 markings, 52387563 edges, 75611 markings/sec, 120 secs
lola: 9956680 markings, 54490562 edges, 73652 markings/sec, 125 secs
lola: 10289021 markings, 56543177 edges, 66468 markings/sec, 130 secs
lola: 10614977 markings, 58582129 edges, 65191 markings/sec, 135 secs
lola: 10953923 markings, 60614288 edges, 67789 markings/sec, 140 secs
lola: 11277884 markings, 62729568 edges, 64792 markings/sec, 145 secs
lola: 11586705 markings, 64799242 edges, 61764 markings/sec, 150 secs
lola: 11901359 markings, 66890489 edges, 62931 markings/sec, 155 secs
lola: 12232440 markings, 68974208 edges, 66216 markings/sec, 160 secs
lola: 12588493 markings, 70997211 edges, 71211 markings/sec, 165 secs
lola: 12936170 markings, 73052093 edges, 69535 markings/sec, 170 secs
lola: 13287719 markings, 75126854 edges, 70310 markings/sec, 175 secs
lola: 13624703 markings, 77193290 edges, 67397 markings/sec, 180 secs
lola: 13973543 markings, 79286767 edges, 69768 markings/sec, 185 secs
lola: 14313597 markings, 81332879 edges, 68011 markings/sec, 190 secs
lola: 14654357 markings, 83366753 edges, 68152 markings/sec, 195 secs
lola: 14967846 markings, 85394142 edges, 62698 markings/sec, 200 secs
lola: 15335159 markings, 87463833 edges, 73463 markings/sec, 205 secs
lola: 15646471 markings, 89538692 edges, 62262 markings/sec, 210 secs
lola: 15967808 markings, 91563815 edges, 64267 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(T52)
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: 544181 markings, 2060223 edges, 108836 markings/sec, 0 secs
lola: 977446 markings, 4002128 edges, 86653 markings/sec, 5 secs
lola: 1382546 markings, 5901399 edges, 81020 markings/sec, 10 secs
lola: 1785295 markings, 7852565 edges, 80550 markings/sec, 15 secs
lola: 2243199 markings, 9876657 edges, 91581 markings/sec, 20 secs
lola: 2644486 markings, 11862736 edges, 80257 markings/sec, 25 secs
lola: 3064818 markings, 13870253 edges, 84066 markings/sec, 30 secs
lola: 3436898 markings, 15839667 edges, 74416 markings/sec, 35 secs
lola: 3791527 markings, 17854392 edges, 70926 markings/sec, 40 secs
lola: 4188884 markings, 19839673 edges, 79471 markings/sec, 45 secs
lola: 4529222 markings, 21729813 edges, 68068 markings/sec, 50 secs
lola: 4843400 markings, 23465509 edges, 62836 markings/sec, 55 secs
lola: 5164530 markings, 25211097 edges, 64226 markings/sec, 60 secs
lola: 5484317 markings, 26948818 edges, 63957 markings/sec, 65 secs
lola: 5783239 markings, 28700415 edges, 59784 markings/sec, 70 secs
lola: 6060438 markings, 30429278 edges, 55440 markings/sec, 75 secs
lola: 6336146 markings, 32184142 edges, 55142 markings/sec, 80 secs
lola: 6627454 markings, 33854688 edges, 58262 markings/sec, 85 secs
lola: 6918461 markings, 35689941 edges, 58201 markings/sec, 90 secs
lola: 7267920 markings, 37641757 edges, 69892 markings/sec, 95 secs
lola: 7628515 markings, 39549375 edges, 72119 markings/sec, 100 secs
lola: 7953699 markings, 41439621 edges, 65037 markings/sec, 105 secs
lola: 8273853 markings, 43374174 edges, 64031 markings/sec, 110 secs
lola: 8596076 markings, 45256789 edges, 64445 markings/sec, 115 secs
lola: 8893744 markings, 47108926 edges, 59534 markings/sec, 120 secs
lola: 9233583 markings, 48993237 edges, 67968 markings/sec, 125 secs
lola: 9565643 markings, 50927486 edges, 66412 markings/sec, 130 secs
lola: 9870501 markings, 52812675 edges, 60972 markings/sec, 135 secs
lola: 10149371 markings, 54687761 edges, 55774 markings/sec, 140 secs
lola: 10416401 markings, 56529177 edges, 53406 markings/sec, 145 secs
lola: 10671457 markings, 58367655 edges, 51011 markings/sec, 150 secs
lola: 11013683 markings, 60270126 edges, 68445 markings/sec, 155 secs
lola: 11360680 markings, 62146983 edges, 69399 markings/sec, 160 secs
lola: 11690306 markings, 63954603 edges, 65925 markings/sec, 165 secs
lola: 12011581 markings, 65802596 edges, 64255 markings/sec, 170 secs
lola: 12325521 markings, 67582778 edges, 62788 markings/sec, 175 secs
lola: 12671085 markings, 69525078 edges, 69113 markings/sec, 180 secs
lola: 12975130 markings, 71368409 edges, 60809 markings/sec, 185 secs
lola: 13250686 markings, 73230459 edges, 55111 markings/sec, 190 secs
lola: 13522582 markings, 74967745 edges, 54379 markings/sec, 195 secs
lola: 13850756 markings, 76816095 edges, 65635 markings/sec, 200 secs
lola: 14149053 markings, 78685097 edges, 59659 markings/sec, 205 secs
lola: 14445395 markings, 80499848 edges, 59268 markings/sec, 210 secs
lola: 14721090 markings, 82224835 edges, 55139 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(F45)
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: 534320 markings, 2020135 edges, 106864 markings/sec, 0 secs
lola: 1005355 markings, 3967139 edges, 94207 markings/sec, 5 secs
lola: 1461025 markings, 5949670 edges, 91134 markings/sec, 10 secs
lola: 1877687 markings, 7959387 edges, 83332 markings/sec, 15 secs
lola: 2308245 markings, 9945956 edges, 86112 markings/sec, 20 secs
lola: 2706582 markings, 11956419 edges, 79667 markings/sec, 25 secs
lola: 3103309 markings, 13986649 edges, 79345 markings/sec, 30 secs
lola: 3493402 markings, 15974325 edges, 78019 markings/sec, 35 secs
lola: 3842008 markings, 17978458 edges, 69721 markings/sec, 40 secs
lola: 4219206 markings, 19962939 edges, 75440 markings/sec, 45 secs
lola: 4616537 markings, 21911516 edges, 79466 markings/sec, 50 secs
lola: 5005757 markings, 23911730 edges, 77844 markings/sec, 55 secs
lola: 5383086 markings, 25921230 edges, 75466 markings/sec, 60 secs
lola: 5711714 markings, 27936090 edges, 65726 markings/sec, 65 secs
lola: 6044529 markings, 29913947 edges, 66563 markings/sec, 70 secs
lola: 6364360 markings, 31878749 edges, 63966 markings/sec, 75 secs
lola: 6703643 markings, 33846857 edges, 67857 markings/sec, 80 secs
lola: 7085282 markings, 35838648 edges, 76328 markings/sec, 85 secs
lola: 7464944 markings, 37790343 edges, 75932 markings/sec, 90 secs
lola: 7828018 markings, 39779944 edges, 72615 markings/sec, 95 secs
lola: 8192101 markings, 41718774 edges, 72817 markings/sec, 100 secs
lola: 8530944 markings, 43610563 edges, 67769 markings/sec, 105 secs
lola: 8855298 markings, 45548973 edges, 64871 markings/sec, 110 secs
lola: 9168035 markings, 47444744 edges, 62547 markings/sec, 115 secs
lola: 9514326 markings, 49395433 edges, 69258 markings/sec, 120 secs
lola: 9845378 markings, 51334387 edges, 66210 markings/sec, 125 secs
lola: 10178594 markings, 53268522 edges, 66643 markings/sec, 130 secs
lola: 10491965 markings, 55235618 edges, 62674 markings/sec, 135 secs
lola: 10799385 markings, 57131621 edges, 61484 markings/sec, 140 secs
lola: 11100081 markings, 59045157 edges, 60139 markings/sec, 145 secs
lola: 11401789 markings, 60932160 edges, 60342 markings/sec, 150 secs
lola: 11724105 markings, 62873519 edges, 64463 markings/sec, 155 secs
lola: 12035509 markings, 64795736 edges, 62281 markings/sec, 160 secs
lola: 12325497 markings, 66723801 edges, 57998 markings/sec, 165 secs
lola: 12624619 markings, 68666550 edges, 59824 markings/sec, 170 secs
lola: 12912438 markings, 70534112 edges, 57564 markings/sec, 175 secs
lola: 13231608 markings, 72467507 edges, 63834 markings/sec, 180 secs
lola: 13609398 markings, 74416319 edges, 75558 markings/sec, 185 secs
lola: 13961619 markings, 76321180 edges, 70444 markings/sec, 190 secs
lola: 14292422 markings, 78254255 edges, 66161 markings/sec, 195 secs
lola: 14602351 markings, 80166208 edges, 61986 markings/sec, 200 secs
lola: 14901498 markings, 82044834 edges, 59829 markings/sec, 205 secs
lola: 15188862 markings, 83943263 edges, 57473 markings/sec, 210 secs
lola: 15532517 markings, 85862649 edges, 68731 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(F31)
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: 510184 markings, 2126255 edges, 102037 markings/sec, 0 secs
lola: 976365 markings, 4217093 edges, 93236 markings/sec, 5 secs
lola: 1406779 markings, 6284575 edges, 86083 markings/sec, 10 secs
lola: 1785972 markings, 8382669 edges, 75839 markings/sec, 15 secs
lola: 2190204 markings, 10531230 edges, 80846 markings/sec, 20 secs
lola: 2563446 markings, 12637795 edges, 74648 markings/sec, 25 secs
lola: 2925196 markings, 14680753 edges, 72350 markings/sec, 30 secs
lola: 3288516 markings, 16691110 edges, 72664 markings/sec, 35 secs
lola: 3625762 markings, 18735149 edges, 67449 markings/sec, 40 secs
lola: 3979954 markings, 20825234 edges, 70838 markings/sec, 45 secs
lola: 4322570 markings, 22920592 edges, 68523 markings/sec, 50 secs
lola: 4698685 markings, 25022386 edges, 75223 markings/sec, 55 secs
lola: 5072945 markings, 27104697 edges, 74852 markings/sec, 60 secs
lola: 5414698 markings, 29154205 edges, 68351 markings/sec, 65 secs
lola: 5702489 markings, 31202111 edges, 57558 markings/sec, 70 secs
lola: 5998500 markings, 33218006 edges, 59202 markings/sec, 75 secs
lola: 6282709 markings, 35226971 edges, 56842 markings/sec, 80 secs
lola: 6599713 markings, 37248250 edges, 63401 markings/sec, 85 secs
lola: 6904885 markings, 39307299 edges, 61034 markings/sec, 90 secs
lola: 7195552 markings, 41362862 edges, 58133 markings/sec, 95 secs
lola: 7492640 markings, 43375382 edges, 59418 markings/sec, 100 secs
lola: 7787616 markings, 45407281 edges, 58995 markings/sec, 105 secs
lola: 8143047 markings, 47454939 edges, 71086 markings/sec, 110 secs
lola: 8557171 markings, 49480244 edges, 82825 markings/sec, 115 secs
lola: 8890933 markings, 51477518 edges, 66752 markings/sec, 120 secs
lola: 9256910 markings, 53615648 edges, 73195 markings/sec, 125 secs
lola: 9582428 markings, 55748367 edges, 65104 markings/sec, 130 secs
lola: 9943595 markings, 57869416 edges, 72233 markings/sec, 135 secs
lola: 10271717 markings, 59936230 edges, 65624 markings/sec, 140 secs
lola: 10630964 markings, 61974857 edges, 71849 markings/sec, 145 secs
lola: 10960573 markings, 64057585 edges, 65922 markings/sec, 150 secs
lola: 11309718 markings, 66120821 edges, 69829 markings/sec, 155 secs
lola: 11620102 markings, 68222832 edges, 62077 markings/sec, 160 secs
lola: 11962790 markings, 70293218 edges, 68538 markings/sec, 165 secs
lola: 12267059 markings, 72333551 edges, 60854 markings/sec, 170 secs
lola: 12551033 markings, 74321584 edges, 56795 markings/sec, 175 secs
lola: 12811577 markings, 76248400 edges, 52109 markings/sec, 180 secs
lola: 13047542 markings, 78241775 edges, 47193 markings/sec, 185 secs
lola: 13301459 markings, 80288437 edges, 50783 markings/sec, 190 secs
lola: 13573590 markings, 82233122 edges, 54426 markings/sec, 195 secs
lola: 13831052 markings, 84125690 edges, 51492 markings/sec, 200 secs
lola: 14200289 markings, 86179730 edges, 73847 markings/sec, 205 secs
lola: 14585419 markings, 88339814 edges, 77026 markings/sec, 210 secs
lola: 14975748 markings, 90503959 edges, 78066 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 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 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: 573817 markings, 2053428 edges, 114763 markings/sec, 0 secs
lola: 1098218 markings, 4104231 edges, 104880 markings/sec, 5 secs
lola: 1571945 markings, 6128552 edges, 94745 markings/sec, 10 secs
lola: 2016650 markings, 8163058 edges, 88941 markings/sec, 15 secs
lola: 2468672 markings, 10244664 edges, 90404 markings/sec, 20 secs
lola: 2901661 markings, 12334202 edges, 86598 markings/sec, 25 secs
lola: 3315915 markings, 14417410 edges, 82851 markings/sec, 30 secs
lola: 3796950 markings, 16474190 edges, 96207 markings/sec, 35 secs
lola: 4218755 markings, 18589742 edges, 84361 markings/sec, 40 secs
lola: 4627629 markings, 20703611 edges, 81775 markings/sec, 45 secs
lola: 5034890 markings, 22855642 edges, 81452 markings/sec, 50 secs
lola: 5401954 markings, 24973545 edges, 73413 markings/sec, 55 secs
lola: 5804153 markings, 26950694 edges, 80440 markings/sec, 60 secs
lola: 6150318 markings, 28911628 edges, 69233 markings/sec, 65 secs
lola: 6527851 markings, 30935002 edges, 75507 markings/sec, 70 secs
lola: 6892180 markings, 33009974 edges, 72866 markings/sec, 75 secs
lola: 7236218 markings, 35041947 edges, 68808 markings/sec, 80 secs
lola: 7560296 markings, 37056903 edges, 64816 markings/sec, 85 secs
lola: 7876235 markings, 39117065 edges, 63188 markings/sec, 90 secs
lola: 8207018 markings, 41170006 edges, 66157 markings/sec, 95 secs
lola: 8582679 markings, 43171447 edges, 75132 markings/sec, 100 secs
lola: 8942667 markings, 45223065 edges, 71998 markings/sec, 105 secs
lola: 9282894 markings, 47240093 edges, 68045 markings/sec, 110 secs
lola: 9647423 markings, 49205583 edges, 72906 markings/sec, 115 secs
lola: 9984963 markings, 51168462 edges, 67508 markings/sec, 120 secs
lola: 10318680 markings, 53223224 edges, 66743 markings/sec, 125 secs
lola: 10647849 markings, 55218605 edges, 65834 markings/sec, 130 secs
lola: 10998550 markings, 57206189 edges, 70140 markings/sec, 135 secs
lola: 11323818 markings, 59228335 edges, 65054 markings/sec, 140 secs
lola: 11629855 markings, 61229881 edges, 61207 markings/sec, 145 secs
lola: 11960966 markings, 63219336 edges, 66222 markings/sec, 150 secs
lola: 12271700 markings, 65191696 edges, 62147 markings/sec, 155 secs
lola: 12572002 markings, 67232939 edges, 60060 markings/sec, 160 secs
lola: 12883886 markings, 69237403 edges, 62377 markings/sec, 165 secs
lola: 13290338 markings, 71221639 edges, 81290 markings/sec, 170 secs
lola: 13670959 markings, 73248721 edges, 76124 markings/sec, 175 secs
lola: 14030822 markings, 75287636 edges, 71973 markings/sec, 180 secs
lola: 14403411 markings, 77259975 edges, 74518 markings/sec, 185 secs
lola: 14764826 markings, 79211064 edges, 72283 markings/sec, 190 secs
lola: 15096141 markings, 81175862 edges, 66263 markings/sec, 195 secs
lola: 15427283 markings, 83174213 edges, 66228 markings/sec, 200 secs
lola: 15776365 markings, 85118078 edges, 69816 markings/sec, 205 secs
lola: 16098157 markings, 87071220 edges, 64358 markings/sec, 210 secs
lola: 16406817 markings, 89072057 edges, 61732 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(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: 558507 markings, 2064783 edges, 111701 markings/sec, 0 secs
lola: 1013896 markings, 4133008 edges, 91078 markings/sec, 5 secs
lola: 1420332 markings, 6197144 edges, 81287 markings/sec, 10 secs
lola: 1836341 markings, 7979562 edges, 83202 markings/sec, 15 secs
lola: 2208808 markings, 9922264 edges, 74493 markings/sec, 20 secs
lola: 2547846 markings, 11860972 edges, 67808 markings/sec, 25 secs
lola: 2980922 markings, 13790417 edges, 86615 markings/sec, 30 secs
lola: 3407402 markings, 15741696 edges, 85296 markings/sec, 35 secs
lola: 3785012 markings, 17681457 edges, 75522 markings/sec, 40 secs
lola: 4181281 markings, 19570404 edges, 79254 markings/sec, 45 secs
lola: 4545041 markings, 21534844 edges, 72752 markings/sec, 50 secs
lola: 4912222 markings, 23445741 edges, 73436 markings/sec, 55 secs
lola: 5260495 markings, 25336866 edges, 69655 markings/sec, 60 secs
lola: 5618654 markings, 27261828 edges, 71632 markings/sec, 65 secs
lola: 5965113 markings, 29243246 edges, 69292 markings/sec, 70 secs
lola: 6293351 markings, 31208963 edges, 65648 markings/sec, 75 secs
lola: 6598706 markings, 33154093 edges, 61071 markings/sec, 80 secs
lola: 6918046 markings, 35043519 edges, 63868 markings/sec, 85 secs
lola: 7253935 markings, 36864680 edges, 67178 markings/sec, 90 secs
lola: 7561733 markings, 38700570 edges, 61560 markings/sec, 95 secs
lola: 7878655 markings, 40535113 edges, 63384 markings/sec, 100 secs
lola: 8206996 markings, 42334997 edges, 65668 markings/sec, 105 secs
lola: 8534809 markings, 44213700 edges, 65563 markings/sec, 110 secs
lola: 8867648 markings, 46174595 edges, 66568 markings/sec, 115 secs
lola: 9165604 markings, 48061488 edges, 59591 markings/sec, 120 secs
lola: 9467927 markings, 49939460 edges, 60465 markings/sec, 125 secs
lola: 9754418 markings, 51820883 edges, 57298 markings/sec, 130 secs
lola: 10043785 markings, 53617830 edges, 57873 markings/sec, 135 secs
lola: 10333833 markings, 55367707 edges, 58010 markings/sec, 140 secs
lola: 10598069 markings, 57208174 edges, 52847 markings/sec, 145 secs
lola: 10854840 markings, 59043982 edges, 51354 markings/sec, 150 secs
lola: 11087559 markings, 60876296 edges, 46544 markings/sec, 155 secs
lola: 11410203 markings, 62702925 edges, 64529 markings/sec, 160 secs
lola: 11746780 markings, 64506842 edges, 67315 markings/sec, 165 secs
lola: 12079467 markings, 66305590 edges, 66537 markings/sec, 170 secs
lola: 12394105 markings, 68110852 edges, 62928 markings/sec, 175 secs
lola: 12687731 markings, 69909486 edges, 58725 markings/sec, 180 secs
lola: 12991305 markings, 71703015 edges, 60715 markings/sec, 185 secs
lola: 13294753 markings, 73515443 edges, 60690 markings/sec, 190 secs
lola: 13584271 markings, 75314077 edges, 57904 markings/sec, 195 secs
lola: 13854475 markings, 77098110 edges, 54041 markings/sec, 200 secs
lola: 14125733 markings, 78867953 edges, 54252 markings/sec, 205 secs
lola: 14395173 markings, 80687846 edges, 53888 markings/sec, 210 secs
lola: 14673362 markings, 82550994 edges, 55638 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(F65)
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: 525986 markings, 2134807 edges, 105197 markings/sec, 0 secs
lola: 946076 markings, 4089060 edges, 84018 markings/sec, 5 secs
lola: 1351326 markings, 6093345 edges, 81050 markings/sec, 10 secs
lola: 1763911 markings, 7967018 edges, 82517 markings/sec, 15 secs
lola: 2145127 markings, 9814646 edges, 76243 markings/sec, 20 secs
lola: 2510784 markings, 11678160 edges, 73131 markings/sec, 25 secs
lola: 2831403 markings, 13618006 edges, 64124 markings/sec, 30 secs
lola: 3252372 markings, 15602221 edges, 84194 markings/sec, 35 secs
lola: 3630971 markings, 17519003 edges, 75720 markings/sec, 40 secs
lola: 4008638 markings, 19424808 edges, 75533 markings/sec, 45 secs
lola: 4359002 markings, 21297349 edges, 70073 markings/sec, 50 secs
lola: 4694833 markings, 23128759 edges, 67166 markings/sec, 55 secs
lola: 5040752 markings, 24938903 edges, 69184 markings/sec, 60 secs
lola: 5403530 markings, 26737056 edges, 72556 markings/sec, 65 secs
lola: 5733008 markings, 28577222 edges, 65896 markings/sec, 70 secs
lola: 6041776 markings, 30418356 edges, 61754 markings/sec, 75 secs
lola: 6360494 markings, 32233876 edges, 63744 markings/sec, 80 secs
lola: 6646502 markings, 34042342 edges, 57202 markings/sec, 85 secs
lola: 6976071 markings, 35826108 edges, 65914 markings/sec, 90 secs
lola: 7299602 markings, 37617807 edges, 64706 markings/sec, 95 secs
lola: 7602718 markings, 39437047 edges, 60623 markings/sec, 100 secs
lola: 7937465 markings, 41275188 edges, 66949 markings/sec, 105 secs
lola: 8250044 markings, 43062892 edges, 62516 markings/sec, 110 secs
lola: 8565126 markings, 44895468 edges, 63016 markings/sec, 115 secs
lola: 8876817 markings, 46685373 edges, 62338 markings/sec, 120 secs
lola: 9205245 markings, 48569745 edges, 65686 markings/sec, 125 secs
lola: 9521026 markings, 50484658 edges, 63156 markings/sec, 130 secs
lola: 9826569 markings, 52231261 edges, 61109 markings/sec, 135 secs
lola: 10093923 markings, 54009015 edges, 53471 markings/sec, 140 secs
lola: 10346346 markings, 55805504 edges, 50485 markings/sec, 145 secs
lola: 10611692 markings, 57440422 edges, 53069 markings/sec, 150 secs
lola: 10889314 markings, 59079584 edges, 55524 markings/sec, 155 secs
lola: 11143915 markings, 60699863 edges, 50920 markings/sec, 160 secs
lola: 11399228 markings, 62329072 edges, 51063 markings/sec, 165 secs
lola: 11715333 markings, 63917967 edges, 63221 markings/sec, 170 secs
lola: 12016184 markings, 65608885 edges, 60170 markings/sec, 175 secs
lola: 12304331 markings, 67293596 edges, 57629 markings/sec, 180 secs
lola: 12616191 markings, 69024905 edges, 62372 markings/sec, 185 secs
lola: 12937503 markings, 70961924 edges, 64262 markings/sec, 190 secs
lola: 13246924 markings, 72895574 edges, 61884 markings/sec, 195 secs
lola: 13539921 markings, 74803266 edges, 58599 markings/sec, 200 secs
lola: 13824107 markings, 76713674 edges, 56837 markings/sec, 205 secs
lola: 14115874 markings, 78515854 edges, 58353 markings/sec, 210 secs
lola: 14431475 markings, 80498773 edges, 63120 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-EngNC7x7-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Solitaire-PT-EngNC7x7-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494933819881

--------------------
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-EngNC7x7"
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-EngNC7x7.tgz
mv Solitaire-PT-EngNC7x7 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-EngNC7x7, 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-149441008200074"
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 ;