Index of /~mptp/1147/MPTP2/problems_small_consist/scmisort
Name
Last modified
Size
Description
Parent Directory
-
scmisort__l37_scmisort
2013-09-04 12:43
195K
scmisort__l38_scmisort
2013-09-04 12:43
196K
scmisort__l39_scmisort
2013-09-04 12:43
149K
scmisort__l40_scmisort
2013-09-04 12:43
489K
scmisort__l41_scmisort
2013-09-04 12:43
133K
scmisort__l42_scmisort
2013-09-04 12:43
102K
scmisort__l43_scmisort
2013-09-04 12:43
102K
scmisort__l44_scmisort
2013-09-04 12:43
111K
scmisort__l45_scmisort
2013-09-04 12:43
131K
scmisort__l46_scmisort
2013-09-04 12:43
139K
scmisort__l47_scmisort
2013-09-04 12:43
166K
scmisort__l48_scmisort
2013-09-04 12:43
179K
scmisort__l50_scmisort
2013-09-04 12:43
148K
scmisort__l51_scmisort
2013-09-04 12:43
124K
scmisort__l52_scmisort
2013-09-04 12:43
124K
scmisort__l53_scmisort
2013-09-04 12:43
222K
scmisort__l54_scmisort
2013-09-04 12:43
507K
scmisort__l55_scmisort
2013-09-04 12:43
195K
scmisort__l56_scmisort
2013-09-04 12:43
550K
scmisort__l57_scmisort
2013-09-04 12:43
211K
scmisort__l58_scmisort
2013-09-04 12:43
629K
scmisort__t1_scmisort
2013-09-04 12:43
75K
scmisort__t2_scmisort
2013-09-04 12:43
240K
scmisort__t3_scmisort
2013-09-04 12:43
75K
scmisort__t4_scmisort
2013-09-04 12:43
89K
scmisort__t5_scmisort
2013-09-04 12:43
83K
scmisort__t6_scmisort
2013-09-04 12:43
88K
scmisort__t7_scmisort
2013-09-04 12:43
89K
scmisort__t8_scmisort
2013-09-04 12:43
84K
scmisort__t9_scmisort
2013-09-04 12:43
117K
scmisort__t10_scmisort
2013-09-04 12:43
106K
scmisort__t11_scmisort
2013-09-04 12:43
94K
scmisort__t12_scmisort
2013-09-04 12:43
95K
scmisort__t13_scmisort
2013-09-04 12:43
160K
scmisort__t14_scmisort
2013-09-04 12:43
197K
scmisort__t15_scmisort
2013-09-04 12:43
86K
scmisort__t16_scmisort
2013-09-04 12:43
86K
scmisort__t17_scmisort
2013-09-04 12:43
88K
scmisort__t18_scmisort
2013-09-04 12:43
240K
scmisort__t19_scmisort
2013-09-04 12:43
207K
scmisort__t20_scmisort
2013-09-04 12:43
62K
scmisort__t21_scmisort
2013-09-04 12:43
208K
scmisort__t22_scmisort
2013-09-04 12:43
137K
scmisort__t23_scmisort
2013-09-04 12:43
117K
scmisort__t24_scmisort
2013-09-04 12:43
96K
scmisort__t25_scmisort
2013-09-04 12:43
94K
scmisort__t26_scmisort
2013-09-04 12:43
77K
scmisort__t27_scmisort
2013-09-04 12:43
76K
scmisort__t28_scmisort
2013-09-04 12:43
125K
scmisort__t29_scmisort
2013-09-04 12:43
115K
scmisort__t30_scmisort
2013-09-04 12:43
58K
scmisort__t31_scmisort
2013-09-04 12:43
58K
scmisort__t32_scmisort
2013-09-04 12:43
116K
scmisort__t33_scmisort
2013-09-04 12:43
110K
scmisort__t34_scmisort
2013-09-04 12:43
130K
scmisort__t35_scmisort
2013-09-04 12:43
263K
scmisort__t36_scmisort
2013-09-04 12:43
161K
scmisort__t37_scmisort
2013-09-04 12:43
179K
scmisort__t38_scmisort
2013-09-04 12:43
216K
scmisort__t39_scmisort
2013-09-04 12:43
182K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80