Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is Raft-PT-10, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r068-csrt-149440963000029
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494799783903


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Raft-PT-10 @ 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: 1376/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 508 places, 868 transitions, 408 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 857 transition conflict sets
lola: TASK
lola: reading formula from Raft-PT-10-UpperBounds.task
lola: MAX(p370) : MAX(p301) : MAX(p431) : MAX(p41) : MAX(p425) : MAX(p256) : MAX(p402) : MAX(p195) : MAX(p168) : MAX(p327) : MAX(p420) : MAX(p67) : MAX(p203) : MAX(p11) : MAX(p220) : MAX(p479)
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(p370)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 184296 markings, 409782 edges, 36859 markings/sec, 0 secs
lola: 381238 markings, 848247 edges, 39388 markings/sec, 5 secs
lola: 568077 markings, 1264819 edges, 37368 markings/sec, 10 secs
lola: 741955 markings, 1651518 edges, 34776 markings/sec, 15 secs
lola: 917088 markings, 2041094 edges, 35027 markings/sec, 20 secs
lola: 1088618 markings, 2423709 edges, 34306 markings/sec, 25 secs
lola: 1266609 markings, 2819825 edges, 35598 markings/sec, 30 secs
lola: 1441402 markings, 3209022 edges, 34959 markings/sec, 35 secs
lola: 1614741 markings, 3594808 edges, 34668 markings/sec, 40 secs
lola: 1785406 markings, 3975110 edges, 34133 markings/sec, 45 secs
lola: 1960695 markings, 4365612 edges, 35058 markings/sec, 50 secs
lola: 2134486 markings, 4752892 edges, 34758 markings/sec, 55 secs
lola: 2306962 markings, 5137441 edges, 34495 markings/sec, 60 secs
lola: 2483647 markings, 5530361 edges, 35337 markings/sec, 65 secs
lola: 2661042 markings, 5925024 edges, 35479 markings/sec, 70 secs
lola: 2842704 markings, 6328967 edges, 36332 markings/sec, 75 secs
lola: 3025343 markings, 6735645 edges, 36528 markings/sec, 80 secs
lola: 3206269 markings, 7138575 edges, 36185 markings/sec, 85 secs
lola: 3384025 markings, 7534730 edges, 35551 markings/sec, 90 secs
lola: 3559423 markings, 7925867 edges, 35080 markings/sec, 95 secs
lola: 3736656 markings, 8320315 edges, 35447 markings/sec, 100 secs
lola: 3915997 markings, 8720106 edges, 35868 markings/sec, 105 secs
lola: 4096393 markings, 9123428 edges, 36079 markings/sec, 110 secs
lola: 4273207 markings, 9518583 edges, 35363 markings/sec, 115 secs
lola: 4446674 markings, 9906217 edges, 34693 markings/sec, 120 secs
lola: 4622650 markings, 10297773 edges, 35195 markings/sec, 125 secs
lola: 4803038 markings, 10699219 edges, 36078 markings/sec, 130 secs
lola: 4977537 markings, 11088735 edges, 34900 markings/sec, 135 secs
lola: 5154423 markings, 11482837 edges, 35377 markings/sec, 140 secs
lola: 5330207 markings, 11874301 edges, 35157 markings/sec, 145 secs
lola: 5502351 markings, 12257309 edges, 34429 markings/sec, 150 secs
lola: 5675239 markings, 12642290 edges, 34578 markings/sec, 155 secs
lola: 5849813 markings, 13030465 edges, 34915 markings/sec, 160 secs
lola: 6028622 markings, 13428547 edges, 35762 markings/sec, 165 secs
lola: 6203993 markings, 13819151 edges, 35074 markings/sec, 170 secs
lola: 6377078 markings, 14205160 edges, 34617 markings/sec, 175 secs
lola: 6552973 markings, 14597107 edges, 35179 markings/sec, 180 secs
lola: 6728854 markings, 14990195 edges, 35176 markings/sec, 185 secs
lola: 6907113 markings, 15387706 edges, 35652 markings/sec, 190 secs
lola: 7088326 markings, 15792809 edges, 36243 markings/sec, 195 secs
lola: 7266184 markings, 16189292 edges, 35572 markings/sec, 200 secs
lola: 7446817 markings, 16591928 edges, 36127 markings/sec, 205 secs
lola: 7629796 markings, 17000353 edges, 36596 markings/sec, 210 secs
lola: 7812296 markings, 17406139 edges, 36500 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(p301)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 185068 markings, 501421 edges, 37014 markings/sec, 0 secs
lola: 364835 markings, 988052 edges, 35953 markings/sec, 5 secs
lola: 543540 markings, 1471910 edges, 35741 markings/sec, 10 secs
lola: 723789 markings, 1960310 edges, 36050 markings/sec, 15 secs
lola: 903814 markings, 2448939 edges, 36005 markings/sec, 20 secs
lola: 1083879 markings, 2936690 edges, 36013 markings/sec, 25 secs
lola: 1263939 markings, 3425730 edges, 36012 markings/sec, 30 secs
lola: 1445570 markings, 3917636 edges, 36326 markings/sec, 35 secs
lola: 1624509 markings, 4402937 edges, 35788 markings/sec, 40 secs
lola: 1802233 markings, 4884764 edges, 35545 markings/sec, 45 secs
lola: 1978266 markings, 5362414 edges, 35207 markings/sec, 50 secs
lola: 2153120 markings, 5836409 edges, 34971 markings/sec, 55 secs
lola: 2328090 markings, 6310727 edges, 34994 markings/sec, 60 secs
lola: 2503013 markings, 6785974 edges, 34985 markings/sec, 65 secs
lola: 2677270 markings, 7257913 edges, 34851 markings/sec, 70 secs
lola: 2851683 markings, 7730661 edges, 34883 markings/sec, 75 secs
lola: 3025868 markings, 8203416 edges, 34837 markings/sec, 80 secs
lola: 3199912 markings, 8674708 edges, 34809 markings/sec, 85 secs
lola: 3375163 markings, 9149865 edges, 35050 markings/sec, 90 secs
lola: 3549542 markings, 9622006 edges, 34876 markings/sec, 95 secs
lola: 3724525 markings, 10095333 edges, 34997 markings/sec, 100 secs
lola: 3904247 markings, 10581825 edges, 35944 markings/sec, 105 secs
lola: 4082754 markings, 11066181 edges, 35701 markings/sec, 110 secs
lola: 4260741 markings, 11549506 edges, 35597 markings/sec, 115 secs
lola: 4440145 markings, 12035580 edges, 35881 markings/sec, 120 secs
lola: 4619361 markings, 12520042 edges, 35843 markings/sec, 125 secs
lola: 4798300 markings, 13006478 edges, 35788 markings/sec, 130 secs
lola: 4976124 markings, 13489361 edges, 35565 markings/sec, 135 secs
lola: 5155939 markings, 13978525 edges, 35963 markings/sec, 140 secs
lola: 5334613 markings, 14462347 edges, 35735 markings/sec, 145 secs
lola: 5514436 markings, 14950940 edges, 35965 markings/sec, 150 secs
lola: 5692927 markings, 15433795 edges, 35698 markings/sec, 155 secs
lola: 5871344 markings, 15917944 edges, 35683 markings/sec, 160 secs
lola: 6049811 markings, 16401585 edges, 35693 markings/sec, 165 secs
lola: 6228836 markings, 16886307 edges, 35805 markings/sec, 170 secs
lola: 6406287 markings, 17367821 edges, 35490 markings/sec, 175 secs
lola: 6584157 markings, 17850954 edges, 35574 markings/sec, 180 secs
lola: 6762437 markings, 18334369 edges, 35656 markings/sec, 185 secs
lola: 6941136 markings, 18818873 edges, 35740 markings/sec, 190 secs
lola: 7117394 markings, 19297027 edges, 35252 markings/sec, 195 secs
lola: 7295750 markings, 19780658 edges, 35671 markings/sec, 200 secs
lola: 7472146 markings, 20258064 edges, 35279 markings/sec, 205 secs
lola: 7645297 markings, 20727583 edges, 34630 markings/sec, 210 secs
lola: 7818009 markings, 21197117 edges, 34542 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(p431)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 180625 markings, 327726 edges, 36125 markings/sec, 0 secs
lola: 367033 markings, 666098 edges, 37282 markings/sec, 5 secs
lola: 551912 markings, 1002130 edges, 36976 markings/sec, 10 secs
lola: 736323 markings, 1337370 edges, 36882 markings/sec, 15 secs
lola: 922151 markings, 1674515 edges, 37166 markings/sec, 20 secs
lola: 1108417 markings, 2012841 edges, 37253 markings/sec, 25 secs
lola: 1293695 markings, 2349336 edges, 37056 markings/sec, 30 secs
lola: 1478663 markings, 2685133 edges, 36994 markings/sec, 35 secs
lola: 1660798 markings, 3016049 edges, 36427 markings/sec, 40 secs
lola: 1844252 markings, 3350026 edges, 36691 markings/sec, 45 secs
lola: 2029760 markings, 3687017 edges, 37102 markings/sec, 50 secs
lola: 2214049 markings, 4021457 edges, 36858 markings/sec, 55 secs
lola: 2401306 markings, 4361436 edges, 37451 markings/sec, 60 secs
lola: 2591889 markings, 4707908 edges, 38117 markings/sec, 65 secs
lola: 2782932 markings, 5054779 edges, 38209 markings/sec, 70 secs
lola: 2971207 markings, 5396747 edges, 37655 markings/sec, 75 secs
lola: 3161312 markings, 5742059 edges, 38021 markings/sec, 80 secs
lola: 3350937 markings, 6086382 edges, 37925 markings/sec, 85 secs
lola: 3541491 markings, 6432678 edges, 38111 markings/sec, 90 secs
lola: 3731307 markings, 6776970 edges, 37963 markings/sec, 95 secs
lola: 3921484 markings, 7122728 edges, 38035 markings/sec, 100 secs
lola: 4112885 markings, 7470151 edges, 38280 markings/sec, 105 secs
lola: 4302679 markings, 7814433 edges, 37959 markings/sec, 110 secs
lola: 4492117 markings, 8157968 edges, 37888 markings/sec, 115 secs
lola: 4682552 markings, 8503576 edges, 38087 markings/sec, 120 secs
lola: 4872922 markings, 8848944 edges, 38074 markings/sec, 125 secs
lola: 5063233 markings, 9194427 edges, 38062 markings/sec, 130 secs
lola: 5253018 markings, 9538807 edges, 37957 markings/sec, 135 secs
lola: 5443140 markings, 9884221 edges, 38024 markings/sec, 140 secs
lola: 5633196 markings, 10229561 edges, 38011 markings/sec, 145 secs
lola: 5823779 markings, 10575779 edges, 38117 markings/sec, 150 secs
lola: 6016929 markings, 10926219 edges, 38630 markings/sec, 155 secs
lola: 6213440 markings, 11283266 edges, 39302 markings/sec, 160 secs
lola: 6406330 markings, 11633893 edges, 38578 markings/sec, 165 secs
lola: 6596138 markings, 11978447 edges, 37962 markings/sec, 170 secs
lola: 6786908 markings, 12324730 edges, 38154 markings/sec, 175 secs
lola: 6978392 markings, 12672036 edges, 38297 markings/sec, 180 secs
lola: 7169887 markings, 13019872 edges, 38299 markings/sec, 185 secs
lola: 7359999 markings, 13364860 edges, 38022 markings/sec, 190 secs
lola: 7550258 markings, 13710278 edges, 38052 markings/sec, 195 secs
lola: 7740666 markings, 14056286 edges, 38082 markings/sec, 200 secs
lola: 7928953 markings, 14398001 edges, 37657 markings/sec, 205 secs
lola: 8118450 markings, 14742147 edges, 37899 markings/sec, 210 secs
lola: 8307887 markings, 15086196 edges, 37887 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(p41)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 181148 markings, 420409 edges, 36230 markings/sec, 0 secs
lola: 362325 markings, 842182 edges, 36235 markings/sec, 5 secs
lola: 542475 markings, 1261613 edges, 36030 markings/sec, 10 secs
lola: 724356 markings, 1685297 edges, 36376 markings/sec, 15 secs
lola: 904827 markings, 2104797 edges, 36094 markings/sec, 20 secs
lola: 1085444 markings, 2525616 edges, 36123 markings/sec, 25 secs
lola: 1265875 markings, 2945490 edges, 36086 markings/sec, 30 secs
lola: 1450534 markings, 3375316 edges, 36932 markings/sec, 35 secs
lola: 1639131 markings, 3813092 edges, 37719 markings/sec, 40 secs
lola: 1825364 markings, 4246926 edges, 37247 markings/sec, 45 secs
lola: 2009781 markings, 4675181 edges, 36883 markings/sec, 50 secs
lola: 2192613 markings, 5101271 edges, 36566 markings/sec, 55 secs
lola: 2379586 markings, 5536300 edges, 37395 markings/sec, 60 secs
lola: 2564273 markings, 5967716 edges, 36937 markings/sec, 65 secs
lola: 2751179 markings, 6404891 edges, 37381 markings/sec, 70 secs
lola: 2938266 markings, 6839805 edges, 37417 markings/sec, 75 secs
lola: 3124807 markings, 7273510 edges, 37308 markings/sec, 80 secs
lola: 3312029 markings, 7710385 edges, 37444 markings/sec, 85 secs
lola: 3498505 markings, 8147052 edges, 37295 markings/sec, 90 secs
lola: 3678799 markings, 8569385 edges, 36059 markings/sec, 95 secs
lola: 3856739 markings, 8983260 edges, 35588 markings/sec, 100 secs
lola: 4034379 markings, 9396799 edges, 35528 markings/sec, 105 secs
lola: 4212379 markings, 9811430 edges, 35600 markings/sec, 110 secs
lola: 4399985 markings, 10249404 edges, 37521 markings/sec, 115 secs
lola: 4586717 markings, 10682827 edges, 37346 markings/sec, 120 secs
lola: 4774401 markings, 11119199 edges, 37537 markings/sec, 125 secs
lola: 4954378 markings, 11538533 edges, 35995 markings/sec, 130 secs
lola: 5137033 markings, 11962868 edges, 36531 markings/sec, 135 secs
lola: 5320050 markings, 12388920 edges, 36603 markings/sec, 140 secs
lola: 5499105 markings, 12808006 edges, 35811 markings/sec, 145 secs
lola: 5679728 markings, 13229603 edges, 36125 markings/sec, 150 secs
lola: 5861140 markings, 13652730 edges, 36282 markings/sec, 155 secs
lola: 6038094 markings, 14063846 edges, 35391 markings/sec, 160 secs
lola: 6216886 markings, 14479963 edges, 35758 markings/sec, 165 secs
lola: 6391723 markings, 14889217 edges, 34967 markings/sec, 170 secs
lola: 6571490 markings, 15306874 edges, 35953 markings/sec, 175 secs
lola: 6747565 markings, 15716640 edges, 35215 markings/sec, 180 secs
lola: 6923925 markings, 16127936 edges, 35272 markings/sec, 185 secs
lola: 7100724 markings, 16539929 edges, 35360 markings/sec, 190 secs
lola: 7282837 markings, 16963243 edges, 36423 markings/sec, 195 secs
lola: 7466196 markings, 17389738 edges, 36672 markings/sec, 200 secs
lola: 7646218 markings, 17809687 edges, 36004 markings/sec, 205 secs
lola: 7821938 markings, 18217807 edges, 35144 markings/sec, 210 secs
lola: 7997596 markings, 18626096 edges, 35132 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(p425)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 149803 markings, 301534 edges, 29961 markings/sec, 0 secs
lola: 302829 markings, 610392 edges, 30605 markings/sec, 5 secs
lola: 454619 markings, 916754 edges, 30358 markings/sec, 10 secs
lola: 608832 markings, 1228005 edges, 30843 markings/sec, 15 secs
lola: 761519 markings, 1536175 edges, 30537 markings/sec, 20 secs
lola: 913573 markings, 1843077 edges, 30411 markings/sec, 25 secs
lola: 1065268 markings, 2149248 edges, 30339 markings/sec, 30 secs
lola: 1216179 markings, 2453834 edges, 30182 markings/sec, 35 secs
lola: 1363513 markings, 2751202 edges, 29467 markings/sec, 40 secs
lola: 1513373 markings, 3053672 edges, 29972 markings/sec, 45 secs
lola: 1663993 markings, 3357671 edges, 30124 markings/sec, 50 secs
lola: 1813556 markings, 3659534 edges, 29913 markings/sec, 55 secs
lola: 1965722 markings, 3966655 edges, 30433 markings/sec, 60 secs
lola: 2118295 markings, 4274605 edges, 30515 markings/sec, 65 secs
lola: 2266710 markings, 4574155 edges, 29683 markings/sec, 70 secs
lola: 2416112 markings, 4875760 edges, 29880 markings/sec, 75 secs
lola: 2570061 markings, 5187772 edges, 30790 markings/sec, 80 secs
lola: 2722928 markings, 5497955 edges, 30573 markings/sec, 85 secs
lola: 2871678 markings, 5798188 edges, 29750 markings/sec, 90 secs
lola: 3021653 markings, 6100887 edges, 29995 markings/sec, 95 secs
lola: 3171590 markings, 6403804 edges, 29987 markings/sec, 100 secs
lola: 3321439 markings, 6706655 edges, 29970 markings/sec, 105 secs
lola: 3474853 markings, 7018036 edges, 30683 markings/sec, 110 secs
lola: 3625569 markings, 7323000 edges, 30143 markings/sec, 115 secs
lola: 3779625 markings, 7635007 edges, 30811 markings/sec, 120 secs
lola: 3932071 markings, 7944048 edges, 30489 markings/sec, 125 secs
lola: 4085526 markings, 8255403 edges, 30691 markings/sec, 130 secs
lola: 4238961 markings, 8566919 edges, 30687 markings/sec, 135 secs
lola: 4392599 markings, 8878407 edges, 30728 markings/sec, 140 secs
lola: 4543167 markings, 9182759 edges, 30114 markings/sec, 145 secs
lola: 4692858 markings, 9484887 edges, 29938 markings/sec, 150 secs
lola: 4843180 markings, 9788288 edges, 30064 markings/sec, 155 secs
lola: 4992023 markings, 10088704 edges, 29769 markings/sec, 160 secs
lola: 5141088 markings, 10389565 edges, 29813 markings/sec, 165 secs
lola: 5289804 markings, 10689726 edges, 29743 markings/sec, 170 secs
lola: 5438556 markings, 10989954 edges, 29750 markings/sec, 175 secs
lola: 5588525 markings, 11292638 edges, 29994 markings/sec, 180 secs
lola: 5736558 markings, 11591425 edges, 29607 markings/sec, 185 secs
lola: 5884378 markings, 11889770 edges, 29564 markings/sec, 190 secs
lola: 6033280 markings, 12190307 edges, 29780 markings/sec, 195 secs
lola: 6181705 markings, 12489883 edges, 29685 markings/sec, 200 secs
lola: 6330699 markings, 12790604 edges, 29799 markings/sec, 205 secs
lola: 6481684 markings, 13095342 edges, 30197 markings/sec, 210 secs
lola: 6636322 markings, 13407464 edges, 30928 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(p256)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 181430 markings, 448185 edges, 36286 markings/sec, 0 secs
lola: 365723 markings, 903243 edges, 36859 markings/sec, 5 secs
lola: 546845 markings, 1350520 edges, 36224 markings/sec, 10 secs
lola: 726317 markings, 1793666 edges, 35894 markings/sec, 15 secs
lola: 905424 markings, 2235953 edges, 35821 markings/sec, 20 secs
lola: 1084948 markings, 2679212 edges, 35905 markings/sec, 25 secs
lola: 1263703 markings, 3120624 edges, 35751 markings/sec, 30 secs
lola: 1442905 markings, 3563099 edges, 35840 markings/sec, 35 secs
lola: 1625647 markings, 4014362 edges, 36548 markings/sec, 40 secs
lola: 1809030 markings, 4467193 edges, 36677 markings/sec, 45 secs
lola: 1992491 markings, 4920222 edges, 36692 markings/sec, 50 secs
lola: 2173090 markings, 5366165 edges, 36120 markings/sec, 55 secs
lola: 2353230 markings, 5811005 edges, 36028 markings/sec, 60 secs
lola: 2531315 markings, 6250782 edges, 35617 markings/sec, 65 secs
lola: 2710158 markings, 6692384 edges, 35769 markings/sec, 70 secs
lola: 2888850 markings, 7133693 edges, 35738 markings/sec, 75 secs
lola: 3068103 markings, 7576578 edges, 35851 markings/sec, 80 secs
lola: 3248246 markings, 8021494 edges, 36029 markings/sec, 85 secs
lola: 3427108 markings, 8463192 edges, 35772 markings/sec, 90 secs
lola: 3605223 markings, 8903012 edges, 35623 markings/sec, 95 secs
lola: 3783892 markings, 9344153 edges, 35734 markings/sec, 100 secs
lola: 3963957 markings, 9788805 edges, 36013 markings/sec, 105 secs
lola: 4141213 markings, 10226490 edges, 35451 markings/sec, 110 secs
lola: 4318731 markings, 10664835 edges, 35504 markings/sec, 115 secs
lola: 4496853 markings, 11104662 edges, 35624 markings/sec, 120 secs
lola: 4674616 markings, 11543619 edges, 35553 markings/sec, 125 secs
lola: 4853910 markings, 11986342 edges, 35859 markings/sec, 130 secs
lola: 5031755 markings, 12425482 edges, 35569 markings/sec, 135 secs
lola: 5210295 markings, 12866371 edges, 35708 markings/sec, 140 secs
lola: 5390100 markings, 13310340 edges, 35961 markings/sec, 145 secs
lola: 5570805 markings, 13756545 edges, 36141 markings/sec, 150 secs
lola: 5748417 markings, 14195116 edges, 35522 markings/sec, 155 secs
lola: 5926263 markings, 14634305 edges, 35569 markings/sec, 160 secs
lola: 6103800 markings, 15072691 edges, 35507 markings/sec, 165 secs
lola: 6280661 markings, 15509380 edges, 35372 markings/sec, 170 secs
lola: 6457948 markings, 15947157 edges, 35457 markings/sec, 175 secs
lola: 6634796 markings, 16383859 edges, 35370 markings/sec, 180 secs
lola: 6814863 markings, 16828515 edges, 36013 markings/sec, 185 secs
lola: 6994285 markings, 17271548 edges, 35884 markings/sec, 190 secs
lola: 7172416 markings, 17711416 edges, 35626 markings/sec, 195 secs
lola: 7349955 markings, 18149812 edges, 35508 markings/sec, 200 secs
lola: 7527905 markings, 18589223 edges, 35590 markings/sec, 205 secs
lola: 7705169 markings, 19026909 edges, 35453 markings/sec, 210 secs
lola: 7882087 markings, 19463778 edges, 35384 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(p402)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 182314 markings, 442537 edges, 36463 markings/sec, 0 secs
lola: 367366 markings, 891740 edges, 37010 markings/sec, 5 secs
lola: 553206 markings, 1342879 edges, 37168 markings/sec, 10 secs
lola: 740203 markings, 1796787 edges, 37399 markings/sec, 15 secs
lola: 927300 markings, 2250960 edges, 37419 markings/sec, 20 secs
lola: 1113734 markings, 2703492 edges, 37287 markings/sec, 25 secs
lola: 1300700 markings, 3157360 edges, 37393 markings/sec, 30 secs
lola: 1484144 markings, 3602663 edges, 36689 markings/sec, 35 secs
lola: 1669265 markings, 4052009 edges, 37024 markings/sec, 40 secs
lola: 1853382 markings, 4498973 edges, 36823 markings/sec, 45 secs
lola: 2036453 markings, 4943389 edges, 36614 markings/sec, 50 secs
lola: 2220501 markings, 5390142 edges, 36810 markings/sec, 55 secs
lola: 2404836 markings, 5837592 edges, 36867 markings/sec, 60 secs
lola: 2588467 markings, 6283408 edges, 36726 markings/sec, 65 secs
lola: 2771723 markings, 6728217 edges, 36651 markings/sec, 70 secs
lola: 2955174 markings, 7173533 edges, 36690 markings/sec, 75 secs
lola: 3139236 markings, 7620346 edges, 36812 markings/sec, 80 secs
lola: 3324864 markings, 8070949 edges, 37126 markings/sec, 85 secs
lola: 3508167 markings, 8515903 edges, 36661 markings/sec, 90 secs
lola: 3690971 markings, 8959642 edges, 36561 markings/sec, 95 secs
lola: 3873667 markings, 9403134 edges, 36539 markings/sec, 100 secs
lola: 4056103 markings, 9846006 edges, 36487 markings/sec, 105 secs
lola: 4241504 markings, 10296059 edges, 37080 markings/sec, 110 secs
lola: 4427083 markings, 10746546 edges, 37116 markings/sec, 115 secs
lola: 4612292 markings, 11196146 edges, 37042 markings/sec, 120 secs
lola: 4796892 markings, 11644242 edges, 36920 markings/sec, 125 secs
lola: 4982819 markings, 12095557 edges, 37185 markings/sec, 130 secs
lola: 5167255 markings, 12543270 edges, 36887 markings/sec, 135 secs
lola: 5350893 markings, 12989063 edges, 36728 markings/sec, 140 secs
lola: 5535537 markings, 13437252 edges, 36929 markings/sec, 145 secs
lola: 5719878 markings, 13884728 edges, 36868 markings/sec, 150 secs
lola: 5904139 markings, 14332035 edges, 36852 markings/sec, 155 secs
lola: 6087922 markings, 14778147 edges, 36757 markings/sec, 160 secs
lola: 6271452 markings, 15223672 edges, 36706 markings/sec, 165 secs
lola: 6455355 markings, 15670096 edges, 36781 markings/sec, 170 secs
lola: 6638295 markings, 16114156 edges, 36588 markings/sec, 175 secs
lola: 6821229 markings, 16558238 edges, 36587 markings/sec, 180 secs
lola: 7004281 markings, 17002570 edges, 36610 markings/sec, 185 secs
lola: 7187329 markings, 17446937 edges, 36610 markings/sec, 190 secs
lola: 7371188 markings, 17893239 edges, 36772 markings/sec, 195 secs
lola: 7556334 markings, 18342676 edges, 37029 markings/sec, 200 secs
lola: 7740782 markings, 18790449 edges, 36890 markings/sec, 205 secs
lola: 7924691 markings, 19236858 edges, 36782 markings/sec, 210 secs
lola: 8109826 markings, 19686253 edges, 37027 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(p195)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 147020 markings, 424333 edges, 29404 markings/sec, 0 secs
lola: 291962 markings, 830531 edges, 28988 markings/sec, 5 secs
lola: 431501 markings, 1222989 edges, 27908 markings/sec, 10 secs
lola: 570338 markings, 1613020 edges, 27767 markings/sec, 15 secs
lola: 709334 markings, 2001601 edges, 27799 markings/sec, 20 secs
lola: 849788 markings, 2393743 edges, 28091 markings/sec, 25 secs
lola: 992801 markings, 2794233 edges, 28603 markings/sec, 30 secs
lola: 1134640 markings, 3191161 edges, 28368 markings/sec, 35 secs
lola: 1277523 markings, 3591533 edges, 28577 markings/sec, 40 secs
lola: 1420826 markings, 3991607 edges, 28661 markings/sec, 45 secs
lola: 1564279 markings, 4392130 edges, 28691 markings/sec, 50 secs
lola: 1706165 markings, 4788327 edges, 28377 markings/sec, 55 secs
lola: 1847280 markings, 5182374 edges, 28223 markings/sec, 60 secs
lola: 1984701 markings, 5567239 edges, 27484 markings/sec, 65 secs
lola: 2121946 markings, 5950860 edges, 27449 markings/sec, 70 secs
lola: 2259144 markings, 6334623 edges, 27440 markings/sec, 75 secs
lola: 2396068 markings, 6718062 edges, 27385 markings/sec, 80 secs
lola: 2533192 markings, 7103604 edges, 27425 markings/sec, 85 secs
lola: 2673216 markings, 7494513 edges, 28005 markings/sec, 90 secs
lola: 2815549 markings, 7892892 edges, 28467 markings/sec, 95 secs
lola: 2956503 markings, 8287534 edges, 28191 markings/sec, 100 secs
lola: 3099650 markings, 8687375 edges, 28629 markings/sec, 105 secs
lola: 3242247 markings, 9085942 edges, 28519 markings/sec, 110 secs
lola: 3382571 markings, 9479541 edges, 28065 markings/sec, 115 secs
lola: 3523212 markings, 9873378 edges, 28128 markings/sec, 120 secs
lola: 3663704 markings, 10265803 edges, 28098 markings/sec, 125 secs
lola: 3805044 markings, 10661137 edges, 28268 markings/sec, 130 secs
lola: 3946767 markings, 11057429 edges, 28345 markings/sec, 135 secs
lola: 4090124 markings, 11457885 edges, 28671 markings/sec, 140 secs
lola: 4232739 markings, 11856181 edges, 28523 markings/sec, 145 secs
lola: 4371468 markings, 12244618 edges, 27746 markings/sec, 150 secs
lola: 4509622 markings, 12631469 edges, 27631 markings/sec, 155 secs
lola: 4646600 markings, 13013882 edges, 27396 markings/sec, 160 secs
lola: 4783636 markings, 13397235 edges, 27407 markings/sec, 165 secs
lola: 4920428 markings, 13779856 edges, 27358 markings/sec, 170 secs
lola: 5057156 markings, 14162870 edges, 27346 markings/sec, 175 secs
lola: 5193640 markings, 14544071 edges, 27297 markings/sec, 180 secs
lola: 5330540 markings, 14927325 edges, 27380 markings/sec, 185 secs
lola: 5468805 markings, 15313926 edges, 27653 markings/sec, 190 secs
lola: 5606127 markings, 15698033 edges, 27464 markings/sec, 195 secs
lola: 5743456 markings, 16081457 edges, 27466 markings/sec, 200 secs
lola: 5883510 markings, 16474093 edges, 28011 markings/sec, 205 secs
lola: 6025065 markings, 16870422 edges, 28311 markings/sec, 210 secs
lola: 6164675 markings, 17261557 edges, 27922 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(p168)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 181082 markings, 431557 edges, 36216 markings/sec, 0 secs
lola: 358496 markings, 854386 edges, 35483 markings/sec, 5 secs
lola: 538651 markings, 1284157 edges, 36031 markings/sec, 10 secs
lola: 716216 markings, 1708493 edges, 35513 markings/sec, 15 secs
lola: 892513 markings, 2128963 edges, 35259 markings/sec, 20 secs
lola: 1070226 markings, 2554182 edges, 35543 markings/sec, 25 secs
lola: 1248179 markings, 2978753 edges, 35591 markings/sec, 30 secs
lola: 1428904 markings, 3411217 edges, 36145 markings/sec, 35 secs
lola: 1607825 markings, 3837649 edges, 35784 markings/sec, 40 secs
lola: 1785822 markings, 4262762 edges, 35599 markings/sec, 45 secs
lola: 1965388 markings, 4690907 edges, 35913 markings/sec, 50 secs
lola: 2141220 markings, 5111061 edges, 35166 markings/sec, 55 secs
lola: 2317879 markings, 5535034 edges, 35332 markings/sec, 60 secs
lola: 2493046 markings, 5956587 edges, 35033 markings/sec, 65 secs
lola: 2673347 markings, 6389040 edges, 36060 markings/sec, 70 secs
lola: 2850097 markings, 6811417 edges, 35350 markings/sec, 75 secs
lola: 3025277 markings, 7231244 edges, 35036 markings/sec, 80 secs
lola: 3201557 markings, 7653448 edges, 35256 markings/sec, 85 secs
lola: 3379997 markings, 8078740 edges, 35688 markings/sec, 90 secs
lola: 3557415 markings, 8502621 edges, 35484 markings/sec, 95 secs
lola: 3734739 markings, 8925551 edges, 35465 markings/sec, 100 secs
lola: 3912822 markings, 9351025 edges, 35617 markings/sec, 105 secs
lola: 4090516 markings, 9774774 edges, 35539 markings/sec, 110 secs
lola: 4268121 markings, 10198000 edges, 35521 markings/sec, 115 secs
lola: 4449353 markings, 10630508 edges, 36246 markings/sec, 120 secs
lola: 4627813 markings, 11056891 edges, 35692 markings/sec, 125 secs
lola: 4809354 markings, 11490866 edges, 36308 markings/sec, 130 secs
lola: 4988617 markings, 11918775 edges, 35853 markings/sec, 135 secs
lola: 5165612 markings, 12340914 edges, 35399 markings/sec, 140 secs
lola: 5345420 markings, 12769907 edges, 35962 markings/sec, 145 secs
lola: 5523320 markings, 13194435 edges, 35580 markings/sec, 150 secs
lola: 5701009 markings, 13617843 edges, 35538 markings/sec, 155 secs
lola: 5878119 markings, 14040523 edges, 35422 markings/sec, 160 secs
lola: 6055040 markings, 14463426 edges, 35384 markings/sec, 165 secs
lola: 6231616 markings, 14885144 edges, 35315 markings/sec, 170 secs
lola: 6408042 markings, 15306987 edges, 35285 markings/sec, 175 secs
lola: 6584616 markings, 15728643 edges, 35315 markings/sec, 180 secs
lola: 6761950 markings, 16152816 edges, 35467 markings/sec, 185 secs
lola: 6938836 markings, 16576000 edges, 35377 markings/sec, 190 secs
lola: 7115312 markings, 16998508 edges, 35295 markings/sec, 195 secs
lola: 7291178 markings, 17419866 edges, 35173 markings/sec, 200 secs
lola: 7469818 markings, 17845611 edges, 35728 markings/sec, 205 secs
lola: 7647768 markings, 18270617 edges, 35590 markings/sec, 210 secs
lola: 7825207 markings, 18694113 edges, 35488 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(p327)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 177575 markings, 439215 edges, 35515 markings/sec, 0 secs
lola: 359699 markings, 889239 edges, 36425 markings/sec, 5 secs
lola: 540551 markings, 1336443 edges, 36170 markings/sec, 10 secs
lola: 721697 markings, 1784370 edges, 36229 markings/sec, 15 secs
lola: 898113 markings, 2220627 edges, 35283 markings/sec, 20 secs
lola: 1075550 markings, 2658972 edges, 35487 markings/sec, 25 secs
lola: 1252882 markings, 3097665 edges, 35466 markings/sec, 30 secs
lola: 1434169 markings, 3546213 edges, 36257 markings/sec, 35 secs
lola: 1613805 markings, 3990094 edges, 35927 markings/sec, 40 secs
lola: 1790655 markings, 4427026 edges, 35370 markings/sec, 45 secs
lola: 1967415 markings, 4864148 edges, 35352 markings/sec, 50 secs
lola: 2143094 markings, 5298729 edges, 35136 markings/sec, 55 secs
lola: 2319059 markings, 5733932 edges, 35193 markings/sec, 60 secs
lola: 2494837 markings, 6168599 edges, 35156 markings/sec, 65 secs
lola: 2671602 markings, 6605940 edges, 35353 markings/sec, 70 secs
lola: 2848730 markings, 7044016 edges, 35426 markings/sec, 75 secs
lola: 3025986 markings, 7482723 edges, 35451 markings/sec, 80 secs
lola: 3207130 markings, 7931056 edges, 36229 markings/sec, 85 secs
lola: 3384765 markings, 8370457 edges, 35527 markings/sec, 90 secs
lola: 3560081 markings, 8803840 edges, 35063 markings/sec, 95 secs
lola: 3735150 markings, 9236808 edges, 35014 markings/sec, 100 secs
lola: 3910364 markings, 9670256 edges, 35043 markings/sec, 105 secs
lola: 4086240 markings, 10105843 edges, 35175 markings/sec, 110 secs
lola: 4262981 markings, 10543835 edges, 35348 markings/sec, 115 secs
lola: 4438254 markings, 10977828 edges, 35055 markings/sec, 120 secs
lola: 4613500 markings, 11411206 edges, 35049 markings/sec, 125 secs
lola: 4789494 markings, 11846578 edges, 35199 markings/sec, 130 secs
lola: 4965387 markings, 12281553 edges, 35179 markings/sec, 135 secs
lola: 5141921 markings, 12718274 edges, 35307 markings/sec, 140 secs
lola: 5317630 markings, 13152731 edges, 35142 markings/sec, 145 secs
lola: 5495213 markings, 13591681 edges, 35517 markings/sec, 150 secs
lola: 5672532 markings, 14029749 edges, 35464 markings/sec, 155 secs
lola: 5849539 markings, 14467256 edges, 35401 markings/sec, 160 secs
lola: 6027914 markings, 14908376 edges, 35675 markings/sec, 165 secs
lola: 6204375 markings, 15345491 edges, 35292 markings/sec, 170 secs
lola: 6380615 markings, 15782227 edges, 35248 markings/sec, 175 secs
lola: 6555981 markings, 16215662 edges, 35073 markings/sec, 180 secs
lola: 6732820 markings, 16652680 edges, 35368 markings/sec, 185 secs
lola: 6909447 markings, 17089428 edges, 35325 markings/sec, 190 secs
lola: 7087021 markings, 17528869 edges, 35515 markings/sec, 195 secs
lola: 7264409 markings, 17967650 edges, 35478 markings/sec, 200 secs
lola: 7441066 markings, 18404419 edges, 35331 markings/sec, 205 secs
lola: 7617586 markings, 18841923 edges, 35304 markings/sec, 210 secs
lola: 7792612 markings, 19275207 edges, 35005 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(p420)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 153462 markings, 457191 edges, 30692 markings/sec, 0 secs
lola: 316595 markings, 933962 edges, 32627 markings/sec, 5 secs
lola: 481084 markings, 1416078 edges, 32898 markings/sec, 10 secs
lola: 651027 markings, 1910316 edges, 33989 markings/sec, 15 secs
lola: 840731 markings, 2507403 edges, 37941 markings/sec, 20 secs
lola: 999444 markings, 2983143 edges, 31743 markings/sec, 25 secs
lola: 1138344 markings, 3371962 edges, 27780 markings/sec, 30 secs
lola: 1277015 markings, 3759964 edges, 27734 markings/sec, 35 secs
lola: 1417300 markings, 4152967 edges, 28057 markings/sec, 40 secs
lola: 1557125 markings, 4544206 edges, 27965 markings/sec, 45 secs
lola: 1695320 markings, 4931013 edges, 27639 markings/sec, 50 secs
lola: 1834350 markings, 5320659 edges, 27806 markings/sec, 55 secs
lola: 1972438 markings, 5708401 edges, 27618 markings/sec, 60 secs
lola: 2113030 markings, 6101449 edges, 28118 markings/sec, 65 secs
lola: 2256741 markings, 6503528 edges, 28742 markings/sec, 70 secs
lola: 2396905 markings, 6896059 edges, 28033 markings/sec, 75 secs
lola: 2535155 markings, 7284874 edges, 27650 markings/sec, 80 secs
lola: 2672851 markings, 7671001 edges, 27539 markings/sec, 85 secs
lola: 2810435 markings, 8056401 edges, 27517 markings/sec, 90 secs
lola: 2953199 markings, 8458023 edges, 28553 markings/sec, 95 secs
lola: 3098699 markings, 8866069 edges, 29100 markings/sec, 100 secs
lola: 3244377 markings, 9273874 edges, 29136 markings/sec, 105 secs
lola: 3389826 markings, 9681771 edges, 29090 markings/sec, 110 secs
lola: 3534594 markings, 10087671 edges, 28954 markings/sec, 115 secs
lola: 3678337 markings, 10490269 edges, 28749 markings/sec, 120 secs
lola: 3815467 markings, 10874274 edges, 27426 markings/sec, 125 secs
lola: 3954357 markings, 11265918 edges, 27778 markings/sec, 130 secs
lola: 4093974 markings, 11657656 edges, 27923 markings/sec, 135 secs
lola: 4234236 markings, 12052032 edges, 28052 markings/sec, 140 secs
lola: 4374529 markings, 12447105 edges, 28059 markings/sec, 145 secs
lola: 4513699 markings, 12836300 edges, 27834 markings/sec, 150 secs
lola: 4650632 markings, 13219582 edges, 27387 markings/sec, 155 secs
lola: 4787183 markings, 13603958 edges, 27310 markings/sec, 160 secs
lola: 4924917 markings, 13990534 edges, 27547 markings/sec, 165 secs
lola: 5065881 markings, 14387397 edges, 28193 markings/sec, 170 secs
lola: 5208450 markings, 14789291 edges, 28514 markings/sec, 175 secs
lola: 5348355 markings, 15182744 edges, 27981 markings/sec, 180 secs
lola: 5489812 markings, 15579039 edges, 28291 markings/sec, 185 secs
lola: 5630285 markings, 15972124 edges, 28095 markings/sec, 190 secs
lola: 5769998 markings, 16364183 edges, 27943 markings/sec, 195 secs
lola: 5910013 markings, 16755844 edges, 28003 markings/sec, 200 secs
lola: 6048034 markings, 17142065 edges, 27604 markings/sec, 205 secs
lola: 6187159 markings, 17531477 edges, 27825 markings/sec, 210 secs
lola: 6327315 markings, 17924436 edges, 28031 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(p67)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 186009 markings, 452075 edges, 37202 markings/sec, 0 secs
lola: 373480 markings, 908649 edges, 37494 markings/sec, 5 secs
lola: 560413 markings, 1362559 edges, 37387 markings/sec, 10 secs
lola: 746415 markings, 1815592 edges, 37200 markings/sec, 15 secs
lola: 934283 markings, 2273147 edges, 37574 markings/sec, 20 secs
lola: 1121702 markings, 2728484 edges, 37484 markings/sec, 25 secs
lola: 1308867 markings, 3182697 edges, 37433 markings/sec, 30 secs
lola: 1496415 markings, 3638884 edges, 37510 markings/sec, 35 secs
lola: 1681163 markings, 4089542 edges, 36950 markings/sec, 40 secs
lola: 1867540 markings, 4542871 edges, 37275 markings/sec, 45 secs
lola: 2053669 markings, 4996245 edges, 37226 markings/sec, 50 secs
lola: 2238866 markings, 5447913 edges, 37039 markings/sec, 55 secs
lola: 2425276 markings, 5902212 edges, 37282 markings/sec, 60 secs
lola: 2612740 markings, 6358239 edges, 37493 markings/sec, 65 secs
lola: 2805136 markings, 6826585 edges, 38479 markings/sec, 70 secs
lola: 2991241 markings, 7280042 edges, 37221 markings/sec, 75 secs
lola: 3180920 markings, 7741277 edges, 37936 markings/sec, 80 secs
lola: 3364725 markings, 8188259 edges, 36761 markings/sec, 85 secs
lola: 3550825 markings, 8641896 edges, 37220 markings/sec, 90 secs
lola: 3740744 markings, 9104488 edges, 37984 markings/sec, 95 secs
lola: 3927656 markings, 9560049 edges, 37382 markings/sec, 100 secs
lola: 4116137 markings, 10018351 edges, 37696 markings/sec, 105 secs
lola: 4303565 markings, 10474068 edges, 37486 markings/sec, 110 secs
lola: 4490056 markings, 10928045 edges, 37298 markings/sec, 115 secs
lola: 4675362 markings, 11379703 edges, 37061 markings/sec, 120 secs
lola: 4869795 markings, 11852914 edges, 38887 markings/sec, 125 secs
lola: 5060847 markings, 12317541 edges, 38210 markings/sec, 130 secs
lola: 5249911 markings, 12779798 edges, 37813 markings/sec, 135 secs
lola: 5438302 markings, 13238902 edges, 37678 markings/sec, 140 secs
lola: 5630050 markings, 13705999 edges, 38350 markings/sec, 145 secs
lola: 5815763 markings, 14158070 edges, 37143 markings/sec, 150 secs
lola: 6000076 markings, 14607270 edges, 36863 markings/sec, 155 secs
lola: 6184747 markings, 15056627 edges, 36934 markings/sec, 160 secs
lola: 6367872 markings, 15501953 edges, 36625 markings/sec, 165 secs
lola: 6551227 markings, 15948706 edges, 36671 markings/sec, 170 secs
lola: 6735016 markings, 16396675 edges, 36758 markings/sec, 175 secs
lola: 6919838 markings, 16847680 edges, 36964 markings/sec, 180 secs
lola: 7101778 markings, 17291882 edges, 36388 markings/sec, 185 secs
lola: 7284413 markings, 17736911 edges, 36527 markings/sec, 190 secs
lola: 7468064 markings, 18183944 edges, 36730 markings/sec, 195 secs
lola: 7651451 markings, 18631997 edges, 36677 markings/sec, 200 secs
lola: 7834258 markings, 19079264 edges, 36561 markings/sec, 205 secs
lola: 8017206 markings, 19524366 edges, 36590 markings/sec, 210 secs
lola: 8201865 markings, 19975540 edges, 36932 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(p203)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 184510 markings, 503237 edges, 36902 markings/sec, 0 secs
lola: 369679 markings, 1010831 edges, 37034 markings/sec, 5 secs
lola: 553997 markings, 1518492 edges, 36864 markings/sec, 10 secs
lola: 743392 markings, 2040140 edges, 37879 markings/sec, 15 secs
lola: 935225 markings, 2567414 edges, 38367 markings/sec, 20 secs
lola: 1125662 markings, 3087036 edges, 38087 markings/sec, 25 secs
lola: 1316572 markings, 3613514 edges, 38182 markings/sec, 30 secs
lola: 1504926 markings, 4127779 edges, 37671 markings/sec, 35 secs
lola: 1684584 markings, 4621065 edges, 35932 markings/sec, 40 secs
lola: 1864424 markings, 5113359 edges, 35968 markings/sec, 45 secs
lola: 2044273 markings, 5604346 edges, 35970 markings/sec, 50 secs
lola: 2223676 markings, 6096357 edges, 35881 markings/sec, 55 secs
lola: 2402922 markings, 6586291 edges, 35849 markings/sec, 60 secs
lola: 2581418 markings, 7074585 edges, 35699 markings/sec, 65 secs
lola: 2759547 markings, 7563557 edges, 35626 markings/sec, 70 secs
lola: 2938505 markings, 8054112 edges, 35792 markings/sec, 75 secs
lola: 3116836 markings, 8541577 edges, 35666 markings/sec, 80 secs
lola: 3295748 markings, 9028969 edges, 35782 markings/sec, 85 secs
lola: 3474610 markings, 9515699 edges, 35772 markings/sec, 90 secs
lola: 3652720 markings, 10006157 edges, 35622 markings/sec, 95 secs
lola: 3830735 markings, 10493448 edges, 35603 markings/sec, 100 secs
lola: 4009169 markings, 10983397 edges, 35687 markings/sec, 105 secs
lola: 4188434 markings, 11473185 edges, 35853 markings/sec, 110 secs
lola: 4369619 markings, 11969371 edges, 36237 markings/sec, 115 secs
lola: 4550450 markings, 12466324 edges, 36166 markings/sec, 120 secs
lola: 4720634 markings, 12936203 edges, 34037 markings/sec, 125 secs
lola: 4890661 markings, 13404836 edges, 34005 markings/sec, 130 secs
lola: 5070619 markings, 13897221 edges, 35992 markings/sec, 135 secs
lola: 5248957 markings, 14385077 edges, 35668 markings/sec, 140 secs
lola: 5430019 markings, 14879273 edges, 36212 markings/sec, 145 secs
lola: 5608978 markings, 15372970 edges, 35792 markings/sec, 150 secs
lola: 5788388 markings, 15866622 edges, 35882 markings/sec, 155 secs
lola: 5967570 markings, 16358063 edges, 35836 markings/sec, 160 secs
lola: 6145745 markings, 16846891 edges, 35635 markings/sec, 165 secs
lola: 6323869 markings, 17338206 edges, 35625 markings/sec, 170 secs
lola: 6502382 markings, 17828195 edges, 35703 markings/sec, 175 secs
lola: 6679785 markings, 18316876 edges, 35481 markings/sec, 180 secs
lola: 6857448 markings, 18805624 edges, 35533 markings/sec, 185 secs
lola: 7035234 markings, 19296096 edges, 35557 markings/sec, 190 secs
lola: 7213722 markings, 19787451 edges, 35698 markings/sec, 195 secs
lola: 7391333 markings, 20274112 edges, 35522 markings/sec, 200 secs
lola: 7568930 markings, 20763929 edges, 35519 markings/sec, 205 secs
lola: 7746876 markings, 21255608 edges, 35589 markings/sec, 210 secs
lola: 7927341 markings, 21750701 edges, 36093 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(p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 179756 markings, 429366 edges, 35951 markings/sec, 0 secs
lola: 361649 markings, 864486 edges, 36379 markings/sec, 5 secs
lola: 541832 markings, 1295757 edges, 36037 markings/sec, 10 secs
lola: 721254 markings, 1726402 edges, 35884 markings/sec, 15 secs
lola: 901821 markings, 2159071 edges, 36113 markings/sec, 20 secs
lola: 1084232 markings, 2596060 edges, 36482 markings/sec, 25 secs
lola: 1262965 markings, 3025057 edges, 35747 markings/sec, 30 secs
lola: 1443434 markings, 3458456 edges, 36094 markings/sec, 35 secs
lola: 1621897 markings, 3888456 edges, 35693 markings/sec, 40 secs
lola: 1797087 markings, 4309313 edges, 35038 markings/sec, 45 secs
lola: 1981020 markings, 4752829 edges, 36787 markings/sec, 50 secs
lola: 2156575 markings, 5174725 edges, 35111 markings/sec, 55 secs
lola: 2338797 markings, 5612305 edges, 36444 markings/sec, 60 secs
lola: 2516690 markings, 6037217 edges, 35579 markings/sec, 65 secs
lola: 2693479 markings, 6460758 edges, 35358 markings/sec, 70 secs
lola: 2870972 markings, 6885082 edges, 35499 markings/sec, 75 secs
lola: 3060052 markings, 7337923 edges, 37816 markings/sec, 80 secs
lola: 3248067 markings, 7787933 edges, 37603 markings/sec, 85 secs
lola: 3431499 markings, 8227433 edges, 36686 markings/sec, 90 secs
lola: 3618383 markings, 8677212 edges, 37377 markings/sec, 95 secs
lola: 3801522 markings, 9119437 edges, 36628 markings/sec, 100 secs
lola: 3983775 markings, 9559187 edges, 36451 markings/sec, 105 secs
lola: 4157792 markings, 9977566 edges, 34803 markings/sec, 110 secs
lola: 4332474 markings, 10397125 edges, 34936 markings/sec, 115 secs
lola: 4506830 markings, 10818249 edges, 34871 markings/sec, 120 secs
lola: 4682496 markings, 11242584 edges, 35133 markings/sec, 125 secs
lola: 4856641 markings, 11661620 edges, 34829 markings/sec, 130 secs
lola: 5030634 markings, 12082003 edges, 34799 markings/sec, 135 secs
lola: 5205200 markings, 12501503 edges, 34913 markings/sec, 140 secs
lola: 5381017 markings, 12921350 edges, 35163 markings/sec, 145 secs
lola: 5556290 markings, 13340977 edges, 35055 markings/sec, 150 secs
lola: 5732069 markings, 13762245 edges, 35156 markings/sec, 155 secs
lola: 5910790 markings, 14190222 edges, 35744 markings/sec, 160 secs
lola: 6086130 markings, 14610089 edges, 35068 markings/sec, 165 secs
lola: 6260151 markings, 15027553 edges, 34804 markings/sec, 170 secs
lola: 6434699 markings, 15446262 edges, 34910 markings/sec, 175 secs
lola: 6611678 markings, 15871930 edges, 35396 markings/sec, 180 secs
lola: 6796082 markings, 16314737 edges, 36881 markings/sec, 185 secs
lola: 6978172 markings, 16753131 edges, 36418 markings/sec, 190 secs
lola: 7159838 markings, 17191415 edges, 36333 markings/sec, 195 secs
lola: 7343108 markings, 17632246 edges, 36654 markings/sec, 200 secs
lola: 7527430 markings, 18074730 edges, 36864 markings/sec, 205 secs
lola: 7714403 markings, 18521734 edges, 37395 markings/sec, 210 secs
lola: 7900367 markings, 18967199 edges, 37193 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(p220)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 154974 markings, 452239 edges, 30995 markings/sec, 0 secs
lola: 319794 markings, 938699 edges, 32964 markings/sec, 5 secs
lola: 479541 markings, 1402984 edges, 31949 markings/sec, 10 secs
lola: 639756 markings, 1894056 edges, 32043 markings/sec, 15 secs
lola: 802143 markings, 2449472 edges, 32477 markings/sec, 20 secs
lola: 957121 markings, 2950092 edges, 30996 markings/sec, 25 secs
lola: 1104080 markings, 3365910 edges, 29392 markings/sec, 30 secs
lola: 1249738 markings, 3779014 edges, 29132 markings/sec, 35 secs
lola: 1395058 markings, 4191307 edges, 29064 markings/sec, 40 secs
lola: 1540586 markings, 4602566 edges, 29106 markings/sec, 45 secs
lola: 1686532 markings, 5015570 edges, 29189 markings/sec, 50 secs
lola: 1831583 markings, 5426108 edges, 29010 markings/sec, 55 secs
lola: 1977784 markings, 5841600 edges, 29240 markings/sec, 60 secs
lola: 2127193 markings, 6265159 edges, 29882 markings/sec, 65 secs
lola: 2276927 markings, 6688748 edges, 29947 markings/sec, 70 secs
lola: 2415272 markings, 7083072 edges, 27669 markings/sec, 75 secs
lola: 2551564 markings, 7469638 edges, 27258 markings/sec, 80 secs
lola: 2688147 markings, 7855896 edges, 27317 markings/sec, 85 secs
lola: 2838380 markings, 8280845 edges, 30047 markings/sec, 90 secs
lola: 2988948 markings, 8708850 edges, 30114 markings/sec, 95 secs
lola: 3139356 markings, 9134216 edges, 30082 markings/sec, 100 secs
lola: 3289705 markings, 9559013 edges, 30070 markings/sec, 105 secs
lola: 3440246 markings, 9984728 edges, 30108 markings/sec, 110 secs
lola: 3590555 markings, 10409670 edges, 30062 markings/sec, 115 secs
lola: 3741444 markings, 10836601 edges, 30178 markings/sec, 120 secs
lola: 3888831 markings, 11253000 edges, 29477 markings/sec, 125 secs
lola: 4034231 markings, 11664112 edges, 29080 markings/sec, 130 secs
lola: 4179444 markings, 12074760 edges, 29043 markings/sec, 135 secs
lola: 4324023 markings, 12483713 edges, 28916 markings/sec, 140 secs
lola: 4471281 markings, 12899986 edges, 29452 markings/sec, 145 secs
lola: 4617905 markings, 13314408 edges, 29325 markings/sec, 150 secs
lola: 4765723 markings, 13732325 edges, 29564 markings/sec, 155 secs
lola: 4911612 markings, 14144730 edges, 29178 markings/sec, 160 secs
lola: 5057642 markings, 14557654 edges, 29206 markings/sec, 165 secs
lola: 5201833 markings, 14965615 edges, 28838 markings/sec, 170 secs
lola: 5350308 markings, 15385147 edges, 29695 markings/sec, 175 secs
lola: 5497428 markings, 15801217 edges, 29424 markings/sec, 180 secs
lola: 5645898 markings, 16220843 edges, 29694 markings/sec, 185 secs
lola: 5795093 markings, 16644745 edges, 29839 markings/sec, 190 secs
lola: 5942954 markings, 17063608 edges, 29572 markings/sec, 195 secs
lola: 6090715 markings, 17482679 edges, 29552 markings/sec, 200 secs
lola: 6237791 markings, 17900259 edges, 29415 markings/sec, 205 secs
lola: 6382213 markings, 18308482 edges, 28884 markings/sec, 210 secs
lola: 6524659 markings, 18713412 edges, 28489 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(p479)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 52 bytes per marking, with 8 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: 143656 markings, 312526 edges, 28731 markings/sec, 0 secs
lola: 291084 markings, 632573 edges, 29486 markings/sec, 5 secs
lola: 437717 markings, 950751 edges, 29327 markings/sec, 10 secs
lola: 584796 markings, 1269748 edges, 29416 markings/sec, 15 secs
lola: 731839 markings, 1589160 edges, 29409 markings/sec, 20 secs
lola: 879011 markings, 1908450 edges, 29434 markings/sec, 25 secs
lola: 1026093 markings, 2227919 edges, 29416 markings/sec, 30 secs
lola: 1172856 markings, 2546773 edges, 29353 markings/sec, 35 secs
lola: 1319890 markings, 2866781 edges, 29407 markings/sec, 40 secs
lola: 1466948 markings, 3186163 edges, 29412 markings/sec, 45 secs
lola: 1613582 markings, 3504999 edges, 29327 markings/sec, 50 secs
lola: 1761035 markings, 3825682 edges, 29491 markings/sec, 55 secs
lola: 1903778 markings, 4135383 edges, 28549 markings/sec, 60 secs
lola: 2049424 markings, 4451084 edges, 29129 markings/sec, 65 secs
lola: 2195091 markings, 4767249 edges, 29133 markings/sec, 70 secs
lola: 2337936 markings, 5077371 edges, 28569 markings/sec, 75 secs
lola: 2484193 markings, 5394530 edges, 29251 markings/sec, 80 secs
lola: 2632815 markings, 5717200 edges, 29724 markings/sec, 85 secs
lola: 2778712 markings, 6033810 edges, 29179 markings/sec, 90 secs
lola: 2925137 markings, 6351814 edges, 29285 markings/sec, 95 secs
lola: 3071346 markings, 6669438 edges, 29242 markings/sec, 100 secs
lola: 3219403 markings, 6991492 edges, 29611 markings/sec, 105 secs
lola: 3366886 markings, 7312074 edges, 29497 markings/sec, 110 secs
lola: 3512888 markings, 7629281 edges, 29200 markings/sec, 115 secs
lola: 3659542 markings, 7948459 edges, 29331 markings/sec, 120 secs
lola: 3806168 markings, 8266635 edges, 29325 markings/sec, 125 secs
lola: 3952373 markings, 8583642 edges, 29241 markings/sec, 130 secs
lola: 4099102 markings, 8901876 edges, 29346 markings/sec, 135 secs
lola: 4245060 markings, 9219433 edges, 29192 markings/sec, 140 secs
lola: 4391601 markings, 9537720 edges, 29308 markings/sec, 145 secs
lola: 4536327 markings, 9852447 edges, 28945 markings/sec, 150 secs
lola: 4677917 markings, 10160248 edges, 28318 markings/sec, 155 secs
lola: 4821321 markings, 10471808 edges, 28681 markings/sec, 160 secs
lola: 4962832 markings, 10779122 edges, 28302 markings/sec, 165 secs
lola: 5105470 markings, 11089300 edges, 28528 markings/sec, 170 secs
lola: 5247283 markings, 11397670 edges, 28363 markings/sec, 175 secs
lola: 5390072 markings, 11707872 edges, 28558 markings/sec, 180 secs
lola: 5525316 markings, 12002032 edges, 27049 markings/sec, 185 secs
lola: 5659917 markings, 12294639 edges, 26920 markings/sec, 190 secs
lola: 5801271 markings, 12602183 edges, 28271 markings/sec, 195 secs
lola: 5938553 markings, 12900907 edges, 27456 markings/sec, 200 secs
lola: 6079845 markings, 13208706 edges, 28258 markings/sec, 205 secs
lola: 6223493 markings, 13521193 edges, 28730 markings/sec, 210 secs
lola: 6369482 markings, 13838285 edges, 29198 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA Raft-PT-10-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Raft-PT-10-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494803323690

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

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is Raft-PT-10, 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 r068-csrt-149440963000029"
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 ;