Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/scmpds_9
Name
Last modified
Size
Description
Parent Directory
-
scmpds_9__l21_scmpds_9
2016-03-08 13:09
2.0M
scmpds_9__l31_scmpds_9
2017-01-05 20:54
1.2M
scmpds_9__l29_scmpds_9
2017-01-05 20:54
1.2M
scmpds_9__l27_scmpds_9
2017-01-05 20:54
1.2M
scmpds_9__l24_scmpds_9
2016-03-08 13:09
923K
scmpds_9__l23_scmpds_9
2016-03-08 13:09
428K
scmpds_9__t16_scmpds_9
2017-01-05 20:54
391K
scmpds_9__l25_scmpds_9
2016-03-08 13:09
391K
scmpds_9__t15_scmpds_9
2017-01-05 20:54
329K
scmpds_9__t4_scmpds_9
2017-01-05 20:54
261K
scmpds_9__t7_scmpds_9
2017-01-05 20:54
249K
scmpds_9__l22_scmpds_9
2016-03-08 13:09
240K
scmpds_9__l1_scmpds_9
2017-01-05 20:54
223K
scmpds_9__t14_scmpds_9
2017-01-05 20:54
219K
scmpds_9__t9_scmpds_9
2017-01-05 20:54
211K
scmpds_9__t17_scmpds_9
2017-01-05 20:54
208K
scmpds_9__l30_scmpds_9
2017-01-05 20:54
151K
scmpds_9__t5_scmpds_9
2017-01-05 20:54
149K
scmpds_9__t12_scmpds_9
2017-01-05 20:54
139K
scmpds_9__t10_scmpds_9
2017-01-05 20:54
120K
scmpds_9__t11_scmpds_9
2017-01-05 20:54
113K
scmpds_9__t13_scmpds_9
2017-01-05 20:54
112K
scmpds_9__t8_scmpds_9
2017-01-05 20:54
109K
scmpds_9__l28_scmpds_9
2017-01-05 20:54
105K
scmpds_9__t6_scmpds_9
2017-01-05 20:54
103K
scmpds_9__t1_scmpds_9
2017-01-05 20:54
103K
scmpds_9__l26_scmpds_9
2017-01-05 20:54
98K
scmpds_9__t18_scmpds_9
2017-01-05 20:54
71K
scmpds_9__l20_scmpds_9
2016-03-08 13:09
70K
scmpds_9__t3_scmpds_9
2017-01-05 20:54
51K
scmpds_9__t2_scmpds_9
2017-01-05 20:54
48K
scmpds_9__l5_scmpds_9
2016-03-08 13:09
44K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80