fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r188-blw3-149581034200065
Last Updated
June 27, 2017

About the Execution of LoLA for FlexibleBarrier-PT-10b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
955.110 3539486.00 3545478.00 1627.50 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? normal

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 ;