Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/scmfsa_1
Name
Last modified
Size
Description
Parent Directory
-
scmfsa_1__t1_scmfsa_1
2017-01-13 00:46
50K
scmfsa_1__t8_scmfsa_1
2017-01-13 00:46
51K
scmfsa_1__t5_scmfsa_1
2017-01-13 00:46
51K
scmfsa_1__t30_scmfsa_1
2017-01-13 00:46
52K
scmfsa_1__l24_scmfsa_1
2017-01-13 00:46
63K
scmfsa_1__l14_scmfsa_1
2017-01-13 00:46
73K
scmfsa_1__l23_scmfsa_1
2017-01-13 00:46
77K
scmfsa_1__l16_scmfsa_1
2017-01-13 00:46
78K
scmfsa_1__l15_scmfsa_1
2017-01-13 00:46
80K
scmfsa_1__l17_scmfsa_1
2017-01-13 00:46
83K
scmfsa_1__l19_scmfsa_1
2017-01-13 00:46
83K
scmfsa_1__l21_scmfsa_1
2017-01-13 00:46
84K
scmfsa_1__l25_scmfsa_1
2017-01-13 00:46
86K
scmfsa_1__t32_scmfsa_1
2017-01-13 00:46
86K
scmfsa_1__l26_scmfsa_1
2017-01-13 00:46
90K
scmfsa_1__t9_scmfsa_1
2017-01-13 00:46
93K
scmfsa_1__t33_scmfsa_1
2017-01-13 00:46
95K
scmfsa_1__t11_scmfsa_1
2017-01-13 00:46
96K
scmfsa_1__t10_scmfsa_1
2017-01-13 00:46
96K
scmfsa_1__t18_scmfsa_1
2017-01-13 00:46
103K
scmfsa_1__t22_scmfsa_1
2017-01-13 00:46
103K
scmfsa_1__t19_scmfsa_1
2017-01-13 00:46
103K
scmfsa_1__t24_scmfsa_1
2017-01-13 00:46
104K
scmfsa_1__t25_scmfsa_1
2017-01-13 00:46
104K
scmfsa_1__t20_scmfsa_1
2017-01-13 00:46
104K
scmfsa_1__t23_scmfsa_1
2017-01-13 00:46
104K
scmfsa_1__t27_scmfsa_1
2017-01-13 00:46
107K
scmfsa_1__t28_scmfsa_1
2017-01-13 00:46
107K
scmfsa_1__t29_scmfsa_1
2017-01-13 00:46
108K
scmfsa_1__t26_scmfsa_1
2017-01-13 00:46
108K
scmfsa_1__t21_scmfsa_1
2017-01-13 00:46
109K
scmfsa_1__t17_scmfsa_1
2017-01-13 00:46
121K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80