Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls/scpisort
Name
Last modified
Size
Description
Parent Directory
-
scpisort__l12_scpisort
2017-01-13 00:46
117K
scpisort__l13_scpisort
2017-01-13 00:46
114K
scpisort__l14_scpisort
2017-01-13 00:46
146K
scpisort__l19_scpisort
2017-01-13 00:46
212K
scpisort__l20_scpisort
2017-01-13 00:46
227K
scpisort__l21_scpisort
2017-01-13 00:46
649K
scpisort__l22_scpisort
2017-01-13 00:46
1.0M
scpisort__l23_scpisort
2017-01-13 00:46
348K
scpisort__l24_scpisort
2017-01-13 00:46
357K
scpisort__l25_scpisort
2017-01-13 00:46
284K
scpisort__l26_scpisort
2017-01-13 00:46
394K
scpisort__l27_scpisort
2017-01-13 00:46
387K
scpisort__l28_scpisort
2017-01-13 00:46
389K
scpisort__l31_scpisort
2017-01-13 00:46
350K
scpisort__l33_scpisort
2017-01-13 00:46
944K
scpisort__s1_scpisort
2017-01-13 00:45
1.1M
scpisort__s2_scpisort
2017-01-13 00:45
1.1M
scpisort__s3_scpisort
2017-01-13 00:45
199K
scpisort__t1_scpisort
2017-01-13 00:45
104K
scpisort__t2_scpisort
2017-01-13 00:45
103K
scpisort__t3_scpisort
2017-01-13 00:45
58K
scpisort__t4_scpisort
2017-01-13 00:45
128K
scpisort__t5_scpisort
2017-01-13 00:45
139K
scpisort__t6_scpisort
2017-01-13 00:45
135K
scpisort__t7_scpisort
2017-01-13 00:45
135K
scpisort__t8_scpisort
2017-01-13 00:45
130K
scpisort__t9_scpisort
2017-01-13 00:45
130K
scpisort__t10_scpisort
2017-01-13 00:45
139K
scpisort__t11_scpisort
2017-01-13 00:45
160K
scpisort__t12_scpisort
2017-01-13 00:45
160K
scpisort__t13_scpisort
2017-01-13 00:45
110K
scpisort__t14_scpisort
2017-01-13 00:45
275K
scpisort__t15_scpisort
2017-01-13 00:45
356K
scpisort__t16_scpisort
2017-01-13 00:45
942K
scpisort__t17_scpisort
2017-01-13 00:45
763K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80