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 FlexibleBarrier-PT-10b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r188-blw3-149581034200065
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496485006774


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
FlexibleBarrier-PT-10b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
FlexibleBarrier-PT-10b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ FlexibleBarrier-PT-10b @ 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: 3015/65536 symbol table entries, 6 collisions
lola: preprocessing...
lola: finding significant places
lola: 1402 places, 1613 transitions, 1390 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1635 transition conflict sets
lola: TASK
lola: reading formula from FlexibleBarrier-PT-10b-UpperBounds.task
lola: MAX(p821) : MAX(p172) : MAX(p446) : MAX(p351) : MAX(p807) : MAX(p903) : MAX(p501) : MAX(p1325) : MAX(p505) : MAX(p707) : MAX(p193) : MAX(p114) : MAX(p1195) : MAX(p496) : MAX(p1292) : MAX(p53)
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(p821)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 176 bytes per marking, with 18 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: 177407 markings, 288416 edges, 35481 markings/sec, 0 secs
lola: 356946 markings, 597423 edges, 35908 markings/sec, 5 secs
lola: 540020 markings, 1038195 edges, 36615 markings/sec, 10 secs
lola: 700016 markings, 1514009 edges, 31999 markings/sec, 15 secs
lola: 861095 markings, 1994728 edges, 32216 markings/sec, 20 secs
lola: 1019830 markings, 2468618 edges, 31747 markings/sec, 25 secs
lola: 1179828 markings, 2945833 edges, 32000 markings/sec, 30 secs
lola: 1340431 markings, 3424577 edges, 32121 markings/sec, 35 secs
lola: 1497568 markings, 3895781 edges, 31427 markings/sec, 40 secs
lola: 1654555 markings, 4365263 edges, 31397 markings/sec, 45 secs
lola: 1812394 markings, 4836926 edges, 31568 markings/sec, 50 secs
lola: 1974903 markings, 5322184 edges, 32502 markings/sec, 55 secs
lola: 2111333 markings, 5739617 edges, 27286 markings/sec, 60 secs
lola: 2269740 markings, 6213740 edges, 31681 markings/sec, 65 secs
lola: 2427214 markings, 6683979 edges, 31495 markings/sec, 70 secs
lola: 2582898 markings, 7152460 edges, 31137 markings/sec, 75 secs
lola: 2745758 markings, 7621898 edges, 32572 markings/sec, 80 secs
lola: 2938452 markings, 8135782 edges, 38539 markings/sec, 85 secs
lola: 3131033 markings, 8647666 edges, 38516 markings/sec, 90 secs
lola: 3319262 markings, 9144449 edges, 37646 markings/sec, 95 secs
lola: 3470718 markings, 9544498 edges, 30291 markings/sec, 100 secs
lola: 3653357 markings, 10029502 edges, 36528 markings/sec, 105 secs
lola: 3836429 markings, 10515586 edges, 36614 markings/sec, 110 secs
lola: 3996089 markings, 10933923 edges, 31932 markings/sec, 115 secs
lola: 4157192 markings, 11386141 edges, 32221 markings/sec, 120 secs
lola: 4330120 markings, 11846490 edges, 34586 markings/sec, 125 secs
lola: 4490519 markings, 12325152 edges, 32080 markings/sec, 130 secs
lola: 4651415 markings, 12804317 edges, 32179 markings/sec, 135 secs
lola: 4816505 markings, 13291177 edges, 33018 markings/sec, 140 secs
lola: 4980308 markings, 13778102 edges, 32761 markings/sec, 145 secs
lola: 5144323 markings, 14266107 edges, 32803 markings/sec, 150 secs
lola: 5284872 markings, 14695523 edges, 28110 markings/sec, 155 secs
lola: 5449021 markings, 15183350 edges, 32830 markings/sec, 160 secs
lola: 5611492 markings, 15668484 edges, 32494 markings/sec, 165 secs
lola: 5774361 markings, 16151657 edges, 32574 markings/sec, 170 secs
lola: 5908850 markings, 16568734 edges, 26898 markings/sec, 175 secs
lola: 6065935 markings, 17031610 edges, 31417 markings/sec, 180 secs
lola: 6245875 markings, 17466578 edges, 35988 markings/sec, 185 secs
lola: 6405631 markings, 17920875 edges, 31951 markings/sec, 190 secs
lola: 6565752 markings, 18363483 edges, 32024 markings/sec, 195 secs
lola: 6741259 markings, 18837637 edges, 35101 markings/sec, 200 secs
lola: 6899427 markings, 19306503 edges, 31634 markings/sec, 205 secs
lola: 7064129 markings, 19782208 edges, 32940 markings/sec, 210 secs
lola: 7240145 markings, 20276773 edges, 35203 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(p172)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 176 bytes per marking, with 18 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: 167881 markings, 390064 edges, 33576 markings/sec, 0 secs
lola: 333444 markings, 775160 edges, 33113 markings/sec, 5 secs
lola: 498343 markings, 1158976 edges, 32980 markings/sec, 10 secs
lola: 662248 markings, 1540871 edges, 32781 markings/sec, 15 secs
lola: 827916 markings, 1923282 edges, 33134 markings/sec, 20 secs
lola: 993451 markings, 2306228 edges, 33107 markings/sec, 25 secs
lola: 1159336 markings, 2689888 edges, 33177 markings/sec, 30 secs
lola: 1325177 markings, 3074140 edges, 33168 markings/sec, 35 secs
lola: 1490432 markings, 3456164 edges, 33051 markings/sec, 40 secs
lola: 1656260 markings, 3840032 edges, 33166 markings/sec, 45 secs
lola: 1818391 markings, 4216522 edges, 32426 markings/sec, 50 secs
lola: 1978384 markings, 4587472 edges, 31999 markings/sec, 55 secs
lola: 2138586 markings, 4958709 edges, 32040 markings/sec, 60 secs
lola: 2298254 markings, 5331983 edges, 31934 markings/sec, 65 secs
lola: 2457334 markings, 5703671 edges, 31816 markings/sec, 70 secs
lola: 2617223 markings, 6077193 edges, 31978 markings/sec, 75 secs
lola: 2776507 markings, 6449406 edges, 31857 markings/sec, 80 secs
lola: 2936398 markings, 6823461 edges, 31978 markings/sec, 85 secs
lola: 3088795 markings, 7222095 edges, 30479 markings/sec, 90 secs
lola: 3228710 markings, 7672969 edges, 27983 markings/sec, 95 secs
lola: 3369854 markings, 8109304 edges, 28229 markings/sec, 100 secs
lola: 3510885 markings, 8548336 edges, 28206 markings/sec, 105 secs
lola: 3649973 markings, 8994784 edges, 27818 markings/sec, 110 secs
lola: 3793519 markings, 9435266 edges, 28709 markings/sec, 115 secs
lola: 3926919 markings, 9875398 edges, 26680 markings/sec, 120 secs
lola: 4062434 markings, 10286853 edges, 27103 markings/sec, 125 secs
lola: 4199538 markings, 10714182 edges, 27421 markings/sec, 130 secs
lola: 4309815 markings, 11067482 edges, 22055 markings/sec, 135 secs
lola: 4443849 markings, 11489408 edges, 26807 markings/sec, 140 secs
lola: 4580742 markings, 11911172 edges, 27379 markings/sec, 145 secs
lola: 4721369 markings, 12326167 edges, 28125 markings/sec, 150 secs
lola: 4868929 markings, 12744299 edges, 29512 markings/sec, 155 secs
lola: 5004596 markings, 13204419 edges, 27133 markings/sec, 160 secs
lola: 5131604 markings, 13743265 edges, 25402 markings/sec, 165 secs
lola: 5285745 markings, 14175898 edges, 30828 markings/sec, 170 secs
lola: 5433123 markings, 14634978 edges, 29476 markings/sec, 175 secs
lola: 5559149 markings, 15173518 edges, 25205 markings/sec, 180 secs
lola: 5691945 markings, 15682446 edges, 26559 markings/sec, 185 secs
lola: 5820123 markings, 16218515 edges, 25636 markings/sec, 190 secs
lola: 5946633 markings, 16750839 edges, 25302 markings/sec, 195 secs
lola: 6072530 markings, 17279066 edges, 25179 markings/sec, 200 secs
lola: 6196802 markings, 17802677 edges, 24854 markings/sec, 205 secs
lola: 6322016 markings, 18328964 edges, 25043 markings/sec, 210 secs
lola: 6440221 markings, 18854769 edges, 23641 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(p446)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 176 bytes per marking, with 18 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: 153854 markings, 344150 edges, 30771 markings/sec, 0 secs
lola: 300946 markings, 683811 edges, 29418 markings/sec, 5 secs
lola: 444733 markings, 1020964 edges, 28757 markings/sec, 10 secs
lola: 587934 markings, 1358143 edges, 28640 markings/sec, 15 secs
lola: 728103 markings, 1694025 edges, 28034 markings/sec, 20 secs
lola: 870598 markings, 2038255 edges, 28499 markings/sec, 25 secs
lola: 1011926 markings, 2373038 edges, 28266 markings/sec, 30 secs
lola: 1148839 markings, 2686623 edges, 27383 markings/sec, 35 secs
lola: 1281956 markings, 2985495 edges, 26623 markings/sec, 40 secs
lola: 1424290 markings, 3319446 edges, 28467 markings/sec, 45 secs
lola: 1566444 markings, 3654322 edges, 28431 markings/sec, 50 secs
lola: 1708666 markings, 3995494 edges, 28444 markings/sec, 55 secs
lola: 1848957 markings, 4334044 edges, 28058 markings/sec, 60 secs
lola: 1989998 markings, 4669702 edges, 28208 markings/sec, 65 secs
lola: 2133145 markings, 5002325 edges, 28629 markings/sec, 70 secs
lola: 2272702 markings, 5312665 edges, 27911 markings/sec, 75 secs
lola: 2407632 markings, 5626727 edges, 26986 markings/sec, 80 secs
lola: 2554331 markings, 5971686 edges, 29340 markings/sec, 85 secs
lola: 2699013 markings, 6314823 edges, 28936 markings/sec, 90 secs
lola: 2841069 markings, 6658640 edges, 28411 markings/sec, 95 secs
lola: 2986778 markings, 7005047 edges, 29142 markings/sec, 100 secs
lola: 3132694 markings, 7354158 edges, 29183 markings/sec, 105 secs
lola: 3271214 markings, 7661004 edges, 27704 markings/sec, 110 secs
lola: 3403233 markings, 7973751 edges, 26404 markings/sec, 115 secs
lola: 3521241 markings, 8286014 edges, 23602 markings/sec, 120 secs
lola: 3647093 markings, 8638402 edges, 25170 markings/sec, 125 secs
lola: 3779924 markings, 9021936 edges, 26566 markings/sec, 130 secs
lola: 3910752 markings, 9420291 edges, 26166 markings/sec, 135 secs
lola: 4033695 markings, 9867791 edges, 24589 markings/sec, 140 secs
lola: 4155675 markings, 10333574 edges, 24396 markings/sec, 145 secs
lola: 4274953 markings, 10803865 edges, 23856 markings/sec, 150 secs
lola: 4390359 markings, 11244666 edges, 23081 markings/sec, 155 secs
lola: 4500401 markings, 11664950 edges, 22008 markings/sec, 160 secs
lola: 4625668 markings, 12098229 edges, 25053 markings/sec, 165 secs
lola: 4751499 markings, 12526054 edges, 25166 markings/sec, 170 secs
lola: 4877361 markings, 12959416 edges, 25172 markings/sec, 175 secs
lola: 5006032 markings, 13407341 edges, 25734 markings/sec, 180 secs
lola: 5134019 markings, 13854501 edges, 25597 markings/sec, 185 secs
lola: 5260695 markings, 14290326 edges, 25335 markings/sec, 190 secs
lola: 5381176 markings, 14700886 edges, 24096 markings/sec, 195 secs
lola: 5494967 markings, 15117198 edges, 22758 markings/sec, 200 secs
lola: 5612845 markings, 15599737 edges, 23576 markings/sec, 205 secs
lola: 5731257 markings, 16079820 edges, 23682 markings/sec, 210 secs
lola: 5849547 markings, 16561612 edges, 23658 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(p351)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 176 bytes per marking, with 18 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: 155180 markings, 357996 edges, 31036 markings/sec, 0 secs
lola: 310057 markings, 701175 edges, 30975 markings/sec, 5 secs
lola: 454309 markings, 1032016 edges, 28850 markings/sec, 10 secs
lola: 592376 markings, 1356721 edges, 27613 markings/sec, 15 secs
lola: 742634 markings, 1708878 edges, 30052 markings/sec, 20 secs
lola: 891034 markings, 2062709 edges, 29680 markings/sec, 25 secs
lola: 1030514 markings, 2399415 edges, 27896 markings/sec, 30 secs
lola: 1172004 markings, 2709352 edges, 28298 markings/sec, 35 secs
lola: 1323489 markings, 3057853 edges, 30297 markings/sec, 40 secs
lola: 1473776 markings, 3410065 edges, 30057 markings/sec, 45 secs
lola: 1622660 markings, 3760354 edges, 29777 markings/sec, 50 secs
lola: 1772768 markings, 4109201 edges, 30022 markings/sec, 55 secs
lola: 1920386 markings, 4467580 edges, 29524 markings/sec, 60 secs
lola: 2069982 markings, 4822467 edges, 29919 markings/sec, 65 secs
lola: 2214213 markings, 5139306 edges, 28846 markings/sec, 70 secs
lola: 2354323 markings, 5461480 edges, 28022 markings/sec, 75 secs
lola: 2505648 markings, 5816104 edges, 30265 markings/sec, 80 secs
lola: 2657597 markings, 6171738 edges, 30390 markings/sec, 85 secs
lola: 2809524 markings, 6527101 edges, 30385 markings/sec, 90 secs
lola: 2958465 markings, 6888857 edges, 29788 markings/sec, 95 secs
lola: 3109833 markings, 7246382 edges, 30274 markings/sec, 100 secs
lola: 3245029 markings, 7653747 edges, 27039 markings/sec, 105 secs
lola: 3376467 markings, 8060308 edges, 26288 markings/sec, 110 secs
lola: 3505364 markings, 8468271 edges, 25779 markings/sec, 115 secs
lola: 3634394 markings, 8880522 edges, 25806 markings/sec, 120 secs
lola: 3764676 markings, 9284936 edges, 26056 markings/sec, 125 secs
lola: 3888145 markings, 9669889 edges, 24694 markings/sec, 130 secs
lola: 4007940 markings, 10048793 edges, 23959 markings/sec, 135 secs
lola: 4137553 markings, 10462844 edges, 25923 markings/sec, 140 secs
lola: 4269830 markings, 10873275 edges, 26455 markings/sec, 145 secs
lola: 4402190 markings, 11287911 edges, 26472 markings/sec, 150 secs
lola: 4532033 markings, 11713499 edges, 25969 markings/sec, 155 secs
lola: 4662470 markings, 12110766 edges, 26087 markings/sec, 160 secs
lola: 4796225 markings, 12498875 edges, 26751 markings/sec, 165 secs
lola: 4923923 markings, 12856444 edges, 25540 markings/sec, 170 secs
lola: 5044255 markings, 13208701 edges, 24066 markings/sec, 175 secs
lola: 5167235 markings, 13684503 edges, 24596 markings/sec, 180 secs
lola: 5292588 markings, 14156982 edges, 25071 markings/sec, 185 secs
lola: 5432802 markings, 14568557 edges, 28043 markings/sec, 190 secs
lola: 5567342 markings, 14999895 edges, 26908 markings/sec, 195 secs
lola: 5683859 markings, 15510434 edges, 23303 markings/sec, 200 secs
lola: 5809256 markings, 15990887 edges, 25079 markings/sec, 205 secs
lola: 5923518 markings, 16461163 edges, 22852 markings/sec, 210 secs
lola: 6033720 markings, 16929489 edges, 22040 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(p807)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 176 bytes per marking, with 18 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: 161474 markings, 394428 edges, 32295 markings/sec, 0 secs
lola: 291884 markings, 839831 edges, 26082 markings/sec, 5 secs
lola: 411788 markings, 1266350 edges, 23981 markings/sec, 10 secs
lola: 552684 markings, 1670737 edges, 28179 markings/sec, 15 secs
lola: 674582 markings, 2167215 edges, 24380 markings/sec, 20 secs
lola: 822342 markings, 2571406 edges, 29552 markings/sec, 25 secs
lola: 931004 markings, 3025279 edges, 21732 markings/sec, 30 secs
lola: 1078866 markings, 3429982 edges, 29572 markings/sec, 35 secs
lola: 1242615 markings, 3847980 edges, 32750 markings/sec, 40 secs
lola: 1403323 markings, 4265030 edges, 32142 markings/sec, 45 secs
lola: 1549473 markings, 4716589 edges, 29230 markings/sec, 50 secs
lola: 1681335 markings, 5242166 edges, 26372 markings/sec, 55 secs
lola: 1810083 markings, 5770317 edges, 25750 markings/sec, 60 secs
lola: 1961219 markings, 6199450 edges, 30227 markings/sec, 65 secs
lola: 2110575 markings, 6612822 edges, 29871 markings/sec, 70 secs
lola: 2239410 markings, 7121844 edges, 25767 markings/sec, 75 secs
lola: 2364530 markings, 7656502 edges, 25024 markings/sec, 80 secs
lola: 2507967 markings, 8101435 edges, 28687 markings/sec, 85 secs
lola: 2649395 markings, 8468893 edges, 28286 markings/sec, 90 secs
lola: 2777484 markings, 8956302 edges, 25618 markings/sec, 95 secs
lola: 2903999 markings, 9480157 edges, 25303 markings/sec, 100 secs
lola: 3038098 markings, 9962758 edges, 26820 markings/sec, 105 secs
lola: 3195104 markings, 10369732 edges, 31401 markings/sec, 110 secs
lola: 3337698 markings, 10823593 edges, 28519 markings/sec, 115 secs
lola: 3468059 markings, 11341416 edges, 26072 markings/sec, 120 secs
lola: 3594938 markings, 11860629 edges, 25376 markings/sec, 125 secs
lola: 3732107 markings, 12249695 edges, 27434 markings/sec, 130 secs
lola: 3876226 markings, 12636122 edges, 28824 markings/sec, 135 secs
lola: 4006883 markings, 13147308 edges, 26131 markings/sec, 140 secs
lola: 4132738 markings, 13685745 edges, 25171 markings/sec, 145 secs
lola: 4274322 markings, 14142882 edges, 28317 markings/sec, 150 secs
lola: 4431744 markings, 14547923 edges, 31484 markings/sec, 155 secs
lola: 4564337 markings, 15052537 edges, 26519 markings/sec, 160 secs
lola: 4693160 markings, 15591994 edges, 25765 markings/sec, 165 secs
lola: 4814484 markings, 16024578 edges, 24265 markings/sec, 170 secs
lola: 4968795 markings, 16427251 edges, 30862 markings/sec, 175 secs
lola: 5111867 markings, 16864664 edges, 28614 markings/sec, 180 secs
lola: 5240657 markings, 17374947 edges, 25758 markings/sec, 185 secs
lola: 5363860 markings, 17890395 edges, 24641 markings/sec, 190 secs
lola: 5507854 markings, 18312613 edges, 28799 markings/sec, 195 secs
lola: 5655557 markings, 18707260 edges, 29541 markings/sec, 200 secs
lola: 5781988 markings, 19204177 edges, 25286 markings/sec, 205 secs
lola: 5906077 markings, 19732493 edges, 24818 markings/sec, 210 secs
lola: 6048851 markings, 20201946 edges, 28555 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(p903)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 176 bytes per marking, with 18 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: 183282 markings, 359097 edges, 36656 markings/sec, 0 secs
lola: 355046 markings, 792291 edges, 34353 markings/sec, 5 secs
lola: 512834 markings, 1177341 edges, 31558 markings/sec, 10 secs
lola: 686326 markings, 1609976 edges, 34698 markings/sec, 15 secs
lola: 864009 markings, 2072858 edges, 35537 markings/sec, 20 secs
lola: 1032498 markings, 2529936 edges, 33698 markings/sec, 25 secs
lola: 1182725 markings, 2940300 edges, 30045 markings/sec, 30 secs
lola: 1355993 markings, 3410248 edges, 34654 markings/sec, 35 secs
lola: 1520367 markings, 3869507 edges, 32875 markings/sec, 40 secs
lola: 1701244 markings, 4334854 edges, 36175 markings/sec, 45 secs
lola: 1892017 markings, 4779867 edges, 38155 markings/sec, 50 secs
lola: 2094289 markings, 5267333 edges, 40454 markings/sec, 55 secs
lola: 2293002 markings, 5746303 edges, 39743 markings/sec, 60 secs
lola: 2480709 markings, 6176220 edges, 37541 markings/sec, 65 secs
lola: 2666916 markings, 6629447 edges, 37241 markings/sec, 70 secs
lola: 2837030 markings, 7093885 edges, 34023 markings/sec, 75 secs
lola: 3030339 markings, 7570356 edges, 38662 markings/sec, 80 secs
lola: 3222118 markings, 8037354 edges, 38356 markings/sec, 85 secs
lola: 3366933 markings, 8426359 edges, 28963 markings/sec, 90 secs
lola: 3526066 markings, 8898963 edges, 31827 markings/sec, 95 secs
lola: 3699832 markings, 9362087 edges, 34753 markings/sec, 100 secs
lola: 3846415 markings, 9831910 edges, 29317 markings/sec, 105 secs
lola: 4036695 markings, 10293951 edges, 38056 markings/sec, 110 secs
lola: 4208284 markings, 10766999 edges, 34318 markings/sec, 115 secs
lola: 4370893 markings, 11250932 edges, 32522 markings/sec, 120 secs
lola: 4561342 markings, 11743946 edges, 38090 markings/sec, 125 secs
lola: 4705119 markings, 12217270 edges, 28755 markings/sec, 130 secs
lola: 4902452 markings, 12691624 edges, 39467 markings/sec, 135 secs
lola: 5072895 markings, 13157640 edges, 34089 markings/sec, 140 secs
lola: 5281797 markings, 13650306 edges, 41780 markings/sec, 145 secs
lola: 5499685 markings, 14144083 edges, 43578 markings/sec, 150 secs
lola: 5713997 markings, 14651006 edges, 42862 markings/sec, 155 secs
lola: 5916341 markings, 15057552 edges, 40469 markings/sec, 160 secs
lola: 6094192 markings, 15400781 edges, 35570 markings/sec, 165 secs
lola: 6256439 markings, 15827827 edges, 32449 markings/sec, 170 secs
lola: 6410933 markings, 16290904 edges, 30899 markings/sec, 175 secs
lola: 6571537 markings, 16713072 edges, 32121 markings/sec, 180 secs
lola: 6731267 markings, 17152038 edges, 31946 markings/sec, 185 secs
lola: 6892077 markings, 17584318 edges, 32162 markings/sec, 190 secs
lola: 7048055 markings, 18005486 edges, 31196 markings/sec, 195 secs
lola: 7202394 markings, 18421906 edges, 30868 markings/sec, 200 secs
lola: 7356367 markings, 18842397 edges, 30795 markings/sec, 205 secs
lola: 7512029 markings, 19256394 edges, 31132 markings/sec, 210 secs
lola: 7665165 markings, 19680334 edges, 30627 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(p501)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 176 bytes per marking, with 18 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: 159930 markings, 369143 edges, 31986 markings/sec, 0 secs
lola: 318696 markings, 720114 edges, 31753 markings/sec, 5 secs
lola: 473199 markings, 1082055 edges, 30901 markings/sec, 10 secs
lola: 623468 markings, 1449217 edges, 30054 markings/sec, 15 secs
lola: 777512 markings, 1815711 edges, 30809 markings/sec, 20 secs
lola: 934006 markings, 2175381 edges, 31299 markings/sec, 25 secs
lola: 1091537 markings, 2527498 edges, 31506 markings/sec, 30 secs
lola: 1243905 markings, 2887661 edges, 30474 markings/sec, 35 secs
lola: 1395582 markings, 3257574 edges, 30335 markings/sec, 40 secs
lola: 1550503 markings, 3622970 edges, 30984 markings/sec, 45 secs
lola: 1708360 markings, 3980076 edges, 31571 markings/sec, 50 secs
lola: 1865836 markings, 4336093 edges, 31495 markings/sec, 55 secs
lola: 2020731 markings, 4701687 edges, 30979 markings/sec, 60 secs
lola: 2172116 markings, 5071026 edges, 30277 markings/sec, 65 secs
lola: 2322942 markings, 5427061 edges, 30165 markings/sec, 70 secs
lola: 2459280 markings, 5724492 edges, 27268 markings/sec, 75 secs
lola: 2614008 markings, 6086162 edges, 30946 markings/sec, 80 secs
lola: 2764778 markings, 6450906 edges, 30154 markings/sec, 85 secs
lola: 2917190 markings, 6817336 edges, 30482 markings/sec, 90 secs
lola: 3074112 markings, 7182028 edges, 31384 markings/sec, 95 secs
lola: 3233018 markings, 7531776 edges, 31781 markings/sec, 100 secs
lola: 3387753 markings, 7893063 edges, 30947 markings/sec, 105 secs
lola: 3537921 markings, 8256610 edges, 30034 markings/sec, 110 secs
lola: 3691436 markings, 8625602 edges, 30703 markings/sec, 115 secs
lola: 3848034 markings, 8989623 edges, 31320 markings/sec, 120 secs
lola: 4006806 markings, 9338851 edges, 31754 markings/sec, 125 secs
lola: 4160985 markings, 9699221 edges, 30836 markings/sec, 130 secs
lola: 4310524 markings, 10061753 edges, 29908 markings/sec, 135 secs
lola: 4454117 markings, 10404542 edges, 28719 markings/sec, 140 secs
lola: 4601248 markings, 10729910 edges, 29426 markings/sec, 145 secs
lola: 4742487 markings, 11051701 edges, 28248 markings/sec, 150 secs
lola: 4860807 markings, 11344566 edges, 23664 markings/sec, 155 secs
lola: 5003713 markings, 11682029 edges, 28581 markings/sec, 160 secs
lola: 5148725 markings, 11997034 edges, 29002 markings/sec, 165 secs
lola: 5287398 markings, 12319451 edges, 27735 markings/sec, 170 secs
lola: 5420637 markings, 12645850 edges, 26648 markings/sec, 175 secs
lola: 5559073 markings, 12972027 edges, 27687 markings/sec, 180 secs
lola: 5702369 markings, 13281350 edges, 28659 markings/sec, 185 secs
lola: 5839972 markings, 13604815 edges, 27521 markings/sec, 190 secs
lola: 5974573 markings, 13935213 edges, 26920 markings/sec, 195 secs
lola: 6115493 markings, 14257794 edges, 28184 markings/sec, 200 secs
lola: 6257983 markings, 14571199 edges, 28498 markings/sec, 205 secs
lola: 6393569 markings, 14891783 edges, 27117 markings/sec, 210 secs
lola: 6528069 markings, 15219344 edges, 26900 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(p1325)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 176 bytes per marking, with 18 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: 162540 markings, 376147 edges, 32508 markings/sec, 0 secs
lola: 318147 markings, 726650 edges, 31121 markings/sec, 5 secs
lola: 455388 markings, 1034262 edges, 27448 markings/sec, 10 secs
lola: 614077 markings, 1405600 edges, 31738 markings/sec, 15 secs
lola: 772590 markings, 1776318 edges, 31703 markings/sec, 20 secs
lola: 931203 markings, 2147796 edges, 31723 markings/sec, 25 secs
lola: 1090100 markings, 2518893 edges, 31779 markings/sec, 30 secs
lola: 1248836 markings, 2889690 edges, 31747 markings/sec, 35 secs
lola: 1406064 markings, 3266090 edges, 31446 markings/sec, 40 secs
lola: 1563070 markings, 3641211 edges, 31401 markings/sec, 45 secs
lola: 1721753 markings, 4010631 edges, 31737 markings/sec, 50 secs
lola: 1881473 markings, 4374652 edges, 31944 markings/sec, 55 secs
lola: 2042209 markings, 4738696 edges, 32147 markings/sec, 60 secs
lola: 2197250 markings, 5095879 edges, 31008 markings/sec, 65 secs
lola: 2332431 markings, 5412308 edges, 27036 markings/sec, 70 secs
lola: 2488006 markings, 5778141 edges, 31115 markings/sec, 75 secs
lola: 2640281 markings, 6131336 edges, 30455 markings/sec, 80 secs
lola: 2790176 markings, 6493859 edges, 29979 markings/sec, 85 secs
lola: 2942509 markings, 6856853 edges, 30467 markings/sec, 90 secs
lola: 3097856 markings, 7212711 edges, 31069 markings/sec, 95 secs
lola: 3237371 markings, 7631902 edges, 27903 markings/sec, 100 secs
lola: 3369304 markings, 8039439 edges, 26387 markings/sec, 105 secs
lola: 3484754 markings, 8401340 edges, 23090 markings/sec, 110 secs
lola: 3617467 markings, 8837163 edges, 26543 markings/sec, 115 secs
lola: 3754054 markings, 9253655 edges, 27317 markings/sec, 120 secs
lola: 3889568 markings, 9674462 edges, 27103 markings/sec, 125 secs
lola: 4022676 markings, 10111611 edges, 26622 markings/sec, 130 secs
lola: 4161273 markings, 10533817 edges, 27719 markings/sec, 135 secs
lola: 4299672 markings, 10965028 edges, 27680 markings/sec, 140 secs
lola: 4424643 markings, 11375679 edges, 24994 markings/sec, 145 secs
lola: 4535727 markings, 11719993 edges, 22217 markings/sec, 150 secs
lola: 4668010 markings, 12126871 edges, 26457 markings/sec, 155 secs
lola: 4805681 markings, 12524326 edges, 27534 markings/sec, 160 secs
lola: 4946602 markings, 12924490 edges, 28184 markings/sec, 165 secs
lola: 5080141 markings, 13330638 edges, 26708 markings/sec, 170 secs
lola: 5205080 markings, 13850097 edges, 24988 markings/sec, 175 secs
lola: 5341915 markings, 14307910 edges, 27367 markings/sec, 180 secs
lola: 5487896 markings, 14742842 edges, 29196 markings/sec, 185 secs
lola: 5620298 markings, 15227294 edges, 26480 markings/sec, 190 secs
lola: 5746623 markings, 15730424 edges, 25265 markings/sec, 195 secs
lola: 5872594 markings, 16247912 edges, 25194 markings/sec, 200 secs
lola: 5997649 markings, 16774504 edges, 25011 markings/sec, 205 secs
lola: 6123065 markings, 17301596 edges, 25083 markings/sec, 210 secs
lola: 6248665 markings, 17830110 edges, 25120 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(p505)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 176 bytes per marking, with 18 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: 154693 markings, 357646 edges, 30939 markings/sec, 0 secs
lola: 308715 markings, 696810 edges, 30804 markings/sec, 5 secs
lola: 459416 markings, 1047383 edges, 30140 markings/sec, 10 secs
lola: 608917 markings, 1400278 edges, 29900 markings/sec, 15 secs
lola: 758812 markings, 1753902 edges, 29979 markings/sec, 20 secs
lola: 904708 markings, 2110256 edges, 29179 markings/sec, 25 secs
lola: 1029337 markings, 2386010 edges, 24926 markings/sec, 30 secs
lola: 1177922 markings, 2729889 edges, 29717 markings/sec, 35 secs
lola: 1327663 markings, 3083689 edges, 29948 markings/sec, 40 secs
lola: 1477493 markings, 3438796 edges, 29966 markings/sec, 45 secs
lola: 1625010 markings, 3793619 edges, 29503 markings/sec, 50 secs
lola: 1773250 markings, 4149837 edges, 29648 markings/sec, 55 secs
lola: 1926163 markings, 4487438 edges, 30583 markings/sec, 60 secs
lola: 2077251 markings, 4836923 edges, 30218 markings/sec, 65 secs
lola: 2227014 markings, 5189514 edges, 29953 markings/sec, 70 secs
lola: 2376615 markings, 5545715 edges, 29920 markings/sec, 75 secs
lola: 2522407 markings, 5891355 edges, 29158 markings/sec, 80 secs
lola: 2665937 markings, 6241962 edges, 28706 markings/sec, 85 secs
lola: 2790074 markings, 6507036 edges, 24827 markings/sec, 90 secs
lola: 2925499 markings, 6894495 edges, 27085 markings/sec, 95 secs
lola: 3059967 markings, 7318485 edges, 26894 markings/sec, 100 secs
lola: 3194921 markings, 7729252 edges, 26991 markings/sec, 105 secs
lola: 3328320 markings, 8152897 edges, 26680 markings/sec, 110 secs
lola: 3465718 markings, 8568880 edges, 27480 markings/sec, 115 secs
lola: 3600116 markings, 8996963 edges, 26880 markings/sec, 120 secs
lola: 3737925 markings, 9412799 edges, 27562 markings/sec, 125 secs
lola: 3846713 markings, 9760754 edges, 21758 markings/sec, 130 secs
lola: 3981603 markings, 10175980 edges, 26978 markings/sec, 135 secs
lola: 4118577 markings, 10598614 edges, 27395 markings/sec, 140 secs
lola: 4253785 markings, 11021170 edges, 27042 markings/sec, 145 secs
lola: 4391725 markings, 11443509 edges, 27588 markings/sec, 150 secs
lola: 4517061 markings, 11917259 edges, 25067 markings/sec, 155 secs
lola: 4644696 markings, 12379945 edges, 25527 markings/sec, 160 secs
lola: 4770861 markings, 12853958 edges, 25233 markings/sec, 165 secs
lola: 4893222 markings, 13316520 edges, 24472 markings/sec, 170 secs
lola: 5019149 markings, 13785076 edges, 25185 markings/sec, 175 secs
lola: 5147905 markings, 14248202 edges, 25751 markings/sec, 180 secs
lola: 5271307 markings, 14704275 edges, 24680 markings/sec, 185 secs
lola: 5389742 markings, 15130166 edges, 23687 markings/sec, 190 secs
lola: 5519188 markings, 15594323 edges, 25889 markings/sec, 195 secs
lola: 5647209 markings, 16067538 edges, 25604 markings/sec, 200 secs
lola: 5776692 markings, 16534361 edges, 25897 markings/sec, 205 secs
lola: 5900496 markings, 17009581 edges, 24761 markings/sec, 210 secs
lola: 6022754 markings, 17503050 edges, 24452 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(p707)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 176 bytes per marking, with 18 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: 161756 markings, 372900 edges, 32351 markings/sec, 0 secs
lola: 318231 markings, 735114 edges, 31295 markings/sec, 5 secs
lola: 470366 markings, 1088030 edges, 30427 markings/sec, 10 secs
lola: 624047 markings, 1444143 edges, 30736 markings/sec, 15 secs
lola: 773910 markings, 1792881 edges, 29973 markings/sec, 20 secs
lola: 923990 markings, 2140933 edges, 30016 markings/sec, 25 secs
lola: 1084690 markings, 2512226 edges, 32140 markings/sec, 30 secs
lola: 1239697 markings, 2880240 edges, 31001 markings/sec, 35 secs
lola: 1380292 markings, 3297410 edges, 28119 markings/sec, 40 secs
lola: 1507960 markings, 3710250 edges, 25534 markings/sec, 45 secs
lola: 1642984 markings, 4156636 edges, 27005 markings/sec, 50 secs
lola: 1803847 markings, 4529787 edges, 32173 markings/sec, 55 secs
lola: 1961653 markings, 4926108 edges, 31561 markings/sec, 60 secs
lola: 2107499 markings, 5313213 edges, 29169 markings/sec, 65 secs
lola: 2254376 markings, 5734390 edges, 29375 markings/sec, 70 secs
lola: 2389939 markings, 6187435 edges, 27113 markings/sec, 75 secs
lola: 2530777 markings, 6622147 edges, 28168 markings/sec, 80 secs
lola: 2664595 markings, 6990362 edges, 26764 markings/sec, 85 secs
lola: 2805016 markings, 7371140 edges, 28084 markings/sec, 90 secs
lola: 2952887 markings, 7744332 edges, 29574 markings/sec, 95 secs
lola: 3096392 markings, 8106270 edges, 28701 markings/sec, 100 secs
lola: 3247514 markings, 8459527 edges, 30224 markings/sec, 105 secs
lola: 3395660 markings, 8817806 edges, 29629 markings/sec, 110 secs
lola: 3540116 markings, 9183988 edges, 28891 markings/sec, 115 secs
lola: 3691511 markings, 9540231 edges, 30279 markings/sec, 120 secs
lola: 3831122 markings, 9875019 edges, 27922 markings/sec, 125 secs
lola: 3965161 markings, 10287506 edges, 26808 markings/sec, 130 secs
lola: 4091820 markings, 10722267 edges, 25332 markings/sec, 135 secs
lola: 4217626 markings, 11159156 edges, 25161 markings/sec, 140 secs
lola: 4341816 markings, 11602969 edges, 24838 markings/sec, 145 secs
lola: 4473304 markings, 12049539 edges, 26298 markings/sec, 150 secs
lola: 4606587 markings, 12507742 edges, 26657 markings/sec, 155 secs
lola: 4735322 markings, 12970129 edges, 25747 markings/sec, 160 secs
lola: 4855131 markings, 13403713 edges, 23962 markings/sec, 165 secs
lola: 4981228 markings, 13904373 edges, 25219 markings/sec, 170 secs
lola: 5103508 markings, 14404886 edges, 24456 markings/sec, 175 secs
lola: 5229353 markings, 14903267 edges, 25169 markings/sec, 180 secs
lola: 5353424 markings, 15396064 edges, 24814 markings/sec, 185 secs
lola: 5475194 markings, 15894715 edges, 24354 markings/sec, 190 secs
lola: 5596183 markings, 16415889 edges, 24198 markings/sec, 195 secs
lola: 5718601 markings, 16940462 edges, 24484 markings/sec, 200 secs
lola: 5830876 markings, 17362485 edges, 22455 markings/sec, 205 secs
lola: 5947912 markings, 17810947 edges, 23407 markings/sec, 210 secs
lola: 6053919 markings, 18367972 edges, 21201 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(p193)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 176 bytes per marking, with 18 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: 181457 markings, 425808 edges, 36291 markings/sec, 0 secs
lola: 337519 markings, 893224 edges, 31212 markings/sec, 5 secs
lola: 480652 markings, 1447121 edges, 28627 markings/sec, 10 secs
lola: 651529 markings, 1863152 edges, 34175 markings/sec, 15 secs
lola: 806003 markings, 2299881 edges, 30895 markings/sec, 20 secs
lola: 940682 markings, 2845079 edges, 26936 markings/sec, 25 secs
lola: 1113038 markings, 3266275 edges, 34471 markings/sec, 30 secs
lola: 1275421 markings, 3787438 edges, 32477 markings/sec, 35 secs
lola: 1425639 markings, 4265602 edges, 30044 markings/sec, 40 secs
lola: 1585324 markings, 4698352 edges, 31937 markings/sec, 45 secs
lola: 1736088 markings, 5245712 edges, 30153 markings/sec, 50 secs
lola: 1903361 markings, 5655707 edges, 33455 markings/sec, 55 secs
lola: 2063460 markings, 6154485 edges, 32020 markings/sec, 60 secs
lola: 2210946 markings, 6641513 edges, 29497 markings/sec, 65 secs
lola: 2371777 markings, 7063330 edges, 32166 markings/sec, 70 secs
lola: 2522897 markings, 7589160 edges, 30224 markings/sec, 75 secs
lola: 2684202 markings, 8019440 edges, 32261 markings/sec, 80 secs
lola: 2843360 markings, 8501950 edges, 31832 markings/sec, 85 secs
lola: 2989472 markings, 9001859 edges, 29222 markings/sec, 90 secs
lola: 3154679 markings, 9416019 edges, 33041 markings/sec, 95 secs
lola: 3306309 markings, 9939720 edges, 30326 markings/sec, 100 secs
lola: 3463530 markings, 10381918 edges, 31444 markings/sec, 105 secs
lola: 3622928 markings, 10853024 edges, 31880 markings/sec, 110 secs
lola: 3767328 markings, 11360557 edges, 28880 markings/sec, 115 secs
lola: 3934991 markings, 11768279 edges, 33533 markings/sec, 120 secs
lola: 4087972 markings, 12288754 edges, 30596 markings/sec, 125 secs
lola: 4240747 markings, 12739516 edges, 30555 markings/sec, 130 secs
lola: 4398871 markings, 13198472 edges, 31625 markings/sec, 135 secs
lola: 4545489 markings, 13718694 edges, 29324 markings/sec, 140 secs
lola: 4714677 markings, 14122788 edges, 33838 markings/sec, 145 secs
lola: 4869703 markings, 14640207 edges, 31005 markings/sec, 150 secs
lola: 5018775 markings, 15098455 edges, 29814 markings/sec, 155 secs
lola: 5174671 markings, 15545502 edges, 31179 markings/sec, 160 secs
lola: 5324262 markings, 16071810 edges, 29918 markings/sec, 165 secs
lola: 5491779 markings, 16476559 edges, 33503 markings/sec, 170 secs
lola: 5649830 markings, 16984654 edges, 31610 markings/sec, 175 secs
lola: 5796846 markings, 17455820 edges, 29403 markings/sec, 180 secs
lola: 5956246 markings, 17881167 edges, 31880 markings/sec, 185 secs
lola: 6106880 markings, 18410414 edges, 30127 markings/sec, 190 secs
lola: 6270126 markings, 18835025 edges, 32649 markings/sec, 195 secs
lola: 6429780 markings, 19324936 edges, 31931 markings/sec, 200 secs
lola: 6575465 markings, 19816411 edges, 29137 markings/sec, 205 secs
lola: 6738900 markings, 20233130 edges, 32687 markings/sec, 210 secs
lola: 6890248 markings, 20759663 edges, 30270 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(p114)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 176 bytes per marking, with 18 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: 154776 markings, 348657 edges, 30955 markings/sec, 0 secs
lola: 309131 markings, 695828 edges, 30871 markings/sec, 5 secs
lola: 460113 markings, 1044137 edges, 30196 markings/sec, 10 secs
lola: 604546 markings, 1383763 edges, 28887 markings/sec, 15 secs
lola: 748366 markings, 1721838 edges, 28764 markings/sec, 20 secs
lola: 891667 markings, 2063601 edges, 28660 markings/sec, 25 secs
lola: 1036892 markings, 2414782 edges, 29045 markings/sec, 30 secs
lola: 1185447 markings, 2737619 edges, 29711 markings/sec, 35 secs
lola: 1332816 markings, 3079197 edges, 29474 markings/sec, 40 secs
lola: 1479071 markings, 3421152 edges, 29251 markings/sec, 45 secs
lola: 1625950 markings, 3766744 edges, 29376 markings/sec, 50 secs
lola: 1772088 markings, 4107322 edges, 29228 markings/sec, 55 secs
lola: 1914072 markings, 4457241 edges, 28397 markings/sec, 60 secs
lola: 2045269 markings, 4743076 edges, 26239 markings/sec, 65 secs
lola: 2196048 markings, 5091112 edges, 30156 markings/sec, 70 secs
lola: 2346282 markings, 5442611 edges, 30047 markings/sec, 75 secs
lola: 2495585 markings, 5793374 edges, 29861 markings/sec, 80 secs
lola: 2643522 markings, 6136715 edges, 29587 markings/sec, 85 secs
lola: 2790690 markings, 6494801 edges, 29434 markings/sec, 90 secs
lola: 2940165 markings, 6850591 edges, 29895 markings/sec, 95 secs
lola: 3074485 markings, 7262914 edges, 26864 markings/sec, 100 secs
lola: 3203186 markings, 7688465 edges, 25740 markings/sec, 105 secs
lola: 3338498 markings, 8105198 edges, 27062 markings/sec, 110 secs
lola: 3469878 markings, 8539065 edges, 26276 markings/sec, 115 secs
lola: 3604808 markings, 8958115 edges, 26986 markings/sec, 120 secs
lola: 3735562 markings, 9380506 edges, 26151 markings/sec, 125 secs
lola: 3870514 markings, 9807641 edges, 26990 markings/sec, 130 secs
lola: 4004984 markings, 10238949 edges, 26894 markings/sec, 135 secs
lola: 4138407 markings, 10677895 edges, 26685 markings/sec, 140 secs
lola: 4275588 markings, 11101938 edges, 27436 markings/sec, 145 secs
lola: 4408080 markings, 11547332 edges, 26498 markings/sec, 150 secs
lola: 4531142 markings, 12026411 edges, 24612 markings/sec, 155 secs
lola: 4654572 markings, 12500897 edges, 24686 markings/sec, 160 secs
lola: 4776755 markings, 12973813 edges, 24437 markings/sec, 165 secs
lola: 4904632 markings, 13427825 edges, 25575 markings/sec, 170 secs
lola: 5030444 markings, 13897984 edges, 25162 markings/sec, 175 secs
lola: 5158069 markings, 14354542 edges, 25525 markings/sec, 180 secs
lola: 5284821 markings, 14804598 edges, 25350 markings/sec, 185 secs
lola: 5411362 markings, 15277561 edges, 25308 markings/sec, 190 secs
lola: 5540171 markings, 15739711 edges, 25762 markings/sec, 195 secs
lola: 5664556 markings, 16201960 edges, 24877 markings/sec, 200 secs
lola: 5785326 markings, 16667835 edges, 24154 markings/sec, 205 secs
lola: 5908448 markings, 17146368 edges, 24624 markings/sec, 210 secs
lola: 6030230 markings, 17637430 edges, 24356 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(p1195)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 176 bytes per marking, with 18 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: 160554 markings, 371048 edges, 32111 markings/sec, 0 secs
lola: 318517 markings, 724822 edges, 31593 markings/sec, 5 secs
lola: 478267 markings, 1093111 edges, 31950 markings/sec, 10 secs
lola: 637226 markings, 1460387 edges, 31792 markings/sec, 15 secs
lola: 795755 markings, 1829591 edges, 31706 markings/sec, 20 secs
lola: 951039 markings, 2194029 edges, 31057 markings/sec, 25 secs
lola: 1101503 markings, 2547360 edges, 30093 markings/sec, 30 secs
lola: 1256764 markings, 2906326 edges, 31052 markings/sec, 35 secs
lola: 1410675 markings, 3273758 edges, 30782 markings/sec, 40 secs
lola: 1561465 markings, 3638613 edges, 30158 markings/sec, 45 secs
lola: 1716178 markings, 3996802 edges, 30943 markings/sec, 50 secs
lola: 1877531 markings, 4357570 edges, 32271 markings/sec, 55 secs
lola: 2037425 markings, 4726883 edges, 31979 markings/sec, 60 secs
lola: 2194968 markings, 5090377 edges, 31509 markings/sec, 65 secs
lola: 2353427 markings, 5460637 edges, 31692 markings/sec, 70 secs
lola: 2511652 markings, 5831561 edges, 31645 markings/sec, 75 secs
lola: 2669673 markings, 6201958 edges, 31604 markings/sec, 80 secs
lola: 2828080 markings, 6571687 edges, 31681 markings/sec, 85 secs
lola: 2987420 markings, 6940188 edges, 31868 markings/sec, 90 secs
lola: 3139678 markings, 7329704 edges, 30452 markings/sec, 95 secs
lola: 3277865 markings, 7752023 edges, 27637 markings/sec, 100 secs
lola: 3411192 markings, 8172300 edges, 26665 markings/sec, 105 secs
lola: 3545286 markings, 8605389 edges, 26819 markings/sec, 110 secs
lola: 3683497 markings, 9027721 edges, 27642 markings/sec, 115 secs
lola: 3817665 markings, 9452994 edges, 26834 markings/sec, 120 secs
lola: 3953240 markings, 9886826 edges, 27115 markings/sec, 125 secs
lola: 4091899 markings, 10312033 edges, 27732 markings/sec, 130 secs
lola: 4226478 markings, 10751026 edges, 26916 markings/sec, 135 secs
lola: 4364475 markings, 11177789 edges, 27599 markings/sec, 140 secs
lola: 4503596 markings, 11606907 edges, 27824 markings/sec, 145 secs
lola: 4634873 markings, 12034858 edges, 26255 markings/sec, 150 secs
lola: 4769623 markings, 12451635 edges, 26950 markings/sec, 155 secs
lola: 4902463 markings, 12930237 edges, 26568 markings/sec, 160 secs
lola: 5028645 markings, 13427686 edges, 25236 markings/sec, 165 secs
lola: 5155411 markings, 13932815 edges, 25353 markings/sec, 170 secs
lola: 5278275 markings, 14451631 edges, 24573 markings/sec, 175 secs
lola: 5408087 markings, 14939519 edges, 25962 markings/sec, 180 secs
lola: 5539887 markings, 15434924 edges, 26360 markings/sec, 185 secs
lola: 5670254 markings, 15936914 edges, 26073 markings/sec, 190 secs
lola: 5803137 markings, 16431538 edges, 26577 markings/sec, 195 secs
lola: 5933489 markings, 16921993 edges, 26070 markings/sec, 200 secs
lola: 6063245 markings, 17421339 edges, 25951 markings/sec, 205 secs
lola: 6196458 markings, 17917823 edges, 26643 markings/sec, 210 secs
lola: 6321119 markings, 18422596 edges, 24932 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p496)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 176 bytes per marking, with 18 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: 153093 markings, 349889 edges, 30619 markings/sec, 0 secs
lola: 282307 markings, 635816 edges, 25843 markings/sec, 5 secs
lola: 428552 markings, 979006 edges, 29249 markings/sec, 10 secs
lola: 575245 markings, 1324215 edges, 29339 markings/sec, 15 secs
lola: 721607 markings, 1669043 edges, 29272 markings/sec, 20 secs
lola: 841065 markings, 1965060 edges, 23892 markings/sec, 25 secs
lola: 985491 markings, 2309587 edges, 28885 markings/sec, 30 secs
lola: 1133565 markings, 2650739 edges, 29615 markings/sec, 35 secs
lola: 1282492 markings, 2986620 edges, 29785 markings/sec, 40 secs
lola: 1430230 markings, 3330457 edges, 29548 markings/sec, 45 secs
lola: 1577444 markings, 3674189 edges, 29443 markings/sec, 50 secs
lola: 1724142 markings, 4019646 edges, 29340 markings/sec, 55 secs
lola: 1870903 markings, 4365190 edges, 29352 markings/sec, 60 secs
lola: 2017009 markings, 4713131 edges, 29221 markings/sec, 65 secs
lola: 2161949 markings, 5063319 edges, 28988 markings/sec, 70 secs
lola: 2299202 markings, 5388878 edges, 27451 markings/sec, 75 secs
lola: 2438368 markings, 5711637 edges, 27833 markings/sec, 80 secs
lola: 2562593 markings, 5985548 edges, 24845 markings/sec, 85 secs
lola: 2703937 markings, 6318483 edges, 28269 markings/sec, 90 secs
lola: 2839573 markings, 6663137 edges, 27127 markings/sec, 95 secs
lola: 2971959 markings, 7031168 edges, 26477 markings/sec, 100 secs
lola: 3102201 markings, 7414010 edges, 26048 markings/sec, 105 secs
lola: 3230599 markings, 7840555 edges, 25680 markings/sec, 110 secs
lola: 3355763 markings, 8294957 edges, 25033 markings/sec, 115 secs
lola: 3495085 markings, 8688513 edges, 27864 markings/sec, 120 secs
lola: 3618198 markings, 8990674 edges, 24623 markings/sec, 125 secs
lola: 3755647 markings, 9352895 edges, 27490 markings/sec, 130 secs
lola: 3884510 markings, 9785760 edges, 25773 markings/sec, 135 secs
lola: 4008606 markings, 10243239 edges, 24819 markings/sec, 140 secs
lola: 4148638 markings, 10638244 edges, 28006 markings/sec, 145 secs
lola: 4275167 markings, 11073408 edges, 25306 markings/sec, 150 secs
lola: 4402193 markings, 11508639 edges, 25405 markings/sec, 155 secs
lola: 4529072 markings, 11944664 edges, 25376 markings/sec, 160 secs
lola: 4655492 markings, 12385778 edges, 25284 markings/sec, 165 secs
lola: 4781960 markings, 12830778 edges, 25294 markings/sec, 170 secs
lola: 4910295 markings, 13270244 edges, 25667 markings/sec, 175 secs
lola: 5038539 markings, 13711488 edges, 25649 markings/sec, 180 secs
lola: 5138850 markings, 14111912 edges, 20062 markings/sec, 185 secs
lola: 5258094 markings, 14587007 edges, 23849 markings/sec, 190 secs
lola: 5379030 markings, 15068108 edges, 24187 markings/sec, 195 secs
lola: 5500332 markings, 15550897 edges, 24260 markings/sec, 200 secs
lola: 5621758 markings, 16034033 edges, 24285 markings/sec, 205 secs
lola: 5741852 markings, 16509487 edges, 24019 markings/sec, 210 secs
lola: 5856431 markings, 17001763 edges, 22916 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(p1292)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 176 bytes per marking, with 18 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: 159756 markings, 367784 edges, 31951 markings/sec, 0 secs
lola: 319915 markings, 738370 edges, 32032 markings/sec, 5 secs
lola: 480052 markings, 1108789 edges, 32027 markings/sec, 10 secs
lola: 639781 markings, 1477281 edges, 31946 markings/sec, 15 secs
lola: 800396 markings, 1845229 edges, 32123 markings/sec, 20 secs
lola: 961018 markings, 2214173 edges, 32124 markings/sec, 25 secs
lola: 1121508 markings, 2582901 edges, 32098 markings/sec, 30 secs
lola: 1277735 markings, 2960742 edges, 31245 markings/sec, 35 secs
lola: 1422323 markings, 3395509 edges, 28918 markings/sec, 40 secs
lola: 1558943 markings, 3854393 edges, 27324 markings/sec, 45 secs
lola: 1704617 markings, 4280233 edges, 29135 markings/sec, 50 secs
lola: 1863706 markings, 4657686 edges, 31818 markings/sec, 55 secs
lola: 1998419 markings, 5006044 edges, 26943 markings/sec, 60 secs
lola: 2148721 markings, 5404708 edges, 30060 markings/sec, 65 secs
lola: 2290885 markings, 5850023 edges, 28433 markings/sec, 70 secs
lola: 2424988 markings, 6314149 edges, 26821 markings/sec, 75 secs
lola: 2571246 markings, 6726240 edges, 29252 markings/sec, 80 secs
lola: 2716380 markings, 7124719 edges, 29027 markings/sec, 85 secs
lola: 2860411 markings, 7537724 edges, 28806 markings/sec, 90 secs
lola: 3013270 markings, 7890990 edges, 30572 markings/sec, 95 secs
lola: 3162751 markings, 8250257 edges, 29896 markings/sec, 100 secs
lola: 3308959 markings, 8618577 edges, 29242 markings/sec, 105 secs
lola: 3460580 markings, 8979282 edges, 30324 markings/sec, 110 secs
lola: 3604200 markings, 9324670 edges, 28724 markings/sec, 115 secs
lola: 3747752 markings, 9675465 edges, 28710 markings/sec, 120 secs
lola: 3898581 markings, 10060147 edges, 30166 markings/sec, 125 secs
lola: 4030904 markings, 10512010 edges, 26465 markings/sec, 130 secs
lola: 4161632 markings, 10965011 edges, 26146 markings/sec, 135 secs
lola: 4287058 markings, 11410908 edges, 25085 markings/sec, 140 secs
lola: 4423423 markings, 11874124 edges, 27273 markings/sec, 145 secs
lola: 4558779 markings, 12343300 edges, 27071 markings/sec, 150 secs
lola: 4693699 markings, 12815905 edges, 26984 markings/sec, 155 secs
lola: 4824770 markings, 13282324 edges, 26214 markings/sec, 160 secs
lola: 4947900 markings, 13786176 edges, 24626 markings/sec, 165 secs
lola: 5072947 markings, 14279196 edges, 25009 markings/sec, 170 secs
lola: 5198204 markings, 14776335 edges, 25051 markings/sec, 175 secs
lola: 5324015 markings, 15275758 edges, 25162 markings/sec, 180 secs
lola: 5448613 markings, 15780862 edges, 24920 markings/sec, 185 secs
lola: 5569879 markings, 16304709 edges, 24253 markings/sec, 190 secs
lola: 5693402 markings, 16836529 edges, 24705 markings/sec, 195 secs
lola: 5808263 markings, 17305647 edges, 22972 markings/sec, 200 secs
lola: 5931448 markings, 17731608 edges, 24637 markings/sec, 205 secs
lola: 6036697 markings, 18258420 edges, 21050 markings/sec, 210 secs
lola: 6117722 markings, 18903734 edges, 16205 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(p53)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 176 bytes per marking, with 18 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: 159711 markings, 369858 edges, 31942 markings/sec, 0 secs
lola: 318561 markings, 725727 edges, 31770 markings/sec, 5 secs
lola: 475030 markings, 1083544 edges, 31294 markings/sec, 10 secs
lola: 628072 markings, 1436782 edges, 30608 markings/sec, 15 secs
lola: 780737 markings, 1793960 edges, 30533 markings/sec, 20 secs
lola: 934124 markings, 2152995 edges, 30677 markings/sec, 25 secs
lola: 1084589 markings, 2513944 edges, 30093 markings/sec, 30 secs
lola: 1235275 markings, 2872796 edges, 30137 markings/sec, 35 secs
lola: 1386839 markings, 3232473 edges, 30313 markings/sec, 40 secs
lola: 1541651 markings, 3591117 edges, 30962 markings/sec, 45 secs
lola: 1698162 markings, 3937788 edges, 31302 markings/sec, 50 secs
lola: 1850953 markings, 4288200 edges, 30558 markings/sec, 55 secs
lola: 2003635 markings, 4643952 edges, 30536 markings/sec, 60 secs
lola: 2157040 markings, 5002722 edges, 30681 markings/sec, 65 secs
lola: 2308744 markings, 5362293 edges, 30341 markings/sec, 70 secs
lola: 2457967 markings, 5720965 edges, 29845 markings/sec, 75 secs
lola: 2610268 markings, 6079122 edges, 30460 markings/sec, 80 secs
lola: 2763892 markings, 6440275 edges, 30725 markings/sec, 85 secs
lola: 2903562 markings, 6840412 edges, 27934 markings/sec, 90 secs
lola: 3043236 markings, 7223014 edges, 27935 markings/sec, 95 secs
lola: 3165837 markings, 7579683 edges, 24520 markings/sec, 100 secs
lola: 3287705 markings, 7995450 edges, 24374 markings/sec, 105 secs
lola: 3418848 markings, 8449922 edges, 26229 markings/sec, 110 secs
lola: 3547667 markings, 8910455 edges, 25764 markings/sec, 115 secs
lola: 3675568 markings, 9369772 edges, 25580 markings/sec, 120 secs
lola: 3813571 markings, 9780150 edges, 27601 markings/sec, 125 secs
lola: 3958090 markings, 10139183 edges, 28904 markings/sec, 130 secs
lola: 4091988 markings, 10500254 edges, 26780 markings/sec, 135 secs
lola: 4222152 markings, 10935265 edges, 26033 markings/sec, 140 secs
lola: 4353686 markings, 11376771 edges, 26307 markings/sec, 145 secs
lola: 4484714 markings, 11826706 edges, 26206 markings/sec, 150 secs
lola: 4618270 markings, 12268273 edges, 26711 markings/sec, 155 secs
lola: 4737216 markings, 12666572 edges, 23789 markings/sec, 160 secs
lola: 4860535 markings, 13078302 edges, 24664 markings/sec, 165 secs
lola: 4994973 markings, 13528499 edges, 26888 markings/sec, 170 secs
lola: 5127939 markings, 13984515 edges, 26593 markings/sec, 175 secs
lola: 5252150 markings, 14475799 edges, 24842 markings/sec, 180 secs
lola: 5376468 markings, 14966691 edges, 24864 markings/sec, 185 secs
lola: 5501270 markings, 15459646 edges, 24960 markings/sec, 190 secs
lola: 5624595 markings, 15946161 edges, 24665 markings/sec, 195 secs
lola: 5748983 markings, 16441653 edges, 24878 markings/sec, 200 secs
lola: 5868634 markings, 16941696 edges, 23930 markings/sec, 205 secs
lola: 5987902 markings, 17453532 edges, 23854 markings/sec, 210 secs
lola: 6106118 markings, 17965683 edges, 23643 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 FlexibleBarrier-PT-10b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA FlexibleBarrier-PT-10b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496488546260

--------------------
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="FlexibleBarrier-PT-10b"
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/FlexibleBarrier-PT-10b.tgz
mv FlexibleBarrier-PT-10b 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 FlexibleBarrier-PT-10b, 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 r188-blw3-149581034200065"
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 ;