First NIT release and new clean mercurial repository
[nit.git] / tests / test_partial_order.sav
1 1: rank=0; greats=0(0); smalls=19(8):
2          >2 >3 >4 >5 >6 >7 >8 >9 >10 >11 >12 >13 >14 >15 >16 >17 >18 >19 >20
3 2: rank=1; greats=1(1); smalls=9(4):
4          <1 >4 >6 >8 >10 >12 >14 >16 >18 >20
5 3: rank=1; greats=1(1); smalls=5(3):
6          <1 >6 >9 >12 >15 >18
7 4: rank=2; greats=2(1); smalls=4(3):
8          <1 <2 >8 >12 >16 >20
9 5: rank=1; greats=1(1); smalls=3(2):
10          <1 >10 >15 >20
11 6: rank=2; greats=3(2); smalls=2(2):
12          <1 <2 <3 >12 >18
13 7: rank=1; greats=1(1); smalls=1(1):
14          <1 >14
15 8: rank=3; greats=3(1); smalls=1(1):
16          <1 <2 <4 >16
17 9: rank=2; greats=2(1); smalls=1(1):
18          <1 <3 >18
19 10: rank=2; greats=3(2); smalls=1(1):
20          <1 <2 <5 >20
21 11: rank=1; greats=1(1); smalls=0(0):
22          <1
23 12: rank=3; greats=5(2); smalls=0(0):
24          <1 <2 <3 <4 <6
25 13: rank=1; greats=1(1); smalls=0(0):
26          <1
27 14: rank=2; greats=3(2); smalls=0(0):
28          <1 <2 <7
29 15: rank=2; greats=3(2); smalls=0(0):
30          <1 <3 <5
31 16: rank=4; greats=4(1); smalls=0(0):
32          <1 <2 <4 <8
33 17: rank=1; greats=1(1); smalls=0(0):
34          <1
35 18: rank=3; greats=5(2); smalls=0(0):
36          <1 <2 <3 <6 <9
37 19: rank=1; greats=1(1); smalls=0(0):
38          <1
39 20: rank=3; greats=5(2); smalls=0(0):
40          <1 <2 <4 <5 <10