Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/scmisort
Name
Last modified
Size
Description
Parent Directory
-
scmisort__t39_scmisort
2017-01-05 20:54
288K
scmisort__t2_scmisort
2017-01-05 20:54
406K
scmisort__t9_scmisort
2016-03-08 13:09
188K
scmisort__t8_scmisort
2016-03-08 13:09
131K
scmisort__t7_scmisort
2016-03-08 13:09
140K
scmisort__t6_scmisort
2016-03-08 13:09
137K
scmisort__t5_scmisort
2016-03-08 13:09
129K
scmisort__t4_scmisort
2016-03-08 13:09
139K
scmisort__t3_scmisort
2016-03-08 13:09
118K
scmisort__t38_scmisort
2016-03-08 13:09
353K
scmisort__t37_scmisort
2016-03-08 13:09
287K
scmisort__t36_scmisort
2016-03-08 13:09
256K
scmisort__t35_scmisort
2016-03-08 13:09
443K
scmisort__t34_scmisort
2016-03-08 13:09
208K
scmisort__t33_scmisort
2016-03-08 13:09
171K
scmisort__t32_scmisort
2016-03-08 13:09
182K
scmisort__t31_scmisort
2016-03-08 13:09
91K
scmisort__t30_scmisort
2016-03-08 13:09
91K
scmisort__t29_scmisort
2016-03-08 13:09
177K
scmisort__t28_scmisort
2016-03-08 13:09
194K
scmisort__t27_scmisort
2016-03-08 13:09
119K
scmisort__t26_scmisort
2016-03-08 13:09
122K
scmisort__t25_scmisort
2016-03-08 13:09
147K
scmisort__t24_scmisort
2016-03-08 13:09
151K
scmisort__t23_scmisort
2016-03-08 13:09
183K
scmisort__t22_scmisort
2016-03-08 13:09
216K
scmisort__t21_scmisort
2016-03-08 13:09
346K
scmisort__t20_scmisort
2016-03-08 13:09
98K
scmisort__t1_scmisort
2016-03-08 13:09
118K
scmisort__t19_scmisort
2016-03-08 13:09
345K
scmisort__t18_scmisort
2016-03-08 13:09
401K
scmisort__t17_scmisort
2016-03-08 13:09
138K
scmisort__t16_scmisort
2016-03-08 13:09
135K
scmisort__t15_scmisort
2016-03-08 13:09
135K
scmisort__t14_scmisort
2016-03-08 13:09
333K
scmisort__t13_scmisort
2016-03-08 13:09
253K
scmisort__t12_scmisort
2016-03-08 13:09
150K
scmisort__t11_scmisort
2016-03-08 13:09
148K
scmisort__t10_scmisort
2016-03-08 13:09
170K
scmisort__l58_scmisort
2016-03-08 13:09
1.0M
scmisort__l57_scmisort
2016-03-08 13:09
359K
scmisort__l56_scmisort
2016-03-08 13:09
936K
scmisort__l55_scmisort
2016-03-08 13:09
329K
scmisort__l54_scmisort
2016-03-08 13:09
877K
scmisort__l53_scmisort
2016-03-08 13:09
372K
scmisort__l52_scmisort
2016-03-08 13:09
193K
scmisort__l51_scmisort
2016-03-08 13:09
194K
scmisort__l50_scmisort
2016-03-08 13:09
240K
scmisort__l48_scmisort
2016-03-08 13:09
285K
scmisort__l47_scmisort
2016-03-08 13:09
269K
scmisort__l46_scmisort
2016-03-08 13:09
224K
scmisort__l45_scmisort
2016-03-08 13:09
210K
scmisort__l44_scmisort
2016-03-08 13:09
179K
scmisort__l43_scmisort
2016-03-08 13:09
168K
scmisort__l42_scmisort
2016-03-08 13:09
168K
scmisort__l41_scmisort
2016-03-08 13:09
216K
scmisort__l40_scmisort
2016-03-08 13:09
868K
scmisort__l39_scmisort
2016-03-08 13:09
240K
scmisort__l38_scmisort
2016-03-08 13:09
326K
scmisort__l37_scmisort
2016-03-08 13:09
323K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80