Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/scmfsa6a
Name
Last modified
Size
Description
Parent Directory
-
scmfsa6a__t1_scmfsa6a
2016-03-08 13:09
77K
scmfsa6a__t2_scmfsa6a
2016-03-08 13:09
102K
scmfsa6a__t3_scmfsa6a
2016-03-08 13:09
188K
scmfsa6a__t8_scmfsa6a
2016-03-08 13:09
946K
scmfsa6a__t15_scmfsa6a
2017-01-05 20:54
132K
scmfsa6a__t16_scmfsa6a
2016-03-08 13:09
103K
scmfsa6a__t17_scmfsa6a
2016-03-08 13:09
101K
scmfsa6a__t18_scmfsa6a
2016-03-08 13:09
102K
scmfsa6a__t19_scmfsa6a
2016-03-08 13:09
98K
scmfsa6a__t20_scmfsa6a
2016-03-08 13:09
98K
scmfsa6a__t21_scmfsa6a
2016-03-08 13:09
105K
scmfsa6a__t22_scmfsa6a
2016-03-08 13:09
74K
scmfsa6a__t23_scmfsa6a
2017-01-05 20:54
122K
scmfsa6a__t24_scmfsa6a
2016-03-08 13:09
100K
scmfsa6a__t25_scmfsa6a
2016-03-08 13:09
101K
scmfsa6a__t26_scmfsa6a
2016-03-08 13:09
100K
scmfsa6a__t27_scmfsa6a
2016-03-08 13:09
101K
scmfsa6a__t28_scmfsa6a
2016-03-08 13:09
101K
scmfsa6a__t29_scmfsa6a
2016-03-08 13:09
100K
scmfsa6a__t30_scmfsa6a
2016-03-08 13:09
101K
scmfsa6a__t31_scmfsa6a
2016-03-08 13:09
101K
scmfsa6a__t32_scmfsa6a
2016-03-08 13:09
102K
scmfsa6a__t33_scmfsa6a
2016-03-08 13:09
102K
scmfsa6a__t34_scmfsa6a
2016-03-08 13:09
102K
scmfsa6a__t35_scmfsa6a
2016-03-08 13:09
107K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80