Index of /~degivry/instances_wmax2sat/ChineseChars
Name
Last modified
Size
Description
Parent Directory
-
TST_test_0100_80_102_direct.lp
2026-08-07 11:11
85M
TST_test_0099_72_105_direct.lp
2026-08-07 11:11
78M
TST_test_0098_112_98_direct.lp
2026-08-07 11:11
117M
TST_test_0097_56_111_direct.lp
2026-08-07 11:11
63M
TST_test_0096_56_107_direct.lp
2026-08-07 11:11
61M
TST_test_0095_128_109_direct.lp
2026-08-07 11:11
153M
TST_test_0094_64_131_direct.lp
2026-08-07 11:11
87M
TST_test_0093_104_105_direct.lp
2026-08-07 11:11
117M
TST_test_0092_96_111_direct.lp
2026-08-07 11:11
113M
TST_test_0091_136_95_direct.lp
2026-08-07 11:11
140M
TST_test_0090_104_116_direct.lp
2026-08-07 11:11
130M
TST_test_0089_72_92_direct.lp
2026-08-07 11:11
68M
TST_test_0088_104_107_direct.lp
2026-08-07 11:11
119M
TST_test_0087_88_124_direct.lp
2026-08-07 11:11
116M
TST_test_0086_80_112_direct.lp
2026-08-07 11:11
94M
TST_test_0085_64_126_direct.lp
2026-08-07 11:11
84M
TST_test_0084_120_115_direct.lp
2026-08-07 11:11
151M
TST_test_0083_72_105_direct.lp
2026-08-07 11:11
78M
TST_test_0082_96_106_direct.lp
2026-08-07 11:10
108M
TST_test_0081_112_96_direct.lp
2026-08-07 11:10
114M
TST_test_0080_104_107_direct.lp
2026-08-07 11:10
119M
TST_test_0079_88_81_direct.lp
2026-08-07 11:10
74M
TST_test_0078_72_108_direct.lp
2026-08-07 11:10
81M
TST_test_0077_96_95_direct.lp
2026-08-07 11:10
96M
TST_test_0076_80_93_direct.lp
2026-08-07 11:10
77M
TST_test_0075_88_92_direct.lp
2026-08-07 11:10
84M
TST_test_0074_96_107_direct.lp
2026-08-07 11:10
109M
TST_test_0073_128_113_direct.lp
2026-08-07 11:10
159M
TST_test_0072_96_113_direct.lp
2026-08-07 11:10
116M
TST_test_0071_72_94_direct.lp
2026-08-07 11:10
70M
TST_test_0070_88_96_direct.lp
2026-08-07 11:10
88M
TST_test_0069_96_109_direct.lp
2026-08-07 11:10
111M
TST_test_0068_72_94_direct.lp
2026-08-07 11:10
70M
TST_test_0067_96_121_direct.lp
2026-08-07 11:10
125M
TST_test_0066_96_121_direct.lp
2026-08-07 11:10
125M
TST_test_0065_104_94_direct.lp
2026-08-07 11:10
103M
TST_test_0064_80_103_direct.lp
2026-08-07 11:10
86M
TST_test_0063_120_108_direct.lp
2026-08-07 11:10
141M
TST_test_0062_88_106_direct.lp
2026-08-07 11:10
98M
TST_test_0061_88_86_direct.lp
2026-08-07 11:10
79M
TST_test_0060_80_111_direct.lp
2026-08-07 11:10
93M
TST_test_0059_104_73_direct.lp
2026-08-07 11:10
79M
TST_test_0058_144_124_direct.lp
2026-08-07 11:10
201M
TST_test_0057_80_95_direct.lp
2026-08-07 11:10
79M
TST_test_0056_88_112_direct.lp
2026-08-07 11:10
104M
TST_test_0055_96_108_direct.lp
2026-08-07 11:10
110M
TST_test_0054_88_106_direct.lp
2026-08-07 11:10
98M
TST_test_0053_88_118_direct.lp
2026-08-07 11:10
110M
TST_test_0052_96_107_direct.lp
2026-08-07 11:10
109M
TST_test_0051_64_106_direct.lp
2026-08-07 11:10
70M
TST_test_0050_88_94_direct.lp
2026-08-07 11:10
86M
TST_test_0049_96_79_direct.lp
2026-08-07 11:10
79M
TST_test_0048_72_98_direct.lp
2026-08-07 11:10
73M
TST_test_0047_112_121_direct.lp
2026-08-07 11:10
148M
TST_test_0046_96_105_direct.lp
2026-08-07 11:10
107M
TST_test_0045_80_120_direct.lp
2026-08-07 11:10
101M
TST_test_0044_56_93_direct.lp
2026-08-07 11:10
52M
TST_test_0043_72_106_direct.lp
2026-08-07 11:10
79M
TST_test_0042_72_104_direct.lp
2026-08-07 11:10
78M
TST_test_0041_88_96_direct.lp
2026-08-07 11:10
88M
TST_test_0040_80_93_direct.lp
2026-08-07 11:10
77M
TST_test_0039_80_99_direct.lp
2026-08-07 11:10
82M
TST_test_0038_96_110_direct.lp
2026-08-07 11:10
112M
TST_test_0037_80_101_direct.lp
2026-08-07 11:10
84M
TST_test_0036_72_114_direct.lp
2026-08-07 11:10
85M
TST_test_0035_80_86_direct.lp
2026-08-07 11:10
71M
TST_test_0034_112_94_direct.lp
2026-08-07 11:10
112M
TST_test_0033_88_84_direct.lp
2026-08-07 11:10
77M
TST_test_0032_64_89_direct.lp
2026-08-07 11:10
58M
TST_test_0031_64_78_direct.lp
2026-08-07 11:10
50M
TST_test_0030_112_123_direct.lp
2026-08-07 11:10
151M
TST_test_0029_96_117_direct.lp
2026-08-07 11:10
120M
TST_test_0028_48_105_direct.lp
2026-08-07 11:10
50M
TST_test_0027_88_109_direct.lp
2026-08-07 11:10
101M
TST_test_0026_56_92_direct.lp
2026-08-07 11:10
52M
TST_test_0025_64_92_direct.lp
2026-08-07 11:10
60M
TST_test_0024_88_126_direct.lp
2026-08-07 11:10
118M
TST_test_0023_112_112_direct.lp
2026-08-07 11:10
136M
TST_test_0022_80_85_direct.lp
2026-08-07 11:10
70M
TST_test_0021_112_124_direct.lp
2026-08-07 11:10
152M
TST_test_0020_96_94_direct.lp
2026-08-07 11:10
95M
TST_test_0019_120_106_direct.lp
2026-08-07 11:10
138M
TST_test_0018_80_110_direct.lp
2026-08-07 11:10
92M
TST_test_0017_112_101_direct.lp
2026-08-07 11:10
121M
TST_test_0016_72_83_direct.lp
2026-08-07 11:10
61M
TST_test_0015_80_73_direct.lp
2026-08-07 11:10
60M
TST_test_0014_72_73_direct.lp
2026-08-07 11:10
53M
TST_test_0013_64_94_direct.lp
2026-08-07 11:10
61M
TST_test_0012_88_103_direct.lp
2026-08-07 11:10
95M
TST_test_0011_96_101_direct.lp
2026-08-07 11:10
102M
TST_test_0010_80_109_direct.lp
2026-08-07 11:10
91M
TST_test_0009_64_80_direct.lp
2026-08-07 11:10
52M
TST_test_0008_80_102_direct.lp
2026-08-07 11:10
85M
TST_test_0007_88_112_direct.lp
2026-08-07 11:10
104M
TST_test_0006_112_99_direct.lp
2026-08-07 11:10
119M
TST_test_0005_120_97_direct.lp
2026-08-07 11:10
125M
TST_test_0004_88_97_direct.lp
2026-08-07 11:10
89M
TST_test_0003_64_99_direct.lp
2026-08-07 11:10
65M
TST_test_0002_88_105_direct.lp
2026-08-07 11:10
97M
TST_test_0001_88_115_direct.lp
2026-08-07 11:10
107M
TST_test_0100_80_102_direct.wcsp
2026-08-07 09:35
17M
TST_test_0098_112_98_direct.wcsp
2026-08-07 09:35
23M
TST_test_0095_128_109_direct.wcsp
2026-08-07 09:35
29M
TST_test_0091_136_95_direct.wcsp
2026-08-07 09:35
27M
TST_test_0099_72_105_direct.wcsp
2026-08-07 09:35
15M
TST_test_0093_104_105_direct.wcsp
2026-08-07 09:35
23M
TST_test_0092_96_111_direct.wcsp
2026-08-07 09:35
22M
TST_test_0090_104_116_direct.wcsp
2026-08-07 09:35
25M
TST_test_0097_56_111_direct.wcsp
2026-08-07 09:34
12M
TST_test_0096_56_107_direct.wcsp
2026-08-07 09:34
12M
TST_test_0094_64_131_direct.wcsp
2026-08-07 09:34
17M
TST_test_0088_104_107_direct.wcsp
2026-08-07 09:34
23M
TST_test_0087_88_124_direct.wcsp
2026-08-07 09:34
22M
TST_test_0084_120_115_direct.wcsp
2026-08-07 09:34
29M
TST_test_0089_72_92_direct.wcsp
2026-08-07 09:34
13M
TST_test_0086_80_112_direct.wcsp
2026-08-07 09:34
18M
TST_test_0085_64_126_direct.wcsp
2026-08-07 09:34
16M
TST_test_0081_112_96_direct.wcsp
2026-08-07 09:34
22M
TST_test_0073_128_113_direct.wcsp
2026-08-07 09:34
30M
TST_test_0083_72_105_direct.wcsp
2026-08-07 09:34
15M
TST_test_0082_96_106_direct.wcsp
2026-08-07 09:34
21M
TST_test_0080_104_107_direct.wcsp
2026-08-07 09:34
23M
TST_test_0074_96_107_direct.wcsp
2026-08-07 09:34
21M
TST_test_0072_96_113_direct.wcsp
2026-08-07 09:34
22M
TST_test_0079_88_81_direct.wcsp
2026-08-07 09:34
14M
TST_test_0078_72_108_direct.wcsp
2026-08-07 09:34
16M
TST_test_0077_96_95_direct.wcsp
2026-08-07 09:34
19M
TST_test_0076_80_93_direct.wcsp
2026-08-07 09:34
15M
TST_test_0075_88_92_direct.wcsp
2026-08-07 09:34
16M
TST_test_0069_96_109_direct.wcsp
2026-08-07 09:34
22M
TST_test_0067_96_121_direct.wcsp
2026-08-07 09:34
24M
TST_test_0066_96_121_direct.wcsp
2026-08-07 09:34
24M
TST_test_0058_144_124_direct.wcsp
2026-08-07 09:34
38M
TST_test_0071_72_94_direct.wcsp
2026-08-07 09:34
14M
TST_test_0070_88_96_direct.wcsp
2026-08-07 09:34
17M
TST_test_0065_104_94_direct.wcsp
2026-08-07 09:34
20M
TST_test_0063_120_108_direct.wcsp
2026-08-07 09:34
27M
TST_test_0068_72_94_direct.wcsp
2026-08-07 09:34
14M
TST_test_0064_80_103_direct.wcsp
2026-08-07 09:34
17M
TST_test_0062_88_106_direct.wcsp
2026-08-07 09:34
19M
TST_test_0055_96_108_direct.wcsp
2026-08-07 09:34
21M
TST_test_0061_88_86_direct.wcsp
2026-08-07 09:34
15M
TST_test_0060_80_111_direct.wcsp
2026-08-07 09:34
18M
TST_test_0059_104_73_direct.wcsp
2026-08-07 09:34
15M
TST_test_0057_80_95_direct.wcsp
2026-08-07 09:34
15M
TST_test_0056_88_112_direct.wcsp
2026-08-07 09:34
20M
TST_test_0054_88_106_direct.wcsp
2026-08-07 09:34
19M
TST_test_0053_88_118_direct.wcsp
2026-08-07 09:34
21M
TST_test_0052_96_107_direct.wcsp
2026-08-07 09:34
21M
TST_test_0047_112_121_direct.wcsp
2026-08-07 09:34
28M
TST_test_0051_64_106_direct.wcsp
2026-08-07 09:34
14M
TST_test_0050_88_94_direct.wcsp
2026-08-07 09:34
17M
TST_test_0049_96_79_direct.wcsp
2026-08-07 09:34
15M
TST_test_0046_96_105_direct.wcsp
2026-08-07 09:34
21M
TST_test_0045_80_120_direct.wcsp
2026-08-07 09:34
20M
TST_test_0048_72_98_direct.wcsp
2026-08-07 09:34
14M
TST_test_0043_72_106_direct.wcsp
2026-08-07 09:34
15M
TST_test_0041_88_96_direct.wcsp
2026-08-07 09:34
17M
TST_test_0030_112_123_direct.wcsp
2026-08-07 09:34
29M
TST_test_0044_56_93_direct.wcsp
2026-08-07 09:34
10M
TST_test_0042_72_104_direct.wcsp
2026-08-07 09:34
15M
TST_test_0040_80_93_direct.wcsp
2026-08-07 09:34
15M
TST_test_0039_80_99_direct.wcsp
2026-08-07 09:34
16M
TST_test_0038_96_110_direct.wcsp
2026-08-07 09:34
22M
TST_test_0037_80_101_direct.wcsp
2026-08-07 09:34
16M
TST_test_0034_112_94_direct.wcsp
2026-08-07 09:34
22M
TST_test_0029_96_117_direct.wcsp
2026-08-07 09:34
23M
TST_test_0021_112_124_direct.wcsp
2026-08-07 09:34
29M
TST_test_0036_72_114_direct.wcsp
2026-08-07 09:34
17M
TST_test_0035_80_86_direct.wcsp
2026-08-07 09:34
14M
TST_test_0033_88_84_direct.wcsp
2026-08-07 09:34
15M
TST_test_0027_88_109_direct.wcsp
2026-08-07 09:34
20M
TST_test_0024_88_126_direct.wcsp
2026-08-07 09:34
23M
TST_test_0023_112_112_direct.wcsp
2026-08-07 09:34
26M
TST_test_0032_64_89_direct.wcsp
2026-08-07 09:34
11M
TST_test_0031_64_78_direct.wcsp
2026-08-07 09:34
9.8M
TST_test_0028_48_105_direct.wcsp
2026-08-07 09:34
9.8M
TST_test_0025_64_92_direct.wcsp
2026-08-07 09:34
12M
TST_test_0022_80_85_direct.wcsp
2026-08-07 09:34
14M
TST_test_0026_56_92_direct.wcsp
2026-08-07 09:34
10M
TST_test_0020_96_94_direct.wcsp
2026-08-07 09:34
18M
TST_test_0019_120_106_direct.wcsp
2026-08-07 09:34
27M
TST_test_0017_112_101_direct.wcsp
2026-08-07 09:34
23M
TST_test_0005_120_97_direct.wcsp
2026-08-07 09:34
24M
TST_test_0018_80_110_direct.wcsp
2026-08-07 09:34
18M
TST_test_0012_88_103_direct.wcsp
2026-08-07 09:34
19M
TST_test_0011_96_101_direct.wcsp
2026-08-07 09:34
20M
TST_test_0010_80_109_direct.wcsp
2026-08-07 09:34
18M
TST_test_0007_88_112_direct.wcsp
2026-08-07 09:34
20M
TST_test_0006_112_99_direct.wcsp
2026-08-07 09:34
23M
TST_test_0004_88_97_direct.wcsp
2026-08-07 09:34
17M
TST_test_0002_88_105_direct.wcsp
2026-08-07 09:34
19M
TST_test_0001_88_115_direct.wcsp
2026-08-07 09:34
21M
TST_test_0016_72_83_direct.wcsp
2026-08-07 09:34
12M
TST_test_0015_80_73_direct.wcsp
2026-08-07 09:34
12M
TST_test_0014_72_73_direct.wcsp
2026-08-07 09:34
10M
TST_test_0013_64_94_direct.wcsp
2026-08-07 09:34
12M
TST_test_0009_64_80_direct.wcsp
2026-08-07 09:34
10M
TST_test_0008_80_102_direct.wcsp
2026-08-07 09:34
17M
TST_test_0003_64_99_direct.wcsp
2026-08-07 09:34
13M
TST_test_0083_72_105_direct.wcnf
2026-07-31 10:36
19M
TST_test_0076_80_93_direct.wcnf
2026-07-31 10:36
19M
TST_test_0078_72_108_direct.wcnf
2026-07-31 10:36
20M
TST_test_0064_80_103_direct.wcnf
2026-07-31 10:36
21M
TST_test_0025_64_92_direct.wcnf
2026-07-31 10:36
15M
TST_test_0039_80_99_direct.wcnf
2026-07-31 10:36
20M
TST_test_0032_64_89_direct.wcnf
2026-07-31 10:36
14M
TST_test_0100_80_102_direct.wcnf
2026-07-31 10:36
21M
TST_test_0057_80_95_direct.wcnf
2026-07-31 10:36
19M
TST_test_0094_64_131_direct.wcnf
2026-07-31 10:36
21M
TST_test_0088_104_107_direct.wcnf
2026-07-31 10:36
29M
TST_test_0022_80_85_direct.wcnf
2026-07-31 10:36
17M
TST_test_0066_96_121_direct.wcnf
2026-07-31 10:36
31M
TST_test_0037_80_101_direct.wcnf
2026-07-31 10:36
21M
TST_test_0005_120_97_direct.wcnf
2026-07-31 10:36
31M
TST_test_0095_128_109_direct.wcnf
2026-07-31 10:36
38M
TST_test_0002_88_105_direct.wcnf
2026-07-31 10:36
24M
TST_test_0071_72_94_direct.wcnf
2026-07-31 10:36
17M
TST_test_0030_112_123_direct.wcnf
2026-07-31 10:36
37M
TST_test_0024_88_126_direct.wcnf
2026-07-31 10:36
29M
TST_test_0098_112_98_direct.wcnf
2026-07-31 10:36
29M
TST_test_0091_136_95_direct.wcnf
2026-07-31 10:36
34M
TST_test_0068_72_94_direct.wcnf
2026-07-31 10:36
17M
TST_test_0054_88_106_direct.wcnf
2026-07-31 10:36
24M
TST_test_0080_104_107_direct.wcnf
2026-07-31 10:36
29M
TST_test_0074_96_107_direct.wcnf
2026-07-31 10:36
27M
TST_test_0079_88_81_direct.wcnf
2026-07-31 10:36
18M
TST_test_0041_88_96_direct.wcnf
2026-07-31 10:36
22M
TST_test_0026_56_92_direct.wcnf
2026-07-31 10:36
13M
TST_test_0075_88_92_direct.wcnf
2026-07-31 10:36
21M
TST_test_0090_104_116_direct.wcnf
2026-07-31 10:36
32M
TST_test_0008_80_102_direct.wcnf
2026-07-31 10:36
21M
TST_test_0067_96_121_direct.wcnf
2026-07-31 10:36
31M
TST_test_0001_88_115_direct.wcnf
2026-07-31 10:36
26M
TST_test_0035_80_86_direct.wcnf
2026-07-31 10:36
17M
TST_test_0063_120_108_direct.wcnf
2026-07-31 10:36
35M
TST_test_0059_104_73_direct.wcnf
2026-07-31 10:36
19M
TST_test_0058_144_124_direct.wcnf
2026-07-31 10:36
49M
TST_test_0033_88_84_direct.wcnf
2026-07-31 10:36
19M
TST_test_0031_64_78_direct.wcnf
2026-07-31 10:36
12M
TST_test_0021_112_124_direct.wcnf
2026-07-31 10:36
37M
TST_test_0048_72_98_direct.wcnf
2026-07-31 10:36
18M
TST_test_0097_56_111_direct.wcnf
2026-07-31 10:36
16M
TST_test_0089_72_92_direct.wcnf
2026-07-31 10:36
17M
TST_test_0004_88_97_direct.wcnf
2026-07-31 10:36
22M
TST_test_0085_64_126_direct.wcnf
2026-07-31 10:36
21M
TST_test_0056_88_112_direct.wcnf
2026-07-31 10:36
25M
TST_test_0069_96_109_direct.wcnf
2026-07-31 10:36
27M
TST_test_0020_96_94_direct.wcnf
2026-07-31 10:36
23M
TST_test_0086_80_112_direct.wcnf
2026-07-31 10:36
23M
TST_test_0093_104_105_direct.wcnf
2026-07-31 10:36
29M
TST_test_0050_88_94_direct.wcnf
2026-07-31 10:36
21M
TST_test_0053_88_118_direct.wcnf
2026-07-31 10:36
27M
TST_test_0077_96_95_direct.wcnf
2026-07-31 10:36
23M
TST_test_0061_88_86_direct.wcnf
2026-07-31 10:36
19M
TST_test_0012_88_103_direct.wcnf
2026-07-31 10:36
23M
TST_test_0013_64_94_direct.wcnf
2026-07-31 10:36
15M
TST_test_0009_64_80_direct.wcnf
2026-07-31 10:36
13M
TST_test_0096_56_107_direct.wcnf
2026-07-31 10:36
15M
TST_test_0003_64_99_direct.wcnf
2026-07-31 10:36
16M
TST_test_0045_80_120_direct.wcnf
2026-07-31 10:36
25M
TST_test_0028_48_105_direct.wcnf
2026-07-31 10:36
12M
TST_test_0073_128_113_direct.wcnf
2026-07-31 10:36
39M
TST_test_0084_120_115_direct.wcnf
2026-07-31 10:36
37M
TST_test_0015_80_73_direct.wcnf
2026-07-31 10:36
15M
TST_test_0055_96_108_direct.wcnf
2026-07-31 10:36
27M
TST_test_0051_64_106_direct.wcnf
2026-07-31 10:36
17M
TST_test_0006_112_99_direct.wcnf
2026-07-31 10:35
29M
TST_test_0034_112_94_direct.wcnf
2026-07-31 10:35
27M
TST_test_0040_80_93_direct.wcnf
2026-07-31 10:35
19M
TST_test_0072_96_113_direct.wcnf
2026-07-31 10:35
28M
TST_test_0099_72_105_direct.wcnf
2026-07-31 10:35
19M
TST_test_0049_96_79_direct.wcnf
2026-07-31 10:35
19M
TST_test_0062_88_106_direct.wcnf
2026-07-31 10:35
24M
TST_test_0016_72_83_direct.wcnf
2026-07-31 10:35
15M
TST_test_0043_72_106_direct.wcnf
2026-07-31 10:35
19M
TST_test_0070_88_96_direct.wcnf
2026-07-31 10:35
22M
TST_test_0023_112_112_direct.wcnf
2026-07-31 10:35
33M
TST_test_0027_88_109_direct.wcnf
2026-07-31 10:35
25M
TST_test_0036_72_114_direct.wcnf
2026-07-31 10:35
21M
TST_test_0019_120_106_direct.wcnf
2026-07-31 10:35
34M
TST_test_0010_80_109_direct.wcnf
2026-07-31 10:35
22M
TST_test_0029_96_117_direct.wcnf
2026-07-31 10:35
29M
TST_test_0092_96_111_direct.wcnf
2026-07-31 10:35
28M
TST_test_0065_104_94_direct.wcnf
2026-07-31 10:35
25M
TST_test_0007_88_112_direct.wcnf
2026-07-31 10:35
25M
TST_test_0017_112_101_direct.wcnf
2026-07-31 10:35
30M
TST_test_0052_96_107_direct.wcnf
2026-07-31 10:35
27M
TST_test_0081_112_96_direct.wcnf
2026-07-31 10:35
28M
TST_test_0046_96_105_direct.wcnf
2026-07-31 10:35
26M
TST_test_0018_80_110_direct.wcnf
2026-07-31 10:35
23M
TST_test_0047_112_121_direct.wcnf
2026-07-31 10:35
36M
TST_test_0014_72_73_direct.wcnf
2026-07-31 10:35
13M
TST_test_0087_88_124_direct.wcnf
2026-07-31 10:35
28M
TST_test_0038_96_110_direct.wcnf
2026-07-31 10:35
27M
TST_test_0060_80_111_direct.wcnf
2026-07-31 10:35
23M
TST_test_0042_72_104_direct.wcnf
2026-07-31 10:35
19M
TST_test_0011_96_101_direct.wcnf
2026-07-31 10:35
25M
TST_test_0044_56_93_direct.wcnf
2026-07-31 10:35
13M
TST_test_0082_96_106_direct.wcnf
2026-07-31 10:35
26M