Commit 5d42637c authored by LotfiMed's avatar LotfiMed
Browse files

rename case study

parent bf6c08dc
......@@ -2,19 +2,35 @@
package test
extern function printf(string, int, int)
port type HelloPort_t()
port type Port_t()
atom type HelloAtom(int id)
connector type request( Port_t p1, Port_t p2)
define p1 p2
on p1 p2
end
atom type Component(int id)
data int cpt = 0
port HelloPort_t p()
place START,END
export port Port_t p()
place START
initial to START do {printf("var int c%d.cpt %d\n", id, cpt);}
on p from START to START do {cpt = cpt + 1 ; printf("var int c%d.cpt %d\n", id, cpt);}
end
atom type Resource()
export port Port_t p()
place START
initial to START
on p from START to START
end
compound type Compound()
component HelloAtom c1(1), c2(2), c3(3)
component Component c1(1), c2(2), c3(3)
component Resource r()
connector request connect_cmp1( c1.p, r.p)
connector request connect_cmp2( c2.p, r.p)
connector request connect_cmp3( c3.p, r.p)
end
end
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
[BIP ENGINE]: BIP Engine (version 2017.12.172218-DEV )
[BIP ENGINE]:
[BIP ENGINE]: initialize components...
[BIP ENGINE]: random scheduling based on seed=1577330159
var int c1.cpt 0
var int c2.cpt 0
var int c3.cpt 0
[BIP ENGINE]: state #0: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [2] ROOT.connect_cmp3: c3.p() r.p()
var int c3.cpt 1
[BIP ENGINE]: state #1: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 1
[BIP ENGINE]: state #2: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [2] ROOT.connect_cmp3: c3.p() r.p()
var int c3.cpt 2
[BIP ENGINE]: state #3: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [1] ROOT.connect_cmp2: c2.p() r.p()
var int c2.cpt 1
[BIP ENGINE]: state #4: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [2] ROOT.connect_cmp3: c3.p() r.p()
var int c3.cpt 3
[BIP ENGINE]: state #5: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [2] ROOT.connect_cmp3: c3.p() r.p()
var int c3.cpt 4
[BIP ENGINE]: state #6: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 2
[BIP ENGINE]: state #7: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 3
[BIP ENGINE]: state #8: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [2] ROOT.connect_cmp3: c3.p() r.p()
var int c3.cpt 5
[BIP ENGINE]: state #9: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [2] ROOT.connect_cmp3: c3.p() r.p()
var int c3.cpt 6
[BIP ENGINE]: state #10: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 4
[BIP ENGINE]: state #11: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 5
[BIP ENGINE]: state #12: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 6
[BIP ENGINE]: state #13: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [1] ROOT.connect_cmp2: c2.p() r.p()
var int c2.cpt 2
[BIP ENGINE]: state #14: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [2] ROOT.connect_cmp3: c3.p() r.p()
var int c3.cpt 7
[BIP ENGINE]: state #15: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [1] ROOT.connect_cmp2: c2.p() r.p()
var int c2.cpt 3
[BIP ENGINE]: state #16: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 7
[BIP ENGINE]: state #17: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [2] ROOT.connect_cmp3: c3.p() r.p()
var int c3.cpt 8
[BIP ENGINE]: state #18: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [2] ROOT.connect_cmp3: c3.p() r.p()
var int c3.cpt 9
[BIP ENGINE]: state #19: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [1] ROOT.connect_cmp2: c2.p() r.p()
var int c2.cpt 4
[BIP ENGINE]: state #20: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [1] ROOT.connect_cmp2: c2.p() r.p()
var int c2.cpt 5
[BIP ENGINE]: state #21: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 8
[BIP ENGINE]: state #22: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 9
[BIP ENGINE]: state #23: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 10
[BIP ENGINE]: state #24: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [2] ROOT.connect_cmp3: c3.p() r.p()
var int c3.cpt 10
[BIP ENGINE]: state #25: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 11
[BIP ENGINE]: state #26: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 12
[BIP ENGINE]: state #27: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 13
[BIP ENGINE]: state #28: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 14
[BIP ENGINE]: state #29: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [1] ROOT.connect_cmp2: c2.p() r.p()
var int c2.cpt 6
[BIP ENGINE]: state #30: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [2] ROOT.connect_cmp3: c3.p() r.p()
var int c3.cpt 11
[BIP ENGINE]: state #31: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 15
[BIP ENGINE]: state #32: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [1] ROOT.connect_cmp2: c2.p() r.p()
var int c2.cpt 7
[BIP ENGINE]: state #33: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [2] ROOT.connect_cmp3: c3.p() r.p()
var int c3.cpt 12
[BIP ENGINE]: state #34: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [1] ROOT.connect_cmp2: c2.p() r.p()
var int c2.cpt 8
[BIP ENGINE]: state #35: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 16
[BIP ENGINE]: state #36: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [1] ROOT.connect_cmp2: c2.p() r.p()
var int c2.cpt 9
[BIP ENGINE]: state #37: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [1] ROOT.connect_cmp2: c2.p() r.p()
var int c2.cpt 10
[BIP ENGINE]: state #38: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [1] ROOT.connect_cmp2: c2.p() r.p()
var int c2.cpt 11
[BIP ENGINE]: state #39: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 17
[BIP ENGINE]: state #40: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [1] ROOT.connect_cmp2: c2.p() r.p()
var int c2.cpt 12
[BIP ENGINE]: state #41: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [2] ROOT.connect_cmp3: c3.p() r.p()
var int c3.cpt 13
[BIP ENGINE]: state #42: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [1] ROOT.connect_cmp2: c2.p() r.p()
var int c2.cpt 13
[BIP ENGINE]: state #43: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [2] ROOT.connect_cmp3: c3.p() r.p()
var int c3.cpt 14
[BIP ENGINE]: state #44: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 18
[BIP ENGINE]: state #45: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [1] ROOT.connect_cmp2: c2.p() r.p()
var int c2.cpt 14
[BIP ENGINE]: state #46: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [1] ROOT.connect_cmp2: c2.p() r.p()
var int c2.cpt 15
[BIP ENGINE]: state #47: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 19
[BIP ENGINE]: state #48: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 20
[BIP ENGINE]: state #49: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 21
[BIP ENGINE]: state #50: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [2] ROOT.connect_cmp3: c3.p() r.p()
var int c3.cpt 15
[BIP ENGINE]: state #51: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [2] ROOT.connect_cmp3: c3.p() r.p()
var int c3.cpt 16
[BIP ENGINE]: state #52: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [1] ROOT.connect_cmp2: c2.p() r.p()
var int c2.cpt 16
[BIP ENGINE]: state #53: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [2] ROOT.connect_cmp3: c3.p() r.p()
var int c3.cpt 17
[BIP ENGINE]: state #54: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [2] ROOT.connect_cmp3: c3.p() r.p()
var int c3.cpt 18
[BIP ENGINE]: state #55: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 22
[BIP ENGINE]: state #56: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [2] ROOT.connect_cmp3: c3.p() r.p()
var int c3.cpt 19
[BIP ENGINE]: state #57: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 23
[BIP ENGINE]: state #58: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 24
[BIP ENGINE]: state #59: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 25
[BIP ENGINE]: state #60: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [1] ROOT.connect_cmp2: c2.p() r.p()
var int c2.cpt 17
[BIP ENGINE]: state #61: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 26
[BIP ENGINE]: state #62: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 27
[BIP ENGINE]: state #63: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 28
[BIP ENGINE]: state #64: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: BIP Engine (version 2017.12.172218-DEV )
[BIP ENGINE]:
[BIP ENGINE]: initialize components...
[BIP ENGINE]: random scheduling based on seed=1215560689
var int c1.cpt 0
var int c2.cpt 0
var int c3.cpt 0
[BIP ENGINE]: state #0: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [1] ROOT.connect_cmp2: c2.p() r.p()
var int c2.cpt 1
[BIP ENGINE]: state #1: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [1] ROOT.connect_cmp2: c2.p() r.p()
var int c2.cpt 2
[BIP ENGINE]: state #2: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [1] ROOT.connect_cmp2: c2.p() r.p()
var int c2.cpt 3
[BIP ENGINE]: state #3: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [2] ROOT.connect_cmp3: c3.p() r.p()
var int c3.cpt 1
[BIP ENGINE]: state #4: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [1] ROOT.connect_cmp2: c2.p() r.p()
var int c2.cpt 4
[BIP ENGINE]: state #5: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [2] ROOT.connect_cmp3: c3.p() r.p()
var int c3.cpt 2
[BIP ENGINE]: state #6: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 1
[BIP ENGINE]: state #7: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [1] ROOT.connect_cmp2: c2.p() r.p()
var int c2.cpt 5
[BIP ENGINE]: state #8: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [0] ROOT.connect_cmp1: c1.p() r.p()
var int c1.cpt 2
[BIP ENGINE]: state #9: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [1] ROOT.connect_cmp2: c2.p() r.p()
var int c2.cpt 6
[BIP ENGINE]: state #10: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()
[BIP ENGINE]: [1] ROOT.connect_cmp2: c2.p() r.p()
[BIP ENGINE]: [2] ROOT.connect_cmp3: c3.p() r.p()
[BIP ENGINE]: -> choose [1] ROOT.connect_cmp2: c2.p() r.p()
var int c2.cpt 7
[BIP ENGINE]: state #11: 3 interactions:
[BIP ENGINE]: [0] ROOT.connect_cmp1: c1.p() r.p()