Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/scpinvar
Name
Last modified
Size
Description
Parent Directory
-
scpinvar__t19_scpinvar
2017-01-13 00:46
257K
scpinvar__t18_scpinvar
2017-01-13 00:46
233K
scpinvar__t17_scpinvar
2017-01-13 00:46
811K
scpinvar__t16_scpinvar
2017-01-13 00:46
387K
scpinvar__t15_scpinvar
2017-01-13 00:46
225K
scpinvar__t14_scpinvar
2017-01-13 00:46
226K
scpinvar__t13_scpinvar
2017-01-13 00:46
428K
scpinvar__t12_scpinvar
2017-01-13 00:46
459K
scpinvar__t11_scpinvar
2017-01-13 00:46
283K
scpinvar__t10_scpinvar
2017-01-13 00:46
193K
scpinvar__t9_scpinvar
2017-01-13 00:46
581K
scpinvar__t8_scpinvar
2017-01-13 00:46
173K
scpinvar__t7_scpinvar
2017-01-13 00:46
252K
scpinvar__t6_scpinvar
2017-01-13 00:46
324K
scpinvar__t5_scpinvar
2017-01-13 00:46
270K
scpinvar__t4_scpinvar
2017-01-13 00:46
339K
scpinvar__t3_scpinvar
2017-01-13 00:46
177K
scpinvar__t2_scpinvar
2017-01-13 00:46
160K
scpinvar__t1_scpinvar
2017-01-13 00:46
186K
scpinvar__s5_scpinvar
2017-01-13 00:46
264K
scpinvar__s4_scpinvar
2017-01-13 00:46
510K
scpinvar__s3_scpinvar
2017-01-13 00:46
926K
scpinvar__s2_scpinvar
2017-01-13 00:46
211K
scpinvar__s1_scpinvar
2017-01-13 00:46
211K
scpinvar__l36_scpinvar
2017-01-13 00:46
725K
scpinvar__l35_scpinvar
2017-01-13 00:46
1.0M
scpinvar__l34_scpinvar
2017-01-13 00:46
334K
scpinvar__l32_scpinvar
2017-01-13 00:46
237K
scpinvar__l31_scpinvar
2017-01-13 00:46
185K
scpinvar__l27_scpinvar
2017-01-13 00:46
183K
scpinvar__l22_scpinvar
2017-01-13 00:46
175K
scpinvar__l18_scpinvar
2017-01-13 00:46
195K
scpinvar__l14_scpinvar
2017-01-13 00:46
297K
scpinvar__l13_scpinvar
2017-01-13 00:46
245K
scpinvar__l12_scpinvar
2017-01-13 00:46
341K
scpinvar__l8_scpinvar
2017-01-13 00:46
899K
scpinvar__l7_scpinvar
2017-01-13 00:46
889K
scpinvar__l6_scpinvar
2017-01-13 00:46
329K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80