Index of /~mptp/1147/MPTP2/problems/scmisort
Name
Last modified
Size
Description
Parent Directory
-
scmisort__l37_scmisort
2023-06-28 00:37
328K
scmisort__l38_scmisort
2023-06-28 00:37
330K
scmisort__l39_scmisort
2023-06-28 00:37
242K
scmisort__l40_scmisort
2023-06-28 00:37
901K
scmisort__l41_scmisort
2023-06-28 00:36
219K
scmisort__l42_scmisort
2023-06-28 00:37
169K
scmisort__l43_scmisort
2023-06-28 00:37
169K
scmisort__l44_scmisort
2023-06-28 00:37
180K
scmisort__l45_scmisort
2023-06-28 00:37
211K
scmisort__l46_scmisort
2023-06-28 00:37
225K
scmisort__l47_scmisort
2023-06-28 00:37
274K
scmisort__l48_scmisort
2023-06-28 00:37
289K
scmisort__l50_scmisort
2023-06-28 00:37
241K
scmisort__l51_scmisort
2023-06-28 00:37
195K
scmisort__l52_scmisort
2023-06-28 00:37
193K
scmisort__l53_scmisort
2023-06-28 00:37
378K
scmisort__l54_scmisort
2023-06-28 00:37
911K
scmisort__l55_scmisort
2023-06-28 00:37
332K
scmisort__l56_scmisort
2023-06-28 00:37
972K
scmisort__l57_scmisort
2023-06-28 00:37
363K
scmisort__l58_scmisort
2023-06-28 00:37
1.1M
scmisort__t1_scmisort
2023-06-28 00:36
118K
scmisort__t2_scmisort
2023-06-28 00:36
417K
scmisort__t3_scmisort
2023-06-28 00:36
118K
scmisort__t4_scmisort
2023-06-28 00:36
139K
scmisort__t5_scmisort
2023-06-28 00:36
130K
scmisort__t6_scmisort
2023-06-28 00:36
137K
scmisort__t7_scmisort
2023-06-28 00:36
140K
scmisort__t8_scmisort
2023-06-28 00:36
131K
scmisort__t9_scmisort
2023-06-28 00:36
189K
scmisort__t10_scmisort
2023-06-28 00:36
170K
scmisort__t11_scmisort
2023-06-28 00:36
148K
scmisort__t12_scmisort
2023-06-28 00:36
150K
scmisort__t13_scmisort
2023-06-28 00:36
255K
scmisort__t14_scmisort
2023-06-28 00:36
341K
scmisort__t15_scmisort
2023-06-28 00:36
135K
scmisort__t16_scmisort
2023-06-28 00:36
135K
scmisort__t17_scmisort
2023-06-28 00:36
138K
scmisort__t18_scmisort
2023-06-28 00:36
413K
scmisort__t19_scmisort
2023-06-28 00:36
353K
scmisort__t20_scmisort
2023-06-28 00:36
98K
scmisort__t21_scmisort
2023-06-28 00:36
354K
scmisort__t22_scmisort
2023-06-28 00:36
217K
scmisort__t23_scmisort
2023-06-28 00:36
183K
scmisort__t24_scmisort
2023-06-28 00:36
151K
scmisort__t25_scmisort
2023-06-28 00:36
147K
scmisort__t26_scmisort
2023-06-28 00:36
122K
scmisort__t27_scmisort
2023-06-28 00:36
119K
scmisort__t28_scmisort
2023-06-28 00:36
194K
scmisort__t29_scmisort
2023-06-28 00:36
177K
scmisort__t30_scmisort
2023-06-28 00:36
91K
scmisort__t31_scmisort
2023-06-28 00:36
91K
scmisort__t32_scmisort
2023-06-28 00:36
183K
scmisort__t33_scmisort
2023-06-28 00:36
172K
scmisort__t34_scmisort
2023-06-28 00:36
210K
scmisort__t35_scmisort
2023-06-28 00:36
451K
scmisort__t36_scmisort
2023-06-28 00:36
258K
scmisort__t37_scmisort
2023-06-28 00:37
289K
scmisort__t38_scmisort
2023-06-28 00:37
357K
scmisort__t39_scmisort
2023-06-28 00:37
290K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80