| /dports/misc/otter/otter-3.3f/examples/kalman/ |
| H A D | i3.out | 78 ** KEPT (pick-wt=6): 55 [hyper,21,2,20,20,demod] CS(1,9,9,9,1).
79 ** KEPT (pick-wt=6): 56 [hyper,21,2,20,19,demod] CS(1,9,8,8,1).
80 ** KEPT (pick-wt=6): 57 [hyper,21,2,20,18,demod] CS(1,9,7,7,1).
81 ** KEPT (pick-wt=6): 58 [hyper,21,2,20,17,demod] CS(1,9,6,6,1).
82 ** KEPT (pick-wt=6): 59 [hyper,21,2,20,16,demod] CS(1,9,5,5,1).
83 ** KEPT (pick-wt=6): 60 [hyper,21,2,20,15,demod] CS(1,9,4,4,1).
84 ** KEPT (pick-wt=6): 61 [hyper,21,2,20,14,demod] CS(1,9,3,3,1).
85 ** KEPT (pick-wt=6): 62 [hyper,21,2,20,13,demod] CS(1,9,2,2,1).
86 ** KEPT (pick-wt=6): 63 [hyper,21,2,20,12,demod] CS(1,9,1,1,1).
87 ** KEPT (pick-wt=6): 64 [hyper,21,2,20,11,demod] CS(1,9,0,0,1).
[all …]
|
| H A D | i4.out | 62 ** KEPT (pick-wt=15): 36 [hyper,26,4] K1(E,F,[R],[],[],[P],[Q],[]).
74 ** KEPT (pick-wt=15): 40 [hyper,39,3] K1(D,E,[R],[],[],[P],[Q],[]).
75 ** KEPT (pick-wt=15): 41 [hyper,39,2] K1(D,B,[R],[P],[],[Q],[],[]).
78 ** KEPT (pick-wt=14): 42 [hyper,38,11] H(F,[],[P],[Q],[],[],[R]).
99 ** KEPT (pick-wt=14): 49 [hyper,46,9] H(B,[],[R,P],[Q],[],[],[]).
102 ** KEPT (pick-wt=14): 50 [hyper,49,20] H(B,[P],[R],[Q],[],[],[]).
118 ** KEPT (pick-wt=15): 56 [hyper,54,1] K1(C,F,[R],[],[Q],[P],[],[]).
153 ** KEPT (pick-wt=14): 69 [hyper,61,8] H(F,[],[P],[],[],[],[Q,R]).
160 ** KEPT (pick-wt=14): 72 [hyper,62,8] H(F,[Q],[P],[],[],[],[R]).
189 ** KEPT (pick-wt=14): 81 [hyper,75,10] H(E,[],[],[Q],[],[R,P],[]).
[all …]
|
| H A D | i1.out | 25 ** KEPT (pick-wt=2): 3 [hyper,2,1] P(a).
29 ** KEPT (pick-wt=2): 4 [hyper,3,1] P(a).
33 ** KEPT (pick-wt=2): 5 [hyper,4,1] P(a).
37 ** KEPT (pick-wt=2): 6 [hyper,5,1] P(a).
41 ** KEPT (pick-wt=2): 7 [hyper,6,1] P(a).
45 ** KEPT (pick-wt=2): 8 [hyper,7,1] P(a).
49 ** KEPT (pick-wt=2): 9 [hyper,8,1] P(a).
53 ** KEPT (pick-wt=2): 10 [hyper,9,1] P(a).
57 ** KEPT (pick-wt=2): 11 [hyper,10,1] P(a).
61 ** KEPT (pick-wt=2): 12 [hyper,11,1] P(a).
[all …]
|
| H A D | i2.out | 30 ** KEPT (pick-wt=3): 7 [hyper,5,4,3] NE(D,C).
31 ** KEPT (pick-wt=3): 8 [hyper,5,4,2] NE(D,B).
32 ** KEPT (pick-wt=3): 9 [hyper,5,4,1] NE(D,A).
33 ** KEPT (pick-wt=3): 10 [hyper,5,3,4] NE(C,D).
34 ** KEPT (pick-wt=3): 11 [hyper,5,3,2] NE(C,B).
35 ** KEPT (pick-wt=3): 12 [hyper,5,3,1] NE(C,A).
36 ** KEPT (pick-wt=3): 13 [hyper,5,2,4] NE(B,D).
37 ** KEPT (pick-wt=3): 14 [hyper,5,2,3] NE(B,C).
38 ** KEPT (pick-wt=3): 15 [hyper,5,2,1] NE(B,A).
39 ** KEPT (pick-wt=3): 16 [hyper,5,1,4] NE(A,D).
[all …]
|
| H A D | ex_2.out | 46 ** KEPT (pick-wt=3): 1 [] x=x.
47 ** KEPT (pick-wt=7): 2 [] x+y=y+x.
48 ** KEPT (pick-wt=7): 3 [] x*y=y*x.
49 ** KEPT (pick-wt=11): 4 [] (x+y)+z=x+y+z.
51 ** KEPT (pick-wt=11): 6 [] (x*y)*z=x*y*z.
53 ** KEPT (pick-wt=7): 8 [] x+x*y=x.
55 ** KEPT (pick-wt=7): 10 [] x* (x+y)=x.
66 ** KEPT (pick-wt=13): 13 [copy,12,flip.1] (x+y)* (x+z)=x+y*z.
68 ** KEPT (pick-wt=13): 15 [] a* (b+c)!=a*b+a*c.
|
| H A D | ex_1.out | 44 ** KEPT (pick-wt=3): 1 [] x=x.
45 ** KEPT (pick-wt=7): 2 [] x+y=y+x.
46 ** KEPT (pick-wt=7): 3 [] x*y=y*x.
47 ** KEPT (pick-wt=11): 4 [] (x+y)+z=x+y+z.
49 ** KEPT (pick-wt=11): 6 [] (x*y)*z=x*y*z.
51 ** KEPT (pick-wt=7): 8 [] x+x*y=x.
53 ** KEPT (pick-wt=7): 10 [] x* (x+y)=x.
64 ** KEPT (pick-wt=13): 12 [] x+y*z= (x+y)* (x+z).
66 ** KEPT (pick-wt=17): 15 [copy,14,demod,13,flip.1] (a*b+a)* (a*b+c)!=a* (b+c).
|
| /dports/misc/otter/otter-3.3f/examples/misc/ |
| H A D | stage2.out | 33 ** KEPT (pick-wt=19): 8 [para_into,5.1.1,3.1.2] FIXED(W (W (B (B x))) (W (B (B x))),x).
38 ** KEPT (pick-wt=13): 11 [para_into,8.1.1,3.1.2] FIXED(W W (W (B (B x))),x).
42 ** KEPT (pick-wt=15): 13 [para_into,11.1.1,2.1.2] FIXED(B (W W) W (B (B x)),x).
45 ** KEPT (pick-wt=17): 14 [para_into,13.1.1.1.1,2.1.2] FIXED(B B W W W (B (B x)),x).
46 ** KEPT (pick-wt=17): 15 [para_into,13.1.1,2.1.2] FIXED(B (B (W W) W) B (B x),x).
50 ** KEPT (pick-wt=17): 17 [para_into,14.1.1.1,3.1.2] FIXED(W (B B W) W (B (B x)),x).
51 ** KEPT (pick-wt=19): 18 [para_into,14.1.1,2.1.2] FIXED(B (B B W W W) B (B x),x).
55 ** KEPT (pick-wt=19): 20 [para_into,15.1.1,2.1.2] FIXED(B (B (B (W W) W) B) B x,x).
63 ** KEPT (pick-wt=19): 24 [para_into,16.1.1,2.1.2] FIXED(B (W (B B) W W) B (B x),x).
67 ** KEPT (pick-wt=19): 26 [para_into,17.1.1,2.1.2] FIXED(B (W (B B W) W) B (B x),x).
[all …]
|
| H A D | stage1.out | 35 ** KEPT (pick-wt=11): 5 [para_into,4.1.2,2.1.2] a(x,y)!=a(a(a(B,f),x),y)|$Ans(a(x,y)).
41 ** KEPT (pick-wt=11): 7 [para_into,5.1.2.1,3.1.2] a(f,x)!=a(a(a(W,B),f),x)|$Ans(a(f,x)).
42 ** KEPT (pick-wt=17): 8 [para_into,5.1.2.1,2.1.2] a(a(x,y),z)!=a(a(a(a(B,a(B,f)),x),y),z)|$Ans(a(a(…
46 ** KEPT (pick-wt=11): 10 [para_into,5.1.2,3.1.2] a(x,x)!=a(a(W,a(B,f)),x)|$Ans(a(x,x)).
50 ** KEPT (pick-wt=17): 12 [para_into,5.1.2,2.1.2] a(x,a(y,z))!=a(a(a(B,a(a(B,f),x)),y),z)|$Ans(a(x,a…
53 ** KEPT (pick-wt=17): 13 [para_into,7.1.2,2.1.2] a(f,a(x,y))!=a(a(a(B,a(a(W,B),f)),x),y)|$Ans(a(f,a…
56 ** KEPT (pick-wt=13): 14 [para_into,10.1.2.1,2.1.2] a(x,x)!=a(a(a(a(B,W),B),f),x)|$Ans(a(x,x)).
72 ** KEPT (pick-wt=17): 22 [para_into,8.1.2.1,3.1.2] a(a(x,x),y)!=a(a(a(W,a(B,a(B,f))),x),y)|$Ans(a(a…
80 ** KEPT (pick-wt=17): 26 [para_into,8.1.2,3.1.2] a(a(x,y),y)!=a(a(W,a(a(B,a(B,f)),x)),y)|$Ans(a(a(x…
90 ** KEPT (pick-wt=17): 32 [para_into,12.1.2,3.1.2] a(x,a(y,y))!=a(a(W,a(B,a(a(B,f),x))),y)|$Ans(a(x,…
[all …]
|
| H A D | andrews.out | 153 ** KEPT (pick-wt=14): 2 [copy,1,factor_simp,factor_simp] p(x)|p($f1(x))| -q(y)|q($f2(z))|q(z)| -p(u…
154 ** KEPT (pick-wt=14): 4 [copy,3,factor_simp,factor_simp] p(x)|p($f1(x))| -q($c7)|q($f2(y))|q(y)|p($…
155 ** KEPT (pick-wt=14): 6 [copy,5,factor_simp,factor_simp] p(x)|p($f1(x))| -q($f2(y))| -q(y)| -p(z)|q…
160 ** KEPT (pick-wt=13): 16 [copy,15,factor_simp,factor_simp] p(x)|p($f1(x))| -q($c8)|q(y)| -p(z)| -q(…
161 ** KEPT (pick-wt=14): 18 [copy,17,factor_simp,factor_simp] p(x)|p($f1(x))|q($c1)| -p($c2)|q($f2(y))…
169 ** KEPT (pick-wt=14): 20 [copy,19,factor_simp,factor_simp] -p(x)| -p($f1(x))| -q(y)|p(z)|q($f2(u))|…
193 ** KEPT (pick-wt=13): 54 [copy,53,factor_simp,factor_simp] -p($c3)|p(x)| -q(y)| -p($c5)|q($f2(z))|q…
195 ** KEPT (pick-wt=13): 56 [copy,55,factor_simp,factor_simp] -p($c3)|p(x)| -q($f2(y))| -p($c5)| -q(y)…
205 ** KEPT (pick-wt=12): 72 [copy,71,factor_simp,factor_simp] p($c3)| -p(x)|q($c4)| -q(y)|q($c8)|p($c9…
254 ** KEPT (pick-wt=16): 132 [copy,131,factor_simp] p(x)|p($f3(x))|q($c14)|q($f4(y))|q(y)| -p(z)| -q($…
[all …]
|
| /dports/misc/otter/otter-3.3f/examples/auto/ |
| H A D | salt.out | 97 ** KEPT (pick-wt=3): 3 [] -sm|mb|ml.
99 ** KEPT (pick-wt=3): 6 [] -sm|sb|ml.
117 ** KEPT (pick-wt=3): 39 [] -mb| -md|mm.
118 ** KEPT (pick-wt=3): 40 [] -mb| -md|sm.
119 ** KEPT (pick-wt=3): 41 [] -mb| -sd|mm.
120 ** KEPT (pick-wt=3): 42 [] -mb| -sd|sm.
122 ** KEPT (pick-wt=3): 45 [] -sd|md|mm.
124 ** KEPT (pick-wt=3): 48 [] -sc|mc|mm.
125 ** KEPT (pick-wt=3): 49 [] -sl| -ml|sm.
135 ** KEPT (pick-wt=3): 65 [] -sb|mb|sc.
[all …]
|
| H A D | lifsch.out | 76 ** KEPT (pick-wt=11): 11 [] -p(x,x)| -s(x,$f1(x,y))| -s(y,y).
79 ** KEPT (pick-wt=11): 14 [] -p(x,x)|s($f1(x,y),z)| -s(y,y).
80 ** KEPT (pick-wt=11): 15 [] -p(x,x)| -q(y,y)| -q(z,$f1(x,z)).
81 ** KEPT (pick-wt=11): 16 [] -p(x,x)| -q(y,y)|q($f1(x,z),y).
82 ** KEPT (pick-wt=9): 17 [] -p(x,x)| -q(y,y)| -s(z,z).
85 ** KEPT (pick-wt=11): 20 [] s(x,y)| -s(y,$f1(y,z))| -s(z,z).
87 ** KEPT (pick-wt=11): 22 [] s(x,y)|s($f1(y,z),x)| -s(z,z).
88 ** KEPT (pick-wt=11): 23 [] s(x,y)| -q(z,z)| -q(u,$f1(y,u)).
89 ** KEPT (pick-wt=11): 24 [] s(x,y)| -q(z,z)|q($f1(y,u),z).
90 ** KEPT (pick-wt=9): 25 [] s(x,y)| -q(z,z)| -s(u,u).
[all …]
|
| H A D | steam.out | 89 ** KEPT (pick-wt=4): 1 [] -Wolf(x)|animal(x).
90 ** KEPT (pick-wt=4): 2 [] -Fox(x)|animal(x).
91 ** KEPT (pick-wt=4): 3 [] -Bird(x)|animal(x).
93 ** KEPT (pick-wt=4): 5 [] -Snail(x)|animal(x).
94 ** KEPT (pick-wt=4): 6 [] -Grain(x)|plant(x).
112 ** KEPT (pick-wt=2): 29 [] Wolf($c1).
113 ** KEPT (pick-wt=2): 30 [] Fox($c2).
114 ** KEPT (pick-wt=2): 31 [] Bird($c3).
115 ** KEPT (pick-wt=2): 32 [] Caterpillar($c4).
116 ** KEPT (pick-wt=2): 33 [] Snail($c5).
[all …]
|
| H A D | pigeon.out | 78 ** KEPT (pick-wt=2): 1 [] -p00| -p04.
79 ** KEPT (pick-wt=2): 2 [] -p00| -p08.
80 ** KEPT (pick-wt=2): 3 [] -p00| -p12.
81 ** KEPT (pick-wt=2): 4 [] -p00| -p16.
82 ** KEPT (pick-wt=2): 5 [] -p04| -p08.
83 ** KEPT (pick-wt=2): 6 [] -p04| -p12.
84 ** KEPT (pick-wt=2): 7 [] -p04| -p16.
85 ** KEPT (pick-wt=2): 8 [] -p08| -p12.
86 ** KEPT (pick-wt=2): 9 [] -p08| -p16.
87 ** KEPT (pick-wt=2): 10 [] -p12| -p16.
[all …]
|
| H A D | sam.out | 76 ** KEPT (pick-wt=4): 12 [] join(1,x,1).
77 ** KEPT (pick-wt=4): 13 [] join(x,1,1).
78 ** KEPT (pick-wt=4): 14 [] join(0,x,x).
79 ** KEPT (pick-wt=4): 15 [] join(x,0,x).
80 ** KEPT (pick-wt=4): 16 [] meet(0,x,0).
81 ** KEPT (pick-wt=4): 17 [] meet(x,0,0).
82 ** KEPT (pick-wt=4): 18 [] meet(1,x,x).
83 ** KEPT (pick-wt=4): 19 [] meet(x,1,x).
84 ** KEPT (pick-wt=4): 20 [] meet(x,x,x).
85 ** KEPT (pick-wt=4): 21 [] join(x,x,x).
[all …]
|
| H A D | wang1.out | 84 ** KEPT (pick-wt=10): 8 [] x=b|p(x,b)|g(x)!=b.
85 ** KEPT (pick-wt=10): 9 [] x=b|p(x,b)|g(x)!=x.
86 ** KEPT (pick-wt=9): 10 [] x=k|x!=m|p(x,k).
87 ** KEPT (pick-wt=9): 11 [] x=k|x!=b|p(x,k).
88 ** KEPT (pick-wt=6): 12 [] x!=y|y=x.
89 ** KEPT (pick-wt=9): 13 [] x!=y|y!=z|x=z.
92 ** KEPT (pick-wt=8): 16 [] x!=y|f(x)=f(y).
93 ** KEPT (pick-wt=8): 17 [] x!=y|g(x)=g(y).
94 ** KEPT (pick-wt=3): 18 [] m!=b.
95 ** KEPT (pick-wt=3): 20 [copy,19,flip.1] k!=b.
[all …]
|
| /dports/misc/otter/otter-3.3f/examples/split/ |
| H A D | noncomm-group.out | 325 ** KEPT (pick-wt=3): 1 [] x=x.
330 ** KEPT (pick-wt=3): 3 [copy,2,flip.1] 1!=0.
331 ** KEPT (pick-wt=3): 5 [copy,4,flip.1] 2!=0.
332 ** KEPT (pick-wt=3): 7 [copy,6,flip.1] 3!=0.
333 ** KEPT (pick-wt=3): 9 [copy,8,flip.1] 4!=0.
334 ** KEPT (pick-wt=3): 11 [copy,10,flip.1] 5!=0.
335 ** KEPT (pick-wt=3): 13 [copy,12,flip.1] 2!=1.
336 ** KEPT (pick-wt=3): 15 [copy,14,flip.1] 3!=1.
337 ** KEPT (pick-wt=3): 17 [copy,16,flip.1] 4!=1.
338 ** KEPT (pick-wt=3): 19 [copy,18,flip.1] 5!=1.
[all …]
|
| H A D | zebra2.out | 142 ** KEPT (pick-wt=3): 1 [] x=x.
154 ** KEPT (pick-wt=3): 23 [] red!=green.
155 ** KEPT (pick-wt=3): 24 [] red!=ivory.
157 ** KEPT (pick-wt=3): 26 [] red!=blue.
164 ** KEPT (pick-wt=3): 35 [] eng!=aspan.
165 ** KEPT (pick-wt=3): 36 [] eng!=aukra.
194 ** KEPT (pick-wt=3): 83 [] old!=kool.
195 ** KEPT (pick-wt=3): 84 [] old!=chest.
280 ** KEPT (pick-wt=3): 114 [] milk=3.
282 ** KEPT (pick-wt=3): 116 [] norw=1.
[all …]
|
| H A D | GRP025-1.out | 104 ** KEPT (pick-wt=3): 16 [] group_member(a,g1).
105 ** KEPT (pick-wt=3): 17 [] group_member(b,g1).
110 ** KEPT (pick-wt=5): 22 [] product(g1,a,a,a).
111 ** KEPT (pick-wt=5): 23 [] product(g1,a,b,b).
112 ** KEPT (pick-wt=5): 24 [] product(g1,b,a,b).
113 ** KEPT (pick-wt=5): 25 [] product(g1,b,b,a).
114 ** KEPT (pick-wt=5): 26 [] product(g2,c,c,c).
115 ** KEPT (pick-wt=5): 27 [] product(g2,c,d,d).
116 ** KEPT (pick-wt=5): 28 [] product(g2,d,c,d).
117 ** KEPT (pick-wt=5): 29 [] product(g2,d,d,c).
[all …]
|
| H A D | group2.out | 53 ** KEPT (pick-wt=3): 1 [] x=x.
58 ** KEPT (pick-wt=5): 2 [] e*x=x.
60 ** KEPT (pick-wt=5): 4 [] x*e=x.
62 ** KEPT (pick-wt=6): 6 [] i(x)*x=e.
64 ** KEPT (pick-wt=6): 8 [] x*i(x)=e.
68 ** KEPT (pick-wt=4): 12 [] i(e)=e.
70 ** KEPT (pick-wt=5): 14 [] i(i(x))=x.
74 ** KEPT (pick-wt=8): 18 [] i(x)*x*y=y.
76 ** KEPT (pick-wt=8): 20 [] x*i(x)*y=y.
78 ** KEPT (pick-wt=6): 22 [] x=a1|x=a2.
[all …]
|
| H A D | GEO036-2.out | 83 ** KEPT (pick-wt=15): 1 [] -equidistant(A,B,C,D)| -equidistant(A,B,E,F)|equidistant(C,D,E,F).
84 ** KEPT (pick-wt=8): 2 [] -equidistant(A,B,C,C)|equal(A,B).
86 ** KEPT (pick-wt=7): 4 [] -between(A,B,A)|equal(A,B).
87 ** KEPT (pick-wt=17): 5 [] -between(A,B,C)| -between(D,E,C)|between(B,inner_pasch(A,B,C,E,D),D).
88 ** KEPT (pick-wt=17): 6 [] -between(A,B,C)| -between(D,E,C)|between(E,inner_pasch(A,B,C,E,D),A).
93 ** KEPT (pick-wt=20): 11 [] -between(A,B,C)| -between(D,B,E)|equal(A,B)|between(A,D,euclid1(A,D,B,E…
94 ** KEPT (pick-wt=20): 12 [] -between(A,B,C)| -between(D,B,E)|equal(A,B)|between(A,E,euclid2(A,D,B,E…
104 ** KEPT (pick-wt=3): 36 [] equal(A,A).
105 ** KEPT (pick-wt=5): 37 [] equidistant(A,B,B,A).
106 ** KEPT (pick-wt=8): 38 [] between(A,B,extension(A,B,C,D)).
[all …]
|
| /dports/textproc/lttoolbox/lttoolbox-3.5.4/tests/data/ |
| H A D | biproc-skips-tags-mono.dix | 3 <sdef n="KEPT"/>
11 <e><p><l>vihki<s n="KEPT"/><s n="MATCHSOFAR"/><s n="STILLMATCHING"/><s n="NONMATCHL"/></l><r>vihki<…
12 <e><p><l>vihki<s n="KEPT"/></l><r>vihki<s n="KEPT"/></r></p></e>
|
| /dports/misc/otter/otter-3.3f/examples/program/ |
| H A D | jugs.out | 46 ** KEPT (pick-wt=6): 1 [] -j(x,y)|j(3,y).
47 ** KEPT (pick-wt=6): 2 [] -j(x,y)|j(0,y).
48 ** KEPT (pick-wt=6): 3 [] -j(x,y)|j(x,4).
49 ** KEPT (pick-wt=6): 4 [] -j(x,y)|j(x,0).
50 ** KEPT (pick-wt=13): 5 [] -j(x,y)| -(x+y<=4)|j(0,y+x).
51 ** KEPT (pick-wt=15): 6 [] -j(x,y)| -(x+y>4)|j(x- (4-y),4).
52 ** KEPT (pick-wt=13): 7 [] -j(x,y)| -(x+y<=3)|j(x+y,0).
53 ** KEPT (pick-wt=15): 8 [] -j(x,y)| -(x+y>3)|j(3,y- (3-x)).
54 ** KEPT (pick-wt=3): 9 [] -j(x,2).
57 ** KEPT (pick-wt=3): 10 [] j(0,0).
|
| H A D | mission.out | 42 ** KEPT (pick-wt=4): 9 [hyper,6,1,4,2,eval,eval,eval,eval,eval,eval,eval,demod,7] state(2,0,east).
43 ** KEPT (pick-wt=4): 10 [hyper,6,1,3,3,eval,eval,eval,eval,eval,eval,eval,demod,7] state(1,1,east).
44 ** KEPT (pick-wt=4): 11 [hyper,6,1,3,2,eval,eval,eval,eval,eval,eval,eval,demod,7] state(1,0,east).
47 ** KEPT (pick-wt=4): 12 [hyper,9,1,3,2,eval,eval,eval,eval,eval,eval,eval,demod,8] state(2,3,west).
54 ** KEPT (pick-wt=4): 13 [hyper,12,1,4,2,eval,eval,eval,eval,eval,eval,eval,demod,7] state(3,0,east).
57 ** KEPT (pick-wt=4): 14 [hyper,13,1,3,2,eval,eval,eval,eval,eval,eval,eval,demod,8] state(1,3,west).
60 ** KEPT (pick-wt=4): 15 [hyper,14,1,2,4,eval,eval,eval,eval,eval,eval,eval,demod,7] state(2,2,east).
63 ** KEPT (pick-wt=4): 16 [hyper,15,1,3,3,eval,eval,eval,eval,eval,eval,eval,demod,8] state(2,2,west).
66 ** KEPT (pick-wt=4): 17 [hyper,16,1,2,4,eval,eval,eval,eval,eval,eval,eval,demod,7] state(1,3,east).
69 ** KEPT (pick-wt=4): 18 [hyper,17,1,3,2,eval,eval,eval,eval,eval,eval,eval,demod,8] state(3,0,west).
[all …]
|
| H A D | eval.out | 76 ** KEPT (pick-wt=2): 31 [22,demod] p(40320).
79 ** KEPT (pick-wt=2): 32 [23,demod] p(4).
82 ** KEPT (pick-wt=2): 33 [24,demod] p($F).
85 ** KEPT (pick-wt=2): 34 [25,demod] p($T).
88 ** KEPT (pick-wt=6): 35 [26,demod] p([b,d]).
91 ** KEPT (pick-wt=12): 36 [27,demod] p([e,a,b,c,d]).
94 ** KEPT (pick-wt=16): 37 [28,demod] p([g,f,e,d,c,b,a]).
97 ** KEPT (pick-wt=20): 38 [29,demod] p([a,b,b,c,c,c,d,e,f]).
103 ** KEPT (pick-wt=2): 39 [30,demod] p("3.223400000000").
|
| /dports/misc/otter/otter-3.3f/examples/wos/ |
| H A D | rigorous.out | 123 ** KEPT (pick-wt=5): 84 [hyper,1,83,8,demod,23] P(c16,i(x,x)).
162 ** KEPT (pick-wt=9): 97 [hyper,1,83,95,demod,24] P(c17,i(x,i(i(y,x),x))).
168 ** KEPT (pick-wt=7): 99 [hyper,1,98,9,demod,26] P(c18,i(x,i(y,x))).
174 ** KEPT (pick-wt=9): 101 [hyper,1,100,95,demod,28] P(c20,i(x,i(i(x,y),y))).
181 ** KEPT (pick-wt=7): 104 [hyper,1,102,99,demod,71] P(c63,i(x,i(y,y))).
183 ** KEPT (pick-wt=8): 106 [hyper,1,102,9,demod,44] P(c36,i(n(x),i(x,y))).
192 ** KEPT (pick-wt=7): 109 [hyper,1,108,8,demod,47] P(c39,i(n(n(x)),x)).
214 ** KEPT (pick-wt=8): 117 [hyper,1,114,106,demod,75] P(c66,i(n(i(x,y)),x)).
215 ** KEPT (pick-wt=8): 118 [hyper,1,114,104,demod,72] P(c64,i(n(i(x,x)),y)).
241 ** KEPT (pick-wt=9): 124 [hyper,1,123,9,demod,33] P(c24,i(i(i(x,y),x),x)).
[all …]
|