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 DLCround-PT-06a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-csrt-149580961700254
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496538483428


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
DLCround-PT-06a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
DLCround-PT-06a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ DLCround-PT-06a @ 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: 1510/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: finding significant places
lola: 197 places, 1313 transitions, 88 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1136 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-06a-UpperBounds.task
lola: MAX(p72) : MAX(p83) : MAX(p183) : MAX(p24) : MAX(p41) : MAX(p30) : MAX(p92) : MAX(p141) : MAX(p41) : MAX(p192) : MAX(p154) : MAX(p129) : MAX(p65) : MAX(p67) : MAX(p170) : MAX(p19)
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(p72)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: 75491 markings, 585640 edges, 15098 markings/sec, 0 secs
lola: 149706 markings, 1271370 edges, 14843 markings/sec, 5 secs
lola: 224359 markings, 1877262 edges, 14931 markings/sec, 10 secs
lola: 301730 markings, 2526289 edges, 15474 markings/sec, 15 secs
lola: 380479 markings, 3163076 edges, 15750 markings/sec, 20 secs
lola: 460258 markings, 3847182 edges, 15956 markings/sec, 25 secs
lola: 540672 markings, 4528725 edges, 16083 markings/sec, 30 secs
lola: 615985 markings, 5161277 edges, 15063 markings/sec, 35 secs
lola: 691693 markings, 5793709 edges, 15142 markings/sec, 40 secs
lola: 767279 markings, 6422744 edges, 15117 markings/sec, 45 secs
lola: 848957 markings, 7107073 edges, 16336 markings/sec, 50 secs
lola: 930242 markings, 7829980 edges, 16257 markings/sec, 55 secs
lola: 1011643 markings, 8508855 edges, 16280 markings/sec, 60 secs
lola: 1092669 markings, 9199399 edges, 16205 markings/sec, 65 secs
lola: 1171219 markings, 9841079 edges, 15710 markings/sec, 70 secs
lola: 1253131 markings, 10583850 edges, 16382 markings/sec, 75 secs
lola: 1332737 markings, 11269562 edges, 15921 markings/sec, 80 secs
lola: 1410640 markings, 11955359 edges, 15581 markings/sec, 85 secs
lola: 1492301 markings, 12609907 edges, 16332 markings/sec, 90 secs
lola: 1573015 markings, 13289854 edges, 16143 markings/sec, 95 secs
lola: 1655086 markings, 13950161 edges, 16414 markings/sec, 100 secs
lola: 1734165 markings, 14625642 edges, 15816 markings/sec, 105 secs
lola: 1815714 markings, 15328446 edges, 16310 markings/sec, 110 secs
lola: 1895998 markings, 15993762 edges, 16057 markings/sec, 115 secs
lola: 1975387 markings, 16637752 edges, 15878 markings/sec, 120 secs
lola: 2053744 markings, 17317221 edges, 15671 markings/sec, 125 secs
lola: 2133004 markings, 17976090 edges, 15852 markings/sec, 130 secs
lola: 2212797 markings, 18627258 edges, 15959 markings/sec, 135 secs
lola: 2294178 markings, 19310434 edges, 16276 markings/sec, 140 secs
lola: 2373638 markings, 19974838 edges, 15892 markings/sec, 145 secs
lola: 2452729 markings, 20680683 edges, 15818 markings/sec, 150 secs
lola: 2535008 markings, 21386085 edges, 16456 markings/sec, 155 secs
lola: 2616189 markings, 22080703 edges, 16236 markings/sec, 160 secs
lola: 2694629 markings, 22771071 edges, 15688 markings/sec, 165 secs
lola: 2776566 markings, 23440996 edges, 16387 markings/sec, 170 secs
lola: 2858031 markings, 24114379 edges, 16293 markings/sec, 175 secs
lola: 2938699 markings, 24813850 edges, 16134 markings/sec, 180 secs
lola: 3020371 markings, 25501219 edges, 16334 markings/sec, 185 secs
lola: 3101175 markings, 26223687 edges, 16161 markings/sec, 190 secs
lola: 3181451 markings, 26894492 edges, 16055 markings/sec, 195 secs
lola: 3257269 markings, 27511508 edges, 15164 markings/sec, 200 secs
lola: 3331827 markings, 28179289 edges, 14912 markings/sec, 205 secs
lola: 3407298 markings, 28839833 edges, 15094 markings/sec, 210 secs
lola: 3481876 markings, 29439177 edges, 14916 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(p83)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: 82101 markings, 759226 edges, 16420 markings/sec, 0 secs
lola: 164432 markings, 1528485 edges, 16466 markings/sec, 5 secs
lola: 246726 markings, 2305367 edges, 16459 markings/sec, 10 secs
lola: 334846 markings, 3124747 edges, 17624 markings/sec, 15 secs
lola: 424021 markings, 3967869 edges, 17835 markings/sec, 20 secs
lola: 511906 markings, 4785970 edges, 17577 markings/sec, 25 secs
lola: 600338 markings, 5603389 edges, 17686 markings/sec, 30 secs
lola: 688166 markings, 6434709 edges, 17566 markings/sec, 35 secs
lola: 776946 markings, 7273530 edges, 17756 markings/sec, 40 secs
lola: 865624 markings, 8112170 edges, 17736 markings/sec, 45 secs
lola: 952817 markings, 8925312 edges, 17439 markings/sec, 50 secs
lola: 1036440 markings, 9746001 edges, 16725 markings/sec, 55 secs
lola: 1122321 markings, 10568610 edges, 17176 markings/sec, 60 secs
lola: 1209974 markings, 11390052 edges, 17531 markings/sec, 65 secs
lola: 1298555 markings, 12221298 edges, 17716 markings/sec, 70 secs
lola: 1387662 markings, 13039200 edges, 17821 markings/sec, 75 secs
lola: 1474584 markings, 13877972 edges, 17384 markings/sec, 80 secs
lola: 1562540 markings, 14685472 edges, 17591 markings/sec, 85 secs
lola: 1647520 markings, 15491799 edges, 16996 markings/sec, 90 secs
lola: 1731605 markings, 16276268 edges, 16817 markings/sec, 95 secs
lola: 1816060 markings, 17072758 edges, 16891 markings/sec, 100 secs
lola: 1902696 markings, 17872763 edges, 17327 markings/sec, 105 secs
lola: 1987785 markings, 18688404 edges, 17018 markings/sec, 110 secs
lola: 2072256 markings, 19516173 edges, 16894 markings/sec, 115 secs
lola: 2158974 markings, 20331147 edges, 17344 markings/sec, 120 secs
lola: 2245311 markings, 21143740 edges, 17267 markings/sec, 125 secs
lola: 2333304 markings, 21964434 edges, 17599 markings/sec, 130 secs
lola: 2420018 markings, 22768955 edges, 17343 markings/sec, 135 secs
lola: 2505625 markings, 23563281 edges, 17121 markings/sec, 140 secs
lola: 2590363 markings, 24372932 edges, 16948 markings/sec, 145 secs
lola: 2677183 markings, 25196998 edges, 17364 markings/sec, 150 secs
lola: 2764623 markings, 26015122 edges, 17488 markings/sec, 155 secs
lola: 2851732 markings, 26822616 edges, 17422 markings/sec, 160 secs
lola: 2937944 markings, 27649307 edges, 17242 markings/sec, 165 secs
lola: 3025253 markings, 28484627 edges, 17462 markings/sec, 170 secs
lola: 3108160 markings, 29278557 edges, 16581 markings/sec, 175 secs
lola: 3188085 markings, 30051054 edges, 15985 markings/sec, 180 secs
lola: 3269065 markings, 30800954 edges, 16196 markings/sec, 185 secs
lola: 3350534 markings, 31588027 edges, 16294 markings/sec, 190 secs
lola: 3431545 markings, 32363019 edges, 16202 markings/sec, 195 secs
lola: 3511040 markings, 33132202 edges, 15899 markings/sec, 200 secs
lola: 3590793 markings, 33906492 edges, 15951 markings/sec, 205 secs
lola: 3674229 markings, 34697413 edges, 16687 markings/sec, 210 secs
lola: 3759712 markings, 35499286 edges, 17097 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(p183)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 3 will run for 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p24)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: 110396 markings, 483582 edges, 22079 markings/sec, 0 secs
lola: 222073 markings, 985764 edges, 22335 markings/sec, 5 secs
lola: 332412 markings, 1474123 edges, 22068 markings/sec, 10 secs
lola: 442713 markings, 1966865 edges, 22060 markings/sec, 15 secs
lola: 551997 markings, 2456024 edges, 21857 markings/sec, 20 secs
lola: 660564 markings, 2926747 edges, 21713 markings/sec, 25 secs
lola: 768045 markings, 3406027 edges, 21496 markings/sec, 30 secs
lola: 877960 markings, 3895453 edges, 21983 markings/sec, 35 secs
lola: 987842 markings, 4385381 edges, 21976 markings/sec, 40 secs
lola: 1098458 markings, 4881508 edges, 22123 markings/sec, 45 secs
lola: 1203729 markings, 5352100 edges, 21054 markings/sec, 50 secs
lola: 1311718 markings, 5839920 edges, 21598 markings/sec, 55 secs
lola: 1420789 markings, 6329990 edges, 21814 markings/sec, 60 secs
lola: 1530577 markings, 6820133 edges, 21958 markings/sec, 65 secs
lola: 1632642 markings, 7278214 edges, 20413 markings/sec, 70 secs
lola: 1733818 markings, 7730474 edges, 20235 markings/sec, 75 secs
lola: 1834712 markings, 8191699 edges, 20179 markings/sec, 80 secs
lola: 1933617 markings, 8639212 edges, 19781 markings/sec, 85 secs
lola: 2034677 markings, 9097048 edges, 20212 markings/sec, 90 secs
lola: 2135857 markings, 9555916 edges, 20236 markings/sec, 95 secs
lola: 2242344 markings, 10039698 edges, 21297 markings/sec, 100 secs
lola: 2349069 markings, 10529702 edges, 21345 markings/sec, 105 secs
lola: 2455914 markings, 11011905 edges, 21369 markings/sec, 110 secs
lola: 2563032 markings, 11498560 edges, 21424 markings/sec, 115 secs
lola: 2671118 markings, 11993696 edges, 21617 markings/sec, 120 secs
lola: 2778714 markings, 12480067 edges, 21519 markings/sec, 125 secs
lola: 2884956 markings, 12954188 edges, 21248 markings/sec, 130 secs
lola: 2990177 markings, 13433238 edges, 21044 markings/sec, 135 secs
lola: 3097502 markings, 13918672 edges, 21465 markings/sec, 140 secs
lola: 3205662 markings, 14405503 edges, 21632 markings/sec, 145 secs
lola: 3313528 markings, 14903623 edges, 21573 markings/sec, 150 secs
lola: 3419414 markings, 15384444 edges, 21177 markings/sec, 155 secs
lola: 3527416 markings, 15879921 edges, 21600 markings/sec, 160 secs
lola: 3630408 markings, 16353476 edges, 20598 markings/sec, 165 secs
lola: 3738409 markings, 16841214 edges, 21600 markings/sec, 170 secs
lola: 3843818 markings, 17328760 edges, 21082 markings/sec, 175 secs
lola: 3945577 markings, 17793406 edges, 20352 markings/sec, 180 secs
lola: 4048216 markings, 18255198 edges, 20528 markings/sec, 185 secs
lola: 4152064 markings, 18732406 edges, 20770 markings/sec, 190 secs
lola: 4253548 markings, 19191588 edges, 20297 markings/sec, 195 secs
lola: 4354554 markings, 19653166 edges, 20201 markings/sec, 200 secs
lola: 4455088 markings, 20118412 edges, 20107 markings/sec, 205 secs
lola: 4555445 markings, 20569419 edges, 20071 markings/sec, 210 secs
lola: 4655866 markings, 21032700 edges, 20084 markings/sec, 215 secs
lola: 4756794 markings, 21492912 edges, 20186 markings/sec, 220 secs
lola: 4856809 markings, 21952852 edges, 20003 markings/sec, 225 secs
lola: 4956568 markings, 22414485 edges, 19952 markings/sec, 230 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 238 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 12 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: 87001 markings, 667710 edges, 17400 markings/sec, 0 secs
lola: 173244 markings, 1343343 edges, 17249 markings/sec, 5 secs
lola: 259210 markings, 2010663 edges, 17193 markings/sec, 10 secs
lola: 345216 markings, 2676851 edges, 17201 markings/sec, 15 secs
lola: 432553 markings, 3376859 edges, 17467 markings/sec, 20 secs
lola: 520485 markings, 4091394 edges, 17586 markings/sec, 25 secs
lola: 612814 markings, 4803965 edges, 18466 markings/sec, 30 secs
lola: 704699 markings, 5519037 edges, 18377 markings/sec, 35 secs
lola: 790948 markings, 6191233 edges, 17250 markings/sec, 40 secs
lola: 876173 markings, 6861711 edges, 17045 markings/sec, 45 secs
lola: 961223 markings, 7544162 edges, 17010 markings/sec, 50 secs
lola: 1050980 markings, 8248137 edges, 17951 markings/sec, 55 secs
lola: 1138501 markings, 8940963 edges, 17504 markings/sec, 60 secs
lola: 1227576 markings, 9668525 edges, 17815 markings/sec, 65 secs
lola: 1315790 markings, 10386505 edges, 17643 markings/sec, 70 secs
lola: 1404964 markings, 11102282 edges, 17835 markings/sec, 75 secs
lola: 1493160 markings, 11832530 edges, 17639 markings/sec, 80 secs
lola: 1577750 markings, 12529465 edges, 16918 markings/sec, 85 secs
lola: 1668305 markings, 13246447 edges, 18111 markings/sec, 90 secs
lola: 1757598 markings, 13955484 edges, 17859 markings/sec, 95 secs
lola: 1849641 markings, 14670457 edges, 18409 markings/sec, 100 secs
lola: 1942013 markings, 15383667 edges, 18474 markings/sec, 105 secs
lola: 2033978 markings, 16103457 edges, 18393 markings/sec, 110 secs
lola: 2124453 markings, 16807040 edges, 18095 markings/sec, 115 secs
lola: 2216024 markings, 17523120 edges, 18314 markings/sec, 120 secs
lola: 2307640 markings, 18226875 edges, 18323 markings/sec, 125 secs
lola: 2398700 markings, 18950233 edges, 18212 markings/sec, 130 secs
lola: 2489828 markings, 19676822 edges, 18226 markings/sec, 135 secs
lola: 2581579 markings, 20412645 edges, 18350 markings/sec, 140 secs
lola: 2671141 markings, 21117132 edges, 17912 markings/sec, 145 secs
lola: 2757131 markings, 21801255 edges, 17198 markings/sec, 150 secs
lola: 2845034 markings, 22514612 edges, 17581 markings/sec, 155 secs
lola: 2935013 markings, 23249557 edges, 17996 markings/sec, 160 secs
lola: 3026804 markings, 23966297 edges, 18358 markings/sec, 165 secs
lola: 3117057 markings, 24696610 edges, 18051 markings/sec, 170 secs
lola: 3208414 markings, 25428086 edges, 18271 markings/sec, 175 secs
lola: 3298766 markings, 26163811 edges, 18070 markings/sec, 180 secs
lola: 3391290 markings, 26891982 edges, 18505 markings/sec, 185 secs
lola: 3480641 markings, 27613837 edges, 17870 markings/sec, 190 secs
lola: 3571422 markings, 28358999 edges, 18156 markings/sec, 195 secs
lola: 3662995 markings, 29086585 edges, 18315 markings/sec, 200 secs
lola: 3753445 markings, 29819900 edges, 18090 markings/sec, 205 secs
lola: 3843521 markings, 30540257 edges, 18015 markings/sec, 210 secs
lola: 3931152 markings, 31252312 edges, 17526 markings/sec, 215 secs
lola: 4014150 markings, 31908404 edges, 16600 markings/sec, 220 secs
lola: 4094625 markings, 32559183 edges, 16095 markings/sec, 225 secs
lola: 4175366 markings, 33205134 edges, 16148 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p30)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: 92384 markings, 751733 edges, 18477 markings/sec, 0 secs
lola: 181989 markings, 1493511 edges, 17921 markings/sec, 5 secs
lola: 273020 markings, 2225477 edges, 18206 markings/sec, 10 secs
lola: 367763 markings, 3021840 edges, 18949 markings/sec, 15 secs
lola: 463509 markings, 3811171 edges, 19149 markings/sec, 20 secs
lola: 558913 markings, 4618001 edges, 19081 markings/sec, 25 secs
lola: 654183 markings, 5414031 edges, 19054 markings/sec, 30 secs
lola: 749403 markings, 6199901 edges, 19044 markings/sec, 35 secs
lola: 841890 markings, 6955263 edges, 18497 markings/sec, 40 secs
lola: 935067 markings, 7722165 edges, 18635 markings/sec, 45 secs
lola: 1029899 markings, 8504201 edges, 18966 markings/sec, 50 secs
lola: 1124395 markings, 9289079 edges, 18899 markings/sec, 55 secs
lola: 1222534 markings, 10122979 edges, 19628 markings/sec, 60 secs
lola: 1319141 markings, 10923934 edges, 19321 markings/sec, 65 secs
lola: 1412054 markings, 11717598 edges, 18583 markings/sec, 70 secs
lola: 1506365 markings, 12500470 edges, 18862 markings/sec, 75 secs
lola: 1601277 markings, 13285967 edges, 18982 markings/sec, 80 secs
lola: 1692855 markings, 14069606 edges, 18316 markings/sec, 85 secs
lola: 1787082 markings, 14875888 edges, 18845 markings/sec, 90 secs
lola: 1882675 markings, 15693939 edges, 19119 markings/sec, 95 secs
lola: 1977168 markings, 16482847 edges, 18899 markings/sec, 100 secs
lola: 2070388 markings, 17271944 edges, 18644 markings/sec, 105 secs
lola: 2164473 markings, 18078885 edges, 18817 markings/sec, 110 secs
lola: 2259523 markings, 18880151 edges, 19010 markings/sec, 115 secs
lola: 2354332 markings, 19695276 edges, 18962 markings/sec, 120 secs
lola: 2448523 markings, 20480105 edges, 18838 markings/sec, 125 secs
lola: 2542776 markings, 21290148 edges, 18851 markings/sec, 130 secs
lola: 2637382 markings, 22105351 edges, 18921 markings/sec, 135 secs
lola: 2727948 markings, 22886470 edges, 18113 markings/sec, 140 secs
lola: 2822306 markings, 23687562 edges, 18872 markings/sec, 145 secs
lola: 2917463 markings, 24499476 edges, 19031 markings/sec, 150 secs
lola: 3011625 markings, 25316688 edges, 18832 markings/sec, 155 secs
lola: 3104981 markings, 26093169 edges, 18671 markings/sec, 160 secs
lola: 3199507 markings, 26900539 edges, 18905 markings/sec, 165 secs
lola: 3292806 markings, 27707166 edges, 18660 markings/sec, 170 secs
lola: 3382940 markings, 28503122 edges, 18027 markings/sec, 175 secs
lola: 3476637 markings, 29327254 edges, 18739 markings/sec, 180 secs
lola: 3571433 markings, 30140639 edges, 18959 markings/sec, 185 secs
lola: 3665896 markings, 30961386 edges, 18893 markings/sec, 190 secs
lola: 3760410 markings, 31795048 edges, 18903 markings/sec, 195 secs
lola: 3854560 markings, 32605792 edges, 18830 markings/sec, 200 secs
lola: 3949968 markings, 33410153 edges, 19082 markings/sec, 205 secs
lola: 4044764 markings, 34231608 edges, 18959 markings/sec, 210 secs
lola: 4137584 markings, 35029469 edges, 18564 markings/sec, 215 secs
lola: 4230646 markings, 35839355 edges, 18612 markings/sec, 220 secs
lola: 4325621 markings, 36653294 edges, 18995 markings/sec, 225 secs
lola: 4416307 markings, 37438342 edges, 18137 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p92)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: 82682 markings, 640516 edges, 16536 markings/sec, 0 secs
lola: 163810 markings, 1348534 edges, 16226 markings/sec, 5 secs
lola: 247945 markings, 2061720 edges, 16827 markings/sec, 10 secs
lola: 333932 markings, 2757574 edges, 17197 markings/sec, 15 secs
lola: 419598 markings, 3448019 edges, 17133 markings/sec, 20 secs
lola: 501225 markings, 4119457 edges, 16325 markings/sec, 25 secs
lola: 585338 markings, 4818558 edges, 16823 markings/sec, 30 secs
lola: 669827 markings, 5516899 edges, 16898 markings/sec, 35 secs
lola: 750140 markings, 6204586 edges, 16063 markings/sec, 40 secs
lola: 831202 markings, 6881434 edges, 16212 markings/sec, 45 secs
lola: 913008 markings, 7551132 edges, 16361 markings/sec, 50 secs
lola: 995502 markings, 8230539 edges, 16499 markings/sec, 55 secs
lola: 1079318 markings, 8891020 edges, 16763 markings/sec, 60 secs
lola: 1156220 markings, 9526639 edges, 15380 markings/sec, 65 secs
lola: 1231173 markings, 10126218 edges, 14991 markings/sec, 70 secs
lola: 1306241 markings, 10778356 edges, 15014 markings/sec, 75 secs
lola: 1387228 markings, 11458366 edges, 16197 markings/sec, 80 secs
lola: 1469980 markings, 12161613 edges, 16550 markings/sec, 85 secs
lola: 1552652 markings, 12815288 edges, 16534 markings/sec, 90 secs
lola: 1634411 markings, 13483654 edges, 16352 markings/sec, 95 secs
lola: 1717303 markings, 14152371 edges, 16578 markings/sec, 100 secs
lola: 1800113 markings, 14854837 edges, 16562 markings/sec, 105 secs
lola: 1882188 markings, 15541158 edges, 16415 markings/sec, 110 secs
lola: 1960128 markings, 16204475 edges, 15588 markings/sec, 115 secs
lola: 2035782 markings, 16822938 edges, 15131 markings/sec, 120 secs
lola: 2110951 markings, 17449862 edges, 15034 markings/sec, 125 secs
lola: 2188728 markings, 18101249 edges, 15555 markings/sec, 130 secs
lola: 2269583 markings, 18779526 edges, 16171 markings/sec, 135 secs
lola: 2351944 markings, 19454260 edges, 16472 markings/sec, 140 secs
lola: 2434215 markings, 20126915 edges, 16454 markings/sec, 145 secs
lola: 2514482 markings, 20785981 edges, 16053 markings/sec, 150 secs
lola: 2589845 markings, 21404160 edges, 15073 markings/sec, 155 secs
lola: 2665101 markings, 22035465 edges, 15051 markings/sec, 160 secs
lola: 2740393 markings, 22642240 edges, 15058 markings/sec, 165 secs
lola: 2815400 markings, 23294480 edges, 15001 markings/sec, 170 secs
lola: 2890980 markings, 23921024 edges, 15116 markings/sec, 175 secs
lola: 2969832 markings, 24613712 edges, 15770 markings/sec, 180 secs
lola: 3050603 markings, 25303607 edges, 16154 markings/sec, 185 secs
lola: 3130713 markings, 25953565 edges, 16022 markings/sec, 190 secs
lola: 3206619 markings, 26612105 edges, 15181 markings/sec, 195 secs
lola: 3282487 markings, 27238653 edges, 15174 markings/sec, 200 secs
lola: 3358215 markings, 27853437 edges, 15146 markings/sec, 205 secs
lola: 3435423 markings, 28494548 edges, 15442 markings/sec, 210 secs
lola: 3511496 markings, 29136188 edges, 15215 markings/sec, 215 secs
lola: 3587189 markings, 29757206 edges, 15139 markings/sec, 220 secs
lola: 3664938 markings, 30378053 edges, 15550 markings/sec, 225 secs
lola: 3744298 markings, 31082234 edges, 15872 markings/sec, 230 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p141)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 8 will run for 268 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 12 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: 88989 markings, 683630 edges, 17798 markings/sec, 0 secs
lola: 179698 markings, 1395468 edges, 18142 markings/sec, 5 secs
lola: 271347 markings, 2101886 edges, 18330 markings/sec, 10 secs
lola: 360175 markings, 2797556 edges, 17766 markings/sec, 15 secs
lola: 449675 markings, 3517613 edges, 17900 markings/sec, 20 secs
lola: 535556 markings, 4206142 edges, 17176 markings/sec, 25 secs
lola: 627409 markings, 4914083 edges, 18371 markings/sec, 30 secs
lola: 718240 markings, 5624223 edges, 18166 markings/sec, 35 secs
lola: 805089 markings, 6303827 edges, 17370 markings/sec, 40 secs
lola: 890212 markings, 6973107 edges, 17025 markings/sec, 45 secs
lola: 978090 markings, 7675352 edges, 17576 markings/sec, 50 secs
lola: 1068351 markings, 8381073 edges, 18052 markings/sec, 55 secs
lola: 1159523 markings, 9110792 edges, 18234 markings/sec, 60 secs
lola: 1249120 markings, 9843539 edges, 17919 markings/sec, 65 secs
lola: 1337273 markings, 10553848 edges, 17631 markings/sec, 70 secs
lola: 1427460 markings, 11284830 edges, 18037 markings/sec, 75 secs
lola: 1514688 markings, 12007065 edges, 17446 markings/sec, 80 secs
lola: 1600996 markings, 12723325 edges, 17262 markings/sec, 85 secs
lola: 1691934 markings, 13431262 edges, 18188 markings/sec, 90 secs
lola: 1782933 markings, 14152246 edges, 18200 markings/sec, 95 secs
lola: 1874407 markings, 14858806 edges, 18295 markings/sec, 100 secs
lola: 1965343 markings, 15569342 edges, 18187 markings/sec, 105 secs
lola: 2055898 markings, 16276916 edges, 18111 markings/sec, 110 secs
lola: 2145134 markings, 16967437 edges, 17847 markings/sec, 115 secs
lola: 2236425 markings, 17681706 edges, 18258 markings/sec, 120 secs
lola: 2328289 markings, 18394638 edges, 18373 markings/sec, 125 secs
lola: 2420069 markings, 19116183 edges, 18356 markings/sec, 130 secs
lola: 2510514 markings, 19842929 edges, 18089 markings/sec, 135 secs
lola: 2601301 markings, 20569061 edges, 18157 markings/sec, 140 secs
lola: 2690144 markings, 21265930 edges, 17769 markings/sec, 145 secs
lola: 2780318 markings, 21995197 edges, 18035 markings/sec, 150 secs
lola: 2868747 markings, 22705810 edges, 17686 markings/sec, 155 secs
lola: 2959379 markings, 23435681 edges, 18126 markings/sec, 160 secs
lola: 3050928 markings, 24157623 edges, 18310 markings/sec, 165 secs
lola: 3136276 markings, 24858330 edges, 17070 markings/sec, 170 secs
lola: 3225834 markings, 25571180 edges, 17912 markings/sec, 175 secs
lola: 3314802 markings, 26297018 edges, 17794 markings/sec, 180 secs
lola: 3404505 markings, 26995714 edges, 17941 markings/sec, 185 secs
lola: 3492557 markings, 27713324 edges, 17610 markings/sec, 190 secs
lola: 3582415 markings, 28443291 edges, 17972 markings/sec, 195 secs
lola: 3671412 markings, 29154470 edges, 17799 markings/sec, 200 secs
lola: 3753876 markings, 29823143 edges, 16493 markings/sec, 205 secs
lola: 3836812 markings, 30485996 edges, 16587 markings/sec, 210 secs
lola: 3925251 markings, 31207634 edges, 17688 markings/sec, 215 secs
lola: 4015812 markings, 31921695 edges, 18112 markings/sec, 220 secs
lola: 4105766 markings, 32654815 edges, 17991 markings/sec, 225 secs
lola: 4196277 markings, 33375478 edges, 18102 markings/sec, 230 secs
lola: 4286921 markings, 34103965 edges, 18129 markings/sec, 235 secs
lola: 4376029 markings, 34836051 edges, 17822 markings/sec, 240 secs
lola: 4463713 markings, 35564820 edges, 17537 markings/sec, 245 secs
lola: 4550640 markings, 36291243 edges, 17385 markings/sec, 250 secs
lola: 4639809 markings, 37018486 edges, 17834 markings/sec, 255 secs
lola: 4727876 markings, 37736748 edges, 17613 markings/sec, 260 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 268 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p192)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 10 will run for 312 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p154)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 11 will run for 375 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p129)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 12 will run for 469 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p65)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: 87071 markings, 499435 edges, 17414 markings/sec, 0 secs
lola: 169515 markings, 965714 edges, 16489 markings/sec, 5 secs
lola: 252715 markings, 1476614 edges, 16640 markings/sec, 10 secs
lola: 333018 markings, 1968051 edges, 16061 markings/sec, 15 secs
lola: 415680 markings, 2452988 edges, 16532 markings/sec, 20 secs
lola: 496571 markings, 2910362 edges, 16178 markings/sec, 25 secs
lola: 574887 markings, 3393986 edges, 15663 markings/sec, 30 secs
lola: 653044 markings, 3863315 edges, 15631 markings/sec, 35 secs
lola: 730116 markings, 4366956 edges, 15414 markings/sec, 40 secs
lola: 807027 markings, 4856188 edges, 15382 markings/sec, 45 secs
lola: 885109 markings, 5339856 edges, 15616 markings/sec, 50 secs
lola: 963434 markings, 5832278 edges, 15665 markings/sec, 55 secs
lola: 1043918 markings, 6335830 edges, 16097 markings/sec, 60 secs
lola: 1128912 markings, 6829929 edges, 16999 markings/sec, 65 secs
lola: 1213668 markings, 7325079 edges, 16951 markings/sec, 70 secs
lola: 1297045 markings, 7834504 edges, 16675 markings/sec, 75 secs
lola: 1381697 markings, 8337095 edges, 16930 markings/sec, 80 secs
lola: 1467107 markings, 8826244 edges, 17082 markings/sec, 85 secs
lola: 1549819 markings, 9326998 edges, 16542 markings/sec, 90 secs
lola: 1627854 markings, 9831769 edges, 15607 markings/sec, 95 secs
lola: 1705969 markings, 10332477 edges, 15623 markings/sec, 100 secs
lola: 1785637 markings, 10824783 edges, 15934 markings/sec, 105 secs
lola: 1865230 markings, 11278323 edges, 15919 markings/sec, 110 secs
lola: 1947172 markings, 11778909 edges, 16388 markings/sec, 115 secs
lola: 2027050 markings, 12239431 edges, 15976 markings/sec, 120 secs
lola: 2107477 markings, 12718394 edges, 16085 markings/sec, 125 secs
lola: 2184366 markings, 13178233 edges, 15378 markings/sec, 130 secs
lola: 2262028 markings, 13629205 edges, 15532 markings/sec, 135 secs
lola: 2340150 markings, 14093181 edges, 15624 markings/sec, 140 secs
lola: 2424933 markings, 14624263 edges, 16957 markings/sec, 145 secs
lola: 2506766 markings, 15114368 edges, 16367 markings/sec, 150 secs
lola: 2589685 markings, 15622684 edges, 16584 markings/sec, 155 secs
lola: 2670013 markings, 16108568 edges, 16066 markings/sec, 160 secs
lola: 2748745 markings, 16596910 edges, 15746 markings/sec, 165 secs
lola: 2827081 markings, 17084298 edges, 15667 markings/sec, 170 secs
lola: 2912910 markings, 17622261 edges, 17166 markings/sec, 175 secs
lola: 2998934 markings, 18146337 edges, 17205 markings/sec, 180 secs
lola: 3085126 markings, 18674146 edges, 17238 markings/sec, 185 secs
lola: 3169928 markings, 19194084 edges, 16960 markings/sec, 190 secs
lola: 3254465 markings, 19752289 edges, 16907 markings/sec, 195 secs
lola: 3337772 markings, 20327856 edges, 16661 markings/sec, 200 secs
lola: 3421909 markings, 20880325 edges, 16827 markings/sec, 205 secs
lola: 3506489 markings, 21406418 edges, 16916 markings/sec, 210 secs
lola: 3593470 markings, 21905026 edges, 17396 markings/sec, 215 secs
lola: 3678383 markings, 22406717 edges, 16983 markings/sec, 220 secs
lola: 3764431 markings, 22918815 edges, 17210 markings/sec, 225 secs
lola: 3849309 markings, 23450398 edges, 16976 markings/sec, 230 secs
lola: 3931377 markings, 23964197 edges, 16414 markings/sec, 235 secs
lola: 4012554 markings, 24429928 edges, 16235 markings/sec, 240 secs
lola: 4093604 markings, 24898569 edges, 16210 markings/sec, 245 secs
lola: 4171526 markings, 25364457 edges, 15584 markings/sec, 250 secs
lola: 4248802 markings, 25824535 edges, 15455 markings/sec, 255 secs
lola: 4327129 markings, 26322704 edges, 15665 markings/sec, 260 secs
lola: 4405707 markings, 26798786 edges, 15716 markings/sec, 265 secs
lola: 4485698 markings, 27244588 edges, 15998 markings/sec, 270 secs
lola: 4561961 markings, 27744267 edges, 15253 markings/sec, 275 secs
lola: 4638972 markings, 28240093 edges, 15402 markings/sec, 280 secs
lola: 4717416 markings, 28691387 edges, 15689 markings/sec, 285 secs
lola: 4794558 markings, 29169110 edges, 15428 markings/sec, 290 secs
lola: 4871973 markings, 29650644 edges, 15483 markings/sec, 295 secs
lola: 4948728 markings, 30136736 edges, 15351 markings/sec, 300 secs
lola: 5024348 markings, 30635113 edges, 15124 markings/sec, 305 secs
lola: 5100171 markings, 31103262 edges, 15165 markings/sec, 310 secs
lola: 5182442 markings, 31598017 edges, 16454 markings/sec, 315 secs
lola: 5259665 markings, 32060876 edges, 15445 markings/sec, 320 secs
lola: 5336831 markings, 32526397 edges, 15433 markings/sec, 325 secs
lola: 5414930 markings, 32985820 edges, 15620 markings/sec, 330 secs
lola: 5497968 markings, 33494271 edges, 16608 markings/sec, 335 secs
lola: 5581350 markings, 34035809 edges, 16676 markings/sec, 340 secs
lola: 5664824 markings, 34542140 edges, 16695 markings/sec, 345 secs
lola: 5748325 markings, 35067352 edges, 16700 markings/sec, 350 secs
lola: 5827117 markings, 35574434 edges, 15758 markings/sec, 355 secs
lola: 5904963 markings, 36041849 edges, 15569 markings/sec, 360 secs
lola: 5982549 markings, 36487953 edges, 15517 markings/sec, 365 secs
lola: 6065521 markings, 36964716 edges, 16594 markings/sec, 370 secs
lola: 6150502 markings, 37467159 edges, 16996 markings/sec, 375 secs
lola: 6233627 markings, 37965199 edges, 16625 markings/sec, 380 secs
lola: 6317479 markings, 38471684 edges, 16770 markings/sec, 385 secs
lola: 6402143 markings, 38982748 edges, 16933 markings/sec, 390 secs
lola: 6487783 markings, 39474142 edges, 17128 markings/sec, 395 secs
lola: 6572723 markings, 39978311 edges, 16988 markings/sec, 400 secs
lola: 6656817 markings, 40473933 edges, 16819 markings/sec, 405 secs
lola: 6738382 markings, 40972738 edges, 16313 markings/sec, 410 secs
lola: 6818207 markings, 41450531 edges, 15965 markings/sec, 415 secs
lola: 6900760 markings, 41940218 edges, 16511 markings/sec, 420 secs
lola: 6983664 markings, 42448319 edges, 16581 markings/sec, 425 secs
lola: 7066838 markings, 42957011 edges, 16635 markings/sec, 430 secs
lola: 7150213 markings, 43461637 edges, 16675 markings/sec, 435 secs
lola: 7229072 markings, 43928271 edges, 15772 markings/sec, 440 secs
lola: 7305933 markings, 44404559 edges, 15372 markings/sec, 445 secs
lola: 7383375 markings, 44868519 edges, 15488 markings/sec, 450 secs
lola: 7461583 markings, 45301803 edges, 15642 markings/sec, 455 secs
lola: 7539027 markings, 45765317 edges, 15489 markings/sec, 460 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 469 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 12 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: 72854 markings, 556436 edges, 14571 markings/sec, 0 secs
lola: 148238 markings, 1135660 edges, 15077 markings/sec, 5 secs
lola: 225940 markings, 1725339 edges, 15540 markings/sec, 10 secs
lola: 303111 markings, 2321010 edges, 15434 markings/sec, 15 secs
lola: 375704 markings, 2894114 edges, 14519 markings/sec, 20 secs
lola: 448086 markings, 3476516 edges, 14476 markings/sec, 25 secs
lola: 523996 markings, 4103206 edges, 15182 markings/sec, 30 secs
lola: 602366 markings, 4712019 edges, 15674 markings/sec, 35 secs
lola: 681768 markings, 5344040 edges, 15880 markings/sec, 40 secs
lola: 760668 markings, 5975313 edges, 15780 markings/sec, 45 secs
lola: 835894 markings, 6566449 edges, 15045 markings/sec, 50 secs
lola: 908580 markings, 7132334 edges, 14537 markings/sec, 55 secs
lola: 980926 markings, 7721321 edges, 14469 markings/sec, 60 secs
lola: 1056953 markings, 8308388 edges, 15205 markings/sec, 65 secs
lola: 1134891 markings, 8929341 edges, 15588 markings/sec, 70 secs
lola: 1210710 markings, 9544555 edges, 15164 markings/sec, 75 secs
lola: 1289080 markings, 10192868 edges, 15674 markings/sec, 80 secs
lola: 1369357 markings, 10809222 edges, 16055 markings/sec, 85 secs
lola: 1450157 markings, 11444889 edges, 16160 markings/sec, 90 secs
lola: 1529761 markings, 12070892 edges, 15921 markings/sec, 95 secs
lola: 1607248 markings, 12690911 edges, 15497 markings/sec, 100 secs
lola: 1684254 markings, 13300554 edges, 15401 markings/sec, 105 secs
lola: 1762354 markings, 13916246 edges, 15620 markings/sec, 110 secs
lola: 1836088 markings, 14511958 edges, 14747 markings/sec, 115 secs
lola: 1908548 markings, 15083851 edges, 14492 markings/sec, 120 secs
lola: 1981713 markings, 15674403 edges, 14633 markings/sec, 125 secs
lola: 2054376 markings, 16255860 edges, 14533 markings/sec, 130 secs
lola: 2129288 markings, 16881495 edges, 14982 markings/sec, 135 secs
lola: 2205932 markings, 17468645 edges, 15329 markings/sec, 140 secs
lola: 2281199 markings, 18070458 edges, 15053 markings/sec, 145 secs
lola: 2356499 markings, 18689658 edges, 15060 markings/sec, 150 secs
lola: 2433005 markings, 19317457 edges, 15301 markings/sec, 155 secs
lola: 2510066 markings, 19952059 edges, 15412 markings/sec, 160 secs
lola: 2585611 markings, 20550487 edges, 15109 markings/sec, 165 secs
lola: 2656794 markings, 21114962 edges, 14237 markings/sec, 170 secs
lola: 2729219 markings, 21713654 edges, 14485 markings/sec, 175 secs
lola: 2805519 markings, 22322729 edges, 15260 markings/sec, 180 secs
lola: 2882348 markings, 22947008 edges, 15366 markings/sec, 185 secs
lola: 2959752 markings, 23563326 edges, 15481 markings/sec, 190 secs
lola: 3035654 markings, 24189868 edges, 15180 markings/sec, 195 secs
lola: 3113067 markings, 24779170 edges, 15483 markings/sec, 200 secs
lola: 3187951 markings, 25390490 edges, 14977 markings/sec, 205 secs
lola: 3265941 markings, 26048962 edges, 15598 markings/sec, 210 secs
lola: 3344360 markings, 26686698 edges, 15684 markings/sec, 215 secs
lola: 3422965 markings, 27327486 edges, 15721 markings/sec, 220 secs
lola: 3501868 markings, 27975205 edges, 15781 markings/sec, 225 secs
lola: 3581992 markings, 28596409 edges, 16025 markings/sec, 230 secs
lola: 3661195 markings, 29232496 edges, 15841 markings/sec, 235 secs
lola: 3739821 markings, 29870384 edges, 15725 markings/sec, 240 secs
lola: 3817232 markings, 30464303 edges, 15482 markings/sec, 245 secs
lola: 3895343 markings, 31073262 edges, 15622 markings/sec, 250 secs
lola: 3974477 markings, 31679319 edges, 15827 markings/sec, 255 secs
lola: 4054155 markings, 32311749 edges, 15936 markings/sec, 260 secs
lola: 4134009 markings, 32938474 edges, 15971 markings/sec, 265 secs
lola: 4213879 markings, 33559147 edges, 15974 markings/sec, 270 secs
lola: 4293349 markings, 34187929 edges, 15894 markings/sec, 275 secs
lola: 4372445 markings, 34817574 edges, 15819 markings/sec, 280 secs
lola: 4452631 markings, 35428618 edges, 16037 markings/sec, 285 secs
lola: 4532146 markings, 36052230 edges, 15903 markings/sec, 290 secs
lola: 4610735 markings, 36682972 edges, 15718 markings/sec, 295 secs
lola: 4687062 markings, 37316670 edges, 15265 markings/sec, 300 secs
lola: 4765808 markings, 37954201 edges, 15749 markings/sec, 305 secs
lola: 4842996 markings, 38569923 edges, 15438 markings/sec, 310 secs
lola: 4921015 markings, 39189078 edges, 15604 markings/sec, 315 secs
lola: 4999350 markings, 39820503 edges, 15667 markings/sec, 320 secs
lola: 5075741 markings, 40431186 edges, 15278 markings/sec, 325 secs
lola: 5155035 markings, 41032567 edges, 15859 markings/sec, 330 secs
lola: 5234384 markings, 41653688 edges, 15870 markings/sec, 335 secs
lola: 5314852 markings, 42268795 edges, 16094 markings/sec, 340 secs
lola: 5392970 markings, 42906419 edges, 15624 markings/sec, 345 secs
lola: 5471054 markings, 43547552 edges, 15617 markings/sec, 350 secs
lola: 5549226 markings, 44176251 edges, 15634 markings/sec, 355 secs
lola: 5626610 markings, 44838782 edges, 15477 markings/sec, 360 secs
lola: 5704867 markings, 45472282 edges, 15651 markings/sec, 365 secs
lola: 5782678 markings, 46095292 edges, 15562 markings/sec, 370 secs
lola: 5861246 markings, 46707322 edges, 15714 markings/sec, 375 secs
lola: 5938765 markings, 47332702 edges, 15504 markings/sec, 380 secs
lola: 6016425 markings, 47961448 edges, 15532 markings/sec, 385 secs
lola: 6088822 markings, 48536028 edges, 14479 markings/sec, 390 secs
lola: 6162311 markings, 49128290 edges, 14698 markings/sec, 395 secs
lola: 6237041 markings, 49719217 edges, 14946 markings/sec, 400 secs
lola: 6309354 markings, 50287839 edges, 14463 markings/sec, 405 secs
lola: 6385377 markings, 50892061 edges, 15205 markings/sec, 410 secs
lola: 6466175 markings, 51515246 edges, 16160 markings/sec, 415 secs
lola: 6547360 markings, 52139833 edges, 16237 markings/sec, 420 secs
lola: 6624555 markings, 52742304 edges, 15439 markings/sec, 425 secs
lola: 6696913 markings, 53304261 edges, 14472 markings/sec, 430 secs
lola: 6768977 markings, 53889302 edges, 14413 markings/sec, 435 secs
lola: 6844901 markings, 54482409 edges, 15185 markings/sec, 440 secs
lola: 6922182 markings, 55104658 edges, 15456 markings/sec, 445 secs
lola: 6998922 markings, 55735510 edges, 15348 markings/sec, 450 secs
lola: 7074679 markings, 56353786 edges, 15151 markings/sec, 455 secs
lola: 7154314 markings, 57010442 edges, 15927 markings/sec, 460 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 469 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p170)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 15 will run for 939 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 12 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: 145314 markings, 985472 edges, 29063 markings/sec, 0 secs
lola: 292012 markings, 1988522 edges, 29340 markings/sec, 5 secs
lola: 437515 markings, 2980114 edges, 29101 markings/sec, 10 secs
lola: 579499 markings, 3958762 edges, 28397 markings/sec, 15 secs
lola: 719573 markings, 4919672 edges, 28015 markings/sec, 20 secs
lola: 859887 markings, 5876502 edges, 28063 markings/sec, 25 secs
lola: 999656 markings, 6834590 edges, 27954 markings/sec, 30 secs
lola: 1139482 markings, 7799099 edges, 27965 markings/sec, 35 secs
lola: 1280477 markings, 8778313 edges, 28199 markings/sec, 40 secs
lola: 1420251 markings, 9738093 edges, 27955 markings/sec, 45 secs
lola: 1559327 markings, 10702599 edges, 27815 markings/sec, 50 secs
lola: 1701946 markings, 11692153 edges, 28524 markings/sec, 55 secs
lola: 1844061 markings, 12678484 edges, 28423 markings/sec, 60 secs
lola: 1986116 markings, 13666591 edges, 28411 markings/sec, 65 secs
lola: 2128364 markings, 14651894 edges, 28450 markings/sec, 70 secs
lola: 2268965 markings, 15633583 edges, 28120 markings/sec, 75 secs
lola: 2410008 markings, 16605024 edges, 28209 markings/sec, 80 secs
lola: 2551212 markings, 17582275 edges, 28241 markings/sec, 85 secs
lola: 2692764 markings, 18559226 edges, 28310 markings/sec, 90 secs
lola: 2833457 markings, 19534823 edges, 28139 markings/sec, 95 secs
lola: 2974888 markings, 20515054 edges, 28286 markings/sec, 100 secs
lola: 3115831 markings, 21492324 edges, 28189 markings/sec, 105 secs
lola: 3256306 markings, 22466123 edges, 28095 markings/sec, 110 secs
lola: 3394965 markings, 23432501 edges, 27732 markings/sec, 115 secs
lola: 3533327 markings, 24394249 edges, 27672 markings/sec, 120 secs
lola: 3672987 markings, 25365027 edges, 27932 markings/sec, 125 secs
lola: 3812508 markings, 26330671 edges, 27904 markings/sec, 130 secs
lola: 3953437 markings, 27310997 edges, 28186 markings/sec, 135 secs
lola: 4093094 markings, 28276556 edges, 27931 markings/sec, 140 secs
lola: 4228255 markings, 29216944 edges, 27032 markings/sec, 145 secs
lola: 4364073 markings, 30161890 edges, 27164 markings/sec, 150 secs
lola: 4501293 markings, 31116611 edges, 27444 markings/sec, 155 secs
lola: 4638063 markings, 32068403 edges, 27354 markings/sec, 160 secs
lola: 4772713 markings, 33012787 edges, 26930 markings/sec, 165 secs
lola: 4904018 markings, 33928625 edges, 26261 markings/sec, 170 secs
lola: 5042677 markings, 34900584 edges, 27732 markings/sec, 175 secs
lola: 5182006 markings, 35878869 edges, 27866 markings/sec, 180 secs
lola: 5322113 markings, 36849722 edges, 28021 markings/sec, 185 secs
lola: 5458655 markings, 37810968 edges, 27308 markings/sec, 190 secs
lola: 5594954 markings, 38772696 edges, 27260 markings/sec, 195 secs
lola: 5731233 markings, 39725413 edges, 27256 markings/sec, 200 secs
lola: 5868698 markings, 40691475 edges, 27493 markings/sec, 205 secs
lola: 5995807 markings, 41579838 edges, 25422 markings/sec, 210 secs
lola: 6119812 markings, 42442684 edges, 24801 markings/sec, 215 secs
lola: 6249121 markings, 43343136 edges, 25862 markings/sec, 220 secs
lola: 6380778 markings, 44268090 edges, 26331 markings/sec, 225 secs
lola: 6507815 markings, 45157928 edges, 25407 markings/sec, 230 secs
lola: 6634402 markings, 46047183 edges, 25317 markings/sec, 235 secs
lola: 6761193 markings, 46938338 edges, 25358 markings/sec, 240 secs
lola: 6888725 markings, 47833317 edges, 25506 markings/sec, 245 secs
lola: 7017686 markings, 48736058 edges, 25792 markings/sec, 250 secs
lola: 7145694 markings, 49633168 edges, 25602 markings/sec, 255 secs
lola: 7273033 markings, 50525732 edges, 25468 markings/sec, 260 secs
lola: 7400906 markings, 51418702 edges, 25575 markings/sec, 265 secs
lola: 7528510 markings, 52311334 edges, 25521 markings/sec, 270 secs
lola: 7665039 markings, 53272602 edges, 27306 markings/sec, 275 secs
lola: 7803542 markings, 54250005 edges, 27701 markings/sec, 280 secs
lola: 7938723 markings, 55194090 edges, 27036 markings/sec, 285 secs
lola: 8073217 markings, 56141021 edges, 26899 markings/sec, 290 secs
lola: 8208328 markings, 57098064 edges, 27022 markings/sec, 295 secs
lola: 8345414 markings, 58059246 edges, 27417 markings/sec, 300 secs
lola: 8479845 markings, 58996178 edges, 26886 markings/sec, 305 secs
lola: 8618202 markings, 59966048 edges, 27671 markings/sec, 310 secs
lola: 8755517 markings, 60936020 edges, 27463 markings/sec, 315 secs
lola: 8893419 markings, 61911206 edges, 27580 markings/sec, 320 secs
lola: 9032017 markings, 62889585 edges, 27720 markings/sec, 325 secs
lola: 9170012 markings, 63860001 edges, 27599 markings/sec, 330 secs
lola: 9307616 markings, 64836774 edges, 27521 markings/sec, 335 secs
lola: 9446169 markings, 65818435 edges, 27711 markings/sec, 340 secs
lola: 9581125 markings, 66750957 edges, 26991 markings/sec, 345 secs
lola: 9716174 markings, 67701884 edges, 27010 markings/sec, 350 secs
lola: 9847513 markings, 68623224 edges, 26268 markings/sec, 355 secs
lola: 9983291 markings, 69569003 edges, 27156 markings/sec, 360 secs
lola: 10115574 markings, 70498963 edges, 26457 markings/sec, 365 secs
lola: 10254108 markings, 71476812 edges, 27707 markings/sec, 370 secs
lola: 10389984 markings, 72439895 edges, 27175 markings/sec, 375 secs
lola: 10518603 markings, 73345588 edges, 25724 markings/sec, 380 secs
lola: 10644557 markings, 74230991 edges, 25191 markings/sec, 385 secs
lola: 10770021 markings, 75109900 edges, 25093 markings/sec, 390 secs
lola: 10902520 markings, 76045319 edges, 26500 markings/sec, 395 secs
lola: 11040723 markings, 77009523 edges, 27641 markings/sec, 400 secs
lola: 11177683 markings, 77967804 edges, 27392 markings/sec, 405 secs
lola: 11314340 markings, 78928665 edges, 27331 markings/sec, 410 secs
lola: 11451772 markings, 79890987 edges, 27486 markings/sec, 415 secs
lola: 11587984 markings, 80868227 edges, 27242 markings/sec, 420 secs
lola: 11723942 markings, 81832000 edges, 27192 markings/sec, 425 secs
lola: 11861004 markings, 82804750 edges, 27412 markings/sec, 430 secs
lola: 11998498 markings, 83777635 edges, 27499 markings/sec, 435 secs
lola: 12136415 markings, 84742663 edges, 27583 markings/sec, 440 secs
lola: 12271363 markings, 85696781 edges, 26990 markings/sec, 445 secs
lola: 12405144 markings, 86629806 edges, 26756 markings/sec, 450 secs
lola: 12540342 markings, 87579344 edges, 27040 markings/sec, 455 secs
lola: 12678035 markings, 88546731 edges, 27539 markings/sec, 460 secs
lola: 12815562 markings, 89516391 edges, 27505 markings/sec, 465 secs
lola: 12947302 markings, 90444962 edges, 26348 markings/sec, 470 secs
lola: 13083930 markings, 91402818 edges, 27326 markings/sec, 475 secs
lola: 13214749 markings, 92323453 edges, 26164 markings/sec, 480 secs
lola: 13348834 markings, 93273180 edges, 26817 markings/sec, 485 secs
lola: 13474561 markings, 94164944 edges, 25145 markings/sec, 490 secs
lola: 13600431 markings, 95050100 edges, 25174 markings/sec, 495 secs
lola: 13726773 markings, 95941680 edges, 25268 markings/sec, 500 secs
lola: 13864527 markings, 96914586 edges, 27551 markings/sec, 505 secs
lola: 14000867 markings, 97881196 edges, 27268 markings/sec, 510 secs
lola: 14137420 markings, 98845813 edges, 27311 markings/sec, 515 secs
lola: 14265930 markings, 99756392 edges, 25702 markings/sec, 520 secs
lola: 14392129 markings, 100631763 edges, 25240 markings/sec, 525 secs
lola: 14518497 markings, 101523053 edges, 25274 markings/sec, 530 secs
lola: 14648875 markings, 102449437 edges, 26076 markings/sec, 535 secs
lola: 14784581 markings, 103414973 edges, 27141 markings/sec, 540 secs
lola: 14920585 markings, 104377557 edges, 27201 markings/sec, 545 secs
lola: 15057378 markings, 105343216 edges, 27359 markings/sec, 550 secs
lola: 15193670 markings, 106299466 edges, 27258 markings/sec, 555 secs
lola: 15330400 markings, 107269709 edges, 27346 markings/sec, 560 secs
lola: 15455587 markings, 108151751 edges, 25037 markings/sec, 565 secs
lola: 15592693 markings, 109126482 edges, 27421 markings/sec, 570 secs
lola: 15731523 markings, 110103517 edges, 27766 markings/sec, 575 secs
lola: 15869911 markings, 111077227 edges, 27678 markings/sec, 580 secs
lola: 16006959 markings, 112043292 edges, 27410 markings/sec, 585 secs
lola: 16144024 markings, 113017511 edges, 27413 markings/sec, 590 secs
lola: 16280711 markings, 113988799 edges, 27337 markings/sec, 595 secs
lola: 16418315 markings, 114951940 edges, 27521 markings/sec, 600 secs
lola: 16553810 markings, 115909431 edges, 27099 markings/sec, 605 secs
lola: 16690009 markings, 116858462 edges, 27240 markings/sec, 610 secs
lola: 16827074 markings, 117821558 edges, 27413 markings/sec, 615 secs
lola: 16964103 markings, 118802535 edges, 27406 markings/sec, 620 secs
lola: 17101024 markings, 119764926 edges, 27384 markings/sec, 625 secs
lola: 17226896 markings, 120661994 edges, 25174 markings/sec, 630 secs
lola: 17356378 markings, 121581966 edges, 25896 markings/sec, 635 secs
lola: 17492776 markings, 122533920 edges, 27280 markings/sec, 640 secs
lola: 17629255 markings, 123487014 edges, 27296 markings/sec, 645 secs
lola: 17762555 markings, 124434813 edges, 26660 markings/sec, 650 secs
lola: 17899032 markings, 125396607 edges, 27295 markings/sec, 655 secs
lola: 18036022 markings, 126368977 edges, 27398 markings/sec, 660 secs
lola: 18173967 markings, 127341406 edges, 27589 markings/sec, 665 secs
lola: 18311814 markings, 128325164 edges, 27569 markings/sec, 670 secs
lola: 18448607 markings, 129299610 edges, 27359 markings/sec, 675 secs
lola: 18586365 markings, 130277182 edges, 27552 markings/sec, 680 secs
lola: 18723015 markings, 131237511 edges, 27330 markings/sec, 685 secs
lola: 18858881 markings, 132211134 edges, 27173 markings/sec, 690 secs
lola: 18995096 markings, 133181528 edges, 27243 markings/sec, 695 secs
lola: 19132144 markings, 134152017 edges, 27410 markings/sec, 700 secs
lola: 19270756 markings, 135129670 edges, 27722 markings/sec, 705 secs
lola: 19409004 markings, 136113913 edges, 27650 markings/sec, 710 secs
lola: 19546476 markings, 137077869 edges, 27494 markings/sec, 715 secs
lola: 19682675 markings, 138042019 edges, 27240 markings/sec, 720 secs
lola: 19819771 markings, 139020365 edges, 27419 markings/sec, 725 secs
lola: 19957588 markings, 139995981 edges, 27563 markings/sec, 730 secs
lola: 20095415 markings, 140968383 edges, 27565 markings/sec, 735 secs
lola: 20233343 markings, 141933628 edges, 27586 markings/sec, 740 secs
lola: 20370267 markings, 142901324 edges, 27385 markings/sec, 745 secs
lola: 20507649 markings, 143868445 edges, 27476 markings/sec, 750 secs
lola: 20644494 markings, 144842435 edges, 27369 markings/sec, 755 secs
lola: 20783163 markings, 145809556 edges, 27734 markings/sec, 760 secs
lola: 20919264 markings, 146792050 edges, 27220 markings/sec, 765 secs
lola: 21056536 markings, 147774497 edges, 27454 markings/sec, 770 secs
lola: 21196181 markings, 148757729 edges, 27929 markings/sec, 775 secs
lola: 21334532 markings, 149743002 edges, 27670 markings/sec, 780 secs
lola: 21469739 markings, 150710102 edges, 27041 markings/sec, 785 secs
lola: 21607737 markings, 151681704 edges, 27600 markings/sec, 790 secs
lola: 21744531 markings, 152653383 edges, 27359 markings/sec, 795 secs
lola: 21879582 markings, 153608092 edges, 27010 markings/sec, 800 secs
lola: 22016528 markings, 154588839 edges, 27389 markings/sec, 805 secs
lola: 22152873 markings, 155566278 edges, 27269 markings/sec, 810 secs
lola: 22289197 markings, 156531983 edges, 27265 markings/sec, 815 secs
lola: 22416773 markings, 157441625 edges, 25515 markings/sec, 820 secs
lola: 22554288 markings, 158411357 edges, 27503 markings/sec, 825 secs
lola: 22691697 markings, 159378384 edges, 27482 markings/sec, 830 secs
lola: 22828285 markings, 160346051 edges, 27318 markings/sec, 835 secs
lola: 22961770 markings, 161302891 edges, 26697 markings/sec, 840 secs
lola: 23092742 markings, 162229540 edges, 26194 markings/sec, 845 secs
lola: 23219442 markings, 163117276 edges, 25340 markings/sec, 850 secs
lola: 23354492 markings, 164080849 edges, 27010 markings/sec, 855 secs
lola: 23491719 markings, 165054756 edges, 27445 markings/sec, 860 secs
lola: 23626907 markings, 166015842 edges, 27038 markings/sec, 865 secs
lola: 23762216 markings, 166978526 edges, 27062 markings/sec, 870 secs
lola: 23890068 markings, 167868839 edges, 25570 markings/sec, 875 secs
lola: 24026377 markings, 168826208 edges, 27262 markings/sec, 880 secs
lola: 24162094 markings, 169782747 edges, 27143 markings/sec, 885 secs
lola: 24298150 markings, 170752564 edges, 27211 markings/sec, 890 secs
lola: 24434001 markings, 171707312 edges, 27170 markings/sec, 895 secs
lola: 24569332 markings, 172671467 edges, 27066 markings/sec, 900 secs
lola: 24704022 markings, 173634504 edges, 26938 markings/sec, 905 secs
lola: 24838906 markings, 174590579 edges, 26977 markings/sec, 910 secs
lola: 24973282 markings, 175546323 edges, 26875 markings/sec, 915 secs
lola: 25108382 markings, 176500661 edges, 27020 markings/sec, 920 secs
lola: 25246233 markings, 177478067 edges, 27570 markings/sec, 925 secs
lola: 25384639 markings, 178462024 edges, 27681 markings/sec, 930 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown 1 unknown unknown unknown unknown 1 unknown 1 1 1 unknown unknown 1
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA DLCround-PT-06a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06a-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06a-UpperBounds-7 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06a-UpperBounds-9 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06a-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06a-UpperBounds-11 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06a-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-06a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496542023673

--------------------
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="DLCround-PT-06a"
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/DLCround-PT-06a.tgz
mv DLCround-PT-06a 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 DLCround-PT-06a, 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 r178-csrt-149580961700254"
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 ;